This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
teaching:mfe:ia [2013/03/18 09:49] bersini |
teaching:mfe:ia [2014/04/17 20:33] mdorigo |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== MFE 2012-2013 : Intelligence Artificielle ====== | + | ====== MFE 2013-2014 : Intelligence Artificielle ====== |
| ===== Introduction ===== | ===== Introduction ===== | ||
| Line 14: | Line 14: | ||
| * 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 la reconnaissance automatique de photos évoquant des visages. ===== | + | ===== Contribution à l'amélioration de la plateforme génomique In Silico DB ===== |
| - | Un ingénieur AIrBR a comme passion de prendre des photos d'objets du quotidien dont le contenu évoque très fortement des visages humains. Il a constitué une base de données énorme de ses photos et souhaiterait mettre au point un algorithme de reconnaissance automatique de visages à partir de ces photos. Ainsi, l'algorithme pourrait séparer automatiquement sur de nouvelles photos celles qu'il considère vraiment comme évoquant un visage des autres. | + | Une nouvelle spin-off a vu le jour depuis un an à IRIDIA: In Silico DB (https://insilicodb.org/) mettant à disposition sous une forme aisément exploitable des centaines de milliers d'échantillons de données génomiques permettant un meilleur diagnostic des maladies d'origine génétique et une meilleure compréhension de la biologie moléculaire. L'équipe qui s'en occupe a un besoin pressant de développeurs informatiques permettant d'en améliorer l'interface. Des connaissances en programmation Web sont souhaité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)]] | ||
| + | |||
| + | ===== Etude pratique et expérimentale du langage de programmation F# ===== | ||
| + | |||
| + | 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 et réalisation orientée objet d'une cellule minimale ===== | ===== Etude et réalisation orientée objet d'une cellule minimale ===== | ||
| Line 118: | Line 124: | ||
| * 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. 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. | 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)]] | ||
| + | |||
| + | ===== Etude des instabilités dynamiques des marchés boursiers ===== | ||
| + | |||
| + | Malgré la théorie économique voyant dans le marché un processus auto-régulé et stable, le fonctionnement de la bourse et de la finance se caractérisent par d'incessantes instabilités dynamiques: bulles spéculatives et autres... Ce MFE aura pour objet une modélisation d'un marché boursier très simplifié dans lesquels seront pris en compte les mimétismes des "traders" souvent responsables de phénomènes de feedbacks positifs menant à ces instabilité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)]] | ||
| Line 201: | Line 214: | ||
| * [[http://iridia.ulb.ac.be/~manuel|Manuel López-Ibáñez (IRIDIA)]] | * [[http://iridia.ulb.ac.be/~manuel|Manuel López-Ibáñez (IRIDIA)]] | ||
| * [[http://iridia.ulb.ac.be/~jdubois|Jérémie Dubois-Lacoste (IRIDIA)]] | * [[http://iridia.ulb.ac.be/~jdubois|Jérémie Dubois-Lacoste (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 Stützle (IRIDIA)]] | ||
| - | * [[http://iridia.ulb.ac.be/~fmascia|Franco Mascia (IRIDIA)]] | ||
| Line 251: | Line 248: | ||
| * [[http://iridia.ulb.ac.be/~fmascia|Franco Mascia (IRIDIA)]] | * [[http://iridia.ulb.ac.be/~fmascia|Franco Mascia (IRIDIA)]] | ||
| + | |||
| + | ===== Feature Extraction and Automatic Algorithm Selection. ====== | ||
| + | |||
| + | The performance of (Stochastic Local Search) algorithms for a given problem depends on the algorithm design and on the setting of the algorithm's parameter. Given a heterogeneous set of instances for a given problem a good algorithm design (or parameter configuration) for one instance is not necessary the best design for all instances. On the contrary a tuning of an algorithm on a specific family of similar instances may affect negatively its performance on other families of instances. | ||
| + | |||
| + | The thesis will focus on devising automatic methods for extracting features from the instances, select the relevant features, and learning (in the framework of multi-class classification) the | ||
| + | relationship, if there is one, between the instances features and the best algorithm for the instance. The results will be instrumental for algorithm selection or the creation of portfolios of complementary algorithms suitable for large sets of diverse instances for a given problem. | ||
| + | |||
| + | |||
| + | Required skills: good knowledge of C or C++ programming and of a scripting language (e.g., python); good knowledge of machine learning methods would also be helpful. | ||
| + | |||
| + | |||
| + | * Contacts : | ||
| + | * [[http://iridia.ulb.ac.be/~stuetzle|Thomas Stützle (IRIDIA)]] | ||
| + | * [[http://iridia.ulb.ac.be/~fmascia|Franco Mascia (IRIDIA)]] | ||
| Line 363: | Line 375: | ||
| * Contact: [[http://iridia.ulb.ac.be/~mbiro|Mauro Birattari]] and Carlo Pinciroli (IRIDIA) | * Contact: [[http://iridia.ulb.ac.be/~mbiro|Mauro Birattari]] and Carlo Pinciroli (IRIDIA) | ||
| - | |||
| - | ===== Self-organized visual coverage in a swarm of robots ===== | ||
| - | |||
| - | Systems composed of several inter-connected cameras are already a reality in our everyday lives. The prime application of such systems is video-surveillance, but the possibilities off ered by multiple-camera systems can extend to other interesting scenarios, such as environment mapping, 3D shape-reconstruction and object recognition. In all these scenarios, the problem of finding the right | ||
| - | position of a set of cameras in order to maximize the visual field, or the amount of information available, is not always a simple one. Furthermore, systems consisting of cameras in a fixed position present obvious issues of robustness and flexibility. | ||
| - | Multi-robots systems can provide an interesting mean to overcome this issues. Robots navigating in the enviroment can change their position as a result of changes in the enviroment or in the overall system's objective. A centralized control solution for these systems is still not a desirable one, as it introduces a single point of failure and it can suff er from performance issues. | ||
| - | The Swarm Robotics paradigm o ffers a valid approach to the design of a multiple camera system. In this project, we want to study the possibility to develop a control strategy that enables a swarm of robots to position themselves into an unknown environment, maximizing the area covered by their visual fields, while relying only on their image processing system and on local communication. | ||
| - | |||
| - | Required skills: The candidate should be acquainted with C/C++ programming and have a | ||
| - | working knowledge of the English language. | ||
| - | |||
| - | * Contact: [[http://iridia.ulb.ac.be/~mbiro|Mauro Birattari]] and Alessandro Stranieri (IRIDIA) | ||
| ===== Automatic fitness function definition in evolutionary robotics ===== | ===== Automatic fitness function definition in evolutionary robotics ===== | ||