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.
3539 Einträge
2022
-
Load Balancing Potentials in 5G NR FR2 , 15 Sept. 2022, 2022 IEEE 33rd Annual International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC). IEEE, S. 1393-1399, 7 S., 9977585Elektronische (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
-
Energy-Efficient Instruction Delivery in Embedded Systems with Domain Wall Memory , 1 Sept. 2022, in: IEEE Transactions on Computers. 71, 9, S. 2010-2021, 12 S.Elektronische (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
-
Presburger Büchi Tree Automata with Applications to Logics with Expressive Counting , 1 Sept. 2022, Logic, Language, Information, and Computation - 28th International Workshop, WoLLIC 2022, Proceedings: 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings. Ciabattoni, A., Pimentel, E. & de Queiroz, R. J. G. B. (Hrsg.).S. 295-308, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Semantic Characterizations of AGM Revision for Tarskian Logics , 1 Sept. 2022, Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Proceedings: 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings. Governatori, G. & Turhan, A. (Hrsg.).S. 95-110, 16 S.Elektronische (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-360, 2 S.Elektronische (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, VTC 2022-Fall 2022 - Proceedings. London, United Kingdom: IEEE, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
FLEXE: Investigating Federated Learning in Connected Autonomous Vehicle Simulations , Sept. 2022, 2022 IEEE 96th Vehicular Technology Conference, VTC 2022-Fall 2022 - Proceedings. 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
-
Virtualization of Embedded Reconfigurable Systems , 30 Aug. 2022, 2022 32nd International Conference on Field-Programmable Logic and Applications (FPL). IEEE Xplore, S. 460-461, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
PANACA: An open-source configurable network-on-chip simulation platform , 26 Aug. 2022, 2022 35th SBC/SBMicro/IEEE/ACM Symposium on Integrated Circuits and Systems Design (SBCCI). S. 1-6, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Informatics Education in German Primary School Curricula , 25 Aug. 2022, Informatics in Schools. A Step Beyond Digital Education - 15th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2022, Proceedings. Bollin, A. & Futschek, G. (Hrsg.). Cham: Springer, Berlin [u. a.], S. 3-14, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Haptic Force Feedback in Training for minimally invasive Surgery – Entwicklung und Validierung eines Laparoskopie-Simulators mit haptischem Vibrationsfeedback zum Training der adäquaten Kraftausübung. , 19 Aug. 2022, in: Zeitschrift fur GastroenterologiePublikation: Beitrag in Fachzeitschrift > Kurzartikel (Letter) / Leserbrief mit Originaldaten
-
Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract) , 7 Aug. 2022, Proceedings of the 35th International Workshop on Description Logics (DL 2022), Haifa, Israel, August 7-10, 2022. CEUR-WS.orgElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract) (Slides) , 7 Aug. 2022Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Wissenschaftliche Vortragsfolien