Modelli simbolici di dinamiche cellulari: algoritmi biomolecolari e sistemi a membrana. (PRIN 2004)

Data inizio
30 novembre 2004
Durata (mesi) 
24
Dipartimenti
Informatica
Responsabili (o referenti locali)
Manca Vincenzo
URL
2004015023_001
Parole chiave
CALCOLO MOLECOLARE;CALCOLO DNA;ALGORITMI BIOMOLECOLARI;CODIFICHE DNA;SISTEMI A MEMBRANE;MODELLI CELLULARI DISCRETI;DINAMICHE SU STRINGHE;ALLINEAMENTO DI SEQUENZE

La ricerca intende sviluppare l'analisi di diversi temi di calcolo molecolare, per conseguire approfondimenti e risultati che pongano le basi per la costruzione e sperimentazione di modelli simbolici di dinamiche cellulari piu' maturi di quelli disponibili allo stato attuale dell'arte. I temi su cui si focalizzera' la ricerca si possono riassumere come segue:
- Analisi algoritmica ed informazionale della struttura del DNA.
- Sistemi a membrane e, in particolare, vari tipi di P-sistemi, loro estensioni e appplicazioni con particolare riguardo ai sistemi con comportamenti periodici complessi e con fenomeni di risonanza.
- Problemi combinatori legati ai temi precedenti e alle codifiche DNA di problemi NP-completi.
- Algoritmi di allineamento basati su sistemi a membrana.
- Formalizzazioni di specifici meccanismi regolatori della cellula attraverso strumenti simbolici del calcolo DNA e dei sistemi a membrane. Studio di casi notevoli.

Enti finanziatori:

Ministero dell'Istruzione dell'Università e della Ricerca
Finanziamento: assegnato e gestito dal dipartimento
Programma: COFIN - Progetti di Ricerca di Interesse Nazionale

Partecipanti al progetto

Vincenzo Manca
Professore ordinario
Giuseppe Scollo

Attività

Strutture