ETD

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

Tesi etd-07122007-092159


Tipo di tesi
Tesi di dottorato di ricerca
Autore
Milazzo, Paolo
URN
etd-07122007-092159
Titolo
QUALITATIVE AND QUANTITATIVE FORMAL MODELING OF BIOLOGICAL SYSTEMS
Settore scientifico disciplinare
INF/01
Corso di studi
INFORMATICA
Relatori
Relatore Prof. Barbuti, Roberto
Relatore Prof. Maggiolo Schettini, Andrea
Parole chiave
  • simulazione
  • semantica
  • metodi formali
  • systems biology
Data inizio appello
21/06/2007
Consultabilità
Completa
Riassunto
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