Argomento | Persone | Descrizione | |
---|---|---|---|
Data management systems aderente allo standard ACM 2012 | |||
Esecuzione ed ottimizzazione di interrogazioni spazio-temporali |
Alberto Belussi Sara Migliorini |
Questo argomento di ricerca riguarda lo studio di nuovi approcci per la specifica di interrogazioni spazio-temporali e delle tecniche per la loro esecuzione e ottimizzazione. | |
Modelli per granularità temporali |
Carlo Combi Pietro Sala |
Questo argomento di ricerca riguarda la definizione di nuovi modelli per la rappresentazione di granularità temporali e la loro applicazione in contesti reali. | |
Modelli Temporali basati su Workflow |
Carlo Combi Roberto Posenato Pietro Sala |
Rappresentazione e gestione di vincoli temporali nel contesto dei workflow. | |
Information systems applications aderente allo standard ACM 2012 | |||
Analisi di grandi quantità di dati |
Alberto Belussi Damiano Carra Sara Migliorini |
Analisi, progettazione e valutazione di sistemi paralleli, con particolare attenzione a sistemi scalabili di elaborazione dei dati, sistemi Big Data e Cloud Computing | |
Basi di dati semistrutturate |
Carlo Combi Barbara Oliboni |
Questo argomento di ricerca si occupa di modelli dei dati e linguaggi di interrogazione per la rappresentazione e gestione di dati semistrutturati in modo generale e flessibile. | |
Infrastrutture per i dati spaziali |
Alberto Belussi |
Questo argomento riguarda lo studio di nuovi strumenti e tecniche di interoperabilità per supportare la creazione e il mantenimento dei dati spaziali in infrastrutture nazionali ed europee (INSPIRE). | |
Process control systems |
Matteo Cristani |
Process control systems | |
Progettazione concettuale di basi di dati spaziali |
Alberto Belussi Sara Migliorini |
Questo argomento di ricerca riguarda lo studio di nuovi approcci per la progettazione concettuale di basi di dati spaziali (per le applicazioni geografiche), con enfasi particolare sulla specifica di vincoli di integrità di natura spaziale. In cooperazione con il Politecnico di Milano e con il CISIS (Centro Interregionale per i Sistemi Informatici, geografici e Statistici) è stato definito nuovo modello per la progettazione concettuale (GeoUML) utilizzato come standard italiano per la specifica dello schema concettuale del National Core (database geotopografici). Maggiori dettagli su questo progetto e sul modello GeoUML e gli strumenti relativi possono essere trovati sul sito http://spatialdbgroup.polimi.it/. | |
Sistemi di raccomandazione |
Alberto Belussi Sara Migliorini Elisa Quintarelli |
Studio di tecniche per la progettazione e realizzazione di sistemi di raccomandazione. | |
Sistemi Informativi orientati ai processi |
Carlo Combi Mauro Gambini Sara Migliorini Barbara Oliboni Elisa Quintarelli |
Il filone di ricerca correlato ai Sistemi Informativi orientati ai processi si occupa della gestione dei processi aziendali tenendo in considerazione differenti aspetti. Possibili argomenti sono legati alla modellazione e reingegnerizzazione di processi aziendali, rappresentazione e gestione di aspetti temporali e modellazione concettuale congiunta di processi e dati. | |
Workflow per la sanità |
Carlo Combi Roberto Posenato Pietro Sala |
Estensione e adozione di sistemi di workflow open source per la gestione di processi medici. |
Nome | Descrizione | 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. | |
Basi di dati e Sistemi Informativi | Questo gruppo di ricercatori si occupa di varie tematiche nell'ambito dei sistemi informativi | http://stars.di.univr.it |
Big Data Analytics | Questo gruppo di ricerca si occupa di tematiche relative alla rappresentazione, gestione e analisi di grandi quantità di dati caratterizzate in particolare dalla dimensione spaziale e temporale. | |
Big Data, Data Science e Process Mining | Questo gruppo di ricerca si occupa di Big Data, Data Science e Process Mining | |
Blockchain | L'attività del gruppo di ricerca riguarda diverse tematiche relative allo sviluppo e all'applicazione della tecnologia blockchain e dell'infrastruttura degli smart contracts. | |
INdAM - Unità di Ricerca dell'Università di Verona | Raccogliamo qui le attività scientifiche dell'Unità di Ricerca dell'Istituto Nazionale di alta Matematica INdAM presso l'Università di Verona | |
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. | |
K.Re.Art.I. | Rappresentazione della conoscenza tramite tecniche di IJntelligenza Artificiale | |
Logica | Logica in matematica ed informatica. | https://www.logicverona.it/ |
******** CSS e script comuni siti DOL - frase 9957 ********p>