Publikationen
Im Folgenden finden Sie einige Informationen zu Publikationen der Fakultät, welche über das Forschungsinformationssystem zur Verfügung gestellt werden. Darüber hinaus finden Sie vollständige Listen der Publikationen und Veröffentlichungen auch über die Webseiten der jeweiligen Institute und Professuren.
3178 Einträge
2010
-
Automata-Based Axiom Pinpointing , 2010, in: Journal of Automated Reasoning. 45, 2, S. 91-129, 39 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Automatic feature matching between digital images and 2D representations of a laser scanner point cloud , 2010, in: The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences (ISPRS Archives). 2010, XXXVIII/5, S. 446, 451 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
-
Axiom Pinpointing in General Tableaux , 2010, in: Journal of Logic and Computation. 20, 1, S. 5-34, 30 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Brief Announcement: Hybrid Time-Based Transactional Memory , 2010, Distributed Computing. Band 6343. S. 124-126, 3 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Causes of osteoporosis in men , 2010, in: OsteologiePublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Computing intensional answers to questions - An inductive logic programming approach. , 2010, in: Data & knowledge engineering. 69, 3, S. 261-278, 18 S., 3Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Control of a Vacuum Coating Process with Long Dead-Time and an Integrator: A Case Study , 2010Publikation: Beitrag zu Konferenzen > Paper
-
Deduktion: von der Theorie zur Anwendung - Informatik-Spektrum , 2010, in: Informatik-Spektrum : Organ der Gesellschaft für Informatik e.V. und mit ihr assoziierter Organisationen. 33, 5, S. 444 - 451, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
DelViz: Untersuchen von Visualisierungsformen durch eine Klassifizierung beruhend auf Social Tagging , 2010, S. 69-79, 11 S.Publikation: Beitrag zu Konferenzen > Paper
-
Developing Multi-touch Software through Creative Deconstruction , 2010Publikation: Beitrag zu Konferenzen > Paper
-
Ein Metamodell von Produktionssystemen als Grundlage für die automatische Simulationsmodellgenerierung , 2010, 6. Fachkolloquium der Wissenschaftlichen Gesellschaft für Technische Logistik (WGTL): Tagungsband. Overmeyer, L. (Hrsg.).S. 141-152, 12 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Energieeffizienz durch neue Raumautomationskonzepte , 2010, Konferenzband der 14. Internationalen Passivhaustagung. S. 537-538, 2 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Enhancing the expressiveness of fingers: multi-touch ring menus for everyday applications , 2010, S. 259-264, 6 S.Publikation: Beitrag zu Konferenzen > Paper
-
Erweiterung von Menschmodellen zur wahrnehmungskonformen Sichtvisualisierung , 2010Publikation: Beitrag zu Konferenzen > Paper
-
Evaluation of AMD's advanced synchronization facility within a complete transactional memory stack , 2010, S. 27-40, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Event-Driven Verification in Dynamic Component Models , 2010, S. 79-86, 8 S.Publikation: Beitrag zu Konferenzen > Paper
-
Handling Crash and Software Faults Efficiently in Distributed Event Stream Processing , 2010, S. 164-172, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Improving screen magnification using the hyperbraille multiview windowing technique , 2010, Computers Helping People with Special Needs, Part II: 12th International Conference, ICCHP 2010, Vienna, Austria, July 14-16, 2010. Proceedings. Springer, Berlin [u. a.], S. 506–512Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Integration Touchscreen-basierter Patientenbefragung in das neurologische Dokumentationssystem MSDS , 2010, GeNeMe 2010 - Gemeinschaften in Neuen MedienPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
MapReduce for Scalable Neural Nets Training , 2010, 2010 6th World Congress on Services. S. 99-106Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Mut zur Lücke - Zur Umsetzung von spezifischen Algorithmen für Designer , 2010Publikation: Beitrag zu Konferenzen > Paper
-
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend! , 2010, in: J. Artif. Intell. Res.. 39, S. 429-481, 53 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
OCL Tools Report based on the IDE4OCL Feature Model: Proceedings of the Workshop on OCL and Textual Modelling (OCL 2011) , 2010, in: Electronic Communications of the EASST. 2011, 44Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
On the impact of energy-saving strategies in opportunistic grids , 2010, Proceedings - IEEE/ACM International Workshop on Grid Computing. IEEE, New York [u. a.]Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband