Ent?te

Logo du LIFL

  1. Actualités

Événement

visite ENS Cachan

vendredi 14 décembre 2012, 09h00

une trentaine d'éléves de l'ENS Cachan sont en visite au LIFL. Des démonstrations seront présentées au cours de cette journée .

Programme des Ateliers :

titre de l'atelier :  Large-scale spectral analysis of random networks
Animateur :  Antonino Freno
équipe de recherche :  magnet (équipe nouvelle issue de mostrare)
Thème de recherche :  machine learning, graphs, natural language processing, information networks
Résumé de l'atelier :  Online exchange of information often tends to organize itself through some sort of network, where relevant examples include friendship networks (Facebook), customer-product networks (Amazon),
co-authorship and citation networks (DBLP, Google Scholar). Massive application of statistical methods is a crucial element of Web technologies such as search engines, spam filters, or recommender systems. This project focuses on spectral approaches to the statistical analysis of such networks. The goal is to explore possible ways of exploiting graph spectra in order to understand and predict the behavior of large-scale networks in a variety of
real-world settings – e.g. to predict links, identify anomalies, and make optimal decisions under uncertainty.

***********************************************************************
titre de l'atelier : Les interfaces du passé ont-elles encore de l'avenir ?
Animateur : Nicolas Roussel
équipe de recherche : Mint
Théme de recherche :  interaction homme-machine, interaction gestuelle, périphériques d’interaction
Résumé de l'atelier : les objectifs de cet atelier sont les suivants :échanger avec les participants sur les formes dites "nouvelles" d'interaction (e.g. par le toucher, le geste, les interfaces cerveau-machine) ;
présenter des travaux récents de l'équipe MINT qui visent à mieux comprendre et à améliorer des interfaces plus anciennes ;

échanger avec les participants sur quelques concepts clés et défis de l'Interaction Homme-Machine

***********************************************************************
Titre de l'atelier :  multimodalité en interaction homme-machine
Animateur : Jean-Claude Tarby
équipe de recherche : Noce
Thème de recherche : génie logiciel et interaction homme machine pour les infrastructures
d'apprentissage collaboratif
Résumé de l'atelier : Début 80, Richard Bolt a fait une démonstration impressionnante pour
l'époque. Cette démonstration montrait un système capable de traiter des commandes multimodales en combinant geste et voix. Trente deux ans plus tard, un tel système demeure compliqué à produire. Pourquoi ?
Quelles solutions existent aujourd'hui ? Quelles en sont les limites ?
Quelles pistes pour demain ? L'atelier abordera ces questions et permettra aux participants de travailler sur la modélisation d'une application mobile multimodale

************************************************************************
Titre de l'atelier : de la recherche opérationnelle aux méthodes bioinspirées
Animateur : Laetitia Jourdan
équipe de recherche : Dolphin
Thème de recherche : Optimisation multi-critères, modélisation, résolution par méthodes
parallèles et distribuées
Résumé de l'atelier :  L'atelier propose un atelier manipulation pour montrer ce qu'est la
recherche opérationnelle et ce que sont les méthodes bioinspirées.

************************************************************************
Titre de l'atelier :  Décrypter les génomes
Animateur :  Mikael Salson
Equipe de recherche :  Bonsai
Thème de recherche :  analyse de séquences, algorithmique sur sructures discrètes,
applications à la bio informatique
Résumé de l'atelier :  Les milliards de bases constituant les génomes complets disponibles
actuellement sont encore largement « terra incognita ». Leur fonctionnement reste difficile à élucider. En particulier on comprend depuis peu seulement l'importance des régions non codantes comme
acteurs de la complexité du vivant. Les méthodes bioinformatiques développées dans l'équipe ou ailleurs sont indispensables pour traiter la profusion de données à disposition et mettre un sens derrière la suite de nucléotides composant les génomes

************************************************************************

Equipe de recherche : Adam

Titre de l'atelier 1:  Systèmes de recommandation pour le génie logiciel
Animateur :  Martin Monperrus
Thème de recherche :  logiciels distribués, adaptation et reconfiguration
Résumé de l'atelier 1:  Dans cet atelier, nous montrerons pourquoi et comment utiliser des
techniques de data mining sur des données et problèmes du génie logiciel. En particulier, nous montrerons comment générer des FAQs à partir des milliers de mails de mailing-lists open source ; comment
diagnostiquer des bugs dans plusieurs millions de lignes de code de l'IDE Eclipse ; comment analyser des commits existants dans un système de gestion de version dans un but d'auto-réparation.

 

Titre de l'atelier 2:  Estimez la consommation de vos applications en temps réel
Animateur :  Romain Rouvoy
Résumé de l'atelier 2 : Cet atelier présente les activités de l'équipe ADAM en matière de
génie logiciel et d'analyse de la consommation énergétique. L'atelier illustre comment il est possible d'outiller
des modèles analytiques pour en suivre en continu la consommation de sytèmes patrimoniaux. Cette illustration s'appuie sur PowerAPI, un logiciel innovant permettant de comprendre finement comment
l'énergie est dépensée par vos applications.

***********************************************************************

Titre de l'atelier :  bibliothèque de patterns via des templates de modèles
Animateur:  Olivier Caron
Equipe de recherche:  Cocoa
Thème de Recherche :  Composition de modèles, génie logiciel
Résumé de l'atelier :  Une partie de nos travaux vise la description de modèles métiers
réutilisables et composables dans des contextes (domaines) applicatifs différents. Nous avons défini la notion de template de modèle paramétré par un "modèle requis" et fournissant un modèle enrichi. On dépasse ainsi les formes courantes de paramétrage unitaire (ensemble non structuré de paramètres) telles qu'on les
trouve dans la notion de template UML2. Un opérateur associé "apply" a été défini et permet la conception de systèmes par assemblage de modèles paramétrés. L'atelier proposé (plutôt une démonstration) présente un usage particulier de ces travaux : la conception de systèmes par application de patrons de conception (GOF) fournis dans
une bibliothèque de templates de modèles. Cette démonstration est réalisée à l'aide de plugins Eclipse qui permettent la conception de templates de modèles (une extension des templates d'UML 2), leur importation depuis une bibliothèque, leur application via la définition de modèles d'assemblage, et enfin la validation de ces
assemblages.

********************************************************************
Titre de l'atelier :  évaluation de la consommation mémoire de programme
Animateur :  Samuel Hym
Equipe de recherche :  2XS
Thème de recherche :  Logiciels, système et réseau pour petits objets portables et sécurisés
Résumé de l'atelier :  Pour éviter qu'un logiciel (en particulier dans des systèmes critiques) ne fasse d'erreurs par manque de mémoire, on veut borner la quantité de mémoire qu'il peut nécessiter. Dans de nombreux langages
(tels que Java, Ocaml ou encore Javascript) les désallocations ne sont pas gérées explicitement par le programmeur : le garbage collector (GC) s'y charge d'identifier les objets morts et de récupérer leur
mémoire. On verra donc dans cet exposé quelques unes des difficultés à résoudre pour obtenir un résultat suffisamment proche de la réalité. Quels problèmes engendrent exactement les GCs ? Comment
décomposer le problème pour arriver à traiter des programmes qui ne soient pas juste jouets ? Comment traiter les nids de boucle ?

********************************************************************
Titre de l'atelier:  aspects spatiaux de la modélisation de systèmes biochimiques: une approche par langage de programmation
Animateur :  Cristian Versari
Equipe de recherche : BioComputing
Thème de recherche :  concurrent programming languages with stochastic semantics, modeling and simulation of bio-molecular systems
Résumé de l'atelier :  Nous présenterons nos activités de recherche autour de la modélisation des systèmes biologiques et focaliserons en particulier sur l'approche par programmation. Nous nous intéresserons au langage
React( C) que nous avons développé dans notre équipe. Il s'agit d'un langage à la sémantique concurrente et stochastique qui s'appuie sur l'hypothèse d'une distribution spatiale homogène des acteurs
moléculaires. Cette hypothèse n'étant pas toujours valide dans les systèmes réels, nous discuterons d'une extension possible de React(C) permettant de prendre en compte des contraintes liées à la diffusion moléculaire (e.g. obstacles moléculaires, membranaires, etc.).

********************************************************************
Titre de l'atelier :  La modélisation et la dynamique des systèmes de régulation biologique sous l'angle du calcul formel
Animateur :  Alexandre Sédoglavic
Equipe de recherche :  Calcul formel
Thème de recherche :  équations différentielles, algèbre non commutative et cryptographie,modélisation en biologie.
Résumé de l'atelier :  Dans cet exposé, à travers des exemples concrets de phénomènes naturels, nous allons considérer l'algorithmique effective du traitement symbolique des équations différentielles décrivant des systèmes de régulations. Cette étude a pour fin d'analyser le comportement de ces modèles qui décrivent l'évolution --- par exemple temporelle --- de processus tels que des réactions chimiques, des mécanismes de régulation mécaniques ou biologiques.

Quand les modéles sont décrits par des systèmes d'équations différentielles, ce domaine d'application a la particularité de ne pas se prêter à une résolution numérique directe et donc de nécessiter la manipulation \emph{symbolique} des relations liant les diverses inconnues et paramètres du problème plutôt que l'approximation numérique des valeurs attachées aux symboles.

Une partie de ces manipulations symboliques peuvent être vues comme des processus de réécriture, à l'instart de la plupart des procédures de résolution exacte de systèmes d'équation (y compris le classique pivot de Gauss)~: le système de départ est réécrit en un système équivalent mais plus aisément traitable.

Alors que le calcul numérique se fonde sur l'analyse, le calcul symbolique qui permet cette manipulation trouve ses racines principalement dans l'algèbre et la géométrie.
Comme son développement en tant que discipline efficace est intimement lié à l'évolution des méthodes et matériels informatiques, le calcul formel se trouve donc à la confluence de ces domaines.

Pour illustrer notre propos nous verrons comment faire suivre une trajectoire à une grue de chantier, déterminer la dynamique de la régulation de l'opéron lactose,
simplifier la cinétique de la catalyse d'un substrat par une enzyme, etc.
Pour ce faire, nous utiliserons des résultats théoriques développés au sein de notre équipe concernant la théorie de l'élimination différentielle, les études de symétrie, les approximations quasi-stationnaires mais aussi des implantations logicielles développées par ses membres. Pour conclure, nous verrons comment on pourrait tirer profit de nouveaux paradigmes de calcul (GPU, grille).

********************************************************************
Titre de l'atelier :  Data integration for open linked data: from explicit linking to implicit linking
Animateur :  Angela Bonifati
Equipe de Recherche :  links (équipe nouvelle issue de mostrare)
Thème de recherche :  bases de données théoriques, requêtes sur arbres, graphes et leurs sérialisations, intégration de données
Résumé de l'atelier :  Open linked data is a new mean of publishing information on the
Web. It represents a uniform format (i.e. an RDF graph database on top of an OWL vocabulary) to encode data and explicit links among data across several domains, such as life sciences, media, publications, geografic and user-generated content. However, data on the Web also exists in other formats, e.g. relational databases for storing and querying and XML files for information exchange. Whereas reasoning on one format is sufficient to compute explicit links, a more sophisticated reasoning is needed to produce implicit links across various data formats. We discuss the challenges and opportunities of integrating linked open data into heterogeneous formats via schema mappings, that are high-level assertions in logics to express semantic relationships across databases
 

Agenda

Soutenances

Ours

UMR 8022 - Laboratoire d'Informatique Fondamentale de Lille - Copyright © 2012 Sophie TISON - Crédits & Mentions légales

Page respectant XHTML et CSS.