Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 111 bis 120 von 599.
  1. Ekaterina Loginova; Stalin Varanasi; Günter Neumann

    Towards End-to-End Multilingual Question Answering

    In: Information Systems Frontiers (ISF), Vol. 22, Pages 1-14, Springer, 3/2020.

  2. Vladimir Herdt; Daniel Große; Rolf Drechsler

    Fuzz-Testing RISC-V Simulators

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2020), March 19-20, Stuttgart, Germany, 2020.

  3. Rahel Flechtner; Katharina Lorenz; Gesche Joost

    Designing a Wearable Soft-Robotic Orthosis: A Body-Centered Approach

    In: Proceedings of the Fourteenth International Conference on Tangible, Embedded, and Embodied Interaction. International Conference on Tangible, Embedded and Embodied Interaction (TEI-2020), Future Bodies, Future Technologies, February 9-12, Sydney, OZ, Australia, Pages 863-875, ACM, 2020.

  4. Thorsten Schoormann; Simon Hagen; Jonas Brinker; Sebastian Wildau; Oliver Thomas; Ralf Knackstedt

    Towards Aligning Business Models with Business Processes: A Tool-based Approach

    In: Dominik Bork; Dimitris Karagiannis; Heinrich C. Mayr (Hrsg.). Modellierung 2020. Fachtagung "Modellierung" der Gesellschaft für Informatik (GI) (MoHoL-2020), February 19-21, Vienna, Austria, Pages 12-27, ISBN 978-3-88579-696-1, Gesellschaft für Informatik e.V. Bonn, 2020.

  5. Vladimir Herdt; Daniel Große; Jonas Wloka; Tim Güneysu; Rolf Drechsler

    Verification of Embedded Binaries using Coverage-guided Fuzzing with SystemC-based Virtual Prototypes

    In: 30th ACM Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2020), Peking, China, 2020.

  6. Early Verification of ISA Extension Specifications Using Deep Reinforcement Learning

    In: 30th ACM Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2020), Beijing, China, 2020.

  7. Vladimir Herdt; Daniel Große; Pascal Pieper; Rolf Drechsler

    RISC-V based Virtual Prototype: An Extensible and Configurable Platform for the System-level

    In: Journal of Systems Architecture: Embedded Software Design (JSA), Pages o.A-o.A. Elsevier, 2020.

  8. Filip Fatz; Philip Hake; Peter Fettke

    Blockchain-based Decentralized Validation of Tax Processes

    In: Judith Michael; Dominik Bork (Hrsg.). Companion Proceedings of Modellierung 2020 Short, Workshop and Tools & Demo Papers co-located with Modellierung 2020. International Workshop on Conceptual Modeling for Distributed Ledger Technologies (MOD-DLT-2020), located at Modellierung 2020, Vienna, Austria, Pages 48-50, CEUR-WS, Vol. 2542, CEUR Workshop Proceedings, 2/2020.

  9. Adrian Rebmann; Alexander Beuther; Steffen Schuhmann; Peter Fettke

    Hands-on Process Discovery with Python - Utilizing Jupyter Notebook for the Digital Assistance in Higher Education

    In: Judith Michael; Dominik Bork (Hrsg.). Modellierung 2020 Short, Workshop and Tools & Demo Papers. Fachtagung "Modellierung" der Gesellschaft für Informatik (GI) (MoHoL-2020), Modellierung in der Hochschullehre, located at Modellierung 2020, February 19-21, Vienna, Austria, Pages 65-76, CEUR, 2020.

  10. Mathias Jenny; Niels Will; Gerd Dellbrügge; Antonia Meißner; Anna Lena Nowak; Andreas Kruse; Sebastian Glende

    Perspektiven der Künstlichen Intelligenz für den Einzelhandel in Deutschland

    Studie im Auftrag des Bundesministeriums für Wirtschaft und Energie, 1/2020.