Anbieter Universität Stuttgart

...Institut für Parallele und Verteilte Systeme, Abteilung Verteilte Systeme DDC-Sachgruppe: Informatik Dokumentart: Diplomarbeit, Magisterarbeit Sprache...

...einem Verfahren von Esparza und Heljanko nachweist. Anhand von experimentellen Ergebnissen wird gezeigt, daß die Verifikationszeit für eine LTL-X-Eigenschaft...

...ist und durch die vorgelagerte Kodierung anderer Datenstrukturen wie uniformer Gitter, Tetraedergitter oder gitterloser Daten eine universelle Visualisierungslösung darstellt...

...of hexanol with acetic acid to form hexyl acetate and water. Amberlyst CSP2 is used as catalyst. Besides the main reaction named, the formation of hexene...

...Al, Pt, Cr, Co, Y. This buffer layer is commonly addressed as the bond coat (BC). Improving the BCs is regarded as the highest priority for emerging TBC systems...

...material are analyzed for the linear elastic case, and numerical results are provided to verify the theoretical results. Kurzfassung auf Deutsch...

...pdf-Format: Dokument 1.pdf (320 KB) Gedruckte Ausgabe: Print-on-Demand-Kopie SWD-Schlagwörter: Matching , Business-to-Business-Marketing , Horizontale...

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

...a comparison with experimental observations or predictions obtained through alternative approaches such as discrete dislocation simulations...

...pushdown systems, prefix-recognizable systems) are studied. Precise upper and lower bounds are shown for the data/expression/combined complexity of these model-checking problems...

...Both SEM and HRTEM measurements show that the DNA templates and Taq enzymes are attached to bundles of SWCNTs in PCR products. XPS spectra show that...

...in der zweiten Hälfte des 17. Jahrhunderts v. Chr. Betroffen war die ägäische Kykladeninsel Santorin, heute offiziell Thera genannt. Durch den Ausbruch...

...of equations of motion and the development of equations for the computation of loads. Furthermore the integration of the respective aerodynamic models has to be addressed...

...Institut für Photogrammetrie Fakultät: Fakultät Luft- und Raumfahrttechnik und Geodäsie DDC-Sachgruppe: Ingenieurwissenschaften Dokumentart...

...desktop PCs and this gap will further widen in the future since the market for desktop PCs is stagnating but is still growing for mobile devices...

...Aus einer komplexen Wechselwirkung zwischen Spin- und Orbitalordnung resultiert mindestens ein zweiter Phasenübergang bei TS = 260 K (Ag2NiO2...

...for industrial automation systems. The data integration platform for industrial automation systems (DIPAS) realizes a uniform access to heterogeneous data sources...

...ET models were used consecutively as input to the hydrological model. The modelling was applied on the Upper Neckar catchment, a mesoscale river in southwestern...

...for measuring the width of IGFs by taking experimental difficulties into account and comparing different techniques. Since Si3N4 is used for high temperature...

...life-cycle effects should reduce the educational effect. Due to generation- (or birth cohort-) specific effects, elder adults should also show a reduced educational effect...