Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
didattica:magistrale:ias:ay_1920:main [2019/09/19 16:33]
luca
didattica:magistrale:ias:ay_1920:main [2020/09/17 16:55] (current)
Line 1: Line 1:
 ====== Intelligent and Adaptive Systems (IAS) ====== ====== Intelligent and Adaptive Systems (IAS) ======
  
-**1st year** (students enrolled in 2018-2019)+**1st year** (students enrolled in 2019-2020)
 <WRAP center round box 95%> <WRAP center round box 95%>
 **Compulsory Exams - Group I** (30 ECTS): **Compulsory Exams - Group I** (30 ECTS):
Line 9: Line 9:
   * [[didattica:​magistrale:​svl:​ay_1920:​main|Systems Verification Lab ]] (6 ECTS) - 2nd Semester ​   * [[didattica:​magistrale:​svl:​ay_1920:​main|Systems Verification Lab ]] (6 ECTS) - 2nd Semester ​
   * [[didattica:​magistrale:​lcp:​ay_1920:​main|Logic and Constraint Programming]] (6 ECTS) - 2nd Semester ​   * [[didattica:​magistrale:​lcp:​ay_1920:​main|Logic and Constraint Programming]] (6 ECTS) - 2nd Semester ​
 +
 +**Group II Choice** (6 ECTS) - 1st or 2nd Semester:
 +  * [[didattica:​magistrale:​toc:​ay_1920:​main|Theory of Complexity]] (6 ECTS)  - 1st semester
 +  * [[didattica:​magistrale:​qnm:​ay_1920:​main|Queueing Networks: Modeling]] (6 ECTS)  - 1st semester
 +  * [[didattica:​magistrale:​com:​ay_1920:​main|Compilers]] (6 ECTS) - 1st semester
 +  * [[didattica:​magistrale:​qns:​ay_1920:​main|Queueing Networks: Simulation]] (6 ECTS) - 2nd semester
 +  * [[didattica:​magistrale:​atse:​ay_1920:​main|Advanced Topics in Software Engineering]] (6 ECTS) - 2nd semester
 +  * [[didattica:​magistrale:​nf:​ay_1920:​main|Networking Fundamentals (CISCO I-II)]] (6 ECTS)  - 1st and 2nd semester - this course can be chosen only if it was not selected as free choice during the BSc in Computer Science (Laurea triennale in Informatica)
 </​WRAP>​ </​WRAP>​
  
-**2nd year** (students enrolled in 2017-2018 - former Software Modelling and Verification (SMV) curriculum)+**2nd year** (students enrolled in 2018-2019)
 <WRAP center round box 95%> <WRAP center round box 95%>
 **Compulsory Exams - Group I** (12 ECTS): ​ **Compulsory Exams - Group I** (12 ECTS): ​
-  * [[didattica:​magistrale:​com:​ay_1920:​main|Compilers (substitutes Formal Languages ​and Compilers)]] (6 ECTS) - 1st Semester¬†+  * [[didattica:​magistrale:​pas:​ay_1920:​main|Performance Analysis ​and Simulation)]] (6 ECTS) - 1st Semester¬†
-  * [[didattica:​magistrale:​ml:​ay_1920:​main|Machine Learning (substitutes Big Data Analytics)]] (6 ECTS) - 1st Semester+  * [[didattica:​magistrale:​masl:​ay_1920:​main|Multiagent Systems Lab]] (6 ECTS) - 1st Semester
 </​WRAP>​ </​WRAP>​