Imagen de Portada

BedreFlyt: Improving Patient Flows through Hospital Wards with Digital Twins

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Sieve, Riccardo, Kobialka, Paul, Slaughter, Laura, Schlatte, Rudolf, Johnsen, Einar Broch, Tarifa, Silvia Lizeth Tapia
Formato:	Preprint
Publicado:	2025
Materias:	Artificial Intelligence Emerging Technologies Logic in Computer Science D.2.2; D.2.4; J.3
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Automata Learning versus Process Mining: The Case for User Journeys
por: Kobialka, Paul, et al.
Publicado: (2026)

Behavior Trees and State Machines in Robotics Applications
por: Ghzouli, Razan, et al.
Publicado: (2022)

Attribution-based Explanations for Markov Decision Processes
por: Kobialka, Paul, et al.
Publicado: (2026)

Counterfactual Strategies for Markov Decision Processes
por: Kobialka, Paul, et al.
Publicado: (2025)

Additional Material for the paper A Self-Adaptive Digital Twin Architecture for Dynamic Resource Management
por: Sieve, Riccardo, et al.
Publicado: (2026)

Factors that Contribute to the Success of a Software Organisation's DevOps Environment: A Systematic Review
por: Gwangwadza, Ashley, et al.
Publicado: (2022)

Overview of Web Application Performance Optimization Techniques
por: Vepsäläinen, Juho, et al.
Publicado: (2024)

Solving Causal Stream Inclusions
por: Ruess, Harald
Publicado: (2023)

Constrained LTL Specification Learning from Examples
por: Zhang, Changjian, et al.
Publicado: (2024)

(How) Do Large Language Models Understand High-Level Message Sequence Charts?
por: Mousavi, Mohammad Reza
Publicado: (2026)

Path-optimal symbolic execution of heap-manipulating programs
por: Braione, Pietro, et al.
Publicado: (2024)

Inside the Scaffold: A Source-Code Taxonomy of Coding Agent Architectures
por: Rombaut, Benjamin
Publicado: (2026)

GazePrinter: Visualizing Expert Gaze to Guide Novices in a New Codebase
por: Kuang, Peng, et al.
Publicado: (2026)

Modal Verification Patterns for Systems Software
por: Kuru, Ismail, et al.
Publicado: (2025)

WizardMerge -- Save Us From Merging Without Any Clues
por: Zhang, Qingyu, et al.
Publicado: (2024)

An ACL2s Interface to Z3
por: Walter, Andrew T., et al.
Publicado: (2025)

Parf: Adaptive Parameter Refining for Abstract Interpretation
por: Wang, Zhongyi, et al.
Publicado: (2024)

Reachability and Safety Games under TSO Semantics
por: Spengler, Stephan
Publicado: (2024)

On the Verification Problem of Remote Direct Memory Access programs (Extended Version with Appendix)
por: Abdulla, Parosh Aziz, et al.
Publicado: (2026)

Why does it fail? Explanation of verification failures
por: Eriksson, Lars-Henrik
Publicado: (2026)

On the Impact of AGENTS.md Files on the Efficiency of AI Coding Agents
por: Lulla, Jai Lal, et al.
Publicado: (2026)

Verifying Procedural Programs via Constrained Rewriting Induction
por: Fuhs, Carsten, et al.
Publicado: (2014)

MeDeT: Medical Device Digital Twins Creation with Few-shot Meta-learning
por: Sartaj, Hassan, et al.
Publicado: (2024)

A Note on the Parameterised Complexity of Coverability in Vector Addition Systems
por: Pilipczuk, Michał, et al.
Publicado: (2025)

Space-time process algebra with asynchronous communication
por: Bergstra, J. A., et al.
Publicado: (2024)

Dormancy-aware timed branching bisimilarity, with an application to communication protocol analysis
por: Middelburg, C. A.
Publicado: (2021)

Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
por: Knothe, David, et al.
Publicado: (2026)

Internal APIs Are All You Need: Shadow APIs, Shared Discovery, and the Case Against Browser-First Agent Architectures
por: Tham, Lewis, et al.
Publicado: (2026)

Formal Modelling and Analysis of a Self-Adaptive Robotic System
por: Päßler, Juliane, et al.
Publicado: (2023)

On Modular Termination Proofs of General Logic Programs
por: Bossi, Annalisa, et al.
Publicado: (2000)

Complementing an imperative process algebra with a rely/guarantee logic
por: Middelburg, C. A.
Publicado: (2025)

Probabilistic imperative process algebra
por: Middelburg, C. A.
Publicado: (2026)

Sequence-Based Abstract Interpretation of Prolog
por: Charlier, Baudouin Le, et al.
Publicado: (2000)

Context-Dependent Effects and Concurrency in Guarded Interaction Trees
por: Stepanenko, Sergei, et al.
Publicado: (2025)

Uniqueness is Separation
por: O'Connor, Liam, et al.
Publicado: (2026)

C8s: A Confidential Kubernetes Architecture
por: Asad, Amean, et al.
Publicado: (2026)

Nidus: Externalized Reasoning for AI-Assisted Engineering
por: Gorinevski, Danil
Publicado: (2026)

Hypernetwork Theory: The Structural Kernel
por: Charlesworth, Richard D.
Publicado: (2025)

Scott's Representation Theorem and the Univalent Karoubi Envelope
por: van der Leer, Arnoud, et al.
Publicado: (2025)

A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
por: Heuvel, Bas van den, et al.
Publicado: (2024)