Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 931 bis 940 von 13867.

  1. Sören Tempel; Tobias Brandt; Christoph Lüth; Rolf Drechsler

    Symbolic Execution of Binary Code based on Formal ISA Semantics

    In: 4th International KLEE Workshop on Symbolic Execution. KLEE Workshop on Symbolic Execution, April 14-16, Lisbon, Portugal, 2024.

  2. Bernhard J. Berger; Christina Plump; Rolf Drechsler

    Why less is sometimes more -- Using Boolean literals to solve 2048

    In: 16th International Workshop on Boolean Problems (IWSBP). International Workshop on Boolean Problems (IWSBP-2024), September 19-20, Bremen, Germany, 2024.

  3. Luca Müller; Rolf Drechsler

    SAT can Ensure Polynomial Bounds for the Verification of Circuits with Limited Cutwidth

    In: 16th International Workshop on Boolean Problems (IWSBP). International Workshop on Boolean Problems (IWSBP-2024), September 19-20, Bremen, Germany, 2024.

  4. Chandan Kumar Jha; Khushboo Qayyum; Muhammad Hassan; Rolf Drechsler

    Extend and Reduce Methodology to Enable Formal Verification of Truncated Adders

    In: 16th International Workshop on Boolean Problems (IWSBP). International Workshop on Boolean Problems (IWSBP-2024), September 19-20, Bremen, Germany, 2024.

  5. Abhoy Kole; Kamalika Datta; Rolf Drechsler

    Exploring the Potential of Dynamic Quantum Circuit for Improving Device Scalability

    In: 37th IEEE International System-on-Chip Conference. IEEE International System-on-Chip Conference (SOCC-2024), September 16-19, Dresden, Germany, 2024.

  6. Saifullah Saifullah; Dominique Mercier; Stefan Agne; Andreas Dengel; Sheraz Ahmed

    Towards privacy preserved document image classification: a comprehensive benchmark

    In: International Journal on Document Analysis and Recognition (IJDAR), Vol. Special Issue Paper, Springer Nature, 2024.

  7. Sankalp Sinha; Muhammad Saif Ullah Khan; Talha Uddin Sheikh; Didier Stricker; Muhammad Zeshan Afzal

    CICA: Content-Injected Contrastive Alignment for Zero-Shot Document Image Classification

    In: ICDAR 2024 Main Conference Proceedings. International Conference on Document Analysis and Recognition (ICDAR-2024), 18th International Conference on Document Analysis and Recognition, located at International Conference on Document Analysis and Recognition, August 30 - September 4, Athens, Greece, Springer, 2024.

  8. Gokul Srinivasagan; Simon Ostermann

    HybridBERT - Making BERT Pretraining More Efficient Through Hybrid Mixture of Attention Mechanisms

    In: Proceedings of the NAACL Student Research Workshop (SRW) 2024. NAACL-HLT Student Research Workshop (NAACL-SRW-2024), Association for Computational Linguistics, 2024.

  9. Julia Habenicht; Elsa Andrea Kirchner

    Preliminary results on the evaluation of different feedback methods for the operation of a muscle-controlled serious game

    In: Procedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies. International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC), February 21-23, Rome, Italy, Pages 721-725, Vol. 1, ISBN 978-989-758-688-0, SCITEPRESS, 2/2024.

  10. Yasmmin C Martins; Praphulla MS Bhawsar; Jeya B Balasubramanian; Daniel Russ; Wendy SW Wong; Wolfgang Maaß; Jonas S Almeida

    FAIR privacy-preserving operation of large genomic variant calling format (VCF) data without download or installation

    In: AMIA Summits on Translational Science Proceedings 2024. AMIA Joint Summits on Translational Science, Pages 65-74, American Medical Informatics Association, 5/2024.

Jahr

Mehr Optionen