| APM_5DA01_TP Foundations of Multi-Agent Systems Verification |
Cours scientifiques |
|
|
|
|
|
| APM_52666_EP Introduction à l'apprentissage automatique |
Cours scientifiques |
Mathématiques appliquées |
|
56 |
Gabriel Stoltz |
|
| CSC_5DA07_TP Collective Intelligence |
Cours scientifiques |
|
|
24 |
|
|
| CSC_50P13_EP Projet de 3A Algorithmes efficaces et fondements des lang... |
Programme d'approfondissement |
Informatique |
UE de projet, UE d'approfondissement. |
|
Luca Castelli Aleardi,
Gilles Schaeffer |
|
| CSC_52P01_EP Projet informatique en Calcul Quantique |
Programme d'approfondissement |
Informatique |
UE de projet, UE d'approfondissement. |
|
Titouan CARETTE |
|
| CSC_51050_EP Algorithmique avancée |
Programme d'approfondissement |
Informatique |
PA - BIOINF - cours/EA INF, UE d'approfondissement, UE de base, PA - MAT-INFO - 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, UE d'approfondissement, UE de base, PA-MAP XOR (INF554, MAP553). |
36 |
Michalis Vazirgiannis |
|
| CSC_51056_EP Analyse topologique de données |
Programme d'approfondissement |
Informatique |
PA - BIOINF - cours/EA INF, UE de base, UE d'approfondissement, PA - MAT-INFO - cours/EA INF. |
36 |
Steve Oudot |
|
| CSC_51058_EP Introduction à la Cryptologie |
Programme d'approfondissement |
Informatique |
UE de base, PA - MAT-INFO - cours/EA INF, UE d'approfondissement. |
36 |
François Morain |
|
| CSC_51063_EP Introduction à la théorie de l'information |
Programme d'approfondissement |
Informatique |
PA - MAT-INFO - cours/EA INF, UE d'approfondissement, UE de base. |
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_52001_EP Sujets avancés en calcul quantique et Informations |
Programme d'approfondissement |
Informatique |
|
36 |
Thomas Debris,
Marc-Olivier Renou |
|
| 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_52061_EP Randomisation en Informatique : Jeux, Graphes et Algorithmes |
Programme d'approfondissement |
Informatique |
UE d'approfondissement, UE de base, PA - MAT-INFO - cours/EA INF. |
36 |
Benjamin Doerr |
|
| CSC_52062_EP Géométrie algorithmique : de la théorie aux applications |
Programme d'approfondissement |
Informatique |
UE de base, UE d'approfondissement. |
36 |
Luca Castelli Aleardi |
|
| CSC_52064_EP Compilation |
Programme d'approfondissement |
Informatique |
UE de base, UE d'approfondissement. |
36 |
Jean-Christophe Filliâtre |
|
| 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_52069_EP Theorie de la décision, avec applications aux systèmes d'... |
Programme d'approfondissement |
Informatique |
UE d'approfondissement, UE de base. |
|
Claudia D'Ambrosio |
|
| CSC_52070_EP Vérification logique des systèmes hybrides |
Programme d'approfondissement |
Informatique |
|
36 |
Jeremy Dubut |
|
| CSC_52071_EP Fondements de la vérification des logiciels |
Programme d'approfondissement |
Informatique |
|
36 |
Ambroise Lafont |
|
| CSC_52080_EP Optimisation mathématique à large échelle |
Programme d'approfondissement |
Informatique |
UE de base, PA - BIOINF - cours/EA INF, UE d'approfondissement. |
36 |
Leo Liberti |
|
| CSC_52083_EP Systèmes pour les Mégadonnées |
Programme d'approfondissement |
Informatique |
UE de base, UE d'approfondissement. |
|
Yanlei Diao |
|
| CSC_52991_EP Stage de recherche en science informatique |
Stage |
Informatique |
|
|
Benjamin Werner |
|
| CSC_54601_PS Calculabilité, Complexité, Modèles de Calcul |
Cours scientifiques |
Informatique |
UE hors IPParis. |
28 |
|
|
| FMA_51057_EP Topologie algébrique |
Programme d'approfondissement |
Mathématiques |
PA - MAT-INFO - cours/EA MAT. |
36 |
Grégory Ginot |
|
| FMA_52060_PS Logique |
Cours scientifiques |
Mathématiques |
UE hors IPParis. |
50 |
|
|
| FMA_52061_PS Lambda-calcul et catégories |
Cours scientifiques |
Mathématiques |
UE hors IPParis. |
48 |
|
|
| FMA_52062_EP Introduction à la géométrie algébrique et courbes ellipti... |
Programme d'approfondissement |
Mathématiques |
PA - MAT-INFO - cours/EA MAT. |
36 |
Nicolas Perrin |
|
| LDE_51100_EP JE1 - Allemand Débutant |
Langues |
Langues |
|
|
Heidi Knörzer |
|
| LEN_50512_EP JE1 - Games and Society |
Langues |
Langues |
|
|
Laura-Hilary Langlois |
|
| LES_51300_EP JE1 - Espagnol - Avancé |
Langues |
Langues |
|
2 |
Christian GALDON GASCO |
|
| LFR_50203_EP JE1 - A2/B1 - Langue française et civilisation |
Langues |
Langues |
|
30 |
Julie André |
|
| LFR_51520_EP MA2 - C1C2 - Art et politique XIXe-XXe siècles |
Langues |
Langues |
|
30 |
Julie André |
|
| LJA_50100_EP JE1 - Japonais débutant |
Langues |
Langues |
|
|
Mika Momma,
Nobuko Temma |
|
| MDC_51002_EP Information et Calcul Quantique : Fondements |
Programme d'approfondissement |
Physique, Informatique |
|
36 |
Titouan CARETTE,
Thomas Debris,
Laurent Sanchez-Palencia |
|
| MDC_51006_EP Bases de l'Apprentissage Automatique |
Programme d'approfondissement |
Mathématiques appliquées, Informatique |
|
36 |
Erwan Le Pennec,
Jesse Read |
|
