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

Starting date
November 30, 2004
Duration (months)
24
Departments
Computer Science
Managers or local contacts
Manca Vincenzo
URL
2004015023_001
Keyword
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.

Sponsors:

Ministero dell'Istruzione dell'Università e della Ricerca
Funds: assigned and managed by the department
Syllabus: COFIN - Progetti di Ricerca di Interesse Nazionale

Project participants

Vincenzo Manca
Full Professor
Giuseppe Scollo

Activities

Research facilities