Skip to main content Skip to main navigation

Publications

 

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

Search narrowed by:

Year: 2023
Remove all filters
Displaying results 81 to 90 of 726.

  1. Akhila Abdulnazar; Markus Kreuzthaler; Roland Roller; Stefan Schulz

    SapBERT-Based Medical Concept Normalization Using SNOMED CT.

    In: Studies in Health Technology and Informatics, Vol. 302, Pages 825-826, 2023.

  2. Syed Tahseen Raza Rizvi; Sheraz Ahmed; Andreas Dengel

    ACE 2.0: A Comprehensive tool for automatic extraction, analysis, and digital profiling of the researchers in Scientific Communities

    In: Social Network Analysis and Mining (SNAM), Vol. 13, No. 1, Page 81, Springer Nature, 5/2023.

  3. Fabrizio Nunnari; Eleftherios Avramidis; Vemburaj Yadav; Alain Pagani; Yasser Hamidullah; Sepideh Mollanorozy; Cristina España-Bonet; Emil Woop; Patrick Gebhard

    Towards Incorporating 3D Space-Awareness into an Augmented Reality Sign Language Interpreter

    In: Proceedings of the Eighth International Workshop on Sign Language Translation and Avatar Technology. International Workshop on Sign Language …

  4. Raúl Domínguez; Thomas Vögele; Jorge Ocón; Thierry Germa; Shashank Govindaraj; Fredrik Bakkevig Haugli; Eric Törn; Valerie Ciarletti; Carlos Jesús Perez; Alexander Dettmann; Anne-Claire Berthen; Loic Lecabec; Pierpaolo Serio; Fabio Polisano; Frank Kirchner

    Field Testing of Cooperative Multi-Robot Technology for Accessing and Exploring a Planetary Lava Tube

    In: 4th International Planetary Caves Conference. LPI Contributions (IPCC-2023), May 4-7, Haría Municipality in Lanzarote, Spain, Lunar and Planetary …

  5. Eric Ettore; Philipp Müller; Jonas Hinze; Michel Benoit; Bruno Giordana; Danilo Postin; Rene Hurlemann; Amandine Lecomte; Michel Musiol; Hali Lindsay; Philippe Robert; Alexandra König

    Digital Phenotyping for Differential Diagnosis of Major Depressive Episode: Narrative Review

    In: JMIR Mental Health, Vol. 10, Page e37225, JMIR Publications Toronto, Canada, 2023.

  6. Tanay Agrawal; Michal Balazia; Philipp Müller; François Brémond

    Multimodal Vision Transformers with Forced Attention for Behavior Analysis

    In: Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision. IEEE Winter Conference on Applications of Computer Vision …

  7. Alexander Konrad; Christoph Scholl; Alireza Mahzoon; Daniel Große; Rolf Drechsler

    Divider Verification Using Symbolic Computer Algebra and Delayed Don’t Care Optimization

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und …

  8. Niklas Bruns; Sallar Ahmadi-Pour; Sören Tempel; Rolf Drechsler

    Towards Comprehensive Verification of Hardware and Software for RISC-V based Embedded Systems

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und …

  9. Arighna Deb; Kamalika Datta; Rolf Drechsler

    Equivalence Checking of Majority-based Function Mapping on ReRAM Crossbars

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und …

  10. Mohamed Nadeem; Jan Kleinekathöfer; Rolf Drechsler

    Polynomial Formal Verification of Adder Circuits Using Answer Set Programming

    In: Reed-Muller Workshop (RM2023). Reed-Muller Workshop (RM-2023), May 24, Matsue City, Japan, 2023.

Year