Résolution de contraintes mixtes,
|
|
- Louis Thomas Joseph
- il y a 8 ans
- Total affichages :
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 : Model@Runtime 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 charlotte.truchet@univ-nantes.fr 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
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étailMaî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étailRLBS: 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étailBourses 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étailVers 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étailCurriculum 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étailCeline 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étailUNIVERSITE 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étailCurriculum 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étailDé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étailphysicien 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étailApplication 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étailMines 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étailMEMORANDUM 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étailCURRICULUM 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étailForthcoming 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étailA 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étailMEMORANDUM 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étailUn 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étailSEMINAIRE 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É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étailMust 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étailTHÈ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étailOrdonnancement 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étailCours 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étailT. 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étailEfficient 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étailGrenoble 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étailDigital 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étailLe 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étailIsabelle 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étailMaster (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étailProgrammer 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étailThè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étailDEA è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étailLes 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étailFrank 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étailTownship 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É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étailLes 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étailCOULEE 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étailIntegrated 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étailEditing 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étailL 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étailINSERTION 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étailMSO 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étailIDENTITÉ 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étailBNP 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étailNouvelles 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étailGrandes 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étailDes 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étailModè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étailPublic 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étailNathalie 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étailPh 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étailREMOTE 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étailBIG 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étailPré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étailHow 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étailMABioVis. 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étailProgramming 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étailA / 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étailContainers : 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étail8. 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étailIndustrial 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étailTechniques 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étailUne 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étailMémo 2013. www.telecom-bretagne.eu
Mémo 2013 www.telecom-bretagne.eu Une grande École d ingénieurs A prestigious graduate engineering school Télécom Bretagne compte 1 097 élèves* dans ses effectifs 2012-2013 / Télécom Bretagne has 1,097
Plus en détailED STIC - Proposition de Sujets de Thèse. pour la campagne d'allocation de thèses 2013
ED STIC - Proposition de Sujets de Thèse pour la campagne d'allocation de thèses 2013 Axe Sophi@Stic : Titre du sujet : aucun Composition de systèmes d information dirigée par les modèles : une démarche
Plus en détailUne approche dirigée par les modèles pour la génération de tests pour des systèmes de traitement de données complexes et 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 Une approche dirigée par
Plus en détailICA Congress, Brisbane 2012 Thème général : Les temps qui changent. La confiance et les archives*
ICA Congress, Brisbane 2012 Thème général : Les temps qui changent. La confiance et les archives* Titre : Un résumé de la pratique archivistique internationale adaptée au niveau local : manuel pratique
Plus en détailDifferential Synchronization
Differential Synchronization Neil Fraser Google 2009 BENA Pierrick CLEMENT Lucien DIARRA Thiemoko 2 Plan Introduction Stratégies de synchronisation Synchronisation différentielle Vue d ensemble Dual Shadow
Plus en détailListe de conférences et revues Thème Com A
Liste de conférences et revues Thème Com A April 11th, 2007 Ci-dessous, la synthèse des listes de publications fournies par les projets. Il faut noter que ACES/CEPAGE/OASIS/ n ont pas répondu et ne sont
Plus en détailEntreposage 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étailPOSITION 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étailDéfinition et diffusion de signatures sémantiques dans les systèmes pair-à-pair
Définition et diffusion de signatures sémantiques dans les systèmes pair-à-pair Raja Chiky, Bruno Defude, Georges Hébrail GET-ENST Paris Laboratoire LTCI - UMR 5141 CNRS Département Informatique et Réseaux
Plus en détailEtude d un cas industriel : Optimisation de la modélisation de paramètre de production
Revue des Sciences et de la Technologie RST- Volume 4 N 1 /janvier 2013 Etude d un cas industriel : Optimisation de la modélisation de paramètre de production A.F. Bernate Lara 1, F. Entzmann 2, F. Yalaoui
Plus en détailDes contraintes globales prêtes à brancher
Actes JFPC 2009 Des contraintes globales prêtes à brancher Guillaume Richaud Xavier Lorca Narendra Jussien École des Mines de Nantes, LINA UMR CNRS 6241, F 44307 Nantes Cedex 3, France {guillaume.richaud,xavier.lorca,narendra.jussien}@emn.fr
Plus en détailRETHINKING JACQUES ELLUL AND THE TECHNOLOGICAL SOCIETY IN THE 21ST CENTURY REPENSER JACQUES ELLUL ET LA SOCIETE TECHNICIENNE AU 21EME SIECLE
CALL FOR PAPERS / APPEL A COMMUNICATIONS RETHINKING JACQUES ELLUL AND THE TECHNOLOGICAL SOCIETY IN THE 21ST CENTURY REPENSER JACQUES ELLUL ET LA SOCIETE TECHNICIENNE AU 21EME SIECLE The Conference Rethinking
Plus en détailNOUVEAU POSTE AU CRM CENTRE DE RECHERCHES MATHÉMATIQUES UNIVERSITÉ DE MONTRÉAL
NOUVEAU POSTE AU CRM CENTRE DE RECHERCHES MATHÉMATIQUES UNIVERSITÉ DE MONTRÉAL Période d'affichage: 3 septembre au 15 octobre 2014 Affichage no FS 14-09-01 Titre du poste : Agent(e) de développement (partenariats)
Plus en détailrecommandation Domaine : Informatique, Intelligence Artificielle, Modélisation de préférences
Modélisation des utilisateurs atypiques dans les systèmes de recommandation Directeur de thèse : Anne BOYER Si le directeur de thèse n'apparait pas dans le menu déroulant, vous pouvez indiquer cette information
Plus en détailAnalyse des logiciels d application spécialisée pour le courtage en épargne collective
Analyse des logiciels d application spécialisée pour le courtage en épargne collective Dép. de mathématiques et de génie industriel École Polytechnique de Montréal C.P. 6079, succ. Centre-ville Montréal
Plus en détailInformatique / 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étailMiroir 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étailLanguage requirement: Bilingual non-mandatory - Level 222/222. Chosen candidate will be required to undertake second language training.
This Category II position is open to all interested parties. Toutes les personnes intéressées peuvent postuler ce poste de catégorie II. Senior Manager, Network and Systems Services Non-Public Funds Information
Plus en détailUNIVERSITY 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étailPLAN DE COURS. GPA750 Ordonnancement des systèmes de production aéronautique
Département de génie de la production automatisée Programme de baccalauréat Professeur Pontien Mbaraga, Ph.D. Session/année Automne 2004 Groupe(s) 01 PLAN DE COURS GPA750 Ordonnancement des systèmes de
Plus en détail46 000 Alumni. 15 Double Degrees. ESSEC Business School Global key figures. Founded in1907 AACSB, EQUIS. 4 400 Fulltime. BBA, Masters, MBA, PhD
ESSEC s value MSc in Management vs. MBA Campus / Location & Transportation Courses Accommodation Events Places to visit in Paris Contacts Today s Agenda ESSEC Business School Global key figures Founded
Plus en détailModélisation 3D par le modèle de turbulence k-ε standard de la position de la tête sur la force de résistance rencontrée par les nageurs.
Modélisation 3D par le modèle de turbulence k-ε standard de la position de la tête sur la force de résistance rencontrée par les nageurs. H. ZAÏDI a, S. FOHANNO a, R. TAÏAR b, G. POLIDORI a a Laboratoire
Plus en détailintelligence artificielle et cognitique"
Dialogue on Education, 11h-11h10 Course overview on "Automatisation avancée, intelligence artificielle et cognitique" Prof. Dr. Jean-Daniel Dessimoz, MBA, HES-SO / HEIG-VD 11:00-11:10, 18 November 2014
Plus en détailDemande d inscription aux cours IB pour septembre 2012
École Gabrielle-Roy 6887, 132 e Rue, Surrey, C.-B. V3W 4L9 Téléphone / Phone : (604) 599-6688 Télécopieur / Fax : (604) 599-6628 Courriel : ecole_gabrielle-roy @csf.bc.ca Site hypertoile : www.csf.bc.ca
Plus en détailLamia Oukid, Ounas Asfari, Fadila Bentayeb, Nadjia Benblidia, Omar Boussaid. 14 Juin 2013
Cube de textes et opérateur d'agrégation basé sur un modèle vectoriel adapté Text Cube Model and aggregation operator based on an adapted vector space model Lamia Oukid, Ounas Asfari, Fadila Bentayeb,
Plus en détailChristian BONTEMPS né le 08 juillet 1969
Curriculum Vitae Christian BONTEMPS né le 08 juillet 1969 Situation actuelle : Ingénieur en Chef des Ponts et Chaussées, Chercheur IDEI Professeur Sciences Économiques, GREMAQ - Université Toulouse I.
Plus en détailUn modèle réactif pour l optimisation par colonies de fourmis : application à la satisfaction de contraintes
Actes JFPC 2009 Un modèle réactif pour l optimisation par colonies de fourmis : application à la satisfaction de contraintes Madjid Khichane 1,2, Patrick Albert 1 et Christine Solnon 2 1 ILOG An IBM Company
Plus en détailDelivering the World s AppSec Information in France OWASP. The OWASP Foundation http://www.owasp.org. OWASP Paris Meeting - May 6, 2009
Paris Meeting - May 6, 2009 Delivering the World s AppSec Information in France Sébastien Gioria French Chapter Leader Ludovic Petit French Chapter co-leader Copyright 2009 - The Foundation Permission
Plus en détailFace Recognition Performance: Man vs. Machine
1 Face Recognition Performance: Man vs. Machine Andy Adler Systems and Computer Engineering Carleton University, Ottawa, Canada Are these the same person? 2 3 Same person? Yes I have just demonstrated
Plus en détailSCHOLARSHIP ANSTO FRENCH EMBASSY (SAFE) PROGRAM 2015-2 APPLICATION FORM
SCHOLARSHIP ANSTO FRENCH EMBASSY (SAFE) PROGRAM 2015-2 APPLICATION FORM APPLICATION FORM / FORMULAIRE DE CANDIDATURE Note: If there is insufficient space to answer a question, please attach additional
Plus en détailJean-Philippe DANGLADE
Jean-Philippe DANGLADE Professor of Marketing Research Coordinator / Scientific Advisor BP 921 13288 Marseille cedex 9 France PROFESSIONAL +33 4 91 82 73 34 jean-philippe.danglade@kedgebs.com EXPERIENCES
Plus en détailUne proposition d extension de GML pour un modèle générique d intégration de données spatio-temporelles hétérogènes
303 Schedae, 2007 Prépublication n 46 Fascicule n 2 Une proposition d extension de GML pour un modèle générique d intégration de données spatio-temporelles hétérogènes Samya Sagar, Mohamed Ben Ahmed Laboratoire
Plus en détail