1 citations · 1 across the 1 of their papers we have counts for
3 papers
Estimation and Modelling of PCBs Bioaccumulation in the Adriatic Sea Ecosystem
Marianna Taffi, Nicola Paoletti, Pietro Liò +3
Persistent Organic Pollutants represent a global ecological concern due to their ability to accumulate in organisms and to spread species-by-species via feeding connections. In thi…
Disease processes as hybrid dynamical systems
Pietro Liò, Emanuela Merelli, Nicola Paoletti
We investigate the use of hybrid techniques in complex processes of infectious diseases. Since predictive disease models in biomedicine require a multiscale approach for understand…
Multiple verification in computational modeling of bone pathologies
Pietro Liò, Emanuela Merelli, Nicola Paoletti
We introduce a model checking approach to diagnose the emerging of bone pathologies. The implementation of a new model of bone remodeling in PRISM has led to an interesting charact…