Publikationen

2016

• Approximately Solving Set EquationsBaader, F., Marantidis, P. & Okhotin, A., 2016, Proceedings of the 30th International Workshop on Unification (UNIF'16). S. 37-41, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Approximate Unification in the Description Logic FL₀Baader, F., Marantidis, P. & Okhotin, A., 2016, Logics in Artificial Intelligence: 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings. Michael, L. & Kakas, A. (Hrsg.). Springer, Berlin [u. a.], S. 49-63, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Are Age Differences Missing in Relative and Absolute Distance Perception of Stereoscopically Presented Virtual Objects?Schuber, R. S., Hartwig, J., Müller, M., Groh, R. & Pannasch, S., 2016Publikation: Beitrag zu Konferenzen > Paper
• Auf dem Weg zum Videocampus Sachsen – eine MachbarkeitsuntersuchungBergert, A., Schellbach, U. & Lehmann, A., 2016, DeLFI 2016 - Die 14. E-Learning Fachtagung Informatik. Lucke, U., Schwill, A. & Zender, R. (Hrsg.). Gesellschaft fur Informatik (GI), S. 297-299, 3 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Automatic framework to generate reconfigurable accelerators for option pricing applicationsPham, N. K., Aung, K. M. M. & Kumar, A., 2016, 2016 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2016. Athanas, P., Cumplido, R., Feregrino, C. & Sass, R. (Hrsg.). IEEE, New York [u. a.], 7857157Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Bayesian optimization for learning gaits under uncertainty - An experimental comparison on a dynamic bipedal walker.Calandra, R., Seyfarth, A., Peters, J. & Deisenroth, M. P., 2016, in: Annals of mathematics and artificial intelligence : AMAI. 76, 1-2, S. 5-23, 19 S., 1-2Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Cars as a main ICT resource of smart citiesHagenauer, F., Dressler, F., Altintas, O. & Sommer, C., 2016, Smart Cities and Homes: Key Enabling Technologies. Obaidat, M. S. & Nicopolitidis, P. (Hrsg.). Elsevier Science B.V., S. 131--147Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Cerebral cortex classification by conditional random fields applied to intraoperative thermal imaging.Hoffmann, N., Koch, E., Petersohn, U., Kirsch, M. & Steiner, G., 2016, in: Current Directions in Biomedical Engineering. 2, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Cluster-based transmit power control in heterogeneous vehicular networksMemedi, A., Hagenauer, F., Dressler, F. & Sommer, C., 2016, 7th IEEE Vehicular Networking Conference (VNC 2015)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Column-Oriented Datalog Materialization for Large Knowledge GraphsUrbani, J., Jacobs, C. & Krötzsch, M., 2016, 30th AAAI Conference on Artificial Intelligence, AAAI 2016. S. 258-264, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Compiling for resilience: The performance gapRink, N. A., Kuvaiskii, D., Castrillon, J. & Fetzer, C., 2016, Parallel Computing: On the Road to Exascale. Peters, F., Parsons, M., Sawyer, M., Leather, H. & Joubert, G. R. (Hrsg.). Elsevier Science B.V., S. 721-730, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Composing Adaptive Software Systems in Decentralized InfrastructuresWutzler, M., 2016, Ph.D. Forum '16: Proceedings of on MobiSys 2016 PhD Forum. New York, NY, USA: Association for Computing Machinery, S. 15–16Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Composition of stochastic transition systems based on spans and couplingsGburek, D., Baier, C. & Klüppelholz, S., 2016, 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016). Chatzigiannakis, I., Mitzenmacher, M., Rabani, Y. & Sangiorgi, D. (Hrsg.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, S. 102:1-102:15Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Computational Drug Repositioning by Target Hopping: A Use Case in Chagas DiseaseHaupt, V. J., Aguilar Uvalle, J. E., Salentin, S., Daminelli, S., Leonhardt, F., Konc, J. & Schroeder, M., 2016, in: Current pharmaceutical design. 22, 21, S. 3124-34, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Übersichtsartikel (Review)
• Concept lattices with negative information: A characterization theorem.Rodríguez-Jiménez, J. M., Cordero, P., Enciso, M. & Rudolph, S., 2016, in: Inf. Sci.. 369, S. 51-62, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Conflict Management in Multi-user Applications for People with DisabilitiesLoitsch, C., Hille, D. & Weber, G., 2016Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Consistent Unanticipated Adaptation for Context-Dependent Applications.Taing, N., Wutzler, M., Springer, T., Cardozo, N. & Schill, A., 2016, COP@ECOOP. S. 33-38, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Constructive Alignment in Teaching ModelingDemuth, B., 2016Publikation: Beitrag zu Konferenzen > Paper
• Content Sharing Between Spatially-Aware Mobile Phones and Large Vertical Displays Supporting Collaborative WorkLangner, R., von Zadow, U., Horak, T., Mitschick, A. & Dachselt, R., 2016, Collaboration Meets Interactive Spaces. Anslow, C., Campos, P. & Jorge, J. (Hrsg.). Springer International Publishing, S. 75-96, 22 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Convexity Shape Constraints for Image SegmentationRoyer, L. A., Richmond, D. L., Rother, C., Andres, B. & Kainmueller, D., 2016, 2016 IEEE Conference on Computer Vision and Pattern Recognition (CVPR). S. 402-410Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Cost-Utility Analysis in Probabilistic ModelsBaier, C., 2016, 2016 10th International Symposium on Theoretical Aspects of Software Engineering: TASE 2016. IEEE, New York [u. a.], S. 1-1Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Decentralized coordination of dynamic software updates in the Internet of Things.Weißbach, M., Taing, N., Wutzler, M., Springer, T., Schill, A. & Clarke, S., 2016, WF-IoT. S. 171-176, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top ConstructorBaader, F., Nguyen, T. B., Borgwardt, S. & Morawska, B., 2016, in: Notre Dame Journal of Formal Logic. 57, 4, S. 443 - 476, 34 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Defining Relations: a general incremental approach with spatial temporal case studiesBennett, B., Du, H., Álvarez, L. G. & Cohn, A., 2016, Frontiers in Artificial Intelligence and Applications. 9th International Conference on Formal Ontology in Information Systems (FOIS 2016). Ferrario, R. & Kuhn, W. (Hrsg.). IOS Press, Amsterdam [u. a.], S. Annecy, France, (23-36)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Demo: OpenC2X - An open source experimental and prototyping platform supporting ETSI ITS-G5Laux, S., Pannu, G., Schneider, S., Tiemann, J., Klingler, F., Sommer, C. & Dressler, F., 2016, 8th IEEE Vehicular Networking Conference (VNC 2016), Demo SessionElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband