Skip to main content Skip to main navigation

Publications

Displaying results 1951 to 1960 of 13730.

  1. Clara Elisabeth Gleiß; Emil Woop; Esther Zahn

    Toolkits&Wearables - Developing Toolkits for Exploring Wearable Designs

    In: MYOW - Make Your Own Wearable. Toolkits & Wearables: Developing Toolkits for Exploring Wearable Designs, located at CHI 2022, April 30, New Orleans, LA, USA, CHI 2022, 5/2022.

  2. Shubham Vyas; Lasse Maywald; Shivesh Kumar; Marko Jankovic; Andreas Mueller; Frank Kirchner

    Post-Capture Detumble Trajectory Stabilization for Robotic Active Debris Removal

    In: Advances in Space Research, Vol. 1, Pages 1-18, Elsevier Ltd. 2022.

  3. Christian Wiezorek; Stefan Werner; Miguel Bande Firvida; Thomas Vögele; Kai Strunz

    Sector-coupled Energy Systems Using the Flexibility of Smart DSM

    In: CIRED 2021 - The 26th International Conference and Exhibition on Electricity Distribution. International Conference and Exhibition on Electricity Distribution (CIRED-2021), September 20-23, Pages 2198-2202, Vol. 2021, ISBN 978-1-83953-591-8, IET, 2021.

  4. Thomas Vögele; Christian Backe; Miguel Bande Firvida; Peter Conradi; Petri Hovila; Kimmo Kauhaniemi; Haresh Kumar; Timo Kyntäjä; Matti Rita-Kasari; Muhammad Shafiq; Stefan Werner; Christian Wiezorek

    FUSE - using artificial intelligencein the energy grid of tomorrow

    In: CIRED - Open Access Proceedings Journal. CIRED Workshops, CIRED 2020 Berlin Workshop (CIRED 2020), located at International Conference on Electricity Distribution (CIRED), September 22-23, Berlin, Germany, Pages 466-468, ISBN 978-1-83953-214-6, IET, 2020.

  5. Joscha Grüger; Martin Kuhn; Ralph Bergmann

    Reconstructing invisible deviating events: A conformance checking approach for recurring events

    In: Mathematical Biosciences and Engineering (MBE), Vol. 19, No. 11 - Special Issue: Computational Methods for Process Mining in Healthcare, Pages 11782-11799, American Institute of Mathematical Sciences, 8/2022.

  6. Sajjad Parvin; Mehran Goli; Frank Sill Torres; Rolf Drechsler

    FELOPi: A Framework for Simulation and Evaluation of Post-Layout File Against Optical Probing

    In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2023), April 17-19, Antwerp, Belgium, 2023.

  7. Kemal Çağlar Coşkun; Muhammad Hassan; Rolf Drechsler

    Equivalence Checking of System-Level and SPICE-Level Models of Static Nonlinear Circuits

    In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2023), April 17-19, Antwerp, Belgium, 2023.

  8. Niklas Bruns; Vladimir Herdt; Rolf Drechsler

    Processor Verification using Symbolic Execution: A RISC-V Case-Study

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2023), April 17-19, Antwerp, Belgium, 2023.

  9. Jan Kleinekathöfer; Alireza Mahzoon; Rolf Drechsler

    Polynomial Formal Verification of Floating Point Adders

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2023), April 17-19, Antwerp, Belgium, 2023.

  10. Johann Chevalère; Hae Seon Yun; Anja Henke; Niels Pinkwart; Verena V Hafner; Rebecca Lazarides

    A sequence of learning processes in an intelligent tutoring system from topic-related appraisals to learning gains

    In: Learning and Instruction, Vol. 87, Pergamon, 10/2023.

Year

More options