Résolution de contraintes mixtes,

Dimension: px
Commencer à balayer dès la page:

Download "Résolution de contraintes mixtes,"

Transcription

1 LABORATOIRE D INFORMATIQUE DE NANTES-ATLANTIQUE UMR 6241 ÉCOLE DOCTORALE STIM, N. 503 «Sciences et technologies de l information et des mathématiques» Sujet de thèse pour 2014 Résolution de contraintes mixtes, application à la gestion de capteurs mobiles Résumé. La Programmation par Contraintes (CP) permet de formaliser et résoudre des problèmes fortement combinatoires. L efficacité des méthodes développées permet aujourd hui d attaquer de nombreux problèmes industriels de grande taille dans des solveurs génériques. Cependant, les solveurs restent dédiés à un seul type de variables : réelles ou entières, et résoudre des problèmes mixtes discrets-continus suppose des transformations ad hoc. Basé sur la notion de domaine abstrait en interprétation abstraite, il s agira donc d étudier, définir et réaliser un système de résolution de contraintes mixtes. Ce travail de thèse, devra s attacher à la fois à développer des outils prototypes et à résoudre un problème réel issu du développement des réseaux de capteurs mobiles, utiles par exemple pour la surveillance de forêt. Mots clés. Programmation par contraintes, contraintes mixtes, interprétation abstraite, capteurs mobiles Directeur de thèse. NOM, Prénom : MONFROY, Eric Équipe d accueil : TASC Courriel : prenom.nom (at) univ-nantes Téléphone : (+33/0) Co-encadrant. NOM, Prénom : TRUCHET, Charlotte Équipe d accueil : TASC

2 Introduction Contexte et problématique La Programmation par Contraintes (CP), dont les origines remontent à 1974 [Mon74], repose sur la formalisation des problèmes comme une conjonction de formules logiques du premier ordre, les contraintes. Une contrainte définit une relation entre les variables d un problème : par exemple, deux objets placés dans un même container ont une intersection géométrique vide, ou bien un objet lourd doit être placé sous un objet fragile. Il s agit donc de programmation déclarative. La CP offre des méthodes de résolution génériques efficaces pour de nombreux problèmes combinatoires. Les applications académiques et industrielles sont variées : problèmes d ordonnancement [GH11, HDL11], de conception de tables de substitution en cryptographie [RSM + 11], de calcul d emplois du temps [SNRF11], de prédiction de la structure secondaire d un ARN en biologie [PB09], de conception de réseaux de fibre optique [PvHT09], ou encore d harmonisation automatique en musique [PR01]. Cette thèse porte sur la résolution en pratique de problèmes de contraintes mixtes, avec des variables entières et continues, et sur une application à la gestion de capteurs mobiles. En effet, l une des limitations à l expressivité des méthodes de CP est qu elles sont dédiées à la nature du problème à résoudre : les solveurs utilisées pour des problèmes à variables discrètes sont fondamentalement différents des techniques dédiées aux problèmes à variables continues. Résoudre des problèmes mixtes discrets-continus suppose des transformations ad hoc ([BG09, CJL09] ). Or, nombre de problèmes industriels sont mixtes et contiennent des variables entières et des variables réelles. C est le cas par exemple d un problème consistant à réparer rapidement un réseau électrique après une catastrophe naturelle [SCvH12], ou d un problème de conception de la topologie d un réseau de transmission multicast [CJHG08]. Dans cette thèse, nous nous attacherons à la fois à développer des outils prototypes et à résoudre un problème réel issu du développement des réseaux de capteurs mobiles, la gestion de capteurs avec garantie de propriétés sur le réseau [Fou13]. Problèmes et opportunités Cette thèse se situe dans la continuité de travaux menés dans l équipe TASC, notamment avec la thèse de Marie Pelleau [PTB11, PMTB13], qui ont permis de développer un prototype de solveur, Absolute, basé sur la notion de domaine abstrait en interprétation abstraite. L Interprétation Abstraite (AI) est une théorie de l approximation de sémantiques [CC77] dont l une des applications est la preuve de programmes. Evidemment, les programmes analysés contiennent souvent, si ce n est toujours, différents types de variables. Les théories d AI intègrent indifféremment de nombreux types de domaines, et ont permis de concevoir des analyseurs traitant uniformément des variables discrètes et continues. Absolute utilise la librairie de domaines abstraits Apron [JM09] pour redéfinir les opérateurs de CP de façon générique.

3 Dans cette thèse, il s agit de développer Absolute [PMTB13] en améliorant les performances du domaine abstrait mixte, actuellement à l état de prototype. En effet, ce domaine a besoin d outils spécifiques pour être efficace : en particulier, il faudra définir les produits réduits entre les domaines abstraits traités et les exploiter au bon moment dans la recherche. Des heuristiques spécifiques doivent également être développées [HMS12, HMS11, MCC + 13]. Cette approche améliore et complète des approches telles que [MSL04, GM03]. L un des enjeux est de pouvoir résoudre des problèmes mixtes industriels, avec une application en gestion de capteurs mobiles [Fou13]. Ce type de problème apparaît par exemple dans des systèmes permettant de surveiller des forêts, en particulier pour donner l alerte en cas d incendie. On a un ensemble de capteurs disposés dans la forêt. Les capteurs ont une batterie à capacité limitée, et sont configurables. Ils peuvent mesurer certaines grandeurs (température, hygrométrie...). Cependant, chaque mesure a un coût en consommation d énergie. On veut donc configurer le réseau en garantissant certaines propriétés (surveillance d une surface minimale, optimisation du temps de vie, etc). Travail demandé Objectifs Les objectifs de cette thèse sont les suivants : exploiter les outils développés dans le solveur Absolute sur des problèmes réels, développer la programmation par contraintes sur des problèmes mixtes en visant l efficacité, résoudre le problème de la gestion de capteurs mobiles. Le principal rendu envisagé sera un prototype de solveur mixte, résolvant efficacement le problème de la gestion des capteurs mobiles. Il s agit d un thème au coeur du projet scientifique de l EPI TASC, tant au niveau théorique (la CP mixte reste un challenge scientifique) qu applicatif (le problème visé concerne la gestion de l énergie dans l informatique ubiquitaire). Cette thèse permettrait donc de développer et conforter ce projet scientifique, avec une coloration "énergie" cohérente avec les orientations de l INRIA à Nantes. Enfin, elle devrait permettre de développer deux collaborations de l équipe : d une part, avec l IRISA, dont l équipe Triskell travaille sur la surveillance des forêts grâce à l informatique ubiquitaire et a formalisé le problème de la gestion de capteurs mobiles, et d autre part avec A. Miné, de l équipe Interprétation Abstraite de l ENS, qui apporte ses compétences en sémantique et IA. Plan de travail prévisionnel de l étude Les étapes prévues pour cette thèse suivent un schéma classique avec d abord une prise en main des outils nécessaires (théoriques : état de l art, et pratiques : logiciels), puis une étude test sur un benchmark simple, et enfin l application à un problème réel. De façon plus détaillée :

4 réaliser un état de l art, en particulier sur les techniques de CP mixte et les notions utiles en AI (domaines abstraits, produits réduits), prendre en main la librairie Apron et le solveur Absolute, en collaboration avec l ENS (A. Miné), définir une méthodologie de test pour les problèmes mixtes en Absolute, en partant de problèmes jouets, implémenter et tester différentes heuristiques de choix de variables et de choix de valeurs, ainsi que d appel aux produits réduits - cette étape fera à la fois aux compétences en CP de l encadrement et aux compétences en IA de l équipe Interprétation Abstraite, modéliser en CP le problème mixte de gestion de capteurs mobiles, en collaboration avec l équipe Triskell (B. Baudry), réaliser une évaluation précise de la résolution du problème avec le prototype. Candidats Compétences Les candidats doivent avoir des compétences fortes en algorithmique avancée (utilisation des domaines abstraits et des propagations de contraintes), programmation C ou OCaml (développement de méthodes dans Absolute), et en programmation par contraintes. Des connaissances en sémantique ou interprétation abstraites seront un plus.

5 Bibliography [BG09] [CC77] Nicolas Berger and Laurent Granvilliers. Some interval approximation techniques for minlp. In Proceedings of the The 8th Symposium on Abstraction, Reformulation and Approximation (SARA 09), Patrick Cousot and Radhia Cousot. Static determination of dynamic properties of generalized type unions. In Proceedings of an ACM conference on Language design for reliable software, pages 77 94, New York, NY, USA, ACM. [CJHG08] Kaikai Chi, Xiaohong Jiang, Susumu Horiguchi, and Minyi Guo. Topology design of network-coding-based multicast networks. IEEE Transactions on Parallel and Distributed Systems, 19(5): , [CJL09] [Fou13] [GH11] [GM03] Gilles Chabert, Luc Jaulin, and Xavier Lorca. A constraint on the number of distinct vectors with application to localization. In Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming (CP 09), pages , Berlin, Heidelberg, Springer-Verlag. Francois Fouquet. Kevoree : pour le développement continu de systèmes adaptatifs distribués hétérogènes. These, Université Rennes 1, March Diarmuid Grimes and Emmanuel Hebrard. Models and strategies for variants of the job shop scheduling problem. In Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming (CP 11), volume 6876 of Lecture Notes in Computer Science, pages Springer- Verlag, Laurent Granvilliers and Eric Monfroy. Implementing constraint propagation by composition of reductions. In C. Palamidessi, editor, Proceedings of the 19th International Conference on Logic Programming (ICLP 2003), number 2916 in Lecture Notes in Computer Science, pages , Mumbai, India, Springer. [HDL11] Fabien Hermenier, Sophie Demassey, and Xavier Lorca. Bin repacking scheduling in virtualized datacenters. In Proceedings of the 17th International 5

6 Conference on Principles and Practice of Constraint Programming (CP 11), volume 6876 of Lecture Notes in Computer Science, pages Springer-Verlag, [HMS11] Y. Hamadi, E. Monfroy, and F. Saubion. Hybrid Optimization (The 10 Years of CP-AI-OR), volume 45 of Optimization and its Applications, chapter What is Autonomous Search?, pages Springer-Verlag, van Hentenryck P. and Milano, M. edition, [HMS12] Y. Hamadi, E. Monfroy, and F. Saubion. Autonomous Search, chapter An Introduction to Autonomous Search, pages Springer-Verlag, Hamadi, Y. and Monfroy, E. and Saubion, F. edition, [JM09] Bertrand Jeannet and Antoine Miné. Apron: A library of numerical abstract domains for static analysis. In Proceedings of the 21th International Conference Computer Aided Verification (CAV 2009), volume 5643 of Lecture Notes in Computer Science, pages Springer, June [MCC + 13] E. Monfroy, C. Castro, B. Crawford, R. Soto, F. P aredes, and C. Figueroa. A Reactive and Hybrid Constraint Solver. Journal of Experimental & Theoretical Artificial Intelligence, 25(1):1 22, [Mon74] [MSL04] [PB09] Ugo Montanari. Networks of constraints: Fundamental properties and applications to picture processing. Information Science, 7(2):95 132, E. Monfroy, F. Saubion, and T. Lambert. On hybridization of local search and constraint propagation. In B. Demoen and V. Lifschitz, editors, Proceedings of the 20th International Conference on Logic Programming (ICLP 2004), volume 3132 of Lecture Notes in Computer Science, pages , Saint-Malo, France, Springer. Olivier Perriquet and Pedro Barahona. Constraint-based strategy for pairwise rna secondary structure prediction. In Proceedings of the 14th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence (EPIA 09), volume 5816 of Lecture Notes in Computer Science, pages Springer- Verlag, [PMTB13] Marie Pelleau, Antoine Miné, Charlotte Truchet, and Frédéric Benhamou. A Constraint Solver based on Abstract Domains. In Roberto Giacobazzi, Josh Berdine, and Isabella Mastroeni, editors, Verification, Model Checking, and Abstract Interpretation, volume 7737 of Lecture Notes in Computer Science, pages , Rome, Italie, Springer-Verlag. [PR01] Francois Pachet and Pierre Roy. Musical harmonization with constraints: A survey. Constraints, 6(1):7 19, 2001.

7 [PTB11] [PvHT09] Marie Pelleau, Charlotte Truchet, and Frédéric Benhamou. Octagonal Domains for Continuous Constraints. In 17th International Conference on Principles and Practice of Constraint Programming (CP 11), pages , Perrugia, Italie, Springer-Verlag. Marie Pelleau, Pascal van Hentenryck, and Charlotte Truchet. Sonet network design problems. In Proceedings of the 6th International Workshop on Local Search Techniques in Constraint Satisfaction, pages 81 95, [RSM + 11] Venkatesh Ramamoorthy, Marius C. Silaghi, Toshihiro Matsui, Katsutoshi Hirayama, and Makoto Yokoo. The design of cryptographic s-boxes using csps. In Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming (CP 11), volume 6876 of Lecture Notes in Computer Science, pages Springer-Verlag, [SCvH12] [SNRF11] Ben Simon, Carleton Coffrin, and Pascal van Hentenryck. Randomized adaptive vehicle decomposition for large-scale power restoration. In Proceedings of the 9th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 12), volume 7298 of Lecture Notes in Computer Science, pages Springer- Verlag, Martin Stølevik, Tomas Eric Nordlander, Atle Riise, and Helle Frøyseth. A hybrid approach for solving real-world nurse rostering problems. In Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming (CP 11), volume 6876 of Lecture Notes in Computer Science, pages Springer-Verlag, 2011.

8 Charlotte Truchet Address: LINA (UMR 6241) Tel: (+33) Nantes University Fax: (+33) Nantes Dr. Charlotte Truchet received her PhD in Computer Science from Paris 7 University in She worked on application of Constraint Programming (CP) to musical contemporary composition, mostly with Local Search (LS) techniques, and designed a LS-based solving tool in Open Music, a programming language dedicated to music. Later, she edited, with Gérard Assayag (IRCAM), a book on musical applications of CP: Constraint Programming in Music, ISTE/Wiley, Since 2005, she is assistant professor at Nantes University, in the TASC team, which gathers around 20 researchers in CP. Her main research interests are: global constraints (generic model), extension of CP techniques, including LS, to problems with both discrete and continuous variables, and prediction models for the behavior of solving algorithms, using applied probabilities. She recently got interested in using these modeling tools for predicting the behavior of parallel LS algorithms. She is also involved in the animation of the CP community: apart from being a PC member (JFPC , ECAI 2012) and reviewer (CP, Constraints, ISMIR, ICMC, CPAIOR) for several conferences in the domain, she has served as the secretary for the french CP association (AFPC) for four years, has organized the french CP conference in Nantes in 2008 (JFPC 08) and was program chair of the same conference this year (JFPC 13). Professional Experience : Graduate Assistant, Université Paris 6, France : Research Engineer, Université Paris 6, France : Post-Doctoral Position, Université de Nantes, France 2005-Present: Assistant Professor, Université de Nantes, France Publications 5 most relevant publications, on a total of 2 peer-reviewed journal papers (plus 1 to accepted, to appear), 14 peer-reviewed international conferences, 4 book chapters. 1. Charlotte Truchet, Florian Richoux and Philippe Codognet: Prediction of Parallel Speed-ups for Las Vegas Algorithms, in Proc. of International Conference on Parallel Processingn 2013, Lyon, France 2. Alejandro Arbelaez, Philippe Codognet and Charlotte Truchet: Using Runtime Distributions for the Analysis and Parallelization of Local Search for SAT, in Proc. International Conference on Logic Programming, 2013, Istanbul, Turkey 3. Jérémie Du Boisberranger, Danièle Gardy, Xavier Lorca, Charlotte Truchet: When is it worthwhile to propagate a constraint? A probabilistic analysis of AllDi erent, in Proc. of the 10th Meeting on Analytic Algorithmics and Combinatorics, 2013, New Orleans, USA 4. Marie Pelleau, Antoine Miné, Charlotte Truchet, Frédéric Benhamou: A Constraint Solver Based on Abstract Domains, in Proc. of 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, Roma, Italy 5. Marie Pelleau, Charlotte Truchet, Frédéric Benhamou: Octagonal Domains for Continuous Constraints. in Proc. of CP 2011, Perrugia, Italy Best student paper award

9 Eric%Monfroy% Date%de%naissance%:%23%Février%1965% Professeur%des%Universités% % Principaux%thèmes%de%recherche%:%aide%à%la%décision,%résolution%coopérative%de%problèmes,%programmation%par% contraintes,%solveurs%distribués,%solveurs%hybrides,%programmation%par%règles.% Formation%:% HDR,%Université%de%Nantes,%22%nov.%2002% Doctorat,%Université%de%Nancy%I,%7%nov.%1996% Parcours%:% Professeur%Université%de%Nantes,%septembre%2012% % Senior%researcher,%USM%Chili,%Octobre%2004% %Août%2012%(délégation%3%ans%puis%détachement%de%l Université% de%nantes)% Professeur%Université%de%Nantes,%septembre%2003% %octobre%2004% Maître%de%conférences,%%Université%de%Nantes,%septembre%2000% %août%2003% PostXdoc,%CWI,%Amsterdam,%PaysXBas,%novembre%1996,%août%2000% Doctorant%Université%de%Nancy%I,%octobre%1992 octobre%1996% Researcher,%ECRC,%Munich,%Allemagne,%octobre%1990% %septembre%1992% Comités%d organisation%et%comités%de%programme%de%colloques%:% Comités%d organisation%:%environ%20,%dont%track%csp%à%acm%sac%(de%2003%à%2013),%cosolv%workshop%(5x),% ERCIM%workshop%(5x),% % Comités%de%programme%:%environ%30%conférences%(dont%IJCAI,%CP,%ECA),%et%25%workshops%(dont%CHR,%Tricks,%CP% workshops)% Publications%:% CoXéditeur%de%livres%:%3% CoXéditeur%de%numéros%spéciaux%de%journaux%:%1% Chapitres%de%livre%:%3% Articles%dans%des%journaux%internationaux%:%12% Articles%dans%des%journaux%nationaux%:%4% Présentations%invitées%dans%des%colloques%internationaux%:%8% Colloques%internationaux%avec%comité%de%lecture%et%publication%des%actes%:%85% Colloques%nationaux%avec%comité%de%lecture%et%publication%des%actes%:%18% Participations%à%des%projets%de%recherche%:% Divers%:% 2%projets%européens%et%3%groupes%de%travail%européens% 10%projets%de%coopération%internationale% 4%projets%nationaux%(dont%1%RNTL)% Visites%invitées%dans%des%centres%de%recherche%:%14% Encadrement%de%thèses%de%doctorat%:%6% Participation%à%jurys%de%thèse%de%doctorat%:%14% Participation%à%jurys%de%thèse%d HDR%:%2% Evaluations%de%projets%FQRNT%(Canada),%FONDECYT%(Chili),%DIUFRO%(Chili),%Mecesup%(Chili),%Microsoft%PhD% Scholarship,%Studium%(France),%RNTL%(France).% Responsable%de%l équipe%cocoa%du%lina%(sep.%2001 oct.%2004)% Membre%du%conseil%de%laboratoire%du%LINA%(déc.%2002% %déc.%2003)% Responsable%du%LIS%(Logistique%Informatique%Sciences),%UFR%Sciences,%Nantes%oct.%2001% %oct.%2004%

Langage dédié pour le pilotage de solveurs de contraintes

Langage dédié pour le pilotage de solveurs de contraintes LABORATOIRE D INFORMATIQUE DE NANTES-ATLANTIQUE UMR 6241 ÉCOLE DOCTORALE STIM, N. 503 «Sciences et technologies de l information et des mathématiques» Sujet de thèse pour 2010 Langage dédié pour le pilotage

Plus en détail

Curriculum Vitae - Emmanuel Hebrard. Emmanuel Hebrard

Curriculum Vitae - Emmanuel Hebrard. Emmanuel Hebrard Emmanuel Hebrard Adresse 5 Tuckey Street Cork, Ireland emmanuel.hebrard@gmail.com http ://4c.ucc.ie/ ehebrard/home.html Adresse Professionnelle Cork Constraint Computation Centre Cork, Ireland Telephone

Plus en détail

Contraintes pour le Placement d Objets Courbes

Contraintes pour le Placement d Objets Courbes LABORATOIRE D INFORMATIQUE DE NANTES-ATLANTIQUE UMR 6241 ÉCOLE DOCTORALE STIM, N. 503 «Sciences et technologies de l information et des mathématiques» Sujet de thèse pour 2012 Contraintes pour le Placement

Plus en détail

Contrainte globale sur un ensemble de trajectoires

Contrainte globale sur un ensemble de trajectoires LABORATOIRE D INFORMATIQUE DE NANTES-ATLANTIQUE UMR 6241 ÉCOLE DOCTORALE STIM, N. 503 «Sciences et technologies de l information et des mathématiques» Sujet de thèse pour 2010 Contrainte globale sur un

Plus en détail

Programmation paresseuse et causale des architectures orientées services

Programmation paresseuse et causale des architectures orientées services LABORATOIRE D INFORMATIQUE DE NANTES-ATLANTIQUE UMR 6241 ÉCOLE DOCTORALE STIM, N. 503 «Sciences et technologies de l information et des mathématiques» Sujet de thèse pour 2016 Programmation paresseuse

Plus en détail

Outil SANTE: Détection d erreurs par analyse statique et test structurel des programmes C

Outil SANTE: Détection d erreurs par analyse statique et test structurel des programmes C Outil SANTE: Détection d erreurs par analyse statique et test structurel des programmes C Omar Chebaro LIFC, Université de Franche-Comté, 25030 Besançon France CEA, LIST, Laboratoire Sûreté des Logiciels,

Plus en détail

2003-2006 Etudiant en classe préparatoire, Lycée Henri Wallon, Valenciennes.

2003-2006 Etudiant en classe préparatoire, Lycée Henri Wallon, Valenciennes. Vincent Cheval School of Computing University of Kent Canterbury, CT2 7NF, UK +44 (0)7479 555701 +44 (0)1227 823816 vincent.cheval@icloud.com homepage: www.cs.kent.ac.uk/ vc218/web Nationalité : Française

Plus en détail

UNIVERSITE LYON 3 (JEAN MOULIN) Référence GALAXIE : 4141

UNIVERSITE LYON 3 (JEAN MOULIN) Référence GALAXIE : 4141 UNIVERSITE LYON 3 (JEAN MOULIN) Référence GALAXIE : 4141 Numéro dans le SI local : Référence GESUP : 0114 Corps : Maître de conférences Article : 26-I-1 Chaire : Non Section 1 : 01-Droit privé et sciences

Plus en détail

Maître de conférences en Informatique

Maître de conférences en Informatique Jean-François CONDOTTA Maître de conférences en Informatique CRIL CNRS UMR 8188 Université d Artois - IUT de Lens Rue de l Université, 62307 Lens Cedex T +33 (0)3 21 79 32 79 B condotta@cril.univ-artois.fr

Plus en détail

Maîtrise énergétique des centres de données

Maîtrise énergétique des centres de données LABORATOIRE D INFORMATIQUE DE NANTES-ATLANTIQUE UMR 6241 ÉCOLE DOCTORALE STIM, N. 503 «Sciences et technologies de l information et des mathématiques» Sujet de thèse pour 2010 Maîtrise énergétique des

Plus en détail

APRON: Analyse de PRogrammes Numérique

APRON: Analyse de PRogrammes Numérique Introduction APRON: Analyse de PRogrammes Numérique Projet 2004 François Irigoin École des Mines de Paris - Centre de Recherche en Informatique 17 novembre 2004 Introduction Pourquoi? Analyse statique

Plus en détail

Modélisation et Vérification des Réseaux de Régulations entre Gènes

Modélisation et Vérification des Réseaux de Régulations entre Gènes Modélisation et Vérification des Réseaux de Régulations entre Gènes Loïc Paulevé JDOC 2010-29 avril 2010 Directeur : Co-encadrant : Olivier Roux Morgan Magnin Laboratoire : IRCCyN, UMR CNRS 6597 Équipe

Plus en détail

Un algorithme de programmation par contraintes pour la recherche d allocations leximin-optimales.

Un algorithme de programmation par contraintes pour la recherche d allocations leximin-optimales. Un algorithme de programmation par contraintes pour la recherche d allocations leximin-optimales. Sylvain Bouveret et Michel Lemaître Office National d Études et de Recherches Aérospatiales Centre National

Plus en détail

Introduction à la Recherche en Laboratoire

Introduction à la Recherche en Laboratoire Introduction à la Recherche en Laboratoire Transferts de données pour le vol de travail Tristan Darricau tristan.darricau@ensimag.grenoble-inp.fr 26 mai 2014 Grenoble INP - ENSIMAG Ecadrement Frédéric

Plus en détail

Analyse qualitative et quantitative des Systèmes Automatisés de Production

Analyse qualitative et quantitative des Systèmes Automatisés de Production Analyse qualitative et quantitative des Systèmes Automatisés de Production Jean-Luc Cojan Laboratoire LISyC Université de Bretagne Occidentale Encadrants : M. Philippe Le Parc M. Loïc Plassart M. Franck

Plus en détail

Bourses d excellence pour les masters orientés vers la recherche

Bourses d excellence pour les masters orientés vers la recherche Masters de Mathématiques à l'université Lille 1 Mathématiques Ingénierie Mathématique Mathématiques et Finances Bourses d excellence pour les masters orientés vers la recherche Mathématiques appliquées

Plus en détail

Christophe REVELLI Associate Professor Kedge Business School christophe.revelli@kedgebs.com PROFESSIONAL +33 491 827 896

Christophe REVELLI Associate Professor Kedge Business School christophe.revelli@kedgebs.com PROFESSIONAL +33 491 827 896 Christophe REVELLI Associate Professor Kedge Business School christophe.revelli@kedgebs.com PROFESSIONAL +33 491 827 896 EDUCATION 2011 Qualification aux fonctions de Maître de Conférences en Sciences

Plus en détail

Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services

Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services 69 Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services M. Bakhouya, J. Gaber et A. Koukam Laboratoire Systèmes et Transports SeT Université de Technologie de Belfort-Montbéliard

Plus en détail

Décomposition de domaine pour un milieu poreux fracturé

Décomposition de domaine pour un milieu poreux fracturé Décomposition de domaine pour un milieu poreux fracturé Laila AMIR 1, Michel KERN 2, Vincent MARTIN 3, Jean E ROBERTS 4 1 INRIA-Rocquencourt, B.P. 105, F-78153 Le Chesnay Cedex Email: laila.amir@inria.fr

Plus en détail

Problèmes d optimisation dans les jeux avec GHOST

Problèmes d optimisation dans les jeux avec GHOST Problèmes d optimisation dans les jeux avec GHOST Florian Richoux LINA UMR 6241, Université de Nantes, France florian.richoux@univ-nantes.fr Résumé : Cet article présente GHOST, un solveur d optimisation

Plus en détail

RLBS: Une stratégie de retour arrière adaptative basée sur l apprentissage par renforcement pour l optimisation combinatoire

RLBS: Une stratégie de retour arrière adaptative basée sur l apprentissage par renforcement pour l optimisation combinatoire Actes JFPC 2015 RLBS: Une stratégie de retour arrière adaptative basée sur l apprentissage par renforcement pour l optimisation combinatoire Ilyess Bachiri 1,2 Jonathan Gaudreault 1,2 Brahim Chaib-draa

Plus en détail

Association des Doctorants du campus STIC. Séminaires doctorants 11

Association des Doctorants du campus STIC. Séminaires doctorants 11 Association des Doctorants du campus STIC Séminaires doctorants 11 07 mars 2007 Actes édités par l association des doctorants du campus STIC. Les travaux individuels publiés restent l unique propriété

Plus en détail

Curriculum Vitae. Statut administratif. Diplomes, Récompenses et Bourses

Curriculum Vitae. Statut administratif. Diplomes, Récompenses et Bourses Xavier Venel CES, Maison des Sciences Économiques 106-112 Boulevard de l Hôpital 75647 Paris Cedex 13 - France t Tel. : +33.6.26.05.63.25 Email : xavier.venel@univ-paris1.fr http ://sites.google.com/site/xaviervenelsite/

Plus en détail

Curriculum Vitae 1 er février 2008

Curriculum Vitae 1 er février 2008 Curriculum Vitae 1 er février 2008 Informations générales Cédric MEUTER Nationalité belge Né à La Louvière, le 16 novembre 1979 Adresse personnelle : Adresse professionnelle : Ave Général Bernheim, 57

Plus en détail

Une extension pour RDF/RDFS utilisant des relations procédurales

Une extension pour RDF/RDFS utilisant des relations procédurales Une extension pour RDF/RDFS utilisant des relations procédurales Jean-François Baget * * INRIA Sophia-Antipolis & LIRMM(CNRS - UM2) LIRMM, 161 rue Ada, 34392 Montpellier Cedex 5 baget@lirmm.fr RÉSUMÉ.

Plus en détail

G. Lesauvage. Laboratoire d Informatique et du Traitement de l Information et des Systèmes

G. Lesauvage. Laboratoire d Informatique et du Traitement de l Information et des Systèmes Gestion dynamique des activités des chariots cavaliers sur un terminal portuaire à conteneurs en environnement incertain - approche par intelligence collective - G. Lesauvage Unité de Formation et de Recherche

Plus en détail

Appel à Présentations de PMEs. «Workshop on GNSS applications» Toulouse Space Show 2014. En présence de la GSA (European GNSS Agency)

Appel à Présentations de PMEs. «Workshop on GNSS applications» Toulouse Space Show 2014. En présence de la GSA (European GNSS Agency) Appel à Présentations de PMEs «Workshop on GNSS applications» Toulouse Space Show 2014 En présence de la GSA (European GNSS Agency) 1. TOULOUSE SPACE SHOW Le Toulouse Space Show 2014 se tiendra du 30 Juin

Plus en détail

Artificial Intelligence AI

Artificial Intelligence AI Pedagogical Introduction Artificial Intelligence AI Lecture 0 Karim Bouzoubaa This Lecture General Information Examples Importance At the end Intelligent Systems Course Content, Other AI courses, Learning

Plus en détail

Programmation par contraintes pour les technologies logicielles

Programmation par contraintes pour les technologies logicielles Colloque GEMSTIC 03 Programmation par contraintes pour les technologies logicielles Narendra Jussien École des Mines de Nantes 4, rue Alfred Kastler BP 20722 F-44307 Nantes Cedex 3 email: jussien@emn.fr

Plus en détail

Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming

Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming THÈSE N O 5007 (2011) PRÉSENTÉE le 20 mai 2011 À LA FACULTÉ INFORMATIQUE ET COMMUNICATIONS LABORATOIRE DE MÉTHODES DE PROGRAMMATION

Plus en détail

Transport in quantum cascade lasers

Transport in quantum cascade lasers Diss. ETH No. 20036 Transport in quantum cascade lasers A dissertation submitted to ETH ZURICH for the degree of Doctor of Sciences presented by ROMAIN LÉON TERAZZI Diplôme de Physicien, Université de

Plus en détail

CONTRAT D ETUDES - LEARNING AGREEMENT

CONTRAT D ETUDES - LEARNING AGREEMENT CONTRAT D ETUDES - LEARNING AGREEMENT Règles générales La présence aux séances d enseignement des modules choisis est obligatoire. Chaque module comporte des séances de travail encadrées et non encadrées

Plus en détail

Photo Manipulations in the 2011 CES

Photo Manipulations in the 2011 CES Canadian Election Study Methodological Briefs Methodological Brief #2013-A Photo Manipulations in the 2011 CES Patrick Fournier, Université de Montréal Stuart Soroka, McGill University Fred Cutler, University

Plus en détail

MEMORANDUM POUR UNE DEMANDE DE BOURSE DE RECHERCHE DOCTORALE DE LA FONDATION MARTINE AUBLET

MEMORANDUM POUR UNE DEMANDE DE BOURSE DE RECHERCHE DOCTORALE DE LA FONDATION MARTINE AUBLET MEMORANDUM POUR UNE DEMANDE DE BOURSE DE RECHERCHE DOCTORALE DE LA FONDATION MARTINE AUBLET ATTENTION : Tout formulaire de candidature qui présentera des erreurs ou anomalies dans le remplissage des champs

Plus en détail

Curriculum Vitae. Karel HEURTEFEUX. Education

Curriculum Vitae. Karel HEURTEFEUX. Education Address CNRS, Verimag - Laboratory / Synchrone Team 2, Avenue de Vignate, 38610 Gières, France Tel. : +33 (0)4 56 52 03 86 Curriculum Vitae Karel HEURTEFEUX Born 10.21.1982 French karel.heurtefeux@imag.fr

Plus en détail

physicien diplômé EPFZ originaire de France présentée acceptée sur proposition Thèse no. 7178

physicien diplômé EPFZ originaire de France présentée acceptée sur proposition Thèse no. 7178 Thèse no. 7178 PROBLEMES D'OPTIMISATION DANS LES SYSTEMES DE CHAUFFAGE A DISTANCE présentée à l'ecole POLYTECHNIQUE FEDERALE DE ZURICH pour l'obtention du titre de Docteur es sciences naturelles par Alain

Plus en détail

Associate Professor in Quantitative Methods. University of Jendouba / University of Tunis TUNISIA. Saoussen.krichen@isg.rnu.tn

Associate Professor in Quantitative Methods. University of Jendouba / University of Tunis TUNISIA. Saoussen.krichen@isg.rnu.tn Saoussen KRICHEN Associate Professor in Quantitative Methods University of Jendouba / University of Tunis TUNISIA Saoussen.krichen@isg.rnu.tn 1Concours de Maîtrise de Conférences en Informatique de Gestion

Plus en détail

MEMORANDUM POUR UNE DEMANDE DE BOURSE D ETUDES POST-DOCTORALES

MEMORANDUM POUR UNE DEMANDE DE BOURSE D ETUDES POST-DOCTORALES MEMORANDUM POUR UNE DEMANDE DE BOURSE D ETUDES POST-DOCTORALES ATTENTION : Tout formulaire de candidature qui présentera des erreurs ou anomalies dans le remplissage des champs NE POURRA ETRE PRIS EN CONSIDERATION.

Plus en détail

Formation de recherche. Master MI (MoSIG), 2e année, spécialité Informatique UFRIMAG (UJF) & Ensimag (Grenoble INP)

Formation de recherche. Master MI (MoSIG), 2e année, spécialité Informatique UFRIMAG (UJF) & Ensimag (Grenoble INP) Formation de recherche Master MI (MoSIG), 2e année, spécialité Informatique UFRIMAG (UJF) & Ensimag (Grenoble INP) Massih-Reza Amini mars 2015 Qu est ce qu une thèse de doctorat? Un travail de 36 mois

Plus en détail

MEMORANDUM POUR UNE DEMANDE DE BOURSE DE RECHERCHE DOCTORALE DE LA FONDATION MARTINE AUBLET

MEMORANDUM POUR UNE DEMANDE DE BOURSE DE RECHERCHE DOCTORALE DE LA FONDATION MARTINE AUBLET MEMORANDUM POUR UNE DEMANDE DE BOURSE DE RECHERCHE DOCTORALE DE LA FONDATION MARTINE AUBLET ATTENTION : Tout formulaire de candidature qui présentera des erreurs ou anomalies dans le remplissage des champs

Plus en détail

DOCTORAT DE L'UNIVERSITÉ DE TOULOUSE

DOCTORAT DE L'UNIVERSITÉ DE TOULOUSE En vue de l'obtention du DOCTORAT DE L'UNIVERSITÉ DE TOULOUSE Délivré par : Institut National Polytechnique de Toulouse (INP Toulouse) Discipline ou spécialité : Génie des Procédés et de l'environnement

Plus en détail

Application Form/ Formulaire de demande

Application Form/ Formulaire de demande Application Form/ Formulaire de demande Ecosystem Approaches to Health: Summer Workshop and Field school Approches écosystémiques de la santé: Atelier intensif et stage d été Please submit your application

Plus en détail

Celine BARREDY, PhD Associate Professor of Management Sciences

Celine BARREDY, PhD Associate Professor of Management Sciences Celine BARREDY, PhD Associate Professor of Management Sciences PUSG, UFR 413 35, avenue Abadie 33072 Bordeaux Cedex celine.barredy@u-bordeaux4.fr TEL +33(0)685431233 Education 2005: PhD in Management Sciences

Plus en détail

CURRICULUM VITAE. Informations Personnelles

CURRICULUM VITAE. Informations Personnelles CURRICULUM VITAE Informations Personnelles NOM: BOURAS PRENOM : Zine-Eddine STRUCTURE DE RATTACHEMENT: Département de Mathématiques et d Informatique Ecole Préparatoire aux Sciences et Techniques Annaba

Plus en détail

Forthcoming Database

Forthcoming Database DISS.ETH NO. 15802 Forthcoming Database A Framework Approach for Data Visualization Applications A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH for the degree of Doctor of

Plus en détail

Samuel Bottani. Matières et Systèmes Complexes (MSC) - CNRS 7056 Université Paris Diderot - USPC

Samuel Bottani. Matières et Systèmes Complexes (MSC) - CNRS 7056 Université Paris Diderot - USPC 1 Reflexions pour un cours de physique de base en Licence pour Biologistes Samuel Bottani Matières et Systèmes Complexes (MSC) - CNRS 7056 Université Paris Diderot - USPC Master «Approches Interdisciplinaires

Plus en détail

Mines Nantes 20/05/2014. Institut Mines-Telecom : a national network 12 Engineering Graduate schools & 1 Business school. 2 Institut Mines-Télécom

Mines Nantes 20/05/2014. Institut Mines-Telecom : a national network 12 Engineering Graduate schools & 1 Business school. 2 Institut Mines-Télécom Mines Nantes Graduate School of Engineering FRANCE bernard.lemoult@mines-nantes.fr Institut Mines-Telecom : a national network 12 Engineering Graduate schools & 1 Business school 13 000 students 3 900

Plus en détail

Typage et Analyse Statique

Typage et Analyse Statique Typage et Analyse Statique Cours 1 Emmanuel Chailloux Spécialité Science et Technologie du Logiciel Master mention Informatique Université Pierre et Marie Curie année 2015-2016 Cours 1 - Typage et Analyse

Plus en détail

Prise de position de la section 7. travail sur une possible partition

Prise de position de la section 7. travail sur une possible partition Prise de position de la section 7 travail sur une possible partition Notre prise de position est structurée comme suit : dans une première partie, nous expliquons le contexte dans lequel notre travail

Plus en détail

Dimensionnement et contrôle d un véhicule hybride électrique basé sur une pile à combustible

Dimensionnement et contrôle d un véhicule hybride électrique basé sur une pile à combustible Électrotechnique du Futur 14&15 décembre 2011, Belfort Dimensionnement et contrôle d un véhicule hybride électrique basé sur une pile à combustible Alexandre RAVEY, Benjamin BLUNIER, Abdellatif MIRAOUI

Plus en détail

Tom Jorquera. Formation. Thèse

Tom Jorquera. Formation. Thèse Tom Jorquera 8 rue StJoseph 31400 France +336 71 05 35 58 tom@jorquera.net jorquera.net Formation 2009 2013 Doctorat Intelligence Artificielle, Équipe Systèmes MultiAgents Coopératifs (SMAC), Institut

Plus en détail

UNIVERSITE LYON 3 (JEAN MOULIN) Référence GALAXIE : 4140

UNIVERSITE LYON 3 (JEAN MOULIN) Référence GALAXIE : 4140 UNIVERSITE LYON 3 (JEAN MOULIN) Référence GALAXIE : 4140 Numéro dans le SI local : Référence GESUP : 0202 Corps : Professeur des universités Article : 51 Chaire : Non Section 1 : 01-Droit privé et sciences

Plus en détail

MUSEE DU QUAI BRANLY MEMORANDUM POUR UNE DEMANDE DE BOURSE D ETUDES POST-DOCTORALES

MUSEE DU QUAI BRANLY MEMORANDUM POUR UNE DEMANDE DE BOURSE D ETUDES POST-DOCTORALES MUSEE DU QUAI BRANLY MEMORANDUM POUR UNE DEMANDE DE BOURSE D ETUDES POST-DOCTORALES Imprimer le formulaire puis le SIGNER et le DATER avant de le photocopier en 2 exemplaires à joindre au dossier original

Plus en détail

MAT 2377 Solutions to the Mi-term

MAT 2377 Solutions to the Mi-term MAT 2377 Solutions to the Mi-term Tuesday June 16 15 Time: 70 minutes Student Number: Name: Professor M. Alvo This is an open book exam. Standard calculators are permitted. Answer all questions. Place

Plus en détail

OrderGeneMiner : Logiciel pour l extraction et la visualisation de motifs partiellement ordonnés à partir de puces à ADN

OrderGeneMiner : Logiciel pour l extraction et la visualisation de motifs partiellement ordonnés à partir de puces à ADN OrderGeneMiner : Logiciel pour l extraction et la visualisation de motifs partiellement ordonnés à partir de puces à ADN Mickaël Fabrègue, Agnès Braud, Sandra Bringay, Florence Le Ber, Charles Lecellier,

Plus en détail

Cartographie multirisques : une méthode semi-automatique

Cartographie multirisques : une méthode semi-automatique Cartographie multirisques : une méthode semi-automatique Yannick Manche Ingénieries EAT 1998 Risques naturels p 115 à 119 L étude des risques naturels est devenue une préoccupation majeure en France avec

Plus en détail

Université Paris 1 Panthéon-Sorbonne UFR 27

Université Paris 1 Panthéon-Sorbonne UFR 27 Université Paris 1 Panthéon-Sorbonne UFR 27 Etudiants entrants en programmes d échange 2014-2015 / Incoming students in exchange programs 2014-2015 Master M1 Mathématiques Appliquées à l Economie et à

Plus en détail

Extraction de règles d association pour la prédiction de valeurs manquantes

Extraction de règles d association pour la prédiction de valeurs manquantes Cari 2004 7/10/04 12:00 Page 487 Extraction de règles d association pour la prédiction de valeurs manquantes Sylvie Jami 1, Tao-Yan Jen 2, Dominique Laurent 3, George Loizou 1, Oumar Sy 3,4 1. Birkbeck

Plus en détail

Cours de Master Recherche

Cours de Master Recherche Cours de Master Recherche Spécialité CODE : Résolution de problèmes combinatoires Christine Solnon LIRIS, UMR 5205 CNRS / Université Lyon 1 2007 Rappel du plan du cours 16 heures de cours 1 - Introduction

Plus en détail

Influence De La Taille Du Jeton Sur Les Performances De L algorithme D'exclusion Mutuelle De Ricart - Agrawala

Influence De La Taille Du Jeton Sur Les Performances De L algorithme D'exclusion Mutuelle De Ricart - Agrawala Influence De La Taille Du Jeton Sur Les Performances De L algorithme D'exclusion Mutuelle De Ricart - Agrawala Sarah Benkouider, Souhila Labgaa 2, Mohamed Yagoubi 3 Université Amar Telidji Département

Plus en détail

Abstract : Mots clefs : systèmes mécatroniques ; optimisation ; démarche de conception. 1 Introduction

Abstract : Mots clefs : systèmes mécatroniques ; optimisation ; démarche de conception. 1 Introduction Une démarche de conception et d optimisation de systèmes mécatroniques à partir de l optimisation multidisciplinaire et basée sur le retour d expériences D. Casner a, R. Houssin a,b, D. Knittel a,b, J.

Plus en détail

Il y a de l'ia dans les programmes de l'agence Nationale de la Recherche Bertrand Braunschweig Responsable de programmes Paris, 3 Novembre 2006

Il y a de l'ia dans les programmes de l'agence Nationale de la Recherche Bertrand Braunschweig Responsable de programmes Paris, 3 Novembre 2006 Il y a de l'ia dans les programmes de l'agence Nationale de la Recherche Bertrand Braunschweig Responsable de programmes Paris, 3 Novembre 2006 www.agence-nationale-recherche.fr Bref historique Un objectif

Plus en détail

Presses de l université Paris-Sorbonne Maison de la Recherche 28, rue Serpente 75006 Paris

Presses de l université Paris-Sorbonne Maison de la Recherche 28, rue Serpente 75006 Paris FRANCE-JAPON, REGARDS CROISÉS FRANCE AND JAPAN, A CROSS-ANALYSIS MÉLANGES EN MÉMOIRE DE TERUSHI HARA Dominique BARJOT et Patrick FRIDENSON (dir.) ISBN : 978-2-84050-999-8 Date de publication : 25/06/2015

Plus en détail

Pierre Alain MARTINEZ

Pierre Alain MARTINEZ CURRICULUM VITAE ABRÉGÉ Pierre Alain MARTINEZ ---------------------------------------------------------------------------------------------------------------------------- Professeur Émérite, UFR Sciences

Plus en détail

Accès personnalisé multicritères à de multiples sources d informations.

Accès personnalisé multicritères à de multiples sources d informations. Lyon - France Accès personnalisé multicritères à de multiples sources d informations. Samir kechid Université des Sciences et de la Technologie Houari Boumediene. USTHB BP 32 El Alia Bab Ezzouar Alger

Plus en détail

Curriculum Vitæ de Pierre Lopez

Curriculum Vitæ de Pierre Lopez Curriculum Vitæ de Pierre Lopez Etat civil Né le : 21 Août 1964 (45 ans) à Toulouse (31), France Nationalité : française Situation de famille : pacsé (3 enfants) Coordonnées professionnelles : LAAS-CNRS

Plus en détail

SEMINAIRE SAS VISUAL ANALYTICS LAUSANNE, MARCH 18 : JÉRÔME BERTHIER VALERIE AMEEL

SEMINAIRE SAS VISUAL ANALYTICS LAUSANNE, MARCH 18 : JÉRÔME BERTHIER VALERIE AMEEL SEMINAIRE SAS VISUAL ANALYTICS LAUSANNE, MARCH 18 : JÉRÔME BERTHIER VALERIE AMEEL AGENDA 14:15-14:30 Bienvenue & Introduction Jérôme Berthier et Manuel Fucinos 14:30-14:45 Le concept de la Data Viz et

Plus en détail

Curriculum Vitae. Theoretical Computer Science and Sensor Group Centre Universitaire d Informatique route de Drize 7 1227 Carouge Genève, Suisse

Curriculum Vitae. Theoretical Computer Science and Sensor Group Centre Universitaire d Informatique route de Drize 7 1227 Carouge Genève, Suisse Curriculum Vitae Aubin Jarry, né le 12 juin 1978 à Brest. adresse Theoretical Computer Science and Sensor Group Centre Universitaire d Informatique route de Drize 7 1227 Carouge Genève, Suisse téléphone

Plus en détail

David Marsden Labour market segmentation in Britain: the decline of occupational labour markets and the spread of entry tournaments

David Marsden Labour market segmentation in Britain: the decline of occupational labour markets and the spread of entry tournaments David Marsden Labour market segmentation in Britain: the decline of occupational labour markets and the spread of entry tournaments Article (Accepted version) (Refereed) Original citation: Marsden, David

Plus en détail

L apport des contraintes globales pour la modélisation et la résolution d applications industrielles

L apport des contraintes globales pour la modélisation et la résolution d applications industrielles L apport des contraintes globales pour la modélisation et la résolution d applications industrielles A. Aggoun, N. Beldiceanu, E. Bourreau, H. Simonis COSYTEC SA, Parc Club Orsay Université 4, rue Jean

Plus en détail

Must Today s Risk Be Tomorrow s Disaster? The Use of Knowledge in Disaster Risk Reduction

Must Today s Risk Be Tomorrow s Disaster? The Use of Knowledge in Disaster Risk Reduction Must Today s Risk Be Tomorrow s Disaster? The Use of Knowledge in Disaster Risk Reduction Website: https://dce.yorku.ca/crhn/ Submission information: 11th Annual Canadian Risk and Hazards Network Symposium

Plus en détail

Université Paris 1 UFR 27

Université Paris 1 UFR 27 Université Paris 1 UFR 27 Etudiants entrants en programmes d échange 2013-2014 / Incoming students in exchange programs 2013-2014 Master M1 Mathématiques Appliquées à l Economie et à la Finance (MAEF)

Plus en détail

A GRASPxELS approach for the Job Shop with generic time-lags and new statistical determination of the parameters

A GRASPxELS approach for the Job Shop with generic time-lags and new statistical determination of the parameters A GRASPxELS approach for the Job Shop with generic time-lags and new statistical determination of the parameters Présenté par : Equipe de travail : Laboratoire : Maxime CHASSAING Philippe LACOMME, Nikolay

Plus en détail

Amélioration et réinstauration de pratiques d EFP

Amélioration et réinstauration de pratiques d EFP Amélioration et réinstauration de pratiques d EFP LLP-LDV-TOI-2011-LT-0087 1 Information sur le projet Titre: Code Projet: Année: 2011 Type de Projet: Statut: Accroche marketing: Amélioration et réinstauration

Plus en détail

Développements algorithmiques au LIAMA et àamap en vue de l'analyse d'une scène forestière

Développements algorithmiques au LIAMA et àamap en vue de l'analyse d'une scène forestière Développements algorithmiques au LIAMA et àamap en vue de l'analyse d'une scène forestière Principaux contributeurs: Zhang Xiaopeng (CASIA-NLPR-LIAMA Coordinateur Groupe Image) Li HongJun (CASIA-NLPR-LIAMA

Plus en détail

The Current State and Future of Search Based Software Engineering

The Current State and Future of Search Based Software Engineering The Current State and Future of Search Based Software Engineering Mark Harman 1 IEEE International Conference on Software Engineering FoSE 07: Future of Software Engineering 1 King's College, LONDON, UK

Plus en détail

Global patent index EP 2384082 A1

Global patent index EP 2384082 A1 Global patent index EP 2384082 A1 Title (en) Method and device for configuring a network of removed wireless sensors Title (de) Verfahren und Vorrichtung zur Konfiguration eines Sensornetzes ohne verlegte

Plus en détail

Systèmes : Microsoft Windows (95 à Seven), Unix (Linux, MacOS X) Visual Studio 2003-2010, KDevelop, Xcode, oxygen Frameworks d'hmi :

Systèmes : Microsoft Windows (95 à Seven), Unix (Linux, MacOS X) Visual Studio 2003-2010, KDevelop, Xcode, oxygen Frameworks d'hmi : Nader Salman 29-31 rue de France Nice, PACA - 06000, FRANCE Tél: +33(0) 624-485-313 Courriel: Nader@salman-circle.com Nationalité Française Age 26 ans ENVIRONNEMENT DE DÉVELOPPEMENT Systèmes : Microsoft

Plus en détail

French 2208A. French for Healthcare Le français de la santé

French 2208A. French for Healthcare Le français de la santé French 2208A French for Healthcare Le français de la santé Professeur : Heures de bureau : Iryna Punko disponible tous les jours par courriel, sauf le week-end. Préalable - Fr 1900 E ou Fr 1910, ou permission

Plus en détail

Projet ANR-06-SETI-015 RIMEL (Raffinement Incrémental de Modèles événementiels) Rapport intermédiaire annuel

Projet ANR-06-SETI-015 RIMEL (Raffinement Incrémental de Modèles événementiels) Rapport intermédiaire annuel Projet ANR-06-SETI-015 RIMEL (Raffinement Incrémental de Modèles événementiels) Rapport intermédiaire annuel Coordonnateur Dominique Méry LORIA,Université Henri Poincaré Nancy 1 Partenaire 3 Mohamed Mosbah

Plus en détail

Résolution d un problème d assimilation variationnelle 4D-VAR par des modèles réduits POD adaptatifs

Résolution d un problème d assimilation variationnelle 4D-VAR par des modèles réduits POD adaptatifs Résolution d un problème d assimilation variationnelle 4D-VAR par des modèles réduits POD adaptatifs G. TISSOT, L. CORDIER, B. R. NOACK Institut Pprime, Dpt. Fluides, Thermique et Combustion, 8636 Poitiers

Plus en détail

Raphaël DORNIER Professor

Raphaël DORNIER Professor Raphaël DORNIER Professor Teaching Area/s: Marketing, Strategy, Theory of Organizations, Tourism Strategy Year hired at ISC Paris: 2009 Full-Time Participating Grande Ecole Education: Degree Institution

Plus en détail

Système adaptatif d aide à la génération de requêtes de médiation

Système adaptatif d aide à la génération de requêtes de médiation Système adaptatif d aide à la génération de requêtes de médiation Dimitre Kostadinov Verónika Peralta Assia Soukane Xiaohui Xue Laboratoire PRiSM, Université de Versailles 45 avenue des Etats-Unis 78035

Plus en détail

Curriculum Vitae. Identité. Formation. Interêt de recherche. Projets

Curriculum Vitae. Identité. Formation. Interêt de recherche. Projets Curriculum Vitae Identité Nom : LAFOURCADE Prénom : Pascal Né le : 26 avril 1977 Nationalité : Française Email : lafourca@lsv.ens-cachan.fr Page web : www.lsv.ens-cachan.fr/ lafourca Adresse professionnelle

Plus en détail

Master (filière Réseau) Parcours Recherche: Systèmes Informatiques et Réseaux (RTS)

Master (filière Réseau) Parcours Recherche: Systèmes Informatiques et Réseaux (RTS) Master (filière Réseau) Parcours Recherche: Systèmes Informatiques et Réseaux (RTS) Responsables: Tanguy Risset & Marine Minier Tanguy.Risset@insa-lyon.fr Marine.minier@insa-lyon.fr http://master-info.univ-lyon1.fr/m2rts/

Plus en détail

Programma'on et représenta'on musicale interac've en composi'on assistée par ordinateur

Programma'on et représenta'on musicale interac've en composi'on assistée par ordinateur Programma'on et représenta'on musicale interac've en composi'on assistée par ordinateur Jean Bresson UMR STMS (IRCAM- CNRS- UPMC) EFFICAC(e) ANR- 13- JS02-0004- 01 Extended Frameworks for "In- 4me" Computer-

Plus en détail

Efficient Object Versioning for Object- Oriented Languages From Model to Language Integration

Efficient Object Versioning for Object- Oriented Languages From Model to Language Integration Efficient Object Versioning for Object- Oriented Languages From Model to Language Integration Pluquet Frédéric July, 3rd 2012 Etude de techniques efficaces de versionnement d objets pour les langages orientés

Plus en détail

Digital Marketing : 14 et 15 septembre 2015. Retargeting : Garder le contact avec son audience

Digital Marketing : 14 et 15 septembre 2015. Retargeting : Garder le contact avec son audience Programme Digital : 14 et 15 septembre 2015 Jour 1 - lundi 14 septembre 2015 8.00 Accueil & Inscription 9.00 Retargeting : Garder le contact avec son audience Aurélie Lemaire, Responsable mkgt Bing Ads

Plus en détail

Accès au Contenu Informationnel pour les Masses de Données de Documents

Accès au Contenu Informationnel pour les Masses de Données de Documents Accès au Contenu Informationnel pour les Masses de Données de Documents Grappa LILLE 3 - UR Futurs INRIA MOSTRARE Laboratoire d Informatique de Paris 6 Laboratoire de Recherche en Informatique Orsay -

Plus en détail

Adaptation dynamique de l interaction multimodale dans les environnements ubiquitaires

Adaptation dynamique de l interaction multimodale dans les environnements ubiquitaires Adaptation dynamique de l interaction multimodale dans les environnements ubiquitaires Slim Ben Hassen Orange Labs Lannion, France slim.benhassen@orange.com Abstract Mariano Belaunde Orange Labs Lannion,

Plus en détail

French / English bilingual and bicultural section

French / English bilingual and bicultural section Section bilingue et biculturelle français / anglais (6 ème / 5 ème / 2 nde ) French / English bilingual and bicultural section Deux langues et deux cultures Two languages and two cultures La section bilingue

Plus en détail

Product Platform Development: A Functional Approach Considering Customer Preferences

Product Platform Development: A Functional Approach Considering Customer Preferences Product Platform Development: A Functional Approach Considering Customer Preferences THÈSE N O 4536 (2009) PRÉSENTÉE le 4 décembre 2009 À LA FACULTé SCIENCES ET TECHNIQUES DE L'INGÉNIEUR LABORATOIRE DES

Plus en détail

Testing : A Roadmap. Mary Jean Harrold. Présentation de Olivier Tissot

Testing : A Roadmap. Mary Jean Harrold. Présentation de Olivier Tissot Testing : A Roadmap Mary Jean Harrold Présentation de Olivier Tissot Testing : A Roadmap I. L auteur II. Introduction sur les test : les enjeux, la problématique III. Les tests : roadmap IV. Conclusion

Plus en détail

Un outil de modélisation de la variabilité intégré à un environnement multi-vues

Un outil de modélisation de la variabilité intégré à un environnement multi-vues Un outil de modélisation de la variabilité intégré à un environnement multi-vues Date /Référence Journée Transformations de modèles et outillage de l IDM 7 novembre 2011 Olivier Barais (INRIA, Triskell)

Plus en détail

Table des matières. Coopération homme-machine pour l ordonnancement sous incertitudes. L atelier de production. Introduction.

Table des matières. Coopération homme-machine pour l ordonnancement sous incertitudes. L atelier de production. Introduction. Coopération homme-machine pour l ordonnancement sous incertitudes Guillaume Pinot IRCCyN, équipes ACSED et PsyCoTec Christian Artigues CR, CNRS, Toulouse Rapporteur Jacques Carlier Pr., UTC, Compiègne

Plus en détail

CEISAR Survey on IT education

CEISAR Survey on IT education CEISAR Survey on IT education Objectives In June 2007, the CEISAR conducted a survey to understand what company needs are in terms of training on Computer Science and Management of IS. Our objective was

Plus en détail

CONSERVATOIRE NAT. DES ARTS ET METIERS Référence GALAXIE : 4094

CONSERVATOIRE NAT. DES ARTS ET METIERS Référence GALAXIE : 4094 CONSERVATOIRE NAT. DES ARTS ET METIERS Référence GALAXIE : 4094 Numéro dans le SI local : 0206 Référence GESUP : 0206 Corps : Maître de conférences Article : 26-I-1 Chaire : Non Section 1 : 27-Informatique

Plus en détail

Situation actuelle. Attachée temporaire d enseignement et de recherche (section CNU 25) à l Université Paris 2. Thèmes de recherche

Situation actuelle. Attachée temporaire d enseignement et de recherche (section CNU 25) à l Université Paris 2. Thèmes de recherche Cyrielle DUMONT Docteur en biostatistiques Née le 9 mai 1985 à Chartres (28) Adresse : Université Paris 2 12 place du Panthéon 75005 Paris Courriel : cyrielle.dumont@inserm.fr Page personnelle : www.biostat.fr/home-dumont.htm

Plus en détail

Projet ANR SAMOGWAS. Specific Advanced MOdels for Genome-wide Association Studies. Journée de lancement officielle. Nantes - vendredi 11 octobre 2013

Projet ANR SAMOGWAS. Specific Advanced MOdels for Genome-wide Association Studies. Journée de lancement officielle. Nantes - vendredi 11 octobre 2013 Projet ANR SAMOGWAS Specific Advanced MOdels for Genome-wide Association Studies Journée de lancement officielle Nantes - vendredi 11 octobre 2013 1 Les partenaires LINA Nantes GIGA-R Liège INSERM Nantes

Plus en détail

Optimiser la recherche d informations dans deux des Bases de Données internes et Accroître la productivité des analystes

Optimiser la recherche d informations dans deux des Bases de Données internes et Accroître la productivité des analystes Optimiser la recherche d informations dans deux des Bases de Données internes et Accroître la productivité des analystes Mémoire de stage Promotion 2010 Priscillia VON HOFMANN Abstract Today, the importance

Plus en détail