Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 981 bis 990 von 15067.

  1. Luca Müller; Rolf Drechsler

    Polynomial formal verification parameterized by cutwidth properties of a circuit using Boolean satisfiability

    In: Microprocessors and Microsystems (MICPRO), Vol. 118, Elsevier, 2025.

  2. Rupert Mitchell; Kristian Kersting

    Multipole Semantic Attention: A Fast Approximation of Softmax Attention for Pretraining

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2509.10406, Pages 1-14, Computing Research Repository, 2025.

  3. Gopika Sudhakaran; Hikaru Shindo; Patrick Schramowski; Simone Schaub-Meyer; Kristian Kersting; Stefan Schroth

    ART: Adaptive Relation Tuning for Generalized Relation Prediction

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2507.23543, Pages 1-17, Computing Research Repository, 2025.

  4. Simon Kohaut; Felix Divo; Navid Hamid; Benedict Flade; Julian Eggert; Devendra Singh Dhami; Kristian Kersting

    The Constitutional Controller: Doubt-Calibrated Steering of Compliant Agents

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2507.15478, Pages 1-11, Computing Research Repository, 2025.

  5. Felix Friedrich; Thiemo Ganesha Welsch; Manuel Brack; Patrick Schramowski; Kristian Kersting

    Beyond Overcorrection: Evaluating Diversity in T2I Models with DivBench

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2507.03015, Pages 1-7, Computing Research Repository, 2025.

  6. Yasser Hamidullah; Shakib Yazdani; Cennet Oguz; Cristina España Bonnet; Josef van Genabith

    SONAR-SLT: Multilingual Sign Language Translation via Language-Agnostic Sentence Embedding Supervision

    In: Proceedings of the Tenth Conference on Machine Translation. Conference on Machine Translation (WMT-2025), November 8-9, Suzhou, China, Association for Computational Linguistics, 2025.

  7. Gerhard Sonnenberg; Peter Stein; Fabio Espinosa; Daniel Porta

    Queryable AAS Graphs for AI Agents: An Event-Driven Knowledge Graph Integration for AAS Environments

    In: IEEE International Conference on Emerging Technologies and Factory Automation. IEEE International Conference on Emerging Technologies and Factory Automation (ETFA-2025), IEEE, 2025.

  8. Florian Peter Busch; Moritz Willig; Florian Guldan; Kristian Kersting; Devendra Singh Dhami

    Tagged for Direction: Pinning Down Causal Edge Directions with Precision

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2506.19459, Pages 1-28, Computing Research Repository, 2025.

  9. Ruben Härle; Felix Friedrich; Manuel Brack; Stephan Wäldchen; Björn Deiseroth; Patrick Schramowski; Kristian Kersting

    Measuring and Guiding Monosemanticity

    In: Computing Research Repository eprint Journal (CoRR), Vol. abs/2506.19382, Pages 1-37, Computing Research Repository, 2025.

  10. Julia Habenicht; Marc Tabie; Mathias Trampler; Elsa Andrea Kirchner

    Comparison of two upper limb active exoskeletons for simulating microgravity by analyzing muscle activity in dynamic arm movements

    In: 2025 3rd International Conference on Integrated Systems in Medical Technologies (ISMT) - Conference Proceedings. International Conference on Integrated Systems in Medical Technologies (ISMT-2025), December 4-5, Erlangen, Germany, IEEE Xplore, 2025.

Jahr

Mehr Optionen