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 bdubois@citeonline.org Rédacteur de ce rapport Civilité, prénom, nom Hélène Fargier Téléphone Courriel fargier@irit.fr 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 (jamilhastre@cameleonsoftware.com) 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 (olivier.lhomme@fr.ibm.com) 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 (jeanmarc.astesana@renault.com) 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. nac.s@free.fr 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

É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

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

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

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

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

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

Réunion Information Investissements d Avenir

Réunion Information Investissements d Avenir Réunion Information Investissements d Avenir Logiciel Embarqué et Objets Connectés Sophia, 16 Juillet 2013 Investissements Avenir : Réorientation Réorientation de 2,2 Mds$ du budget non engagé des IA Soutien

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

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

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

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

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

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

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

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

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

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

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

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

Business Intelligence avec Excel, Power BI et Office 365

Business Intelligence avec Excel, Power BI et Office 365 Avant-propos A. À qui s adresse ce livre? 9 1. Pourquoi à chaque manager? 9 2. Pourquoi à tout informaticien impliqué dans des projets «BI» 9 B. Obtention des données sources 10 C. Objectif du livre 10

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

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

SCIENCES - TECHNOLOGIES - SANTE. STIC : Sciences et Technologies de l Information et de la Communication. Parcours Informatique

SCIENCES - TECHNOLOGIES - SANTE. STIC : Sciences et Technologies de l Information et de la Communication. Parcours Informatique 2012-2015 Niveau : MASTER année Domaine : Mention : Spécialité : Volume horaire étudiant : SCIENCES - TECHNOLOGIES - SANTE STIC : Sciences et Technologies de l Information et de la Communication Parcours

Plus en détail

THOT - Extraction de données et de schémas d un SGBD

THOT - Extraction de données et de schémas d un SGBD THOT - Extraction de données et de schémas d un SGBD Pierre-Jean DOUSSET (France), Benoît ALBAREIL (France) pj@miningdb.com, benoit@miningdb.com Mots clefs : Fouille d information, base de données, système

Plus en détail

Soutien technique en informatique

Soutien technique en informatique Service de formation aux adultes Soutien technique en informatique PLAN DE COURS Utilisation et création de bases de données 420-B64-GR 2-2-2 75 heures Session automne 2010 NOM DE L ENSEIGNANT : JIE YANG

Plus en détail

Il n'existe pas de contrat "type", mais des types de contrat. Nous pouvons instruire ensemble ces différents types de contrat.

Il n'existe pas de contrat type, mais des types de contrat. Nous pouvons instruire ensemble ces différents types de contrat. Les contrats Il n'existe pas de contrat "type", mais des types de contrat. Nous pouvons instruire ensemble ces différents types de contrat. Les points essentiels d'un Contrat de Collaboration sont: le

Plus en détail

A1 GESTION DE LA RELATION AVEC LA CLIENTELE

A1 GESTION DE LA RELATION AVEC LA CLIENTELE Référentiel des Activités Professionnelles A1 GESTION DE LA RELATION AVEC LA CLIENTELE L assistant prend en charge l essentiel du processus administratif des ventes. Il met en place certaines actions de

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

Baccalauréat universitaire (bachelor) en mathématiques et sciences informatiques

Baccalauréat universitaire (bachelor) en mathématiques et sciences informatiques Baccalauréat universitaire (bachelor) en mathématiques et sciences informatiques CONDITIONS GENERALES Art. A 3 Baccalauréat universitaire en mathématiques et sciences informatiques 1. La Faculté décerne

Plus en détail

UNIVERSITÉ DE LORRAINE Master MIAGE (Méthodes Informatiques Appliquées à la Gestion des Entreprises)

UNIVERSITÉ DE LORRAINE Master MIAGE (Méthodes Informatiques Appliquées à la Gestion des Entreprises) UNIVERSITÉ DE LORRAINE Master MIAGE (Méthodes s Appliquées à la Gestion des Entreprises) 1 Description générale L UFR Mathématiques et propose le Master avec trois spécialisations en deuxième année : ACSI

Plus en détail

MASTER INFORMATIQUE COLLABORATIVE EN ENTREPRISE (ICE)

MASTER INFORMATIQUE COLLABORATIVE EN ENTREPRISE (ICE) MASTER INFORMATIQUE COLLABORATIVE EN ENTREPRISE (ICE) RÉSUMÉ DE LA FORMATION Type de diplôme : Master (LMD) Domaine : Sciences, Ingénierie et Technologies Présentation Le Master Informatique Collaborative

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

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

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

Semestre 1. Objectifs Approfondissement de l environnement Java et de son interface de programmation d applications : réseaux, et processus.

Semestre 1. Objectifs Approfondissement de l environnement Java et de son interface de programmation d applications : réseaux, et processus. Programmation Java avancée (3 ECTS 36h) Semestre 1 Approfondissement de l environnement Java et de son interface de programmation d applications : réseaux, et processus. Introduction. Rappels des concepts

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

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

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

ECTS CM TD TP. 1er semestre (S3)

ECTS CM TD TP. 1er semestre (S3) Organisation du parcours M2 IRS en alternance De façon générale, les unités d enseignements (UE) sont toutes obligatoires avec des ECTS équivalents à 3 sauf le stage sur 27 ECTS et réparties sur deux semestres

Plus en détail

La Préparation Opérationnelle à l Emploi Collective

La Préparation Opérationnelle à l Emploi Collective Un appui au recrutement de vos futurs salariés intérimaires La Préparation L essentiel de la POEC A la différence de la POE Individuelle, la POE n est pas conditionnée au dépôt préalable d une offre d

Plus en détail

Qu'est-ce que le BPM?

Qu'est-ce que le BPM? Qu'est-ce que le BPM? Le BPM (Business Process Management) n'est pas seulement une technologie mais, dans les grandes lignes, une discipline de gestion d'entreprise qui s'occupe des procédures contribuant

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

claroline classroom online

claroline classroom online de la plate-forme libre d'apprentissage en ligne Claroline 1.4 Manuel Révision du manuel: 06/2003 Créé le 07/09/2003 12:02 Page 1 Table des matières 1) INTRODUCTION...3 2) AFFICHER LA PAGE DE DEMARRAGE...3

Plus en détail

Filière MMIS. Modélisation Mathématique, Images et Simulation. Responsables : Stefanie Hahmann, Valérie Perrier, Zoltan Szigeti

Filière MMIS. Modélisation Mathématique, Images et Simulation. Responsables : Stefanie Hahmann, Valérie Perrier, Zoltan Szigeti Filière MMIS Modélisation Mathématique, Images et Simulation Responsables : Stefanie Hahmann, Valérie Perrier, Zoltan Szigeti Valerie.Perrier@imag.fr Modélisation mathématique, Images et simulation (MMIS)

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

Chapitre 9 : Informatique décisionnelle

Chapitre 9 : Informatique décisionnelle Chapitre 9 : Informatique décisionnelle Sommaire Introduction... 3 Définition... 3 Les domaines d application de l informatique décisionnelle... 4 Architecture d un système décisionnel... 5 L outil Oracle

Plus en détail

Notre modèle d engagement

Notre modèle d engagement Notre modèle d engagement 1. EVALUER L évaluation des compétences que vous souhaitez améliorer implique un vrai échange entre nos deux équipes, et une étude plus approfondie des écarts et des actions préalablement

Plus en détail

CURRICULUM VITAE. Informations Personnelles

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

Plus en détail

Débouchés professionnels

Débouchés professionnels Master Domaine Droit, Economie, Gestion Mention : Monnaie, Banque, Finance, Assurance Spécialité : Risque, Assurance, Décision Année universitaire 2014/2015 DIRECTEUR de la spécialité : Monsieur Kouroche

Plus en détail

Stratégie de rémunération

Stratégie de rémunération CONSULTING Offre Conseil RH Stratégie de rémunération La stratégie de rémunération est un facteur de stabilité et de performance de l'entreprise. GFI Consulting vous accompagne en mettant en cohérence

Plus en détail

Génie logiciel (Un aperçu)

Génie logiciel (Un aperçu) (Un aperçu) (sommerville 2010) Laurent Pérochon INRA URH 63122 St Genès Champanelle Laurent.perochon@clermont.inra.fr Ensemble d activités conduisant à la production d un logiciel Sur un échantillon de

Plus en détail

Le financement fiscal de l innovation vendredi 28 septembre 2012

Le financement fiscal de l innovation vendredi 28 septembre 2012 Le financement fiscal de l innovation vendredi 28 septembre 2012 Sogedev en bref» Création en 2002,» Plus de 2000 missions de conseil,» Plus de 700 clients à travers la France, tous domaines d activité

Plus en détail

Application de K-means à la définition du nombre de VM optimal dans un cloud

Application de K-means à la définition du nombre de VM optimal dans un cloud Application de K-means à la définition du nombre de VM optimal dans un cloud EGC 2012 : Atelier Fouille de données complexes : complexité liée aux données multiples et massives (31 janvier - 3 février

Plus en détail

NC 06 Norme comptable relative aux Immobilisations incorporelles

NC 06 Norme comptable relative aux Immobilisations incorporelles NC 06 Norme comptable relative aux Immobilisations incorporelles Objectif 01. Une entreprise peut acquérir des éléments incorporels ou peut elle-même les développer. Ces éléments peuvent constituer des

Plus en détail

White Paper ADVANTYS. Workflow et Gestion de la Performance

White Paper ADVANTYS. Workflow et Gestion de la Performance White Paper Workflow et Gestion de la Performance Présentation L automatisation des process combinée à l informatique décisionnelle (Business Intelligence) offre une nouvelle plateforme de gestion pour

Plus en détail

MATHEMATIQUES ET SCIENCES POUR L INGENIEUR

MATHEMATIQUES ET SCIENCES POUR L INGENIEUR MASTER SCIENCES, TECHNOLOGIES, SANTE/STAPS MATHEMATIQUES ET SCIENCES POUR L INGENIEUR Informatique www.univ-littoral.fr OBJECTIFS DE LA FORMATION Le master Informatique se compose de deux parcours et se

Plus en détail

Mon métier, mon parcours

Mon métier, mon parcours Mon métier, mon parcours Les métiers de la Physique Le domaine Sciences, Technologies, Santé Alexis, chargé de recherche diplômé d un Master Physique du rayonnement et de la matière et d un Doctorat en

Plus en détail

GENIE STATISTIQUE GESTION DES RISQUES ET INGENIERIE FINANCIERE MARKETING QUANTITATIF ET REVENUE MANAGEMENT

GENIE STATISTIQUE GESTION DES RISQUES ET INGENIERIE FINANCIERE MARKETING QUANTITATIF ET REVENUE MANAGEMENT Remarque : Tous les cours sont en français, sauf contre-indication. Pour des traductions anglaises des titres, des descriptifs, et plus de renseignements, consultez l intégralité du Programme des enseignements

Plus en détail

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

Participaient à la séance : Olivier CHALLAN BELVAL, Catherine EDWIGE, Hélène GASSIN et Jean-Pierre SOTURA, commissaires. Délibération Délibération du 16 juillet 2014 de la Commission de régulation de l énergie portant proposition de décret modifiant le décret n 2010-1022 du 31 août 2010 relatif aux dispositifs de comptage

Plus en détail

CommentWatcher. plateforme Web open-source pour analyser les discussions sur des forums en ligne. Marian-Andrei RIZOIU

CommentWatcher. plateforme Web open-source pour analyser les discussions sur des forums en ligne. Marian-Andrei RIZOIU CommentWatcher plateforme Web open-source pour analyser les discussions sur des forums en ligne Marian-Andrei RIZOIU 2ème octobre 2013 BLEND 2013 Lyon, France Contexte Laboratoire ERIC Université Lumière

Plus en détail

CATALOGUE DES STAGES 2014/2015

CATALOGUE DES STAGES 2014/2015 CATALOGUE DES STAGES 2014/2015 Chaque année, AFG accueille des stagiaires qui souhaitent s initier au métier de l informatique. Considérés comme des collaborateurs à part entière, nos stagiaires bénéficient

Plus en détail

Compte rendu de l intervention de Jean-Louis LACOMBE. Rencontre européenne de la technologie du 23 mars 2005. La Fondation d entreprise EADS

Compte rendu de l intervention de Jean-Louis LACOMBE. Rencontre européenne de la technologie du 23 mars 2005. La Fondation d entreprise EADS Compte rendu de l intervention de Jean-Louis LACOMBE Rencontre européenne de la technologie du 23 mars 2005 La Fondation d entreprise EADS La fondation d entreprise créée par EADS est conçue comme une

Plus en détail

Laboratoire d informatique Gaspard-Monge UMR 8049. Journée Labex Bézout- ANSES

Laboratoire d informatique Gaspard-Monge UMR 8049. Journée Labex Bézout- ANSES Laboratoire d informatique Gaspard-Monge UMR 8049 Journée Labex Bézout- ANSES Présentation du laboratoire 150 membres, 71 chercheurs et enseignants-chercheurs, 60 doctorants 4 tutelles : CNRS, École des

Plus en détail

Etudier l informatique

Etudier l informatique Etudier l informatique à l Université de Genève 2015-2016 Les bonnes raisons d étudier l informatique à l UNIGE La participation à des dizaines de projets de recherche européens Dans la présente brochure,

Plus en détail

Avis n 2011/11-02 relatif à l habilitation de Télécom Paris Tech à délivrer des titres d ingénieur diplômé

Avis n 2011/11-02 relatif à l habilitation de Télécom Paris Tech à délivrer des titres d ingénieur diplômé Avis n 2011/11-02 relatif à l habilitation de Télécom Paris Tech à délivrer des titres d ingénieur diplômé Objet : A : examen de l habilitation arrivant à échéance en phase avec le calendrier national

Plus en détail

Modélisation aléatoire en fiabilité des logiciels

Modélisation aléatoire en fiabilité des logiciels collection Méthodes stochastiques appliquées dirigée par Nikolaos Limnios et Jacques Janssen La sûreté de fonctionnement des systèmes informatiques est aujourd hui un enjeu économique et sociétal majeur.

Plus en détail

Fiche méthodologique Rédiger un cahier des charges

Fiche méthodologique Rédiger un cahier des charges Fiche méthodologique Rédiger un cahier des charges Plan de la fiche : 1 : Présentation de la fiche 2 : Introduction : les grands principes 3 : Contenu, 1 : positionnement et objectifs du projet 4 : Contenu,

Plus en détail