Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1721 bis 1730 von 13721.

  1. Muhammad Hassan; Thilo Vörtler; Karsten Einwich; Rolf Drechsler; Daniel Große

    Toward System-Level Assertions for Heterogeneous Systems

    In: Rolf Drechsler; Sebastian Huhn. Advanced Boolean Techniques. Pages 67-81, Springer, 2023.

  2. Marcel Merten; Mohammed E. Djeridane; Sebastian Huhn; Rolf Drechsler

    SAT-Based Key Determination Attack for Improving the Quality Assessment of Logic Locking Mechanisms

    In: Rolf Drechsler; Sebastian Huhn. Advanced Boolean Techniques. Pages 83-94, Springer, 2023.

  3. Khushboo Qayyum; Alireza Mahzoon; Rolf Drechsler

    Start Small But Dream Big: On Choosing a Static Variable Order for Multiplier BDDs

    In: Rolf Drechsler; Sebastian Huhn. Advanced Boolean Techniques. Pages 115-169, Springer, 2023.

  4. Alireza Mahzoon; Rolf Drechsler

    Polynomial Formal Verification of Carry Look-Ahead Adders

    In: Bernd Steinbach. Advances in the Boolean Domain. Pages 93-114, ISBN 1-5275-8872-6, Cambridge Scholars Publishing, 2023.

  5. Martha Schnieber

    Polynomial Formal Verification of Approximate Functions

    Springer, 2023.

  6. Rolf Drechsler; Sebastian Huhn

    Advanced Boolean Techniques

    Springer, 2023.

  7. Joao Maria Janeiro; Stanislav Frolov; Alaaeldin El-Nouby; Jakob Verbeek

    Are Visual Recognition Models Robust to Image Compression?

    In: International Conference on Machine Learning Workshop Neural Compression: From Information Theory to Applications. International Conference on Machine Learning (ICML-2023), Neural Compression: From Information Theory to Applications, Association for Computing Machinery (ACM), 2023.

  8. Dafna Burema; Nicole Debowski-Weimann; Alexander von Janowski; Jil Grabowski; Mihai Maftei; Mattis Jacobs; Patrick van der Smagt; Djalel Benbouzid

    A sector-based approach to AI ethics: Understanding ethical issues of AI-related incidents within their sectoral context

    In: Francesca Rossi; Sanmay Das; Jenny Davis; Kay Firth-Butterfield; Alex John (Hrsg.). AIES '23: Proceedings of the 2023 AAAI/ACM Conference on AI, Ethics, and Society. AAAI/ACM Conference on Artificial Intelligence, Ethics, and Society (AIES-2023), August 8-10, Montreal, Canada, Pages 705-714, ISBN 979-8-4007-0231-0, The Association for Computing Machinery, New York, NY, 8/2023.

  9. Christof Rauber; Lukas Brechtel; Hans Dieter Schotten

    JCAS-Enabled Sensing as a Service in 6th-Generation Mobile Communication Networks

    In: KuVS Fachgespräch - Würzburg Workshop on Modeling, Analysis and Simulation of Next-Generation Communication Networks 2023 (WueWoWAS'23). KuVS Fachgespräch - Würzburg Workshop on Next-Generation Communication Networks (WueWoWas-23), June 28-30, Würzburg, Germany, OPUS Universität Würzburg, 7/2023.

  10. Carlos Franzreb; Tim Polzehl; Sebastian Möller

    A Comprehensive Evaluation Framework for Speaker Anonymization Systems

    In: Proc. 3rd Symposium on Security and Privacy in Speech Communication. Symposium on Security and Privacy in Speech Communication (SPSC-2023), located at Interspeech 2023, August 21-24, Dublin, Ireland, ISCA, 2023.

Jahr

Mehr Optionen