Fac-simile

Submitted by admin on Sat, 12/07/2019 - 18:27
File: 
application/pdf iconfacsimile domanda di partecipazione.pdf

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

Submitted by admin on Sat, 12/07/2019 - 18:27
Data: 
Thu, 12/05/2019 - Fri, 12/20/2019

Bando di selezione per il conferimento di n. 1  borsa di ricerca da svolgersi presso lo Human Inspired Technologies Research Centre sotto la responsabilità scientifica del prof. Luciano Gamberini dal titolo “Esperto di interazione uomo-macchina e tecnologie innovative di presentazione di informazioni scientifiche” RIF. HIT 2019B02

Esempio busta

Submitted by admin on Sat, 12/07/2019 - 18:27
File: 
application/rtf iconesempio busta.rtf_.rtf

BandoHIT2019B02

Submitted by admin on Sat, 12/07/2019 - 18:26
File: 
application/pdf icon1 - Bando HIT 2019B02 Prof. L. Gamberini.pdf

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

Submitted by admin on Tue, 10/15/2019 - 09:29
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

Submitted by admin on Tue, 10/15/2019 - 09:29
File: 
application/pdf iconFacsimile domanda di partecipazione HIT 2019B01.pdf

Bando 14 ottobre 2019

Submitted by admin on Tue, 10/15/2019 - 09:29
File: 
application/pdf iconBando Borsa di ricerca HIT 2019B01.pdf

Introduction to program verification

Submitted by admin on Sat, 10/12/2019 - 19:51

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

Submitted by admin on Sat, 10/12/2019 - 19:46

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

BMCS activity calendar

Submitted by admin on Sat, 10/12/2019 - 18:03

Syndicate content