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
2020
-
Modelling the Polysemy of Spatial Prepositions in Referring Expressions , 2020, Proceedings of the 17th International Conference on the Principles of Knowledge Representation and Reasoning (KR'20). Calvanese, D., Erdem, E. & Thielscher, M. (Hrsg.).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
MorphStore: Analytical Query Engine with a Holistic Compression-Enabled Processing Model , 2020, in: Proceedings of the VLDB Endowment. 13, 12, S. 2396-2410Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
-
MTL and TPTL for One-Counter Machines: Expressiveness, Model Checking, and Satisfiability , 2020, in: ACM Transactions on Computational Logic : TOCL. 21, 2, S. 1-34, 34 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Objective Mismatch in Model-based Reinforcement Learning , 2020, in: Proceedings of Machine Learning Research. 120, S. 761-770, 10 S.Publikation: Beitrag in Fachzeitschrift > Konferenzartikel
-
OmniTact: A Multi-Directional High-Resolution Touch Sensor. , 2020, ICRA. S. 618-624, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
On A Notion of Relevance , 2020, Proceedings of the 33rd International Workshop on Description Logics (DL 2020). CEUR-WSElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems , 2020, Logical Foundations of Computer Science. Artemov, S. & Nerode, A. (Hrsg.). Cham: Springer International Publishing AG, S. 177-194, 18 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
On Skolem-Hardness and Saturation Points in Markov Decision Processes , 2020, 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020). Czumaj, A., Dawar, A. & Merelli, E. (Hrsg.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, S. 138:1-138:17Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
On the Complexity of Finding Good Proofs for Description Logic Entailments , 2020, Proceedings of the 33rd International Workshop on Description Logics (DL 2020)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
On the Lifted Multicut Polytope for Trees , 2020, Pattern Recognition: 42nd DAGM German Conference, DAGM GCPR 2020, Tübingen, Germany, September 28 – October 1, 2020, Proceedings. Akata, Z., Geiger, A. & Sattler, T. (Hrsg.). Springer, Berlin [u. a.], S. 360–372Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Optimizing the Operational Time of Ambient Assisting Living Robots , 2020, in: IEEE Consumer Electronics Magazine. 9, 3, S. 97-104, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Passive Angriffe auf kanalbasierten Schlüsselaustausch. , 2020, S. 41-51Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Plan2Vec: Unsupervised Representation Learning by Latent Plans. , 2020, L4DC. S. 935-946, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Polymorphic Compressed Replication of Columnar Data in Scale-Up Hybrid Memory Systems. , 2020, S. 98-110Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Preparatory reflections on safe context-adaptive software (Position Paper) , 2020, IoTBDS 2020 - Proceedings of the 5th International Conference on Internet of Things, Big Data and Security. Wills, G., Kacsuk, P. & Chang, V. (Hrsg.). SCITEPRESS - Science and Technology Publications, S. 382-391, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Principal Abstract Families of Weighted Tree Languages , 2020, in: Information and Computation. 282Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020 , 2020, CEUR-WS.orgElektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Sammelband
-
ProMACs: Progressive and Resynchronizing MACs for Continuous Efficient Authentication of Message Streams. , 2020, S. 211-223Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Promoting Prospective Teacher Competencies for Designing, Implementing, Evaluating, and Adapting Interactive Formative Feedback Strategies , 2020, in: Psychology learning and teaching. 20, 2, S. 261-278, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
ProxSim: GPU-based Simulation Framework for Cross-Layer Approximate DNN Optimization. , 2020, DATE. S. 1193-1198, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Quantitative Characterization of Reconfigurable Transistor Logic Gates. , 2020, in: IEEE access. 8, S. 112598-112614, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Rapid Iron-On User Interfaces: Hands-on Fabrication of Interactive Textile Prototypes , 2020, Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems. New York, NY, USA: Association for Computing Machinery (ACM), New York, S. 1–14Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Reachability in Dynamical Systems with Rounding , 2020, 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020). Saxena, N. & Simon, S. (Hrsg.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, S. 36:1-36:17Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Reactors: A Deterministic Model for Composable Reactive Systems , 2020, Cyber Physical Systems. Model-Based Design - 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, Revised Selected Papers. Chamberlain, R., Edin Grimheden, M. & Taha, W. (Hrsg.). Springer, Berlin [u. a.], S. 59-85, 27 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Reasoner = Logical Calculus + Rule Engine , 2020, in: KI - Kunstliche Intelligenz. 34, S. 453–463Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel