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 [2011/03/08 17:03]
ezimanyi [MFE 2010-2011 : Intelligence Artificielle]
teaching:mfe:ia [2011/03/18 11:55]
bersini
Line 15: Line 15:
 to the implementation of this library will be studied. The to the implementation of this library will be studied. The
 library will also be tested in terms of robustness and performance library will also be tested in terms of robustness and performance
-as compared with the previous existing solutions.+as compared with the previous existing solutions ​coming from other technological platforms (Java, PHP, ...). This memoire will be a follow up of a previous memoire
  
  
   * 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)]] ​
 +
 +===== > Développer un programme informatique permettant une analyse statistique en vue de  l'​évaluation d'un module psychothérapeutique. =====
 +
 +Ce mémoire se fera en collaboration avec l'​équipe médicale du centre pour l'​anorexie et la boulimie de l'​hôpital Erasme. Il consistera en l'​analyse informatisée des données récoltées lors d'​entretiens avec le patient et sa famille au cours du traitement. ​
 +
 +  * Contact : [[http://​code.ulb.ac.be/​iridia.people.php?​id=1|Hugues Bersini (IRIDIA)]] ​
 +
 +
  
 ===== Etude et réalisation orientée objet d'une cellule minimale ===== ===== Etude et réalisation orientée objet d'une cellule minimale =====
Line 24: Line 32:
 Le MFE consistera en un développement orienté objet d'une Le MFE consistera en un développement orienté objet d'une
 cellule biologique minimale avec son métabolisme chimique interne, un génome cellule biologique minimale avec son métabolisme chimique interne, un génome
-élémentaire et sa membrane. Cette cellule devra être capable+élémentaire et sa membrane. L'​idée est de réaliser le logiciel minimal capable de simuler un organisme vivant. Cette cellule devra être capable
 de croître et de spontanément se dupliquer. Il fera suite de croître et de spontanément se dupliquer. Il fera suite
-à un MFE déjà ​réalisé il y a deux ans.+à une succession de MFE déjà ​réalisés ces dernières années.
  
  
Line 68: Line 76:
 ===== Etude de la topologie de réseaux de musiciens de Jazz ===== ===== Etude de la topologie de réseaux de musiciens de Jazz =====
  
-De plus en plus de scientifiques sont convaincus qu’une même topologie de réseaux (c'​est-à-dire la manière dont les nœuds en sont connectés) se retrouve dans de nombreux réseaux, pourtant extraits de réalités très diverses (Web, Internet, réseaux sociaux, biologiques,​ épidémiques). Cette topologie leur conférerait des propriétés intéressantes comme une plus grande robustesse ou une communication réduite entre les nœuds. Il est possible de construire un réseau de musiciens de Jazz connectant deux musiciens dès lors qu’ils ont joué sur un même disque. Le MFE consistera en un développement logiciel ayant pour but la réalisation automatique de ces réseaux de musiciens à partir de documentations sur les disques téléchargés automatiquement de sites de vente en ligne. ​+De plus en plus de scientifiques sont convaincus qu’une même topologie de réseaux (c'​est-à-dire la manière dont les nœuds en sont connectés) se retrouve dans de nombreux réseaux, pourtant extraits de réalités très diverses (Web, Internet, réseaux sociaux, biologiques,​ épidémiques). Cette topologie leur conférerait des propriétés intéressantes comme une plus grande robustesse ou une communication réduite entre les nœuds. Il est possible de construire un réseau de musiciens de Jazz connectant deux musiciens dès lors qu’ils ont joué sur un même disque ​ou participé à un même concert. Le MFE consistera en un développement logiciel ayant pour but la réalisation automatique de ces réseaux de musiciens à partir de documentations sur les disques ​ou les concerts ​téléchargés automatiquement de sites de vente en ligne. ​Le mémorant devra réaliser un logiciel capable d'​extraire ces informations sur le Web et ensuite exploitera un ensemble d'​outils existant lui permettant d'​étudier la topologie du réseau ainsi obtenue.  ​
  
   * 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 83: Line 91:
 ===== Mise au point d’un système automatique de génération de code à partir 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. 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é d’une génération automatique de code fidèle à ces diagrammes et tout ce qui les compose.+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é d’une 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 possible. Des problèmes tels les états compositionnels ou les transitions s'​effectuant simultanément seront étudiés
  
   * 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 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 =====
  
-En général, les biologistes par manque de formation recourent très difficilement à la programmation des systèmes qu'ils étudient. Nous souhaitons les assister en mettant à leur disposition un langage qualitatif de modélisation sur base des diagrammes de classe et d'​état/​transition UML. Ce langage pourrait finalement aboutir à une forme exécutable,​ par une génération de code Java appropriée et son exécution. Le système sera mis au point en collaboration avec des immunologistes avec lesquels IRIDIA entretient des collaborations suivies depuis très longtemps. ​+En général, les biologistes par manque de formation recourent très difficilement à la programmation des systèmes qu'ils étudient. Nous souhaitons les assister en mettant à leur disposition un langage qualitatif de modélisation sur base des diagrammes de classe et d'​état/​transition UML. Ce langage pourrait finalement aboutir à une forme exécutable,​ par une génération de code Java appropriée et son exécution. Le système sera mis au point en collaboration avec des immunologistes ​internationnaux ​avec lesquels IRIDIA entretient des collaborations suivies depuis très longtemps. Ainsi l'​idée est de créer un langage de simulation de systèmes biologique qualitatif et graphique qui soit bien plus facile d'​utilisation pour les biologistes que les langages de programmation actuels
  
   * 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)]]
 ===== Comparaison via la simulation informatique d'une économie de marché de nature concurrentielle et une autre plus redistributive===== ===== Comparaison via la simulation informatique d'une économie de marché de nature concurrentielle et une autre plus redistributive=====
  
-Les économistes nous assènent à l'envi que l'​économie se doit d'​être compétitive et parfaitement concurrentielle. Est-ce si vrai ? L'​économie de marché ne peut-elle exister que sur un mode concurrentiel pour assurer au mieux le bonheur du plus grand nombre d'​agents économiques ? Nous adresserons cette question par l'​entremise de modèles économiques multi-agents mettant en présence des producteurs,​acheteurs,​ consommateurs et vendeurs, et les faisant se comporter d'​abord sur un monde compétitif (économie de marché de type enchère) et ensuite aléatoire. Nous étudierons ​  la manière dont le bien-être cumulé par les agents consommateur est distribué parmi eux. +Les économistes nous assènent à l'envi que l'​économie se doit d'​être compétitive et parfaitement concurrentielle. Est-ce si vrai ? L'​économie de marché ne peut-elle exister que sur un mode concurrentiel pour assurer au mieux le bonheur du plus grand nombre d'​agents économiques ? Nous adresserons cette question par l'​entremise de modèles économiques multi-agents mettant en présence des producteurs,​acheteurs,​ consommateurs et vendeurs, et les faisant se comporter d'​abord sur un monde compétitif (économie de marché de type enchère) et ensuite aléatoire. Nous étudierons ​  la manière dont le bien-être cumulé par les agents consommateur est distribué parmi eux. Ce mémoire fait suite à un mémoire réalisé par un étudiant de Solvay l'​année passée et donc il pourra repartir d'un logiciel existant
  
   * 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 152: Line 160:
     * [[http://​iridia.ulb.ac.be/​~stuetzle|Thomas Stuetzle (IRIDIA)]] ​     * [[http://​iridia.ulb.ac.be/​~stuetzle|Thomas Stuetzle (IRIDIA)]] ​
     * [[http://​iridia.ulb.ac.be/​~manuel|Manuel López-Ibáñez (IRIDIA)]]     * [[http://​iridia.ulb.ac.be/​~manuel|Manuel López-Ibáñez (IRIDIA)]]
 +
 +
 +===== Stochastic local search algorithms for weighted maximum clique problems. ======
 +
 +The Maximum Clique Problem is an NP-hard combinatorial optimisation problem that asks to find the biggest completely
 +connected component of a graph. It has relevant applications in information retrieval, computer vision, social network
 +analysis, computational biochemistry,​ bioinformatics and genomics. ​
 +
 +Among the possible generalisations of the problem there is the Vertex Weighted and Edge Weighted Maximum Clique which asks to find the clique of maximum weight. Being generalisations they are also NP-hard. The goal of the project is to devise heuristic algorithms or adapt existing algorithms of the Maximum Clique for weighted version.
 +
 +Required skills: good knowledge of C or C++ programming. ​
 +
 +
 +  * Contacts : 
 +    * [[http://​iridia.ulb.ac.be/​~stuetzle|Thomas Stuetzle (IRIDIA)]] ​
 +    * [[http://​iridia.ulb.ac.be/​~fmascia|Franco Mascia (IRIDIA)]] ​  
 +
  
 /* /*
Line 234: Line 259:
  
    
- 
-===== Evolution of Cooperation ===== 
- 
-Often the selfish and strong are believed to be favored by natural selection, even though cooperative and fair interactions thrive at all levels of organization in living systems. This project tackles this paradox in the context of Evolutionary Game Theory (EGT), having kin-selection,​ direct and indirect reciprocity as conceptual starting points. Contrary to what is usual, models will also take into account the intricate ties of modern social networks and its topological evolution. ​ 
- 
-In spite of its relevance, understanding the evolution of cooperation remains one of the most fundamental challenges to date, tackled by scientists from fields as diverse as anthropology,​ biology, sociology, ecology, economics, psychology, political science, mathematics,​ physics, etc., who often adopt EGT as a common mathematical framework. Hence, students who choose this proposal should be strongly interested in interdisciplinary research. 
- 
-Required skills: The candidates should have good mathematical skills, be acquainted with C/C++ programming and have a working knowledge of the English language. 
- 
-  * Contact : [[http://​iridia.ulb.ac.be/​~fsantos|Francisco C. Santos (IRIDIA)]] ​ 
- 
- 
- 
-\\ 
-\\ 
-The project is in collaboration with [[http://​www.ciul.ul.pt/​~pacheco/​|Jorge M. Pacheco (University of Lisbon)]], [[http://​como.vub.ac.be/​doku.php?​id=members:​sven_van_segbroeck|Sven Van Segbroeck (IRIDIA and COMO, VUB)]] and [[http://​switch.vub.ac.be/​~tlenaert/​|Tom Lenaerts (SWITCH, VUB)]]. 
  
  
 
teaching/mfe/ia.txt · Last modified: 2024/07/01 16:15 by stuetzle