DHD de Marie PelleauLieu et date : Lundi 5 septembre 2011 à 18h, salle 105 au LINA (Fac. Sciences)
Intervenante : Marie Pelleau
Titre : Octagonal Domains for Continuous Constraints
Résumé : Domains in Continuous Constraint Programming (CP) are generally represented with intervals whose n-ary Cartesian product (box) approximates the solution space. This paper proposes a new representation for continuous variable domains based on octagons. We generalize local consistency and split to this octagon representation, and we propose an octagonal-based branch and prune algorithm. Preliminary experimental results show promising performance improvements on several classical benchmarks.
DHD Aurélien Merel - Estimation de la capacité d’infrastructures ferroviaires par génération de colonnesLieu et date : Mardi 25 janvier 2011 à 15h, salle 105 au LINA (Fac. Sciences)
Cette présentation reprend celle qui sera présentée lors de la conférence RailRome 2011, centrée sur l’application de la recherche opérationnelle au domaine ferroviaire.
Résumé : The capacity of a railway infrastructure stands for the maximum circulation that can pass through the infrastructure within a time horizon, while respecting operational constraints and considering quality of service requirements. As a result of the European market opening policy, traffic tends to increase, making capacity evaluation an essential economic issue. Capacity can be evaluated by solving the so-called ``saturation problem’’. Given an over-dimensioned train schedule, it entails routing a maximum number of trains through the infrastructure, possibly allowing delays but preventing conflicts. Capacity can be computed either at macroscopic or microscopic level, i.e. respectively on a large railway subnetwork or inside a station or junction.
Formation LaTeX 2011L’association propose comme tous les ans une formation à la rédaction de documents (rapports, articles, etc.) en langage LaTeX. La formation est incluse dans le catalogue de formations du collège doctoral. Elle est proposée aux doctorants du collège.
Date : lundi 21 mars 2011 toute la journée
Lieu : LINA (bâtiment 11, campus Sciences de l’Université de Nantes).
La formation sera séparée entre une partie cours et une partie TP sur machine.
L’inscription se fait par le collège doctoral, joignable à l’adresse suivante : collegedoctoral@univ-nantes.fr.
16 places sont disponibles. Date limite d’inscription : vendredi 4 mars 2011.
DHD H. MOHAMED BABOU : LPDAG : Longest path in a DAG with outlier graphRésumé : Les réseaux biologiques représentent chacun une vue partielle de l’activité moléculaire à l’intérieur de la cellule. Des études expérimentales récentes ont montré les avantages indéniables de l’approche comparative pour interpréter ces réseaux, en confrontant des réseaux d’espèces différentes et de types différents (réseaux d’interaction protéine-protéine, de régulation des gènes, métaboliques, de transduction de signal, etc.). Les tentatives de proposer des méthodes de comparaison automatique sont généralement limitées à des réseaux de même type. Il y a peu de travaux de recherche sur la comparaison des réseaux de type différents. Dans ce travail nous proposons une nouvelle approche de comparaison des réseaux biologique. Nous comparons deux réseaux biologiques de types différents et de représentations différentes (graphe orienté vs. graphe non orienté). Cette approche innovante nous permettra de confronter deux vues différentes d’un même phénomène biologique, et donc d’appuyer notre analyse des systèmes biologiques sur des observations complémentaires et riches d’informations.
DHD A. Hock-Koon : MetaModelisation de Service CompositeRésumé : La composition de services est un des enjeux principaux des Architectures Orientées Services (AOS). Elle a pour vocation la maximisation des réutilisations en permettant les combinaisons de ressources existantes. Ces ressources, encapsulées sous la notion de service, collaborent afin de réaliser une tâche complexe. Quantité de travaux se focalisent sur la composition de services et la résolution de ses nombreux problèmes. Cependant, la multitude des approches et leur caractère souvent spécialisé ne permettent pas d’avoir une vision globale de la composition de services qui soit indépendante de toutes technologies ou tous domaines d’application. Notre article s’inscrit dans cette logique d’explicitation de la composition de services. Il propose un métamodèle de service composite qui réifie d’un seul tenant l’ensemble des caractéristiques d’une composition de services. Il définit leurs interdépendances et assure la capacité de réutilisation de cette composition. De plus, nous définissons un mécanisme d’auto composition qui permet des modifications dynamiques de l’architecture du composite et des logiques de compositions associées.
DHD F. Poulard : Détection de dérivation de texteRésumé : Que l’on parle d’inspiration pour les artistes, de sources pour les journalistes ou encore de références pour les scientifiques, l’écriture s’accompagne bien souvent d’un phénomène de dérivation de texte. La dérivation est le processus consistant à repartir d’un texte pré-existant afin d’en créer un nouveau, l’auteur reprend alors plus ou moins intégralement des segments de textes ou des idées énoncées dans le texte original. Nos travaux se positionnent en aval du processus de dérivation où l’on cherche, sans connaissance a priori sur le contexte d’écriture (auteurs, dates, ...), à déterminer si des textes sont dérivés les uns des autres. Nous présenterons lors de ce séminaire un bref état de l’art sur les définitions et les méthodes touchant à la dérivation, nos expérimentations et leurs résultats et finalement les perspectives de nos travaux.
DHD E. Prochasson : Alignement multilingue en corpus comparable spécialiséRésumé : Les corpus comparables rassemblent des documents multilingues n’étant pas en relation de traduction mais partageant des traits communs. Notre travail porte sur l’extraction de lexique bilingue à partir de ces corpus, c’est-à-dire la reconnaissance et l’alignement d’un vocabulaire commun multilingue disponible dans le corpus. Nous nous concentrons sur les corpus comparables spécialisés, c’est-à-dire des corpus constitués de documents révélateurs de la terminologie utilisée dans les langues de spécialité. Nous travaillons sur des corpus médicaux, l’un deux couvre la thématique du diabète et de l’alimentation, en français, anglais et japonais ; l’autre couvre la thématique du cancer du sein, en anglais et en français. Nous proposons et évaluons différentes améliorations du processus d’alignement, en particulier dans le cas délicat de la langue japonaise.
Summary : Comparable corpora are sets of documents written in different languages,
DHD de Julien MenanaLa troisième DHD (demi-heure du doctorant) Login 2008/2009 aura lieu mercredi 29 avril à 18h en salle 105 du LINA site fac de Sciences. Venez nombreux !
Intervenant : Julien Menana, doctorant de l’équipe Contraintes.
Titre : Relaxation Lagrangienne pour le filtrage d’une contrainte automate à coûts multiples Résumé : La programmation par contraintes est un paradigme de résolution approprié dans le domaine de la planification d’horaires. Elle offre une modélisation concise et évolutive des nombreuses conditions, hétérogènes et versatiles, qui définissent typiquement un emploi du temps valide. La contrainte globale regular (Pesant) permet dans ce contexte de spécifier sous la forme d’un automate fini déterministe, les séquences d’activités qui correspondent à un horaire réalisable, et de forcer cette condition de réalisabilité par filtrage des séquences non-reconnues par l’automate. La variante cost-regular (Demassey) prend en compte des coûts d’affection des activités. Traiter les coûts au sein de la contrainte-automate améliore considérablement la profondeur du filtrage sans augmenter la complexité temporelle — cubique en la taille de la séquence — de l’algorithme.
TIC et création artistiqueLogin organise le 23 avril 2009, à 19h au café Flesselles, une rencontre sur "Technologies de l’Information et de la Communication (TIC) et création artistique".
La création artistique a une histoire, qui est partiellement liée à celle des techniques artistiques. Cette dépendance, plus ou moins forte selon les époques et les disciplines, est une nouvelle fois mise en lumière par le développement des technologies de l’information et le communication (TIC). Les outils numériques offrent des possibilités inégalées (copier/coller, échantillonnage, etc.) qui ne sont pas toujours révolutionnaires, mais qui sont souvent des simplifications de l’existant. Néanmoins, les opportunités des TIC ont aussi des revers qui sont entre autres une virtualisation de l’acte de création, une soumission aux interfaces logicielles, une dématérialisation de l’oeuvre, etc.
Nous interrogerons des créateurs et des critiques sur les évolutions des pratiques créatrices, sur la place du geste créateur dans le monde des TIC et sur les évolutions offertes par les techniques et concepts nouveaux (réseaux, etc.).
New CJCN Party !La CJCN organise une soirée "jeu et cocktails" à l’Entrepot Mercredi 1er avril 2009. Venez nombreux.
(See the English version below)
Bonjour à tous,
Qu’est-ce qui caractérise un Jeune Chercheur [1] aux yeux du grand public ? Travailleur, ennuyeux, concentré sur un sujet de thèse,... Si vous êtes jeune chercheur et que vous en avez assez de ces clichés, venez nous rejoindre pour la prochaine soirée "rire et jeux" au bar L’Entrepot [2] le mercredi 1er Avril dès 19h. Au programme : poker, rigolades, loup-garou, humour de chercheurs, cocktails (avec et sans alcool [3]), belote, etc.
A bientôt, l’équipe de la CJCN
Hi everyone, What are the main characteristics of young researchers [4] for the general public ? Hardworking, dull people, focusing only on their thesis subject,...