Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1441 bis 1450 von 13891.

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

  2. 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 (WACV-2023), January 3-7, Waikoloa, HI, USA, Pages 3392-3402, IEEE, 2023.

  3. 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 Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2023), March 23-24, Freiburg, Germany, 2023.

  4. 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 Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2023), March 23-24, 2023.

  5. 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 Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2023), March 23-24, Freiburg, Germany, 2023.

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

  7. Thierry Declerck; Sussi Olsen

    Linked Open Data compliant Representation of the Interlinking of Nordic Wordnets and Sign Language Data

    In: Nikolai Ilinykh; Felix Morger; Dana Dannélls; Simon Dobnik; Beáta Megyesi; Joakim Nivre (Hrsg.). Proceedings of the 2nd Workshop on Resources and Representations for Under-Resourced Languages and Domains. Workshop on Resources and Representations for Under-Resourced Languages and Domains (RESOURCEFUL-2023), located at The 24th Nordic Conference on Computational Linguistics (NoDaLiDa), May 22, Tórshavn, Faroe Islands, Pages 62-69, ISBN 978-1-959429-73-9, Association for Computational Linguistics (ACL), 209 N. Eighth Street Stroudsburg, PA 18360 USA, 5/2023.

  8. Lenka Bajčetić; Thierry Declerck; Gilles Sérasset

    Enriching Multiword Terms in Wiktionary with Pronunciation Information

    In: Archna Bhatia; Kilian Evang; Marcos Garcia; Voula Giouli; Lifeng Han; Shiva Taslimipoor (Hrsg.). Proceedings of the 19th Workshop on Multiword Expressions (MWE 2023). Workshop on Multiword Expressions (MWE-2023), located at The 17th Conference of the European Chapter of the Association for Computational Linguistics (EACL 2023), May 6, Dubrovnik, Croatia, Pages 65-72, ISBN 978-1-959429-59-3, Association for Computational Linguistics (ACL), 209 N. Eighth Street, Stroudsburg, PA 18360, USA, 5/2023.

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

  10. Martha Schnieber; Rolf Drechsler

    Polynomial Formal Verification of KFDD Circuits

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

Jahr

Mehr Optionen