Publikationen

2018

• Computing with ferroelectric FETs: Devices, models, systems, and applicationsAziz, A., Breyer, E., Chen, A., Chen, X., Datta, S., Gupta, S., Hoffmann, M. & 12 weitere, 2018, Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Conjunctive queries with inequalities under updatesIdris, M., Ugarte, M., Vansummeren, S., Voigt, H. & Lehner, W., 2018, in: Proceedings of the VLDB Endowment. 11, 7, S. 733-745, 13 S., 7Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
• Continuous Model Validation Using Reference Attribute GrammarsMey, J., Schöne, R., Hedin, G., Söderberg, E., Kühn, T., Fors, N., Öqvist, J. & 1 weitere, 2018Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Continuous Publishing of Online Programming Assignments with INLOOPMorgenstern, M. & Demuth, B., 2018Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Cutting Diamonds: A Temporal Logic with Probabilistic Distributions.Kovtunova, A. & Peñaloza, R., 2018, Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference (KR 2018). S. 561-570, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Cutting Diamonds: Temporal DLs with Probabilistic Distributions over Data.Kovtunova, A. & Peñaloza, R., 2018, Proceedings of the 31st International Workshop on Description Logics (DL 2018). 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Cycle-Accurate and Cycle-Reproducible Debugging of Embedded Designs Using Artificial IntelligenceKhan, H. U. H. & Göhringer, D., 2018, 2018 28th International Conference on Field Programmable Logic and Applications (FPL). IEEE Xplore, S. 449-450, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Dataflow-Based Mapping of Spiking Neural Networks on Neuromorphic Hardware.Das, A. & Kumar, A., 2018, ACM Great Lakes Symposium on VLSI. S. 419-422, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Data Visualization on Mobile DevicesLee, B., Brehmer, M., Isenberg, P., Choe, E. K., Langner, R. & Dachselt, R., 2018, Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM), New York, S. W07:1-W07:8, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Dealing with Conceptual Indeterminacy: A Framework based on Supervaluation SemanticsÁlvarez, L. G. & Bennett, B., 2018, Joint Proceedings of MedRACER and WOMoCoE 2018. 3rd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2018). CEUR-WS, S. Arizona, USA, (38-50)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Deciding Universality of ptNFAs is PSpace-CompleteMasopust, T. & Krötzsch, M., 2018, SOFSEM 2018: Theory and Practice of Computer Science: 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings. Tjoa, A. M., Bellatreche, L., Biffl, S., van Leeuwen, J. & Wiedermann, J. (Hrsg.).S. 413–427Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Decision making improves sperm chemotaxis in the presence of noiseKromer, J. A., Märcker, S., Lange, S., Baier, C. & Friedrich, B. M., 2018, in: PLoS Computational Biology. 14, 4, 15 S., e1006109Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Deep Reinforcement Learning in a Handful of Trials using Probabilistic Dynamics Models.Chua, K., Calandra, R., McAllister, R. & Levine, S., 2018, NeurIPS. S. 4759-4770, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• DeMAS: An efficient design methodology for building approximate adders for FPGA-based systems.Prabakaran, B. S., Rehman, S., Hanif, M. A., Ullah, S., Mazaheri, G., Kumar, A. & Shafique, M., 2018, DATE. S. 917-920, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Demo abstract: Integrating a driving simulator with city-scale VANET simulation for the development of next generation ADAS systemsBuse, D., Sommer, C. & Dressler, F., 2018, INFOCOM 2018 - IEEE Conference on Computer Communications WorkshopsElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Demonstrating VisTiles: Visual Data Exploration Using Mobile DevicesLangner, R., Horak, T. & Dachselt, R., 2018, Proceedings of the 2018 International Conference on Advanced Visual Interfaces. Association for Computing Machinery (ACM), New York, S. 69:1--69:3, 3 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Design of a portable programming abstraction for data transformationsLuong, J., Habich, D. & Lehner, W., 2018, DATA 2018 - Proceedings of the 7th International Conference on Data Science, Technology and Applications. Bernardino, J. & Quix, C. (Hrsg.). SCITEPRESS - Science and Technology Publications, S. 400-408, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Diversity Monitoring-Bedeutung und Chancen für die InformatikEngel, C., Branig, M., Leonhardt, L. & Kopitz, J., 2018Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Diversity of Processing UnitsLehner, W., 2018, in: Datenbank-SpektrumPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Duplicate suppression for efficient floating car data collection in heterogeneous LTE-DSRC vehicular networksTurcanu, I., Klingler, F., Sommer, C., Baiocchi, A. & Dressler, F., 2018, in: Computer communications : the international journal for the computer and telecommunications industryElektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Dynamic tunable and reconfigurable hardware controller with EKF-based state reconstruction through FPGA-in the loopAkgün, G., Khan, H. U. H., Elshimy, M. A. & Göhringer, D., 2018, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Efficient Model Construction for Horn Logic with VLogUrbani, J., Krötzsch, M., Jacobs, C., Dragoste, I. T. & Carral, D., 2018, Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings. Galmiche, D., Schulz, S. & Sebastiani, R. (Hrsg.). Springer, Cham, S. 680–688Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Einmal Ingenieur 4.0 und zurück: Digitalkompetenzen in der Hochschullehre. In: Digitalisierung in der Techniklehre – ihr Beitrag zum Profil Technischer Bildung.Bergert, A. & Nenner, C., 2018, Digitalisierung in der Techniklehre – : ihr Beitrag zum Profil Technischer Bildung. Kammasch, G. (Hrsg.). Ilmenau: Ingenieur-Pädagogische Wissensgesellschaft, S. 35-41Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Emerging reconfigurable nanotechnologies: can they support future electronics?Rai, S., Srinivasa, S. R., Cadareanu, P., Yin, X., Hu, X. S., Gaillardon, P., Narayanan, V. & 1 weitere, 2018, ICCAD. S. 13, 1 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Energy-Utility Analysis of Probabilistic Systems with Exogenous CoordinationBaier, C., Chrszon, P., Dubslaff, C., Klein, J. & Klüppelholz, S., 2018, It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab. de Boer, F., Bonsangue, M. & Rutten, J. (Hrsg.). Springer, Berlin [u. a.], S. 38–56Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten