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.
3568 Einträge
2015
-
KI 2015: Advances in Artificial Intelligence: 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings , 2015, Springer, 368 S.Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
-
Kontextbasierte und nutzergerechte Maschinenbedienung , 2015, S. 161-171, 11 S.Publikation: Beitrag zu Konferenzen > Paper
-
Locks: Picking key methods for a scalable quantitative analysis , 2015, in: Journal of Computer and System Sciences. 81, 1, S. 258-287, 30 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Look & Pedal: Hands-free Navigation in Zoomable Information Spaces through Gaze-supported Foot Input. , 2015, S. 123–130Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Making cars a main ICT resource in smart cities. , 2015, 34th IEEE Conference on Computer Communications (INFOCOM 2015), International Workshop on Smart Cities and Urban Informatics (SmartCity 2015). S. 582-587, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Managing Distributed Context Models Requires Adaptivity too , 2015Publikation: Beitrag zu Konferenzen > Paper
-
Mapping Tasks to Interactions for Graph Exploration and Editing , 2015, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Poster
-
Model-driven Multi-Quality Auto-Tuning of Robotic Applications , 2015Publikation: Beitrag zu Konferenzen > Paper
-
Models@run.time for Object-Relational Mapping Supporting Schema Evolution , 2015Publikation: Beitrag zu Konferenzen > Paper
-
Modularisierung leichtgewichtiger Kompressionsalgorithmen. , 2015, S. 54-59Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Mutual Influence of Application- and Platform-Level Adaptations on Energy-Efficient Computing , 2015, S. 446-450, 5 S.Publikation: Beitrag zu Konferenzen > Paper
-
Online Parameter Optimization for Elastic Data Stream Processing , 2015, SoCC '15: Proceedings of the Sixth ACM Symposium on Cloud Computing. Association for Computing Machinery (ACM), New York, S. 276-287, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
On the Decidability Status of Fuzzy ALC with General Concept Inclusions , 2015, in: Journal of Philosophical Logic. 44, 2, S. 117-146, 30 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Optimization of Continuous Queries in Federated Database and Stream Processing Systems , 2015, BTWPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
ParaDIME: Parallel Distributed Infrastructure for Minimization of Energy for data centers , 2015, in: Microprocessors and Microsystems. 2014, S. 191-198, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Parallel Symbolic Execution: Merging In-Flight Requests , 2015, Hardware and Software: Verification and Testing. Piterman, N. (Hrsg.). Springer International Publishing, Band 9434. S. 120-135, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Plant Asset Management and Condition Monitoring using FDI , 2015Publikation: Beitrag zu Konferenzen > Paper
-
Plexe: A platooning extension for Veins , 2015, 6th IEEE Vehicular Networking Conference (VNC 2014). S. 53-60, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Position paper: accessible human-robot interaction (AHRI) , 2015, PETRA '15: Proceedings of the 8th ACM International Conference on PErvasive Technologies Related to Assistive Environments. 4 S., 16Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Poster: A simulator for heterogeneous vehicular networks , 2015, 6th IEEE Vehicular Networking Conference (VNC 2014), Poster SessionElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Power matters: Automatic Gain Control for a Software Defined Radio IEEE 802.11a/g/p receiver , 2015, 34th IEEE Conference on Computer Communications (INFOCOM 2015), Demo SessionElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Probabilistic Model Checking for Feature-oriented Systems , 2015, Transactions on Aspect-Oriented Software Development XII. Chiba, S., Tanter, É., Ernst, E. & Hirschfeld, R. (Hrsg.). Springer, Berlin [u. a.], S. 180-220, 41 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Probabilistic Query Answering in the Bayesian Description Logic BEL , 2015, Scalable Uncertainty Management: 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings. Beierle, C. & Dekhtyar, A. (Hrsg.). Springer, S. 21–35, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Quantitative Analysis of Communication Scenarios , 2015, Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings. Sankaranarayanan, S. & Vicario, E. (Hrsg.). Springer, Cham, S. 76-92, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband