Aide à la Décision

Mise en place d’analyses de traces au sein de MrPython, un outil d’aide à l’apprentissage de la programmation

MrPython est un logiciel libre développé par l’équipe APR du LIP6. Cet outil est utilisé, dans le cadre d’une UE de première année à Sorbonne Université, par plus de 1600 étudiants chaque année. Dans la version actuelle du logiciel, les retours aux étudiants sont fondés uniquement sur des analyses indépendantes liées à chaque exécution du code. Ainsi, il n’est pas possible de détecter des patterns de plus hauts niveaux faisant apparaître des régularités dans les erreurs commises par un même étudiant ou les erreurs courantes d’étudiants sur un même exercice ou type d’exercice.

Thématiques: 
Aide à la Décision

stage chez Huawei (2): Scheduling instructions by using a Monte Carlo Tree Search Procedure

Instruction scheduling is a compiler optimization used to improve instruction-level parallelism, which
is an important step for improving the performance of object code produced by a compiler. Put more
simply, it tries to avoid pipeline stalls by rearranging the order of instructions without changing the
meaning of the code. Nevertheless, even for simple processors, solving the problem is NP-complete.
However, modern processors have multiple pipelined functional units and can issue more than one

Thématiques: 
Aide à la Décision
Recherche Opérationnelle

Apprentissage automatique par renforcement pour l'apprentissage humain

Contexte
Dans le cadre du projet FUI MindMath, l’équipe Mocah du LIP6 (Sorbonne Université) propose un stage pour une durée de 6 mois. MindMath est un projet de plateforme gamifiée et adaptative pour l’apprentissage des mathématiques au collège. Ce projet s’appuie sur des travaux de recherche issus de la didactique des mathématiques et des algorithmes d’IA.
Le stage sera pourvu dès février 2020 et sera localisé à Sorbonne Université (Paris, 5ème arrondissement).

Thématiques: 
Aide à la Décision

2 stages prog. par contraintes / Tokyo

Nous proposons deux sujets de stage de M2 (au choix mutuellement exclusif) pour une durée de 6 mois environ à Tokyo à partir de la fin mars en Programmation par Contraintes : 1. l'étude des symétries dans les espaces des coûts de contraintes à haute dimension, ou 2. l'étude de la répartition des solutions dans l'espace de recherche d'une contrainte et la caractérisation de sa structure, s'il y en a. Les détails sont donnés en pièce jointe.

Thématiques: 
Aide à la Décision
Recherche Opérationnelle

Pages

User login