Machine Intelligence

Research in the area of Machine Intelligence aims at developing and studying computational and mathematical models, algorithms, theories, and paradigms for analyzing, understanding, and modeling data, or more generally, reasoning about them. Key methodologies span across different interdisciplinary fields, such as artificial intelligence, symbolic computation, machine learning, signal and image processing, computer vision, and computer graphics. In more detail, in artificial intelligence topics of interest include knowledge representation and reasoning, intelligent agents and multi-agent systems, theorem proving and model building, as well as search methodologies, with emphasis on discrete space search. In machine learning main methods and approaches relate to graphical models, statistical learning and kernel theories, and multiclassifier methods for classification and clustering. In multi-dimensional signal processing the studied techniques regard advanced filtering, feature extraction and segmentation methods, multiresolution and sparse signal representations, time(space)/scale methods, including wavelets, compressive sensing, large scale image characterization and retrieval tools, related to both optical and multimodal images. Computer vision mainly exploits geometric and probabilistic approaches for 3D reconstruction, object recognition, dynamic scene analysis and understanding. Computer graphics relates geometric/physically-based theories for object modeling, shape analysis and visualization.

Documents

pdf Brochure di presentazione dell'area  (pdf,  it, 233 KB)
pdf Presentazione Research Day 2017  (pdf,  it, 3556 KB)
Cigdem Beyan
Associate Professor
Manuele Bicego
Associate Professor
Maria Paola Bonacina
Full Professor
Umberto Castellani
Full Professor
Alberto Castellini
Temporary Assistant Professor
Ferdinando Cicalese
Full Professor
Matteo Cristani
Associate Professor
Alessandro Daducci
Associate Professor
Alessandro Farinelli
Full Professor
Vittorio Murino
Full Professor
Claudio Tomazzoli
Temporary Assistant Professor
Research interests
Topic People Description
Artificial intelligence standard compliant  ACM 2012
Intelligent Agents Alberto Castellini
Matteo Cristani
Alessandro Farinelli
Design and development of autonomous entities that can sense, model and interact with the environment in which they operate. Main research topics include: action planning, reinforcement learning, reasoning in face of uncertainty.
Modellazione statistica di dati multimediali Cigdem Beyan
Vittorio Murino
Modellazione di immagini e video, utilizzando strumenti statistici e probabilistici, quali modelli generativi (misture di Gaussiane, modelli di Markov a stati nascosti), discriminativi (Kernel Machines) ed embedding generativi, in spazi euclidei e non. Tale modellazione porta ad applicazioni come riconoscimento e rivelamento di oggetti, tracking, che si collocano nell'ambito della video sorveglianza, analisi di dati medicali e nell'analisi di segnali sociali o social signal processing. In particolare, le mie specialità attuali sono la re-identificazione e la detection per la sorveglianza, la segmentazione e classificazione per l'analisi di segnali medicali e l'analisi di attività interattive per il social signal processing.
Multi-modal biomedical image processing Alessandro Daducci
Computer vision and computational intelligence. Segmentation of multi-dimensional multi-modal data and objective validation of the outcomes.
Automated Reasoning Maria Paola Bonacina
Matteo Cristani
Automated theorem proving; Automated model building; Reasoning about programs; Strategy analysis; Distributed automated deduction; Theorem proving strategies: ordering-based strategies (resolution and rewriting), subgoal-reduction strategies, instance-based strategies; Decision procedures for satisfiability modulo theories and their application to check program properties
Rappresentazione della conoscenza Matteo Cristani
Claudio Tomazzoli
La rappresentazione della conoscenza è il settore di ricerca a cavallo tra Intelligenza Artificiale e Sistemi Informativi che si occupa del problema di elaborare informazione di natura non numerica.
Sistemi avanzati per il riconoscimento Vittorio Murino
Due sono gli ambiti principali di ricerca: 1) studio di descrittori di basso livello per addestrare classificatori avanzati; in questo caso, l'idea è di progettare descrittori compatti e informativi per l'object recognition e detection. Particolare enfasi viene data allo studio di descrittori giacenti su spazi non euclidei, come varietà Riemanniane, manipolando nozioni di Information Geometry 2) studio di tecniche di classificazione ibride generative e discriminative; qui l'obiettivo è di sfruttare le caratteristiche vincenti dei modelli generativi (misture di Gaussiane, modelli di Markov a stati nascosti, topic models) e dei modelli discriminativi (Support Vector Machines) combinandole attraverso meccanismi di embedding. In tal maniera, le misure di bontà dei classificatori risultanti superano quelle dei modelli di partenza.
Multiagent Systems Matteo Cristani
Alessandro Farinelli
Design and development of multiagent systems, where intelligent agents can interact among them and with the environment. Main research topics include: task assignment, distributed constraint optimization, decentralized optimization, decentralized reinforcement learning, cooperative perception.
Video Surveillance and Monitoring Cigdem Beyan
Vittorio Murino
This research aims at the analysis of people and the interpretation/recognition of human activities, possibly at the detection and prediction of events in unconstrained scenes, at individual, group and crowd level. In particular, the main target is on the analysis of nonverbal human behaviour, activities, and dialogue classification by considering vocal behavior, face & gazing, gesture & posture, space & environment. More specifically, the focus is on tracking and re-identification, object/person detection and classification, human pose estimation and activity recognition, automatic PTZ camera control, subjective surveillance, mobile sensing, data fusion.
Computer Vision Manuele Bicego
Vittorio Murino
Investigation of computational tools for the analysis of images and videos, with main goal of extracting useful information. In particular, 2D/3D object classification, 3D reconstruction, person detection and classification, video analysis and understanding, activity recognition, and in biometrics (face recognition and authentication, facial feature extraction, multimodal biometrics, behavioural biometrics) with application in video surveillance and biomedical image analysis.
Computer graphics standard compliant  ACM 2012
Computational Geometry Umberto Castellani
Shape analysis: development of local and global shape descriptors, extraction of curve skeletons from 3D meshes, mesh processing tools. Shape retrieval methodologies and benchmarking.
Machine learning standard compliant  ACM 2012
Behavior analysis Vittorio Murino
The goal is to study human inner and outer behavior in order to find possible brain correlates with the (outer) expressive behavior. In the context of behavioral diseases (e.g., autism, schizophrenia, Alzhaimer, Mild Cognitive Impairment, etc.), the main idea is to exploit computer vision and pattern recognition techniques to analyse nonverbal human behavior (face, posture, gesture, etc.) as well as neuroimaging data so to identify possible correlations or characteristic biomarkers. This research not only would support early diagnosis of the pathology but also the monitoring of the effects of the pharmacological treatment.
Biomedical data processing Alessandro Daducci
Feature extraction and integration from multi-modal data using multi-scale sparse representations for the definition of numerical biomarkers. Pattern recognition and machine learning for medical imaging and behavioral analysis.
Neuroimaging Data Analysis Alessandro Daducci
Vittorio Murino
This domain regards the analysis of data coming from sensing devices measuring the brain strucural and functional information. The main utilised device is Magnetic Resonance Imaging (MRI) in its various modalities such as diffusion, structural, and functional MRI, as well as other sensors like EEG, fNIRS, MEG. The main goal is to better understanding brain functions by means of an integrated functional and structural analysis of the brain connectivity or of specific brain regions. This investigation is mainly performed with reference to neurological disorders - like autism and schizophrenia - and in comparison with control (healthy) subjects.
Decision Tree Optimization Ferdinando Cicalese
One of the most studied data mining tasks in the literature is the classification task, consisting of learning a predictive relationship between input values and a desired output. A classification problem can also be viewed as an optimization problem, namely as the problem of building a model that maximizes the predictive accuracy—the number of correct predictions—in the test data (unseen during training). We are interested in the problem of optimizing the construction of decision trees. Decision trees are widely used in data mining and machine learning as comprehensible representation models, given that they can be easily represented in a graphical form and also as a set of classification rules, which can be expressed in natural language in the form of IF-THEN rules.
Pattern Recognition Manuele Bicego
Umberto Castellani
Alberto Castellini
Vittorio Murino
The main focus is on the study and development of automatic techniques and models able to extract information from real world data, typically in terms of classes or clusters. Special attention is on probabilistic models - like Hidden Markov Models, Mixtures, Topic Models - and on kernel machines - like Support Vector Machines. In these contexts the interest is in designing novel models/methodologies, like hybrid generative-discriminative methods, generative embeddings and kernels, novel classification or clustering schemes, model selection techniques and others. The focus is on reasoning on representation issues (how to extract features, how to process the original problem space) as well as on unconventional employment of standard techniques (like boosting or SVM for clustering). Another field of interest is the processing of sequential data (using for example Hidden Markov Model).
Gruppi di ricerca
Name Description URL
Algoritmi Il gruppo persegue lo studio degli aspetti strutturali di problemi fondamentali in informatica e dei loro modelli. Lo scopo è porre le basi per la progettazione di algoritmi protocolli e sistemi migliori e comprenderne i limiti computazionali. Aree specifiche di interesse includono: progettazione di algoritimi, strutture dati, algoritmi su stringhe, complessità, ottimizzazione combinatoriale, codici e teoria dell’informazione, machine learning. I problemi investigati hanno forti connessioni con le aree della bioinformatica, delle reti di comunicazione, della ricerca operativa e dell’intelligenza artificiale.
Algoritmi in Bioinformatica e Calcolo Naturale Applicazione di metodi teorici e di analisi dati per modellare l’informazione sottostante ai processi biologici: algoritmi su grafi e stringhe per la biologia dei sistemi; strutture dati avanzate per sequenze di dati; misure di distanza tra sequenze biologiche; calcolo naturale (biotecnologico, e a membrane), riconoscimento di pattern, e apprendimento automatico da dati biomedicali.
ARLette - Laboratorio di Ragionamento Automatico Il gruppo svolge ricerche in Ragionamento Automatico: dimostrazione di teoremi, procedure di decisione, soddisfacibilità modulo assegnamenti, costruzione di modelli, riscrittura, e applicazioni.
Biomedical Imaging Tecniche di Imaging sperimentali e traslazionali principalmente sulle tecniche di Imaging a Risonanza Magnetica e Imaging Ottico
Intelligenza Artificiale (IA) Il gruppo svolge ricerche in Intelligenza Artificiale: Ragionamento Automatico, Algoritmi di Ricerca, Rappresentazione della Conoscenza, Apprendimento Automatico, Sistemi Multi-Agenti e applicazioni.
ISLa - Intelligent Systems Lab Intelligenza artificiale, statistical learning ed analisi dei dati per sistemi intelligenti https://isla-lab.github.io/
K.Re.Art.I. Rappresentazione della conoscenza tramite tecniche di IJntelligenza Artificiale
Logica Logica in matematica ed informatica. https://www.logicverona.it/
PARCO – Parallel Computing Obiettivo del gruppo di ricerca è lo sviluppo e ottimizzazione di Software per sistemi di calcolo multi-core CPU/many-core GPU con vincoli di risorse (e.g., Edge Computing) e per sistemi di calcolo ad alte prestazioni (High-performance Computing – HPC).
Robotica, Intelligenza Artificiale e Controllo Il gruppo di ricerca si occupa di robotica non convenzionale
Visione, Immagini, Pattern e Segnali (VIPS) Le attività del gruppo VIPS sono rivolte all’analisi, al riconoscimento, alla modellazione e alla predizione di pattern e segnali multidimensionali e multimediali mediante metodi di intelligenza artificiale e apprendimento automatico. Le competenze specifiche e i domini applicativi riguardano: elaborazione delle immagini, visione artificiale, riconoscimento di pattern, interazione uomo-macchina, grafica al calcolatore e modellazione digitale, realtà virtuale e mista, gaming e all’analisi e modellazione di dati in ambito biomedicale e delle neuroscienze a fini di ricerca di base e traslazionale. http://vips.sci.univr.it/
Projects
Title Managers Sponsors Starting date Duration (months)
Algoritmo di ottimizzazione dei riposi per autisti professionali Ferdinando Cicalese INFOGESTWEB Srl 2/22/24 2
Comparative analysis of solutions based on evolutionary algorithms for generalized and multi-objective VRP Alessandro Farinelli HPA s.r.l. 12/21/23 5
Studio di tecniche di apprendimento profondo per la segmentazione semantica di immagini Vittorio Murino EVS EMBEDDED VISION SYSTEMS srl 12/7/23 12
Sistemi di classificazione di testi brevi con LLM Matteo Cristani Creactives S.p.A. 11/23/23 12
Deep matching for structure from motion (DEMO)” Umberto Castellani 3DFLOW SRL 11/15/23 14
Tecnologie di Intelligenza Artificiale per il Monitoraggio del Comportamento di Pazienti Allettati - TIAMoPA Vittorio Murino EVS EMBEDDED VISION SYSTEMS srl 8/31/23 12
Threat data analysis Roberto Giacobazzi Università degli Studi della Calabria - Dipartimento DIMES 6/6/23 4
Model based visual inspection Umberto Castellani Aiviz s.r.l. 3/2/23 7
Development of Artificial Intelligence methods to support insurance policy sales. Alessandro Farinelli REVO Insurance S.p.A. 11/21/22 12
Development of an efficient and robust motion planning solution for hyper-redundant robotic manipulators Alessandro Farinelli Hibot 10/1/22 12
Vision /AI systems to support manual operations on a laser cutting machine Andrea Giachetti PRIMA INDUSTRIE S.p.A 9/30/21 12
Study and development of unsupervised and self-supervised, multimodal training methods, and domain adaptation and distillation, for the analysis of human behavior in automotive applications Vittorio Murino eVS Embedded Vision Systems S.r.l. 9/14/21 24
Stochastic Modelling of Financial Markets aiming to develop new concepts for Goal-Based Investment Solutions during Decumulation Phase Luca Di Persio Allianz Global Investors GmbH 5/1/21 6
Percorsi digitali veronesi Umberto Castellani, Alberto Belussi, Isabella Mastroeni, Dino Zardi COMUNE VERONA 4/1/21 14
Sviluppo di un'innovativa piattaforma digitale per lo sviluppo di nuovi servizi Matteo Cristani Dacos s.r.l. 2/15/21 3
Previsioni di vendita promozionale. Predizione ordinanti e correzione predizione Matteo Cristani Veronesi Holding s.p.a. 1/13/21 6
Observation of business processes, with objective guarantees of privacy protection, for the prevention of errors and risk situations in an automatic manner at the time of Industry 4.0 (OPERA 4.0) Davide Quaglia Fondazione Cariverona 1/1/21 24
Studio e sperimentazione di tecniche per l’adattamento a nuovi domini di sistemi di riconoscimento automatico. Marco Cristani eVS Embedded Vision Systems S.r.l. 10/26/20 3
Studio e sviluppo di metodi multi-camera di rilevamento ostacoli per la guida assistita di veicoli in ambienti industriali Vittorio Murino eVS Embedded Vision Systems S.r.l. 10/26/20 7
Sviluppo di un sistema basato su ontologie per la gestione su web di opportunità di finanza agevolata (FINAG) Matteo Cristani INDIGO SRL 10/26/20 14
Supporto scientifico per sviluppo algoritmi di A.I. Andrea Giachetti TR2 Srls 10/15/20 1
Intelligent Heating Control based on Reinforcement Learning Techniques Alessandro Farinelli Giordano controls s.p.a. 10/1/20 12
SAFE PLACE Sistemi IoT per ambienti di vita salubri e sicuri Marco Cristani Regione Veneto 9/10/20 28
Studio e sviluppo di metodi per l’adattamento di sistemi di riconoscimento a nuovi contesti operativi Marco Cristani eVS Embedded Vision Systems S.r.l. 4/14/20 15
EDIPO: A computational solution for bringing neuroimaging genetic into translational research Gloria Menegaz Fondazione Cariverona 4/1/20 36
Creazione di un dataset per la stima della posa 3D di oggetti a partire da immagini 2D Marco Cristani Humatics s.r.l. 3/9/20 9
Automazione di misure antropometriche da scansioni digitali 3D di corpi umani - fase 3 Umberto Castellani Igoodi s.r.l. 2/18/20 5
Support for data acquisition, management and analysis in the context of "smart-land" applications Alessandro Farinelli Smartea s.r.l. 1/27/20 12
Sales Prediction - sistema di predizione delle vendite per le campagne promozionali di alcune famiglie di prodotti su canali distributivi propri clienti Matteo Cristani Veronesi Holding s.p.a. 1/20/20 4
Study and development of machine learning techniques for data prediction. Alessandro Farinelli, Luca Di Persio Terranova s.r.l. 10/22/19 12
Sky System Umberto Castellani Milestone S.r.l. 10/15/19 12
Studio di tecniche di domain adaptation e loro applicazioni Marco Cristani eVS Embedded Vision Systems S.r.l. 10/15/19 7
User profiling from heterogeneous big data by machine learning for Fair digital innovation Gloria Menegaz Joint Projects - assegnato e gestito dal Dipartimento 9/1/19 24
I-MALL - improving the customer experience in stores by intelligent computer vision Marco Cristani MUR - Ministero dell'Università e della Ricerca 8/29/19 36
Automazione di misure antropometriche da scansioni digitali 3D di corpi umani - fase 2 Umberto Castellani Igoodi s.r.l. 8/1/19 6
Brain connectivity underlying physiological and pathological patterns in action tremor Gloria Menegaz 8/1/19 12
Stato dell’arte sulla detection ed il clustering di volti, basato su analisi video Marco Cristani Humatics s.r.l. 6/14/19 6
Studio di tecniche innovative di ricostruzione 3D da immagini in ambito beni culturali Andrea Giachetti 3DFLOW SRL 6/14/19 15
Analysis and development of gestural interaction methods for Augmented Reality applications Andrea Giachetti The Edge Company s.r.l. 4/16/19 12
SIDI - Sistemi innovativi documentali per l’industria Matteo Cristani IUNGO s.p.a. 4/1/19 26
Sviluppo di un sistema di stima della posa basato su corrispondenze fra immagini 2D e modelli 3D, per l’inizializzazione e il tracking di oggetti Marco Cristani Humatics s.r.l. 2/27/19 12
Generazione procedurale di ambienti di guida Umberto Castellani AnteMotion s.r.l. 2/1/19 24
Raccolta e integrazione di fonti eterogenee di dati e progettazione di una piat-taforma per la profilazione di eventi fieristici Gloria Menegaz 8/20/18 12
Partecipation at the conference "The 12th AIMS Conference on Dynamical Systems, Differential Equations and Applications" Nicola Sansonetto INdAM 7/5/18 0
Computer Engineering for Industry 4.0 Franco Fummi, Alessandro Farinelli MIUR 1/1/18 60
Analysis and design of similarity measures between materials based on textures and color Marco Cristani eVS embedded Vision Systems s.r.l. 5/2/17 5
Studio e sviluppo di metodi di visione artificiale applicati al processo di lavorazione del marmo Marco Cristani DONATONI MACCHINE s.r.l. 4/3/17 12
BeBoW - Beyond the Bag of Words paradigm: a structural and statistical perspective Manuele Bicego Ricerca di Base - assegnato e gestito dal Dipartimento 3/1/17 24
Piano formativo "Hospitality 4.0" Cod. AVI/007/16 id. 174808 Fondimpresa Avviso n. 272016 Macroarea A Matteo Cristani Villa Quaranta Park s.r.l. 2/17/17 6
DSURF Andrea Giachetti 2/5/17 36
Algorithms for quality control on an industrial production line Umberto Castellani eVS embedded Vision Systems s.r.l. 12/1/16 7
Mapping functional connectivity patterns in neurological and neurosurgical dis-eases with Arterial Spin Labeling and Blood Oxygenation Level Dependent MRI (VBRF) Gloria Menegaz 8/1/16 12
Allineamento automatico e gestione nuvole di punti provenienti da diversi tipi di sensori Umberto Castellani 3DFLOW SRL 7/29/16 5
Semantica documentale avanzata (ADOSEM) Matteo Cristani, Marco Cristani SMARTEN s.r.l. 7/15/16 12
Studio e sviluppo di algoritmi per il controllo qualità su linea di produzione industriale Umberto Castellani eVS embedded Vision Systems s.r.l. 7/7/16 12
Brain microstructural modeling for improved TMS anchoring - Joint Projects 2015 Gloria Menegaz EB Neuro SpA 7/1/16 24
Studio, implementazione e validazione di interfacce per sistemi robotici (FSE) Gloria Menegaz 7/1/16 12
INTCATCH- Development and application of Novel, Integrated Tools for monitoring and managing Catchments Alessandro Farinelli Unione Europea 6/1/16 44
Ricostruzione tridimensionale a partire da immagini in ambiente controllato Umberto Castellani 3DFLOW SRL 3/8/16 10
Studio e sviluppo di algoritmi per la ricostruzione geometrica di oggetti da una coppia stereo di telecamere a scansione lineare Umberto Castellani eVS embedded Vision Systems s.r.l. 1/19/16 6
OSWINE - Online Supervision for Wine Cellar Production Unities. Supervisione Online (via web) per Unità di Produzione del Vino (Cantine) Matteo Cristani SORDATO s.r.l. 1/8/16 12
Studio, sviluppo ed implementazione embedded di algoritmi di classificazione e tracking di pedoni e di cellule ematiche Marco Cristani eVS embedded Vision Systems s.r.l. 10/27/15 12
SCENEUNDERLIGHT - Time-lapse understanding of the static and human scene and its lighting Marco Cristani Unione Europea 10/1/15 48
Computer Vision e Pattern Recognition per l'analisi automatica di video durante sessioni di gioco del tennis Andrea Giachetti GREENSOFT SAS 7/16/15 6
Studio e sviluppo di algoritmi per il tracking di persone in tempo reale Marco Cristani eVS embedded Vision Systems s.r.l. 4/27/15 12
Studio e sviluppo di un sistema di visione per il controllo processo di macchine industriali Marco Cristani eVS embedded Vision Systems s.r.l. 2/25/15 5
Lo sviluppo delle imprese IT per competere nel mercato 3.0 Matteo Cristani AIV Formazione 8/1/14 9
Consulenza e supporto allo sviluppo di un algoritmo di ricostruzione geometrica di tipo globale e implementazione interfaccia utente di tipo SaaS Umberto Castellani 3DFLOW SRL 7/21/14 10
Adozione di una soluzione tecnologica brevettata per lo sviluppo di un nuovo prodotto Matteo Cristani Fiore Industrial s.r.l. 7/9/14 8
Controllo dei costi attraverso metodologie di Lean Accounting Matteo Cristani QUIKO ITALY s.a.s. 7/9/14 8
Implementazione di metodologie e tecniche di lean production per un'azienda più competitiva Matteo Cristani Rossi Siderurgica S.p.A. 7/9/14 10
Ottimizzare per crescere: lo sviluppo partendo dall'efficienza attraverso l'approccio lean Matteo Cristani IKEM s.r.l. 7/9/14 10
Ottimizzazione dei processi di logistica di magazzino con integrazione di software per la gestione ordinativi Matteo Cristani Vicenzasped International Agency s.r.l. 7/9/14 8
Sviluppare strategie di marketing per la penetrazione commerciale del prodotto Matteo Cristani ATIG Service srl 7/9/14 10
Sviluppo delle competenze per l'ottimizzazione dei processi aziendali in ottica lean Matteo Cristani North Mecc srl 7/9/14 10
Utilizzo di modelli di costing & pricing per il miglioramento delle performance economiche dell'impresa Matteo Cristani EURONDA S.p.A. 7/9/14 10
Interventi di supervisione tecnica nell'ambito del progetto didattico denominato "Le avventure di Supertab" Matteo Cristani CSE ITALIA s.r.l. 7/4/14 2
Interventi di innovazione organizzativa Matteo Cristani Officine Dal Zotto s.r.l. 6/11/14 3
Strumenti innovativi per strategie di marketing ed il miglioramento della comunicazione Matteo Cristani Wecandem s.r.l. 6/11/14 8
EXternal-InTernal Vision Based Driving Assistance System Marco Cristani eVS embedded Vision Systems s.r.l. 1/1/14 24
Sviluppo di un algoritmo per il riconoscimento e il tracking di veicoli in FPGA Marco Cristani eVS embedded Vision Systems s.r.l. 1/1/14 12
E-commerce per progettare lo sviluppo agroalimentare Matteo Cristani AIV Formazione 12/3/13 11
Metodi Automatici per la Video Analisi del Traffico Leucocitario Marco Cristani eVS embedded Vision Systems s.r.l. 11/11/13 16
Automatic Human behavior Analysis in neurological Diseases: the case of epilepsy Gloria Menegaz Joint Projects - assegnato e gestito dal Dipartimento 9/18/13 24
Algoritmo di analisi di presenza di eventi di interesse per la folla Marco Cristani IIT Istituto Italiano di Tecnologia 4/4/13 7
Algoritmo di analisi di raggruppamenti di persone all'interno di una folla Marco Cristani IIT Istituto Italiano di Tecnologia 4/4/13 7
Theorem proving algorithms for program analysis: interpolants, models, and termination (PRIN 2012 non finanziato) Maria Paola Bonacina 2/18/13 36
RODAOS - The retrieval of documents and objects in a single net Matteo Cristani REAL T s.r.l. 12/19/12 12
Sviluppo di algoritmi di immagini su FPGA Marco Cristani eVS embedded Vision Systems s.r.l. 10/15/12 12
Analysis, verification and synthesis of hw/sw systems through synergies of abstract interpretation and automated reasoning Maria Paola Bonacina 6/1/12 36
Ricostruzione tridimensionale dalle immagini, visualizzazione e localizzazione nell'ambito del progetto VISIT (PRIN 2009) Andrea Fusiello PRIN VALUTATO POSITIVAMENTE 11/15/11 24
SANDMED: Shape ANalysis for the Diagnosis of METabolic Disorders Andrea Giachetti 7PQ VALUTATI POSITIVAMENTE 4/17/10 36
Rich-model toolkit: an infrastructure for reliable computer systems Maria Paola Bonacina Unione Europea 10/30/09 48
DASAST - Documental Archives Systems Augmented by Semantic Tagging Matteo Cristani REAL T s.r.l. 9/26/09 12
The web of taxes: un sistema per il retrieval, la classificazione e l'inserimento in basi di dati di aliquote e detrazioni fiscali nell'ambito delle imposte locali Matteo Cristani Caaf Cisl s.r.l. 9/11/09 12
Integrating automated reasoning in model checking: towards push-button formal verification of large-scale and infinite-state systems - Design and integration of proof engines for program analysis Maria Paola Bonacina Ministero dell'Istruzione dell'Università e della Ricerca 9/22/08 24
ODIRD Upper-level Ontology-driven Interpretation of Raw Data Matteo Cristani SIA s.r.l. 5/22/07 12
Metodologie e tecnologie per il GeoMArketing con Sistemi Informativi Territoriali in ambito Postale Matteo Cristani ADDRESS SOFTWARE S.R.L. 5/2/07 12
INtelligent Vision system for Industrial Automation (INVIA) - Joint Project 2005 Vittorio Murino Ateneo, Automazioni Industriali s.r.l. 3/13/07 30
Automated reasoning methods for hardware and software analysis: design, integration and application Maria Paola Bonacina PRIN VALUTATO POSITIVAMENTE 2/9/07 24
Segmentazione e definizione di descrittori efficienti di oggetti tridimensionali. 3-SHIRT (PRIN 2006) Andrea Fusiello Ministero dell'Istruzione dell'Università e della Ricerca 2/9/07 24
3D Anatomical Human 3D Anatomical Functional Models for the Human Musculoskeletal System (Marie Curie ESTERNO) Andrea Giachetti Unione Europea 10/1/06 48
Metodi computazionali per l'acquisizione della forma e del moto del corpo umano mediante tecniche attiche attive e passive (PRIN 2005) Andrea Fusiello PRIN VALUTATO POSITIVAMENTE 1/30/06 24
SORIDO (Sistemi Ontologici per la Riduzione dei costi e l'item deproliferation managment) I Matteo Cristani Creactive Consulting s.r.l. 4/21/05 12
Canone Ontologico. Un approccio integrativo alla organizzazione della conoscenza (PRIN 2004 ESTERNO) Matteo Cristani Ministero dell'Istruzione dell'Università e della Ricerca 11/30/04 24
Tecniche di analisi e sintesi multimodale per la realtà aumentata e l'interazione uomo–macchina Vittorio Murino Fondo EX 60% (2004) Tecniche di analisi e sintesi multimodale per la realtà aumentata e l'interazione uomo–macchina. (continuazione, anno 2004) - assegnato e gestito dal Dipartimento 7/1/04 12
Progettazione di un sistema informativo basato su ontologie in grado di supportare le dinamiche di condivisione di conoscenza tra diverse unità organizzative Matteo Cristani Dipartimento di Informatica e Telecomunicazioni - Università degli Studi di Trento 5/13/04 1
Tecniche di decisione automatica con criteri multipli e Valutazioni Arbitrarie 2 Matteo Cristani ACP s.r.l. 4/16/04 12
Ontologia degli artefatti e dei servizi alle imprese II Matteo Cristani Creactive Consulting s.r.l. 1/29/04 12
Synthesis of deduction-based decision procedures with applications to the automatic formal analysis of software -- Synthesis of satisfiability procedures from theorem-proving strategies Maria Paola Bonacina Ministero dell'Istruzione dell'Università e della Ricerca 11/21/03 24
DAVA - Tecniche di Decisione Automatica con criteri multipli e Valutazioni Arbitrarie Matteo Cristani ACP s.r.l. 3/6/03 12
Ontologia degli artefatti e dei servizi alle imprese I Matteo Cristani Expense Reduction Analysts ngc s.r.l. 2/27/03 12

Activities

Research facilities

Share