Rapport du Projet 12 Janvier Université Bordeaux1. Master 2 ISC Technologie de Vérification Année universitaire
|
|
- Ghislaine Barrette
- il y a 7 ans
- Total affichages :
Transcription
1 Université Bordeaux1 Master 2 ISC Technologie de Vérification Année universitaire Rapport du Projet Présenté par : Enseignant : M. Emmanuel Fleury Modélisation du Jeu SUDOKU Master 2 ISC 1 BDDSudoku
2 Sommaire Introduction 3 I. Sudoku: Jeu de logique 1. Présentation du Jeu 2. Présentation de BDD II. Modélisation du Jeu 1. Objectifs 2. Moyens utilisés 3. Travaux effectués 4. Résultats 5. Conclusions Master 2 ISC 2 BDDSudoku
3 Introduction Dans le cadre de l année de Master 2 ISC, on a été amené à réaliser un Projet qui concrétise nos connaissances qu on a acquises en «technologie de vérification des systèmes» au cours de l année. Le sujet du Projet qu on a effectué est très représentatif de la tendance actuelle en matière de modélisation des jeux de logique. Ce jeu a déjà inspiré plusieurs versions de sudoku électroniques qui apportent un intérêt différent à la résolution des grilles de Sudoku. Sa forme en grille et son utilisation ludique le rapprochent d'autres casse-tête publiés dans les journaux, tels les mots croisés et les problèmes d'échecs, le sudoku est partout. Ce projet a consisté à modéliser un jeu de logique «Sudoku», et à essayer de résoudre le problème en utilisant des BDD. Ce rapport présente dans une première partie le jeu. Puis il décrit, avec un regard critique, le travail qu on a effectué. Master 2 ISC 3 BDDSudoku
4 I. Sudoku: Jeu de logique 1. Présentation du jeu La grille du jeu est composée de 9 lignes, 9 colonnes et de 9 régions La grille du jeu contient toujours des chiffres de 1 à 9 et des cases vides, le but est donc de remplir entièrement la grille de manière logique. La règle du jeu est simple : chaque ligne, colonne et région ne doit contenir qu'une seule fois tous les chiffres de un à neuf. Formulé autrement, chacun de ces ensembles doit contenir tous les chiffres de un à neuf. La plupart du temps, le jeu est proposé sous la forme d'une grille de 9 9, et composé de sous grilles de 3 3, appelées «régions». Quelques cellules contiennent des chiffres, dits «dévoilés». Le but est de remplir les cellules vides, un chiffre dans chacune, de façon à ce que chaque rangée, chaque colonne et chaque région soient composées d'un seul chiffre allant de 1 à 9. En conséquence, chaque chiffre dans la solution apparaît une seule fois selon les trois «directions», d'où le nom «chiffre unique». Lorsque qu'un chiffre peut s'inscrire dans une cellule, on dit qu'il est candidat. Vous avez plusieurs difficultés accessibles : En grille 4*4 :- Enfant facile,- Enfant difficile, En grille 9*9 :- Facile,- Moyen,- Difficile,- Diabolique, En grille 16*16 :- Samouraï. L'intérêt du jeu réside dans la simplicité de ses règles, et dans la complexité de ses solutions. Les grilles publiées ont souvent un niveau de difficulté indicatif. En général, les grilles contenant le plus de chiffres pré remplis fussent les plus simples, l'inverse n'est pas systématiquement vrai. La véritable difficulté du jeu réside plutôt dans la difficulté à trouver la suite exacte de chiffres à ajouter. Master 2 ISC 4 BDDSudoku
5 2. Présentation de la BDD Une BDD est une représentation compacte (parfois) d'une formule booléenne. Vous pouvez faire l'intersection (ET) et se joindre (OU) des formules booléennes directement sur le BDD. Elle est parfois compacte, mais pas toujours. Il y a des formules booléennes qui n'ont aucune BDD compacte (les formules qui décrivent la multiplication par exemple). Mais puisque le sudoku est NP-complet, on pourra avoir un doute en l intérêt de résoudre un sudoku en utilisant des BDD. Pour plus de détails sur ce sujet, veuillez lire Resolution and Binary Decision Diagrams cannot simulate each other polynomially par janv. Friso Groote et Hans Zantema, écrit en Il explique la substance. Exemple de BDD Master 2 ISC 5 BDDSudoku
6 II. Modélisation du Jeu 1. Objectifs En ce basant sur les BDD on a été amené a modéliser un solveur de sudoku. Le format d'entrée du logiciel doit avoir cette forme: {{5,3,0,0,7,0,0,0,0}, {6,0,0,1,9,5,0,0,0}, {0,9,8,0,0,0,0,6,0}, {8,0,0,0,6,0,0,0,3}, {4,0,0,8,0,3,0,0,1}, {7,0,0,0,2,0,0,0,6}, {0,6,0,0,0,0,2,8,0}, {0,0,0,4,1,9,0,0,5}, {0,0,0,0,8,0,0,7,9}} 2. Moyens utilisés En terme de moyens techniques : Langage de programmation : C++. Plateforme de développement : Emacs. Outils : buddy dans sa version 2.4. En terme de moyens temporels, on mis à profit deux semaines pour réaliser ce travail. 3. Travaux effectués Pour réaliser ce jeu «BDDSudoku», on a commencé par résoudre le problème comme un problème SAT. Une fois on a trouvé la solution en utilisant des formules booléennes on a employé la bibliothèque Buddy pour résoudre le problème avec des BDD. 1. Rappel: L exemple de placement d une reine dans un échiquier nous à été d une grande utilitée pour plusieurs raisons: Master 2 ISC 6 BDDSudoku
7 - C est un problème simple a comprendre et implémenté dans les exemples d utilisation de la bibliothèque Buddy, ce qui nous à permis d avoir rapidement une idée claire sur le fonctionnement des BDD en utilisant cette bibliothèque. - Après l étude de l exemple précèdent, nous avons établi le lien entre le problème de queen et le problème du sudoku. En effet le premier est un cas particulier du deuxième avec la particularité d avoir a placé un seul chiffre, au lieu de N pour le deuxième, donc nous l avons utilisé comme base que nous avons adapté à nos besoin. 2. Modélisation du sudoku en BDD : Les structures des données : Chaque case de la grille d un sudoku est exprimée comme étant une BDD. La résolution du problème nécessite essentiellement une matrice de BDD à trois dimensions à partir de laquelle les expressions logiques seront calculer et stocker dans une BDD qui contient les expressions logiques qui doivent respecter les contraintes. La modélisation des contraintes : La bibliothèque buddy possède les fonctions nécessaires pour pouvoir exprimer aisément les contraintes, donc dans une fonction intitulée «build» nous avons rassemblé les contraintes classiques liées à chaque case de la grille. La seule manière de résoudre un problème du sudoku est d avoir une grille complète, cette contrainte a été exprimé grâce à une règle logique qui impose à la solution finale d avoir au moins une valeur pour chaque case de la grille. Une règle supplémentaire a été rajoutée à la fonction «build» dans un souci de performance des calculs et qui rappelle que chaque case du tableau doit avoir au maximum une seule valeur. En l absence de cette dernière règle le résultat reste le même car la règle qui impose au moins une valeur pour chaque case combiné avec les contraintes classique permet d avoir toutes les cases de la grille avec exactement une seul valeur ( 9 valeurs pour 9 cases «case ici est utilisé au terme d un tableau» ) de la grille. La résolution du problème : Une fois les contraintes exprimées pour chaque case de la matrice de départ la «BddGride» contient l ensemble des solutions du problème. Ainsi nous pouvons connaître le nombre de solutions, ainsi que les solutions elles-mêmes 3. Gestion des entrées sorties : Master 2 ISC 7 BDDSudoku
8 Pour adapter les formats d entrées et puis de sorties des données à nos objectifs, nous avons gérer les entrées sorties de façon quasi manuelle, mais le travail effectué a visé une utilisation simple de notre application, nous pouvons donc avoir le format d entrée comme demandé, et le format de sortie de la même manière. 4. Résultats Nous avons fait le choix de vous exposer des résultats pour une grille 4*4, mais pour les autres tailles l application donne des résultats satisfaisant. Format d entrée Format de sortie {{1,0,3,4}, {4,3,0,1}, {2,0,4,3}, {3,4,1,2}} There are 1 solutions one is: {{1,2,3,4}, {4,3,2,1}, {2,1,4,3}, {3,4,1,2}} Le BDD obtenu contient bien une seul branche conduisant à une solution. Nous l avons nommé res44.dot. Pour une grille 4*4 initialement vide {}: There are 288 solutions one is: {{4,3,2,1}, {2,1,4,3}, {3,4,1,2}, {1,2,3,4}} 5. Conclusion Pendant la réalisation de ce projet, on a progressivement bénéficié, pendant, d avantage d autonomie dans la résolution des sudoku. Le point fort de la résolution de ce problème en utilisant les BDD est la résolution de façon automatique une fois les contraintes exprimées. Donc le travaille de modélisation à remplacer le travail de développement qui est très compliqué pour ce problème. Donc finalement nos doutes à propos des BDD ont disparu pour ce type de problèmes. Master 2 ISC 8 BDDSudoku
CONFIGURATION DU SERVEUR DE MAILS EXIM. par. G.Haberer, A.Peuch, P.Saade
CONFIGURATION DU SERVEUR DE MAILS EXIM par G.Haberer, A.Peuch, P.Saade Table des matieres 1. Introduction........................................................................ 2 1.1. Objectifs....................................................................
Plus en détailRappel sur les bases de données
Rappel sur les bases de données 1) Généralités 1.1 Base de données et système de gestion de base de donnés: définitions Une base de données est un ensemble de données stockées de manière structurée permettant
Plus en détailPrésentation du PL/SQL
I Présentation du PL/ Copyright Oracle Corporation, 1998. All rights reserved. Objectifs du Cours A la fin de ce chapitre, vous saurez : Décrire l intéret du PL/ Décrire l utilisation du PL/ pour le développeur
Plus en détailProjet 2. Gestion des services enseignants CENTRE D ENSEIGNEMENT ET DE RECHERCHE EN INFORMATIQUE. G r o u p e :
CENTRE D ENSEIGNEMENT ET DE RECHERCHE EN INFORMATIQUE Projet 2 Gestion des services enseignants G r o u p e : B E L G H I T Y a s m i n e S A N C H E Z - D U B R O N T Y u r i f e r M O N T A Z E R S i
Plus en détailSolution logicielle pour le pilotage et l ERM. Journées d études IARD 26 mars 2010 2 mars 2010
Présentation d ERMS Solution logicielle pour le pilotage et l ERM Journées d études IARD 26 mars 2010 2 mars 2010 Sommaire 1 Présentation d ACTUARIS 2 Les problématiques rencontrées 3 Présentation d ERMS
Plus en détailPRXSENTATION D UN GESTIONNAIRE DE DONNEES NUMERIQUES HIERARCHISEES DESTINE AU DE- -POUILLEMENT D ENQUETES
97 PRXSENTATION D UN GESTIONNAIRE DE DONNEES NUMERIQUES HIERARCHISEES DESTINE AU DE- -POUILLEMENT D ENQUETES Jacques Vaugelade & Marie Piron (Demographie et Statistique) (UR 702) Centre ORSTOM de Ouagadougou
Plus en détailSauvegarde/Restauration
gut Sauvegarde/Restauration Ce How To décrit les procédures de sauvegarde et restauration. INDEX A.Recommandation sur les support de sauvegardes...2 A.1.Disque dur de sauvegarde. 2 A.2.Disque dur externe
Plus en détailMINISTERE DE L ENSEIGNEMENT SUPERIEUR ET DE LA RECHERCHE SCIENTIFIQUE UNIVERSITE ABDELHAMID IBN BADIS MOSTAGANEM TUNISIE MAROC ALGERIE
TUNISIE MINISTERE DE L ENSEIGNEMENT SUPERIEUR ET DE LA RECHERCHE SCIENTIFIQUE UNIVERSITE ABDELHAMID IBN BADIS MOSTAGANEM MAROC ALGERIE FACULTES Sciences Economiques, Commerciales et de Gestion Sciences
Plus en détailLe compte épargne temps
2010 N 10-06- 05 Mi à jour le 15 juin 2010 L e D o i e r d e l a D o c 1. Définition Sommaire 2. Modification iue du décret n 2010-531 3. Principe du compte épargne temp Bénéficiaire potentiel Alimentation
Plus en détailCOMMUNAUTE ECONOMIQUE ET MONETAIRE DE L AFRIQUE CENTRALE -------------------- LA COMMISSION -------------------
COMMUNAUTE ECONOMIQUE ET MONETAIRE DE L AFRIQUE CENTRALE -------------------- LA COMMISSION ------------------- DOSSIER TYPE A FOURNIR PAR LES INDUSTRIELS ET A PRESENTER PAR LES ETATS MEMBRES DE LA CEMAC
Plus en détailCours Base de données relationnelles. M. Boughanem, IUP STRI
Cours Base de données relationnelles 1 Plan 1. Notions de base 2. Modèle relationnel 3. SQL 2 Notions de base (1) Définition intuitive : une base de données est un ensemble d informations, (fichiers),
Plus en détailexigences des standards ISO 9001: 2008 OHSAS 18001:2007 et sa mise en place dans une entreprise de la catégorie des petites et moyennes entreprises.
R E S U M E de la Thése de doctorat Perfectionnement du systemé de management intégré qualité-responsabilité sociale-santé et sécurité occupationnelle élaborée par Monsieur le thésard Denuntzio C. Romeo,
Plus en détailIll. Commentaire des articles p. S IV. Fiche financiere p.s v. Fiche d' impact p. 6
LE GOUVERNEMENT DU GRAND- DUCHE DE LUXEMBOURG Ministere de I'Economie Projet de reglement grand-ducal fixant le programme et Ia dun~e de Ia formation professionnelle speciale portant sur Ia recherche et
Plus en détailUNIVERSITE PARIS 1 PANTHEON SORBONNE
UNIVERSITE PARIS 1 PANTHEON SORBONNE École de Management de la Sorbonne (UFR 06 Gestion et économie d entreprise) MASTER 2 PRO - EGP EVALUATION ET GESTION DE PROJETS Année universitaire 2013-2014 VOS INTERLOCUTEURS
Plus en détailP R E - D O S S I E R V A E
Arrivé le.. Paiement.. D E M A N D E D E X P E R T I S E P R E - D O S S I E R V A E (V.A.E 2002) A retourner, accompagné du règlement pour participation aux frais d examen de recevabilité (100 euros)
Plus en détailGestion d'une billeterie défilé des talents
Jean HENRI Gestion d'une billeterie défilé des talents version 0.3 5 novembre 2013 STS Services Informatiques aux Organisations Lycée St Joseph - Bressuire Sommaire 1 Introduction... 1 2 Présentation
Plus en détailCommunication sur l engagement Global Compact_ IAE Nice - juillet 2015. Communication sur l engagement Global Compact IAE Nice_2015
Communication sur l engagement Global Compact IAE Nice_2015 1 Sommaire I. Renouvellement de l engagement du plus haut dirigeant.3 II. Description des actions mises en place afin de promouvoir le Global
Plus en détailRemarketing Dynamique - Comment le mettre en place et pourquoi est-ce indispensable pour un e-comme dinsdag 29 april 2014 21:46
There are no translations available. Il y a quelques mois j écrivais un article au sujet du Google Shopping et ses avantages. Il est temps de continuer sur ma lancée et de vous parler cette fois du Remarketing
Plus en détail(ATTENTION : une seule réponse possible pour les questions à choix multiples)
Questionnaire Nom et Prénom : (ATTENTION : une seule réponse possible pour les questions à choix multiples) 1. Qu'est-ce qu'une adresse IP? Une référence unique qui permet d'identifier un site web Une
Plus en détailANNEE UNIVERSITAIRE 2014/2015
DIRECTION DES ENSEIGNEMENTS ET DE LA VIE DE L ETUDIANT Service de la Scolarité Générale des Chênes Rez de Chaussée des Chênes 2 33, boulevard du Port 95011 CERGY-PONTOISE CEDEX téléphone 33 (1) 34 25 61
Plus en détailLa Valorisation des Acquis de l Expérience (VAE) en Communauté française.
La Valorisation des Acquis de l Expérience (VAE) en Communauté française. Dossier de presse rédigé par : Françoise de Viron, Présidente de la Commission Education tout au Long de la Vie (ETALV) du CIUF,
Plus en détailDossier de candidature : "L'innovation technologique en Afrique du 21 ème siècle"
1 Dossier de candidature : "L'innovation technologique en Afrique du 21 ème siècle" 2 Dossier de candidature : "L'innovation technologique en Afrique du 21 ème siècle" DOSSIER DE CANDIDATURE à retourner
Plus en détailLE PROBLÈME DE RECHERCHE ET LA PROBLÉMATIQUE
LE PROBLÈME DE RECHERCHE ET LA PROBLÉMATIQUE Un problème de recherche est l écart qui existe entre ce que nous savons et ce que nous voudrions savoir à propos d un phénomène donné. Tout problème de recherche
Plus en détailUNIVERSITE DE TOULON UFR FACULTE DE DROIT REGLEMENT D EXAMEN ANNEE 2012/2017 LICENCE DROIT MENTION DROIT GENERAL
UNIVERSITE DE TOULON UFR FACULTE DE DROIT REGLEMENT D EXAMEN ANNEE 01/017 LICENCE DROIT MENTION DROIT GENERAL Les présentes règles s inscrivent dans le cadre réglementaire national défini par les tetes
Plus en détailSNMP for cloud Jean Parpaillon. SNMP4cloud - 1
SNMP for cloud Jean Parpaillon SNMP4cloud - 1 SNMP4cloud - 2 API SNMP4cloud - 3 Modèle API SNMP4cloud - 4 Modèle API Mise en oeuvre SNMP4cloud - 5 Modèle Langages A, B, C API Mise en oeuvre SNMP4cloud
Plus en détailFAQ RENOUVELLEMENT QUESTIONS ESSENTIELLES AU RENOUVELLEMENT :
FAQ RENOUVELLEMENT Ce document d informations intitulé «FAQ RENOUVELLEMENT» permet de répondre à toutes les questions que vous pouvez vous poser concernant le renouvellement annuel de votre société. Nous
Plus en détailResponsabilité civile et assurances internationales. 28 mars 2014 Romain Vanolli
Responsabilité civile et assurances internationales 28 mars 2014 Romain Vanolli Table 1 2 3 4 Assurance responsabilité civile Assurance responsabilité civile Tips & Tricks Les principaux défis liés aux
Plus en détailIngénierie des Modèles. Méta-modélisation
Ingénierie des Modèles Méta-modélisation Eric Cariou Master Technologies de l'internet 2 ème année Université de Pau et des Pays de l'adour UFR Sciences Pau Département Informatique Eric.Cariou@univ-pau.fr
Plus en détailIndustrial Phd Progam
Industrial Phd Progam Catalan Government: Legislation: DOGC ECO/2114/2012 Modification: DOGC ECO/2443/2012 Next: Summary and proposal examples. Main dates March 2013: Call for industrial Phd projects grants.
Plus en détailDOSSIER D INSCRIPTION PÉDAGOGIQUE 2015-2016
1 UNIVERSITÉ PIERRE & MARIE CURIE LABORATOIRE DE PROBABILITÉS ET MODÈLES ALÉATOIRES Adresse Postale : 4, Place Jussieu Boîte courrier 188 75252 PARIS CÉDEX 05 Téléphone : 01.44.27.53.20. - Télécopie :
Plus en détailMASTER MARKETING VENTE, SPECIALITE MANAGEMENT ET DIRECTION DES EQUIPES COMMERCIALES
MASTER MARKETING VENTE, SPECIALITE MANAGEMENT ET DIRECTION DES EQUIPES COMMERCIALES RÉSUMÉ DE LA FORMATION Type de diplôme : Master (LMD) Domaine ministériel : Droit, Economie, Gestion Mention : Marketing
Plus en détailDémarches d urbanisation : réorganiser le Système d Information en structurant ses fonctions dans des blocs fonctionnels communicants.
Plan du chapitre Master Informatique et Systèmes Urbanisation des Systèmes d Information Architecture d Entreprise 04 Architecture du SI : identifier et décrire les services, structurer le SI 1 2 3 4 5
Plus en détailDUT. Informatique, orientation Imagerie Numérique. Domaine : Sciences, Technologies, Santé. Mention : Informatique
DUT Informatique, orientation Imagerie Numérique Domaine : Sciences, Technologies, Santé Mention : Informatique Organisation : Institut Universitaire de Technologie Lieu de formation : Le Puy en Velay
Plus en détailTP3 : Creation de tables 1 seance
Universite de Versailles IUT de Velizy - Algorithmique 2005/2006 TP3 : Creation de tables 1 seance Objectif : Creation et modication de tables dans une base de donnees. Avant de commencer ce TP, terminer
Plus en détailCours de Master Recherche
Cours de Master Recherche Spécialité CODE : Résolution de problèmes combinatoires Christine Solnon LIRIS, UMR 5205 CNRS / Université Lyon 1 2007 Rappel du plan du cours 16 heures de cours 1 - Introduction
Plus en détailUNIVERSITÉ 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étailSERVEUR DE SAUVEGARDE POUR BCDI3. par. G.Haberer, A.Peuch, P.Saadé
SERVEUR DE SAUVEGARDE POUR BCDI3 par G.Haberer, A.Peuch, P.Saadé Table des matières 1. Introduction........................................................................ 2 1.1. Objectif....................................................................
Plus en détailProgrammation parallèle et distribuée (Master 1 Info 2015-2016)
Programmation parallèle et distribuée (Master 1 Info 2015-2016) Hadoop MapReduce et HDFS Note bibliographique : ce cours est largement inspiré par le cours de Benjamin Renaut (Tokidev SAS) Introduction
Plus en détailAuteur LARDOUX Guillaume Contact guillaume.lardoux@epitech.eu Année 2014 DEVELOPPEMENT MOBILE AVEC CORDOVA
Auteur LARDOUX Guillaume Contact guillaume.lardoux@epitech.eu Année 2014 DEVELOPPEMENT MOBILE AVEC CORDOVA Sommaire 1. Introduction 2. Installation 3. Fonctionnement 4. Développement 5. Démonstration 2
Plus en détailExplications sur l évolution de la maquette. Version : 1.0 Nombre de pages : 9. Projet cplm-admin
Explications sur l évolution de la maquette Version : 1.0 Nombre de pages : 9 Rédacteur : David Elias 22/07/2008 STATUT DU DOCUMENT Statut Date Intervenant(s) / Fonction Provisoire 20/07/2008 David Elias
Plus en détailSynchroniser ses photos
Synchroniser Avec l'arrivée des smartphones et tablettes équipés de fonctions «appareils photos», nous réalisons de plus en plus de photos avec ceux-ci. Soucis, la mémoire de ces outils n'est pas aussi
Plus en détailCHAPITRE VIII : Les circuits avec résistances ohmiques
CHAPITRE VIII : Les circuits avec résistances ohmiques VIII. 1 Ce chapitre porte sur les courants et les différences de potentiel dans les circuits. VIII.1 : Les résistances en série et en parallèle On
Plus en détailUrbanisation des Systèmes d Information Architecture d Entreprise. 04 Architecture du SI : identifier et décrire les services, structurer le SI
Plan du chapitre Master Informatique et Systèmes Urbanisation des Systèmes d Information Architecture d Entreprise 04 Architecture du SI : identifier et décrire les services, structurer le SI 1 2 3 1.1
Plus en détailclient. ECOUTE, SIMPLICITE, SERVICE... Pour ELCIA, l'accompagnement est la clé de la satisfaction ELCIA, le savoir-faire et l'écoute
Communiqué de presse Octobre 2007 ECOUTE, SIMPLICITE, SERVICE... Pour, l'accompagnement est la clé de la satisfaction client. «Gagner du temps, être plus réactif» «Hyper convivialité et souplesse d utilisation»
Plus en détailTechniques d interaction dans la visualisation de l information Séminaire DIVA
Techniques d interaction dans la visualisation de l information Séminaire DIVA Zingg Luca, luca.zingg@unifr.ch 13 février 2007 Résumé Le but de cet article est d avoir une vision globale des techniques
Plus en détailFAQ Foire aux questions. Sur cette page, vous trouverez les réponses à toutes vos questions relatives aux études de la musique en Europe.
FAQ Foire aux questions Sur cette page, vous trouverez les réponses à toutes vos questions relatives aux études de la musique en Europe. FAQ Foire aux questions POURQUOI MOI? 1. Pourquoi entreprendre des
Plus en détailUNIVERSITE DE BORDEAUX Référence GALAXIE : 94
UNIVERSITE DE BORDEAUX Référence GALAXIE : 94 Numéro dans le SI local : 0863 Référence GESUP : 0863 Corps : Professeur des universités Article : 46-1 Chaire : Non Section 1 : 27-Informatique Section 2
Plus en détailGOL-502 Industrie de services. Travaux Pratique / Devoir #7
GOL-502 Industrie de services Travaux Pratique / Devoir #7 Version 2012 Modélisation à l'aide du langage UML 1) Diagramme de cas d'utilisation 2) Diagramme de classes 3) Diagramme de séquence 4) Diagramme
Plus en détailAnalyse de grandes bases de données en santé
.. Analyse de grandes bases de données en santé Alain Duhamel Michaël Genin Mohamed Lemdani EA 2694 / CERIM Master 2 Recherche Biologie et Santé Journée Thématique Fouille de Données Plan. 1 Problématique.
Plus en détailpour préparer l'après bac
Page 1/6 DEUXIEME PARTIE Vade-mecum pour préparer l'après bac L'après-bac se prépare. Il faut d'abord choisir son contenu - outre des aptitudes objectives, l'envie d'être à l'international peut être, à
Plus en détailMaster I Génie Logiciel
1. Introduction Master I Génie Logiciel Dr. Imed Bouchrika Dept de Mathematique & Informatique Université de Souk-Ahras imed@imed.ws Amira Hakim, Mariem Sari, Sara Khelifi & Imed Bouchrika University of
Plus en détailGrégoire de Lassence. Copyright 2006, SAS Institute Inc. All rights reserved.
Grégoire de Lassence 1 Grégoire de Lassence Responsable Pédagogie et Recherche Département Académique Tel : +33 1 60 62 12 19 gregoire.delassence@fra.sas.com http://www.sas.com/france/academic SAS dans
Plus en détailLe nouveau régime de compte épargne temps
Le nouveau régime de compte épargne temps Pourquoi un nouveau régime de compte épargne temps? Les dispositions prévues élargissent les possibilités d'utilisation des jours déposés sur un compte épargne
Plus en détailMaster 2- Réalisation Documentaire de Création
Dossier de candidature 2012-2013 Master 2- Réalisation Documentaire de Création Photo obligatoire Ce questionnaire est confidentiel. Les questions d état-civil et de curriculum vitae par lesquelles il
Plus en détailExpériences des Universités européennes dans l enseignement de la Finance islamique. Zineb Bensaid, Senior Consultant ISFIN
Expériences des Universités européennes dans l enseignement de la Finance islamique Zineb Bensaid, Senior Consultant ISFIN 40 millions EUROPEENS sont musulmans (Ex Turquie) CROISSANCE de la finance islamique
Plus en détailSection des Formations et des diplômes
Section des Formations et des diplômes Rapport d évaluation du master Modélisation appliquée de l Université Paris 1 Panthéon-Sorbonne Vague D 2014-2018 Campagne d évaluation 2012-2013 Section des Formations
Plus en détailNom du candidat :... (nom de famille suivi éventuellement du nom du conjoint)
Dossier à établir en 2 exemplaires : 1 exemplaire pour l IEJ 1 exemplaire à conserver Nom du candidat :... (nom de famille suivi éventuellement du nom du conjoint) Agrafer ici photo d identité Prénom :..
Plus en détailDOSSIER DE CANDIDATURE MASTER 1 2010 2011 Master 1 avec Option :
PHOTO Allées Seydou TALL x Canal IV Point E Rue PE 48 Tél 33 824 93 78 Fax : 33 824 93 77 E-mail : isfcom@yahoo.fr - Site web : http://www.isfdakar.com Tél : 33 824 93 78 Fax : 33 824 93 77 E-mail : isfcom@yahoo.fr
Plus en détailMICROSTAGE COM602 Département des lettres et communications. Automne 2015 (10 juin 2015)
MICROSTAGE COM602 Département des lettres et communications Automne 2015 (10 juin 2015) Table des matières Centre culturel de l Ude S / Série Arrière cours Publicité et promotion... 3 Centre culturel de
Plus en détailUNIVERSITE LYON 3 (JEAN MOULIN) Référence GALAXIE : 4140
UNIVERSITE LYON 3 (JEAN MOULIN) Référence GALAXIE : 4140 Numéro dans le SI local : Référence GESUP : 0202 Corps : Professeur des universités Article : 51 Chaire : Non Section 1 : 01-Droit privé et sciences
Plus en détailMettre en place une infrastructure Web nouvelle génération avec Drupal et Acquia
Mettre en place une infrastructure Web nouvelle génération avec Drupal et Acquia Pour l architecte de solutions web Table des matières Présentation générale... 3 Des outils disparates.... 4 Une gestion
Plus en détail1 La société GIR. 2 La solution proposée
Gestion de la restauration scolaire, de l'accueil périscolaire, et des structures petite enfance. Gamme Sabine : Bornes «SabiProx» Tablettes «SabiTouch» Logiciel «SabiWeb» www.gir.fr 1 La société GIR La
Plus en détailLibreOffice Calc : introduction aux tableaux croisés dynamiques
Fiche logiciel LibreOffice Calc 3.x Tableur Niveau LibreOffice Calc : introduction aux tableaux croisés dynamiques Un tableau croisé dynamique (appelé Pilote de données dans LibreOffice) est un tableau
Plus en détailInitiation aux bases de données (SGBD) Walter RUDAMETKIN
Initiation aux bases de données (SGBD) Walter RUDAMETKIN Bureau F011 Walter.Rudametkin@polytech-lille.fr Moi Je suis étranger J'ai un accent Je me trompe beaucoup en français (et en info, et en math, et...)
Plus en détailELASTICITE DE LA DEMANDE Calcul de l'elasticite & Applications Plan du cours I. L'elasticite de la demande & ses determinants II. Calcul de l'elasticite & pente de la courbe de demande III. Applications
Plus en détailOutils d'analyse de la sécurité des réseaux. HADJALI Anis VESA Vlad
Outils d'analyse de la sécurité des réseaux HADJALI Anis VESA Vlad Plan Introduction Scanneurs de port Les systèmes de détection d'intrusion (SDI) Les renifleurs (sniffer) Exemples d'utilisation Conclusions
Plus en détailGuide de configuration d'une classe
Guide de configuration d'une clae Viion ME Guide de configuration d'une clae Contenu 1. Introduction...2 2. Ajouter de cour...4 3. Ajouter de reource à une leçon...5 4. Meilleure pratique...7 4.1. Organier
Plus en détailMaster Marchés Financiers
Master Marchés Financiers BAC+5 Domaine : Droit, Economie, Gestion Mention : Comptabilité-Finance Organisation : Ecole Universitaire de Management Niveau d'entrée : BAC+3 Durée des études : 2 ans DESCRIPTION
Plus en détailCours Informatique Master STEP
Cours Informatique Master STEP Bases de la programmation: Compilateurs/logiciels Algorithmique et structure d'un programme Programmation en langage structuré (Fortran 90) Variables, expressions, instructions
Plus en détailGestion de données avec TALEND
Journée Bases de données OSUC Gestion de données avec TALEND Validation et insertion Aurore Hertout Chargée d études Géomatique & Expertise Spatiale Données thématiques : Nombreuses et variées Différents
Plus en détailÉPREUVES D'ADMISSION 2011 QUESTIONNAIRE SOCIO-CULTUREL RC-R/TV
Le questionnaire est à remettre le premier jour des épreuves, à savoir, le 31 août 2011 lors de l épreuve langage cinéma ÉPREUVES D'ADMISSION 2011 QUESTIONNAIRE SOCIO-CULTUREL RC-R/TV NOM PRENOM : : NATIONALITE
Plus en détailDossier de candidature 2014 Concours international
Diplôme Ina (grade master) Gestion de patrimoines audiovisuels Production Dossier de candidature 2014 Concours international M me M. Nom :.. Prénom :. Cochez le diplôme auquel vous postulez : Gestion de
Plus en détailMatérialiser les données d une BdD : créer une carte de densité de points par maillage
Matérialiser les données d une BdD : créer une carte de densité de points par maillage «Cet outil permet de créer un maillage régulier de polygones (carrés, rectangles ou nids d'abeille) à partir des entités
Plus en détailLa NP-complétude. Johanne Cohen. PRISM/CNRS, Versailles, France.
La NP-complétude Johanne Cohen PRISM/CNRS, Versailles, France. Références 1. Algorithm Design, Jon Kleinberg, Eva Tardos, Addison-Wesley, 2006. 2. Computers and Intractability : A Guide to the Theory of
Plus en détailFAQ Conditions de candidature... 2 Procédure de candidature et remise de prix... 2 Le dossier de candidature... 3
FAQ Conditions de candidature... 2 Peut-on poser sa candidature si on a achevé ses études entre le 01/09/2014 et le 31/08/2015 et si la remise du diplôme a lieu seulement après la clôture des dépôts de
Plus en détailIntroduction 1. Bibliographie 317 Remerciements 323 Index 325. 2011 Pearson Education France Investisseurs de légende Glen Arnold
S o m m a i r e Introduction 1 1. Benjamin Graham 7 2. Philip Fisher 53 3. Warren Buffett et Charles Munger 81 4. John Templeton 133 5. George Soros 169 6. Peter Lynch 221 7. John Neff 255 8. Anthony Bolton
Plus en détailProgramme conjoint de bourses universitaires Japon/Banque mondiale (JJ/WBGSP) MODALITÉS DE DÉPÔT DES CANDIDATURES AU TITRE DE L'ANNÉE 2015
Programme conjoint de bourses universitaires Japon/Banque mondiale (JJ/WBGSP) MODALITÉS DE DÉPÔT DES CANDIDATURES AU TITRE DE L'ANNÉE 2015 POUR LES RESSORTISSANTS DE PAYS EN DÉVELOPPEMENT* *Attention!
Plus en détailDossier d inscription Cycle MASTER Année universitaire 2015-2016 Pour étudiants français et étrangers MASTER SCIENCES ET TECHNOLOGIES
Nom : Prénom : UNIVERSITE DE BRETAGNE-SUD Faculté des Sciences et Sciences de l Ingénieur Campus de Tohannic Rue Yves Mainguy BP 573 56000 Vannes Cedex 02.97.01.72.37 Fax 02.97.01.72.00 Dossier d inscription
Plus en détail2. Technique d analyse de la demande
1. Recevoir et analyser une requête du client 2. Sommaire 1.... Introduction 2.... Technique d analyse de la demande 2.1.... Classification 2.2.... Test 2.3.... Transmission 2.4.... Rapport 1. Introduction
Plus en détailUne offre pléthorique de formations de haut niveau
Cursus BHÏîW Une offre pléthorique de formations de haut niveau Avec plus d'une cinquantaine de formations dans l'heagone, les conseils en gestion de patrimoine et les candidats disposent d'un large choi
Plus en détail2012-2013. Catalogue des formations. Depuis 15 ans, nous soutenons votre évolution. Leadership et potentiel humain Amélioration des processus
Catalogue des formations 0-0 Depuis ans, nous soutenons votre évolution. Leadership et potentiel humain Amélioration des processus Gestion de projets (PMI) Graphisme et multimédia Technologies Classes
Plus en détailPour les entreprises de taille moyenne. Descriptif Produit Oracle Real Application Clusters (RAC)
Pour les entreprises de taille moyenne Descriptif Produit Oracle Real Application Clusters (RAC) POURQUOI VOTRE ENTREPRISE A BESOIN DE CLUSTERISER LES SERVEURS La continuité opérationnelle est cruciale
Plus en détailDemande d inscription ANNEE UNIVERSITAIRE 2015-2016
NOM Patronymique : NOM Marital :.. Prénom(s) :. INE (voir RN bac) :. Accepté filière recherche Refusé professionnelle Demande d inscription ANNEE UNIVERSITAIRE 20152016 MASTER SCIENCES HUMAINES ET SOCIALES
Plus en détailMATHÉMATIQUES ET SCIENCES HUMAINES
MATHÉMATIQUES ET SCIENCES HUMAINES LOUISANDRÉ VALLET TRAITENQ. Logiciel de dépouillement et de traitement d enquêtes sur microordinateur compatible Mathématiques et sciences humaines, tome 104 (1988),
Plus en détailDécret n 2013-756 du 19 août 2013
DOSSIER DE CANDIDATURE ET DE VALIDATION DES ACQUIS PROFESSIONNELS AU MASTER 2 DE DROIT IMMOBILIER PARCOURS DROIT ET MANAGEMENT DU LOGEMENT ET DE L HABITAT SOCIAL - FORMATION CONTINUE Décret n 2013-756
Plus en détailLe contrat de professionnalisation à l Université Paul Sabatier GUIDE DES STAGIAIRES DE LA FORMATION CONTINUE MISSION FORMATION «POLE ALTERNANCE»
GUIDE DES STAGIAIRES DE LA FORMATION CONTINUE Le contrat de professionnalisation à l Université Paul Sabatier MISSION FORMATION CONTINUE ET APPRENTISSAGE «POLE ALTERNANCE» LE CONTRAT DE PROFESSIONNALISATION
Plus en détailGestion mémoire et Représentation intermédiaire
Gestion mémoire et Représentation intermédiaire Pablo de Oliveira March 23, 2015 I Gestion Memoire Variables locales Les variables locales sont stockées: Soit dans un registre,
Plus en détailTownship of Russell: Recreation Master Plan Canton de Russell: Plan directeur de loisirs
Township of Russell: Recreation Master Plan Canton de Russell: Plan directeur de loisirs Project Introduction and Stakeholder Consultation Introduction du projet et consultations publiques Agenda/Aperçu
Plus en détailEBS 204 E C B S. Publication : Novembre 96
EBS 204 E C B S Publication : Novembre 96 Traduction française de la norme internationale produite par le CENB en novembre 1996 0 INTRODUCTION 1 DOMAINE D'APPLICATION 2 REFERENCES NORMATIVES 3 DEFINITIONS
Plus en détailMASTER. Gestion de patrimoine. Domaine : Droit, Economie, Gestion. Mention : Comptabilité-finance. Organisation : Ecole Universitaire de Management
MASTER Gestion de patrimoine Domaine : Droit, Economie, Gestion Mention : Comptabilité-finance Organisation : Ecole Universitaire de Management Lieu de formation : Les cours ont lieu, sauf précision contraire,
Plus en détailLes diagrammes de modélisation
L approche Orientée Objet et UML 1 Plan du cours Introduction au Génie Logiciel L approche Orientée Objet et Notation UML Les diagrammes de modélisation Relations entre les différents diagrammes De l analyse
Plus en détailLa gestion des données de référence ou comment exploiter toutes vos informations
La gestion des données de référence ou comment exploiter toutes vos informations La tour de Babel numérique La gestion des données de référence (appelée MDM pour Master Data Management) se veut la réponse
Plus en détailCompte rendu d activité
Dimitri GRAND URIEN année 2011 2013 BTS SIO option : Solution d infrastructure système et réseau Compte rendu d activité SAV Multi-Services Contexte : Suite à une coupure de service, un client nous ramène
Plus en détailDOSSIER DE CANDIDATURE
INSTITUT INTERNATIONAL DU MULTIMEDIA DOSSIER DE CANDIDATURE MBA SPÉCIALISÉ VIDEO GAME MANAGEMENT NOM : Nom : Photo obligatoire PRENOM : Prénom : Vous êtes étudiant. Vous êtes ou avez été en activité professionnelle.
Plus en détailSUPPLEMENT AU DIPLOME
SUPPLEMENT AU DIPLOME Préambule : «Le présent supplément au diplôme suit le modèle élaboré par la Commission européenne, le Conseil de l Europe et l UNESCO/CEPES. Le supplément vise à fournir des données
Plus en détailLicences Windows Server 2012 R2 dans le cadre de la virtualisation
Résumé des licences en volume Licences Windows Server 2012 R2 dans le cadre de la virtualisation Ce résumé s'applique à tous les programmes de licences en volume Microsoft. Sommaire Synthèse... 2 Nouveautés
Plus en détailObjectif. Participant. Prérequis. Oracle BI Suite EE 10g R3 - Développer des référentiels. 5 Jours [35 Heures]
Objectif Utiliser les techniques de gestion de la mise en cache pour contrôler et améliorer les performances des requêtes Définir des mesures simples et des mesures calculées pour une table de faits Créer
Plus en détailLa pratique - ITIL et les autres référentiels. Fonctions ITIL et informatique en nuage
La pratique - ITIL et les autres référentiels Fonctions ITIL et informatique en nuage Création : janvier 2013 Mise à jour : janvier 2013 A propos A propos du document Ce document pratique est le résultat
Plus en détail