Ricerca

Informatica

Argomenti

Linguaggi di Programmazione

Intelligenza Artificiale

  • Machine learning, pattern recognition, neural networks and kernel methods for structured data, bioinformatics, learning in games, data and business process mining, QSAR studies, time series prediction, information and document retrieval
    Fabio AIOLLI, Alessandro SPERDUTI
  • Ragionamento con preferenze: rappresentazione della conoscenza; soddisfazione e ottimizzazione con vincoli; modellazione, elicitazione ed aggregazione di preferenze; sistemi multi-agente; teoria computazionale delle scelte sociali.
    Francesca ROSSI, Kristen Brent VENABLE

Sistemi

Docenti

Altri ricercatori

Gruppi e Progetti

  • ARCo, 2009-2012 Progetto finanziato dal MIUR - PRIN. "Analisi dei sistemi di Riduzione tramite modelli comportamentali Concorrenti" (Responsabile locale: P. Baldan)
  • ASSERT (2004-8), VI European Framework Programme VI Programma Quadro della Commissione Europea, responsabile scientifico: T. Vardanega
  • BECOM, 2011-13. Progetto finanziato dall'Universita' di Padova. "Equivalenze comportamentali di sistemi concorrenti mediante interpretazione astratta e logiche modali" (Responsabile F. Ranzato)
  • CHESS (2009-11), Programme ARTEMIS/EC Programma ARTEMIS JTI, responsabile scientifico: T. Vardanega
  • Commercial contract financed by Confindustria Padova and NEI S.p.A., 2011-2012 "Social Network con4you", 2011-2012 (Responsabile scientifico: O. Gaggi)
  • Commercial contract financed by Stuffer SpA, 2009, "Studio e realizzazione di un software basato su apprendimento automatico per l'analisi e la predizione del numero di ordini", (Design and implementation of a machine learning based software for the analysis and prediction of orders) (F. Aiolli, A. Sperduti)
  • Commercial contract financed by the company Miriade, 2012, " Schedulatore basato sulla programmazione con vincoli" (Responsabile F. Rossi)
  • Contract finaced by Eurosystem (Villorba, TV), 2009-2010 "Formazione di metodo e di tecnologie sui temi della gestione dei processi aziendali e l'uso di architetture orientate ai servizi", responsabili scientifici: A. Sperduti, T. Vardanega
  • contract financed by the company Allos, 2011, "Schedulazione i corsi aziendali" (Scheduling company courses) (principal investigator F. Rossi)
  • Contratto commerciale finanziato dalla società Eurosystem (Villorba, TV) (2010-2012) "Sviluppo prototipale di soluzioni software a problemi di calcolo ERP per la gestione delle risorse aziendali", responsabile scientifico: T. Vardanega
  • Excellence Project CARIPARO "A computational approach to the study of skeletal muscle genomic expression in health and disease" (2007-2009) (M. Marchiori)
  • PROARTIS (2010-2013) VII Programma Quadro della Commissione Europea, responsabile scientifico: T. Vardanega
  • Progetto di distretto informatico finanziato dalla Regione Veneto (BIT4M, 2009-2010) "Tecniche e modelli per la gestione dell'infrastruttura informatica a supporto dei processi di business", responsabili scientifici: C. Palazzi, A. Sperduti, T. Vardanega
  • Progetto di distretto informatico finanziato dalla Regione Veneto (ProSyGo, 2010-2011) "Governance di processi e sistemi aziendali", responsabili scientifici: C. Palazzi, A. Sperduti, T. Vardanega
  • Progetto di distretto informatico finanziato dalla Regione Veneto (SOA & BPA, 2008-2009) "Architetture orientate ai servizi e analisi di prestazionale dei processi di business", responsabili scientifici: A. Sperduti, T. Vardanega
  • Project financed by the Italian Ministry of University and Research, MIUR/PRIN, 2011-2013 "ALTER-NET: Altruismo da una Rete di Risorse" (Responsabile Scientifico: C. E. Palazzi)
  • Project financed by the the University of Padova, 2011-2012 "Accessibilità e Inclusione attraverso Tecnologia Web Squared" (Responsabile Scientifico: C. E. Palazzi)
  • Project financed by the the University of Padova, 2012-2013, "Ragionamento con preferenze per supporto alle decisioni multiagente" (Responsabile F. Rossi)
  • Project financed by the University of Padova, 2006-09, "Formal methods for specifying and verifying behavioral properties of software systems" (Principal investigator S. Crafa)
  • Project financed by the University of Padova, 2009-10 "Analisi, Verifica e Interpretazione Astratta di Modelli per la Concorrenza (AVIAMO)", (Analysis, verification and abstract interpretation of models of concurrency) (Principal investigator P. Baldan)
  • Project financed by the University of Padova, 2009-10, "Metodi di integrazione di conoscenza a priori in algoritmi di apprendimento basati su kernel per l'identificazione robusta di biomarcatori in genomica", (Methods for the integration of background knowledge in kernel-based learning algorithms for the robust identification of biomarkers in genomics) (F. Aiolli)
NEWS: New Second Level Degree in Data Science - Second cycle degree - a. y. 2017/18 X