Skip to main content Skip to main navigation

Publications

Displaying results 931 to 940 of 13882.
  1. Bengt Lüers; Patricia P. Serafini; Ivan Braga Campos; Thiago Gouvea; Daniel Sonntag

    BirdNET-Annotator: AI-Assisted Strong Labelling of Bird Sound Datasets

    In: 3rd Annual AAAI Workshop on AI to Accelerate Science and Engineering. AAAI Workshop on AI to Accelerate Science and Engineering (AI2ASE), located at AAAI, February 26, Vancouver, BC, Canada, 2024.

  2. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Polynomial Formal Verification of Approximate Adders with Constant Cutwidth

    In: 29th IEEE European Test Symposium 2024. IEEE European Test Symposium (ETS-2024), May 20-24, The Hague, Netherlands, 2024.

  3. Aggregating Predicted Individual Hospital Length of Stay to Predict Bed Occupancy for Hospitals

    In: Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies. International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC-2024), February 21-23, Rome, Italy, Pages 175-184, Vol. 2, ISBN 978-989-758-688-0, SciTePress, 2024.

  4. AI Engineering for Trust by Design

    In: Francisco José Domínguez Mayo; Luís Ferreira Pires; Edwin Seidewitz (Hrsg.). Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering. Model-Based Software and Systems Engineering (MBSE-2024), February 21-23, Rome, Italy, Pages 357-364, Vol. 1: MBSE-AI Integration, ISBN 978-989-758-682-8, SciTePress Digital Library, 2/2024.

  5. Sabisan Santhakumaran; Tobias Rossol; Elsa Andrea Kirchner

    Towards muscle sensing by a non-contact optical systemusing photogrammetry

    In: Biomedical Engineering / Biomedizinische Technik, Vol. 68, No. s1 - Abstracts of the 57th Annual Meeting of the German Society of Biomedical Engineering 26 - 28 September 2023, Duisburg, including: The Artificial Vision Symposium - The International Symposium on Visual Prosthetics, De Gruyter, 9/2023.

  6. 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.

  7. 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.

  8. 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.

  9. Andreas Schliebitz; Heiko Tapken; Martin Atzmueller

    Preprocessing Ground-Based Hyperspectral Image Data for Improving CNN-based Classification

    In: Michael Leyer; Johannes Wichmann (Hrsg.). Lernen, Wissen, Daten, Analysen (LWDA) Conference Proceedings, Marburg, Germany, October 9-11, 2023. GI-Workshop-Tage "Lernen, Wissen, Daten, Analysen" (LWDA-2023), October 9-11, Marburg, Germany, Pages 399-413, CEUR Workshop Proceedings, Vol. 3630, CEUR-WS.org, 2023.

  10. 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.