Computational modeling, formal analysis, and tools for systems biology

E Bartocci, P Lió - PLoS computational biology, 2016 - journals.plos.org
As the amount of biological data in the public domain grows, so does the range of modeling
and analysis techniques employed in systems biology. In recent years, a number of …

Current trends and future research directions for interactive music

M Toro - arXiv preprint arXiv:1810.04276, 2018 - arxiv.org
In this review, it is explained and compared different software and formalisms used in music
interaction: sequencers, computer-assisted improvisation, meta-instruments, score …

A new topological entropy-based approach for measuring similarities among piecewise linear functions

M Rucco, R Gonzalez-Diaz, MJ Jimenez, N Atienza… - Signal Processing, 2017 - Elsevier
In this paper we present a novel methodology based on a topological entropy, the so-called
persistent entropy, for addressing the comparison between discrete piecewise linear …

[PDF][PDF] Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models.

A Philippou, M Toro, M Antonaki - Scientific Annals of Computer Science, 2013 - info.uaic.ro
Abstract We propose PAlPs, a Process Algebra with Locations for Population Systems.
PAlPs allows us to produce spatially-explicit individualbased ecological models and to …

[HTML][HTML] Adaptability checking in complex systems

E Merelli, N Paoletti, L Tesei - Science of Computer Programming, 2016 - Elsevier
A hierarchical approach for modelling the adaptability features of complex systems is
introduced. It is based on a structural level S, describing the adaptation dynamics of the …

Multilevel computational modeling and quantitative analysis of bone remodeling

N Paoletti, P Lio, E Merelli… - IEEE/ACM Transactions …, 2012 - ieeexplore.ieee.org
Our work focuses on bone remodeling with a multiscale breadth that ranges from modeling
intracellular and intercellular RANK/RANKL signaling to tissue dynamics, by developing a …

A multi-level model for self-adaptive systems

E Merelli, N Paoletti, L Tesei - arXiv preprint arXiv:1209.1628, 2012 - arxiv.org
This work introduces a general multi-level model for self-adaptive systems. A self-adaptive
system is seen as composed by two levels: the lower level describing the actual behaviour …

A combined process algebraic and stochastic approach to bone remodeling

P Liò, E Merelli, N Paoletti, M Viceconti - Electronic Notes in Theoretical …, 2011 - Elsevier
In adult life the bone is continuously being resorbed and renewed. Here we present a
stochastic model of the homeostatic nature of bone remodeling, where osteoclasts perform …

Multiple levels in self-adaptive complex systems: A state-based approach

L Tesei, E Merelli, N Paoletti - … of the European Conference on Complex …, 2013 - Springer
This work introduces a general multi-level model for self-adaptive systems. A self-adaptive
system is seen as composed by two levels: the lower level describing the actual behaviour …

Osteoporosis: a multiscale modeling viewpoint

N Paoletti, P Liò, E Merelli, M Viceconti - Proceedings of the 9th …, 2011 - dl.acm.org
Our work focuses on bone remodeling with a multiscale breadth that ranges from modeling
intracellular and intercellular RANK/RANKL signaling to tissue dynamics. Several important …