Il corso presenta modelli di calcolo di ispirazione biologica (DNA e Membrane Computing), sviluppando l'aspetto di interazione tra tali modelli e l'analisi computazionale di sistemi biologici.
Richiami su calcoli, grammatiche, linguaggi e automi. Calcoli bioispirati, tipi e paradigmi fondamentali. Struttura DNA, e calcoli di trascrizione e traduzione. Notazioni e Operazioni DNA. Modello geometrico di forme molecolari bilineari. Operazioni su DNA test tube. Modello di Adleman-Lipton e analisi algoritmica di protocolli DNA. PCR. XPCR. Membrane e calcoli su membrane. MP sistemi. Algoritmi metabolici e modelli biologici basati su grammatiche MP. Modelli di dinamiche biologiche. Problemi di biologia computazionale sintetica.
Esame orale.
© 2024 | Università degli studi di Verona
******** CSS e script comuni siti DOL - frase 9957 ********p>
