MILAZZO, PAOLO Statistiche

MILAZZO, PAOLO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 129 (tempo di esecuzione: 0.032 secondi).
Titolo Data di pubblicazione Autore(i) File
IoT based dynamic Bayesian prediction of crop evapotranspiration in soilless cultivations 1-gen-2023 Kocian, A.; Carmassi, G.; Cela, F.; Chessa, S.; Milazzo, P.; Incrocci, L.
Quantitative extensions of reaction systems based on SOS semantics 1-gen-2023 Brodo, Linda; Bruni, Roberto; Falaschi, Moreno; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
Analysis and Verification of Robustness Properties in Becker-Döring Model 1-gen-2022 Nasti, L.; Gori, R.; Milazzo, P.
Process Algebras in Systems Biology 1-gen-2022 Milazzo, Paolo
RETT SYNDROME OMICS DATABASE 1-gen-2022 Borello, Ugo; Cillàri, Nico; Milazzo, Paolo; Neri, Giuseppe; Pisanti, Nadia; Scalisi, Marta
Analysis of COVID-19 Data with PRISM: Parameter Estimation and SIR Modelling 1-gen-2021 Milazzo, P.
Characterization and computation of ancestors in reaction systems 1-gen-2021 Barbuti, R.; Bernasconi, A.; Gori, R.; Milazzo, P.
Classification of Biochemical Pathway Robustness with Neural Networks for Graphs 1-gen-2021 Podda, M.; Bove, P.; Micheli, A.; Milazzo, P.
Encoding Boolean networks into reaction systems for investigating causal dependencies in gene regulation 1-gen-2021 Barbuti, R.; Gori, R.; Milazzo, P.
Exploiting Modularity of SOS Semantics to Define Quantitative Extensions of Reaction Systems 1-gen-2021 Brodo, Linda; Bruni, Roberto; Falaschi, Moreno; Gori, Roberta; Levi, Francesca; Milazzo, Paolo
Formal characterization and efficient verification of a biological robustness property 1-gen-2021 Nasti, L.; Gori, R.; Milazzo, P.
In silico modeling of biochemical pathways 1-gen-2021 Milazzo, Paolo; Gori, Roberta; Micheli, Alessio; Nasti, Lucia; Podda, Marco
A survey of gene regulatory networks modelling methods: from differential equations, to Boolean and qualitative bioinspired models 1-gen-2020 Barbuti, Roberto; Gori, Roberta; Milazzo, Paolo; Nasti, Lucia
Bayesian sigmoid-type time series forecasting with missing data for greenhouse crops 1-gen-2020 Kocian, A.; Carmassi, G.; Cela, F.; Incrocci, L.; Milazzo, P.; Chessa, S.
Biochemical pathway robustness prediction with graph neural networks 1-gen-2020 Podda, M.; Bacciu, D.; Micheli, A.; Milazzo, P.
Dynamic Bayesian network for crop growth prediction in greenhouses 1-gen-2020 Kocian, A.; Massa, D.; Cannazzaro, S.; Incrocci, L.; Di Lonardo, S.; Milazzo, P.; Chessa, S.
Prediction of dynamical properties of biochemical pathways with graph neural networks 1-gen-2020 Bove, P.; Micheli, A.; Milazzo, P.; Podda, M.
Validation of a Simulation Algorithm for Safety-Critical Human Multitasking 1-gen-2020 Broccia, Giovanna; Milazzo, Paolo; Belviso, Cristina; BERROCAL MONTIEL, Carmen
Formal modeling and analysis of safety-critical human multitasking 1-gen-2019 Broccia, G.; Milazzo, P.; Olveczky, P. C.
Guest editors' foreword 1-gen-2019 Galpin, V.; Milazzo, P.; Monreale, A.