| APM_4AUT2_TA Introduction to Control Theory |
Cours scientifiques |
Informatique |
|
21 |
|
|
| CSC7334 Essais fondés sur un modèle logiciel |
Cours scientifiques |
|
|
21 |
|
|
| CSC_5CPS1_TA Numerical methods for dynamical systems |
Cours scientifiques |
Informatique |
|
|
|
|
| CSC_5DA17_TP Algorithmic decision making |
Cours scientifiques |
|
|
|
|
|
| CSC_5IA10_TA Game theory and multi-agent control |
Cours scientifiques |
|
|
18 |
|
|
| CSC_5SE01_TP Systèmes Temps Réel Embarqués Critiques (voie MASC) - |
Cours scientifiques |
Informatique |
|
30 |
|
|
| CSC_5SE02_TP Modélisation, Vérification, et Génération des Systèmes Co... |
Cours scientifiques |
|
|
30 |
|
|
| CSC_5SL03_TP Modélisation et analyse des risques de sécurité dans les ... |
Cours scientifiques |
|
|
21 |
|
|
| CSC_51050_EP Algorithmique avancée |
Programme d'approfondissement |
Informatique |
PA - MAT-INFO - cours/EA INF, UE d'approfondissement, UE de base, PA - BIOINF - cours/EA INF. |
36 |
Gilles Schaeffer |
|
| CSC_51051_EP Logique Informatique : de l'Intelligence Artificielle à l... |
Programme d'approfondissement |
Informatique |
UE d'approfondissement, UE de base, PA - MAT-INFO - cours/EA INF. |
36 |
Samuel Mimram |
|
| CSC_51054_EP Apprentissage automatique et apprentissage profond |
Programme d'approfondissement |
Informatique |
PA - BIOINF - cours/EA INF, PA-MAP XOR (INF554, MAP553), UE de base, UE d'approfondissement. |
36 |
Michalis Vazirgiannis |
|
| CSC_51055_EP Modèles et algorithmes à base de contraintes pour l’aide ... |
Programme d'approfondissement |
Informatique |
UE de base, UE d'approfondissement, UE de spécialité. |
36 |
François Fages |
|
| CSC_51058_EP Introduction à la Cryptologie |
Programme d'approfondissement |
Informatique |
UE d'approfondissement, UE de base, PA - MAT-INFO - cours/EA INF. |
36 |
François Morain |
|
| CSC_51063_EP Introduction à la théorie de l'information |
Programme d'approfondissement |
Informatique |
UE d'approfondissement, UE de base, PA - MAT-INFO - cours/EA INF. |
36 |
Thomas Debris |
|
| CSC_51071_EP Structures de données distribuées, avec un focus sur les ... |
Programme d'approfondissement |
Informatique |
UE d'approfondissement, UE de base. |
36 |
Constantin ENEA |
|
| CSC_52003_EP Circuits quantiques avancés |
Programme d'approfondissement |
Informatique |
|
36 |
Titouan CARETTE |
|
| CSC_52060_EP Algorithmique parallèle et distribuée |
Programme d'approfondissement |
Informatique |
UE d'approfondissement, UE de base. |
36 |
Patrick Carribault |
|
| CSC_52065_EP Sécurité des Systèmes d'Information |
Programme d'approfondissement |
Informatique |
UE de base, UE d'approfondissement. |
|
Guenael Renault |
|
| CSC_52068_EP Cryptologie Avancée |
Programme d'approfondissement |
Informatique |
UE d'approfondissement, UE de base, PA - MAT-INFO - cours/EA INF. |
36 |
Benjamin Smith |
|
| CSC_52071_EP Fondements de la vérification des logiciels |
Programme d'approfondissement |
Informatique |
|
36 |
Ambroise Lafont |
|
| CSC_52081_EP Apprentissage par renforcement et Agents Autonomes |
Programme d'approfondissement |
Informatique |
UE d'approfondissement, UE de base, PA - BIOINF - cours/EA INF. |
36 |
Jesse Read |
|
| CSC_52087_EP Apprentissage profond avancé |
Programme d'approfondissement |
Informatique |
UE d'approfondissement. |
|
Vicky Kalogeiton,
Johannes Lutzeyer,
Xi Wang,
Ye Zhu |
|
| CSC_54441_EP Introduction à la vérification des réseaux neuronaux |
Cours scientifiques |
Informatique |
|
|
Eric Goubault |
|
| CSC_54656_EP Procédure de décision pour l'intelligence artificielle |
Cours scientifiques |
Informatique |
UE de spécialité. |
24 |
Sergio Mover |
|
| MDC_51002_EP Information et Calcul Quantique : Fondements |
Programme d'approfondissement |
Physique, Informatique |
|
36 |
Titouan CARETTE,
Thomas Debris,
Laurent Sanchez-Palencia |
|
| NET7212 Programmation Systeme Sur |
Cours scientifiques |
|
|
48 |
|
|
