In questa pagina troverete il programma e i materiali relativi ai seguenti corsi:

Formal Methods	Algoritmi e Strutture dati	Computational Methods For Data Analysis
doc. Prof. Sebastiani	doc. Prof. Montresor	doc. Proff. Sebe and Giordani

---

Esercitazioni di Formal Methods, A.A. 2013/2014 (Universita' di Trento)

Corso di Laurea in Informatica.
Titolare del corso: Roberto Sebastiani


Feb 28, 2014
Introduction to SPIN
Introduction to SPIN
2 Promela examples:
Hello world!
Producers/Consumers
Slides
hello.pml
prodcons.pml
prodcons2.pml


Mar 07, 2014
Overview of PROMELA
Slides "Processes and Data Objects"
Slides "Mutual Exclusion"
Dekker Algorithm
dekker2.pml
doran.pml
peterson.pml


Mar 21, 2014
Channels in PROMELA
Slides "Channels"
Slides "Asynchronous Network Problems"
verify.pml
alternating_bit_improved.pml
leader.pml


Mar 26 (14.15-16.00) and Mar 28, 2014
Verifying LTL properties
Slides "Verifying LTL properties"
leader.pml
alternating_bit.pml


April 04, 2014
NuSMV: Introduction and Examples
Slides "NuSMV: Introduction and Examples"
counter1bit.smv
counter2bit.smv
counter4reset.smv
counter64.smv
counter4reset_modules.smv
counter4reset_constraints.smv


April 15, 2014
NuSMV: Property Specification
Slides "NuSMV: Property Specification"
A collection of examples (Spin and NuSMV)


April 30, 2014
NuSMV: Planning as Model Checking
Slides "NuSMV: Property Specification"
hanoi.smv
ferryman.smv
tictactoe.smv


May 9, 2014
Bounded Model Checking (in NuSMV)
Slides "Bounded Model Checking (in NuSMV)"


May 13, 2014 (11.00-12.45, room 108)
NUSMV Exercises
Slides "NUSMV Exercises 1"
dining_philosoher.smv
elevator.smv


May 23, 2014
NUSMV Exercises
Slides "NUSMV Exercises 2"
cannibals.smv
cannibals.better.smv


May 30, 2014
NUSMV and Spin Exercises
queens.smv
token_ring.pml
token_ring_detleft.pml
token_ring_nondet.pml

---

Esercitazioni e Laboratorio di Algoritmi e Strutture Dati, A.A. 2013/2014

Corsi di Laurea in Informatica.
Laurea di primo livello, I anno, 6 crediti.
Titolare del corso: Alberto Montresor

Materiale del Laboratorio

7 Marzo 2014
Analisi di Algoritmi
Esercitazione in aula con Ricorrenze:
Metodo dell'iterazione
Metodo della sostituzione
Metodo a livelli
Metodo induttivo
Dimostrazioni per induzione. Utilizzo dei teoremi visti a teoria.
Esercizi e Soluzioni.

---

Computational Methods for Data Analysis, A.A. 2013/2014 (Universita' di Trento)

Corso di Laurea Magistrale in Scienze Cognitive.
Titolari del corso: Nicu Sebe e Giordani Alessandra


April 16, 2014
Introduction to Machine Learning
Slides


May 7, 2014
Vector Space Categorization
Slides


May 14, 2014
Perceptron
Slides


May 16, 2014
Support Vector Machines Slides


May 21, 2014
Kernel Methods Slides

May 23, 2014
PCA Learning Slides

May 28, 2014
VC dimensions Slides

As referring text you can use this book.

Exams
13/06/2014 09:00
08/07/2014 09:00
11/09/2014 09:00

Older Exams' tracks
Exam-ML-14June13
Exam-ML-19July13
Exam-ML-7Feb14