Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
didattica:magistrale:dcc:ay_1516:main [2016/02/25 17:17] indrit [Informazioni Generali] |
didattica:magistrale:dcc:ay_1516:main [2020/09/17 16:55] (current) |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| ===== News ===== | ===== News ===== | ||
| <WRAP center round important 95%> | <WRAP center round important 95%> | ||
| - | * <wrap em>**Inserisci qui la data**</wrap>: Inserisci qui il testo | + | * <wrap em>**February 29nd, 2016**</wrap>: The page is on-line |
| </WRAP> | </WRAP> | ||
| Line 10: | Line 10: | ||
| <WRAP box round 95% center> | <WRAP box round 95% center> | ||
| **Teacher**: | **Teacher**: | ||
| - | * [[http://www.cs.unicam.it/...|Emanuela Merelli]] | + | * [[http://computerscience.unicam.it/merelli/|Emanuela Merelli]] |
| **Lessons schedule**: | **Lessons schedule**: | ||
| Line 16: | Line 16: | ||
| * Wednesday, 11am - 1pm (Room, D. M. Ritchie) | * Wednesday, 11am - 1pm (Room, D. M. Ritchie) | ||
| - | **Students reception hours**: | + | **Students Office hours**: |
| - | * Tuesday 5:30pm - 7:30pm | + | * Monday 4pm - 6pm, Palazzo Battibocca - 2nd Piano - Room n.CS-05 |
| </WRAP> | </WRAP> | ||
| ---- | ---- | ||
| - | ===== Obiettivi del Corso ===== | + | ===== Course Objectives ===== |
| <WRAP box round 95% center> | <WRAP box round 95% center> | ||
| - | .... | + | - Be able to characterize the modelling of complex systems. |
| + | - Be able to apply methods, languages and techniques of the distributed calculus and coordination in modelling complex systems. | ||
| + | - Be able to design a multiagent system using prototyping environment. | ||
| + | - Be able to characterize the evolution of a model with the analysis of real phenomenological data. | ||
| </WRAP> | </WRAP> | ||
| ---- | ---- | ||
| - | ===== Contenuti del Corso ===== | + | ===== Course Contents ===== |
| <WRAP round 95% center box> | <WRAP round 95% center box> | ||
| - | .... | + | - Models and languages for distributed Calculus: process algebraic calculi, rule-based (CHAM), membrane-based (P-Systems). |
| + | - Coordination models and languages: Linda, Klaim | ||
| + | - Concurrent Programming paradigms: Agent-oriented, Actor-based. | ||
| + | - Multiagent modelling and simulation environments: REPAST | ||
| + | - Topological data analysis for driven modelling: S[B] | ||
| </WRAP> | </WRAP> | ||
| ---- | ---- | ||
| - | ===== Materiale ===== | + | ===== Study material ===== |
| <WRAP box round center 95%> | <WRAP box round center 95%> | ||
| - | **Slide del Corso** | + | **Course Slides** |
| + | * slide 1st lesson | ||
| * | * | ||
| - | **Testi di Riferimento** | + | **Reference books** |
| - | * Libro di testo | + | - N. Khakpour, E. Merelli, M. Sirjani, L. Tesei. A Formal Approch to Multi-level Adaptive Systems: Modelling ad Analysis - Lecture Notes |
| + | - M.Wooldrige, An Introduction to Multiagent Systems,John Wiley & Sons, 2009 | ||
| + | - L. Aceto, A.Ingosfdottier, K. Larsen Reactive Systems: Modelling, Specification and Verification (Cambridge University Press, 2007 | ||
| + | - A. Zomorodiam, Topology for computing, Cambridge Univerisity Press, 2005 | ||
| </WRAP> | </WRAP> | ||
| ---- | ---- | ||
| - | ===== Esami ===== | + | ===== Exams ===== |
| <WRAP box round center 95%> | <WRAP box round center 95%> | ||
| - | **Date Esami A.A. 2015/2016** | + | **Exam Dates A.Y. 2015/2016** |
| - | * 1a sessione | + | * Winter session dates here |
| - | * 2a sessione | + | * Summer session dates here |
| - | * 3a sessione | + | * Autumn session dates here |
| - | * 4a sessione | + | * Winter session dates here (2016) |
| - | **Regole di esame**: | + | **Exam rules**: |
| + | * Homeworks | ||
| + | * Development of a project (group or individual assignment). | ||
| - | ** Risultati Esame ** | + | ** Exam Results ** |
| * N/A | * N/A | ||
| </WRAP> | </WRAP> | ||
