Non-conventional Calculation Methods (2005/2006)

Course partially running

Course code
4S00057
Name of lecturer
Vincenzo Manca
Number of ECTS credits allocated
5
Other available courses
Academic sector
INF/01 - INFORMATICS
Language of instruction
Italian
Period
Third four month term dal Apr 3, 2006 al Jun 9, 2006.

Lesson timetable

Third four month term
Day Time Type Place Note
Tuesday 11:30 AM - 1:30 PM lesson Lecture Hall E  
Wednesday 8:30 AM - 11:30 AM lesson Lecture Hall E  

Learning outcomes

Il corso intende presentare i metodi ed i risultati fondamentali del "DNA Computing" e del "Membrane Computing" nel quadro notazionale e concettuale delle teorie delle stringhe, dei linguaggi formali e degli automi.

Syllabus

1. Calcolo, informazione e spazi di dati.
2. Monoidi, modelli fisici di stringhe e pattern lineari.
3. Struttura del DNA e algoritmi di duplicazione.
4. Analisi computazionale di protocolli biomolecolari:
PCR, Gel-Elettroforesi,Sequenziamento, Enzimi di restrizione,
Selezione per affinita',Mix and split,Blocking.
5. Esperimento di Adleman e calcoli biomolecolari.
6. Modello di Adleman-Lipton ed estensioni.
7. Algoritmi biomolecolari per SAT
8. Linguaggi formali e principali gerarchie.
9. Bisomatismo, trisomatismo e duplicazione.
10. Teoremi di Klene, Ginzburg, Kuroda, Post, Savich.
11. Schemi e regole di ricombinazione di stringhe.
12. Strategie di derivazione e di regolazione.
13. Sistemi monoidali e universalita'.
14. Sistemi di Head e Splicing finito: lemma di regolarita'.
15. Sistemi dinamici discreti.
16. Sistemi a membrana.

Assessment methods and criteria

Esame orale.