Skip to main content Skip to main navigation

Publications

Displaying results 1571 to 1580 of 14718.

  1. Britta Berens; Joscha Grüger; Carolin Poschen; Konstantin Knorr

    A FHIR Specification to Formalize Cohort Definitions

    In: Studies in Health Technology and Informatics, Vol. 332, Pages 165-169, IOS Press, Niederlande, 10/2025.

  2. Joscha Grüger; Tobias Geyer; Tobias Brix; Michael Storck; Sonja Leson; Laura Bley; Carsten Weishaupt; Ralph Bergmann; Stephan A. Braun

    AI-Driven Decision Support in Oncology: Evaluating Data Readiness for Skin Cancer Treatment

    3/2025.

  3. Martin Kuhn; Joscha Grüger; Christoph Matheja; Andrey Rivkin

    Data Petri Nets meet Probabilistic Programming (Extended version)

    6/2024.

  4. Martin Kuhn; Joscha Grüger; Tobias Geyer; Ralph Bergmann

    Leveraging Taxonomy Similarity for Next Activity Prediction in Patient Treatment

    3/2025.

  5. Patrick Bings; Niklas Kueper; Elsa Andrea Kirchner

    Stay Quiet: Investigating the Effect of Overt Speech on EEG Classification Performance

    In: 2025 IEEE International Conference on Metrology for eXtended Reality, Artificial Intelligence and Neural Engineering (MetroXRAINE). IEEE International Conference on Metrology for Extended Reality, Artificial Intelligence and Neural Engineering (MetroXRAINE-2025), October 22-24, Ancona, Italy, Pages 7-12, IEEE, 11/2025.

  6. Verena Wolf; Christel Baier; Mila Majster-Cederbaum

    Trace Machines for Observing Continuous-Time Markov Chains

    In: Nicht bekannt (Hrsg.). Electronic Notes in Theoretical Computer Science, Vol. 153, No. 2, Pages 259-277, Elsevier, Amsterdam, 5/2006.

  7. Verena Wolf; Christel Baier; Mila Majster-Cederbaum

    Trace Semantics for Stochastic Systems with Nondeterminism

    In: Nicht bekannt (Hrsg.). Electronic Notes in Theoretical Computer Science, Vol. 164, No. 3, Pages 187-204, Elsevier, Amsterdam, 10/2006.

  8. Verena Wolf

    Modelling of Biochemical Reactions by Stochastic Automata Networks

    In: Nicht bekannt (Hrsg.). Electronic Notes in Theoretical Computer Science, Vol. 171, No. 2, Pages 197-208, Elsevier, Amsterdam, 7/2007.

  9. Thomas A. Henzinger; Maria Mateescu; Verena Wolf

    Sliding Window Abstraction for Infinite Markov Chains

    In: Ahmed Bouajjani; Oded Maler. International Conference on Computer Aided Verification. Pages 337-352, ISBN 9783642026584, Springer Berlin Heidelberg, Heidelberg, 6/2009.

  10. Uchechukwu Solomon Onyeabor; Okechukwu Onwuasoigwe; Wilfred Okwudili Okenwa; Thorsten Schaaf; Niels Pinkwart; Felix Balzer

    Exploring user experiences of clinicians engaged with the digital healthcare interventions across the referral and university teaching hospitals in Nigeria: a qualitative study

    In: Frontiers in Digital Health, Vol. 7, PubMed, 5/2025.

Year

More options