Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 51 to 60 of 6329.

  1. Philipp Niemann; Rolf Drechsler

    Polynomial-Time Formal Verification of Adder Circuits for Multiple-Valued Logic

    In: 52nd International Symposium on Multiple-Valued Logic (ISMVL). IEEE International Symposium on Multiple-Valued Logic (ISMVL-2022), May 18-20, …

  2. Durgesh Haribhau Salunkhe; Guillaume Michel; Shivesh Kumar; Marcello Sanguineti; Damien Chablat

    An efficient combined local and global search strategy for optimization of parallel kinematic mechanisms with joint limits and collision constraints

    In: Mechanism and Machine Theory, Vol. 173, Pages 1-32, Elsevier, 4/2022.

  3. Dominique Mercier; Adriano Lucieri; Mohsin Munir; Andreas Dengel; Sheraz Ahmed

    PPML-TSA: A modular privacy-preserving time series classification framework

    In: Software Impacts (SIMPA), Vol. 1, Pages 1-10, Elsevier, 4/2022.

  4. Christian Mandel; Kathrin Stich; Serge Autexier; Christoph Lüth; Ariane Ziehn; Karin Hochbaum; Rolf Dembinski; Christoph Int-Veen

    Using Gated Recurrent Unit Networks for the Prediction of Hemodynamic and Pulmonary Decompensation

    In: Proceedings of the 44th. International Conference of the IEEE Engineering in Medicine and Biology Society. International Conference of the IEEE …

  5. Marko Jankovic

    Characterization and Capture of Space Debris Objects Using Domain Ontology and Optimal Control

    PhD-Thesis, Universität Bremen, Universität Bremen, Bremen, Germany, 4/2022.

  6. Attila Csaba Marosi; Márk Emodi; Ákos Hajnal; Róbert Lovas; Tamás Kiss; Valerie Poser; Jibinraj Antony; Simon Bergweiler; Hamed Hamzeh; James Deslauriers; József Kovács

    Interoperable Data Analytics Reference Architectures Empowering Digital-Twin-Aided Manufacturing

    In: Future Internet, Vol. 14, No. 4, Page 114, Future Internet, 4/2022.

  7. Vincent van Rheden; Thomas Grah; Alexander Meschtscherjakov; Rakesh Patibanda; Wanyu Liu; Florian Daiber; Elise van den Hoven; Florian 'Floyd' Mueller

    Out of Your Mind!? Embodied Interaction in Sports

    In: Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems. ACM International Conference on Human Factors in Computing …

  8. Jonas Rebstadt; Henrik Kortum-Landwehr; Laura Gravemeier; Birgid Eberhardt; Oliver Thomas

    Non-Discrimination-by-Design: Handlungsempfehlungen für die Entwicklung von vertrauenswürdigen KI-Services

    In: HMD - Praxis der Wirtschaftsinformatik (HMD), Pages 1-17, Springer, 2022.

  9. Henrik Kortum-Landwehr; Nele Pannenborg; Oliver Thomas

    Einsatz Künstlicher Intelligenz entlang des Kreditlebenszyklus: eine Analyse von Anwendungsszenarien, Datenquellen, Methoden und Herausforderungen

    In: Hanz-Gert Penzel; Rajola Federico; Winter Rpbert (Hrsg.). Banking and Information Technology (BIT), Vol. 23, No. 1, Pages 13-32, Ibi Research …

  10. Alexander Muenzberg; Christian Troost; Daniel Martini; Francisco Mendoza; Rajiv Srivastava; Thomas Berger; Liv Seuring; Nils Reinosch; Thilo Streck; Ansgar Bernardi

    Machine Learning on Simulated and Real Farm Data based on an Ontology-Controlled Data Infrastructure

    In: K. Hinkelmann; A. Martin (Hrsg.). Proceedings of the AAAI 2022 Spring Symposium on Machine Learning and Knowledge Engineering for Hybrid …

Year

More options