Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 2711 bis 2720 von 15017.

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

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

  3. Sebastian Rahn; Philipp Gehricke; Can-Leon Petermöller; Eric Neumann; Philipp Schlinge; Leon Rabius; Henning Termühlen; Christopher Sieh; Marco Tassemeier; Thomas Wiemann; Mario Porrmann

    ReDroSe — Reconfigurable Drone Setup for Resource-efficient SLAM

    In: Proceedings of th 2023 Workshop on Drone Systems Engineering. Drone Systems Engineering (DroneSE-2023), January 17-18, Tolouse, France, ACM Digital LIbrary, 2023.

  4. David Dembinsky; Fatemeh Azimi; Federico Raue; Jörn Hees; Sebastian Palacio; Andreas Dengel

    Sequential Spatial Transformer Networks for Salient Object Classification

    In: Proceedings of the 12th International Conference on Pattern Recognition Applications and Methods. International Conference on Pattern Recognition Applications and Methods (ICPRAM-2023), located at 12th International Conference on Pattern Recognition Applications and Methods, February 22-24, Lissabon, Portugal, scitepress, 2/2023.

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

  6. David Samhammer; Susanne Beck; Klemens Budde; Aljoscha Burchardt; Michelle Faber; Simon Gerndt; Sebastian Möller; Bilgin Osmanodja; Roland Roller; Peter Dabrock

    Klinische Entscheidungsfindung mit Künstlicher Intelligenz

    In: David Samhammer; Susanne Beck; Klemens Budde; Aljoscha Burchardt; Michelle Faber; Simon Gerndt; Sebastian Möller; Bilgin Osmanodja; Roland Roller; Peter Dabrock. Klinische Entscheidungsfindung mit Künstlicher Intelligenz: Ein interdisziplinärer Governance-Ansatz. Pages 1-71, Springer, 2023.

  7. Selvakumar Hastham Sathiya Satchi Sadanandam; Sebastian Stock; Alexander Sung; Felix Ingrand; Oscar Lima; Marc Vinci; Joachim Hertzberg

    A Closed-Loop Framework-Independent Bridge from AIPlan4EU's Unified Planning Platform to Embedded Systems

    In: Proceedings of the PlanRob Workshop of the 28th International Conference on Automated Planning and Scheduling. Workshop on Planning and Robotics (PlanRob-23), PlanRob Workshop of the 33rd International Conference on Automated Planning and Scheduling, located at ICAPS 2023, July 8-13, Prague, Czech Republic, n.n. 2023.

  8. Iyadh Ben Cheikh Larbi; Aljoscha Burchardt; Roland Roller

    Clinical Text Anonymization, its Influence on Downstream NLP Tasks and the Risk of Re-Identification

    In: Elisa Bassignana; Matthias Lindemann; Alban Petit (Hrsg.). EACL 2023 - Proceedings of the Student Research Workshop. Conference of the European Chapter of the Association for Computational Linguistics: Student Research Workshop (EACL-2023), May 2-4, Pages 105-111, ISBN 978-1-959429-48-7, ACL, 5/2023.

  9. Daniel Christopher Hoinkiss; Jörn Huber; Christina Plump; Christoph Lüth; Rolf Drechsler; Matthias Günther

    AI-Driven and Automated MRI Sequence Optimization in Scanner-Independent MRI Sequences Formulated by a Domain-Specific Language

    In: Frontiers in Neuroimaging, Vol. 02, frontiers, 2023.

  10. Christina Plump; Bernhard J. Berger; Rolf Drechsler

    KI-gestützte Optimierung repetitiver Prozesse - Eine Kodierungstechnik für repetitive Prozesse in der evolutionären Optimierung

    In: Industrie 4.0 Management (IM), Vol. 39, Pages 19-22, 2023.

Jahr

Mehr Optionen