Publikationen
Eine detaillierte Suche zu Veröffentlichungen im Bereich Ingenieurwissenschaften ermöglicht Ihnen das Forschungsportal (FIS) der TU Dresden.
21103 Einträge
2012
-
Ferroelectricity in HfO 2 enables nonvolatile data storage in 28 nm HKMG, 2012, VLSIElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Ferroelectricity in Simple Binary ZrO2 and HfO2, 2012, in: Nano letters. 12, 8, S. 4318–4323Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Filamentary resistive switching in amorphous and polycrystalline Nb2O5 thin films, 2012, in: Solid-state electronics. 72, S. 73-77Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Finding Finite Herbrand Models, 2012, Proceedings of the 18th International Conference on Logic for Programming, Artifical Intelligence, and Reasoning (LPAR'12). S. 138-152, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
First results of a new test rig for the research on the internal air system of an industrial gas turbine, 2012, Proceedings of the ASME Turbo Expo 2012: Turbine Technical Conference and Exposition: Heat Transfer, Parts A and B. Band 4. S. 1889-1898Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Flattening hierarchical scheduling, 2012, Proceedings of the tenth ACM international conference on Embedded software. New York, NY, USA: ACM Press, S. 93-102, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Flow oscillations driven by a rotating magnetic field in liquid metal columns with an upper free surface, 2012, in: Journal of crystal growth. 339, 1, S. 52-60Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Formale Verifikation von exogenen Koodinationsmodellen, 2012, Ausgezeichnete Informatikdissertationen 2012. Gesellschaft für Informatik, Bonn, S. 171-180, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Forming the interface between doctor and designing engineer – an efficient software tool to define auxiliary geome-tries for the design of individualized lower jaw implants, 2012, International Journal of Computer Assisted Radiology and Surgery. 1 Aufl., Band 7. S. 418-420Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
From EL to Tractable Existential Rules with Complex Role Inclusions, 2012, Description LogicsPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband