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.
3180 Einträge
2023
-
Measuring Didactical Competencies for Informatics Education among Prospective Primary School Teachers , 2023, ISSEP 2023 : 16th international conference on informatics in schools. Local proceedings. Lausanne, S. 129-138, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Network Satisfaction Problems Solved by k-Consistency , 2023, 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023). S. 116:1-116:20, 20 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
On the Abstract Expressive Power of Description Logics with Concrete Domains , 2023, Proceedings of the 36th International Workshop on Description Logics. Ozaki, A., Lutz, C. & Kutz, O. (Hrsg.). CEUR-WS.org, Band 3515Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Partial Optimality in Cubic Correlation Clustering. , 2023, Proceedings of the 40th International Conference on Machine Learning. S. 32598-32617, 20 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Performance Estimation and Prototyping of Reconfigurable Near-Memory Computing Systems , 2023, Proceedings - 2023 33rd International Conference on Field-Programmable Logic and Applications, FPL 2023. Mentens, N., Mentens, N., Sousa, L., Trancoso, P., Papadopoulou, N. & Sourdis, I. (Hrsg.). Institute of Electrical and Electronics Engineers Inc., S. 357-358, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
PNRG – A Library for Modeling Variable Structure Energy Gridsin Modelica using Energetic Petri Nets , 2023, Proceedings of the 15th International Modelica Conference 2023, Aachen, October 9-11. Linköping, Univ., S. 727 - 736, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
PraxisCheckUnterricht: 360° Videografie und immersive Unterrichtsreflexion , 2023, Workshops der 21. Fachtagung Bildungstechnologien (DELFI): Bildungstechnologien in der Schule. Gesellschaft für Informatik e.V., S. 31-38, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Pruning and Early-Exit Co-Optimization for CNN Acceleration on FPGAs , 2023, 2023 Design, Automation and Test in Europe Conference and Exhibition, DATE 2023 - Proceedings. Institute of Electrical and Electronics Engineers Inc.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Pushing the Limits of an FCN and A CRF Towards Near-Ideal Vertebrae Labelling. , 2023, 2023 IEEE 20th International Symposium on Biomedical Imaging (ISBI), Cartagena, Colombia. S. 1-5, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Revision of the AIG Software Toolkit: A Contribute to More User Friendliness and Algorithmic Efficiency , 2023, Proceedings of the 15th International Conference on Computer Supported Education. SCITEPRESS - Science and Technology Publications, Band 2Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Secure and Dynamic Publish/Subscribe: LCMsec , 2023, 2023 IEEE 98th Vehicular Technology Conference, VTC 2023-Fall - Proceedings. Institute of Electrical and Electronics Engineers Inc., S. 1-7Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Securing the Execution of ML Workflows across the Compute Continua , 2023, 8 S.Publikation: Beitrag zu Konferenzen > Paper
-
Semi-automatic Generation of Historical Urban 3D Models at a Larger Scale Using Structure-from-Motion, Neural Rendering and Historical Maps , 2023, UHDL 2023: Research and Education in Urban History in the Age of Digital Libraries . S. 107-127Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Seminarkonzept zur fachlichen und fachdidaktischen Qualifizierung von Informatiklehramtsstudierenden zum Maschinellen Lernen , 2023, 10. Fachtagung Hochschuldidaktik Informatik (HDI) 2023. Gesellschaft fur Informatik (GI), Band 10. S. 65-74, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Seminar zur informatischen Bildung in der Grundschule , 2023, 10. Fachtagung Hochschuldidaktik Informatik (HDI) 2023. Desel, J. & Opel, S. (Hrsg.). FernUniversität in Hagen, S. 75-85, 11 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Shisha: Online Scheduling of CNN Pipelines on Heterogeneous Architectures , 2023, Parallel Processing and Applied Mathematics - 14th International Conference, PPAM 2022, Revised Selected Papers. Wyrzykowski, R., Dongarra, J., Deelman, E. & Karczewski, K. (Hrsg.). Springer Science and Business Media B.V., S. 249-262, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
SinClave: Hardware-assisted Singletons for TEEs , 2023, S. 85-97, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Special Session: Mitigating Side-Channel Attacks Through Circuit to Application Layer Approaches , 2023, Proceedings - 2023 International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2023. Institute of Electrical and Electronics Engineers Inc., S. 8-17, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Special Session-Non-Volatile Memories: Challenges and Opportunities for Embedded System Architectures with Focus on Machine Learning Applications , 2023, Proceedings - 2023 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2023. Institute of Electrical and Electronics Engineers Inc., S. 11-20, 10 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
SpiNNaker2: A Large-Scale Neuromorphic System for Event-Based and Asynchronous Machine Learning , 2023, First Workshop on Machine Learning with New Compute ParadigmsElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
STAMP-Rust: Language and Performance Comparison to C on Transactional Benchmarks , 2023, Benchmarking, Measuring, and Optimizing - 14th Bench Council International Symposium, Bench 2022, Revised Selected Papers. Gainaru, A., Zhang, C. & Luo, C. (Hrsg.). Springer Science and Business Media B.V., S. 160-175, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks , 2023, Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I. André, É. & Sun, J. (Hrsg.). Springer, Cham, S. 401-421, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Towards Extending the Description Logic FL0 with Threshold Concepts Using Weighted Tree Automata , 2023, Proceedings of the 36th International Workshop on Description Logics (DL'23). CEUR-WS.orgPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Triad: Trusted Timestamps in Untrusted Environments , 2023, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Usage of Self-Motivating Achievements to Collect Accessibility Information of Indoor Environments. , 2023, International Conference on Human-Computer Interaction. Springer Nature Switzerland, Dortrecht [u. a.], S. 477-488, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband