Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 51 bis 60 von 12753
  1. Werner Damm; Martin Fränzle; Alyssa J. Kerscher; Forrest Laine; Klaus Bengler; Bianca Biebl; Willem Hagemann; Moritz Held; David Hess; Klas Ihme; Severin Kacianka; Sebastian Lehnhoff; Andreas Lüdtke; Alexander Pretschner; Astrid Rakow; Jochem W. Rieger; Daniel Sonntag; Janos Sztipanovits; Maike Schwammberger; Mark Schweda; Alexander Trende; Anirudh Unni; Eric M. S. P. Veith

    A Reference Architecture of Human Cyber-Physical Systems - Part III: Semantic Foundations

    In: ACM Transactions on Cyber-Physical Systems (TCPS), Vol. 8, No. 1, Pages 1-23, ACM, 2024.

  2. Sajjad Parvin; Chandan Jha; Frank Sill Torres; Rolf Drechsler

    Hidden Cost of Circuit Design with RFETs

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

  3. Tim Henkes; Steffen Reith; Marc Stöttinger; Norbert Herfurth; Goran Panic; Julian Wälde; Fabian Buschkowski; Pascal Sasdrich; Christoph Lüth; Milan Funck; Tuba Kiyan; Arnd Weber; Detlef Boeck; René Rathfelder; Torsten Grawunder

    Evaluating an open-source hardware approach from HDL to GDS for a security chip design — a review of the final stage of project HEP

    In: Design, Automation and Test in Europe. Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

  4. Muhammad Hassan; Sallar Ahmadi-Pour; Khushboo Qayyum; Chandan Kumar Jha; Rolf Drechsler

    LLM-guided Formal Verification Coupled with Mutation Testing

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

  5. Dennis Mronga; Andreas Bresser; Fabian Maas genannt Bermpohl; Adrian Danzglock; Simon Stelter; Alina Hawkin; Hoang Giang Nguyen; Michael Beetz; Frank Kirchner

    MARLIN: A cloud integrated robotic solution to support intralogistics in retail

    In: Robotics and Autonomous Systems (RAS), ScienceDirect, 2/2024.

  6. Gaussian Mixture Likelihood-based Adaptive MPC for Interactive Mobile Manipulators

    In: 2024 IEEE International Conference on Robotics and Automation (accepted for publication). IEEE International Conference on Robotics and Automation …

  7. Siting Liang; Pablo Valdunciel Sánchez; Daniel Sonntag

    Optimizing Relation Extraction in Medical Texts through Active Learning: A Comparative Analysis of Trade-offs

    In: Association for Computational Linguistics. Conference of the European Chapter of the Association for Computational Linguistics (EACL-2024), March …

  8. Antonio Macaluso; Luca Clissa; Stefano Lodi; Claudio Sartori

    An efficient quantum algorithm for ensemble classification using bagging

    In: IET Quantum Communication, Vol. 1, Pages 1-16, Wiley, 1/2024.

  9. Julia Mayer; Martin Memmel; Johannes Ruf; Dhruv Patel; Lena Hoff; Sascha Henninger

    Progressing towards Estimates of Local Emissions from Trees in Cities: A Transdisciplinary Framework Integrating Available Municipal Data, AI, and Citizen Science

    In: Antonio Fernández-Caballero; Nuno Alexandre Ribeiro Costa; António Pereira (Hrsg.). Applied Sciences, Vol. 14, No. 1, Page 396, MDPI, 2024.