Topic | People | Description | |
---|---|---|---|
Data management systems standard compliant ACM 2012 | |||
Spatial query processing and optimization |
Alberto Belussi Sara Migliorini |
This research topic deals with the study of new approaches for the specification of spatial queries in geographical applications and the techniques for their execution and optimization. | |
Models for temporal granularities and their application to real contexts |
Carlo Combi Pietro Sala |
||
Temporal Workflow Models |
Carlo Combi Roberto Posenato Pietro Sala |
Representing and managing temporal constraints in workflow specifications. | |
Information systems applications standard compliant ACM 2012 | |||
Data intensive scalable computing |
Alberto Belussi Damiano Carra Sara Migliorini |
Analysis, evaluation and design of large scale parallel systems, with particular emphasis on scalable data processing, Big Data systems, and Cloud Computing | |
Semistructured databases |
Carlo Combi Barbara Oliboni |
This research topic deals with data models and languages for representing and querying semistructured data in a general and flexible way. | |
Geographical Information Systems & Spatial Data Infrastructures (SDI) |
Alberto Belussi |
Study of new tools and interoperability techniques for supporting the creation and maintenance of spatial data in Spatial Data Infrastructures (SDIs) at national or European level (INSPIRE directive). | |
Process control systems |
Matteo Cristani |
Process control systems | |
Conceptual modeling of spatial databases |
Alberto Belussi Sara Migliorini |
This research topic regards the study of new approaches for the conceptual modeling of geographical databases, with particular emphasis on the spatial integrity constraints specification. In cooperation with Politecnico di Milano and with CISIS (Centro Interregionale per i Sistemi Informatici, geografici e Statistici) a new conceptual data model has been defined and used as Italian standard for the conceptual schema of the National Core database. More details about this project and the GeoUML tools can be found at 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. | |
Process-Aware Information Systems |
Carlo Combi Mauro Gambini Sara Migliorini Barbara Oliboni Elisa Quintarelli |
Process-Aware Information Systems is a research field dealing with the management of business processes by taking into account different aspects. Desing and reengineering of business processes, representation and management of temporal aspects of business processes and conceptual representation of processes and their related data are the some of the possibile topics. | |
Workflow Systems in Medicine |
Carlo Combi Roberto Posenato Pietro Sala |
Using and extending open-source workflow systems to manage healthcare processes. |
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. | |
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>