Anbieter Universität Stuttgart

...Es werden sowohl bestehende Ansätze untersucht als auch neue Methoden erarbeitet. Eine Evaluation der Methoden erfolgt durch Messreihen, die ebenfalls...

...Die Ergebnisse zeigen, daß der in dieser Arbeit verwendete Model-Checker dem Model-Checker von Esparza und Heljanko in allen Beispielen, und SPIN gegenüber...

...die besser für die Verarbeitung auf der Graphikkarte geeignet sind. Hier ermöglicht die Beschleunigung der Abtastung mittels Graphik-Hardware die dynamische Berechnung...

...and dihexyl ether in side reactions is relevant. This work features the comprehensive research both on the experimental side and on the side of modelling and simulation...

...In fact RuAl has a small stoichiometric gap, which induces a fast phase transformation due to the Al depletion. Cross section investigations of the oxide...

...Especially when combined with dual Lagrange multiplier spaces, the efficient realization of the weak matching condition is possible, and efficient multigrid...

...15.08.2006 Kurzfassung auf Englisch: This paper analyzes the behavior of horizontal B2B marketplaces along the supply chain in case a vertical intermediary...

...Struktur von Mikroorganismen nur schwer metabolisiert werden können. In der vorliegenden Arbeit wurde der Abbau azyklischer Terpene in Pseudomonas aeruginosa PAO1 untersucht...

...inelastische Komposite, bei dem Größenabhängigkeiten in klassischen Konzepte beseitigt werden. Hauptaugenmerk, im Bereich der Untersuchung von Größeneffekten bei Kristallen...

...over various classes of infinite state systems (BPP, BPA, pushdown systems, prefix-recognizable systems) are studied. Precise upper and lower bounds...

...such as Laminin, Collagen-IV, Fibronectin, P-Cadherin and focal adhesion kinase. Finally, a biological mechanism that explains why smaller particles...

...pdf-Format: Dokument 1.pdf (1.249 KB) Gedruckte Ausgabe: Print-on-Demand-Kopie SWD-Schlagwörter: Naturkatastrophe , Forschung , Historische Geographie Kollektion...

...these specific models have important limitations. Commercial transport aircraft are getting larger and the airframes are becoming more slender and flexible...

...are not suffi-cient for high quality texturing, which is desired for documentation, since the ideal conditions for taking the images may not coincide...

...pdf-Format: Dokument 1.pdf (4.730 KB) Gedruckte Ausgabe: Print-on-Demand-Kopie SWD-Schlagwörter: VIACOBI , Computergraphik , Dreidimensionale Computergraphik...

...(TT-TaTe2 (T = 150 K), C2/m (Nr. 12), a = 14,792(1), b = 10,8829(9) und c = 9,3005(7) Å, ß = 110,693(1)°, Z = 18). Bei Raumtemperatur ist TaTe2 mit NbTe2 isotyp...

...für Automatisierungssysteme vor. Die Datenintegrationsplattform für Automatisierungssys-teme (DIPAS) realisiert einen einheitlichen Zugriff auf heterogene Datenbestände...

...with the entire predicted CC. Therefore a spatially distributed hydrological model based on the HBV concept was set up and the results of the different...

...Materialien bei erhöhter Temperatur untersucht werden. Dazu wurden Heizexperimente in verschiedenen Mikroskopen durchgeführt um den Einfluss der Temperatur...

...Bildungseffekte gefunden werden. Schulbildung als Haupteffekt erweist sich als starker Prädiktor und zeigt unabhängig vom Alter einen negativen Effekt sowohl auf Autoritarismus...