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.
3174 Einträge
2022
-
BOT-MICS: Bounding Time Using Analytics in Mixed-Criticality Systems , Okt. 2022, in: IEEE transactions on computer-aided design of integrated circuits and systems. 41, 10, S. 3239 - 3251, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Brief Summary of Existing Research on Students’ Conceptions of AI , Okt. 2022, S. 1-2, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Poster
-
Reflections on “Rock, Paper, Scissors”: Communicating Science to the Public through a Demonstrator , 29 Sept. 2022, HRI 2022 - Proceedings of the 2022 ACM/IEEE International Conference on Human-Robot Interaction. Band 2022. S. 1208-1209, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Error-Tolerant Reasoning in the Description Logic 𝓔𝓛 Based on Optimal Repairs , 26 Sept. 2022, Rules and Reasoning: 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings. Springer, Berlin [u. a.], S. 227–243Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Optimal Fixed-Premise Repairs of 𝓔𝓛 TBoxes , 19 Sept. 2022, Proceedings of the 45th German Conference on Artificial Intelligence (KI 2022), Virtual in Trier, Germany, September 19-23, 2022: Advances in Artificial Intelligence - 45th German Conference on AI, Proceedings. Bergmann, R., Malburg, L., Rodermund, S. C. & Timm, I. J. (Hrsg.). Springer, Berlin [u. a.], S. 115-130, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Optimal Fixed-Premise Repairs of 𝓔𝓛 TBoxes , 19 Sept. 2022Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Wissenschaftliche Vortragsfolien
-
Optimal Fixed-Premise Repairs of 𝓔𝓛 TBoxes (Extended Version) , 19 Sept. 2022Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
DECO: Optimizing Software-based Soft-Error Detector Configurations , 15 Sept. 2022, Proceedings - 2022 18th European Dependable Computing Conference, EDCC 2022. IEEE Xplore, S. 73-80, 8 S., 9933206Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Using Matchboxes to Teach the Basics of Machine Learning: an Analysis of (Possible) Misconceptions , 8 Sept. 2022, Proceedings of the Second Teaching Machine Learning and Artificial Intelligence Workshop. PMLR, S. 25-29, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Operational causality – Necessarily sufficient and sufficiently necessary , 7 Sept. 2022, A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. Jansen, N., Stoelinga, M. & van den Bos, P. (Hrsg.). Springer, Berlin [u. a.], S. 27–45, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Stretching Projection - Projection-Based Visual Control and Support for Sports Exercises , 4 Sept. 2022, MuC '22: Proceedings of Mensch und Computer 2022. Muhlhauser, M., Reuter, C., Pfleging, B., Kosch, T., Matviienko, A., Gerling, K., Mayer, S., Heuten, W. & Doring, T. (Hrsg.). Association for Computing Machinery, S. 452-456, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
ADF - BDD : An ADF Solver Based on Binary Decision Diagrams , 1 Sept. 2022, Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022). Toni, F., Polberg, S., Booth, R., Caminada, M. & Kido, H. (Hrsg.). IOS Press, Amsterdam [u. a.], Band 220146. S. 355–356, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Coupling and Decoupling in IEC 61499 and IEC 61131-3 Applications , 1 Sept. 2022, 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). S. 1-8, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Design centering enables robustness screening of pattern formation models , 1 Sept. 2022, in: Bioinformatics. 38, 2 S, S. II134-II140Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Holistic Monitoring for heterogeneous industrial Time Sensitive Networks , 1 Sept. 2022, 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). S. 1-8, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Impact of Modularization and Coupling on the Complexity of Industrial Control and Automation Systems , 1 Sept. 2022, 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA). S. 1-7, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces , 1 Sept. 2022, Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022). Toni, F., Polberg, S., Booth, R., Caminada, M. & Kido, H. (Hrsg.). IOS Press, Amsterdam [u. a.], Band 220146. S. 116–127, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Parameter Synthesis for Parametric Probabilistic Dynamical Systems and Prefix-Independent Specifications , 1 Sept. 2022, 33rd International Conference on Concurrency Theory, CONCUR 2022. Klin, B., Lasota, S. & Muscholl, A. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 10Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Tuple-Generating Dependencies Capture Complex Values (extended abstract) , 1 Sept. 2022, Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry. Alviano, M. & Pieris, A. (Hrsg.). CEUR-WS.org, S. 97–103Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Accessible Mobile Map Application and Interaction for People with Visual or Mobility Impairments , Sept. 2022, Proceedings of Mensch und Computer 2022: Facing Realities, MuC 2022 - Proceedings. Muhlhauser, M., Reuter, C., Pfleging, B., Kosch, T., Matviienko, A., Gerling, K., Mayer, S., Heuten, W. & Doring, T. (Hrsg.).S. 119-127, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
CPrAA – A Checker for Probabilistic Abstract Argumentation , Sept. 2022, Computational Models of Argument: Proceedings of COMMA 2022. IOS Press, Band 353. S. 359-360Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Efficient Pareto Optimality-based Task Scheduling for Vehicular Edge Computing , Sept. 2022, 2022 IEEE 96th Vehicular Technology Conference (VTC2022-Fall). London, United Kingdom: IEEE, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Energy-Efficient Instruction Delivery in Embedded Systems with Domain Wall Memory , Sept. 2022, in: IEEE Transactions on Computers. 71, 9, S. 2010-2021, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
FLEXE: Investigating Federated Learning in Connected Autonomous Vehicle Simulations , Sept. 2022, 2022 IEEE 96th Vehicular Technology Conference (VTC2022-Fall). London, United Kingdom, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Hamiltonian Monte Carlo with strict convergence criteria reduces run-to-run variability in forensic DNA mixture deconvolution , Sept. 2022, in: Forensic science international : official journal of the International Society for Forensic Genetics. 60, 9 S., 102744Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel