Skip to main content Skip to main navigation

Publications

Displaying results 3181 to 3190 of 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. Ahmed Hassan; Niels Pinkwart; Muhammad Shafi

    Serious games to improve social and emotional intelligence in children with autism

    In: Entertainment Computing, Vol. 38, Page 100417, Elsevier, 5/2021.

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

  5. Alexander Dettmann; Malte Langosz; Jonas Eisenmenger; Marc Otto; Sebastian Kasperski; Malte Wirkus; Nayari Lessa

    Ground Interaction Models for Increased Autonomy of Planetary Exploration Systems

    In: 13th EASN International Conference on Innovation in Aviation & Space for opening New Horizons (13th EASN 2023). EASN International Conference on Innovation in Aviation and Space for opening New Horizons, September 5-8, Salerno, Italy, Journal of Physics: Conference Series (JPCS), Vol. 2716, IOP Publishing Ltd, 3/2024.

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

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

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

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

  10. Marc Eisoldt; Marcel Flottmann; Julian Gaal; Steffen Hinderink; Juri Vana; Marc Rothmann; Marco Tassemeier; Thomas Wiemann; Mario Porrmann

    ReconfROS: Running ROS on Reconfigurable SoCs

    In: DroneSE-2021: Drone Systems Engineering. Drone Systems Engineering (DroneSE-2021), located at European Network on High-performance Embedded Architecture and Compilation - HiPEAC 2021, January 18, Budapest, Hungary, ISBN 978-1-4503-8952-5, ACM Digital Library, 2021.

Year

More options