Tesi etd-09172016-124649 |
Link copiato negli appunti
Tipo di tesi
Tesi di dottorato di ricerca
Autore
BOVE, PASQUALE
URN
etd-09172016-124649
Titolo
Methodologies & formalisms for modeling macroscopic biological problems
Settore scientifico disciplinare
INF/01
Corso di studi
INFORMATICA
Relatori
tutor Prof. Barbuti, Roberto
relatore Dott. Milazzo, Paolo
relatore Dott. Milazzo, Paolo
Parole chiave
- formalism for biology
- P system
- population dynamic
- stochastic model
Data inizio appello
16/10/2016
Consultabilità
Completa
Riassunto
This work presents a new computational approach, based on the formalism of P systems,
for modelling and running simulations of animal population dynamics phenomena.
The three formalisms proposed are: MPP systems (Minimal Probabilistic P systems),
APP systems (Attributed Probabilistic P systems) and MAPP systems (Multilevel Attributed
Probabilistic P systems). All of them are formally defi ned by providing their
syntax notations and formal semantics as inference rules. Case study are provided with examples for all three formalism.
for modelling and running simulations of animal population dynamics phenomena.
The three formalisms proposed are: MPP systems (Minimal Probabilistic P systems),
APP systems (Attributed Probabilistic P systems) and MAPP systems (Multilevel Attributed
Probabilistic P systems). All of them are formally defi ned by providing their
syntax notations and formal semantics as inference rules. Case study are provided with examples for all three formalism.
File
| Nome file | Dimensione |
|---|---|
| Pasquale_Bove.pdf | 1.90 Mb |
Contatta l’autore |
|