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

Un solveur de contraintes basé sur les domaines abstraits

Un solveur de contraintes basé sur les domaines abstraits Un solveur de contraintes basé sur les domaines abstraits Marie Pelleau Antoine Miné Charlotte Truchet Frédéric Benhamou TASC, University of Nantes INRIA, ENS JFPC 2013 12 juin 2013 12 juin 2013 1 / 23

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

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

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

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

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

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

PROFIL DE POSTE MCF 27 ème SECTION INSA Centre Val de Loire, en partenariat avec l INSA Euro-Méditerranée

PROFIL DE POSTE MCF 27 ème SECTION INSA Centre Val de Loire, en partenariat avec l INSA Euro-Méditerranée PROFIL DE POSTE MCF 27 ème SECTION INSA Centre Val de Loire, en partenariat avec l INSA Euro-Méditerranée Laboratoire d Informatique Fondamentale d Orléans Profil : Sécurité Informatique Mots-clés : Sécurité

Plus en détail

C est quoi la RO : des théorèmes ou des logiciels?

C est quoi la RO : des théorèmes ou des logiciels? C est quoi la RO : des théorèmes ou des logiciels? Frédéric Gardi Bouygues e-lab & LocalSolver, Paris fgardi@localsolver.com Prix Robert Faure ROADEF 2012, Angers 1/10 Mon parcours Professionnel : - 2000

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

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

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

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

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

Le Répertoire National des Certifications Professionnelles (RNCP) Résumé descriptif de la certification

Le Répertoire National des Certifications Professionnelles (RNCP) Résumé descriptif de la certification 1 sur 8 26/09/2013 16:49 Le Répertoire National des Certifications Professionnelles (RNCP) Résumé descriptif de la certification Intitulé Licence : Licence Sciences, technologies, santé mention Informatique

Plus en détail

Exploration des capacités des CSP pour la localisation d erreurs à partir de. contre-exemples

Exploration des capacités des CSP pour la localisation d erreurs à partir de. contre-exemples École Doctorale STIC de l Université de Nice Sophia-Antipolis capacités des CSP pour la localisation d erreurs Domaine: Mathématique-informatique Filière: Informatique Juin 2012 Présenté par : BEKKOUCHE

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

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

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

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

Modèles et algorithmes pour la reconfiguration de systèmes répartis utilisés en téléphonie mobile

Modèles et algorithmes pour la reconfiguration de systèmes répartis utilisés en téléphonie mobile Modèles et algorithmes pour la reconfiguration de systèmes répartis utilisés en téléphonie mobile Renaud Sirdey Chercheur au CEA / Ex-architecte système Nortel Journée du prix de thèse Guy Deniélou, 4

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

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

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

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

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

QUELQUES ASPECTS ALGORITHMIQUES ET QUALITATIFS DES MODELES DE GESTION DE STOCKS DE TYPE AHM

QUELQUES ASPECTS ALGORITHMIQUES ET QUALITATIFS DES MODELES DE GESTION DE STOCKS DE TYPE AHM QUELQUES ASPECTS ALGORITHMIQUES ET QUALITATIFS DES MODELES DE GESTION DE STOCKS DE TYPE AHM THESE No 1121 (1993) PRESENTEE AU DEPARTEMENT DE MATHEMATIQUES ECOLE POLYTECHNIQUE FEDERALE DE LAUSANNE POUR

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

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

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

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

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

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

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

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

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

Analyse statique de SCADE par interprétation abstraite

Analyse statique de SCADE par interprétation abstraite Analyse statique de SCADE par interprétation abstraite soutenance de stage Alex AUVOLAT ANSYS-Esterel Technologies sous l encadrement de Jean-Louis Colaço Juin-Juillet 2014 1/33 Introduction SCADE : programmation

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

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

Algorithmes pour l optimisation globale de problèmes numériques multi-objectif

Algorithmes pour l optimisation globale de problèmes numériques multi-objectif 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 2011 Algorithmes pour l 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

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

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

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

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

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

GROUND COMPUTER NETWORK PRINCIPLES APPLIED TO SPACE AVIONICS: THE CNES EXPERIMENT

GROUND COMPUTER NETWORK PRINCIPLES APPLIED TO SPACE AVIONICS: THE CNES EXPERIMENT Centres de Compétence Technique Informatique & Réseaux Embarqués CCT IRE WORKSHOP GROUND COMPUTER NETWORK PRINCIPLES APPLIED TO SPACE AVIONICS: THE CNES EXPERIMENT 24th of April 2014. 9AM to 12AM. Toulouse

Plus en détail

Routage de camions dans le secteur du BTP

Routage de camions dans le secteur du BTP Routage de camions dans le secteur du BTP 1 / 25 Routage de camions dans le secteur du BTP Projet Orlogès Sylvain Rosembly 1 Nathalie Bostel 2 Pierre Dejax 3 1 Master ORO - Ecole des Mines de Nantes 2

Plus en détail

MEDIAPLANNING & HYBRIDATION APPLIQUE A L INTERNET

MEDIAPLANNING & HYBRIDATION APPLIQUE A L INTERNET MEDIAPLANNING & HYBRIDATION APPLIQUE A L INTERNET MOBILE Gaël Crochet 1 & Gilles Santini 2 1 Médiamétrie, 70 rue Rivay, 92532 Levallois-Perret, France, gcrochet@mediametrie.fr 2 Vintco SARL, 8 rue Jean

Plus en détail

Notice biographique Repères biographiques communs. Nom : BOTTA Prénom : VALERIE Section : 61

Notice biographique Repères biographiques communs. Nom : BOTTA Prénom : VALERIE Section : 61 Notice biographique Repères biographiques communs Nom : BOTTA Prénom : VALERIE Section : 61 Corps : Professeur Grade : 1ere classe Equipe de recherche DISP, EA 4570 Ecole doctorale InfoMaths, EA 512 Directeur

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

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

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

MASTER (LMD) MODELISATION, OPTIMISATION, COMBINATOIRE ET ALGORITHME

MASTER (LMD) MODELISATION, OPTIMISATION, COMBINATOIRE ET ALGORITHME MASTER (LMD) MODELISATION, OPTIMISATION, COMBINATOIRE ET ALGORITHME RÉSUMÉ DE LA FORMATION Type de diplôme : Master (LMD) Domaine ministériel : Sciences, Technologies, Santé Mention : INFORMATIQUE Spécialité

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

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

Analyse du mécanisme propagation-recherche en programmation par contraintes

Analyse du mécanisme propagation-recherche en programmation par 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 2016 Analyse du mécanisme propagation-recherche

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

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

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

Parallel Tree-based Exact Algorithms using Heterogeneous Many and Multi-core Computing for Solving Challenging Problems in Combinatorial Optimization

Parallel Tree-based Exact Algorithms using Heterogeneous Many and Multi-core Computing for Solving Challenging Problems in Combinatorial Optimization Parallel Tree-based Exact Algorithms using Heterogeneous Many and Multi-core Computing for Solving Challenging Problems in Combinatorial Optimization Rudi Leroy Encadrement : N. Melab (Univ. Lille 1),

Plus en détail

Dominique BILLON. Associate Dean for Graduate Programs. dominique.billon@kedgebs.com PROFESSIONAL +33 (0) 556 845 525 email@your provider

Dominique BILLON. Associate Dean for Graduate Programs. dominique.billon@kedgebs.com PROFESSIONAL +33 (0) 556 845 525 email@your provider Dominique BILLON Associate Dean for Graduate Programs dominique.billon@kedgebs.com PROFESSIONAL +33 (0) 556 845 525 email@your provider EDUCATION En cours Thèse de doctorat en cours, Université de Rouen,

Plus en détail

Thinking GRID for. Electromagnetic Simulation. of oversized structures

Thinking GRID for. Electromagnetic Simulation. of oversized structures Thinking GRID for Electromagnetic Simulation of oversized structures Hervé Aubert (MINC-LAAS), Thierry Monteil (MRS-LAAS), Patricia Stolf (ASTRE-IRIT) Contexte Challenge de l industrie des technologies

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

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

Planification dynamique de tâches par raffinement pour un robot dans un environnement ambiant Nathan Ramoly 2éme année de thèse JJCR 15 20/10/2015

Planification dynamique de tâches par raffinement pour un robot dans un environnement ambiant Nathan Ramoly 2éme année de thèse JJCR 15 20/10/2015 Planification dynamique de tâches par raffinement pour un robot dans un environnement ambiant Nathan Ramoly 2éme année de thèse JJCR 15 20/10/2015 1 Introduction: contexte Objectif: Collaboration robot/environnement

Plus en détail

1 Présentation générale

1 Présentation générale Parcours «Management des processus de production de biens et services» du Master de Sciences de Gestion (M2) - mention «Management Global» de l Université Paris Dauphine 1 Présentation générale 1.1 Objectifs

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

EUROARBITRATION Name Address Fax Electronic Mail Nationality Date and place of birth Languages Academic and/or professional titles

EUROARBITRATION Name Address Fax Electronic Mail Nationality Date and place of birth Languages Academic and/or professional titles EUROARBITRATION Name Jean-François SERVAL Address 47, rue de Chaillot 75116 PARIS Fax +33 (0) 1 53 57 92 34 Electronic Mail jfserval@groupeaudit.eu Nationality French Date and place of birth October, 4

Plus en détail

Gestion dynamique des tâches dans les grappes

Gestion dynamique des tâches dans les grappes Gestion dynamique des tâches dans les grappes une approche à base de machines virtuelles Fabien Hermenier Équipe ASCOLA, École des Mines de Nantes 26 novembre 2009 Fabien Hermenier (ASCOLA) Gestion dynamique

Plus en détail

CALL FOR APPLICATIONS

CALL FOR APPLICATIONS SCHOLARSHIP ANSTO FRENCH EMBASSY (SAFE) PROGRAM 2014 APPEL À CANDIDATURES Présentation Date de clôture de l appel à candidatures : 1 er novembre 2013 L Australian Nuclear Science and Technology Organisation

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

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

Impact du chevauchement d activités sur la diminution de la durée de projet

Impact du chevauchement d activités sur la diminution de la durée de projet Colloque sur les enjeux et outils modernes de gestion de projet Impact du chevauchement d activités sur la diminution de la durée de projet Francois Berthaut, Ing. Jr., M.Sc.A., École Polytechnique francois.berthaut@polymtl.ca

Plus en détail

Langages de programmation: approche scientifique

Langages de programmation: approche scientifique IGE 2004 - ENS 29 juin 2004 Présentation au CGTI 1 Informatique théorique 2 3 Une science? Informatique théorique Chaque science repose un dogme fondamental. Les mathématiques Les raisonnements formels

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

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

SPACE REFLECTO 2010 1st CNES CCT workshop on passive reflectometry using radiocom space signals - Toulouse, France - Institut Aero Spatial

SPACE REFLECTO 2010 1st CNES CCT workshop on passive reflectometry using radiocom space signals - Toulouse, France - Institut Aero Spatial SPACE REFLECTO 2010 1st CNES CCT workshop on passive reflectometry using radiocom space signals - Toulouse, France - Institut Aero Spatial Jean-Bernard CHOQUEL Chargé de Mission à la Valorisation et aux

Plus en détail

Aujourd hui - Cabinet dentaire, pratique privée Paris 7è, France. - Activité hospitalière - Consultation du Sourire. Hôpital St-Louis, Paris

Aujourd hui - Cabinet dentaire, pratique privée Paris 7è, France. - Activité hospitalière - Consultation du Sourire. Hôpital St-Louis, Paris Claude FINELLE Chirurgien-Dentiste Date de Préparation: Juilet 2014 Adresse professionnelle: 59 Avenue de la Bourdonnais, 75007 Paris, France Téléphone Professionnel: +33145632000 Email: claude.finelle@dental7paris.com,

Plus en détail

Vie privée dans l Internet des Objets Travail s inscrivant dans la chaire «Valeurs et Politiques des Informations Personnelles»

Vie privée dans l Internet des Objets Travail s inscrivant dans la chaire «Valeurs et Politiques des Informations Personnelles» Vie privée dans l Internet des Objets Travail s inscrivant dans la chaire «Valeurs et Politiques des Informations Personnelles» 14/05/2014 Institut Mines-Télécom Internet des objets Internet of Things

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

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

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

Le Collège de France crée une chaire pérenne d Informatique, Algorithmes, machines et langages, et nomme le Pr Gérard BERRY titulaire

Le Collège de France crée une chaire pérenne d Informatique, Algorithmes, machines et langages, et nomme le Pr Gérard BERRY titulaire Communiquédepresse Mars2013 LeCollègedeFrancecréeunechairepérenned Informatique, Algorithmes,machinesetlangages, etnommeleprgérardberrytitulaire Leçoninauguralele28mars2013 2009avait marquéunpas importantdans

Plus en détail

Département d'informatique, Université Laval, IFT-63677 SBC V&V : VÉRIFICATION ET VALIDATION DES SBC

Département d'informatique, Université Laval, IFT-63677 SBC V&V : VÉRIFICATION ET VALIDATION DES SBC Assurance qualité logicielle Logiciel conventionnel SBC Fiabilité Facilité d'entretien Facilité des modifications Principales causes d erreur Absence de spécification, manque de conformité (1) Erreurs

Plus en détail

et contrôle de topologie dans les Support de la qualité de service réseaux mobiles ad hoc rabah.meraihi@enst.fr GET / Télécom Paris Rabah Meraihi

et contrôle de topologie dans les Support de la qualité de service réseaux mobiles ad hoc rabah.meraihi@enst.fr GET / Télécom Paris Rabah Meraihi Support de la qualité de service et contrôle de topologie dans les réseaux mobiles ad hoc Rabah Meraihi GET / Télécom Paris rabah.meraihi@enst.fr Rabah Meraihi 1 Plan 1. Introduction et contexte 2. Qualité

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

ECOLE DOCTORALE SCIENCES ET TECHNOLOGIES DE L INFORMATION ET DE LA COMMUNICATION

ECOLE DOCTORALE SCIENCES ET TECHNOLOGIES DE L INFORMATION ET DE LA COMMUNICATION ECOLE DOCTORALE SCIENCES ET TECHNOLOGIES DE L INFORMATION ET DE LA COMMUNICATION ED Pôle 1: Automatique, Traitement du Signal, Traitement des Images, Robotique F. Lamnabhi-Lagarrigue lamnabhi@lss.supelec.fr

Plus en détail

Contributions à l étude des mesures sémantiques

Contributions à l étude des mesures sémantiques Contributions à l étude des mesures sémantiques École des mines d Alès Sébastien Harispe Plan Contributions à l étude des mesures sémantiques Estimation d IC par les fonctions de croyance Plan Contributions

Plus en détail

Qualifications aux fonctions de Maître de conférences

Qualifications aux fonctions de Maître de conférences Jean-PhilippePréaux Etat civil Né, le 19 août 1971, à Marseille, Bouches-du-Rhône. Marié, sans enfant. Adresse, 24 cours H. d Estienne d Orves, Marseille, 13001. Email, preaux@latp.univ-mrs.fr. Tel, +33

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

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

UNIVERSITE DE POITIERS Référence GALAXIE : 4298

UNIVERSITE DE POITIERS Référence GALAXIE : 4298 UNIVERSITE DE POITIERS Référence GALAXIE : 4298 Numéro dans le SI local : Référence GESUP : 0332 Corps : Maître de conférences Article : 26-I-1 Chaire : Non Section 1 : 61-Génie informatique, automatique

Plus en détail

Proposition de thèse 2015

Proposition de thèse 2015 Proposition de thèse 2015 Etablissement: Université de Nantes Laboratoire: IRCCyN Equipe: Signal Processing s/robotics Encadreurs: Aoustin Yannick, (40%) LeCarpentier Eric, (60%) Collaboration with other

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

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

XSORIES WEYE FEYE FAQ

XSORIES WEYE FEYE FAQ XSORIES WEYE FEYE FAQ ENGLISH FRANCAIS WEYE FEYE FAQ ENGLISH 1. COMPATIBILITY Weye Feye is compatible with the following cameras: CANON EOS 5DmII EOS 5DmIII EOS 6D EOS 7D EOS 40D EOS 50D EOS 60D EOS 70D

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