Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1381 bis 1390 von 15119.

  1. Mohamed Nadeem; Rolf Drechsler

    Linear Formal Verification of Multi-Valued Logic Circuits within Constant Cutwidth Architectures

    In: Journal of Multiple-Valued Logic and Soft Computing, Vol. 09, Old City Publishing, 2025.

  2. Paul Flammarion; Sajjad Parvin; Frank Sill Torres; Rolf Drechsler

    Auto-OPS: A Framework For Automated Optical Probing Simulation on GDS-II

    In: Proceedings of the 7th International Workshop on Secure Hardware, Architecture, and Software (SeHAS'2025). International Workshop on Secure Hardware, Architecture, and Software (SeHAS-2025), located at HiPEAC 2025, January 21, Barcelona, Spain, 2025.

  3. Rune Krauss; Jan Zielasko; Rolf Drechsler

    Large-Scale Evolutionary Optimization of Artificial Neural Networks Using Adaptive Mutations

    In: Proceedings of the 7th Workshop on Accelerated Machine Learning (AccML). Workshop on Accelerated Machine Learning (AccML-2025), located at HiPEAC 2025, January 21, Barcelona, Spain, 2025.

  4. Sören Tempel; Tobias Brandt; Christoph Lüth; Christian Dietrich; Rolf Drechsler

    Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2025), March 31 - April 2, Lyon, France, 2025.

  5. Shishir Muralidhara; René Schuster; Didier Stricker

    Domain-Incremental Semantic Segmentation for Autonomous Driving under Adverse Driving Conditions

    In: Proceedings of the International Conference on Pattern Recognition Applications and Methods. International Conference on Pattern Recognition Applications and Methods (ICPRAM-2025), February 23-25, Porto, Portugal, Scitepress, 2025.

  6. Christoph Michael Tholen; Eike Rodenbäck; Lars Nolle; Robert Rettig; Frederic Stahl

    On the Development of a Pixel-Wise Plastic Waste Identification System for Multispectral Remote Sensing Applications

    In: Max Bramer; Frederic Stahl (Hrsg.). Artificial Intelligence XLI. SGAI International Conference on Artificial Intelligence (AI-2024), December 17-19, Oxford, United Kingdom, Pages 47-60, ISBN 978-3-031-77915-2, Springer Nature Switzerland, 2025.

  7. Malte Wirkus; Jonathan Babel; Christian Backe

    Advantages of Active and Passive Suspension Systems in Obstacle Negotiation for Planetary Rovers

    In: Karsten Berns; Mohammad Osman Tokhi; Arne Roennau; Manuel F. Silva; Rüdiger Dillmann (Hrsg.). Walking Robots into Real World. International Conference on Climbing and Walking Robots and the Support Technologies for Mobile Machines (CLAWAR-2024), September 4-6, Kaiserslautern, Germany, Pages 169-180, Lecture Notes in Networks and Systems, Vol. 1115, No. 2, ISBN 978-3-031-71300-2 978-3-031-71301-9, Springer Nature Switzerland, Cham, 1/2025.

  8. Insa Reichow; Katja Buntins; Lutz Goertz; Berit Blanc; Sheikh Faisal Rashid; Monica Hochbauer

    Forschungsdesiderate und Projektstrukturen im Bereich digitaler, beruflicher Weiterbildung – Erkenntnisse einer Interviewstudie mit 31 Projekten des Innovationswettbewerbs INVITE

    Pages 1-31, 2/2025.

  9. Judith Bütefür; Elsa Andrea Kirchner

    Preliminary Technical Test of Different Physiological Modalities to Detect Workload in Humans in Microgravity

    In: Proceedings of the 18th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 1. International Conference on Bio-inspired Systems and Signal Processing (BIOSIGNALS-2025), located at BIOSTEC, February 20-22, Porto, Portugal, Pages 837-845, ISBN 978-989-758-731-3, SciTePress, 2025.

  10. Berit Blanc; Lutz Goertz; Insa Reichow; Katja Buntins; Monika Hochbauer; Sheikh Faisal Rashid

    Die Zukunft der beruflichen Weiterbildung. Szenarien und Handlungsempfehlungen für einen innovativen, digitalen Weiterbildungsraum 2035. Ein Dossier im Rahmen des Innnovationswettbewerbs INVITE

    Pages 1-37, www.pedocs.de/volltexte/2025/32740/pdf/Bla, 3/2025.

Jahr

Mehr Optionen