Skip to main content Skip to main navigation

Publications

Displaying results 1821 to 1830 of 15167.

  1. Niklas Dehio; Malte Ostendorff; Georg Rehm

    Claim Extraction and Law Matching for COVID-19-related Legislation

    In: Proceedings of the 13th Language Resources and Evaluation Conference. International Conference on Language Resources and Evaluation (LREC-2022), European Language Resources Association (ELRA), 2022.

  2. Matthias Jost; Andreas Luxenburger; Sönke Knoch; Jan Alexandersson

    PARTAS: A Personalizable Augmented Reality Based Task Adaption System for Workers with Cognitive Disabilities

    In: PETRA '22: The15th International Conference on PErvasive Technologies Related to Assistive Environments. International Conference on Pervasive Technologies Related to Assistive Environments (PETRA-2022), 15th ACM International Conference on PErvasive Technologies Related to Assistive Environments, located at ACM - Association for Computing Machinery Digital Library Proceedings, June 29 - July 1, Corfu, Greece, Pages 159-168, Association for Computing Machinery, New York, NY, United States, 7/2022.

  3. Achim Peters; Mattis Hartwig; Tobias Spiller

    Obesity and Type 2 Diabetes Mellitus Explained by the Free Energy Principle

    In: Vanessa Era (Hrsg.). Frontiers in Psychology, Vol. 13, Pages 1-11, Frontiers, 6/2022.

  4. Mattis Hartwig; Anjali Bhat; Achim Peters

    How Stress Can Change Our Deepest Preferences: Stress Habituation Explained Using the Free Energy Principle

    In: Gerit Pfuhl (Hrsg.). Frontiers in Psychology, Vol. 13, Pages 1-14, Frontiers, 5/2022.

  5. Marc Eisoldt; Julian Gaal; Thomas Wiemann; Marcel Flottmann; Marc Rothmann; Marco Tassemeier; Mario Porrmann

    A Fully Integrated System for Hardware-accelerated TSDF SLAM with LiDAR Sensors (HATSDF SLAM)

    In: Robotics and Autonomous Systems (RAS), Vol. 106, Pages 1-38, Elsevier, 2022.

  6. Sören Tempel; Vladimir Herdt; Rolf Drechsler

    SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification

    In: Automated Technology for Verification and Analysis (ATVA). International Symposium on Automated Technology for Verification and Analysis (ATVA-2022), October 25-28, 2022.

  7. Mehran Goli; Rolf Drechsler

    Early SoCs Information Flow Policies Validation using SystemC-based Virtual Prototypes at the ESL

    In: ACM Transactions on Embedded Computing Systems (TECS), Vol. 21, ACM, New York, 5/2022.

  8. Martha Schnieber; Saman Fröhlich; Rolf Drechsler

    Polynomial Formal Verification of Approximate Functions

    In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2022), July 4-6, Pafos, Cyprus, 2022.

  9. Bingbin Yu; Frank Kirchner

    Design and Control of a Portable Continuum Robot for Pipe Inspection Assisted by a Rigid Manipulator

    In: Gareth J. Monkman. Soft Robotics. Pages 140-161, Bentham Science Publisher, 5/2022.

  10. Roland Bless; Bastian Bloessl; Matthias Hollick; Marius Corici; Holger Karl; Dennis Krummacker; Daniel Lindenschmitt; Hans Dieter Schotten; Lara Wimmer

    Dynamic network (re-)configuration across time, scope, and structure

    In: European Conference on Networks and Communications | 6G Summit. European Conference on Networks and Communications (EuCNC), 31st European Conference on Networks and Communications, June 7-10, IEEE, 2022.

Year

More options