Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Next revision Both sides next revision
teaching:mfe:ia [2015/03/26 14:25]
bersini [Etude et réalisation orientée objet d'une cellule minimale]
teaching:mfe:ia [2015/03/26 14:36]
bersini
Line 24: Line 24:
  
 Depuis quelques années, Microsoft met en avant un nouveau langage de programmation F# créé dans le sillage des langages dits déclaratifs ou fonctionnels. Il semblerait que ce langage soit idéal pour le traitement des données. Le MFE consistera en une étude expérimentale de ce langage et un comparatif avec les langages de programmation aujourd'​hui les plus usités. ​ Depuis quelques années, Microsoft met en avant un nouveau langage de programmation F# créé dans le sillage des langages dits déclaratifs ou fonctionnels. Il semblerait que ce langage soit idéal pour le traitement des données. Le MFE consistera en une étude expérimentale de ce langage et un comparatif avec les langages de programmation aujourd'​hui les plus usités. ​
 +
 + * Contact : [[http://​code.ulb.ac.be/​iridia.people.php?​id=1|Hugues Bersini (IRIDIA)]] ​
 +
 +===== Etude de l'​algorithme du Deep Learning =====
 +
 +Les réseaux de neurones multicouches sont redevenus très à la mode depuis que Google les utilise massivement pour le traitement automatique d'​images et de vidéos. Nous avons à IRIDIA étudié et réalisé plusieurs algorithmes d'​apprentissage de ces réseaux multicouches. Le mémoire consistera en une comparaison des algorithmes de deep learning tels ceux utilisés chez Google et les alternatives que nous proposons ici à IRIDIA depuis plusieurs années.
  
  * Contact : [[http://​code.ulb.ac.be/​iridia.people.php?​id=1|Hugues Bersini (IRIDIA)]] ​  * Contact : [[http://​code.ulb.ac.be/​iridia.people.php?​id=1|Hugues Bersini (IRIDIA)]] ​
Line 84: Line 90:
 ===== Expérimentation des designs patterns pour la modélisation de systèmes biologiques complexes ===== ===== Expérimentation des designs patterns pour la modélisation de systèmes biologiques complexes =====
  
-Tout bon informaticien se doit aujourd’hui de maîtriser ces recettes de conception OO que sont les designs patterns. Au-delà des langages de programmation ou de modélisation (UML), ils sont devenus le sujet d’étude et de développement le plus prisé de la communauté informatique. Leur maîtrise permet à ces mêmes informaticiens d’attaquer la simulation de procédés complexes avec plus de facilité. Le MFE consistera en la mise en pratique de ces designs patterns pour la modélisation de systèmes biologiques complexes comme le système immunitaire ou les mécanismes de régulations génétiques. Le travail devrait déboucher sur une adaptation de ces mêmes designs patterns au monde et aux problèmes de la biologie.+Tout bon informaticien se doit aujourd’hui de maîtriser ces recettes de conception OO que sont les designs patterns. Au-delà des langages de programmation ou de modélisation (UML), ils sont devenus le sujet d’étude et de développement le plus prisé de la communauté informatique. Leur maîtrise permet à ces mêmes informaticiens d’attaquer la simulation de procédés complexes avec plus de facilité. Le MFE consistera en la mise en pratique de ces designs patterns pour la modélisation de systèmes biologiques complexes comme le système immunitaire ou les mécanismes de régulations génétiques. Le travail devrait déboucher sur une adaptation de ces mêmes designs patterns au monde et aux problèmes de la biologie. Ce mémoire se fera en collaboration avec l'​institut de recherche de Microsoft à Cambridge qui a déjà supervisé les mémorants précédents
  
   * Contact : [[http://​code.ulb.ac.be/​iridia.people.php?​id=1|Hugues Bersini (IRIDIA)]]   * Contact : [[http://​code.ulb.ac.be/​iridia.people.php?​id=1|Hugues Bersini (IRIDIA)]]
Line 110: Line 116:
   * Contact : [[http://​code.ulb.ac.be/​iridia.people.php?​id=1|Hugues Bersini (IRIDIA)]]   * Contact : [[http://​code.ulb.ac.be/​iridia.people.php?​id=1|Hugues Bersini (IRIDIA)]]
  
-===== Mise au point d’un système automatique de génération ​d'​équations différentielles au départ ​d’un diagramme d’état-transition =====+===== Mise au point d’un système automatique de génération ​de code à partir ​d’un diagramme d’état-transition =====
  
-Le diagramme d’état-transition représente le cycle de vie d’un objet, de sa naissance à sa disparition,​ en suivant les différents états par lesquels cet objet transite. ​Lorsqu'​il s'agit d'​objets biologiques,​ il est possible ​de ré-interpréter ce diagramme comme la transition ​d'une  +Le diagramme d’état-transition représente le cycle de vie d’un objet, de sa naissance à sa disparition,​ en suivant les différents états par lesquels cet objet transite. ​Il est par exemple très largement mis à l’œuvre dans la modélisation des procédures parlementaires (l’évolution des décrets ​de loi). C’est le cas dans plusieurs parlements belges avec lesquels IRIDIA collabore. Le MFE étudiera ​la possibilité ​dune génération automatique de code fidèle à ces diagrammes et tout ce qui les compose. Le code généré respectera le design pattern ​d'état associant ​une classe à chaque ​état possibleDes problèmes tels les états compositionnels ou les transitions s'effectuant simultanément seront étudiés
-partie ​d'​une ​population d'​objets dans un certain d'état dans l'​état qui +
-suitDans ce cas, ce diagramme peut se traduire sous forme d'un système +
-d'​équations différentielles que l'on devra pouvoir générer automatiquement+
  
   * Contact : [[http://​code.ulb.ac.be/​iridia.people.php?​id=1|Hugues Bersini (IRIDIA)]]   * Contact : [[http://​code.ulb.ac.be/​iridia.people.php?​id=1|Hugues Bersini (IRIDIA)]]
-  ​+ 
 +===== Mise en place de solutions Big Data et Elastic Search pour les réseaux bibliométriques ​ ===== 
 + 
 +Les publications scientifiques doivent se citer entres elles. Elles constituent donc un immense réseau de citations. Nous étudions à IRIDIA la nature de ce réseau et l'​impact que peut avoit une publication scientifique en suivant dans le temps le nombre de nouvelles publications qui citent cette dernière. Comme ces réseaux sont de taille gigantesque (des millions de publication),​ des solutions technologiques harwarde et software de type Big Data et Elastic Search sont mises en place et expérimentées ici à IRIDIA. Le mémoire consistera en un développement et une expérimentation des ces possibles solutions.  
 + 
 +Contact : [[http://​code.ulb.ac.be/​iridia.people.php?​id=1|Hugues Bersini (IRIDIA)]] 
 + 
 ===== Mise au point d’un langage de modélisation de systèmes biologiques inspiré des diagrammes de classe et d'​état/​transition UML ===== ===== Mise au point d’un langage de modélisation de systèmes biologiques inspiré des diagrammes de classe et d'​état/​transition UML =====
  
 
teaching/mfe/ia.txt · Last modified: 2024/07/01 16:15 by stuetzle