Simulation-based Framework to Improve Patient Experience in an Emergency Department

The global economic crisis has a significant impact on healthcare resource provision worldwide. The management of limited healthcare resources is further challenged by the high level of uncertainty in demand, which can lead to unbalanced utilisation of the available resources and a potential deterioration of patient satisfaction in terms of longer waiting times and perceived reduced quality of services. Therefore, healthcare managers require timely and accurate tools to optimise resource utility in a complex and ever-changing patient care process. An interactive simulation-based decision support framework is presented in this paper for healthcare process improvement. Complexity and different levels of variability within the process are incorporated into the process modelling phase, followed by developing a simulation model to examine the impact of potential alternatives. As a performance management tool, balanced scorecard (BSC) is incorporated within the framework to support continual and sustainable improvement by using strategic-linked performance measures and actions. These actions are evaluated by the simulation model developed, whilst the trade-off between objectives, though somewhat conflicting, is analysed by a preference model. The preference model is designed in an interactive and iterative process considering decision makers preferences regarding the selected key performance indicators (KPIs). A detailed implementation of the framework is demonstrated on an emergency department (ED) of an adult teaching hospital in north Dublin, Ireland. The results show that the unblocking of ED outflows by in-patient bed management is more effective than increasing only the ED physical capacity or the ED workforce

Mathematical Logic: Proof theory, Constructive Mathematics

The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of current mathematics, constructive mathematics and logical aspects of computational complexit

Tools and Algorithms for the Construction and Analysis of Systems

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers