Projet ANR-11-BS BR4CP. Programme Blanc 2011

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

Download "Projet ANR-11-BS02-008 BR4CP. Programme Blanc 2011"

Transcription

1 Compte-rendu intermédiaire à 24 mois Projet ANR-11-BS BR4CP Programme Blanc 2011 A IDENTIFICATION...3 B LIVRABLES ET JALONS...4 C RAPPORT D AVANCEMENT...5 C.1 Objectifs initiaux du projet...5 C.2 Travaux effectués et résultats atteints sur la période concernée...5 C.3 Difficultés rencontrées et solutions...8 C.4 Faits et résultats marquants C.5 Travaux spécifiques aux entreprises (le cas échéant) C.6 Réunions du consortium (projets collaboratifs) C.7 Commentaires libres D VALORISATION ET IMPACT DU PROJET DEPUIS LE DEBUT D.1 Publications et communications D.2 Autres éléments de valorisation D.3 Pôles de compétitivité (projet labellisés) D.4 Personnels recrutés en CDD (hors stagiaires) D.5 État financier... 18

2 E RAPPORTS D ACTIVITE SCIENTIFIQUE, PAR PARTENAIRE E.1 Cameleon E.2 CRIL E.3 IBM E.4 IRIT E.5 LIRMM E.6 RENAULT

3 A IDENTIFICATION Acronyme du projet Titre du projet Coordinateur du projet (société/organisme) Date de début du projet Date de fin du projet Labels et correspondants des pôles de compétitivité (pôle, nom et courriel du corresp.) Site web du projet, le cas échéant BR4CP Business Recommendation for Configurable Products IRIT Université Paul Sabatier 7 janvier janvier 2015 Label du Pôle Industrie du Commerce (PICOM) Dubois Bruno Rédacteur de ce rapport Civilité, prénom, nom Hélène Fargier Téléphone Courriel Date de rédaction Juin 2013 Période faisant l objet du rapport d activité 7 janvier juillet

4 B LIVRABLES ET JALONS Quand le projet en comporte, reproduire ici le tableau des jalons et livrables fourni au début du projet. Mentionner l ensemble des livrables, y compris les éventuels livrables abandonnés, et ceux non prévus dans la liste initiale. N Intitulé Nature* Prévue initialement Date de fourniture Replanif iée Livrée Partenaires (souligner le responsable) Etat de l art critique sur les système de recommandation Rapport 7/1/13 1/2/13 J. Mengin, IRIT Analyse des besoins Rapport 7/1/13 20/1/13 O. Lhomme, IBM-ILOG Benchmarks (produits configurable) Benchmarks (historiques de ventes) Données (Fichiers en ligne, site BR4CP) Données (Fichiers en ligne, site BR4CP) 7/1/13 25/6/12 J.M. Astesana, Renault 7/1/13 25/6/12 J.M. Astesana, Renault Résultats théoriques Tâche 2 Rapport 7/7/13 3/11/13 J. Mengin, F. Koriche IRIT/CRIL Protocole Expérimental Tâche 5 Fichier en ligne, site BR4CP 7/7/13 7/11/13 H. Fargier IRIT Utilisation d algorithmes de recherche et de propagation pour la configuration. Resultats individuels. experimentaux Rapport 7/1/14 D. Le Berre, CRIL C. Bessiere LIRMM Carte de compilation (Tâche 4) Rapport 7/1/14 S. Coste CRIL Algorithmes de Compilation (Tâche 4) Code source et resultats experimentaux Tâche 2 Code source et resultats experimentaux Tâche 3 Code source et resultats experimentaux Tâche 4 Résultat experimentaux comparatifs (Tâche 5) Rapport 7/7/14 S. Coste CRIL Rapport 7/1/15 J. Mengin F. Koriche Rapport 7/1/15 D. Leberre CRIL Rapport 7/1/15 S. Coste CRIL Rapport 1/1/15 H. Fargier IRIT * jalon, rapport, logiciel, prototype, données, 4

5 C RAPPORT D AVANCEMENT C.1 OBJECTIFS INITIAUX DU PROJET. L'objectif du projet BR4CP est d'explorer comment les configurateurs peuvent conseiller le client et l'orienter dans ses choix, comme le font les systèmes de recommandation, mais sans perdre leur capacité à travailler sur des domaines combinatoires. Ce qui permettra à la fois de faire de la configuration dirigée par les préférences, ou du filtrage collaboratif en configuration, et de construire des systèmes de recommandation offrant l'interactivité des configurateurs. Scientifiquement, l'originalité du projet repose sur deux idées maîtresses : d'une part l'utilisation de techniques d'apprentissage pour la résolution de problèmes combinatoires ; d'autre part le recours à des approches du problème par compilation non seulement du catalogue ou des indicateurs clients, mais aussi du modèle de recommandation. Le projet BR4CP vise à développer pleinement la fonction conseil et la prise en compte des préférences client dans les systèmes orientés configuration, qu'il s'agisse de configuration B2B " classique " (configuration d'objets techniques) ou d'exploration interactive d'un catalogue en B2C (de type " preferencebased search " ou exploration interactive). Pour ce, il se propose de mettre en commun les acquis des deux types de systèmes en étudiant conjointement techniques d'apprentissage, de filtrage collaboratif et de compilation et/ou de propagation de préférences. C.2 TRAVAUX EFFECTUES ET RESULTATS ATTEINTS SUR LA PERIODE CONCERNEE Maximum 1 page. Travaux et résultats obtenus pendant la période concernée, conformité de l avancement des travaux avec le plan initialement prévu. Prévision de travaux pour la (les) prochaine(s) période(s). En ce qui concerne l avancement, toutes les tâches ont débuté comme prévu. La tâche 1 (terminée) contenait plusieurs sous tâches. Un état de l art des systèmes de recommandation - il a été livré en février Soulignons de plus que des contacts ont été pris avec des membres de la communauté des systèmes de recommandation (A. Boyer et A. Brun - LORIA, E. Negre - LAMSADE) et celle des Software Product Lines (A. Hubaux FUND Namur) Un rapport d analyse de besoins, livré en janvier Après un recensement des limitations de la technologie actuelle, nous avons identifié de nombreuses voies d'amélioration des systèmes de configuration. Nous avons synthétisé les différents besoins sous la forme d'une structure matricielle hiérarchique, qui se remplira au fur et à mesure de l'avancée des travaux réalisés par les partenaires au cours de ce projet. Nous avons rédigé un rapport d'analyse des besoins qui résume les principaux besoins que les partenaires du projet ont rencontrés dans leurs développements précédents d'applications ou d'outils de configuration. Il a été livré en janvier La constitution de jeux d essai ; Renault a fourni trois benchmarks de produits configurables ainsi que des historiques de vente. Les benchmarks fournis par Renault ont été exprimés au format XCSP 1 utilisé par de nombreux prouveurs CSP académiques. 5

6 Ce livrable a été mis en ligne sur le site du projet en janvier En ce qui concerne la tâche 2 (Apprentissage), nous avons recherche : développé plusieurs axes de L'apprentissage de préférences représentées par des GAI-décompositions (ou encore CSP valués). Nous avons étudié la VC dimension de ce problème et montré que l'on peut calculer une GAI décomposition de structure la plus simple possible expliquant un ensemble de comparaisons entre objets en résolvant un problème d'optimisation linéaire L'apprentissage actif de CSP. Nous avons étudié une méthode permettant d'apprendre un CSP en parcourant par une méthode de type branch and bound les solutions partielles possibles, et soumettant au modélisateur du CSP ces instances partielles. Nous avons également proposé une technique d acquisition rapide des contraintes basée sur un des requêtes partielles et qui assure une convergence polynomiale en nombre de requêtes. L apprentissage de CP-Net acycliques non séparables. Nous proposons de transformer les exemples en contraintes sur les tables à apprendre lorsque la structure du CP-net cible est connue, généralisant ainsi nos travaux antérieurs sur l'apprentissage de CP-nets séparables. Nous avons d autre part proposé une extension des CP-nets permettant de représenter des préférences entre objets de types variés liés entre eux par des relations diverses La recommandation de choix à l utilisateur en fonction de ses choix précédents dans un configurateur et d un historique de vente. Nous avons testé l'utilisation de classifieurs bayésiens naïfs sur la base de d historiques de configuration de voitures fournie par Renault Des CP-nets probabilistes. Nous avons étendu le formalisme des CP-nets à la prise en compte de probabilité sur des ordres capturant une incertitude sur les préférences de l utilisateur et étudié les problèmes de dominance et d'optimisation dans ces «CP-nets probabilistes». Nous travaillons actuellement à l apprentissage de CP-nets probabilistes (une algorithmique a été proposée et son implémentation est en cours). Le généralisation des contraintes/préférences acquises : ce travail en cours aborde la notion de requête de généralisation basée sur des regroupements de variables. Cette nouvelle dimension permet de généraliser chaque contrainte/préférence apprise sur des variables de même «type». Ceci réduit drastiquement le nombre de requêtes posées à l utilisateur. La tâche 3 contient plusieurs sous tâches. Utilisation de moteurs de propagation et de recherche académiques SAT et CSP pour la configuration en ligne (sous tâches 3.1.A et 3.A). Cette tâche avance normalement ; une première approche basée sur l'utilisation d'un prouveur SAT incrémental (Sat4j) pour le calcul de littéraux impliqués permet d'effectuer en ligne de commande la configuration interactive des problèmes fournis pas Renault, avec remise en cause des choix précédents. Une seconde approche de la même fonctionnalité mais fondée sur la maintenance de la cohérence globale inverse dans les CSP a été développée ; nous avons obtenus de premiers résultats (théoriques et expérimentaux), et un prototype pleinement fonctionnel. Enfin, vous avons entamé l étude du maintient du prix minimum de la 6

7 configuration courrante (basée sur Sat4j). Algorithmes de dépropagation et résolution interactive application au logiciel Cameleon software (sous-tâche 3.1.B). Cette tâche avance normalement. Nos premiers résultats concernant la maintenance de valeurs alternatives ont été confirmés et une analyse de la problématique de la configuration de sous produits optionnels ont été présentés lors des réunions de janvier et juin La thèse Cifre correspondant à cette tâche est en cours de rédaction. Utilisation du moteur CPLEX pour la configuration en ligne (sous-tâche 3.B) : IBM a abordé dans cette tâche la modélisation en CP du problème de configuration; Nous avons obtenu des résultats intéressants permettant d'améliorer grandement l'efficacité de constructions très souvent présentes en configuration. La tâche 4 est partagée en 3 sous-tâches. La première tâche (4.1 «Identification et évaluation des langages cibles») s'est terminée en juin Les points suivants y ont été traités. La compilation de préférences sous la forme de diagrammes de décision valués (thèse de N. Schmidt, IRIT/CRIL). Nous avons proposé et étudié ces langages de manière algébrique et montré que certaines conditions simples (la structure doit être un monoïde) garantissent l'existence d'une forme canonique (à l'instar des OBDDs utilisés dans le cas booléen). Le conditionnement et l'optimisation sont réalisables en temps polynomial pour les formules de ces langages, ce qui est essentiel pour les applications visées. Nous avons entamé la construction d une carte de compilation des diagrammes de décision valués «classiques» (ADD, AADD, SLDD+ et SLDDx). La définition et l'étude d'un nouveau formalisme, les arbres de décision affines étendus, pour la représentation de fonctions booléennes. Nous avons montré que ce langage permet, en temps polynomial, le comptage des modèles de la formule représentée. La conception d'un cadre générique et abstrait permettant la comparaison de formalismes pour la représentation des connaissances, en particulier les langages cibles utilisés en compilation de connaissances. Il s'agit de pouvoir comparer sur des bases formelles des langages qui ne partagent pas la même sémantique, ce que le cadre utilisé jusqu'ici ne permet pas. La carte de compilation booléenne. Nous avons mis à profit les derniers mois pour travailler sur la carte de compilation et rédiger le livrable de cette sous-tâche. Les sous-tâches 4.2 («Algorithmes de compilation») et 4.3 («Exploitation des formes compilées : filtrage coopératif, évaluation des critères en ligne et propagation des préférences») sont commencées et ont avancé sur les points ci-dessous. La construction d un compilateur de CNF en arbre de décision affine (CNF-to-EADT) qui se révèle particulièrement efficace, comparé à certains compteurs de modèles dédiés (pour certaines instances, le temps de compilations est amorti dès la première requête de comptage de modèles). La construction d un compilateur de CSP valué / réseau bayésien en diagramme de décision valué (AADD, SLDD, ADD). La proposition d une approche de la compilation de bases de connaissances par l'utilisation à la volée de solveurs SAT. Sur les benchmarks fournis par Renault, un encodage des contraintes en CNF à l'aide de «l'order encoding» permet de répondre à 7

8 plusieurs des requêtes utiles en configuration en moins de 0.01s, dans tous les cas. Nous avons entrepris un travail d'étude d'une classe de langages de compilation, à base de graphes et exploitant les symétries possibles entre variables. Nous comptons progresser sur ce travail au semestre prochain et développer un compilateur dédié à certains langages de la classe, puis évaluer ce compilateur. En ce qui concerne la tâche 5, un protocole de comparaison des approches (CSP, PLNE, SAT, Compilation) pour le traitement du problème de la résolution interactive a été proposé. Un protocole de test des algorithmes de recommandation fondé sur les historiques est en cours d élaboration. L ensemble de ces travaux suit d assez près le programme scientifique de la proposition. La second moitié du projet devrait rester conforme avec le planning initial. Cela dit, le protocole d expérimentation que vous avons construit dépasse les objectifs initiaux (plus de requêtes pourraient être traitées) ; nous envisageons de demander une prolongation du projet sur 6 à 12 mois afin d exploiter au mieux ce protocole et fournir un panel complet de résultats expérimentaux. C.3 DIFFICULTES RENCONTREES ET SOLUTIONS Maximum 10 à 20 lignes. Difficultés éventuelles rencontrées et solutions de remplacement envisagées ex : impasse technique, abandon d un prestataire, maîtrise des délais, maîtrise des budgets. Faut-il revoir le contenu du projet? Faut-il revoir le calendrier du projet? Nous avons éprouvé les plus grandes difficultés pour la mise en place de l accord de consortium, le projet d accord proposé par l université Paul Sabatier (tutelle du porteur du projet) et le CNRS partant sur des principes de propriété intellectuelle et de confidentialité opposés à ceux qui avaient été prévus par les partenaires dans la proposition. La solution a été malheureusement de ne prévoir aucun résultat commun avec les partenaires industriels, pour éviter les problèmes de propriété intellectuelle. Le Lirmm, qui avait prévu d'embaucher un post doc (9 mois) sur la tâche 2 n'a pas trouvé de candidat. Ce laboratoire envisage de transformer ce budget en missions pour monter une collaboration avec deux des candidats qui avaient été contactés. D'autre part, Frederic Koriche a obtenu en 2012 une mutation du Lirmm vers le Cril ; son départ a été compensé par l arrivée au Lirmm de Nadjib Lazaar ; suite à ces changement dans leur équipe, le Lirmm a recentré sa contribution à la tâche 2 sur l'apprentissage de contraintes dures plutôt que l apprentissage de préférences comme prévu dans la proposition originale. D autre part, l Irit a embauché un doctorant sur la thématique de l apprentissage de préférences, ce qui n était pas prévu à l origine et fait progresser la tâche 2 par un collaboration forte avec le Greyc (partenaire associé au projet). Ceci mis à part, l'ensemble des travaux suit d assez près le programme scientifique de la proposition. La seconde moitié du projet devrait rester conforme avec le planning initial. Cela dit, le protocole d expérimentation que vous avons construit dépasse les objectifs initiaux (plus de requêtes pourraient être traitées) ; nous envisageons de demander une prolongation du projet 8

9 sur 6 à 12 mois afin d exploiter au mieux ce protocole et fournir un panel complet de résultats expérimentaux. 9

10 C.4 FAITS ET RESULTATS MARQUANTS En quelques lignes pour chaque fait ou résultat marquant. Cet élément pourrait donner lieu à communication, après accord du coordinateur du projet. C.5 TRAVAUX SPECIFIQUES AUX ENTREPRISES (LE CAS ECHEANT) Maximum 10 à 20 lignes par entreprise. Pour chaque entreprise du consortium, décrire les activités dans le projet, en se concentrant sur les apports, collaborations et perspectives liés au projet. Préciser notamment les perspectives d application industrielle ou technologique, de potentiel économique et commercial, d intégration dans l activité industrielle, etc. Entreprise Rédacteur (nom + adresse mél) Cameleon Software J. Amilhastre Apports au projet : 1. Exposé général de problématiques posées par la configuration commerciale interactive (Tâche 1) Exposé des travaux de Cameleon Software menés sur le calcul des valeurs alternatives en configuration (Tâche 3.1.B) 3. Exposé des travaux de Cameleon Software sur l optionalité en configuration et le filtrage dans les composantes optionnelles (Tâche 3.1.B) Perspectives d application industrielle: Les algorithmes proposés dans 2 et 3 pourraient être intégrés à la suite logicielle Cameleon en tant qu évolution des algorithmes existants. Entreprise Rédacteur (nom + adresse mél) IBM-ILOG O. Lhomme Apports au projet: - reformulations efficaces de certaines constructions propres aux problèmes de configuration. - développement et intégration dans le produit IBM ILOG CPLEX Optimization Studio de traitements efficaces de ces reformulations. - recueil des différents besoins exprimés par les partenaires du projet et rédaction du delivrable d'analyse des besoins. Collaborations: - IBM a participé a la conférence ECAI 2012 avec l'organisation du workshop sur la configuration et la présentation d'une communication scientifique a la conférence. 10

11 Perspectives scientifiques: - poursuivre le travail de modélisation CP et/ou MIP. Perspectives d application industrielle ou technologique: - les reformulations sont directement applicables lors de la modélisation dans un solveur CP de problèmes de configuration, et les algorithmes développés sont intégrés dans la dernière version du solveur industriel IBM ILOG CPLEX Optimization Studio. Entreprise Rédacteur (nom + adresse mél) Renault JM Astesana Nous avons développé un module d'exportation des données opérationnelles de définition, de tarification et d'historique des ventes de la gamme Renault. Trois jeux de données, de complexités différentes, ont été fournis. Nous avons proposé un protocole d évaluation des solutions de configuration. Démonstration du configurateur Renault lors de la réunion de janvier Au cours du dernier trimestre 2013, nous avons travaillé à l amélioration du protocole d évaluation (en rendant les tests déterministes) ainsi qu à l extension aux données de tarification. 11

12 C.6 REUNIONS DU CONSORTIUM (PROJETS COLLABORATIFS) Date Lieu Partenaires présents Thème de la réunion 30/1/2012 IRIT Tous, ainsi qu un Réunion de lancement : au 1/2/2012 (Toulouse) correspondant ANR (O. Coucharière) présentation administrative du projet, présentation du problème exposés scientifiques, reunions des tâches 1, 2, 3 25/6/2012 au 26/6/2012 CRIL (Lens) Tous Réunions des tâches 1, 2, 3 et 4. avancement exposés scientifiques invités (recommandation, lignes de produits) 9/01/2013 LIRMM (Montpellier) Tous Réunions des tâches 2, 3 et 4. avancement exposés scientifiques propres + un exposé scientifique invité (recommandation) 16/4/2013 Paris CRIL, IRIT, LIRMM Réunion de la tâche /6/2013 Paris Tous Réunions des tâches 2, 3, 4 et 5 avancement exposés scientifiques propres + un exposé scientifique invité (GAI nets) C.7 COMMENTAIRES LIBRES Commentaires du coordinateur Commentaire général à l appréciation du coordinateur, sur l état d avancement du projet, les interactions entre les différents partenaires Le projet BR4CP se déroule de manière vraiment très satisfaisante. La tâche 1, qui semblait peut être la plus délicate a été achevée sans problème. Les tâches 3, 4 et 5 avancent très bien et sont riches tant au niveau scientifique que collaboratif. La tâche 2 semble un peu plus difficile à faire avancer selon les modalités prévues par la proposition - peu de travail collaboratif entre les deux principaux partenaires impliqués dans la tâche, l Irit et le Lirmm, et implication réelle de l un d entre eux dans cette tâche durant la première période plus faible que prévue à l origine (problèmes de mutation, difficulté à trouver un post doc) ; ceci est compensé par plusieurs embauches et une collaboration soutenue avec le Greyc (voir «Difficultés rencontrées et solutions», C.3, pour plus de détails). 12

13 Commentaires des autres partenaires Éventuellement, commentaires libres des autres partenaires LIRMM : Frédéric Koriche, membre du projet initialement rattaché au LIRMM a été nommé professeur au CRIL et est dorénavant rattaché au CRIL. Suite à cette mutation, la contribution du LIRMM à la tâche 2 a été légèrement recentrée. En effet, avec le départ de Koriche on perd une compétence forte sur les CP-nets. Son départ est compensé par l arrivée dans le projet de Nadjib Lazaar, qui travaille sur l apprentissage de contraintes dures. Apprendre des contraintes dures permettra d acquérir le modèle du produit configurable. Or, lors de l analyse des besoins, on s est aperçu qu apprendre le modèle du produit configurable serait bien utile. Concernant l embauche du postdoc sur l appentissage des préférences, prévue cette année sur la tâche 2, nous avons beaucoup de mal à trouver un candidat ayant les compétences nécessaires qui accepterait de venir pour seulement 9 mois. La solution trouvée a été de monter une collaboration avec deux des candidats qui avaient été contactés et une collègue du LIRMM spécialiste des préférences. Nous utiliserons une partie du budget alloué pour leur payer des visites fréquentes au LIRMM durant l année qui vient plus quelques missions à des conférences sur le thème. Question(s) posée(s) à l ANR Éventuellement, question(s) posée(s) à l ANR 13

14 D VALORISATION ET IMPACT DU PROJET DEPUIS LE DEBUT Cette partie rassemble des éléments cumulés depuis le début du projet qui seront suivis tout au long de son avancée, et repris dans son bilan final. D.1 PUBLICATIONS ET COMMUNICATIONS Citer les publications résultant du projet en utilisant les normes habituelles du domaine. Si la publication est accessible en ligne, préciser l adresse. L ANR encourage, dans le respect des droits des co-auteurs et des éditeurs, à publier les articles résultant des projets qu elle finance dans l archive ouverte pluridisciplinaire HAL : Attention : éviter une inflation artificielle des publications, mentionner uniquement celles qui résultent directement du projet (postérieures à son démarrage, et qui citent le soutien de l ANR et la référence du projet). Liste des publications multipartenaires (résultant d un travail mené en commun) Revues à comité de lecture Ouvrages ou chapitres d ouvrage Communications (conférence) J. Amilhastre, H. Fargier, A. Niveau, C. Pralet. Compiling CSPs: A Complexity Map of (Non-Deterministic) Multivalued Decision Diagrams. ICTAI 2012: 1-8 International C. Becker, H. Fargier. Maintaining alternative values in constraint-based configuration. ECAI 2012 Configuration Workshop (ConfWS 12): 1-7 et IJCAI 2013: C. Bessiere, H. Fargier et C. Lecoutre Global Inverse Consistency for Interactive Constraint Satisfaction. CP'13 : D. Bigot, H. Fargier., J. Mengin, B. Zanuttini. Using and Learning GAI-Decompositions for Representing Ordinal Rankings. ECAI 2012 workshop on Preference Learning (PL 12): D. Bigot, H. Fargier, J. Mengin, B. Zanuttini. Probabilistic Conditional Preference Networks. UAI 2013 : H. Fargier, P. Marquis, N. Schmidt. Semiring Labelled Decision Diagrams, Revisited: Canonicity and Spatial Efficiency Issues. IJCAI 2013: H. Fargier, P. Marquis, A. Niveau. Towards a Knowledge Compilation Map for Heterogeneous Representation Languages. IJCAI 2013: France Revues à comité de lecture Ouvrages ou chapitres d ouvrage Communications (conférence) C. Becker, H. Fargier. Maintenance de valeurs alternatives dans les CSP dynamiques: principes et expérimentations en configuration de produit. JFPC 2012 : D. Bigot, H. Fargier., J. Mengin, B. Zanuttini. Apprentissage de GAI-décompositions. JIAF 201 D. Bigot, H. Fargier, J. Mengin, B. Zanuttini. Probabilistic Conditional Preference Networks. JIAF 2013: A. Niveau, H. Fargier, P. Marquis. Vers une carte de compilation pour des langages de représentation hétérogènes. JIAF 14

15 2013 : A. Niveau, H. Fargier, C. Pralet. Compilation de CSPs: carte de complexité des MDDs. JNPC 2013 : H. Fargier, P. Marquis, N. Schmidt. Compacité pratique des diagrammes de décision valués : normalisation, heuristiques et expérimentations. JNPC 2013 : Articles de vulgarisation 1. Actions de diffusion Conférences de vulgarisation 1. Autres 1. Liste des publications monopartenaires (impliquant un seul des partenaires) Revues à comité de lecture Ouvrages ou chapitres d ouvrage Communications (conférence) G. Audemard, JM Lagniez, L. Simon. Just-In-Time Compilation of Knowledge Bases. IJCAI-13: International 3. C. Bessiere, R. Coletta, E. Hebrard, G. Katsirelos, N. Lazaar, N. Narodytska, CG Quimper, T. Walsh 2013, Constraint acquisition via partial queries. IJCAI 13: L. Bordeaux, M. Janota, J. Marques-Silva et P. Marquis. On Unit- Refutation Complete Formulae with Existentially Quantified Variables. KR'12: F. Koriche, J.-M. Lagniez, P. Marquis and S. Thomas. Knowledge Compilation for Model Counting: Affine Decision Trees. IJCAI'13: France Revues à comité de lecture Ouvrages ou chapitres d ouvrage Communications (conférence) ]. F. Koriche, J.-M. Lagniez, P. Marquis et S. Thomas. Arbres de décision affine pour le comptage de modèles. IAF Articles de vulgarisation 1. Actions de diffusion Conférences de vulgarisation 1. Autres 1. 15

16 D.2 AUTRES ELEMENTS DE VALORISATION Ce tableau détaille les brevets nationaux et internationaux, licences, et autres éléments de valorisation consécutifs au projet, du savoir-faire, des retombées diverses en précisant les partenariats éventuels. Voir en particulier celles annoncées dans l annexe technique. Liste des éléments. Préciser les titres, années et commentaires Brevets 1. Licences d exploitation (obtention / cession) 1. Créations d entreprises ou essaimage 1. Nouveaux projets collaboratifs 1. Colloques scientifiques 1. Autres (préciser) 1. D.3 POLES DE COMPETITIVITE (PROJET LABELLISES) Pour les projets labellisés par un ou plusieurs pôles de compétitivité, Collaboration du projet avec le(s) pôle(s) ayant labellisé Quelles collaborations y a-t-il eu entre votre projet et le(s) pôle(s) de compétitivité l ayant labellisé? A la demande du pôle Picom, le CRIL a participé à un forum des PME innovantes; Comme nous l'avons déjà indiqué dans le précédent rapport, nous n'avons pas mis en place de collaboration plus directe avec PICOM à ce stade du projet. Il nous semble, en effet, raisonnable d'attendre que le projet soit plus avancé pour ce faire (sans doute lors de la dernière année du projet, une fois les développements logiciels suffisamment avancés pour que des démonstrations soient possibles Activités financées par le complément de pôle (laboratoires publics uniquement) Détailler les activités réalisées par les laboratoires publics avec le complément de financement accordé au titre de la labellisation. Préciser notamment les partenaires impliqués et la collaboration menée avec le ou les pôles. Montant du complément accordé par l ANR (pour chaque labo public) - Partenaire CRIL :

17 Type d action menée Détails (exemples non limitatifs) Dépenses complément de pôle* Actions contribuant à la réflexion stratégique et à la programmation scientifique du pôle Actions de communication scientifique et publique bénéficiant à la notoriété du pôle Développement de la recherche partenariale (recherche de partenaires, frais de gestion du partenariat, ingénierie de projets,...) Valorisation de la recherche et transfert vers le monde industriel * Estimation des dépenses imputées sur le complément de financement accordé au titre de la labellisation par un pôle de compétitivité, partenaires publics seulement. D.4 PERSONNELS RECRUTES EN CDD (HORS STAGIAIRES) Ce tableau dresse le bilan du projet en termes de recrutement de personnels non permanents sur CDD ou assimilé. Renseigner une ligne par personne embauchée sur le projet quand l embauche a été financée partiellement ou en totalité par l aide de l ANR et quand la contribution au projet a été d une durée au moins égale à 3 mois, tous contrats confondus, l aide de l ANR pouvant ne représenter qu une partie de la rémunération de la personne sur la durée de sa participation au projet. Les stagiaires bénéficiant d une convention de stage avec un établissement d enseignement ne doivent pas être mentionnés. Des données complémentaires sur le devenir professionnel des personnes concernées seront demandées à la fin du projet. Elles pourront faire l objet d un suivi jusqu à 5 ans après la fin du projet. Identificat ion Avant le recruteme nt sur le projet Recrutem ent sur le projet Nom et prénom Sexe H/F Adresse (1) Date des dernières nouvelles Dernier diplôme obtenu au moment du recrutement Lieu d'études (France, UE, hors UE) Expérience prof. antérieure (ans) Partenaire ayant embauché la personne Poste dans le projet (2) Date de recrutement Schmidt Nicolas H. Quotidienn es MR2 informatique France neant CRIL doctorant Janvier

18 Aide pour le remplissage (1) Adresse indiquer une adresse la plus pérenne possible (2) Poste dans le projet : post-doc, doctorant, ingénieur ou niveau ingénieur, technicien, vacataire, autre (préciser) (3) Durée missions : indiquer en mois la durée totale des missions (y compris celles non financées par l ANR) effectuées ou prévues sur le projet D.5 ÉTAT FINANCIER Donner un état indicatif de la consommation des crédits par les partenaires. Indiquer la conformité par rapport aux prévisions et expliquer les écarts significatifs éventuels. Nom du partenaire Crédits consommés (en %) Commentaire éventuel IRIT 52% Petit écart par rapport au prévisionnel, dû au fait que les sommes prévues pour l embauche de stagiaires de master n ont pas encore été dépensées. CRIL 62 % LIRMM 65% CAMELEON 40 % IBM 33% La consommation d IBM, en temps passé, est en décélération en Cela est dû à la disponibilité insuffisante des experts. Une décision de recrutement est en cours afin de sécuriser la disponibilité des ressources. RENAULT 44 % 18

19 E RAPPORTS D ACTIVITE SCIENTIFIQUE, PAR PARTENAIRE E.1 CAMELEON Cameleon Software a démarré ses travaux par un état de l art des problématiques générales à adresser pour la configuration interactive de produit. Ces problématiques, et plus particulièrement celle originale du maintien d un domaine alternatif pour les variables décrivant le produit, mettent en évidence le besoin d une méthode de dépropagation efficace dans les CSP. En parallèle de travaux sur la dépropagation qui permettraient d implémenter ce calcul de valeurs alternatives par un algorithme brute-force naïf, une approche différente reposant sur le maintien en permanence des domaines alternatifs a été proposée. De complexité temporelle au pire cas identique à la méthode naïve, cette méthode lui a été comparée et s'avère bien plus efficace en pratique. Elle présente cependant une complexité spatiale importante qui doit être améliorée pour pouvoir être utilisé sur de gros problèmes. Des test ont été réalisés sur les benchmarks de la Tâche 1. L état de l art met également en évidence un certains nombres de problèmes liés à la présence d éléments optionnels dans la description du produit configurable. Nous avons travaillé à la mise en place d un formalisme unifiant les notions d existence et d optionnalité rencontrées dans l état de l art et dans lequel il existe une hiérarchie de l optionnalité ainsi qu à l adaptation de l algorithme GAC2001 pour les CSP avec optionnalité [Becker, Fargier 2012, 2013]. Nous travaillons actuellement sur les relations entre les autres états particuliers à la configuration et leur relation entre eux, notamment les états d activation, de complétude et d erreur. Publications : [Amilhastre, Fargier, Niveau, Pralet 2012] J. Amilhastre, H. Fargier, A. Niveau, C. Pralet. Compiling CSPs: A Complexity Map of (Non-Deterministic) Multivalued Decision Diagrams. ICTAI 2012 : 1-8 [Becker, Fargier 2012] Caroline Becker et Helene Fargier. Maintenance de valeurs alternatives dans les CSP dynamiques: principes et experimentations en configuration de produit. Actes de JFPC 2012, Toulouse, juin 201 [Becker, Fargier 2012, 2013] C. Becker, H. Fargier. Maintaining alternative values in constraintbased configuration. ECAI 2012 Configuration Workshop (ConfWS 12): 1-7 et IJCAI 2013 (accepté) E.2 CRIL Signalons l'arrivée au CRIL de Fredéric Koriche, recruté comme Professeur à l'iut de Lens de l'université d'artois au 1er septembre 201 Le CRIL a poursuivi ses travaux au sein des tâches 3 et 4. Nos études ont porté sur les points suivants : Tâche 3 Le problème de la maintenance de la cohérence inverse globale (en collaboration avec le LIRMM et l IRIT). Nous avons finalisé une première étude concernant l'établissement et le maintien de la cohérence globale inverse. Cette cohérence très forte assure que chaque valeur apparaît au moins dans une solution du problème (de configuration) représenté sous la forme d'un réseau de contraintes. Maintenir cette propriété assure qu'un scénario de configuration ne peut mener à un 19

20 échec : un utilisateur ne peut se voir indiquer par le système automatisé de configuration qu'il doit reconsidérer l'un de ses choix. Nous avons montré sur un banc d'essai assez large que cette approche était réaliste ; les temps que nous avons obtenus sont très intéressants. Nous avons publié ces travaux dans [Bessiere, Fargier, Lecoutre, 2013]. Utilisation de moteurs académiques de recherche SAT pour la configuration en ligne: une première approche basée sur l'utilisation d'un prouveur SAT incrémental (Sat4j) pour le calcul de littéraux impliqués permet d'effectuer en ligne de commande la configuration interactive des problèmes fournis pas Renault, avec remise en cause des choix précédents. La période écoulée nous a permis d intégrer la prise en compte des prix dans le prototype de configurateur basé sur SAT et de valider le protocole expérimental. Elle correspond aussi à la rédaction du livrable «Algorithmes «de la tâche 3. Codage des instances Renault dans le formalisme TVL (collaboration avec l'équipe de recherche «Unité Conception et Développement des systèmes d'information» de l'université de Namur). La configuration multicritère de dépendances logicielles, voir [Le Berre, Lonca, Marquis, Parrain, 2012]. Tâche 4 La définition d un langage de compilation efficace pour la réfutation unitaire. Ce langage offre les mêmes requêtes et transformations traitables que DNNF tout en étant au moins aussi succinct. En outre, il est strictement plus succinct que DNF, SDNNF et d-dnnf qui sont les trois sousensembles de DNNF les plus succincts pour lesquels des compilateurs ont été développés ; voir [Bordeaux, Janota, Marques-Silva et Marquis 2012] La conception d'un cadre générique et abstrait permettant la comparaison de formalismes pour la représentation des connaissances, en particulier les langages cibles utilisés en compilation de connaissances. Il s'agit de pouvoir comparer sur des bases formelles des langages qui ne partagent pas la même sémantique, ce que le cadre utilisé jusqu'ici ne permet pas. Voir [Fargier, Marquis, Niveau, 2013] et [Fargier, Marquis, Niveau, 2013b]. En collaboration avec l IRIT. La définition et l'étude d'un nouveau formalisme, les arbres de décision affines étendus, pour la représentation de fonctions booléennes. Ces langages permettent un comptage en temps polynomial des modèles de la formule représentée ; nous avons aussi développé un compilateur (CNF-to-EADT) qui se révèle particulièrement efficace, comparé à certains compteurs de modèles dédiés (pour certaines instances, le temps de compilations est amorti dès la première requête de comptage de modèles). Voir [Koriche, Lagniez, Marquis, Thomas, 2013] et [Koriche, Lagniez, Marquis, Thomas, 2013b]. La compilation de préférences sous la forme de diagrammes de décision valués (thèse de N. Schmidt, IRIT/CRIL) : Nous avons proposé et étudié ces langages de manière algébrique et montré certaines conditions simples (la structure doit être un monoïde) garantissent l'existence d'une forme canonique ; le conditionnement et l'optimisation sont en temps polynomial sur ces diagrammes de décision, ce qui est essentiel pour les applications visées. Un compilateur et des traducteurs entre langages de diagrammes de décision valués ont été programmés. Voir [Fargier, Marquis, Schmidt, 2013] et [Fargier, Marquis, Schmidt, 2013b]. La proposition d une approche de la compilation de bases de connaissances par l'utilisation à la volée de solveurs SAT. Nous avons travaillé au test de techniques de compilations "just in time", permettant d'utiliser la puissance des solveurs SAT sans calcul préalable, tout en permettant d'amortir d'éventuels calculs précédent grâce à l'apprentissage de clauses. Nous avons montré dans [Audemard, Lagniez, Simon, 2013] qu'il était possible, pour les problèmes de compilation 20

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

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

Plus en détail

Compte-rendu intermédiaire T0+6. Projet ANR-11-BS02-008 BR4CP. Programme Blanc 2011

Compte-rendu intermédiaire T0+6. Projet ANR-11-BS02-008 BR4CP. Programme Blanc 2011 Compte-rendu intermédiaire T0+6 Projet ANR-11-BS02-008 BR4CP Programme Blanc 2011 IDENTIFICATION... 1 A DEMARRAGE DU PROJET... 2 A.1 Moyens mis en place... 2 A.2 Pôles de compétitivité (projet labellisés)...

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

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

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

Plus en détail

Rapport d'analyse des besoins

Rapport d'analyse des besoins Projet ANR 2011 - BR4CP (Business Recommendation for Configurable products) Rapport d'analyse des besoins Janvier 2013 Rapport IRIT/RR--2013-17 FR Redacteur : 0. Lhomme Introduction...4 La configuration

Plus en détail

Appel à projets national «Outils web innovants en entreprise»

Appel à projets national «Outils web innovants en entreprise» Appel à projets national «Outils web innovants en entreprise» 1 Contexte - Objectif 1.1 Le développement des pratiques collaboratives dans les entreprises, un levier de compétitivité, Les outils web d

Plus en détail

IODAA. de l 1nf0rmation à la Décision par l Analyse et l Apprentissage / 21

IODAA. de l 1nf0rmation à la Décision par l Analyse et l Apprentissage / 21 IODAA de l 1nf0rmation à la Décision par l Analyse et l Apprentissage IODAA Informations générales 2 Un monde nouveau Des données numériques partout en croissance prodigieuse Comment en extraire des connaissances

Plus en détail

BACHELOR OF SCIENCE INFORMATICIEN-NE DE GESTION

BACHELOR OF SCIENCE INFORMATICIEN-NE DE GESTION Informatique de gestion BACHELOR OF SCIENCE HES-SO BACHELOR OF SCIENCE INFORMATICIEN-NE DE GESTION Plans d études et descriptifs des modules Filière à plein temps et à temps partiel Table des matières

Plus en détail

RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE OPERATIONNELLE METIERS)

RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE OPERATIONNELLE METIERS) RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE OPERATIONNELLE METIERS) Intitulé (cadre 1) Master Droit Economie Gestion, mention Management des Systèmes d Information, spécialité Management et Technologies

Plus en détail

Enquête 2014 de rémunération globale sur les emplois en TIC

Enquête 2014 de rémunération globale sur les emplois en TIC Enquête 2014 de rémunération globale sur les emplois en TIC Enquête 2014 de rémunération globale sur les emplois en TIC Les emplois repères de cette enquête sont disponibles selon les trois blocs suivants

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

MASTER (LMD) PARCOURS ARCHITECTURE & INGÉNIERIE DU LOGICIEL & DU WEB

MASTER (LMD) PARCOURS ARCHITECTURE & INGÉNIERIE DU LOGICIEL & DU WEB MASTER (LMD) PARCOURS ARCHITECTURE & INGÉNIERIE DU LOGICIEL & DU WEB 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

UFR d Informatique. FORMATION MASTER Domaine SCIENCES, TECHNOLOGIE, SANTE Mention INFORMATIQUE 2014-2018

UFR d Informatique. FORMATION MASTER Domaine SCIENCES, TECHNOLOGIE, SANTE Mention INFORMATIQUE 2014-2018 UFR d Informatique FORMATION MASTER Domaine SCIENCES, TECHNOLOGIE, SANTE Mention INFORMATIQUE 2014-2018 Objectif L UFR d informatique propose au niveau du master, deux spécialités sous la mention informatique

Plus en détail

Comparaison entre approche directe et compilée pour un problème de configuration

Comparaison entre approche directe et compilée pour un problème de configuration Comparaison entre approche directe et compilée pour un problème de configuration Nicolas Morbieu Mémoire de stage de M2R soutenu le 23 juin 2006 Directrice de recherche : Hélène Fargier Recherche effectuée

Plus en détail

Management de l Innovation

Management de l Innovation Management de l Innovation Mention du Master Sciences et Technologies de l Université Pierre et Marie Curie Directeur du Département de Formation : Patrick Brézillon Contact secrétariat : 01 44 39 08 69

Plus en détail

Programme "Conception et simulation" COSINUS Edition 2009. Projet

Programme Conception et simulation COSINUS Edition 2009. Projet Projet Numéro d'ordre du projet : Acronyme du projet : Titre du projet : Coordonnateur du projet (nom/laboratoire) : Thématique principale : Montant total de l'aide demandée (en k ) : Durée du projet :

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

OLAP. Data Mining Decision

OLAP. Data Mining Decision Machine Learning Information Systems Data Warehouses Web & Cloud Intelligence OLAP Knowledge Management Data Mining Decision ENTREPÔTS, REPRÉSENTATION & INGÉNIERIE des CONNAISSANCES Une recherche pluridisciplinaire...

Plus en détail

Nom-Projet MODELE PLAN DE MANAGEMENT DE PROJET

Nom-Projet MODELE PLAN DE MANAGEMENT DE PROJET Nom-Projet MODELE PLAN DE MANAGEMENT DE PROJET Glossaire La terminologie propre au projet, ainsi que les abréviations et sigles utilisés sont définis dans le Glossaire. Approbation Décision formelle, donnée

Plus en détail

Tout au long de votre cursus Quel métier futur? Dans quel secteur d activité? En fonction de vos goûts et aptitudes et du «niveau d emploi» dans ce

Tout au long de votre cursus Quel métier futur? Dans quel secteur d activité? En fonction de vos goûts et aptitudes et du «niveau d emploi» dans ce Tout au long de votre cursus Quel métier futur? Dans quel secteur d activité? En fonction de vos goûts et aptitudes et du «niveau d emploi» dans ce «profil» S orienter (éventuellement se réorienter) dans

Plus en détail

Le Processus RUP. H. Kadima. Tester. Analyst. Performance Engineer. Database Administrator. Release Engineer. Project Leader. Designer / Developer

Le Processus RUP. H. Kadima. Tester. Analyst. Performance Engineer. Database Administrator. Release Engineer. Project Leader. Designer / Developer Le Processus RUP Database Administrator Project Leader H. Kadima Performance Engineer Release Engineer Analyst Designer / Developer Tester Table des matières 1. De l artisanat à l industrialisation de

Plus en détail

PASSEPORT INNOVATION Guide de présentation des demandes Janvier 2015

PASSEPORT INNOVATION Guide de présentation des demandes Janvier 2015 PASSEPORT Guide de présentation des demandes Janvier 2015 Le présent document a été produit par le ministère de l Économie, de l Innovation et des Exportations Coordination et rédaction Direction du soutien

Plus en détail

Rapport d'audit. «Librairie Informatique»

Rapport d'audit. «Librairie Informatique» GL51 Rapport d'audit «Librairie Informatique» Code : BATSPETA-000 Maîtrise d'oeuvre Maîtrise d'ouvrage Responsables de l'audit M. Fischer M. Petrequin Melle Bats, M. Petazzoni Date rédaction : 05/01/04

Plus en détail

Gestion de Projet Informatique

Gestion de Projet Informatique Gestion de Projet Informatique Partie 3 : Cycles de vie de projet Licence d'informatique 3 ième Année Tianxiao Liu Université de Cergy-Pontoise 1 GPI T. LIU The earliest moment is when you think it is

Plus en détail

MASTER 2 IMAFA. Informatique et Mathématiques Appliquées à la Finance et à l'assurance

MASTER 2 IMAFA. Informatique et Mathématiques Appliquées à la Finance et à l'assurance OBJECTIFS Ce Master prend le relais du DESS IMAFA créé en 1997 à l'essi. Il se fixe pour objectif de former des informaticiens de haut niveau maîtrisant parfaitement les concepts et outils mathématiques

Plus en détail

O RMATION. Ingénierie Système Management de Projet Évaluation de la Maturité

O RMATION. Ingénierie Système Management de Projet Évaluation de la Maturité PLANS F de O RMATION Ingénierie Système Management de Projet Évaluation de la Maturité O R G A N I S A T I O N ACTEURS CONCERNÉS Les concepteurs de systèmes doivent détecter, analyser les besoins des utilisateurs,

Plus en détail

ANNEXES POUR LES PARTICIPANTS FRANÇAIS

ANNEXES POUR LES PARTICIPANTS FRANÇAIS ANNEXES POUR LES PARTICIPANTS FRANÇAIS 1. CRITERES D ELIGIBILITE POUR LES PARTENAIRES FRANÇAIS 1) Les dossiers de soumission (voir texte de l appel à projet), doivent être déposés dans les délais, au format

Plus en détail

Dossier justificatif des travaux de R&D déclarés au titre du CIR

Dossier justificatif des travaux de R&D déclarés au titre du CIR Dossier justificatif des travaux de R&D déclarés au titre du CIR I PRÉSENTATION DE LA SOCIETE Présenter l activité de la société en quelques lignes ou au moyen d une plaquette publicitaire et replacer

Plus en détail

Investissements dans la maturation de projets innovants

Investissements dans la maturation de projets innovants Investissements dans la maturation de projets innovants Préambule Créée en Janvier 2012, la SATT Conectus Alsace est une Société par Actions Simplifiées (SAS) de 1 million d euros de capital social dont

Plus en détail

Guide du concours d'admission au programme de formation et bourses

Guide du concours d'admission au programme de formation et bourses Guide du concours d'admission au programme de formation et bourses d'excellence MÉDITIS 28 novembre 2014 Ce document fournit des renseignements importants sur les règlements du concours d admission de

Plus en détail

Le Comité directeur de la Haute école spécialisée de Suisse occidentale. Master of Science HES-SO in Engineering (ci-après HES-SO//MSE).

Le Comité directeur de la Haute école spécialisée de Suisse occidentale. Master of Science HES-SO in Engineering (ci-après HES-SO//MSE). Directives du Master of Science HES-SO in Engineering Version du février 01 Le Comité directeur de la Haute école spécialisée de Suisse occidentale vu le protocole d accord entre la CUSO et la HES-SO relatif

Plus en détail

Catalogue des PFE. Comment postuler

Catalogue des PFE. Comment postuler Catalogue des PFE 2012 2013 IP-TECH propose plusieurs sujets pour des stages de PFE. Ce fascicule est destiné aux étudiants et aux professeurs de l enseignement supérieur. Il commence par un aperçu rapide

Plus en détail

PASSEPORT INNOVATION Guide de présentation des demandes Mai 2015

PASSEPORT INNOVATION Guide de présentation des demandes Mai 2015 PASSEPORT INNOVATION Guide de présentation des demandes Mai 2015 Le présent document a été produit par le ministère de l Économie, de l Innovation et des Exportations Coordination et rédaction Direction

Plus en détail

Nouvelles fiches métier en BAP F : Analyse et traitement des données scientifiques

Nouvelles fiches métier en BAP F : Analyse et traitement des données scientifiques 23 23 Nouvelles fiches métier en BAP F : Analyse et traitement des données scientifiques Assistant Ingénieur en traitement de données scientifiques Ingénieur d'études en traitement de données scientifiques

Plus en détail

Business Intelligence avec SQL Server 2012

Business Intelligence avec SQL Server 2012 Editions ENI Business Intelligence avec SQL Server 2012 Maîtrisez les concepts et réalisez un système décisionnel Collection Solutions Informatiques Extrait Alimenter l'entrepôt de données avec SSIS Business

Plus en détail

Tremplin pour l Entrepreneuriat Étudiant

Tremplin pour l Entrepreneuriat Étudiant Tremplin pour l Entrepreneuriat Étudiant Date limite d envoi des dossiers : 31 mars 2014 INFORMATION RÈGLEMENT DOSSIER DE PARTICIPATION TÉLÉCHARGEABLES www.enseignementsup-recherche.gouv.fr Dossier de

Plus en détail

Loi n 2011-893 du 28 Juillet pour le développement de l alternance et la sécurisation des parcours professionnels

Loi n 2011-893 du 28 Juillet pour le développement de l alternance et la sécurisation des parcours professionnels Loi n 2011-893 du 28 Juillet pour le développement de l alternance et la sécurisation des parcours professionnels La loi n 2011-893 du 28 juillet 2011 comporte différentes mesures visant notamment à développer

Plus en détail

Date d ouverture de l appel à projets : 07/05/2015. Date de clôture de l appel à propositions 09 juillet 2015 à 13h00 (heure de Paris)

Date d ouverture de l appel à projets : 07/05/2015. Date de clôture de l appel à propositions 09 juillet 2015 à 13h00 (heure de Paris) Date d ouverture de l appel à projets : 07/05/2015 PLAN D ACTION 2015 CONSTRUCTION DE L ESPACE EUROPEEN DE LA RECHERCHE ET ATTRACTIVITE INTERNATIONALE MONTAGE DE RESEAUX SCIENTIFIQUES () Date de clôture

Plus en détail

Guide des déposants. Appel à projets générique 2014 relatif aux «Grands Défis Sociétaux» et au «Défi de tous les savoirs»

Guide des déposants. Appel à projets générique 2014 relatif aux «Grands Défis Sociétaux» et au «Défi de tous les savoirs» Guide des déposants Appel à projets générique 2014 relatif aux «Grands Défis Sociétaux» et au «Défi de tous les savoirs» Date de publication : 31 juillet 2013 Agence Nationale de la Recherche Guide des

Plus en détail

Modèle multi-agents de prise de décision éthique

Modèle multi-agents de prise de décision éthique Équipe Modèles, Agents, Décision Laboratoire GREYC CNRS UMR 6072 Université de Caen Basse-Normandie ENSICAEN Boulevard du Maréchal Juin CS 14 032, 14 032 Caen Cedex 5 Tel. : +33 (0)2 31 56 74 84 Fax :

Plus en détail

Le Web sémantique, une infrastructure d'intégration de sources de données

Le Web sémantique, une infrastructure d'intégration de sources de données Le Web sémantique, une infrastructure d'intégration de sources de données Chantal Reynaud Université Paris X & LRI (Université Paris-Sud & CNRS), UR INRIA Futurs Plan de l'exposé 1. Importance du point

Plus en détail

Participaient à la séance : Olivier CHALLAN BELVAL, Hélène GASSIN, Jean-Pierre SOTURA et Michel THIOLLIERE, commissaires.

Participaient à la séance : Olivier CHALLAN BELVAL, Hélène GASSIN, Jean-Pierre SOTURA et Michel THIOLLIERE, commissaires. Délibération Délibération de la Commission de régulation de l énergie du 13 juin 2013 portant orientations sur le cadre de régulation du système de comptage évolué de GrDF Participaient à la séance : Olivier

Plus en détail

APPEL A PROJET Maturation Normande 2015 Modalités de candidature

APPEL A PROJET Maturation Normande 2015 Modalités de candidature APPEL A PROJET Maturation Normande 2015 Modalités de candidature 1. Contexte Normandie Université fédère les 6 établissements supérieurs de la recherche publique en Normandie : ENSICAEN, ENSA Normandie,

Plus en détail

CAHIER DES CHARGES FONCTIONNEL APPLICATION DE GESTION PÔLE SCS. CDC Application de Gestion v4 Septembre 2012 Page 1 sur 23

CAHIER DES CHARGES FONCTIONNEL APPLICATION DE GESTION PÔLE SCS. CDC Application de Gestion v4 Septembre 2012 Page 1 sur 23 CAHIER DES CHARGES FONCTIONNEL APPLICATION DE GESTION PÔLE SCS CDC Application de Gestion v4 Septembre 2012 Page 1 sur 23 TABLE DES MATIÈRES I. Introduction :...3 1. Contexte :...3 2. Indicateurs de volumétrie

Plus en détail

développement innovation

développement innovation phases d un projet de recherche développement innovation Programme, projet et opération Programme : un ensemble de projets concourant à un même objectif. Projet : un ensemble finalisé d activités et d

Plus en détail

Licence en Informatique à Horraire Décalé. Cours Gestion de projet informatique Première partie

Licence en Informatique à Horraire Décalé. Cours Gestion de projet informatique Première partie Licence en Informatique à Horraire Décalé Cours Gestion de projet informatique Première partie 1 PLAN Introduction 1. Les concepts de base en management de projet : 3-33 2 Les processus du management de

Plus en détail

Adaptation sémantique de documents SMIL

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

Plus en détail

REFERENTIEL DES ACTIVITES PROFESSIONNELLES

REFERENTIEL DES ACTIVITES PROFESSIONNELLES PREAMBULE Le baccalauréat professionnel Electrotechnique Energie Equipements Communicants traite des secteurs d activités : de l industrie, des services, de l habitat, du tertiaire et des équipements publics.

Plus en détail

Conduite de projets informatiques Développement, analyse et pilotage (2ième édition)

Conduite de projets informatiques Développement, analyse et pilotage (2ième édition) Avant-propos 1. Objectifs du livre 13 2. Structure du livre 14 Un projet informatique 1. Les enjeux 17 1.1 Les buts d'un projet 17 1.2 Les protagonistes d'un projet 18 1.3 Exemples de projets 19 2. Les

Plus en détail

ANNEXE 1. Si vous souhaitez ajouter un descriptif plus détaillé de l offre à votre annonce, merci de le joindre accompagné de ce formulaire.

ANNEXE 1. Si vous souhaitez ajouter un descriptif plus détaillé de l offre à votre annonce, merci de le joindre accompagné de ce formulaire. ANNEXE 1 Entreprises, pour proposer un sujet de thèse soutenue par le dispositif CIFRE, merci de remplir les champs suivants, et d envoyer le document à : cifre@anrt.asso.fr Si vous souhaitez ajouter un

Plus en détail

Master Informatique Aix-Marseille Université

Master Informatique Aix-Marseille Université Aix-Marseille Université http://masterinfo.univ-mrs.fr/ Département Informatique et Interactions UFR Sciences Laboratoire d Informatique Fondamentale Laboratoire des Sciences de l Information et des Systèmes

Plus en détail

Conditions : stage indemnisé, aide au logement possible, transport CEA en Ile-de-France gratuit.

Conditions : stage indemnisé, aide au logement possible, transport CEA en Ile-de-France gratuit. Proposition de stage de BAC+4 ou BAC+5 Pro ou Recherche Etude comparative des outils de vérification d'algorithmes parallèles Logiciels (LSL), localisé à Palaiseau (Essonne), développe les outils d'aide

Plus en détail

Master CCI. Compétences Complémentaires en Informatique. Livret de l étudiant

Master CCI. Compétences Complémentaires en Informatique. Livret de l étudiant Master CCI Compétences Complémentaires en Informatique Livret de l étudiant 2014 2015 Master CCI Le Master CCI (Compétences Complémentaires en Informatique) permet à des étudiants de niveau M1 ou M2 dans

Plus en détail

Business Project Management : Cycle de vie des documents et workflow

Business Project Management : Cycle de vie des documents et workflow Business Project Management : Cycle de vie des documents et workflow Iut de Tours Département Information-Communication Option Gestion de l Information et du Document dans les Organisations Page 1 sur

Plus en détail

Catalogue des PFE. Comment postuler

Catalogue des PFE. Comment postuler Catalogue des PFE 2012 2013 IP-TECH propose plusieurs sujets pour des stages de PFE. Ce fascicule est destiné aux étudiants et aux professeurs de l enseignement supérieur. Il commence par un aperçu rapide

Plus en détail

Modélisation Principe Autre principe

Modélisation Principe Autre principe Modélisation Principe : un modèle est une abstraction permettant de mieux comprendre un objet complexe (bâtiment, économie, atmosphère, cellule, logiciel, ). Autre principe : un petit dessin vaut mieux

Plus en détail

Introduction au datamining

Introduction au datamining Introduction au datamining Patrick Naïm janvier 2005 Définition Définition Historique Mot utilisé au départ par les statisticiens Le mot indiquait une utilisation intensive des données conduisant à des

Plus en détail

Contribution des Jeunes Européens-France au livre vert sur la promotion de la mobilité des jeunes à des fins d apprentissage

Contribution des Jeunes Européens-France au livre vert sur la promotion de la mobilité des jeunes à des fins d apprentissage Contribution des Jeunes Européens-France au livre vert sur la promotion de la mobilité des jeunes à des fins d apprentissage La contribution apportée par les Jeunes Européens-France se base : - D une part

Plus en détail

Sciences de Gestion Spécialité : SYSTÈMES D INFORMATION DE GESTION

Sciences de Gestion Spécialité : SYSTÈMES D INFORMATION DE GESTION Sciences de Gestion Spécialité : SYSTÈMES D INFORMATION DE GESTION Classe de terminale de la série Sciences et Technologie du Management et de la Gestion Préambule Présentation Les technologies de l information

Plus en détail

Cybernet : Utilisation de métaphores et des techniques de réalité virtuelle pour la représentation de données. Application à la gestion de réseau.

Cybernet : Utilisation de métaphores et des techniques de réalité virtuelle pour la représentation de données. Application à la gestion de réseau. Cybernet : Utilisation de métaphores et des techniques de réalité virtuelle pour la représentation de données. Application à la gestion de réseau. P. Abel*, P. Gros*, D. Loisel* & J.P. Paris** Institut

Plus en détail

LES MASTERS RECHERCHE CIRD

LES MASTERS RECHERCHE CIRD L offre de formation LES MASTERS RECHERCHE CIRD ARTS et METIERS PARISTECH Responsable pédagogique : Patrick MARTIN patrick.martin@ensam.fr 33 ( 0) 387375465 LES MASTERS DE RECHERCHE: contexte 2 Européen

Plus en détail

ÉdIteur officiel et fournisseur de ServIceS professionnels du LogIcIeL open Source ScILab

ÉdIteur officiel et fournisseur de ServIceS professionnels du LogIcIeL open Source ScILab ÉdIteur officiel et fournisseur de ServIceS professionnels du LogIcIeL open Source ScILab notre compétence d'éditeur à votre service créée en juin 2010, Scilab enterprises propose services et support autour

Plus en détail

MASTER MANAGEMENT STRATEGIE, SPECIALITE CONSULTANT EN MANAGEMENT, ORGANISATION, STRATÉGIE

MASTER MANAGEMENT STRATEGIE, SPECIALITE CONSULTANT EN MANAGEMENT, ORGANISATION, STRATÉGIE MASTER MANAGEMENT STRATEGIE, SPECIALITE CONSULTANT EN MANAGEMENT, ORGANISATION, STRATÉGIE RÉSUMÉ DE LA FORMATION Type de diplôme : Master (LMD) Domaine ministériel : Droit, Economie, Gestion Mention :

Plus en détail

Formation Méthode MDM. Architecture et procédés de modélisation des données de référence

Formation Méthode MDM. Architecture et procédés de modélisation des données de référence Architecture et procédés de modélisation des données de référence Objectifs de la session Les participants découvrent l architecture et les procédés de modélisation utilisés pour les projets de Master

Plus en détail

INF 1250 INTRODUCTION AUX BASES DE DONNÉES. Guide d étude

INF 1250 INTRODUCTION AUX BASES DE DONNÉES. Guide d étude INF 1250 INTRODUCTION AUX BASES DE DONNÉES Guide d étude Sous la direction de Olga Mariño Télé-université Montréal (Québec) 2011 INF 1250 Introduction aux bases de données 2 INTRODUCTION Le Guide d étude

Plus en détail

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

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

Plus en détail

La nouvelle plateforme communautaire dédiée à l enseignement en ligne

La nouvelle plateforme communautaire dédiée à l enseignement en ligne FUTUR EN SEINE 2013 Dossier de Presse La nouvelle plateforme communautaire dédiée à l enseignement en ligne Futur en Seine 2013 AAP 1 Intitulé du projet Résumé du projet ou du prototype (3 lignes max)

Plus en détail

Projet d Appui à la Réforme de l Enseignement Supérieur (PARES II) Termes de référence

Projet d Appui à la Réforme de l Enseignement Supérieur (PARES II) Termes de référence Projet d Appui à la Réforme de l Enseignement Supérieur (PARES II) Termes de référence Titre du projet : Co-construction des licences appliquées et des mastères professionnels Titre de la mission : Mise

Plus en détail

Convention de coopération concernant la mise en place d un double diplôme de Master en Informatique

Convention de coopération concernant la mise en place d un double diplôme de Master en Informatique Convention de coopération concernant la mise en place d un double diplôme de Master en Informatique entre l Université François-Rabelais de Tours (France) et Université Gaston Berger de Saint Louis (Sénégal)

Plus en détail

ENSEIGNEMENT ASSISTÉ PAR ORDINATEUR ET E.A.O. ET LANGUES ÉTRANGÈRES À L'UNIVERSITÉ

ENSEIGNEMENT ASSISTÉ PAR ORDINATEUR ET E.A.O. ET LANGUES ÉTRANGÈRES À L'UNIVERSITÉ 192 ENSEIGNEMENT ASSISTÉ PAR ORDINATEUR ET LANGUES ÉTRANGÈRES À L'UNIVERSITÉ 1. APPLICATIONS PÉDAGOGIQUES DE L'INFORMATIQUE ET ENSEIGNEMENT ASSISTÉ PAR ORDINATEUR (EAOI. 1.1 Différents niveaux d'intervention

Plus en détail

Le Master Mathématiques et Applications

Le Master Mathématiques et Applications Le Master Mathématiques et Applications Franck BOYER franck.boyer@univ-amu.fr Institut de Mathématiques de Marseille Aix-Marseille Université Marseille, 20 Mai 2014 1/ 16 Structure générale Vue d ensemble

Plus en détail

UE 8 Systèmes d information de gestion Le programme

UE 8 Systèmes d information de gestion Le programme UE 8 Systèmes d information de gestion Le programme Légende : Modifications de l arrêté du 8 mars 2010 Suppressions de l arrêté du 8 mars 2010 Partie inchangée par rapport au programme antérieur Indications

Plus en détail

APPELS D OFFRE: COMMENT BIEN DÉFINIR VOS BESOINS EN AMONT

APPELS D OFFRE: COMMENT BIEN DÉFINIR VOS BESOINS EN AMONT APPELS D OFFRE: COMMENT BIEN DÉFINIR VOS BESOINS EN AMONT POUR NE PAS LE REGRETTER ENSUITE? POUR UNE MISE EN PLACE SEREINE MICHAEL MONCHALIN INGÉNIEUR COMMERCIAL EUDONET JENNIFER STEPHENSON RESPONSABLE

Plus en détail

LICENCE : INFORMATIQUE GENERALE

LICENCE : INFORMATIQUE GENERALE LICENCE : INFORMATIQUE GENERALE RÉSUMÉ DE LA FORMATION Type de diplôme : Licence (LMD) Domaine : Sciences, Ingénierie et Technologies Mention : Informatique générale Objectifs Le diplôme offre une formation

Plus en détail

Acheter des actions de formation

Acheter des actions de formation L achat, quel enjeu? Acheter une action, c est acheter une prestation de services intellectuels qui nécessite un certain formalisme pour optimiser l achat au regard des enjeux. C est pourquoi, en complément

Plus en détail

Projet en entreprise Cadrage du Projet de Fin d Etudes «Un projet informatique.»

Projet en entreprise Cadrage du Projet de Fin d Etudes «Un projet informatique.» Projet en entreprise Cadrage du Projet de Fin d Etudes «Un projet informatique.» Projet de fin d études 2 Sommaire OBJET DU DOCUMENT... 3 LES ETAPES DU PROJET... 4 ETUDE PREALABLE...5 1 L étude d opportunité...

Plus en détail

Investissements d avenir «Projets de recherche et développement structurants des pôles de compétitivité»

Investissements d avenir «Projets de recherche et développement structurants des pôles de compétitivité» Investissements d avenir «Projets de recherche et développement structurants des pôles de compétitivité» Cahier des charges de l appel à projets 0. Liminaires. L amélioration des perspectives de croissance

Plus en détail

Mon métier, mon parcours

Mon métier, mon parcours Mon métier, mon parcours Anthony, ingénieur d études diplômé d un Master Réseaux, application documentaire, ingénierie et sécurité Les métiers de l Informatique Le domaine Sciences, Technologies, Santé

Plus en détail

CHAPITRE 1. Introduction aux web services. 1.1 Définition. Contenu du chapitre : Env. De dev. Langage Visual Studio Java EE Qt Creator C#

CHAPITRE 1. Introduction aux web services. 1.1 Définition. Contenu du chapitre : Env. De dev. Langage Visual Studio Java EE Qt Creator C# CHAPITRE 1 Introduction aux web services Contenu du chapitre : Env. De dev. Langage Visual Studio Java EE Qt Creator C# NetBeans JavaScript Eclipse Objective C Xcode PHP HTML Objectifs du chapitre : Ce

Plus en détail

Master Spécialité Ingénierie Linguistique

Master Spécialité Ingénierie Linguistique Master Spécialité Ingénierie Linguistique Parcours R&D Parcours Ingénierie Multilingue Parcours Traductique et Gestion de l'information Département Textes, Informatique, Multilinguisme (TIM) secrétariat:

Plus en détail

Annuaires LDAP et méta-annuaires

Annuaires LDAP et méta-annuaires Annuaires LDAP et méta-annuaires Laurent Mynard Yphise 6 rue Beaubourg - 75004 PARIS yphise@yphise.com - http://yphise.fr T 01 44 59 93 00 F 01 44 59 93 09 LDAP020314-1 Agenda A propos d Yphise Les annuaires

Plus en détail

www.utseus.com Université de Technologie Sino-Européenne de l Université de Shanghai

www.utseus.com Université de Technologie Sino-Européenne de l Université de Shanghai Université de Technologie Sino-Européenne de l Université de Shanghai L Université de Technologie Sino-Européenne FORMATION Créée en 2005 1 200 étudiants 100 étudiants internationaux 6 universités partenaires

Plus en détail

ISTEX, vers des services innovants d accès à la connaissance

ISTEX, vers des services innovants d accès à la connaissance ISTEX, vers des services innovants d accès à la connaissance Synthèse rédigée par Raymond Bérard, directeur de l ABES, à partir du dossier de candidature d ISTEX aux Initiatives d excellence et des réunions

Plus en détail

Guide du tuteur en entreprise

Guide du tuteur en entreprise Brevet de Technicien Supérieur Assistant Gestion PME - PMI Guide du tuteur en entreprise LYCEE LA MENNAIS 2 rue Général Dubreton (site général-technologique) Directeur : Ihsan JAAFAR 3 rue de Guibourg

Plus en détail

Master Comptabilité-contrôle

Master Comptabilité-contrôle Formations et diplômes Rapport d'évaluation Master Comptabilité-contrôle Université Toulouse 1 Capitole UT1 Campagne d évaluation 2014-2015 (Vague A) Formations et diplômes Pour le HCERES, 1 Didier Houssin,

Plus en détail

Extrait du site de l'oseo (ex.anvar) http://www.anvar.fr/projlanc.htm. Reste à déterminer les points incontournables

Extrait du site de l'oseo (ex.anvar) http://www.anvar.fr/projlanc.htm. Reste à déterminer les points incontournables Extrait du site de l'oseo (ex.anvar) http://www.anvar.fr/projlanc.htm Notez que vous trouverez les fiches citées à chaque étape sur le site (Normalement, les liens ont été conservés et fonctionnent) Reste

Plus en détail

MASTER ECONOMIE APPLIQUEE

MASTER ECONOMIE APPLIQUEE Le Master Economie Appliquée est destiné à des étudiants ayant reçu une formation universitaire solide en économie, statistiques, mathématiques et économétrie. Ce Master propose un cursus sur deux années

Plus en détail

CATALOGUE DE FORMATIONS BUSINESS INTELLIGENCE. Edition 2012

CATALOGUE DE FORMATIONS BUSINESS INTELLIGENCE. Edition 2012 CATALOGUE DE FORMATIONS BUSINESS INTELLIGENCE Edition 2012 AGENDA Qui sommes nous? Présentation de Keyrus Keyrus : Expert en formations BI Nos propositions de formation 3 modes de formations Liste des

Plus en détail

4.2 Unités d enseignement du M1

4.2 Unités d enseignement du M1 88 CHAPITRE 4. DESCRIPTION DES UNITÉS D ENSEIGNEMENT 4.2 Unités d enseignement du M1 Tous les cours sont de 6 ECTS. Modélisation, optimisation et complexité des algorithmes (code RCP106) Objectif : Présenter

Plus en détail

COMMANDE REF ADMIN-CS-540-CDD

COMMANDE REF ADMIN-CS-540-CDD Pôle de compétitivité mondial Aéronautique, Espace, Systèmes embarqués COMMANDE REF ADMIN-CS-540-CDD Objet : Prestation d assistance dans le cadre de l action collective AEROLEAN K portée par le pôle de

Plus en détail

Brique BDL Gestion de Projet Logiciel

Brique BDL Gestion de Projet Logiciel Brique BDL Gestion de Projet Logiciel Processus de développement pratiqué à l'enst Sylvie.Vignes@enst.fr url:http://www.infres.enst.fr/~vignes/bdl Poly: Computer elective project F.Gasperoni Brique BDL

Plus en détail

La pratique de l ITSM. Définir un plan d'améliorations ITSM à partir de la situation actuelle

La pratique de l ITSM. Définir un plan d'améliorations ITSM à partir de la situation actuelle La pratique de l ITSM Définir un plan d'améliorations ITSM à partir de la situation actuelle Création : avril 2012 Mise à jour : avril 2012 A propos A propos du document Ce document pratique est le résultat

Plus en détail

IBM Cognos TM1. Fiche Produit. Aperçu

IBM Cognos TM1. Fiche Produit. Aperçu Fiche Produit IBM Cognos TM1 Aperçu Cycles de planification raccourcis de 75 % et reporting ramené à quelques minutes au lieu de plusieurs jours Solution entièrement prise en charge et gérée par le département

Plus en détail

M2 GST SPÉCIALITÉ CARTHAGÉO DESCRIPTIF DÉTAILLÉS DES ENSEIGNEMENTS

M2 GST SPÉCIALITÉ CARTHAGÉO DESCRIPTIF DÉTAILLÉS DES ENSEIGNEMENTS M2 GST SPÉCIALITÉ CARTHAGÉO DESCRIPTIF DÉTAILLÉS DES ENSEIGNEMENTS UE 1 : Tronc commun Carthagéo-Géoprisme Un certain nombre d enseignements de la formation professionnelle Carthagéo est mutualisée avec

Plus en détail

Apprentissage Automatique

Apprentissage Automatique Apprentissage Automatique Introduction-I jean-francois.bonastre@univ-avignon.fr www.lia.univ-avignon.fr Définition? (Wikipedia) L'apprentissage automatique (machine-learning en anglais) est un des champs

Plus en détail

FONDS UNIQUE INTERMINISTERIEL DE SOUTIEN AUX PROJETS DE RECHERCHE ET DEVELOPPEMENT COLLABORATIFS DES POLES DE COMPETITIVITE

FONDS UNIQUE INTERMINISTERIEL DE SOUTIEN AUX PROJETS DE RECHERCHE ET DEVELOPPEMENT COLLABORATIFS DES POLES DE COMPETITIVITE FONDS UNIQUE INTERMINISTERIEL DE SOUTIEN AUX PROJETS DE RECHERCHE ET DEVELOPPEMENT COLLABORATIFS DES POLES DE COMPETITIVITE 13 e APPEL A PROJETS Les moyens destinés au soutien financier de l Etat en faveur

Plus en détail

Dossier de candidature à la VAE. Certificat visé INTITULE : CONSULTANT(E) QUALIFICATION LOGICIELLE

Dossier de candidature à la VAE. Certificat visé INTITULE : CONSULTANT(E) QUALIFICATION LOGICIELLE Nom : Prénom : Adresse : Téléphone : E-mail : Dossier de candidature à la VAE Certificat visé INTITULE : CONSULTANT(E) QUALIFICATION LOGICIELLE Organisme certificateur : FITEC Votre objectif est d obtenir

Plus en détail

Algèbre 40 Analyse 26 14 Stat. 1 - IES : Probabilités discrètes et calcul intégral 29,5 6 Stat. 2 - IES : Probabilités générales 54 8 UE1-02 M-E-IS

Algèbre 40 Analyse 26 14 Stat. 1 - IES : Probabilités discrètes et calcul intégral 29,5 6 Stat. 2 - IES : Probabilités générales 54 8 UE1-02 M-E-IS 1er semestre UE1-01 E Algèbre 40 Analyse 26 14 Stat. 1 - IES : Probabilités discrètes et calcul intégral 29,5 6 Stat. 2 - IES : Probabilités générales 54 8 UE1-02 M-E-IS Introduction au système SAS 25,5

Plus en détail