logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-09172016-124649


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
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 defined by providing their
syntax notations and formal semantics as inference rules. Case study are provided with examples for all three formalism.
File