Publications | Neuro-Mechanistic Modeling https://mosi.uni-saarland.de/publications/ Publications Hugoen-usSun, 01 Nov 2026 00:00:00 +0000 https://mosi.uni-saarland.de/media/icon_hu_79d10899b013012f.png Publications https://mosi.uni-saarland.de/publications/ Assay-Based Machine Learning: Rethinking Evaluation in Drug Discovery https://mosi.uni-saarland.de/publications/gross-assay-based-machine-learning-rethinking-2026/ Sun, 01 Nov 2026 00:00:00 +0000 https://mosi.uni-saarland.de/publications/gross-assay-based-machine-learning-rethinking-2026/ How PC-based Methods Err: Towards Better Reporting of Assumption Violations and Small Sample Errors https://mosi.uni-saarland.de/publications/faltenbacher-how-pc-based-methods-err-2026/ Sat, 01 Aug 2026 00:00:00 +0000 https://mosi.uni-saarland.de/publications/faltenbacher-how-pc-based-methods-err-2026/ Chaotic and complex dynamics expose the limits of counterfactual reasoning https://mosi.uni-saarland.de/publications/aalaila-chaotic-and-complex-dynamics-2026/ Mon, 01 Jun 2026 00:00:00 +0000 https://mosi.uni-saarland.de/publications/aalaila-chaotic-and-complex-dynamics-2026/ Evaluation beyond goodness of fit: Quantifying biophysical alignment of AI models for kinase-centric drug discovery https://mosi.uni-saarland.de/publications/gross-evaluation-beyond-goodness-of-2026/ Mon, 01 Jun 2026 00:00:00 +0000 https://mosi.uni-saarland.de/publications/gross-evaluation-beyond-goodness-of-2026/ Per-Domain Generalizing Policies: On Learning Efficient and Robust Q-Value Functions https://mosi.uni-saarland.de/publications/muller-per-domain-generalizing-policies-on-2026/ Mon, 01 Jun 2026 00:00:00 +0000 https://mosi.uni-saarland.de/publications/muller-per-domain-generalizing-policies-on-2026/ Causal inference on process graphs: Causal structure and effect identification https://mosi.uni-saarland.de/publications/reiter-causal-inference-on-process-2026/ Fri, 01 May 2026 00:00:00 +0000 https://mosi.uni-saarland.de/publications/reiter-causal-inference-on-process-2026/ AI CHAOS! 2nd Workshop on the Challenges for Human Oversight of AI Systems https://mosi.uni-saarland.de/publications/khadar-aichaos-2-nd-workshop-2026/ Wed, 01 Apr 2026 00:00:00 +0000 https://mosi.uni-saarland.de/publications/khadar-aichaos-2-nd-workshop-2026/ Customkinfraglib: Filtering the kinase-focused fragmentation library https://mosi.uni-saarland.de/publications/linhkramer-customkinfraglib-filtering-the-kinase-focused-2026/ Sun, 01 Mar 2026 00:00:00 +0000 https://mosi.uni-saarland.de/publications/linhkramer-customkinfraglib-filtering-the-kinase-focused-2026/ B-cos GNNs: Faithful Explanations through Dynamic Linearity https://mosi.uni-saarland.de/publications/gross-b-cos-gn-ns-faithful-explanations-2026/ Thu, 01 Jan 2026 00:00:00 +0000 https://mosi.uni-saarland.de/publications/gross-b-cos-gn-ns-faithful-explanations-2026/ PGTG: Procedurally Generated Grid-Based Traffic Gym https://mosi.uni-saarland.de/publications/meyer-pgtg-procedurally-generated-grid-based-2026/ Thu, 01 Jan 2026 00:00:00 +0000 https://mosi.uni-saarland.de/publications/meyer-pgtg-procedurally-generated-grid-based-2026/ Toward a General Framework for Evaluating Per-Domain Generalization Using LLMs, Theorem Provers, and Statistical Model Checking https://mosi.uni-saarland.de/publications/muller-toward-a-general-framework-2026/ Thu, 01 Jan 2026 00:00:00 +0000 https://mosi.uni-saarland.de/publications/muller-toward-a-general-framework-2026/ Utilitarismus und das Problem kollektiven Handelns https://mosi.uni-saarland.de/publications/baum-utilitarismus-und-das-problem-2026/ Thu, 01 Jan 2026 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-utilitarismus-und-das-problem-2026/ What are AI systems? Rethinking the core definition in the EU AI Act https://mosi.uni-saarland.de/publications/meinel-what-are-ai-systems-2026/ Thu, 01 Jan 2026 00:00:00 +0000 https://mosi.uni-saarland.de/publications/meinel-what-are-ai-systems-2026/ Learning Per-Domain Generalizing Policies Using Offline Reinforcement Learning https://mosi.uni-saarland.de/publications/muller-learning-per-domain-generalizing-policies-2025/ Sat, 01 Nov 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/muller-learning-per-domain-generalizing-policies-2025/ The Journey of Data: Lessons Learned in Modeling Kinase Affinity, Selectivity, and Resistance [Article v1. 0] https://mosi.uni-saarland.de/publications/castro-the-journey-of-data-2025/ Sat, 01 Nov 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/castro-the-journey-of-data-2025/ PyDSMC: Statistical Model Checking for Neural Agents Using the Gymnasium Interface https://mosi.uni-saarland.de/publications/gros-py-dsmc-statistical-model-checking-2025/ Wed, 01 Oct 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/gros-py-dsmc-statistical-model-checking-2025/ Visual Analysis of Action Policy Behavior: A Case Study in Grid-World Driving https://mosi.uni-saarland.de/publications/gros-visual-analysis-of-action-2025/ Wed, 01 Oct 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/gros-visual-analysis-of-action-2025/ Outcomes Addressed by Whole-Body Electromyostimulation Trials in Sportspeople and Athletes—An Evidence Map Summarizing and Categorizing Current Findings https://mosi.uni-saarland.de/publications/reinhardt-outcomes-addressed-by-whole-body-2025/ Mon, 01 Sep 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/reinhardt-outcomes-addressed-by-whole-body-2025/ Using Action-Policy Testing in RL to Reduce the Number of Bugs https://mosi.uni-saarland.de/publications/eniser-using-action-policy-testing-in-2025/ Fri, 01 Aug 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/eniser-using-action-policy-testing-in-2025/ Sortability of Time Series Data https://mosi.uni-saarland.de/publications/lohse-sortability-of-time-series-2025/ Tue, 01 Jul 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/lohse-sortability-of-time-series-2025/ Structural Causal Bottleneck Models https://mosi.uni-saarland.de/publications/bing-structural-causal-bottleneck-models-2025/ Sun, 01 Jun 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/bing-structural-causal-bottleneck-models-2025/ Reference values for static posturography of sportive and healthy adults aged 18-30 years https://mosi.uni-saarland.de/publications/becker-reference-values-for-static-2025/ Tue, 01 Apr 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/becker-reference-values-for-static-2025/ Influence of WB-EMS on strength endurance parameters and subjectively perceived back pain: A multicentre study https://mosi.uni-saarland.de/publications/berger-influence-of-wbems-on-2025/ Sat, 01 Mar 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/berger-influence-of-wbems-on-2025/ A Roadmap for Responsible Robotics: Promoting Human Agency and Collaborative Efforts https://mosi.uni-saarland.de/publications/araizaillan-a-roadmap-for-responsible-2025/ Wed, 01 Jan 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/araizaillan-a-roadmap-for-responsible-2025/ Aggregation Problems in Machine Ethics and AI Alignment https://mosi.uni-saarland.de/publications/baum-aggregation-problems-in-machine-2025/ Wed, 01 Jan 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-aggregation-problems-in-machine-2025/ Bridging the Gap Between AI Planning and Reinforcement Learning https://mosi.uni-saarland.de/publications/ajanovi-bridging-the-gap-between-2025/ Wed, 01 Jan 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/ajanovi-bridging-the-gap-between-2025/ Disentangling AI Alignment: A Structured Taxonomy Beyond Safety and Ethics https://mosi.uni-saarland.de/publications/baum-disentangling-ai-alignment-a-2025/ Wed, 01 Jan 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-disentangling-ai-alignment-a-2025/ How do we assess the trustworthiness of AI? Introducing the trustworthiness assessment model (TrAM) https://mosi.uni-saarland.de/publications/schlicker-how-do-we-assess-2025/ Wed, 01 Jan 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/schlicker-how-do-we-assess-2025/ Justifications for Democratizing AI Alignment and Their Prospects https://mosi.uni-saarland.de/publications/baum-justifications-for-democratizing-ai-2025/ Wed, 01 Jan 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-justifications-for-democratizing-ai-2025/ Let’s Talk AI with philosophy and computer science expert Kevin Baum https://mosi.uni-saarland.de/publications/baum-lets-talk-ai-with-2025/ Wed, 01 Jan 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-lets-talk-ai-with-2025/ On the Complexities of Testing for Compliance with Human Oversight Requirements in AI Regulation https://mosi.uni-saarland.de/publications/langer-on-the-complexities-of-2025/ Wed, 01 Jan 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/langer-on-the-complexities-of-2025/ Per-Domain Generalizing Policies: On Validation Instances and Scaling Behavior https://mosi.uni-saarland.de/publications/gros-per-domain-generalizing-policies-on-2025/ Wed, 01 Jan 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/gros-per-domain-generalizing-policies-on-2025/ Responsible and Trusted AI: An Interdisciplinary Perspective (2025) https://mosi.uni-saarland.de/publications/kerstan-responsible-and-trusted-ai-2025/ Wed, 01 Jan 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/kerstan-responsible-and-trusted-ai-2025/ Separation-Based Distance Measures for Causal Graphs https://mosi.uni-saarland.de/publications/wahl-separation-based-distance-measures-for-2025/ Wed, 01 Jan 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/wahl-separation-based-distance-measures-for-2025/ The Landscape of Causal Discovery Data: Grounding Causal Discovery in Real-World Applications https://mosi.uni-saarland.de/publications/brouillard-the-landscape-of-causal-2025/ Wed, 01 Jan 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/brouillard-the-landscape-of-causal-2025/ Unitless Unrestricted Markov-Consistent SCM Generation: Better Benchmark Datasets for Causal Discovery https://mosi.uni-saarland.de/publications/herman-unitless-unrestricted-markov-consistent-scm-2025/ Wed, 01 Jan 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/herman-unitless-unrestricted-markov-consistent-scm-2025/ Counterfactual Explanations for MITL Violations https://mosi.uni-saarland.de/publications/finkbeiner-counterfactual-explanations-for-mitl-2024/ Sun, 01 Dec 2024 00:00:00 +0000 https://mosi.uni-saarland.de/publications/finkbeiner-counterfactual-explanations-for-mitl-2024/ Effects of a symptom-titrated exercise program on fatigue and quality of life in people with post-COVID condition–a randomized controlled trial https://mosi.uni-saarland.de/publications/barz-effects-of-a-symptom-titrated-2024/ Sun, 01 Dec 2024 00:00:00 +0000 https://mosi.uni-saarland.de/publications/barz-effects-of-a-symptom-titrated-2024/ MARS: Multi-sample Allocation through Russian roulette and Splitting https://mosi.uni-saarland.de/publications/meyer-mars-multi-sample-allocation-through-2024/ Sun, 01 Dec 2024 00:00:00 +0000 https://mosi.uni-saarland.de/publications/meyer-mars-multi-sample-allocation-through-2024/ Responsible and Trusted AI: An Interdisciplinary Perspective https://mosi.uni-saarland.de/publications/helfer-responsible-and-trusted-ai-2024/ Sun, 01 Dec 2024 00:00:00 +0000 https://mosi.uni-saarland.de/publications/helfer-responsible-and-trusted-ai-2024/ Transparent Transparency Developing a Scheme for Understanding Transparency Requirements https://mosi.uni-saarland.de/publications/baum-transparent-transparency-developing-a-2024/ Sun, 01 Dec 2024 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-transparent-transparency-developing-a-2024/ Effective Human Oversight of AI-Based Systems: A Signal Detection Perspective on the Detection of Inaccurate and Unfair Outputs https://mosi.uni-saarland.de/publications/langer-effective-human-oversight-of-2024/ Fri, 01 Nov 2024 00:00:00 +0000 https://mosi.uni-saarland.de/publications/langer-effective-human-oversight-of-2024/ Response: Commentary: Revised contraindications for the use of non-medical WB-electromyostimulation. Evidence-based German consensus recommendations” https://mosi.uni-saarland.de/publications/kemmler-response-commentary-revised-contraindications-2024/ Tue, 01 Oct 2024 00:00:00 +0000 https://mosi.uni-saarland.de/publications/kemmler-response-commentary-revised-contraindications-2024/ Taming the AI Monster: Monitoring of Individual Fairness for Effective Human Oversight https://mosi.uni-saarland.de/publications/baum-taming-the-ai-monster-2024/ Tue, 01 Oct 2024 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-taming-the-ai-monster-2024/ Acting for the Right Reasons: Creating Reason-Sensitive Artificial Moral Agents https://mosi.uni-saarland.de/publications/baum-acting-for-the-right-2024/ Sun, 01 Sep 2024 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-acting-for-the-right-2024/ Motion Primitives as the Action Space of Deep Q-Learning for Planning in Autonomous Driving https://mosi.uni-saarland.de/publications/schneider-motion-primitives-as-the-2024/ Sun, 01 Sep 2024 00:00:00 +0000 https://mosi.uni-saarland.de/publications/schneider-motion-primitives-as-the-2024/ Assessing the Impact of Neuromuscular Electrical Stimulation-Based Fingerboard Training versus Conventional Fingerboard Training on Finger Flexor Endurance in Intermediate to Advanced Sports Climbers: A Randomized Controlled Study https://mosi.uni-saarland.de/publications/dindorf-assessing-the-impact-of-2024/ Sat, 01 Jun 2024 00:00:00 +0000 https://mosi.uni-saarland.de/publications/dindorf-assessing-the-impact-of-2024/ Guided docking as a data generation approach facilitates structure-based machine learning on kinases https://mosi.uni-saarland.de/publications/backenkohler-guided-docking-as-a-2024/ Wed, 01 May 2024 00:00:00 +0000 https://mosi.uni-saarland.de/publications/backenkohler-guided-docking-as-a-2024/ Identifying Linearly-Mixed Causal Representations from Multi-Node Interventions https://mosi.uni-saarland.de/publications/bing-identifying-linearly-mixed-causal-representations-2024/ Mon, 01 Apr 2024 00:00:00 +0000 https://mosi.uni-saarland.de/publications/bing-identifying-linearly-mixed-causal-representations-2024/ Revised contraindications for the use of non-medical WB-electromyostimulation. Evidence-based German consensus recommendations https://mosi.uni-saarland.de/publications/stengel-revised-contraindications-for-the-2024/ Mon, 01 Apr 2024 00:00:00 +0000 https://mosi.uni-saarland.de/publications/stengel-revised-contraindications-for-the-2024/ Software doping analysis for human oversight https://mosi.uni-saarland.de/publications/biewer-software-doping-analysis-for-2024/ Mon, 01 Apr 2024 00:00:00 +0000 https://mosi.uni-saarland.de/publications/biewer-software-doping-analysis-for-2024/ Causal Inference for Spatial Data Analytics (Dagstuhl Seminar 24202) https://mosi.uni-saarland.de/publications/tomko-causal-inference-for-spatial-2024/ Mon, 01 Jan 2024 00:00:00 +0000 https://mosi.uni-saarland.de/publications/tomko-causal-inference-for-spatial-2024/ Comparing State-of-the-art Graph Neural Networks and Transformers for General Policy Learning https://mosi.uni-saarland.de/publications/muller-comparing-state-of-the-art-graph-neural-2024/ Mon, 01 Jan 2024 00:00:00 +0000 https://mosi.uni-saarland.de/publications/muller-comparing-state-of-the-art-graph-neural-2024/ Enhancing GNNs with Architecture-Agnostic Graph Transformations: A Systematic Analysis https://mosi.uni-saarland.de/publications/li-enhancing-gn-ns-with-architecture-agnostic-2024/ Mon, 01 Jan 2024 00:00:00 +0000 https://mosi.uni-saarland.de/publications/li-enhancing-gn-ns-with-architecture-agnostic-2024/ On the Quest for Effectiveness in Human Oversight: Interdisciplinary Perspectives https://mosi.uni-saarland.de/publications/sterz-on-the-quest-for-2024/ Mon, 01 Jan 2024 00:00:00 +0000 https://mosi.uni-saarland.de/publications/sterz-on-the-quest-for-2024/ Safe Reinforcement Learning Through Regret and State Restorations in Evaluation Stages https://mosi.uni-saarland.de/publications/gros-safe-reinforcement-learning-through-2024/ Mon, 01 Jan 2024 00:00:00 +0000 https://mosi.uni-saarland.de/publications/gros-safe-reinforcement-learning-through-2024/ Structural activity prediction models recover known binding modes (Poster abstract) https://mosi.uni-saarland.de/publications/backenkohler-structural-activity-prediction-models-2024/ Mon, 01 Jan 2024 00:00:00 +0000 https://mosi.uni-saarland.de/publications/backenkohler-structural-activity-prediction-models-2024/ DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning--Extended Version https://mosi.uni-saarland.de/publications/gros-dsmc-evaluation-stages-fostering-2023/ Sun, 01 Oct 2023 00:00:00 +0000 https://mosi.uni-saarland.de/publications/gros-dsmc-evaluation-stages-fostering-2023/ Influence of a long-term WB-EMS intervention on parameters of body composition and physical performance among individuals of different age decades between 19 and 81 years https://mosi.uni-saarland.de/publications/berger-influence-of-a-long-term-2023/ Tue, 01 Aug 2023 00:00:00 +0000 https://mosi.uni-saarland.de/publications/berger-influence-of-a-long-term-2023/ Neuro-explicit semantic segmentation of the diffusion cloud chamber https://mosi.uni-saarland.de/publications/muller-neuro-explicit-semantic-segmentation-of-2023/ Thu, 01 Jun 2023 00:00:00 +0000 https://mosi.uni-saarland.de/publications/muller-neuro-explicit-semantic-segmentation-of-2023/ Vector Causal Inference between Two Groups of Variables https://mosi.uni-saarland.de/publications/wahl-vector-causal-inference-between-2023/ Thu, 01 Jun 2023 00:00:00 +0000 https://mosi.uni-saarland.de/publications/wahl-vector-causal-inference-between-2023/ Computer Science Methods for Effective and Sustainable Simulation Studies https://mosi.uni-saarland.de/publications/cai-computer-science-methods-for-2023/ Mon, 01 May 2023 00:00:00 +0000 https://mosi.uni-saarland.de/publications/cai-computer-science-methods-for-2023/ Corrigendum: Position statement and updated international guideline for safe and effective whole-body electromyostimulation training-the need for common sense in WB-EMS application https://mosi.uni-saarland.de/publications/kemmler-corrigendum-position-statement-and-2023/ Mon, 01 May 2023 00:00:00 +0000 https://mosi.uni-saarland.de/publications/kemmler-corrigendum-position-statement-and-2023/ From Fear to Action: AI Governance and Opportunities for All https://mosi.uni-saarland.de/publications/baum-from-fear-to-action-2023/ Mon, 01 May 2023 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-from-fear-to-action-2023/ TeachOpenCADD goes Deep Learning: Open-source Teaching Platform Exploring Molecular DL Applications https://mosi.uni-saarland.de/publications/backenkohler-teach-open-cadd-goes-deep-learning-2023/ Mon, 01 May 2023 00:00:00 +0000 https://mosi.uni-saarland.de/publications/backenkohler-teach-open-cadd-goes-deep-learning-2023/ Unsupervised relational inference using masked reconstruction https://mosi.uni-saarland.de/publications/grossmann-unsupervised-relational-inference-using-2023/ Sat, 01 Apr 2023 00:00:00 +0000 https://mosi.uni-saarland.de/publications/grossmann-unsupervised-relational-inference-using-2023/ Position statement and updated international guideline for safe and effective whole-body electromyostimulation training-the need for common sense in WB-EMS application https://mosi.uni-saarland.de/publications/kemmler-position-statement-and-updated-2023/ Wed, 01 Mar 2023 00:00:00 +0000 https://mosi.uni-saarland.de/publications/kemmler-position-statement-and-updated-2023/ A Computational Cantor-Bernstein and Myhill's Isomorphism Theorem in Constructive Type Theory https://mosi.uni-saarland.de/publications/forster-a-computational-cantor-bernstein-and-2023/ Sun, 01 Jan 2023 00:00:00 +0000 https://mosi.uni-saarland.de/publications/forster-a-computational-cantor-bernstein-and-2023/ Analyzing neural network behavior through deep statistical model checking https://mosi.uni-saarland.de/publications/gros-analyzing-neural-network-behavior-2023/ Sun, 01 Jan 2023 00:00:00 +0000 https://mosi.uni-saarland.de/publications/gros-analyzing-neural-network-behavior-2023/ Constructive and Synthetic Reducibility Degrees: Post's Problem for Many-one and Truth-table Reducibility in Coq https://mosi.uni-saarland.de/publications/forster-constructive-and-synthetic-reducibility-2023/ Sun, 01 Jan 2023 00:00:00 +0000 https://mosi.uni-saarland.de/publications/forster-constructive-and-synthetic-reducibility-2023/ Do Vocal Breath Sounds Encode Gender Cues for Automatic Gender Classification? https://mosi.uni-saarland.de/publications/solanki-do-vocal-breath-sounds-2023/ Sun, 01 Jan 2023 00:00:00 +0000 https://mosi.uni-saarland.de/publications/solanki-do-vocal-breath-sounds-2023/ Intelligent Modeling and Simulation Lifecycle https://mosi.uni-saarland.de/publications/cai-intelligent-modeling-and-simulation-2023/ Sun, 01 Jan 2023 00:00:00 +0000 https://mosi.uni-saarland.de/publications/cai-intelligent-modeling-and-simulation-2023/ Normative Perspectives on and Societal Implications of AI Systems https://mosi.uni-saarland.de/publications/baum-normative-perspectives-on-and-2023/ Sun, 01 Jan 2023 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-normative-perspectives-on-and-2023/ XAI Requirements in Smart Production Processes: A Case Study https://mosi.uni-saarland.de/publications/baum-xai-requirements-in-smart-2023/ Sun, 01 Jan 2023 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-xai-requirements-in-smart-2023/ Spatial Distribution of Muscular Effects of Acute Whole-Body Electromyostimulation at the Mid-Thigh and Lower Leg—A Pilot Study Applying Magnetic Resonance Imaging https://mosi.uni-saarland.de/publications/gotz-spatial-distribution-of-muscular-2022/ Thu, 01 Dec 2022 00:00:00 +0000 https://mosi.uni-saarland.de/publications/gotz-spatial-distribution-of-muscular-2022/ WB-EMS Market Development—Perspectives and Threats https://mosi.uni-saarland.de/publications/berger-wbems-market-development-perspectives-and-2022/ Sat, 01 Oct 2022 00:00:00 +0000 https://mosi.uni-saarland.de/publications/berger-wbems-market-development-perspectives-and-2022/ Ethics for Nerds https://mosi.uni-saarland.de/publications/baum-ethics-for-nerds-2022/ Mon, 01 Aug 2022 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-ethics-for-nerds-2022/ Where are all the guns? Modeling firearm ownership in the United States https://mosi.uni-saarland.de/publications/wahl-where-are-all-the-2022/ Mon, 01 Aug 2022 00:00:00 +0000 https://mosi.uni-saarland.de/publications/wahl-where-are-all-the-2022/ Metamorphic relations via relaxations: An approach to obtain oracles for action-policy testing https://mosi.uni-saarland.de/publications/eniser-metamorphic-relations-via-relaxations-2022/ Fri, 01 Jul 2022 00:00:00 +0000 https://mosi.uni-saarland.de/publications/eniser-metamorphic-relations-via-relaxations-2022/ Debugging a Policy: Automatic Action-Policy Testing in AI Planning https://mosi.uni-saarland.de/publications/steinmetz-debugging-a-policy-automatic-2022/ Wed, 01 Jun 2022 00:00:00 +0000 https://mosi.uni-saarland.de/publications/steinmetz-debugging-a-policy-automatic-2022/ A comprehensive approach for genome-wide efficiency profiling of DNA modifying enzymes https://mosi.uni-saarland.de/publications/kyriakopoulos-a-comprehensive-approach-for-2022/ Tue, 01 Mar 2022 00:00:00 +0000 https://mosi.uni-saarland.de/publications/kyriakopoulos-a-comprehensive-approach-for-2022/ Traces on diagram algebras I: Free partition quantum groups, random lattice paths and random walks on trees https://mosi.uni-saarland.de/publications/wahl-traces-on-diagram-algebras-2022/ Tue, 01 Mar 2022 00:00:00 +0000 https://mosi.uni-saarland.de/publications/wahl-traces-on-diagram-algebras-2022/ From Responsibility to Reason-Giving Explainable Artificial Intelligence https://mosi.uni-saarland.de/publications/baum-from-responsibility-to-reason-giving-2022/ Tue, 01 Feb 2022 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-from-responsibility-to-reason-giving-2022/ Conditional Independence Testing with Heteroskedastic Data and Applications to Causal Discovery https://mosi.uni-saarland.de/publications/gunther-conditional-independence-testing-with-2022/ Sat, 01 Jan 2022 00:00:00 +0000 https://mosi.uni-saarland.de/publications/gunther-conditional-independence-testing-with-2022/ Glyph-Based Visual Analysis of Q-Learning Based Action Policy Ensembles on Racetrack https://mosi.uni-saarland.de/publications/gross-glyph-based-visual-analysis-of-2022/ Sat, 01 Jan 2022 00:00:00 +0000 https://mosi.uni-saarland.de/publications/gross-glyph-based-visual-analysis-of-2022/ MoGym: Using Formal Models for Training and Verifying Decision-making Agents https://mosi.uni-saarland.de/publications/gros-mo-gym-using-formal-models-2022/ Sat, 01 Jan 2022 00:00:00 +0000 https://mosi.uni-saarland.de/publications/gros-mo-gym-using-formal-models-2022/ Effects of an 8-Week Whole-Body Electromyostimulation Training on Cycling Performance, Back Pain, and Posture of a 17-Year-Old Road Cyclist https://mosi.uni-saarland.de/publications/berger-effects-of-an-8-week-2021/ Mon, 01 Nov 2021 00:00:00 +0000 https://mosi.uni-saarland.de/publications/berger-effects-of-an-8-week-2021/ Heterogeneity matters: Contact structure and individual variation shape epidemic dynamics https://mosi.uni-saarland.de/publications/grossmann-heterogeneity-matters-contact-structure-2021/ Thu, 01 Jul 2021 00:00:00 +0000 https://mosi.uni-saarland.de/publications/grossmann-heterogeneity-matters-contact-structure-2021/ Spare me the details: How the type of information about automated interviews influences applicant reactions https://mosi.uni-saarland.de/publications/baum-spare-me-the-details-2021/ Tue, 01 Jun 2021 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-spare-me-the-details-2021/ Epidemic overdispersion strengthens the effectiveness of mobility restrictions https://mosi.uni-saarland.de/publications/grossmann-epidemic-overdispersion-strengthens-the-2021/ Sat, 01 May 2021 00:00:00 +0000 https://mosi.uni-saarland.de/publications/grossmann-epidemic-overdispersion-strengthens-the-2021/ Analysis of Markov jump processes under terminal constraints https://mosi.uni-saarland.de/publications/backenkohler-analysis-of-markov-jump-2021/ Mon, 01 Mar 2021 00:00:00 +0000 https://mosi.uni-saarland.de/publications/backenkohler-analysis-of-markov-jump-2021/ Efficacy of Whole-Body Electromyostimulation (WB-EMS) on Body Composition and Muscle Strength in Non-athletic Adults. A Systematic Review and Meta-Analysis https://mosi.uni-saarland.de/publications/kemmler-efficacy-of-whole-body-electromyostimulation-2021/ Mon, 01 Feb 2021 00:00:00 +0000 https://mosi.uni-saarland.de/publications/kemmler-efficacy-of-whole-body-electromyostimulation-2021/ Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models https://mosi.uni-saarland.de/publications/backenkohler-abstraction-guided-truncations-for-stationary-2021/ Fri, 01 Jan 2021 00:00:00 +0000 https://mosi.uni-saarland.de/publications/backenkohler-abstraction-guided-truncations-for-stationary-2021/ Analytic solutions for stochastic hybrid models of gene regulatory networks https://mosi.uni-saarland.de/publications/kurasov-analytic-solutions-for-stochastic-2021/ Fri, 01 Jan 2021 00:00:00 +0000 https://mosi.uni-saarland.de/publications/kurasov-analytic-solutions-for-stochastic-2021/ Debugging a Policy: A Framework for Automatic Action Policy Testing https://mosi.uni-saarland.de/publications/steinmetz-debugging-a-policy-a-2021/ Fri, 01 Jan 2021 00:00:00 +0000 https://mosi.uni-saarland.de/publications/steinmetz-debugging-a-policy-a-2021/ Heading in Soccer: Does Kinematics of the Head-Neck-Torso Alignment Influence Head Acceleration? https://mosi.uni-saarland.de/publications/becker-heading-in-soccer-does-2021/ Fri, 01 Jan 2021 00:00:00 +0000 https://mosi.uni-saarland.de/publications/becker-heading-in-soccer-does-2021/ InfoLab Saar - Schülerlabor Informatik der Universität des Saarlandes https://mosi.uni-saarland.de/publications/kirsch-info-lab-saar-schulerlabor-informatik-2021/ Fri, 01 Jan 2021 00:00:00 +0000 https://mosi.uni-saarland.de/publications/kirsch-info-lab-saar-schulerlabor-informatik-2021/ Lab Conditions for Research on Explainable Automated Decisions https://mosi.uni-saarland.de/publications/baier-lab-conditions-for-research-2021/ Fri, 01 Jan 2021 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baier-lab-conditions-for-research-2021/ Towards Perspicuity Requirements https://mosi.uni-saarland.de/publications/baum-towards-perspicuity-requirements-2021/ Fri, 01 Jan 2021 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-towards-perspicuity-requirements-2021/ TraceVis: towards visualization for deep statistical model checking https://mosi.uni-saarland.de/publications/gros-trace-vis-towards-visualization-for-2021/ Fri, 01 Jan 2021 00:00:00 +0000 https://mosi.uni-saarland.de/publications/gros-trace-vis-towards-visualization-for-2021/ What do we want from Explainable Artificial Intelligence (XAI)? – A stakeholder perspective on XAI and a conceptual model guiding interdisciplinary XAI research https://mosi.uni-saarland.de/publications/baum-what-do-we-want-2021/ Fri, 01 Jan 2021 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-what-do-we-want-2021/ What to expect from opening up ‘black boxes’? Comparing perceptions of justice between human and automated agents https://mosi.uni-saarland.de/publications/baum-what-to-expect-from-2021/ Fri, 01 Jan 2021 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-what-to-expect-from-2021/ Learning Vaccine Allocation from Simulations https://mosi.uni-saarland.de/publications/grossmann-learning-vaccine-allocation-from-2020/ Tue, 01 Dec 2020 00:00:00 +0000 https://mosi.uni-saarland.de/publications/grossmann-learning-vaccine-allocation-from-2020/ Efficient simulation of non-Markovian dynamics on complex networks https://mosi.uni-saarland.de/publications/grossmann-efficient-simulation-of-non-markovian-2020/ Thu, 01 Oct 2020 00:00:00 +0000 https://mosi.uni-saarland.de/publications/grossmann-efficient-simulation-of-non-markovian-2020/ Can a superimposed whole-body electromyostimulation intervention enhance the effects of a 10-week athletic strength training in youth elite soccer players? https://mosi.uni-saarland.de/publications/ludwig-can-a-superimposed-whole-body-2020/ Tue, 01 Sep 2020 00:00:00 +0000 https://mosi.uni-saarland.de/publications/ludwig-can-a-superimposed-whole-body-2020/ Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study https://mosi.uni-saarland.de/publications/grossmann-importance-of-interaction-structure-2020/ Tue, 01 Sep 2020 00:00:00 +0000 https://mosi.uni-saarland.de/publications/grossmann-importance-of-interaction-structure-2020/ Tracking the Race Between Deep Reinforcement Learning and Imitation Learning - Extended Version https://mosi.uni-saarland.de/publications/gros-tracking-the-race-between-2020/ Sat, 01 Aug 2020 00:00:00 +0000 https://mosi.uni-saarland.de/publications/gros-tracking-the-race-between-2020/ Deep statistical model checking https://mosi.uni-saarland.de/publications/gros-deep-statistical-model-checking-2020/ Mon, 01 Jun 2020 00:00:00 +0000 https://mosi.uni-saarland.de/publications/gros-deep-statistical-model-checking-2020/ Effects of an Impulse Frequency Dependent 10-Week Whole-body Electromyostimulation Training Program on Specific Sport Performance Parameters https://mosi.uni-saarland.de/publications/berger-effects-of-an-impulse-2020/ Fri, 01 May 2020 00:00:00 +0000 https://mosi.uni-saarland.de/publications/berger-effects-of-an-impulse-2020/ Novel Is Not Always Better: On the Relation between Novelty and Dominance Pruning https://mosi.uni-saarland.de/publications/gross-novel-is-not-always-2020/ Wed, 01 Apr 2020 00:00:00 +0000 https://mosi.uni-saarland.de/publications/gross-novel-is-not-always-2020/ Frequency-Dependent Reaction of the Triceps Surae Muscle of the Mouse During Electromyostimulation https://mosi.uni-saarland.de/publications/zart-frequency-dependent-reaction-of-the-2020/ Sat, 01 Feb 2020 00:00:00 +0000 https://mosi.uni-saarland.de/publications/zart-frequency-dependent-reaction-of-the-2020/ \"Have you ever questioned the nature of your reality?“ — Westworld aus der Perspektive der Philosophie https://mosi.uni-saarland.de/publications/schillo-have-you-ever-questioned-2020/ Wed, 01 Jan 2020 00:00:00 +0000 https://mosi.uni-saarland.de/publications/schillo-have-you-ever-questioned-2020/ Algorithmen und die Grenzen von Fairness https://mosi.uni-saarland.de/publications/baum-algorithmen-und-die-grenzen-2020/ Wed, 01 Jan 2020 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-algorithmen-und-die-grenzen-2020/ Bounding Mean First Passage Times in Population Continuous-Time Markov Chains https://mosi.uni-saarland.de/publications/backenkohler-bounding-mean-first-passage-2020/ Wed, 01 Jan 2020 00:00:00 +0000 https://mosi.uni-saarland.de/publications/backenkohler-bounding-mean-first-passage-2020/ Poster Abstract: Birth-Death Processes Reproduce the Infection Footprint of Complex Networks https://mosi.uni-saarland.de/publications/backenkohler-poster-abstract-birth-death-processes-2020/ Wed, 01 Jan 2020 00:00:00 +0000 https://mosi.uni-saarland.de/publications/backenkohler-poster-abstract-birth-death-processes-2020/ Real-Time Decision Making for a Car Manufacturing Process Using Deep Reinforcement Learning https://mosi.uni-saarland.de/publications/gros-real-time-decision-making-for-2020/ Wed, 01 Jan 2020 00:00:00 +0000 https://mosi.uni-saarland.de/publications/gros-real-time-decision-making-for-2020/ Rejection-Based Simulation of Non-Markovian Agents on Complex Networks https://mosi.uni-saarland.de/publications/grossmann-rejection-based-simulation-of-non-markovian-2020/ Wed, 01 Jan 2020 00:00:00 +0000 https://mosi.uni-saarland.de/publications/grossmann-rejection-based-simulation-of-non-markovian-2020/ Whole-body electromyostimulation in physical therapy: do gender, skinfold thickness or body composition influence maximum intensity tolerance? https://mosi.uni-saarland.de/publications/berger-whole-body-electromyostimulation-in-physical-2020/ Wed, 01 Jan 2020 00:00:00 +0000 https://mosi.uni-saarland.de/publications/berger-whole-body-electromyostimulation-in-physical-2020/ Effects of a 6-Week Strength Training of the Neck Flexors and Extensors on the Head Acceleration during Headers in Soccer https://mosi.uni-saarland.de/publications/becker-effects-of-a-6-week-2019/ Fri, 01 Nov 2019 00:00:00 +0000 https://mosi.uni-saarland.de/publications/becker-effects-of-a-6-week-2019/ Empfehlungen zu Kontraindikationen für Ganzkörper-Elektromyostimulation im kommerziellen, nicht-medizinischen Setting: Recommendations of contraindications for whole-body electromyostimulation in a commercial, non-medical setting https://mosi.uni-saarland.de/publications/kemmler-empfehlungen-zu-kontraindikationen-fur-2019/ Fri, 01 Nov 2019 00:00:00 +0000 https://mosi.uni-saarland.de/publications/kemmler-empfehlungen-zu-kontraindikationen-fur-2019/ Quantitative Evaluation of Systems: 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings https://mosi.uni-saarland.de/publications/parker-quantitative-evaluation-of-systems-2019/ Sun, 01 Sep 2019 00:00:00 +0000 https://mosi.uni-saarland.de/publications/parker-quantitative-evaluation-of-systems-2019/ Rejection-Based Simulation of Stochastic Spreading Processes on Complex https://mosi.uni-saarland.de/publications/grossmann-rejection-based-simulation-of-stochastic-2019/ Thu, 01 Aug 2019 00:00:00 +0000 https://mosi.uni-saarland.de/publications/grossmann-rejection-based-simulation-of-stochastic-2019/ The Impact of Whole-Body Electromyostimulation on Body Posture and Trunk Muscle Strength in Untrained Persons https://mosi.uni-saarland.de/publications/ludwig-the-impact-of-whole-body-2019/ Thu, 01 Aug 2019 00:00:00 +0000 https://mosi.uni-saarland.de/publications/ludwig-the-impact-of-whole-body-2019/ Adjustment effects of maximum intensity tolerance during whole-body electromyostimulation training https://mosi.uni-saarland.de/publications/berger-adjustment-effects-of-maximum-2019/ Mon, 01 Jul 2019 00:00:00 +0000 https://mosi.uni-saarland.de/publications/berger-adjustment-effects-of-maximum-2019/ Evaluation of the Bourban Trunk Muscle Strength Test Based on Electromyographic Parameters https://mosi.uni-saarland.de/publications/becker-evaluation-of-the-bourban-2019/ Sat, 01 Jun 2019 00:00:00 +0000 https://mosi.uni-saarland.de/publications/becker-evaluation-of-the-bourban-2019/ Hidden Markov Modelling Reveals Neighborhood Dependence of Dnmt3a and 3b Activity https://mosi.uni-saarland.de/publications/luck-hidden-markov-modelling-reveals-2019/ Mon, 01 Apr 2019 00:00:00 +0000 https://mosi.uni-saarland.de/publications/luck-hidden-markov-modelling-reveals-2019/ A Hybrid HMM Approach for the Dynamics of DNA Methylation https://mosi.uni-saarland.de/publications/kyriakopoulos-a-hybrid-hmm-approach-2019/ Tue, 01 Jan 2019 00:00:00 +0000 https://mosi.uni-saarland.de/publications/kyriakopoulos-a-hybrid-hmm-approach-2019/ aMAZEing Programming - Providing SKILLs to Fellow Students https://mosi.uni-saarland.de/publications/gros-amaz-eing-programming-providing-skil-ls-2019/ Tue, 01 Jan 2019 00:00:00 +0000 https://mosi.uni-saarland.de/publications/gros-amaz-eing-programming-providing-skil-ls-2019/ Bounding First Passage Times in Chemical Reaction Networks https://mosi.uni-saarland.de/publications/backenkohler-bounding-first-passage-times-2019/ Tue, 01 Jan 2019 00:00:00 +0000 https://mosi.uni-saarland.de/publications/backenkohler-bounding-first-passage-times-2019/ Control Variates for Stochastic Simulation of Chemical Reaction Networks https://mosi.uni-saarland.de/publications/backenkohler-control-variates-for-stochastic-2019/ Tue, 01 Jan 2019 00:00:00 +0000 https://mosi.uni-saarland.de/publications/backenkohler-control-variates-for-stochastic-2019/ Explainability as a Non-Functional Requirement https://mosi.uni-saarland.de/publications/baum-explainability-as-a-non-functional-2019/ Tue, 01 Jan 2019 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-explainability-as-a-non-functional-2019/ Informatikunterricht in der Grundschule?-Erprobung und Auswertung eines Unterrichtsmoduls mit Calliope mini. https://mosi.uni-saarland.de/publications/baum-informatikunterricht-in-der-grundschule-erprobung-2019/ Tue, 01 Jan 2019 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-informatikunterricht-in-der-grundschule-erprobung-2019/ Reducing Spreading Processes on Networks to Markov Population Models https://mosi.uni-saarland.de/publications/grossmann-reducing-spreading-processes-on-2019/ Tue, 01 Jan 2019 00:00:00 +0000 https://mosi.uni-saarland.de/publications/grossmann-reducing-spreading-processes-on-2019/ Stochastic hybrid models of gene regulatory networks – A PDE approach https://mosi.uni-saarland.de/publications/kurasov-stochastic-hybrid-models-of-2018/ Thu, 01 Nov 2018 00:00:00 +0000 https://mosi.uni-saarland.de/publications/kurasov-stochastic-hybrid-models-of-2018/ Simulating the Large-Scale Erosion of Genomic Privacy Over Time https://mosi.uni-saarland.de/publications/backes-simulating-the-large-scale-erosion-2018/ Sun, 01 Jul 2018 00:00:00 +0000 https://mosi.uni-saarland.de/publications/backes-simulating-the-large-scale-erosion-2018/ Nonsingular Bernoulli actions & quantum symmetries https://mosi.uni-saarland.de/publications/wahl-nonsingular-bernoulli-actions-quantum-2018/ Fri, 01 Jun 2018 00:00:00 +0000 https://mosi.uni-saarland.de/publications/wahl-nonsingular-bernoulli-actions-quantum-2018/ Two are better than one: HPoxBS - hairpin oxidative bisulfite sequencing https://mosi.uni-saarland.de/publications/giehr-two-are-better-than-2018/ Fri, 01 Jun 2018 00:00:00 +0000 https://mosi.uni-saarland.de/publications/giehr-two-are-better-than-2018/ Algorithmen bei der Personalauswahl – eine kritische und hoffnungsvolle Betrachtung https://mosi.uni-saarland.de/publications/langer-algorithmen-bei-der-personalauswahl-2018/ Mon, 01 Jan 2018 00:00:00 +0000 https://mosi.uni-saarland.de/publications/langer-algorithmen-bei-der-personalauswahl-2018/ Approximate adaptive uniformization of continuous-time Markov chains https://mosi.uni-saarland.de/publications/andreychenko-approximate-adaptive-uniformization-of-2018/ Mon, 01 Jan 2018 00:00:00 +0000 https://mosi.uni-saarland.de/publications/andreychenko-approximate-adaptive-uniformization-of-2018/ Data-Driven Approach Towards a Personalized Curriculum https://mosi.uni-saarland.de/publications/backenkohler-data-driven-approach-towards-a-2018/ Mon, 01 Jan 2018 00:00:00 +0000 https://mosi.uni-saarland.de/publications/backenkohler-data-driven-approach-towards-a-2018/ Die (Un-) Nachvollziehbarkeit algorithmenbasierter Entscheidungen: Implikationen und Empfehlungen für die Zukunft https://mosi.uni-saarland.de/publications/langer-die-un-nachvollziehbarkeit-algorithmenbasierter-2018/ Mon, 01 Jan 2018 00:00:00 +0000 https://mosi.uni-saarland.de/publications/langer-die-un-nachvollziehbarkeit-algorithmenbasierter-2018/ Efficacy and Safety of Low Frequency Whole-Body Electromyostimulation (WB-EMS) to Improve Health-Related Outcomes in Non-athletic Adults. A Systematic Review https://mosi.uni-saarland.de/publications/kemmler-efficacy-and-safety-of-2018/ Mon, 01 Jan 2018 00:00:00 +0000 https://mosi.uni-saarland.de/publications/kemmler-efficacy-and-safety-of-2018/ From Machine Ethics to Machine Explainability and Back https://mosi.uni-saarland.de/publications/baum-from-machine-ethics-to-2018/ Mon, 01 Jan 2018 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-from-machine-ethics-to-2018/ Lumping of degree-based mean-field and pair-approximation equations for multistate contact processes https://mosi.uni-saarland.de/publications/kyriakopoulos-lumping-of-degree-based-mean-field-2018/ Mon, 01 Jan 2018 00:00:00 +0000 https://mosi.uni-saarland.de/publications/kyriakopoulos-lumping-of-degree-based-mean-field-2018/ Lumping the Approximate Master Equation for Multistate Processes on Complex Networks https://mosi.uni-saarland.de/publications/grossmann-lumping-the-approximate-master-2018/ Mon, 01 Jan 2018 00:00:00 +0000 https://mosi.uni-saarland.de/publications/grossmann-lumping-the-approximate-master-2018/ Student Performance Prediction and Optimal Course Selection: An MDP Approach https://mosi.uni-saarland.de/publications/backenkohler-student-performance-prediction-and-2018/ Mon, 01 Jan 2018 00:00:00 +0000 https://mosi.uni-saarland.de/publications/backenkohler-student-performance-prediction-and-2018/ Moment-Based Parameter Estimation for Stochastic Reaction Networks in Equilibrium https://mosi.uni-saarland.de/publications/backenkohler-moment-based-parameter-estimation-for-2017/ Wed, 01 Nov 2017 00:00:00 +0000 https://mosi.uni-saarland.de/publications/backenkohler-moment-based-parameter-estimation-for-2017/ Two Challenges for CI Trustworthiness and How to Address Them https://mosi.uni-saarland.de/publications/baum-two-challenges-for-ci-2017/ Fri, 01 Sep 2017 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-two-challenges-for-ci-2017/ H(O)TA: estimation of DNA methylation and hydroxylation levels and efficiencies from time course data https://mosi.uni-saarland.de/publications/kyriakopoulos-hota-estimation-of-dna-2017/ Thu, 01 Jun 2017 00:00:00 +0000 https://mosi.uni-saarland.de/publications/kyriakopoulos-hota-estimation-of-dna-2017/ A Stochastic Model for the Formation of Spatial Methylation Patterns https://mosi.uni-saarland.de/publications/luck-a-stochastic-model-for-2017/ Sun, 01 Jan 2017 00:00:00 +0000 https://mosi.uni-saarland.de/publications/luck-a-stochastic-model-for-2017/ Teaching Academic Concurrency to Amazing Students https://mosi.uni-saarland.de/publications/biewer-teaching-academic-concurrency-to-2017/ Sun, 01 Jan 2017 00:00:00 +0000 https://mosi.uni-saarland.de/publications/biewer-teaching-academic-concurrency-to-2017/ Generalized method of moments for estimating parameters of stochastic reaction networks https://mosi.uni-saarland.de/publications/luck-generalized-method-of-moments-2016/ Sat, 01 Oct 2016 00:00:00 +0000 https://mosi.uni-saarland.de/publications/luck-generalized-method-of-moments-2016/ Generalized Method of Moments for Stochastic Reaction Networks in Equilibrium https://mosi.uni-saarland.de/publications/backenkohler-generalized-method-of-moments-2016/ Thu, 01 Sep 2016 00:00:00 +0000 https://mosi.uni-saarland.de/publications/backenkohler-generalized-method-of-moments-2016/ Hybrid Stochastic Simulation of Rule-Based Polymerization Models https://mosi.uni-saarland.de/publications/kruger-hybrid-stochastic-simulation-of-2016/ Thu, 01 Sep 2016 00:00:00 +0000 https://mosi.uni-saarland.de/publications/kruger-hybrid-stochastic-simulation-of-2016/ The Influence of Hydroxylation on Maintaining CpG Methylation Patterns: A Hidden Markov Model Approach https://mosi.uni-saarland.de/publications/giehr-the-influence-of-hydroxylation-2016/ Sun, 01 May 2016 00:00:00 +0000 https://mosi.uni-saarland.de/publications/giehr-the-influence-of-hydroxylation-2016/ MERVL/Zscan4 Network Activation Results in Transient Genome-wide DNA Demethylation of mESCs https://mosi.uni-saarland.de/publications/eckersleymaslin-mervl-zscan-4-network-activation-results-2016/ Fri, 01 Jan 2016 00:00:00 +0000 https://mosi.uni-saarland.de/publications/eckersleymaslin-mervl-zscan-4-network-activation-results-2016/ MorphableUI: A Hypergraph-Based Approach to Distributed Multimodal Interaction for Rapid Prototyping and Changing Environments https://mosi.uni-saarland.de/publications/krekhov-morphable-uia-hypergraph-based-approach-2016/ Fri, 01 Jan 2016 00:00:00 +0000 https://mosi.uni-saarland.de/publications/krekhov-morphable-uia-hypergraph-based-approach-2016/ What the hack is wrong with software doping? https://mosi.uni-saarland.de/publications/baum-what-the-hack-is-2016/ Fri, 01 Jan 2016 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-what-the-hack-is-2016/ Model-Based Whole-Genome Analysis of DNA Methylation Fidelity https://mosi.uni-saarland.de/publications/bock-model-based-whole-genome-analysis-of-2015/ Tue, 01 Sep 2015 00:00:00 +0000 https://mosi.uni-saarland.de/publications/bock-model-based-whole-genome-analysis-of-2015/ Rule-based modelling and simulation of drug-administration policies https://mosi.uni-saarland.de/publications/bortolussi-rule-based-modelling-and-simulation-2015/ Wed, 01 Apr 2015 00:00:00 +0000 https://mosi.uni-saarland.de/publications/bortolussi-rule-based-modelling-and-simulation-2015/ A note on reduced and von Neumann algebraic free wreath products https://mosi.uni-saarland.de/publications/wahl-a-note-on-reduced-2015/ Thu, 01 Jan 2015 00:00:00 +0000 https://mosi.uni-saarland.de/publications/wahl-a-note-on-reduced-2015/ Model Reconstruction for Moment-Based Stochastic Chemical Kinetics https://mosi.uni-saarland.de/publications/andreychenko-model-reconstruction-for-moment-based-2015/ Thu, 01 Jan 2015 00:00:00 +0000 https://mosi.uni-saarland.de/publications/andreychenko-model-reconstruction-for-moment-based-2015/ Method of conditional moments (MCM) for the Chemical Master Equation https://mosi.uni-saarland.de/publications/hasenauer-method-of-conditional-moments-2014/ Mon, 01 Sep 2014 00:00:00 +0000 https://mosi.uni-saarland.de/publications/hasenauer-method-of-conditional-moments-2014/ On-the-fly verification and optimization of DTA-properties for large Markov chains https://mosi.uni-saarland.de/publications/mikeev-on-the-fly-verification-and-optimization-2013/ Tue, 01 Oct 2013 00:00:00 +0000 https://mosi.uni-saarland.de/publications/mikeev-on-the-fly-verification-and-optimization-2013/ Numerical Approximation of Rare Event Probabilities in Biochemically Reacting Systems https://mosi.uni-saarland.de/publications/mikeev-numerical-approximation-of-rare-2013/ Sun, 01 Sep 2013 00:00:00 +0000 https://mosi.uni-saarland.de/publications/mikeev-numerical-approximation-of-rare-2013/ Efficient Steady State Analysis of Multimodal Markov Chains https://mosi.uni-saarland.de/publications/spieler-efficient-steady-state-analysis-2013/ Mon, 01 Jul 2013 00:00:00 +0000 https://mosi.uni-saarland.de/publications/spieler-efficient-steady-state-analysis-2013/ Approximate Transient Analysis of Queuing Networks by Quasi Product Forms https://mosi.uni-saarland.de/publications/angius-approximate-transient-analysis-of-2013/ Tue, 01 Jan 2013 00:00:00 +0000 https://mosi.uni-saarland.de/publications/angius-approximate-transient-analysis-of-2013/ In Vivo Control of CpG and Non-CpG DNA Methylation by DNA Methyltransferases https://mosi.uni-saarland.de/publications/arand-in-vivo-control-of-2012/ Fri, 01 Jun 2012 00:00:00 +0000 https://mosi.uni-saarland.de/publications/arand-in-vivo-control-of-2012/ Three-valued abstraction for probabilistic systems https://mosi.uni-saarland.de/publications/katoen-three-valued-abstraction-for-probabilistic-2012/ Tue, 01 May 2012 00:00:00 +0000 https://mosi.uni-saarland.de/publications/katoen-three-valued-abstraction-for-probabilistic-2012/ Parameter estimation for stochastic hybrid models of biochemical reaction networks https://mosi.uni-saarland.de/publications/mikeev-parameter-estimation-for-stochastic-2012/ Sun, 01 Apr 2012 00:00:00 +0000 https://mosi.uni-saarland.de/publications/mikeev-parameter-estimation-for-stochastic-2012/ Approximate maximum likelihood estimation for stochastic chemical kinetics https://mosi.uni-saarland.de/publications/andreychenko-approximate-maximum-likelihood-estimation-2012/ Sun, 01 Jan 2012 00:00:00 +0000 https://mosi.uni-saarland.de/publications/andreychenko-approximate-maximum-likelihood-estimation-2012/ Quasi Product Form Approximation for Markov Models of Reaction Networks https://mosi.uni-saarland.de/publications/angius-quasi-product-form-approximation-2012/ Sun, 01 Jan 2012 00:00:00 +0000 https://mosi.uni-saarland.de/publications/angius-quasi-product-form-approximation-2012/ Infinite level-dependent QBD processes and matrix-analytic solutions for stochastic chemical kinetics https://mosi.uni-saarland.de/publications/dayar-infinite-level-dependent-qbd-processes-2011/ Thu, 01 Dec 2011 00:00:00 +0000 https://mosi.uni-saarland.de/publications/dayar-infinite-level-dependent-qbd-processes-2011/ Bounding the equilibrium distribution of Markov population models https://mosi.uni-saarland.de/publications/dayar-bounding-the-equilibrium-distribution-2011/ Sat, 01 Oct 2011 00:00:00 +0000 https://mosi.uni-saarland.de/publications/dayar-bounding-the-equilibrium-distribution-2011/ Formalisms For Specifying Markovian Population Models https://mosi.uni-saarland.de/publications/henzinger-formalisms-for-specifying-markovian-2011/ Wed, 01 Jun 2011 00:00:00 +0000 https://mosi.uni-saarland.de/publications/henzinger-formalisms-for-specifying-markovian-2011/ Approximation of event probabilities in noisy cellular processes https://mosi.uni-saarland.de/publications/didier-approximation-of-event-probabilities-2011/ Sun, 01 May 2011 00:00:00 +0000 https://mosi.uni-saarland.de/publications/didier-approximation-of-event-probabilities-2011/ Efficient Calculation of Rare Event Probabilities in Markovian Queueing Networks https://mosi.uni-saarland.de/publications/mikeev-efficient-calculation-of-rare-2011/ Sun, 01 May 2011 00:00:00 +0000 https://mosi.uni-saarland.de/publications/mikeev-efficient-calculation-of-rare-2011/ SHAVE: stochastic hybrid analysis of markov population models https://mosi.uni-saarland.de/publications/lapin-shave-stochastic-hybrid-analysis-2011/ Fri, 01 Apr 2011 00:00:00 +0000 https://mosi.uni-saarland.de/publications/lapin-shave-stochastic-hybrid-analysis-2011/ Fast adaptive uniformisation of the chemical master equation https://mosi.uni-saarland.de/publications/mateescu-fast-adaptive-uniformisation-of-2010/ Mon, 01 Nov 2010 00:00:00 +0000 https://mosi.uni-saarland.de/publications/mateescu-fast-adaptive-uniformisation-of-2010/ On the numerical analysis of stochastic Lotka-Volterra models https://mosi.uni-saarland.de/publications/dayar-on-the-numerical-analysis-2010/ Fri, 01 Oct 2010 00:00:00 +0000 https://mosi.uni-saarland.de/publications/dayar-on-the-numerical-analysis-2010/ Hybrid numerical solution of the chemical master equation https://mosi.uni-saarland.de/publications/henzinger-hybrid-numerical-solution-of-2010/ Wed, 01 Sep 2010 00:00:00 +0000 https://mosi.uni-saarland.de/publications/henzinger-hybrid-numerical-solution-of-2010/ Solving the chemical master equation using sliding windows https://mosi.uni-saarland.de/publications/wolf-solving-the-chemical-master-2010/ Thu, 01 Apr 2010 00:00:00 +0000 https://mosi.uni-saarland.de/publications/wolf-solving-the-chemical-master-2010/ Sliding Window Abstraction for Infinite Markov Chains https://mosi.uni-saarland.de/publications/henzinger-sliding-window-abstraction-for-2009/ Mon, 01 Jun 2009 00:00:00 +0000 https://mosi.uni-saarland.de/publications/henzinger-sliding-window-abstraction-for-2009/ Abstraction for Stochastic Systems by Erlang's Method of Stages https://mosi.uni-saarland.de/publications/katoen-abstraction-for-stochastic-systems-2008/ Fri, 01 Aug 2008 00:00:00 +0000 https://mosi.uni-saarland.de/publications/katoen-abstraction-for-stochastic-systems-2008/ Computational Probability for Systems Biology https://mosi.uni-saarland.de/publications/sandmann-computational-probability-for-systems-2008/ Sun, 01 Jun 2008 00:00:00 +0000 https://mosi.uni-saarland.de/publications/sandmann-computational-probability-for-systems-2008/ Equivalences on Phase Type Processes https://mosi.uni-saarland.de/publications/wolf-equivalences-on-phase-type-2008/ Thu, 01 May 2008 00:00:00 +0000 https://mosi.uni-saarland.de/publications/wolf-equivalences-on-phase-type-2008/ Modelling of Biochemical Reactions by Stochastic Automata Networks https://mosi.uni-saarland.de/publications/wolf-modelling-of-biochemical-reactions-2007/ Sun, 01 Jul 2007 00:00:00 +0000 https://mosi.uni-saarland.de/publications/wolf-modelling-of-biochemical-reactions-2007/ Interaction Models for Biochemical Reactions https://mosi.uni-saarland.de/publications/majstercederbaum-interaction-models-for-biochemical-2007/ Mon, 01 Jan 2007 00:00:00 +0000 https://mosi.uni-saarland.de/publications/majstercederbaum-interaction-models-for-biochemical-2007/ A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion https://mosi.uni-saarland.de/publications/busch-a-numerical-aggregation-algorithm-2006/ Sun, 01 Oct 2006 00:00:00 +0000 https://mosi.uni-saarland.de/publications/busch-a-numerical-aggregation-algorithm-2006/ Trace Semantics for Stochastic Systems with Nondeterminism https://mosi.uni-saarland.de/publications/wolf-trace-semantics-for-stochastic-2006/ Sun, 01 Oct 2006 00:00:00 +0000 https://mosi.uni-saarland.de/publications/wolf-trace-semantics-for-stochastic-2006/ Bisimulation and Simulation Relations for Markov Chains https://mosi.uni-saarland.de/publications/baier-bisimulation-and-simulation-relations-2006/ Fri, 01 Sep 2006 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baier-bisimulation-and-simulation-relations-2006/ Stochastic Reasoning About Channel-Based Component Connectors https://mosi.uni-saarland.de/publications/baier-stochastic-reasoning-about-channel-based-2006/ Thu, 01 Jun 2006 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baier-stochastic-reasoning-about-channel-based-2006/ Trace Machines for Observing Continuous-Time Markov Chains https://mosi.uni-saarland.de/publications/wolf-trace-machines-for-observing-2006/ Mon, 01 May 2006 00:00:00 +0000 https://mosi.uni-saarland.de/publications/wolf-trace-machines-for-observing-2006/ Don't Know in Probabilistic Systems https://mosi.uni-saarland.de/publications/fecher-dont-know-in-probabilistic-2006/ Wed, 01 Mar 2006 00:00:00 +0000 https://mosi.uni-saarland.de/publications/fecher-dont-know-in-probabilistic-2006/ A computational stochastic modeling formalism for biological networks https://mosi.uni-saarland.de/publications/sandmann-a-computational-stochastic-modeling-2006/ Sun, 01 Jan 2006 00:00:00 +0000 https://mosi.uni-saarland.de/publications/sandmann-a-computational-stochastic-modeling-2006/ Comparative branching-time semantics for Markov chains https://mosi.uni-saarland.de/publications/baier-comparative-branching-time-semantics-for-2005/ Mon, 01 Aug 2005 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baier-comparative-branching-time-semantics-for-2005/ Testing Theory for Probabilistic Systems https://mosi.uni-saarland.de/publications/wolf-testing-theory-for-probabilistic-2005/ Fri, 01 Jul 2005 00:00:00 +0000 https://mosi.uni-saarland.de/publications/wolf-testing-theory-for-probabilistic-2005/ Comparative Linear-Time Semantics on Action-Labelled Continuous-Time Markov Chains https://mosi.uni-saarland.de/publications/wolf-comparative-linear-time-semantics-on-2004/ Fri, 01 Oct 2004 00:00:00 +0000 https://mosi.uni-saarland.de/publications/wolf-comparative-linear-time-semantics-on-2004/