Tootfinder

This https://arxiv.org/abs/2412.18751 has been replaced.
initial toot: https://mastoxiv.page/@arXi…

Two apparently different interfacial stress formulations constructed from the diffuse interface free energy model
To express the capillary stress in the diffuse interface method, there are two different formulations in the literature: one formulation is proportional to the density and the other is to the density gradient. In the present study, we theoretically show that only the latter represents the capillary stress in one-component fluids and the former represents the stress related to the osmotic pressure.

Model Checking as Program Verification by Abstract Interpretation (Extended Version)
Paolo Baldan, Roberto Bruni, Francesco Ranzato, Diletta Rigo
https://arxiv.org/abs/2506.05525 …

Model Checking as Program Verification by Abstract Interpretation (Extended Version)
Abstract interpretation offers a powerful toolset for static analysis, tackling precision, complexity and state-explosion issues. In the literature, state partitioning abstractions based on (bi)simulation and property-preserving state relations have been successfully applied to abstract model checking. Here, we pursue a different track in which model checking is seen as an instance of program verification. To this purpose, we introduce a suitable language-called MOKA (for MOdel checking as abst…

SimBank: from Simulation to Solution in Prescriptive Process Monitoring
Jakob De Moor, Hans Weytjens, Johannes De Smedt, Jochen De Weerdt
https://arxiv.org/abs/2506.14772

SimBank: from Simulation to Solution in Prescriptive Process Monitoring
Prescriptive Process Monitoring (PresPM) is an emerging area within Process Mining, focused on optimizing processes through real-time interventions for effective decision-making. PresPM holds significant promise for organizations seeking enhanced operational performance. However, the current literature faces two key limitations: a lack of extensive comparisons between techniques and insufficient evaluation approaches. To address these gaps, we introduce SimBank: a simulator designed for accurat…

Inverted Classroom in der Einf\"uhrungsveranstaltung Programmierung
Ulrich von Zadow, Natalie Kiesler
https://arxiv.org/abs/2506.10057 https://…

Inverted Classroom in der Einführungsveranstaltung Programmierung
Traditionally, the introductory programming course for computer science students at Nuremberg Tech had been implemented as a combination of lectures and exercise sessions. Due to high failure rates in the winter semester 2023/24, an experimental teaching concept based on the inverted classroom was implemented for one cohort in the winter semester 2024/25. Students had to prepare themselves through literature work and activating teaching and learning methods. The course was accompanied by a seri…

This https://arxiv.org/abs/2412.01753 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…

Human-Machine Interfaces for Subsea Telerobotics: From Soda-straw to Natural Language Interactions
This review explores the evolution of human-machine interfaces (HMIs) in subsea telerobotics, charting the progression from traditional first-person "soda-straw" consoles -- characterized by narrow field-of-view camera feeds -- to contemporary interfaces leveraging gesture recognition, virtual reality, and natural language processing. We systematically analyze the state-of-the-art literature through three interrelated perspectives: operator experience (including immersive feedback, cognitive wo…

Characterising Bugs in Jupyter Platform
Yutian Tang, Hongchen Cao, Yuxi Chen, David Lo
https://arxiv.org/abs/2506.14055 https://arxiv…

Characterising Bugs in Jupyter Platform
As a representative literate programming platform, Jupyter is widely adopted by developers, data analysts, and researchers for replication, data sharing, documentation, interactive data visualization, and more. Understanding the bugs in the Jupyter platform is essential for ensuring its correctness, security, and robustness. Previous studies focused on code reuse, restoration, and repair execution environment for Jupyter notebooks. However, the bugs in Jupyter notebooks' hosting platform Jupyte…

A Direct Reduction from Stochastic Parity Games to Simple Stochastic Games
Rapha\"el Berthon, Joost-Pieter Katoen, Zihan Zhou
https://arxiv.org/abs/2506.06223

A Direct Reduction from Stochastic Parity Games to Simple Stochastic Games
Significant progress has been recently achieved in developing efficient solutions for simple stochastic games (SSGs), focusing on reachability objectives. While reductions from stochastic parity games (SPGs) to SSGs have been presented in the literature through the use of multiple intermediate game models, a direct and simple reduction has been notably absent. This paper introduces a novel and direct polynomial-time reduction from quantitative SPGs to quantitative SSGs. By leveraging a gadget-b…

An Algorithmic Pipeline for GDPR-Compliant Healthcare Data Anonymisation: Moving Toward Standardisation
Hamza Khan, Lore Menten, Liesbet M. Peeters
https://arxiv.org/abs/2506.02942

An Algorithmic Pipeline for GDPR-Compliant Healthcare Data Anonymisation: Moving Toward Standardisation
High-quality real-world data (RWD) is essential for healthcare but must be transformed to comply with the General Data Protection Regulation (GDPR). GDPRs broad definitions of quasi-identifiers (QIDs) and sensitive attributes (SAs) complicate implementation. We aim to standardise RWD anonymisation for GDPR compliance while preserving data utility by introducing an algorithmic method to identify QIDs and SAs and evaluate utility in anonymised datasets. We conducted a systematic literature review…

Analytical solution for dynamic evaporation of liquid in isothermal condition
Luiz Eduardo Czelusniak, Tim Niklas Bingert, Stephan Simonis, Alexander J. Wagner, Mathias J. Krause
https://arxiv.org/abs/2506.02270

Analytical solution for dynamic evaporation of liquid in isothermal condition
An analytical solution based on a diffuse interface model is presented for an isothermal evaporation problem under sub-saturation pressure. The macroscopic equations are derived from the free-energy method, widely recognized in the lattice Boltzmann literature, distinguishing our approach from conventional evaporation models that rely on jump conditions or pure kinetic theory. The interface behavior is fully described by differential equations, eliminating the need for assumptions such as local…