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
Commissione
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.<br>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.<br>
File