Skip to main content Skip to main navigation

Publications

Displaying results 691 to 700 of 3939.

  1. Sören Tempel; Tobias Brandt; Christoph Lüth; Rolf Drechsler

    Symbolic Execution of Binary Code based on Formal ISA Semantics

    In: 4th International KLEE Workshop on Symbolic Execution. KLEE Workshop on Symbolic Execution, April 14-16, Lisbon, Portugal, 2024.

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

    Why less is sometimes more -- Using Boolean literals to solve 2048

    In: 16th International Workshop on Boolean Problems (IWSBP). International Workshop on Boolean Problems (IWSBP-2024), September 19-20, Bremen, Germany, 2024.

  3. Maurice Rekrut; Johannes Ihl; Tobias Jungbluth

    Electrode Reduction for EEG-based Imagined Speech BCI Applications

    In: 5th International Neuroergonomics Conference. Neuroergonomics Conference (NEC-2024), July 8-12, Bordeaux, France, Frontiers in Neuroergonomics, 2024.

  4. Ioannis Reppas; Meghdad Mirabi; Leila Fathi; Carsten Binnig; Anton Dignös; Johann Gamper

    Parallel Processing of Temporal Anti-Joins in Memory

    In: Proceedings of the 29th International Conference on Database Systems for Advanced Applications (DASFAA). International Conference on Database Systems for Advanced Applications (DASFAA-2024), July 2-5, Gifu, Japan, Springer, 2024.

  5. René Klaus Nikiel; Meghdad Mirabi; Carsten Binnig

    TrustDDL: A Privacy-Preserving Byzantine-Robust Distributed Deep Learning Framework

    In: 2024 54rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2024). Workshop on Dependable and Secure Machine Learning (DSML-2024), located at DSN 2024, June 24, Brisbane, Queensland, Australia, ISBN 979-8-3503-9572-3, IEEE, 2024.

  6. Oliver Ludwig; Joshua Berger; Stephan Becker; Wolfgang Kemmler; Michael Fröhlich

    The Impact of Whole-Body Electromyostimulation on Body Posture and Trunk Muscle Strength in Untrained Persons

    In: Kohei Watanabe (Hrsg.). Frontiers in Physiology, Vol. 10, Page 1020, Frontiers Media SA, 8/2019.

  7. Kevin Baum; Marija Slavkovik

    Aggregation Problems in Machine Ethics and AI Alignment

    In: Proceedings of the AAAI/ACM Conference on AI, Ethics, and Society. AAAI/ACM Conference on Artificial Intelligence, Ethics, and Society (AIES-2025), AAAI/ACM, 2025.

  8. Kevin Baum

    Utilitarismus und das Problem kollektiven Handelns

    In: Vuko Andrić; Bernward Gesang (Hrsg.). Handbuch Utilitarismus. Pages 163-176, Springer-Verlag, 2026.

  9. Kevin Baum

    Disentangling AI Alignment: A Structured Taxonomy Beyond Safety and Ethics

    In: AISoLA 2024. International Conference on Bridging the Gap between AI and Reality (AiSoLA-2024), Springer NAture Switzerland, 2025.

  10. Joshua Berger; Michael Fröhlich; Wolfgang Kemmler

    WB-EMS Market Development—Perspectives and Threats

    In: International Journal of Environmental Research and Public Health, Vol. 19, No. 21, Page 14211, MDPI, Switzerland, 10/2022.

Year

More options