Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1491 bis 1500 von 14517.

  1. Kevin Baum; Biewer Sebastian; Hermanns Holger; Hetmank Sven; Langer Markus; Lauber-Rönsberg Anne; Sterz Sarah

    Taming the AI Monster: Monitoring of Individual Fairness for Effective Human Oversight

    In: Thomas Neele; Anton Wijs (Hrsg.). Model Checking Software - 30th International Symposium - Proceedings. International Symposium on Model Checking Software (SPIN-2024), April 8-9, Luxembourg City, Luxembourg, Pages 3-25, Lecture Notes in Computer Science (LNCS), Vol. 14624, Springer Nature, Switzerland, 10/2024.

  2. Mario Klostermeier; Leonhard Kunz; William Motsch; Borys Ioshchikhes; Christiane Plociennik; Martin Ruskowski

    Energy Load Profile Analysis and Application for Production Simulation and Scheduling using Energy Load Disaggregation

    In: Maike Klein; Daniel Krupka; Cornelia Winter; Martin Gergeleit; Ludger Martin (Hrsg.). INFORMATIK 2024. Pages 1079-1097, ISBN 978-3-88579-746-3, Gesellschaft für Informatik e.V. Bonn, 2024.

  3. Amelie Gyrard; Philip Gribbon; Rada Hussein; Somayeh Abedian; Luis Marti Bonmati; Gibi Luisa Caborner; George Manias; Gabriel Danciu; Stefano Dalmiani; Serge Autexier; Rick van Nuland; Mario Jendrosse; Ioannis Avramidis; Eva Garcia Alvarez

    Synergies Among Health Data Projects with Cancer Use Cases based on Health Standards

    In: John Mantas; Arie Hasman (Hrsg.). Proceedings 34th Medical Informatics Europe Conference (MIE 2024). Medical Informatics Europe Congress (MIE-2024), Athens, Greece, Pages 1292-1296, Studies in Health Technol, Vol. 316, IOS Press, 8/2024.

  4. Gerrit Großmann; Sumantrak Mukherjee; Sebastian Vollmer

    Peculiarities of Counterfactual Point Process Generation

    In: Jianwu Wang; Sahara Ali; Yanan Xin (Hrsg.). 32nd ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. ACM SIGSPATIAL International Workshop on Spatiotemporal Causal Analysis (STCausal-2024), 1st ACM SIGSPATIAL International Workshop on Spatiotemporal Causal Analysis, located at 32nd ACM SIGSPATIAL, October 29 - November 1, Atlanta, GA, USA, ISBN 979-8-4007-1154-1/24/10, Association for Computing Machinery, New York, NY, United States, 11/2024.

  5. Alberto Acebes; Serge Autexier; Marjolein Brusse-Keizer; Agni Delvinioti; Thrasyvoulos Giannakopoulos; Christiane Grünloh; Florian Hahn; Rain Jögi; Christos Kalloniatis; Konstantina Kostopoulou; Sofoklis Kyriazakos; Kostas Lamprinoudakis; Jakob Lehmann; Danae Lekka; Anke Lenferink; Federico Mazzone; Guilio Pagliari; Stefano Patarnello; Aristodemos Pnevmatikakis; Jarno Raid; Monique Tabak; Job Van Der Palen; Gesa Wimberg

    RE-SAMPLE Platform for training and use of COPD exacerbation risk prediction models

    In: European Respiratory Journal (ERJ), Vol. 64, No. suppl 68, Page 1, ERS, 11/2024.

  6. Serge Autexier

    On Using Large Language Models Pre-trained on Digital Twins as Oracles to Foster the Use of Formal Methods in Practice

    In: Tiziana Margaria; Bernhard Steffen (Hrsg.). 12th International Symposium Leveraging Applications of Formal Methods, Verification and Validation, (ISOLA 2024),Crete, Greece, October 27–31, 2024, Part IV. International Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISOLA-2024), October 27-31, Heraklion, Greece, LNCS, Vol. 15222, Springer Cham, 10/2024.

  7. Sahar Abdelnabi; Amr Gomaa; Sarath Sivaprasad; Lea Schönherr; Mario Fritz

    Cooperation, Competition, and Maliciousness: LLM-Stakeholders Interactive Negotiation

    In: Neural Information Processing Systems (NeurIPS). Neural Information Processing Systems (NeurIPS-2024), located at The Thirty-eight Conference on Neural Information Processing Systems Datasets and Benchmarks Track, December 10-15, Vancouver, British Columbia, Canada, NeurIPS, 2024.

  8. Felix Goldau

    Adaptive Degrees of Freedom for Shared Control of Assistive Robots

    PhD-Thesis, Universität Bremen, Bremen, 10/2024.

  9. Felix Goldau; Max Pascher; Annalies Baumeister; Patrizia and Tolle; Jens Gerken; Udo Frese

    Adaptive Control in Assistive Application - A Study Evaluating Shared Control by Users with Limited Upper Limb Mobility

    In: 2024 33nd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN). IEEE International Conference on Robot and Human Interactive Communication (RO-MAN-2024), 33nd IEEE International Conference on Robot and Human Interactive Communication, August 26-30, Pasadena, CA, USA, IEEE, 2024.

  10. Benedikt Veith; Christoph Fischer; Florian Herrmann; Hans D. Schotten

    Smart Contract Design for Adaptive SLA Management in Autonomous Service Chains

    In: 2024 IEEE Globecom Workshops (GC Wkshps): BlockSecSDN: Blockchain for Secure Software-defined Networking in Smart Communities. IEEE Global Communications Conference Workshops (Globeccom Wkshps-2024), December 8-12, Capetown, South Africa, IEEE, 12/2024.

Jahr

Mehr Optionen