Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 2022
Remove all filters
Displaying results 81 to 90 of 807.

  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, Dallas, USA, 2022.

  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 Engineering in Medicine and Biology Society (EMBC-2022), Biomedical Engineering transforming the provision of healthcare: promoting wellness through personalized & predictable provision at the point of care, July 11-15, Glasgow, United Kingdom, IEEE Xplore, 2022.

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

  8. 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 GmbH, 2022.

  9. 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 Intelligence. AAAI Spring Symposium on Machine Learning and Knowledge Engineering for Hybrid Intelligence (AAAI-MAKE-2022), March 21-23, Palo Alto, California, USA, AAAI Spring Symposium Series, AAAI, 2022.

  10. Supreeth Venkatesh; Antonio Macaluso; Matthias Klusch

    BILP-Q: Quantum Coalition Structure Generation

    In: Proceedings of 19th ACM International Conference on Computing Frontiers. ACM International Conference on Computing Frontiers (CF-2022), May 17-19, Turin, Italy, ACM, 2022.

Year