ETD system

Electronic theses and dissertations repository

 

Tesi etd-07122007-092159


Thesis type
Tesi di dottorato di ricerca
Author
Milazzo, Paolo
URN
etd-07122007-092159
Title
QUALITATIVE AND QUANTITATIVE FORMAL MODELING OF BIOLOGICAL SYSTEMS
Settore scientifico disciplinare
INF/01
Corso di studi
INFORMATICA
Supervisors
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 analitico
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