Salta al contenuto principale
Passa alla visualizzazione normale.

Ricerca avanzata per:

Risultati della ricerca

  • 1. Automi, linguaggi formali e combinatoria delle parole (100%)

    9-dic-2013 13.27.23

    Automi, 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.40

    SSD 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.16

    INF 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.20

    e 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.28

    in 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.21

    delle 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.57

    di 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