Skip to main content Skip to main navigation

Publications

 

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

Displaying results 91 to 100 of 798.
  1. Susanne Boll; Michael Dowling; Wolfgang Faisst; Olga Mordvinova; Alexander Pflaum; Martin Rabe; Eric Veith; Astrid Nieße; Christian Gülpen; Markus Schnell; Orestis Terzidis; Uwe Riss; Christian Eckerle; Sarah Menthey; Alexandra Pehlken; Oliver Zielinski

    Mit Künstlicher Intelligenz zu nachhaltigen Geschäftsmodellen - Nachhaltigkeit von, durch und mit KI

    In: Lernende Systeme - die Plattform für Künstliche Intelligenz, Vol. 41, Pages 1-55, Lernende Systeme, München, 2/2022.

  2. Route-planning in output-material-flow arable farming operations aiming for soil protection

    In: Gesellschaft für Informatik in der Land-, Forst- und Ernährungswirtschaft -- Referate der 42. GIL-Jahrestagung. Gesellschaft für Informatik in der …

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

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

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

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

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

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

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

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