Dipartimento di Informatica

Progetti

• 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
  • Automatic Translation into sign LAnguageS (ATLAS)
  • 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
    • Dramasearch
  • DISCO (Distribution, Interaction, Specification, Composition for Object Systems)
  • Formal Verification of Object-Oriented Software (COST Action IC0701)
  • Rich-Model Toolkit (COST Action IC0901)
  • LCaTfOOPC: Language constructs and type systems for object oriented program components
  • MeCTAFI: Constructive Methods in Topology, Algebra and Foundations of Computer Science
  • 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)
  • BioBITs: Developing white and green biotechnologies by converging platforms from biology and information technology towards metagenomics
  • IPODS
  • myMed
  • 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
  • INCA (INteractive Content Architecture)
  • IS4.MOBI (Interactive Services for Mobile)
  • SALC (Services à la Carte)
  • Information Dynamics in Complex Data Structures
• PROGETTI PRECEDENTI
  • Automating FMECA for aircraft systems (AUTAS)
  • Customer-Adaptive Web Interface for the Configuration of Products and Services (CAWICOMS)
  • Digital TV: Ontologies and semantic proximity
  • FOndazioni Logiche di LInguaggi Astratti di Programmazione (FOLLIA) --- PRIN2004
  • I fondamenti cognitivi per la creazione del diritto [Cognitive basis in law] (PRIN05)
  • INteractive TouRist Information GUidE (INTRIGUE)
  • Knowledge-oriented technologies for enterprise aggregation in Internet (TOCAI.IT)
  • Legal Taxonomy Syllabus
  • Personalized Television Services
  • Protecting Web Resources from Massive Automated Access
  • Smart Tourist Agenda Recommender (STAR)
  • Specifica e verifica di protocolli di interazione fra agenti
  • User Adaptive Web-based Systems (SeTA )
  • Wide-scalE, Broadband, Middleware for Network Distributed Services (WEB MINDS)
  • SmartLab
  • Diagnosis of complex Web Services (WS-DIAMOND)
  • PeeR-to-peer beyOnd FILE Sharing (PROFILES)
  • Critical UTility InfrastructurAL resilience (CRUTIAL )
  • Performability-Aware Computing: Logics, Models, and Languages (PaCo)
  • Intelligent Support to Retrieving Hydric Resources Data (Acqua)
  • Recommendation and Discovery for Personal Video Recorder (RD-PVR)