Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 2024
Alle Filter entfernen
Zeige Ergebnisse 1 bis 10 von 769.

  1. Fatemeh Shirinzadeh; Kamalika Datta; Saeideh Shirinzadeh; Abhoy Kole; Rolf Drechsler

    Towards Formal Verification for MAC-based In-Memory Computing

    In: 33th IEEE Asian Test Symposium (ATS 2024). Asian Test Symposium (ATS-2025), December 17-20, Ahmedabad, India, 2024.

  2. Dev Narayan Yadav; Phrangboklang Lyngton Thangkhiew; F Lalchhandama; Kamalika Datta; Rolf Drechsler; Indranil Sengupta

    Improving Self-Fault-Tolerance Capability of Memristor Crossbar Using a Weight-Sharing Approach

    In: 33th IEEE Asian Test Symposium (ATS 2024). Asian Test Symposium (ATS-2024), December 17-20, Ahmedabad, India, 2024.

  3. Yousef Koka

    Learn2Clean Event Data

    Mastersthesis, German University in Cairo, 8/2024.

  4. Rolf Drechsler; Christina Plump; Martha Schnieber

    The Future is Hybrid: Next Generation Data Structures for Formal Verification

    In: Rolf Drechsler; Christina Plump; Martha Schnieber (Hrsg.). 33th IEEE Asian Test Symposium (ATS 2024). Asian Test Symposium (ATS-2025), December 17-20, Ahmedabad, India, 2024.

  5. Sabine Blaschke; Harald Dormann; Rajan Somasundaram; Christoph Dodt; Ingo Graeff; Hans-Jörg Busch; Bernadett Erdmann; Marc Wieckenberg; Christoph Haedicke; Katrin Esslinger; Elisabeth Nyoungui; Tim Friede; Felix Walcher; Julia Talamo; Julia K. Wolff; OPTINOFA Study Group; Wilhelm Behringer; Ulrich Heida; Thomas Ruhnke; Christian Günster; Patrik Dröge; Michael Schmucker; Martin Haag; Michael Dietrich; Wiebke Schirrmeister; Felix Greiner; Paul Ludolph; Hans-Dieter Nolting; Kerstin Pischek-Koch; Stefanie Wache; Irina Chaplinskaya-Sobol; Dagmar Krefting; Kai Antweiler; Eva Hummers; Marina Karg; Jennifer Lenz; Kathrein Munski; Andreas Brockmann; Wiebke Boehne; Heike Teupe

    Strukturierte Ersteinschätzung in der Notaufnahme mittels des intelligenten Assistenzdienstes OPTINOFA

    In: Medizinische Klinik - Intensivmedizin und Notfallmedizin, Vol. 119, No. 9, Pages 751-762, SPRINGER NATURE, 12/2024.

  6. Khushboo Qayyum; Sallar Ahmadi-Pour; Chandan Jha; Muhammad Hassan; Rolf Drechsler

    LLMs for Hardware Verification: Frameworks, Techniques, and Future Directions

    In: 33th IEEE Asian Test Symposium (ATS 2024). Asian Test Symposium (ATS-2025), December 17-20, Ahmedabad, India, 2024.

  7. Luis Perotti; Oskar Stamm; Michael Dietrich; Ilona Buchem; Ursula Müller-Werdan

    The usability and user experience of an interactive e-learning platform to empower older adults when using electronic personal health records: an online intervention study

    In: Universal Access in the Information Society, Vol. 0, Pages 0-0, Springer, 6/2024.

  8. Shanchuan Huang; Hongwei Lei; Jinzhu Yang; Tao Hang; Liuhan Jin; Yudong Yao; Marcin Grzegorzek; Chen Li

    An Attention Mechanism and Ensemble Learning based on Dermoscopic Image Classification.

    In: Journal of Imaging Science & Technology (JIST), Vol. 68, No. 4, Pages 1-14, Society for Imaging Science and Technology, 7/2024.

  9. Steffen Kastner; Markus Bullmann; Markus Ebner; Toni Fetzer; Frank Deinzer; Marcin Grzegorzek

    Refinement of Sparsely Tagged Ground Truth Paths Using PDR and Particle Filter Smoothing

    In: 2024 14th International Conference on Indoor Positioning and Indoor Navigation (IPIN). IEEE International Conference on Indoor Positioning and Indoor Navigation (IPIN), Pages 1-6, IEEE, 2024.

  10. Rafal Doniec; Tymoteusz Krzepina; Szymon Siecinski; Muhammad Tausif Irshad; Marcin Grzegorzek

    An Educational App for the Selection of Blood Glucose Meters: A Cross-Sectional Study

    In: Jens Haueisen (Hrsg.). Current Directions in Biomedical Engineering (CDBME), Vol. 10, No. 4, Pages 204-207, De Gruyter, 2024.

Jahr