Analyse et étude de conjectures de flots non nuls partout dans les graphes. Service d'Algorithmique Hadrien Mélot hadrien.melot@umons.ac.be Absil Romain romain.absil@gmail.com La théorie des flots est à l'heure actuelle très étudiée en théorie des graphes. Plus précisément, les flots non nuls partout sont un cas particulier de flot très lié aux colorations de graphes.
Plus concrètement, un k-flot non-nul partout est un flot dont les valeurs sont comprises entre 1 et k-1. L'idée des problèmes liés aux k-flots non-nuls est alors la suivante : étant donné un graphe non-orienté G, le but est d'orienter G et de l'étiqueter sous la forme d'un k-flot non-nul.
Il est alors possible de se poser des questions intéressantes en se limitant à de petites valeurs de k. Par exemple, Tutte a émis en 1954 une conjecture affirmant que tout graphe sans pont admet un tel flot pour des valeurs comprises entre 1 et 4. Il existe plusieurs autres conjectures du même type sur l'existence de k-flots particuliers.
L'étudiant devra analyser plusieurs conjectures et implémenter un outil permettant d'orienter un graphe et d'y admettre un k-flot non-nul partout. Cet outil pourra également être utilisé pour les conjectures étudiées afin de mettre en évidence leur difficulté.
Ce mémoire est donc à la fois pratique et théorique avec des objectifs doubles :

Implémenter un outil permettant d'illustrer diverses conjectures et de souligner leur difficulté,
Lire et comprendre la littérature de base associée au sujet.

Graph theory, Network flows, Tutte flow conjectures F. Jaeger, Flows and generalized coloring theorems in graphs, J. Comb. Theory Set. B, 26 (1979), 205-216 P. D. Seymour, Nowhere-zero 6-flows, J. Comb. Theory Ser B, 30 (1981), 130-135. J. Bang-Jensen and G. Guttin, Digraphs - Theory, algorithms and applications, Springer-Verlag, 2007, 95-158. http://en.wikipedia.org/wiki/Nowhere-zero_flow http://math.mit.edu/~goemans/18438/lec5.pdf http://garden.irmacs.sfu.ca/?q=op/5_flow_conjecture Aucun prérequis particulier n'est nécessaire à ce mémoire, si ce n'est avoir suivi un cours de théorie des graphes avec succès. Conception d'un lecteur de musique intelligent basé sur l'apprentissage automatique. Service d'Algorithmique Hadrien Mélot hadrien.melot@umons.ac.be Xavier Dubuc La musique fait partie de notre quotidien via notamment l'utilisation de logiciels de lecture de fichiers musicaux. Le but de ce mémoire sera d'étudier l'état de l'art en la matière, puis de concevoir un lecteur de musique "intelligent". Pour ce faire, le lecteur sera basé sur les techniques d'apprentissage automatique (machine learning). En particulier, le comportement du lecteur s'adaptera à la manière dont l'utilisateur s'en sert. Par exemple, si l'utilisateur effectue une lecture aléatoire de sa bibliothèque de musique et qu'il passe une chanson (parce qu'il ne l'aime pas ou qu'il n'a pas envie de l'écouter pour le moment), le lecteur enregistre son action. Ainsi, lors d'une future lecture, il pourrait soit ne plus proposer cette chanson dans la lecture aléatoire, soit diminuer la probabilité pour qu'elle soit choisie lors de cette lecture aléatoire. D'autres fonctionnalités peuvent également être envisagées, comme proposer des chansons que l'utilisateur ne connait pas sur base d'un catalogue de chansons connues et celles que l'utilisateur écoute (par exemple, s'il écoute beaucoup de chansons de Jazz, lui proposer des chansons de Jazz qu'il ne connaît pas). Conception d'un outil de micro-simulation basé sur l'apprentissage automatique. Service d'Algorithmique Hadrien Mélot hadrien.melot@umons.ac.be Brice Geva Le mémoire consiste à concevoir un outil permettant la simulation et l'étude d'une situation routière réelle à un niveau local (micro-simulation). A partir d'un schéma routier extrait d'une "base de données" disponible ou construit "à la main", il mettra à disposition de l'utilisateur une simulation de véhicules. Ces véhicules se comporteront selon différents modèles (e.g., agent réflexe simple basé sur une connaissance a priori des "réflexes" humains, agent plus évolué doté de capacité d'apprentissage automatique). Cette simulation permettra d'extraire une ensemble de données statistiques qui pourront, à terme, être comparées aux différentes données recueillies auprès des organismes officiels d'étude de la circulation routière ou de sociétés de consultance privées dans le domaine du transport. Cette comparaison aidera à valider la justesse du simulateur pour des simulations de situations existantes et ainsi prédire sa fiabilité dans l'étude de situations "imaginées". Assistant à la création de livres numériques enrichis Service des systèmes d'information Jef Wijsen Jiva Bahati Le livre électronique, ou ebook, est défini comme un fichier électronique contenant du texte numérisé. Depuis quelques années, suite à l'explosion des smartphones, tablettes et liseuses, les livres numériques sont produits massivement et connaissent un succès de plus en plus important. Certains craignent même qu'ils puissent dans quelques années supplanter les livres "papier".
Les livres sont disponibles sous plusieurs formats : TXT, HTML, PDF, EPUB, .... Le format EPUB, mis en place par l'International Digital Publishing Forum (IPDF), tend à s'imposer comme un standard dans le domaine et est lisible sur la quasi-totalité des lecteurs d'ebook. Il a été conçu pour faciliter la mise en page et s'adapte automatiquement au type d'appareil de lecture. La dernière version de ce format, l'EPUB 3, est sortie au début de l'année 2011 et la spécification finale a été validée le 11 octobre de cette année (ce mardi). Supportant HTML5, CSS3 et Javascript, il permet l'ajout de contenu multimédia (audio et vidéo), l'interactivité, la gestion des langues, l'écriture des symboles mathématiques, ... et ouvre la voie à de nombreuses extensions. Pour en avoir un aperçu, voir la vidéo publiée à l'adresse http://vimeo.com/24954073.
Le but du mémoire est double. Dans un premier temps, investiguer le domaine du livre électronique, sa genèse, son évolution, les différents types de format et de liseuses, le format EPUB, le problème des DRM, ... Dans un second temps, la création d'une application permettant d'éditer facilement des contenus enrichis. Cet outil permettra entre autres la création, la modification et la lecture des livres numériquesn enrichis (EPUB 3).
Jusque-là, la plupart des applications permettant d'éditer des ebooks sont :

soit des convertisseurs d'un format commun (.txt, .pdf, .odt, .doc) vers le format EPUB. Cette alternative ne semble plus valable dès lors qu'il s'agit d'intégrer du contenu multimédia. Le plus connu de ces convertisseurs est le logiciel libre Calibre.
Soit des applications web consistant en un système d'édition limité en options (par ex. le système de publication du site Feedbooks - fr.feedbooks.com)
Soit d'autres types d'applications obligeant le créateur du livre électronique à taper le code HTML nécessaire à la création d'ebook. Le plus connu est l'outil Silly.

L'application développée devra permettre à un non-connaisseur du HTML ou CSS de créer facilement ses livres numériques enrichis. Validation de documents XML à la volée Service d'Informatique Théorique Véronique Bruyère Le sujet proposé concerne la validation de documents XML à la volée. Plus précisément, étant donné une DTD, on souhaite vérifier algorithmiquement qu'un document XML est valide par rapport à cette DTD. L'algorithme lit petit à petit le document XML et indique dès que possible si celui-ci n'est pas valide, ce en limitant autant que possible la mémoire utilisée. Des études récentes ont étudié ce problème en détail et proposent l'utilisation d'automates et d'automates à pile reconnaissant des familles d'arbres. Le but du mémoire est de comprendre en profondeur ces notions et les algorithmes qui en découlent, ainsi que d'implémenter certains d'entre eux. La reference principale est : Luc Segoufin, Victor Vianu: Validating Streaming XML Documents. PODS 2002: 53-64 Évolution d'un écosystème par rapport aux types d'activités effectués par un développeur Service de Génie Logiciel Tom Mens Dimitri Durieux Historique des projets logiciels Java afin de vérifier si le processus de développement dirigé par les tests a été respecté Service de Génie Logiciel Tom Mens Lionel Destercq Certain conjunctive query answering in first-order logic Service des Systèmes d'Information Jef Wijsen Fabian Pijcke