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 41 to 50 of 802.
  1. Niklas Bruns; Vladimir Herdt; Daniel Große; Rolf Drechsler

    Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing

    In: Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2022), June 6-8, Irvine, USA, 2022.

  2. Christina Plump; Bernhard J. Berger; Rolf Drechsler

    Adapting mutation and recombination operators to range-aware relations in real-world application data

    In: The Genetic and Evolutionary Computation Conference (GECCO Companion). Genetic and Evolutionary Computation Conference (GECCO-2022), July 9-13, …

  3. 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, …

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

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

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

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

  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 …