Skip to main content Skip to main navigation

Publications

Displaying results 141 to 150 of 13704.
  1. 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.

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

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

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

  5. Md Abid Hasan; Frédéric Li; Vivian Tetzlaff-Lelleck; Franziska Schmelter; Greta Marie Ahlemann; Lennart Jablonski; Xinyu Huang; Christian Sina; Marcin Grzegorzek

    Deep-learning-based Detection of Food Hypersensitivity from Confocal Laser Endomicroscopy Images of the Gastro-intestinal Tract

    In: Tung X. Bui (Hrsg.). 58th Hawaii International Conference on System Sciences 2025. Proceedings. Hawaii International Conference on System Sciences (HICSS-2025), January 7-10, Pages 3290-3299, ISBN 978-0-9981331-8-8, University of Hawaii Press, 2025.

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

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

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

  9. Cong Yang; Hua Zhou; Xun Liu; Yan Ke; Bo Gao; Marcin Grzegorzek; Zeyd Boukhers; Tao Chen; John See

    BladeView: Toward Automatic Wind Turbine Inspection With Unmanned Aerial Vehicle

    In: IEEE Transactions on Automation Science and Engineering, Vol. IEEE Transactions on Automation Science and Engineering, Pages 1-16, IEEE, 2024.

  10. Artur Piet; Johanna Geritz; Pascal Garcia; Mona Irsfeld; Frédéric Li; Xinyu Huang; Muhammad Tausif Irshad; Julius Welzel; Clint Hansen; Walter Maetzler; Marcin Grzegorzek; others

    Predicting executive functioning from walking features in Parkinson’s disease using machine learning

    In: Scientific Reports (Sci Rep), Vol. 14, No. 1, Pages 1-1, Nature Publishing Group UK London, 2024.