Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 2022
Alle Filter entfernen
Zeige Ergebnisse 61 bis 70 von 807.

  1. David Steinmann; Matej Zecevic; Devendra Singh Dhami; Kristian Kersting

    Machines Explaining Linear Programs

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2206.07194, Pages 0-10, arXiv, 2022.

  2. Xiaoting Shao; Kristian Kersting

    Gradient-based Counterfactual Explanations using Tractable Probabilistic Models

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2205.07774, Pages 0-10, arXiv, 2022.

  3. Philipp Niemann; Alexandre A. A. de Almeida; Gerhard Dueck; Rolf Drechsler

    Template-based mapping of reversible circuits to IBM quantum computers

    In: Microprocessors and Microsystems: Embedded Hardware Design (MICPRO), Vol. 90, Elsevier, 2022.

  4. Pascal Pieper; Vladimir Herdt; Rolf Drechsler

    Advanced Environment Modeling and Interaction in an Open Source RISC-V Virtual Prototype

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

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

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

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

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

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

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

Jahr