Un'applicazione del SAT-solver in bioinformatica

Speaker:
Marco Pedicini
Quando:
23/04/2010 - 11:30
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Abstract

Lo studio di sistemi dinamici adatti alla descrizione dei sistemi biologici e' sempre stato di fondamentale interesse per le implicazioni che puo' avere nelle applicazioni in medicina. La possibilita' di accedere a dati sperimentali che rendono la descrizione dei fenomeni biologici con un livello di dettaglio che si spinge fino al livello molecolare, rendono necessario l'utilizzo di modelli interpretativi della realta' in grado di spiegare fenomeni complessi.

Nello studio del sistema immunitario abbiamo proposto una nuova metodologia per combinare
- database di letteratura specialistica (dataminig),
- serie temporali di dati di microarray,
- modello della dinamica meno accurato,

e fornire un modello piu' accurato per la descrizione del sistema di interazione tra geni che governa la reazione del sistema immunitario (differenziazione delle cellule T).

Lavoro in preparazione: M. Pedicini, F. Barrenas, T. Clancy, F. Castiglione, E. Hovig, K. Kanduri, D. Santoni, M. Benson. Combining network modeling and gene expression microarray analysis to explore the dynamics of Th1 and Th2 cell regulation.