BANDO DI SELEZIONE PER IL CONFERIMENTO DI N. 1 BORSA DI RICERCA

Data: 
Mon, 10/14/2019 - Fri, 10/25/2019

Bando di selezione per il conferimento di n. 1  borsa di ricerca dal titolo:  “Applicazione di metodi di intelligenza artificiale di tipo CNN per analizzare le immagini Cherenkov dei telescopi MAGIC”, responsabile prof. Alessandro Chiuso  - Bando RIF. HIT 2019B01

Facsimile domanda

Bando 14 ottobre 2019

Introduction to program verification

Teacher
Francesco ranzato
Department of Mathematics
ranzato[at]math.unipd.it
INF/01

Aim
Computer programs may contain bugs, namely errors and flaws in programs that cause incorrect output or unintended behavior. This course aims to be a gentle introduction to methodologies and tools used for automatically and formally proving that computer programs do not contain bugs, a discipline known as program verification.

Process Mining: When Data Science Meets Process Intelligence

Teacher
Massimiliano DeLeoni
Department of Mathematics
deleoni[at]math.unipd.it
INF/01

POR FESR PROJECTS AT HIT

Hybrid Sustainable Worlds

Bando HIT at UNIPD - Digital Meet award 2019 (scadenza 21 ottobre 2019)

Data: 
Fri, 10/11/2019 - Tue, 10/22/2019

Per iniziativa e contributo del Centro Interdipartimentale Human Inspired Technologies Research Center — HIT, dell'Universitá degli Studi di Padova, approvato con provvedimento d'urgenza del Direttore del Centro, si bandisce un concorso a premi di studio. Potranno candidarsi al premio persone con eta massima di 34 anni, iscritte ad un Corso di Dottorato o titolari di un assegno/contratto di ricerca presso l'Universitá degli Studi di Padova, tuttora in corso o terminati da un massimo di 180 giorni solari.

Facsimile domanda

Bando HITDM2019

File: 

Methodology of research in metabolism and exercise physiology

Teachers
Antonio Paoli
Dipartimento di Scienze Biomediche, Università degli Studi di Padova
antonio.paoli[at]unipd.it
MEDF/01

Syndicate content