Differences

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

--- curriculum [2024/10/25 07:11] – [Period 1] respai-vic
+++ curriculum [2025/01/10 12:52] (current) – [Period 2] respai-vic
@@ Line 1: / Line 1: @@
-===== Detailed Curriculum of the MScT AI-VIC=====
+===== Detailed Curriculum =====
 ===== MASTER 1  (M1) =====
@@ Line 12: / Line 12: @@
 Mandatory:
-  * Computer Animation (INF585, Marie-Paule Cani, EP)
+  * Computer Animation (INF585, Mathieu Desbrun and Marie-Paule Cani, EP)
 course among:
@@ Line 80: / Line 80: @@
 > This course will introduce students to advanced topics in modern geometric data analysis with focus on a) mathematical foundations (discrete differential geometry, mapping, optimization), and b) deep learning for best performing methods. We will give an overview of the foundations in shape analysis and processing before moving to modern techniques based on deep learning for solving problems such as shape classification, correspondence, parametrization, etc.
-**INF633 - Smart models for 3D Creation and Animation (24h, 2 ECTS),  Marie-Paule Cani (EP), Julien Pettré (Inria), Paul Boursin (EP), Antonin Wattel (Telecom)** (contact: marie-paule.cani@polytechnique.edu)
+**INF633 - Smart models for 3D contents Creation and Animation (24h, 2 ECTS),  Marie-Paule Cani (EP), Julien Pettré (Inria), Paul Boursin (EP), Antonin Wattel (Telecom)** (contact: marie-paule.cani@polytechnique.edu)
 > This course presents recent advances in 3D computer graphics, and more specifically in the subfields on modeling and animation, which rely on artificial intelligence. We first introduce user-centered Creative AI, i.e. smart 3D models - either based on knowledge or on deep learning from examples, designed to help users creating 3D virtual environments. Second, we focus the use of AI - from light models to deep reinforcement learning - in Character Animation, i.e. towards the training of autonomous 3D characters able to navigate and interact with such environments. The lab sessions are held on Unity, based on C#.
@@ Line 87: / Line 87: @@
 **INF657G - Navigation for Autonomous systems (24h, 2 ECTS), David Filliat (ENSTA)** (contact: david.filliat@ensta-paris.fr)
-  Drones and robots must create maps of their surroundings to plan their movement and navigate. This course presents the robotic platforms and the most common sensors (vision, Lidar, intertial units, odometry …) and the different components of navigation: control; obstacle avoidance; localization; mapping (SLAM) and trajectory planning as well as filtering (Kalman filter, particle filtering, etc.) and optimization techniques used in these fields.
+> Drones and robots must create maps of their surroundings to plan their movement and navigate. This course presents the robotic platforms and the most common sensors (vision, Lidar, intertial units, odometry …) and the different components of navigation: control; obstacle avoidance; localization; mapping (SLAM) and trajectory planning as well as filtering (Kalman filter, particle filtering, etc.) and optimization techniques used in these fields.
 **INF641 - Introduction to the verification of neural networks (24h, 2 ECTS), Eric Goubault (EP), Sylvie Putot (EP)** (contact: sylvie.putot@polytechnique.edu)
-  Neural networks are widely used in numerous applications including safety-critical ones such as control and planning for autonomous systems. A central question is how to verify that they are correct with respect to some specification. Beyond correctness or robustness, we are also interested in questions such as explainability and fairness, that can in turn be specified as formal verification problems. In this course, we will see how formal methods approaches introduced in the context of program verification can be leveraged to address the verification of neural networks.
+> Neural networks are widely used in numerous applications including safety-critical ones such as control and planning for autonomous systems. A central question is how to verify that they are correct with respect to some specification. Beyond correctness or robustness, we are also interested in questions such as explainability and fairness, that can in turn be specified as formal verification problems. In this course, we will see how formal methods approaches introduced in the context of program verification can be leveraged to address the verification of neural networks.
 **INF642 - Socio-emotional embodied conversational agents (24h, 2 ECTS), Catherine Pelachaud (CNRS - ISIR), Chloé Clavel (Inria Paris) ** (contact: catherine.pelachaud@sorbonne-universite.fr; chloe.clavel@inria.fr)
-  Many interactive systems, from virtual companions to online retailing, rely on embodied conversational agents. These agents need to reach a good level of communication skills to conduct a conversation with humans and be acceptable and trustworthy by humans. This course will introduce non-verbal behavior models, present models for multimodal dialog, opinion detection and voice quality, explain how to model the agent's emotions and their evolution over time, and present methods for enhancing naturalism with expressive gaze and gestures, realistic animation.
+> Many interactive systems, from virtual companions to online retailing, rely on embodied conversational agents. These agents need to reach a good level of communication skills to conduct a conversation with humans and be acceptable and trustworthy by humans. This course will introduce non-verbal behavior models, present models for multimodal dialog, opinion detection and voice quality, explain how to model the agent's emotions and their evolution over time, and present methods for enhancing naturalism with expressive gaze and gestures, realistic animation.
 **INF644 - Virtual/Augmented Reality & 3D Interactions  (24h, 2 ECTS), Anatole Lécuyer (Inria Rennes), Ferran Argelaguet (Inria Rennes), Arnaud Prouzeau (Inria Saclay), Claudio Pacchierotti (CNRS - IRISA), Fabien Lotte (Inria Bordeaux)** (contact: anatole.lecuyer@inria.fr)
-  Metaverse and virtual/augmented reality technologies are spreading widely. But reconstructing our world and generating virtual ones would be useless without effective techniques to navigate and interact with them. This course will present virtual and augmented reality systems as well as the associated methods for 3D interaction, from multi-modal interaction merging visual immersion, sound and haptics systems to brain-computer interfaces.
+> Metaverse and virtual/augmented reality technologies are spreading widely. But reconstructing our world and generating virtual ones would be useless without effective techniques to navigate and interact with them. This course will present virtual and augmented reality systems as well as the associated methods for 3D interaction, from multi-modal interaction merging visual immersion, sound and haptics systems to brain-computer interfaces.
 **INF634 - Computer Vision  (24h, 2 ECTS), Vicky Kalogeiton (EP)** (contact: vicky.kalogeiton@polytechnique.edu)
-  This course is an introduction to fundamental and advanced topics in computer vision with learning-based approaches, ie. Deep Learning. Topics include image and video classification, object detection, action recognition, optical flow and motion, multi-modal vision systems, annotation signal and applications.
+> This course is an introduction to fundamental and advanced topics in computer vision with learning-based approaches, ie. Deep Learning. Topics include image and video classification, object detection, action recognition, optical flow and motion, multi-modal vision systems, annotation signal and applications.
-**INF643 - Soft robots: simulation, fabrication, and control (24h, 2 ECTS),  Christian Duriez (Inria Lille), Sylvain Lefebvre (Inria Nancy) ** (contact: christian.duriez@inria.fr)
+**INF643 - Soft robots: Design, Modeling, Simulation and Control (24h, 2 ECTS),  Christian Duriez (Inria Lille)** (contact: christian.duriez@inria.fr)
-  Soft robotics is a promising novel field, bringing more robustness in robots design and for all tasks involving close interactions with humans, from help to disable people to medical robot. This course will give an introduction to recent advances in soft robotics, including topological optimization for additive fabrication, modeling and control techniques for robots, and will present recent applications in medicine, industry and art.
+> Soft robotics is a promising novel field, bringing more robustness in robots design and for all tasks involving close interactions with humans, from help to disable people to medical robot. This course will give an introduction to recent advances in soft robotics, including design, modeling, simulation and control techniques for robots, and will present recent applications in medicine, industry and art.