Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
didattica:magistrale:atse:ay_1819:main [2019/06/10 07:58] michele [Study Material] |
didattica:magistrale:atse:ay_1819:main [2020/09/17 16:55] (current) |
||
|---|---|---|---|
| Line 21: | Line 21: | ||
| **Referenfes**: | **Referenfes**: | ||
| - | * [[http://www.dcs.ed.ac.uk/pepa/tools/|PEPA]] | ||
| * [[https://www.ic.unicamp.br/~wainer/cursos/1s2013/ml/livro.pdf|All of Statistics]] | * [[https://www.ic.unicamp.br/~wainer/cursos/1s2013/ml/livro.pdf|All of Statistics]] | ||
| * [[https://drive.google.com/open?id=1f3gyaHLBv_xr1_5if7wX7ANt4L150-op|On hypothesis testing for statistical model checking]] | * [[https://drive.google.com/open?id=1f3gyaHLBv_xr1_5if7wX7ANt4L150-op|On hypothesis testing for statistical model checking]] | ||
| + | |||
| + | **Tools**: | ||
| + | * [[http://www.dcs.ed.ac.uk/pepa/tools/|PEPA]] | ||
| * [[https://repast.github.io|The Repast Suite]] | * [[https://repast.github.io|The Repast Suite]] | ||
| * [[http://homepages.inf.ed.ac.uk/jeh/Bio-PEPA/biopepa.html|Bio-PEPA]] | * [[http://homepages.inf.ed.ac.uk/jeh/Bio-PEPA/biopepa.html|Bio-PEPA]] | ||
| + | * [[https://github.com/quasylab/sibilla|Sibilla]] | ||
| + | |||
| </WRAP> | </WRAP> | ||
| Line 90: | Line 94: | ||
| * Lecture 28/5/2019 ([[https://unicam.webex.com/recordingservice/sites/unicam/recording/playback/c6059aa32fc24394a31252cc364ccb98|Streaming]]) | * Lecture 28/5/2019 ([[https://unicam.webex.com/recordingservice/sites/unicam/recording/playback/c6059aa32fc24394a31252cc364ccb98|Streaming]]) | ||
| * Lecture 30/5/2019 ([[https://unicam.webex.com/recordingservice/sites/unicam/recording/playback/fa4a7e28be514b9384b9929d16491a3a|Streaming]]) | * Lecture 30/5/2019 ([[https://unicam.webex.com/recordingservice/sites/unicam/recording/playback/fa4a7e28be514b9384b9929d16491a3a|Streaming]]) | ||
| - | * Lecture 04/6/2019 ([[https://unicam.webex.com/recordingservice/sites/unicam/recording/playback/bf6631a085e943edaaa06fe6d1ff9a7b|Streaming]]) | + | * Lecture 04/6/2019 ([[https://unicam.webex.com/recordingservice/sites/unicam/recording/playback/1ddeeed5d4514c789acfea318015259f|Streaming]]) |
| </WRAP> | </WRAP> | ||
| Line 99: | Line 103: | ||
| * The date is defined with the teacher. | * The date is defined with the teacher. | ||
| - | **Exam rules**: Each student select one of the following topics and produces a short report (between 5 and 10 pages) that will be discussed at the exam: | + | **Exam rules**: Each student selects **one** of the following topics and produces a short report (between 5 and 10 pages) that will be discussed at the exam: |
| - | * Use one of the simulators listed above to model a scenario. Examples of possible scenarios are: | + | * Use either [[https://github.com/quasylab/sibilla|Sibilla]] or one of the tools listed above to model a scenario. Examples of possible scenarios are: |
| * [[https://en.wikipedia.org/wiki/Compartmental_models_in_epidemiology|Epidemic Model]] | * [[https://en.wikipedia.org/wiki/Compartmental_models_in_epidemiology|Epidemic Model]] | ||
| * [[http://www.prismmodelchecker.org/casestudies/virus.phpVirus|Diffusion Model]] | * [[http://www.prismmodelchecker.org/casestudies/virus.phpVirus|Diffusion Model]] | ||
