Ricerca avanzata per:
Risultati della ricerca
-
1. Automi, linguaggi formali e combinatoria delle parole (100%)
9-dic-2013 13.27.23Automi, linguaggi formali e combinatoria delle parole Automi, linguaggi formali e combinatoria delle parole, DMI, UniPa, aree di ricerca, La ricerca riguarda la Teoria degli Automi e dei Linguaggi Formali, una delle aree dell'Informatica più consolidate, che trae origine da problematiche relative ai primi computer, ai sistemi di comunicazione ed ai linguaggi di programmazione. Successivamente, gli sviluppi della tecnologia informatica hanno incrementato la necessità di esplorare nuovi modelli
-
2. SSD INF/01 "AUTOMI, LINGUAGGI FORMALI E COMBINATORIA DELLE PAROLE" (32%)
10-feb-2015 22.55.40SSD INF/01 "AUTOMI, LINGUAGGI FORMALI E COMBINATORIA DELLE PAROLE" articolo, notizia, unipa Settore ERC del gruppo: PE6_4 - Theoretical computer science, formal methods, and quantum computing, PE6_6 - Algorithms, distributed, parallel and network algorithms, algorithmic game theory Responsabile scientifico/Coordinatore: RESTIVO Antonio - Prof. Ordinario Componenti: CASTIGLIONE Giuseppa - Ricercatore EPIFANIO Chiara - Ricercatore FICI Gabriele - Ric. a tempo determ. MANTACI Sabrina
-
3. INF INF/01 "AUTOMI, LINGUAGGI FORMALI E COMBINATORIA DELLE PAROLE" (32%)
5-feb-2015 14.14.16INF INF/01 "AUTOMI, LINGUAGGI FORMALI E COMBINATORIA DELLE PAROLE" articolo, notizia, unipa La ricerca riguarda la Teoria degli Automi e dei Linguaggi Formali, una delle aree dell'Informatica più consolidate, che trae origine da problematiche relative ai primi computer, ai sistemi di comunicazione ed ai linguaggi di programmazione. Successivamente, gli sviluppi della tecnologia informatica hanno incrementato la necessità di esplorare nuovi modelli specifici e hanno stimolato
-
4. Network internazionale (11%)
8-lug-2020 11.51.34) AUTOMI, LINGUAGGI FORMALI E COMBINATORIA DELLE PAROLE: - King's College London (Regno Unito
-
5. Reg_Did_LM_Informatica_appr_07-10-15 (9%)
12-ott-2015 11.44.53-editing. - Automi, linguaggi formali e combinatoria delle parole: La ricerca riguarda la Teoria
-
6. Reg_Did_LM_Informatica_appr_30-05-16 (9%)
7-nov-2016 16.08.20e studio di RNA-editing. - Automi, linguaggi formali e combinatoria delle parole: La ricerca
-
7. PIANO TRIENNALE DELLE RICERCHE 2017 (9%)
29-mar-2017 16.40.28in oncologia e neurologia", art.13, DM46965. 11. Automi, linguaggi formali e combinatoria delle parole. Settori ERC di riferimento: PE6_4 - Theoretical computer science, formal methods, and
-
8. Reg_Did_LT_Informatica_appr_07-10-15 (9%)
12-ott-2015 11.44.21delle piante e studio di RNA-editing. - Automi, linguaggi formali e combinatoria delle
-
9. Reg_Did_LT_Informatica_appr_30-05-16 (9%)
7-nov-2016 16.04.57di geni nei genomi delle piante e studio di RNA-editing. - Automi, linguaggi formali e combinatoria delle parole: La ricerca riguarda la Teoria degli Automi e dei Linguaggi Formali, una delle aree