5 papers
Towards Agentic Agent-based Models: Feasibility, Performance, and Statistical Model Checking
Stefano Blando, Emanuele Guerrazzi, Riccardo Porcedda +3
Agent-based models (ABMs) rely on simple, explicit and reproducible rules for individual decision making, while complex collective behavior emerges from interactions among agents.…
Constrained Quantum Optimization meets Model Reduction
Max Tschaikowski, Andrea Vandin
Quantum optimization algorithms promise advantages for difficult problems but are costly to simulate and analyze on classical machines. Recently, constrained quantum optimization h…
Efficient Network Embedding by Approximate Equitable Partitions
Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski +1
Structural network embedding is a crucial step in enabling effective downstream tasks for complex systems that aims to project a network into a lower-dimensional space while preser…
Approximate Constrained Lumping of Chemical Reaction Networks
Alexander Leguizamon-Robayo, Antonio Jiménez-Pastor, Micro Tribastone +2
Gaining insights from realistic dynamical models of biochemical systems can be challenging given their large number of state variables. Model reduction techniques can mitigate this…
Accurate and fast anomaly detection in industrial processes and IoT environments
Simone Tonini, Andrea Vandin, Francesca Chiaromonte +2
We present a novel, simple and widely applicable semi-supervised procedure for anomaly detection in industrial and IoT environments, SAnD (Simple Anomaly Detection). SAnD comprises…