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%

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

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

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

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

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

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

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

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

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 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Évaluation des logiciels et autres réalisations

Évaluation des logiciels et autres réalisations DOCUMENT D ANALYSE DE LA COMMISSION D ÉVALUATION DE L INRIA Évaluation des logiciels et autres réalisations Préparé par David Margery, Jean-Pierre Merlet, Cordelia Schmid, Agnès Sulem, Paul Zimmermann

Plus en détail

Un propagateur basé sur les positions pour le problème d Open-Shop.

Un propagateur basé sur les positions pour le problème d Open-Shop. Actes JFPC 2007 Un propagateur basé sur les positions pour le problème d Open-Shop. Jean-Noël Monette Yves Deville Pierre Dupont Département d Ingénierie Informatique Université catholique de Louvain {jmonette,yde,pdupont}@info.ucl.ac.be

Plus en détail

Sujet de thèse Prise en compte des recommandations de l utilisateur dans les services numériques intelligents

Sujet de thèse Prise en compte des recommandations de l utilisateur dans les services numériques intelligents Sujet de thèse Prise en compte des recommandations de l utilisateur dans les services numériques intelligents Directeur de thèse : Bruno Zanuttini GREYC, UMR 6072 UNICAEN/CNRS/ENSICAEN, équipe MAD Démarrage

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

THÈSE. présentée à TÉLÉCOM PARISTECH. pour obtenir le grade de. DOCTEUR de TÉLÉCOM PARISTECH. Mention Informatique et Réseaux. par.

THÈSE. présentée à TÉLÉCOM PARISTECH. pour obtenir le grade de. DOCTEUR de TÉLÉCOM PARISTECH. Mention Informatique et Réseaux. par. École Doctorale d Informatique, Télécommunications et Électronique de Paris THÈSE présentée à TÉLÉCOM PARISTECH pour obtenir le grade de DOCTEUR de TÉLÉCOM PARISTECH Mention Informatique et Réseaux par

Plus en détail

Ordonnancement en temps réel d un jobshop par métaheuristique hybride : étude comparative

Ordonnancement en temps réel d un jobshop par métaheuristique hybride : étude comparative Ordonnancement en temps réel d un jobshop par métaheuristique hybride : étude comparative Y. Houbad, M. Souier, A. Hassam, Z.Sari Laboratoire d automatique Tlemcen Faculté de technologie, Université Abou

Plus en détail

INTERNATIONAL FORUM ON INTERCULTURAL COMMUNICATION ISCAP, Polytechnic Institute of Porto, Portugal Program 2 MAY 2012

INTERNATIONAL FORUM ON INTERCULTURAL COMMUNICATION ISCAP, Polytechnic Institute of Porto, Portugal Program 2 MAY 2012 INTERNATIONAL FORUM ON INTERCULTURAL COMMUNICATION ISCAP, Polytechnic Institute of Porto, Portugal Program 2 MAY 2012 14.30 15.30 Introductory plenary session: Presentation of research centres, departments

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

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

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

Programmer des applications réparties

Programmer des applications réparties 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 2013 Programmer des applications

Plus en détail

T. Gasc 1,2,3, F. De Vuyst 1, R. Motte 3, M. Peybernes 4, R. Poncet 5

T. Gasc 1,2,3, F. De Vuyst 1, R. Motte 3, M. Peybernes 4, R. Poncet 5 Modélisation de la performance et optimisation d un algorithme hydrodynamique de type Lagrange-Projection sur processeurs multi-cœurs T. Gasc 1,2,3, F. De Vuyst 1, R. Motte 3, M. Peybernes 4, R. Poncet

Plus en détail

Le Fol Gaëlle. Current Position - Status. Former positions. Education and qualification. Full professor. gaelle.le_fol@dauphine.fr

Le Fol Gaëlle. Current Position - Status. Former positions. Education and qualification. Full professor. gaelle.le_fol@dauphine.fr Le Fol Gaëlle Full professor gaelle.le_fol@dauphine.fr Current Position - Status Head of an education program : Master 203 - Financial Markets Department of attachment : MSO Centre of Research : Dauphine

Plus en détail

Frank LASCK. Courriel : f.lasch@montpellier-bs.com Fonction : Professeur. Biographie

Frank LASCK. Courriel : f.lasch@montpellier-bs.com Fonction : Professeur. Biographie Frank LASCK Courriel : f.lasch@montpellier-bs.com Fonction : Professeur Biographie Frank Lasch, professeur en entrepreneuriat, a rejoint le Groupe Sup de Co Montpellier Business School en septembre 2003

Plus en détail

Grenoble Institute of Technology Esisar department. Speaker : Laurent.Lefevre@grenoble-inp.fr

Grenoble Institute of Technology Esisar department. Speaker : Laurent.Lefevre@grenoble-inp.fr Grenoble Institute of Technology Esisar department Speaker : Laurent.Lefevre@grenoble-inp.fr Grenoble INP 6 Departments organized along the European standard «Bachelor, Master, Doctorate» Ense3 Energy,

Plus en détail

Isabelle DUCASSY EDUCATION

Isabelle DUCASSY EDUCATION Isabelle DUCASSY Associate Professor of Finance KEDGE Business School Domaine de Luminy, BP 921 Marseille 13228, France PROFESSIONAL +33 (0)4 91 82 79 45 isabelle.ducassy@kedgebs.com EDUCATION 2005 International

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

UNIVERSITE D'EVRY VAL D'ESSONNE Référence GALAXIE : 4062

UNIVERSITE D'EVRY VAL D'ESSONNE Référence GALAXIE : 4062 UNIVERSITE D'EVRY VAL D'ESSONNE Référence GALAXIE : 4062 Numéro dans le SI local : 06 MCF 0413 Référence GESUP : Corps : Maître de conférences Article : 26-I-1 Chaire : Non Section 1 : 06-Sciences de gestion

Plus en détail

Thèmes de recherche. Projets en cours

Thèmes de recherche. Projets en cours Formation Michel Baroni Professeur, Département Finance Responsable Pédagogique des Mastères Spécialisés en Techniques Financières et Finance & Asset Management Habilitation à Diriger des Recherches, Université

Plus en détail

Les lières. MSc in Electronics and Information Technology Engineering. Ingénieur civil. en informatique. MSc in Architectural Engineering

Les lières. MSc in Electronics and Information Technology Engineering. Ingénieur civil. en informatique. MSc in Architectural Engineering Ingénieur civil Ingénieur civil Les lières MSc in Electronics and Information Technology Engineering MSc in Architectural Engineering MSc in Civil Engineering MSc in Electromechanical Engineering MSc

Plus en détail

Editing and managing Systems engineering processes at Snecma

Editing and managing Systems engineering processes at Snecma Editing and managing Systems engineering processes at Snecma Atego workshop 2014-04-03 Ce document et les informations qu il contient sont la propriété de Ils ne doivent pas être copiés ni communiqués

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

Cours : INF 784 Systèmes à base de connaissances Trimestre : Automne 2015 Enseignant : Évariste Valéry BÉVO WANDJI

Cours : INF 784 Systèmes à base de connaissances Trimestre : Automne 2015 Enseignant : Évariste Valéry BÉVO WANDJI Faculté des sciences Centre de formation en technologies de l information Cours : INF 784 Systèmes à base de connaissances Trimestre : Automne 2015 Enseignant : Évariste Valéry BÉVO WANDJI 1. Mise en contexte

Plus en détail

DEA ès Sciences de Gestion. DES en Sciences Economiques. Ingénieur diplômé de l'ecole Polytechnique de Paris.

DEA ès Sciences de Gestion. DES en Sciences Economiques. Ingénieur diplômé de l'ecole Polytechnique de Paris. Education René Demeestere Emeritus Professor, Department Accounting and Management Control DEA ès Sciences de Gestion. DES en Sciences Economiques. Ingénieur diplômé de l'ecole Polytechnique de Paris.

Plus en détail

MSO MASTER SCIENCES DES ORGANISATIONS GRADUATE SCHOOL OF PARIS- DAUPHINE. Département Master Sciences des Organisations de l'université Paris-Dauphine

MSO MASTER SCIENCES DES ORGANISATIONS GRADUATE SCHOOL OF PARIS- DAUPHINE. Département Master Sciences des Organisations de l'université Paris-Dauphine MSO MASTER SCIENCES DES ORGANISATIONS GRADUATE SCHOOL OF PARIS- DAUPHINE Département Master Sciences des Organisations de l'université Paris-Dauphine Mot du directeur Le département «Master Sciences des

Plus en détail

Économétrie, causalité et analyse des politiques

Économétrie, causalité et analyse des politiques Économétrie, causalité et analyse des politiques Jean-Marie Dufour Université de Montréal October 2006 This work was supported by the Canada Research Chair Program (Chair in Econometrics, Université de

Plus en détail

Township of Russell: Recreation Master Plan Canton de Russell: Plan directeur de loisirs

Township of Russell: Recreation Master Plan Canton de Russell: Plan directeur de loisirs Township of Russell: Recreation Master Plan Canton de Russell: Plan directeur de loisirs Project Introduction and Stakeholder Consultation Introduction du projet et consultations publiques Agenda/Aperçu

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

Les simulations dans l enseignement des sondages Avec le logiciel GENESIS sous SAS et la bibliothèque Sondages sous R

Les simulations dans l enseignement des sondages Avec le logiciel GENESIS sous SAS et la bibliothèque Sondages sous R Les simulations dans l enseignement des sondages Avec le logiciel GENESIS sous SAS et la bibliothèque Sondages sous R Yves Aragon, David Haziza & Anne Ruiz-Gazen GREMAQ, UMR CNRS 5604, Université des Sciences

Plus en détail

Optimisation d une fonction de transmission d ordres

Optimisation d une fonction de transmission d ordres Optimisation d une fonction de transmission d ordres pour driver à très haute isolation galvanique. Application aux modules IGBT pour onduleurs multi-niveaux MMC (Multilevel Modular Converters). Sokchea

Plus en détail

Read Me First: Guide to Sun HPC ClusterTools 3.1 Documentation

Read Me First: Guide to Sun HPC ClusterTools 3.1 Documentation Read Me First: Guide to Sun HPC ClusterTools 3.1 Documentation Sun Microsystems, Inc. 901 San Antonio Road Palo Alto, CA 94303-4900 USA 650 960-1300 Fax 650 969-9131 Part No. 806-3729-10 March 2000, Revision

Plus en détail

UNIVERSITE D'EVRY VAL D'ESSONNE Référence GALAXIE : 4072

UNIVERSITE D'EVRY VAL D'ESSONNE Référence GALAXIE : 4072 UNIVERSITE D'EVRY VAL D'ESSONNE Référence GALAXIE : 4072 Numéro dans le SI local : Référence GESUP : Corps : Professeur des universités Article : 46-1 Chaire : Non Section 1 : 27-Informatique Section 2

Plus en détail

COULEE D ALLIAGES METALLIQUES : MODELISATION DES STRUCTURES ET SEGREGATIONS CHIMIQUES

COULEE D ALLIAGES METALLIQUES : MODELISATION DES STRUCTURES ET SEGREGATIONS CHIMIQUES Formation doctorale: Science et Génie des Matériaux OU Mécanique Numérique COULEE D ALLIAGES METALLIQUES : MODELISATION DES STRUCTURES ET SEGREGATIONS CHIMIQUES Contexte La figure ci-dessous donne une

Plus en détail

Ph D. Ph. D. Administration

Ph D. Ph. D. Administration Ph D Ph. D. Administration HEC MONTRÉAL Établissement universitaire de réputation internationale, entièrement dédié à l enseignement de la gestion, depuis 1907. Parmi les rares écoles de gestion quelque

Plus en détail

Integrated Music Education: Challenges for Teaching and Teacher Training Presentation of a Book Project

Integrated Music Education: Challenges for Teaching and Teacher Training Presentation of a Book Project Integrated Music Education: Challenges for Teaching and Teacher Training Presentation of a Book Project L enseignement intégré de la musique: Un défi pour l enseignement et la formation des enseignants

Plus en détail

How to Login to Career Page

How to Login to Career Page How to Login to Career Page BASF Canada July 2013 To view this instruction manual in French, please scroll down to page 16 1 Job Postings How to Login/Create your Profile/Sign Up for Job Posting Notifications

Plus en détail

Olivier DUPOUET Professeur des systèmes d Information KEDGE BS (Bordeaux) +33 6 86 44 87 47 / +33 5 56 84 63 25 olivier.dupouet@kedgebs.

Olivier DUPOUET Professeur des systèmes d Information KEDGE BS (Bordeaux) +33 6 86 44 87 47 / +33 5 56 84 63 25 olivier.dupouet@kedgebs. Olivier DUPOUET Professeur des systèmes d Information KEDGE BS (Bordeaux) +33 6 86 44 87 47 / +33 5 56 84 63 25 olivier.dupouet@kedgebs.com EDUCATION 2008: HDR (Habilitation à Diriger des Recherches) en

Plus en détail

Formation. Thèmes de recherche. Publications. Jean-Marie Choffray. Publications académiques. Ouvrages. Contact. Articles

Formation. Thèmes de recherche. Publications. Jean-Marie Choffray. Publications académiques. Ouvrages. Contact. Articles Formation Jean-Marie Choffray Professeur, Département Marketing Ph.D., in Management Science, Alfred P. Sloan School of Management, Massachusetts Institute of Technology. Licence en Administration des

Plus en détail

BNP Paribas Personal Finance

BNP Paribas Personal Finance BNP Paribas Personal Finance Financially fragile loan holder prevention program CUSTOMERS IN DIFFICULTY: QUICKER IDENTIFICATION MEANS BETTER SUPPORT Brussels, December 12th 2014 Why BNPP PF has developed

Plus en détail

IDENTITÉ DE L ÉTUDIANT / APPLICANT INFORMATION

IDENTITÉ DE L ÉTUDIANT / APPLICANT INFORMATION vice Direction des Partenariats Internationaux Pôle Mobilités Prrogrramme de bourrses Intterrnattiionalles en Mastterr (MIEM) Intterrnattiionall Mastterr Schollarrshiip Prrogrramme Sorrbonne Parriis Ciitté

Plus en détail

Automatisation de la certification formelle de systèmes critiques par instrumentation d interpréteurs abstraits

Automatisation de la certification formelle de systèmes critiques par instrumentation d interpréteurs abstraits 1 d Automatisation de la certification formelle de systèmes critiques par instrumentation d sous la direction de Michaël Périn Soutenance de Thèse de Doctorat Université de Grenoble - Laboratoire Verimag

Plus en détail

Grandes lignes ASTRÉE. Logiciels critiques. Outils de certification classiques. Inspection manuelle. Definition. Test

Grandes lignes ASTRÉE. Logiciels critiques. Outils de certification classiques. Inspection manuelle. Definition. Test Grandes lignes Analyseur Statique de logiciels Temps RÉel Embarqués École Polytechnique École Normale Supérieure Mercredi 18 juillet 2005 1 Présentation d 2 Cadre théorique de l interprétation abstraite

Plus en détail

Le CV en anglais. Quelques généralités

Le CV en anglais. Quelques généralités Le CV en anglais Quelques généralités La présentation du CV Pour être lisible un CV doit être clair, aéré et doit permettre au lecteur d aller directement à la rubrique qui l intéresse. La police de caractères

Plus en détail

2012, EUROPEEN YEAR FOR ACTIVE AGEING 2012, ANNEE EUROPEENNE DU VIEILLISSEMENT ACTIF

2012, EUROPEEN YEAR FOR ACTIVE AGEING 2012, ANNEE EUROPEENNE DU VIEILLISSEMENT ACTIF 2012, EUROPEEN YEAR FOR ACTIVE AGEING 2012, ANNEE EUROPEENNE DU VIEILLISSEMENT ACTIF Kick off transnational project meeting June 6 & 7th 2011 6 et 7 Juin 2011 CERGY/ VAL D OISE Monday june 6th morning

Plus en détail

Nouvelles propositions pour la résolution exacte du problème de sac à dos bi-objectif unidimensionnel en variables binaires

Nouvelles propositions pour la résolution exacte du problème de sac à dos bi-objectif unidimensionnel en variables binaires Nouvelles propositions pour la résolution exacte du problème de sac à dos bi-objectif unidimensionnel en variables binaires Julien Jorge, Xavier Gandibleux Laboratoire d Informatique de Nantes Atlantique

Plus en détail

Industrial Phd Progam

Industrial Phd Progam Industrial Phd Progam Catalan Government: Legislation: DOGC ECO/2114/2012 Modification: DOGC ECO/2443/2012 Next: Summary and proposal examples. Main dates March 2013: Call for industrial Phd projects grants.

Plus en détail

Modèles et algorithmes pour le conseil et la gestion des préférences en configuration de produit

Modèles et algorithmes pour le conseil et la gestion des préférences en configuration de produit Modèles et algorithmes pour le conseil et la gestion des préférences en configuration de produit Revue à mi parcours du projet ANR Blanc «BR4CP» Hélène Fargier - IRIT Résolution interactive Le «catalogue»

Plus en détail

8. Cours virtuel Enjeux nordiques / Online Class Northern Issues Formulaire de demande de bourse / Fellowship Application Form

8. Cours virtuel Enjeux nordiques / Online Class Northern Issues Formulaire de demande de bourse / Fellowship Application Form F-8a-v1 1 / 7 8. Cours virtuel Enjeux nordiques / Online Class Northern Issues Formulaire de demande de bourse / Fellowship Application Form Nom de famille du candidat Langue de correspondance Français

Plus en détail

Nathalie REY DIPLOMES UNIVERSITAIRES

Nathalie REY DIPLOMES UNIVERSITAIRES Nathalie REY Fonction (depuis septembre 1999) : Maître de Conférences en Sciences Economiques Université Paris 13, Sorbonne Paris Cité CEPN, UMR 7234 U.F.R. Sciences Économiques et de Gestion, Bureau J308

Plus en détail

REMOTE DATA ACQUISITION OF EMBEDDED SYSTEMS USING INTERNET TECHNOLOGIES: A ROLE-BASED GENERIC SYSTEM SPECIFICATION

REMOTE DATA ACQUISITION OF EMBEDDED SYSTEMS USING INTERNET TECHNOLOGIES: A ROLE-BASED GENERIC SYSTEM SPECIFICATION REMOTE DATA ACQUISITION OF EMBEDDED SYSTEMS USING INTERNET TECHNOLOGIES: A ROLE-BASED GENERIC SYSTEM SPECIFICATION THÈSE N O 2388 (2001) PRÉSENTÉE AU DÉPARTEMENT D'INFORMATIQUE ÉCOLE POLYTECHNIQUE FÉDÉRALE

Plus en détail

Des réels aux flottants : préservation automatique de preuves de stabilité de Lyapunov

Des réels aux flottants : préservation automatique de preuves de stabilité de Lyapunov Des réels aux flottants : préservation automatique de preuves de stabilité de Lyapunov Olivier Hermant et Vivien Maisonneuve CRI, MINES ParisTech, PSL Research University prenom.nom@mines-paristech.fr

Plus en détail

Public and European Business Law - Droit public et européen des affaires. Master I Law Level

Public and European Business Law - Droit public et européen des affaires. Master I Law Level Public and European Business Law - Droit public et européen des affaires Stéphane de La Rosa Master I Law Level Delivered Lectures Jean Monnet Chair «Droit de l Union Européenne et Mutations de l intégration

Plus en détail

BIG Data et R: opportunités et perspectives

BIG Data et R: opportunités et perspectives BIG Data et R: opportunités et perspectives Guati Rizlane 1 & Hicham Hajji 2 1 Ecole Nationale de Commerce et de Gestion de Casablanca, Maroc, rguati@gmail.com 2 Ecole des Sciences Géomatiques, IAV Rabat,

Plus en détail

Présentation du sujet de thèse Schémas temporels hybrides fondés sur les SVMs pour l analyse du comportement du conducteur

Présentation du sujet de thèse Schémas temporels hybrides fondés sur les SVMs pour l analyse du comportement du conducteur Présentation du sujet de thèse Schémas temporels hybrides fondés sur les SVMs pour l analyse du comportement du conducteur Réalisé par : Bassem Besbes Laboratoire d Informatique, Traitement de l Information

Plus en détail

Une méthode d apprentissage pour la composition de services web

Une méthode d apprentissage pour la composition de services web Une méthode d apprentissage pour la composition de services web Soufiene Lajmi * Chirine Ghedira ** Khaled Ghedira * * Laboratoire SOIE (ENSI) University of Manouba, Manouba 2010, Tunisia Soufiene.lajmi@ensi.rnu.tn,

Plus en détail

MABioVis. Bio-informatique et la

MABioVis. Bio-informatique et la MABioVis Modèles et Algorithmes pour la Bio-informatique et la Visualisation Visite ENS Cachan 5 janvier 2011 MABioVis G GUY MELANÇON (PR UFR Maths Info / EPI GRAVITE) (là, maintenant) - MABioVis DAVID

Plus en détail

SC 27/WG 5 Normes Privacy

SC 27/WG 5 Normes Privacy SC 27/WG 5 Normes Privacy Club 27001 Toulousain 12/12/2014 Lionel VODZISLAWSKY Chief Information Officer l.vodzislawsky@celtipharm.com PRE-CTPM 141212-Club27001 Toulouse normes WG5_LV L organisation de

Plus en détail

INSERTION TECHNIQUES FOR JOB SHOP SCHEDULING

INSERTION TECHNIQUES FOR JOB SHOP SCHEDULING INSERTION TECHNIQUES FOR JOB SHOP SCHEDULING ÉCOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE POUR L'OBTENTION DU GRADE DE DOCTEUR ES SCIENCES PAR Tamas KIS Informaticien mathématicien diplômé de l'université

Plus en détail

Entreposage de données complexes pour la médecine d anticipation personnalisée

Entreposage de données complexes pour la médecine d anticipation personnalisée Manuscrit auteur, publié dans "9th International Conference on System Science in Health Care (ICSSHC 08), Lyon : France (2008)" Entreposage de données complexes pour la médecine d anticipation personnalisée

Plus en détail

C est quoi, Facebook?

C est quoi, Facebook? C est quoi, Facebook? aujourd hui l un des sites Internet les plus visités au monde. Si tu as plus de 13 ans, tu fais peut-être partie des 750 millions de personnes dans le monde qui ont une page Facebook?

Plus en détail

Algorithme de recherche locale pour la résolution d un problème réel de tournées d inventaires

Algorithme de recherche locale pour la résolution d un problème réel de tournées d inventaires Algorithme de recherche locale pour la résolution d un problème réel de tournées d inventaires Thierry Benoist Frédéric Gardi Antoine Jeanjean Bouygues e-lab, Paris { tbenoist, fgardi, ajeanjean }@bouygues.com

Plus en détail

Structure secondaire d une molécule d ARNt. Groupe de travail : BATUT Bérénice, BLEIN Sophie, CHEVALIER Manuel, PARISOT Nicolas et VERNISSE Léa

Structure secondaire d une molécule d ARNt. Groupe de travail : BATUT Bérénice, BLEIN Sophie, CHEVALIER Manuel, PARISOT Nicolas et VERNISSE Léa Structure secondaire d une molécule d ARNt Groupe de travail : BATUT Bérénice, BLEIN Sophie, CHEVALIER Manuel, PARISOT Nicolas et VERNISSE Léa Plan Généralités sur l ARN Moyens de prédiction des structures

Plus en détail

UNIVERSITY OF MALTA FACULTY OF ARTS. French as Main Area in an ordinary Bachelor s Degree

UNIVERSITY OF MALTA FACULTY OF ARTS. French as Main Area in an ordinary Bachelor s Degree French Programme of Studies (for courses commencing October 2009 and later) YEAR ONE (2009/10) Year (These units start in and continue in.) FRE1001 Linguistique théorique 1 4 credits Non Compensatable

Plus en détail

La participation d'un éditeur à l'intégration des données pour la communauté des astrophysiciens

La participation d'un éditeur à l'intégration des données pour la communauté des astrophysiciens L éditeur partenaire des communautés scientifiques La participation d'un éditeur à l'intégration des données pour la communauté des astrophysiciens Paris, Gfii, 12 février 2014 Jean-Marc Quilbé P-DG Présentation

Plus en détail

POSITION DESCRIPTION DESCRIPTION DE TRAVAIL

POSITION DESCRIPTION DESCRIPTION DE TRAVAIL Supervisor Titre du poste de la superviseure ou du superviseur : Coordinator, Communications & Political Action & Campaigns Coordonnatrice ou coordonnateur de la Section des communications et de l action

Plus en détail

Programming Server-Side Web Applications with Object-Oriented PHP. 420-060-NC Group 1638. Syllabus. Duration: 75 hours 1-2-2

Programming Server-Side Web Applications with Object-Oriented PHP. 420-060-NC Group 1638. Syllabus. Duration: 75 hours 1-2-2 Programming Server-Side Web Applications with Object-Oriented PHP 420-060-NC Group 1638 Syllabus Duration: 75 hours 1-2-2 Lecturer: Mathieu Viau mathieu.viau@gmail.com COLLÈGE DE MAISONNEUVE 3800, rue

Plus en détail

A / BIOGRAPHY. 2005-2009 : Doctorat en Sciences Economiques et de Gestion (Ph.D.), Louvain School of Management Université catholique de Louvain

A / BIOGRAPHY. 2005-2009 : Doctorat en Sciences Economiques et de Gestion (Ph.D.), Louvain School of Management Université catholique de Louvain Albert B.R. LWANGO, PhD. Finance, Innovation and Entrepreneurship Groupe ESC Troyes Contact address : 217 avenue Pierre Brossolette BP 710 10002 Troyes cedex - France Phone : +33(0)3 25 71 22 79 Mail :

Plus en détail

Containers : Outils magiques pour les Devops? OpenNebula et son écosystème pour une infrastructure cloud agile

Containers : Outils magiques pour les Devops? OpenNebula et son écosystème pour une infrastructure cloud agile Containers : Outils magiques pour les Devops? OpenNebula et son écosystème pour une infrastructure cloud agile AGENDA TAS Group REX : OpenNebula Questions TAS GROUP Software company and system integrator

Plus en détail

Informatique / Computer Science

Informatique / Computer Science Informatique / Computer Science Vous trouverez ici les conditions de candidature pour les différentes voies de M2 de la mention «Informatique / Computer Science». Certaines formations ne seront cependant

Plus en détail

Adaptation sémantique de documents SMIL

Adaptation sémantique de documents SMIL Adaptation sémantique de documents SMIL Sébastien Laborie Jérôme Euzenat Nabil Layaïda INRIA Rhône-Alpes - 655 Avenue de l Europe - 38334 St Ismier Cedex {Sebastien.Laborie;Jerome.Euzenat;Nabil.Layaida}@inrialpes.fr

Plus en détail

Meeting CT esame 2015

Meeting CT esame 2015 Meeting CT esame 2015 26th of June 2015 1/ Promotion esame 2. Call for papers 3/ Keynotes and demo 4/ Schedules 5/ Next meeting Green your electronics : Less power, more value +33 (0)4 92 38 85-27 p 1

Plus en détail

Miroir de presse. International Recruitment Forum 9-10 mars 2015

Miroir de presse. International Recruitment Forum 9-10 mars 2015 Miroir de presse International Recruitment Forum 9-10 mars 2015 Contenu 1. L Agefi, 9'510 ex., 02.03.2015 2. Market, online, 12.3.2015 3. Studyrama, online, 13.3.2015 4. Venture Magazine, online, 15.3.2015

Plus en détail

Techniques avancées de traitement numérique pour la réduction d interférences dans les réseaux de capteurs corporels

Techniques avancées de traitement numérique pour la réduction d interférences dans les réseaux de capteurs corporels Techniques avancées de traitement numérique pour la réduction d interférences dans les réseaux de capteurs corporels Sujet de thèse proposé par : Stéphanie SAHUGUEDE, MC 61, ESTE/C2S2/XLIM-UMR 7252 Anne

Plus en détail