Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Search narrowed by:

Year: 2022
Remove all filters
Displaying results 151 to 160 of 800.

  1. Paula Kammler; Christian Heidemann; Kai Lingemann; Karsten Morisse

    Digitaler Experte im Stall: ein Expertensystem am Beispiel des Eutergesundheitsmanagements

    In: Markus Gandorfer; Christa Hoffmann; Nadja El Benni; Marianne Cockburn; Thomas Anken; Helga Floto (Hrsg.). Informatik in der Land-, Forst- und …

  2. Jan Christoph Krause; Sebastian Röttgermann; Matthias Müter; André Berghaus; Jens Herbers; Stefan Menke; Jaron Martinez; Dominik Nieberg; Arno Ruckelshausen; Naeem Iqbal; Mark Niemeyer; Stefan Stiene; Joachim Hertzberg

    Concept of a Test Environment for the Automated Evaluation of Algorithms for Robust and Reliable Environment Perception

    In: Barbara Sturm; Henning Meyer (Hrsg.). LAND.TECHNIK 2022 The Forum for Agricultural Engineering Innovations. International Conference Agricultural …

  3. Andreas Winter; Boris Brandherm; Michael Igel; Peter Schegner

    Klassische Stromnetzberechnung in Kombination mit künstlicher Intelligenz zur Analyse und Diagnose von Stromverteilnetzen

    In: VDE FNN / ETG Tutorial Schutz- und Leittechnik. VDE FNN / ETG Tutorial Schutz- und Leittechnik, VDE Verlag GmbH, 2/2022.

  4. Abdul Rafey Aftab; Michael Beeck

    Multimodal Driver Referencing: A Comparison of Pointing to Objects Inside and Outside the Vehicle

    In: 27th International Conference on Intelligent User Interfaces (IUI '22), March 22--25, 2022, Helsinki, Finland. International Conference on …

  5. Christopher Metz; Mehran Goli; Rolf Drechsler

    ML-based Power Estimation of Convolutional Neural Networks on GPGPUs

    In: 25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and …

  6. Milan Funck; Vladimir Herdt; Rolf Drechsler

    Virtual Prototype driven Design, Implementation and Evaluation of RISC-V Instruction Set Extensions

    In: 25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and …

  7. Alireza Mahzoon; Daniel Große; Christoph Scholl; Alexander Konrad; Rolf Drechsler

    Formal Verification of Modular Multipliers using Symbolic Computer Algebra and Boolean Satisfiability

    In: 59th Design Automation Conference (DAC). Design Automation Conference (DAC), July 10-14, San Francisco, USA, 2022.

  8. Rolf Drechsler; Alireza Mahzoon; Mehran Goli

    Towards Polynomial Formal Verification of Complex Arithmetic Circuits

    In: 25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and …

  9. Weiyan Zhang; Mehran Goli; Rolf Drechsler

    Early Performance Estimation of Embedded Software on RISC-V Processor using Linear Regression

    In: 25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and …

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

    Equivalence Checking of System-Level and SPICE-Level Models of Linear Analog Filters

    In: 25th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and …

Year