ETD

Digital archive of theses discussed at the University of Pisa

 

Thesis etd-07122007-092159


Thesis type
Tesi di dottorato di ricerca
Author
Milazzo, Paolo
URN
etd-07122007-092159
Thesis title
QUALITATIVE AND QUANTITATIVE FORMAL MODELING OF BIOLOGICAL SYSTEMS
Academic discipline
INF/01
Course of study
INFORMATICA
Supervisors
Relatore Prof. Barbuti, Roberto
Relatore Prof. Maggiolo Schettini, Andrea
Keywords
  • simulazione
  • semantica
  • metodi formali
  • systems biology
Graduation session start date
21/06/2007
Availability
Full
Summary
Nella tesi si sviluppa un formalismo basato su riscrittura di termini e lo si propone come strumento per la descrizione di sistemi biologici. Tale formalismo, chiamato calculus of looping sequences (cls) consente di descrivere proteine, dna e membrane come termini, e interazioni tra questi elementi come regole di riscrittura.
Diverse varianti di cls sono studiate al fine di descrivere diversi aspetti dei sistemi biologici, inoltre vengono definite equivalenze sul comportamento dei sistemi (bisimulazioni) e una versione stocastica del formalismo che consente di sviluppare strumenti di simulazione.
File