Descriptif
Cette page est pour les Projets de Recherche du cours "Algorithmes et Bases du Langage de Programmation".
Propositions de projets 2017/2018 :
- Pierre-Yves Strub. A COQ Proof-Mode for APRHL.
- Grégoire Lecerf. Factorisation des polynômes sur les corps finis.
- Grégoire Lecerf. Implantations HPC des opérations arithmétiques sur les polynômes et séries de petites et moyennes tailles.
- Olivier Bournez. Modèles de calculs continus: A propos de la puissance des modèles de calcul basés sur les équations,différentielles ordinaires.
Ci-dessous des projets de INF513 qui ont été réalisés ces dernières années. Nous conseillons aux étudiants de contacter les professeurs de vos cous préférés afin de discuter de la possibilité d'effectuer un projet sous leur supervision, ou de contacter les superviseurs qui ont proposé des projets cette année ou les années précédentes.
====
- Dale Miller, Certificates for CTL Model Checkers.
- Stéphane Graham-Lengrand et Assia Mahboubi, Combinaison de procédures de décisions en présence métavariables.
- Benjamin et Carola Doerr, Analyse des algorithmes évolutionnaires (http://people.mpi-inf.mpg.de/~doerr/projet_approf_doerr_x13_ea.pdf).
- Tomer Libal and Dale Miller (shaolintl@gmail.com), Vérification des Certificats de Preuve (ProofCert project).
- Xavier Allamigeon (Xavier.Allamigeon@inria.fr), Falsifier formellement la conjecture de Hirsch.
Diplôme(s) concerné(s)
- M1 MPRI - Fondements de l'Informatique
- Programmes d'échange internationaux
- Titre d’Ingénieur diplômé de l’École polytechnique
Parcours de rattachement
Format des notes
Numérique sur 20Littérale/grade américainPour les étudiants du diplôme Programmes d'échange internationaux
Le rattrapage est autorisé (Max entre les deux notes)- le rattrapage est obligatoire si :
- Note initiale < 10
- le rattrapage peut être demandé par l'étudiant si :
- Note initiale < 10
- Crédits ECTS acquis : 5 ECTS
La note obtenue rentre dans le calcul de votre GPA.
Pour les étudiants du diplôme Titre d’Ingénieur diplômé de l’École polytechnique
Le rattrapage est autorisé (Max entre les deux notes)- le rattrapage est obligatoire si :
- Note initiale < 10
- le rattrapage peut être demandé par l'étudiant si :
- Note initiale < 10
- Crédits ECTS acquis : 5 ECTS
La note obtenue rentre dans le calcul de votre GPA.
Pour les étudiants du diplôme M1 MPRI - Fondements de l'Informatique
Le rattrapage est autorisé (Note de rattrapage conservée)- le rattrapage est obligatoire si :
- Note initiale < 7
- le rattrapage peut être demandé par l'étudiant si :
- Note initiale < 7
- Crédits ECTS acquis : 5 ECTS
La note obtenue rentre dans le calcul de votre GPA.