-
PROGETTI CORRENTI
- Analisi delle infrastrutture, logiche e tecnologiche a supporto del sito Web della Regione Valle d'Aosta
- Applicazione della IA alle Linee Guida Mediche
- Combinatory Categorial Grammar Bank for Italian (CCGBank)
- Digital Watermarking for Multimedia Content Protection
- Evalita 2009 - Parsing Task
-
ICT Converging on Law: Next Generation Services for Citizens, Enterprises, Public Administration and Policymakers (ICT4LAW)
- OASIS
- QUEST/FICSR : QUery-driven Exploration of Semistructured data and metadata with conflicTs and partial knowledge (at Arizona State University)
- Sistemi Cognitivi per la Robotica di Servizio
- Supervisione Intelligente di Sistemi Aereospaziali
- Turin University Treebank (TUT)
- Classificazione automatica di programmi televisivi
- CONtrollo e CERTificazione dell'usO delle risorse (CONCERTO) --- PRIN2007
- Dramatour
- Rich-Model Toolkit (COST Action IC0901)
- Logique Lineaire at Application
- CRISTAL : Contrôle des Ressources par Interprétations Sémantiques et Théorie de la démonstrAtion Linéaire ?(Resource Control by Semantic Interpretations and Linear Proof Theory)
- PIEMONTE
- A framework for building Web-based Intelligent Repositories of ICT Solutions for E-business (ARNEIS )
- User-centred Cloud
- ParaPhrase: Parallel Patterns for Adaptive Heterogeneous Multicore Systems
- IS4.MOBI (Interactive Services for Mobile)
- SALC (Services à la Carte)
- Information Dynamics in Complex Data Structures
- Behavioural Types for Reliable Large-Scale Software Systems (BETTY)
- Logical Methods of Information Management
- Innovative Methods for Particle Colliders at the Terascale (IMPACT)
- HiPEAC: European Network of Excellence on High Performance and Embedded Architecture and Compilation
- Advanced Methodologies for the Analysis and management of the Future Internet (AMALFI)
- INCA (INteractive Content Architecture)
- Automatic Translation into sign LAnguageS (ATLAS)
- ToM: Tourist on the Move
- Compositionality, Interaction, Negotiation, Autonomicity for the future ICT society (CINA)
- SALT: Self-adaptive, Autonomic, Light Types
Ricerca: dettaglio
CRISTAL : Contrôle des Ressources par Interprétations Sémantiques et Théorie de la démonstrAtion Linéaire ?(Resource Control by Semantic Interpretations and Linear Proof Theory)
Il progetto riunisce l'équipe INRIA ORIA- EPI Carte 615,(Nancy, Francia) e il Dipartimento di Informatica come "Equipe INRIA associé". In particolare, i membri italiani coinvolti sono Simona Ronchi Della Rocca (responsabile), Marco Gaboardi, Luca Roversi, Mauro Piccolo. L'obiettivo del progetto è la collaborazione su temi di Logica Lineare e Complessità Computazionale Implicita. Appartiene a: |
Dipartimento di Informatica - C.So Svizzera, 185 - 10149 Torino
Università degli Studi di Torino - Via Verdi, 8 - 10124 Torino - Centralino +39 011 6706111
P.I. 02099550010 - C.F. 80088230018 - IBAN IT07N0306909217100000046985