Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 3291 bis 3300 von 15161.

  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. Jan Zielasko; Sören Tempel; Vladimir Herdt; Rolf Drechsler

    3D Visualization of Symbolic Execution Traces

    In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2022), September 14-16, Linz, Austria, 2022.

  8. Niklas Bruns; Vladimir Herdt; Rolf Drechsler

    Unified HW/SW Coverage: A Novel Metric to Boost Coverage-guided Fuzzing for Virtual Prototype based HW/SW Co-Verification

    In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2022), September 14-16, Linz, Austria, 2022.

  9. Xia Wang; Hong Li; Alexander Zimmermann; Niels Pinkwart; Silke Wrede; Lars van Rijn; Claudia De Witt; Birgit Baudach

    IFSE - Personalized Quiz Generator and Intelligent Knowledge Recommendation

    In: 2022 IEEE 16th International Conference on Semantic Computing (ICSC). IEEE International Conference on Semantic Computing (ICSC-2022), January 26-28, Online, ISBN 978-1-6654-3419-5, IEEE, 2022.

  10. Maxx Richard Rahman; Wolfgang Maass

    Detection of Erythropoietin in Blood to Uncover Doping in Sports using Machine Learning

    In: 2022 IEEE International Conference on Digital Health (ICDH 2022) - Proceedings. IEEE International Conference on Digital Health (ICDH-2022), July 11-16, Barcelona, Spain, Pages 193-201, IEEE Xplore, 7/2022.

Jahr

Mehr Optionen