IRL-archive-2017

De Ensiwiki
Aller à : navigation, rechercher

Pages de présentation des résultats

Gabriel Devillers : Modélisation mécanique inverse de plantes

Pauline Olivier : Propriétés et algorithmes pour la génération de graphes de construction de modèles CAO

Yann DROY : Compilateur d'un mini-langage impératif en modèles automates pour vérification automatique de problèmes de synchronisation

Jules MASELBAS : Programmation synchrone temps-réel sur Arduino

Adrien Suau : Solveurs numériques pour l’étude des états frustrés de la matière

Waltzing Aurélie : Evaluation et couverture des options américaines dans les modèles à temps discret

Alexy Torres : Etude de la mise en œuvre de support à la cohérence des données dans un système manycore avec caches non cohérents

Alexis Janon : Ordonnancement hétérogène et minimisation des changements d'environnement d'exécution

Vincent Morice : Correction géométrique temps réel pour un spectromètre 'spatialisé'

Thomas Marion : Preuve de l'interprétation matérielle de spécifications

Clément Perny : Performances des modèles de prédiction de choix (et application aux modes de transport)

Tworski Marcelin : Prédire des choix de consommation : étude de performance dans RUM

Adrien Gregorj : Modèle hybride pour la croissance tumorale

Alexandra Steinhilber : Analyse de données d’imagerie cérébrale par IRMf pour l'étude du vagabondage mental verbal

Frédéric Viry : Reachability of high-dimensional dynamical systems through low-dimensional projections

Nicolas Bordes : Évaluation de différentes courbes elliptiques et couplages associés pour le calcul vérifié

Marvin Lavechin : Accélération des méthodes de projection sur l'orthant positif pour le démultiplexage de spectrogrammes de fragmentation en protéomique quantitative

Anaïs Donzeau : Visualisation des structures membranaires dans les micro-algues

Clement Hege : Étude par expérimentation numérique de la diversité et de la survie de formes de vie artificielles dans un environnement stratifié par sédimentation différentielle

Valentin Bartier : Bornes pour le remplissage de boites élastiques

Benjamin Roussillon : Quelle taille de graphe peut-on colorier optimalement avec un ordinateur aujourd'hui?

Stéphane Heudron : Étude de la redondance dans les algorithmes génétiques

Roman BRESSON : Conception et validation d'un système intelligent

Quentin Lisack : Vérification de la plongeabilité de graphes dans des surfaces quelconques


Sujets plutôt "info" (ceux précédés d'une * sont déjà pris)

  1. Analyse d'implémentations crytographiques robustes
  2. ATool support for creativity based approaches in requirements engineering
  3. (*) conception et validation d'un système intelligent
  4. Comment vérifier les réponses de son "SAT-solveur" sans trop se fatiguer ?
  5. (*) Programmation synchrone temps-réel sur Arduino
  6. Certification de programmes et de leur performances (temps, cache, mémoire)
  7. Inférence d'automates sans ré-initialisation
  8. Opérations volumiques sur GPU pour la modélisation d’anatomie 3D
  9. (*) Etude de la mise en œuvre de support à la cohérence des données dans un système manycore avec caches non cohérents
  10. Participation au développement d'un outil de CAO
  11. (*) Compilateur d'un mini-langage impératif en modèles automates pour vérification automatique de problèmes de synchronisation
  12. (*) Preuve de l'interprétation matérielle de spécifications


Sujets plutôt "maths" (ceux précédés d'une * sont déjà pris)

  1. (*) Performances des modèles de prédiction de choix (et application aux modes de transport)
  2. (*) Solveurs numériques pour l’étude des états frustrés de la matière
  3. (*) Evaluation et couverture des options américaines dans les modèles à temps discret
  4. (*) Analyse de données IRMf sur le vagabondage mental verbal


Sujets mixtes (ceux précédés d'une * sont déjà pris)

  1. (*) Reachability of high-dimensional dynamical systems through low-dimensional projections
  2. (*) CSUG ATISE : correction géométrique temps réel pour un spectromètre 'spatialisé'
  3. (*) Bornes pour le remplissage de boites élastiques
  4. (*) Modélisation mécanique inverse de plantes
  5. Modèle hybride pour la croissance tumorale
  6. (*) Quelle taille de graphe peut-on colorier optimalement avec un ordinateur aujourd'hui ?
  7. Étude de la redondance dans les algorithmes génétiques
  8. (*) Évaluation de différentes courbes elliptiques et couplages associés pour le calcul vérifié
  9. (*) Propriétés et algorithmes pour la génération de graphes de construction de modèles CAO et de modèles intrinsèques d'assemblages CAO
  10. (*) Visualisation des structures membranaires dans les microalgues
  11. (*) Étude par expérimentation numérique de la diversité et de la survie de formes de vie artificielles dans un environnement stratifié par sédimentation différentielle
  12. (*) Accélération des méthodes de projection sur l'orthant positif pour le démultiplexage de spectrogrammes de fragmentation en protéomique quantitative