Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 3261 bis 3270 von 14431.

  1. Michael Gundall; Julius Raphael Stegmann; Christopher Huber; Rüdiger Halfmann; Hans Dieter Schotten

    Implementation and Evaluation of the RBIS Protocol in 5G

    In: 2022 IEEE Globecom Workshops. IEEE Global Communications Conference Workshops (Globeccom Wkshps-2022), located at IEEE GLOBECOM 2022, December 4-8, Rio de Janeiro, Brazil, IEEE, 12/2022.

  2. Janet Weßler; Tanja Schneeberger; Leon Christidis; Patrick Gebhard

    Virtual backlash: Nonverbal expression of dominance leads to less liking of dominant female versus male agents

    In: IVA '22: Proceedings of the 22nd ACM International Conference on Intelligent Virtual Agents. International Conference on Intelligent Virtual Agents (IVA-2022), September 7-9, Faro, Portugal, ACM, 2022.

  3. Rolf Drechsler; Alireza Mahzoon

    Design Modification for Polynomial Formal Verification

    In: Proceedings of the 2022 International Symposium on Electrical, Electronics and Information Engineering. International Symposium on Electrical, Electronics and Information Engineering (ISEEIE-2022), February 25-27, Chiang Mai, Thailand, Pages 187-194, ISBN 978-1-6654-6874-9, IEEE Computer Society, CA; USA, 2/2022.

  4. Jörg Becker; Alessandro Benke; Peter Fettke; Oliver Gutermuth; Sebastian Halsbenning; Constantin Houy; Benedikt Hoffmeister; Robert Müller; Hendrik Scholta

    Machbarkeitsstudie zu den IT-technischen Anforderungen einer weitergehenden Digitalisierung im Bereich Soziale Sicherheit

    Forschungsbericht, Bundesministerium für Arbeit und Soziales, Forschungsberichte des BMAS, Vol. FB600, 2022.

  5. Rolf Drechsler

    Fast and Exact is Doable: Polynomial Algorithms in Test and Verification

    In: 23rd IEEE Latin-American Test Symposium (LATS). IEEE Latin American Test Symposium (LATS-2022), September 5-8, Montevideo, Uruguay, 2022.

  6. Kamalika Datta; Saman Froehlich; Saeideh Shirinzadeh; Dev Narayan; Yadav Indranil Sengupta; Rolf Drechsler

    Unlocking High Resolution Arithmetic Operations within Memristive Crossbars for Error Tolerant Applications

    In: IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC). IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC-2022), October 3-5, Patras, Greece, o.A, 2022.

  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: Formal Methods in Computer-Aided Design (FMCAD). Formal Methods in Computer-Aided Design (FMCAD), October 17-21, Trento, Italy, 2022.

  8. Rolf Drechsler; Alireza Mahzoon

    Preserving Design Hierarchy Information for Polynomial Formal Verification

    In: IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC). IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC-2022), October 3-5, Patras, Greece, 2022.

  9. Soniya Vijayakumar

    Interpretability in Activation Space Analysis of Transformers: A Focused Survey

    In: AIMLAI' 22 Workshop. ACM International Conference on Information and Knowledge Management (CIKM-2022), October 17-21, Atlanta, Georgia, USA, CEUR Workshop Proceeding, Vol. 3318, CEUR, 2022.

  10. Amos Smith; Jeremy Coffelt; Kai Lingemann

    A Deep Learning Framework for Semantic Segmentation of Underwater Environments

    In: OCEANS 22 Hampton Roads. OCEANS MTS/IEEE Conference (OCEANS-2022), October 17-20, Hampton Roads, VA, USA, IEEE, 10/2022.

Jahr

Mehr Optionen