Bigraphs and bigraphical reactive systems are a well-known meta-model successfully used for formalizing a wide range of models and situations, such as process calculi, service oriented architectures, multi-agent systems, biological systems, etc. A …
Since 1948, Shannon theoretic methods for modeling information have found a wide range of applications in several areas where information plays a key role, which goes well beyond the original scopes for which they have been conceived, namely data …
Legionella spp. are considered an important cause of potentially preventable morbidity and mortality, making environmental surveillance a crucial component of risk assessment plans. In this work, historical data of about 24,000 water samples …
Multi-core and highly connected architectures have become ubiquitous, and this has brought renewed interest in language-based approaches to the exploitation of parallelism. Since its inception, logic programming has been recognized as a programming …
Parametric dynamical systems emerge as a formalism for modeling natural and engineered systems ranging from biology, epidemiology, and medicine to cyber-physics. Parameter tuning is a complex task usually performed exploiting heavy simulations having …
Breathing asynchronies are mismatches between the requests of mechanically ventilated subjects and the support provided by mechanical ventilators. The most widespread technique in identifying these pathological conditions is the visual analysis of …