Sistema ETD

banca dati delle tesi e dissertazioni accademiche elettroniche

 

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
Commissione
Relatore Prof. Barbuti, Roberto
Relatore Prof. Maggiolo Schettini, Andrea
Parole chiave
  • simulazione
  • semantica
  • metodi formali
  • systems biology
Data inizio appello
21/06/2007;
Disponibilità
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