Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1491 bis 1500 von 15084.
  1. Arnab Das; Carlos Franzreb; Suhita Ghosh; Tim Polzehl; Sebastian Möller

    Speecher: Towards Privacy Ensuring Decoder Only Speech Reconstruction Through Disentanglement for German Speech Anonymization Using Any-to-Many Voice Conversion

    In: ISCA Archive. Symposium on Security and Privacy in Speech Communication (SPSC-2024), located at SPSC, ISCA, 9/2024.

  2. Petra Beenken; Luise-Sophie Bleckmann; Benny Björn Briesemeister; Marc Ebel; Susanne Fittkau; Caroline Grauel; Maik Günther; Doris Hanway; Claudia Heß; Heiko Holz; Isabel Hörmann; Kurt Jeschke; Tobias Kesting; Sonja Klose; Ralf Kneuper; Ralf T. Kreutzer; Nicolai Krüger; Sibylle Kunz; Visieu Lac; Christina Lagodka; Alexander Lawall; Damian Leschik; Vera Lenz-Kesekamp; Nikolaj Lunze; Jan-Paul Lüdtke; Elisabeth L' Orange; Sebastian Mertens; Manuel Muth; Gerd Nufer; Miriam O'Shea; Ban Pahlawan; Florian Perst; Marc Peter; Jan Pieper; Lavinia Celina Rahmawati; Katharina-Maria Rehfeld; Marie Salkowski; Philipp Schmid; Annkristin Schürhaus; Freddy Sikouonmeu; Neal Wessling; Klaus Wildhirt; Atilla Wohllebe; Cansu Rosa Yildirim; Tanja Marlen Zweigle; Thomas Bolz; Gabriele Schuster (Hrsg.)

    Generative Künstliche Intelligenz in Marketing und Sales: Innovative Unternehmenspraxis: Insights, Strategien und Impulse

    ISBN 978-3-658-45131-8, Springer Fachmedien Wiesbaden, Wiesbaden, 2024.

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

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

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

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

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

  8. Plan Generation from Unstructured Documents Through Transformer-Based Extraction of Knowledge Graphs

    In: Thirty-Second European Conference on Information Systems (ECIS 2024). European Conference on Information Systems (ECIS-2024), June 13-19, Paphos, Cyprus, Association for Information Systems, 4/2024.

  9. Active and Transfer Learning for Efficient Identification of Species in Multi-Label Bioacoustic Datasets

    In: Proceedings of the 2024 International Conference on Information Technology for Social Good. ACM International Conference on Information Technology for Social Good (GoodIT-2024), September 4-6, Bremen, Germany, Pages 22-25, ISBN 9798400710940, ACM, 2024.

  10. Supreeth Mysore Venkatesh; Antonio Macaluso; Marlon Nuske; Matthias Klusch; Andreas Dengel

    Quantum Annealing-Based Algorithm for Efficient Coalition Formation Among LEO Satellites

    In: ArXiv e-prints (arxiv), Vol. arXiv:2408.06007, Pages 1-6, arXiv, 8/2024.