https://get-the.net/ 2026-06-30T01:18:43+02:00 https://get-the.net/ https://get-the.net/lib/images/favicon.ico text/html 2011-05-10T17:55:20+02:00 https://get-the.net/doku.php?id=m2ilc:fouille_dist_tp_rapport&rev=1305042920&do=diff étudiants M2ILC FRIGUI Rassil LANSELLE Maurice Question 1) Aperçu des données * On s'intéresse maintenant aux données D1. Lire le README et comprendre la structure des fichiers plats movies.dat, users.dat et ratings.dat * a) Quel est le nombre moyen de notes par utilisateur ? * b) En moyenne quel est le pourcentage de films notés par un utilisateur ? text/html 2010-02-06T18:59:27+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_1&rev=1265479167&do=diff Fondements de la programmation Un objectif de ce cours est de découvrir sur quoi repose la programmation en se basant sur l'étude des programmes et des langages. Les langages révèlent des modes de programmation. Mais qu'est-ce qu'un mode de programmation? text/html 2010-01-11T07:24:11+02:00 https://get-the.net/doku.php?id=m1ilc:fain_6&rev=1263191051&do=diff Adjacence des Composantes Connexes * : objet * : fond Définition Soient * l'ensemble des k-composantes connexes de O; * l'ensemble des k'-composantes connexes de F; On dira que est adjacent à s'il existe et tels que p et q sont 8'adjacents. text/html 2010-05-13T22:29:20+02:00 https://get-the.net/doku.php?id=java:tondeuse&rev=1273782560&do=diff Enoncé Projet de optimisation stochastique : optimisation évolutionnaire de FSM * Tondre un terrain par un automate à états finis. * Terrain de 1024×768 * Tondeuse de 10×10 * Avance case par case * 20 arbres dans le terrain, répartis aléatoirement, de 10×10. * Position initiale aléatoire. * Détection de choc / détection de périmètre. * Détection de l'herbe coupée. text/html 2010-01-03T12:02:19+02:00 https://get-the.net/doku.php?id=m1ilc:fouille_2&rev=1262516539&do=diff Réseaux de Neurones 1. Introduction Fonctions d'activation * seuil : f(s) = 0 si s <= k, f(s)=1 si s>k. On dit qu'on a un réseau neuronal vraiment symbolique * linéaire : f(s) = -1 si s <= -1/k, 1 si s > 1/k, k*s ailleurs * sigmoide : . Si k est grand, f(s) est proche de 0 ou de 1 pour presque toutes les valeurs de s. On dit qu'on a un réseau neuronal relativement symbolique * ou autre : gaussienne, à valeurs discrètes, etc; text/html 2010-01-01T12:40:57+02:00 https://get-the.net/doku.php?id=m1ilc:fouille_7&rev=1262346057&do=diff Classification non-supervisé Regroupement et modélisation Ici, le but est de trouver une description compacte permettant de résumer et décrire des objets à partir des données initiales (copieuses). Ceci s'inscrit dans la fouille exploratoire et descriptive et “summarization” . Des approches peuvent être empruntées: text/html 2009-12-19T15:18:55+02:00 https://get-the.net/doku.php?id=m1ilc:fouille_tp&rev=1261232335&do=diff TP Clustering Introduction K-Means Clustering Exercice 2.2 Dans le premier résultat, on lit : Class attribute: play Classes to Clusters: 0 1 2 <-- assigned to cluster 1 3 5 | yes 1 3 1 | no Cluster 0 <-- No class Cluster 1 <-- no Cluster 2 <-- yes Or, les clusters portent des labels “yes”, “no”, et “No class”. Le cluster #1 contient 3 des 5 “no”, le cluster #0 contient 5 des 9 “yes” : ces clusters contienent des majorités des instances de ces deux classes et se voient attr… text/html 2009-11-16T10:09:46+02:00 https://get-the.net/doku.php?id=m1ilc:compil_8&rev=1258362586&do=diff V. Gestion de la table des symboles Introduction La table des symboles mémorise les informations relatives aux identificateurs d'un programme : * le nom * le type (simple, structuré, étiquette, fonction, tableau, paramètre formel d'une fonction) * le nombre de dimensions, les bornes inférieurs et supérieurs (pour chaque dimension) pour un tableau * le nombre d'arguments pour une fonction * le mode d'adressage pour un paramètre formel (valeur ou adresse) * l'emplacement mémoire (u… text/html 2010-01-10T16:51:55+02:00 https://get-the.net/doku.php?id=m1ilc:algo_dist_1&rev=1263138715&do=diff Election (1/2) I) Proposer un algorithme d'élection dans les cas suivants : * Election sur un anneau unidirectionnel * Election sur un arbre couvrant Solution #1 D'abord, comprenons ce que c'est qu'un anneau unidirectionnel : chaque machine à un, et un seul destinataire (dit “successeur”) pour ses messages, et une seule source. Cependant, l'anneau ne suit pas nécessairement une numérotation des machines, ni même des connections physiques (tant qu'il existe un chemin physique pour réalis… text/html 2010-10-03T11:29:44+02:00 https://get-the.net/doku.php?id=m1ilc:c_et_c_ex_5&rev=1286098184&do=diff Enoncé Trouver/concocter une MT grammaire qui valide engendre . pas sûr que c'était à rendre; j'ai modifié l'énoncé pendant ma réflexion (!) et trouvé (je crois) une MT (machine de Turing) qui vérifie L au lieu d'une grammaire qui l'engendre. text/html 2010-01-30T19:42:49+02:00 https://get-the.net/doku.php?id=fca:lattice_exemple&rev=1264876969&do=diff Introduction Les deux principes majeurs de CbO sont : * Utiliser chaque instance (objet) comme “graine” pour engendrer une suite de sous-ensembles le contenant, en ajoutant un par un des objets qui ne sont pas encore dans l'extension (fermeture par rapport à l'intention), tant que l'intention reste non-nulle. Ceci se fait par le développement récursif en profondeur d'abord. * Rajouter des objets “lexicographiquement supérieurs” seulement, pour pouvoir repérer une extension qui aurait déj… text/html 2010-04-21T10:51:25+02:00 https://get-the.net/doku.php?id=fainbis_applications&rev=1271839885&do=diff <philippe.foucher@developpement-durable.gouv.fr> Laboratoire Régional des Ponts et Chaussées Imagerie-méthodes optiques -- prennent des stagéaires. Plan * Problématique * Détection de la signalisation * informations géométiques * Informations colorimétiques * Combinaison des deux text/html 2010-05-25T20:29:59+02:00 https://get-the.net/doku.php?id=m1ilc:bioinfo_5&rev=1274812199&do=diff Principe Les principaux modèles probabilistes de l'évolution des gènes et génomes sont les modèles de substitution de lettres au cours du temp et leurs extensions aux modèles de substitution de motifs. Il existe quatre hypothèses probabilistes sur le processus de substitution : text/html 2010-05-08T10:30:40+02:00 https://get-the.net/doku.php?id=m1ilc:fain_td4&rev=1273307440&do=diff Topologie digitale Calculer les nombres d'Euler * Calculer le nombre d'Euler en 4-connexité et le nombre d'Euler en 8-connexité des deux ensembles suivants. Faites le calcul de deux manières différentes : considérant les configurations locales et en comptant les faces, les arêtes et les commets. * Calculer l'arbre des composantes connexes de ces 2 ensembles aussi pour les deux connexités. Qu'en déduisez-vous? text/html 2009-12-29T13:33:07+02:00 https://get-the.net/doku.php?id=m1ilc:edid_td_3&rev=1262089987&do=diff Tutoriel d'exploration de données Module 1 : modèle d'association Recherche de relations dans vos données à l'aide d'un modèle d'association " Un modèle d'association recherche des schémas dans vos données en décernant des associations entre des articles. Un modèle d'association recherche ces schémas en appliquant la formule “Les clients qui achètent le produit A achètent aussi le produit B.” " text/html 2010-01-06T14:43:50+02:00 https://get-the.net/doku.php?id=m1ilc:c_et_c_d&rev=1262785430&do=diff III. Complexité Introduction Deux exemples pour rentrer dans le sujet : * Problème du voyageur de commerce. Etant donné une carte routière et une liste de N villes, comment réaliser un circuit qui visite les N villes en parcourant la plus courte distance possible. * Géométrie tortue : void triangle(float x, float y, float d, float h){ if (y+d)<h {tracer(x-d, y+d); triangle(x-d, y+d, d, h); tracer(x+d, y+d); triangle(x+d, y+d, d, h); tracer(x,y);}} . complexité ~ sk avec y+kd < h < y+(k… text/html 2010-04-13T06:16:39+02:00 https://get-the.net/doku.php?id=fca:fuzzy_csv&rev=1271132199&do=diff  Format Fichier CSV Traits & Modalities Les deux premières lignes doivent contenir les libellés des traits et de leurs modalités, dans cet ordre, avec * deux premières colonnes vides, ou avec titres qui seront oubliés. * lorsqu'un trait a plusieurs modalités, le libellé du trait doit paraitre dans la même colonne que le libellé de sa première modalité, et les colonnes des autres modalités doivent être vides (mais pas fusionnées, sinon l'alignement des autres traits avec leurs modalité… text/html 2010-05-25T20:13:06+02:00 https://get-the.net/doku.php?id=m1ilc:bioinfo_4&rev=1274811186&do=diff Concept de Populations de Gènes Exercice Proposer des hypothèses de structures de gènes primitifs et de modes d'évolution de ces gènes. Est-ce que le gène primitif était aléatoire ou non? Et l'évolution, aléatoire ou non-aléatoire? Considérons les possibilités, et leurs conséquences reflétées dans les gènes actuels. text/html 2011-01-14T07:17:20+02:00 https://get-the.net/doku.php?id=projet_dch:racine&rev=1294985840&do=diff Comptes rendus de réunions Avec le "client" * * Sans le "client" Énoncé du projet Dans le cadre de la gestion et du suivi des stages des apprentis en entreprise, la plateforme CLE (Cahier de Liaison Electronique) a été développée. La première version date de deux ans environ. La dernière bien qu'ayant corrigé un grand nombre de « bugs » comporte encore un certain nombre soit de limites soit d'erreurs ;-) Le but de ce projet est multiple. Il s'agit : text/html 2010-05-16T10:28:40+02:00 https://get-the.net/doku.php?id=mower:project_track&rev=1273998520&do=diff Faut s'organiser, on n'a que peu de temps : si nous développons les même programmes chacun de notre côté, on risque de ne pas ariver à tout finir. Suite à la discussion avec M. Collet au sujet des mouvement en diagonal, abandonnons ces mouvements, qui peuvent encore se produire si les actions droit, bas, droit, bas (par exemple) cycle dans un état : il n'y aura plus que 40 actions pour un état, cinq mouvement précédents possbiles [(-1,0),(0,-1),(0,0),(1,0),(0,1)] fois les huit possibilités arbr… text/html 2011-01-14T12:01:21+02:00 https://get-the.net/doku.php?id=m2ilc:qualite_3&rev=1295002881&do=diff Les activités et documents de validation Le cycle en V A Plan B besoins F tests G Rapport mise en production maintenance retrait données C conception E tests D construction Les rôles et responsabilités -pour un système Propriétaire du système : c'est le “client final” -- celui qui repésente les utilisateurs, et l'utilisation du système. Il sera responsable de “ce qu'on fait avec le système” -- des résultats et données contenues dans le système. C'est l'appro… text/html 2009-11-30T13:07:55+02:00 https://get-the.net/doku.php?id=m1ilc:c_et_c_1&rev=1259582875&do=diff I. Machines de Turing Introduction * On s'occupe [dans ce cours?] de langages (formels) : ensembles de mots sur un alphabet . * Nous aurions vu des classes de langages intéressants. Langages Rationnels Représentation graphique d'un automate fini déterministe text/html 2010-01-08T12:54:00+02:00 https://get-the.net/doku.php?id=m1ilc:algo_dist_3&rev=1262951640&do=diff Election dans un graphe quelconque Maillage complet et diffusion Soit l'algorithme du plus fort (bully algorithme) de Garcia-Molina: Le site initiateur diffuse le message à tous les processus. Puis il attend. A la réception d'un un processus répond text/html 2010-01-10T12:28:44+02:00 https://get-the.net/doku.php?id=m1ilc:fain&rev=1263122924&do=diff Contenu Fondements et algorithmes de l'imagerie numérique * Prérequis : Mathématiques, informatique et anglais de licence * Contenu : * pixels, voxels et adjacence; connexité, composantes connexes; * courbe discrète, dualité figure fond; théorème de Jordan; trous, arborescence des composantes; nombre d'Euler. * Reconstruction de composantes connexes. * Pixel simple, nombre de Yokoi. * Distances discrètes, masques de chanfrein, algorithme de transformée de distances. * … text/html 2010-02-18T13:32:12+02:00 https://get-the.net/doku.php?id=java:nary&rev=1266496332&do=diff L'extraction de concepts par treillis de Galois sur les relations binaires peut être vu comme une spécialisation d'une procédure d'élaboration des intents et extents plus générale. Les Données en Entrée Relation Binaire Lorsqu'on traite un contexte binaire, chaque objet est décrit par la liste de ses attributs, soit sous forme de liste, soit sous forme d'un vecteur binaire ou logique indiquant pour chaque attribut présence ou absence. Les opérations de fermeture sont intersection pour les i… text/html 2011-06-27T17:01:05+02:00 https://get-the.net/doku.php?id=m2ilc:ter&rev=1309186865&do=diff Dans le cadre de la gestion et du suivi des stages des apprentis en entreprise, la plateforme CLE (Cahier de Liaison Electronique) a été développée. La première version date de deux ans environ. La dernière bien qu'ayant corrigé un grand nombre de « bugs » comporte encore un certain nombre soit de limites soit d'erreurs ;-) Le but de ce projet est multiple. Il s'agit : text/html 2010-02-08T09:08:11+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_td_1&rev=1265616491&do=diff Raisonner pour programmer Où l'on cherche à exprimer formellement un problème et à établir les liens entre les différentes formes d'énoncés. Quelques problèmes classiques Pour chacun des problèmes suivants : * Préciser données et résultat * Écrire un énoncé qui qualifie le résultat * Écrire un énoncé qui définit le résultat * Écrire un programme impératif en langage C. text/html 2010-10-06T13:57:42+02:00 https://get-the.net/doku.php?id=m2ilc:droit_1&rev=1286366262&do=diff Règles Règle à l'égard des autres, pas de soi-même; s'applique à tous. Sanctions Sanctions peuvent être de trois sortes * civile : réparation d'un préjudice * pénale : peine d'emprisonnement * peine d'amende (à l'état, pas aux victimes) text/html 2011-01-13T20:47:47+02:00 https://get-the.net/doku.php?id=projet_dch:20_dec_2010&rev=1294948067&do=diff Salut ! Présents * P. Gançarski * A. Shakour * M. Lanselle Donc pour la réunion: Le site du clé est composé de trois parties: * La formation * Les CLEs (devrait correspondre à une catégorie d'utilisateur, mais correspond actuellement à une année, une formation est attaché à un CLE) * Les utilisateurs text/html 2011-05-10T12:46:29+02:00 https://get-the.net/doku.php?id=m2ilc:fouille_dist_fiche&rev=1305024389&do=diff Comment peut un grand spécialiste de location par correspondance nord américain croître sa capacité de gestion de la relation par Internet sans agrandir ni multiplier son centre de traitement informatique ? Et pourquoi préfère-t-il ne pas agrandir sa capacité propre de traitement ? text/html 2009-12-23T15:05:22+02:00 https://get-the.net/doku.php?id=m1ilc:compil_td_1&rev=1261577122&do=diff Analyse Lexicale Une suite de caractères est lu par un analyseur lexical, et celui-ci produit une suite de symboles (unités syntaxiques, “tokens”). Ces symboles comprennent des identifiants, des mots réservés, des constantes, des délimiteurs , des opérateurs simples ou composés (+ - * / := , e.g., qui sont de petits mots réservés). text/html 2011-09-26T12:53:04+02:00 https://get-the.net/doku.php?id=fca:cbo&rev=1317034384&do=diff Close by One Algorithme développé et décrit par Kuznetsov dans "Comparing performance of algorithms for generating concept lattices"(2002) par Sergei O. Kuznetsov et Sergei A. Obiedkov: Pseudocode * Close by One * * For each * Process text/html 2011-04-10T15:04:11+02:00 https://get-the.net/doku.php?id=m2ilc:parallelisme_mpi&rev=1302440651&do=diff TP MBI Nous avons expérimenté l'utilisation des protocoles MPI pour un problème de multiplication de matrices. énoncé La stratégie de parallélisation était de distribuer des blocs contigu de lignes et de colonnes, puis faire circuler les colonnes de façon ordonnée pour que chaque processus garde son bloc de lignes et traite (reçoive et transmette) chaque bloc de colonnes une seule fois (moins 1 pour les transmissions). Les blocs de colonnes étaient transposés pour optimiser l'exploitation d'a… text/html 2011-04-09T08:26:55+02:00 https://get-the.net/doku.php?id=m1ilc:preuves&rev=1302330415&do=diff Ingénierie de la preuve Enseignant Site/Liens Cours TD TP ECTS Cours : J. Narboux TP : N. Magaud, P. Schreck Lien externe 18 18 Objectifs - Apprentissage des outils de preuve formelle et de certification de logiciels - Utilisation de l'outil Coq pour décrire, prouver et extraire des programmes certifiés Contenu Techniques et systèmes de spécification et de preuve de logiciels. Rôles des mathématiques, de la logique et de la programmation. Définition de types, fonctions, p… text/html 2011-03-11T10:28:29+02:00 https://get-the.net/doku.php?id=m2ilc:fouille_dist_2&rev=1299835709&do=diff " " Préambule : Exemple Netflix * -- fiche de lecture * Lecture complémentaire : * Brewer's 2000 Talk : * Gilbert and Lynch's proof : Netflix : utilisation de S3 en high availability * avantage et inconvénients * application de recommandation text/html 2011-02-11T10:16:17+02:00 https://get-the.net/doku.php?id=m2ilc:qualite_4&rev=1297415777&do=diff définition il (le logiciel ou système) entame sa phase de maintenance ou d'utilisation ;; il est accessible aux divers utilisateurs * il remplit l'utilisation pour laquelle il a été conçu * phase de production peut être plus ou moins longue * puis il peut y avoir une période de retraitz text/html 2010-05-23T11:27:11+02:00 https://get-the.net/doku.php?id=m1ilc:bioinfo_3&rev=1274606831&do=diff Objectifs de la Recherche de Motifs Biologiques L'objectif de la détermination de génomes complets--d'organismes simples ou complexes-- est de permettre l'identification de principes et lois apportant à la biologie les bases nécessaires pour une science quantitative ét prédictive. text/html 2009-10-09T18:44:50+02:00 https://get-the.net/doku.php?id=m1ilc:compil_1&rev=1255106690&do=diff Introduction Le problème : Homme et machine n'utilisent pas la même langage. Homme Machine langage de programmation langage machine basé s/ modèles mathématiques reflète architecture matérielle Structuration, modularité au niveau binaire, manipulation de registres => besoin de réaliser la traduction d'un langage source vers un langage cible. text/html 2010-01-03T18:15:45+02:00 https://get-the.net/doku.php?id=m1ilc:compil_7&rev=1262538945&do=diff Génération de code intermédiaire Formes Possibles Les différentes formes possibles de code intermédiaire sont * arbre de syntaxe abstraite * notation polonaise inversée (forme linéaire de l'arbre de syntaxe) * un code à trois adresses : une séquence d'instructions étiquettée dont chaque intruction utilise au plus 3 adresses de variables de référence text/html 2010-03-18T08:36:03+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_6&rev=1268897763&do=diff III. Preuves de correction des programmes Sémantique et preuve Comme nous l'avons vu, l'objectif premier des définition et développements formels de l'activité de programmation est de garantir la correction des programmes. Alors que la sémantique d'un programme donne toute la signification de ce programme, la preuve de correction, ell, se limite à démontrer une propriété de ce programme. text/html 2010-01-06T21:22:17+02:00 https://get-the.net/doku.php?id=m1ilc:c_et_c_b&rev=1262809337&do=diff II.5 Problèmes indécidables pour les grammaires Théorème Les problèmes suivants sont indécidables: * Etant donnée une grammaire générale G et un mot w, est-ce que ? * Etant donnée une grammaire générale G, est-ce que ? * Etant donnée deux grammaires et , est-ce que ? * Etant donnée une grammaire G, est-ce que ? * Il existe une grammaire générale pour laquelle le problème suivant est indécidable : étant donné w, est-ce que ? text/html 2010-01-27T12:41:41+02:00 https://get-the.net/doku.php?id=pcbo&rev=1264592501&do=diff Pour comprendre cette implantation de l'algorithme CbO (ou son dual), voici ma visite commentée du code. FIXME : Attention, ce n'est pas encore finie. Dans ce qui suit, les multiples contrôles ne seront pas mentionnés, seulement le “traitement pur.” text/html 2010-05-16T10:13:06+02:00 https://get-the.net/doku.php?id=mower:casetondues_cpp&rev=1273997586&do=diff casesTondues.cpp Voiçi un projet (assez complet) pour ce programme d'évaluation de fitness. Il manque : * specification de otto, un automate : vraisemblablement un tableau int [280][3], mais peut être pareil que jardin : <std::vector < std::vector<int> > > * le switch..case n'a pas de default, est-ce grave? text/html 2010-05-19T10:54:25+02:00 https://get-the.net/doku.php?id=m1ilc:preuves_4&rev=1274259265&do=diff Structures de données Types inductifs Coq est basé sur un formalisme appelé Calcul des Constructions avec types Inductifs. Deux points de vue possibles: * On se donne les entiers. * On se donne les types inductifs en général (les entiers sont un cas particulier). text/html 2010-05-27T21:39:41+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_a&rev=1274989181&do=diff Les types sont des éléments importants dans la construction des programmes. Dans cette partie, nous présentons un cadre qui permet de définir formellement les types et les opérations sur les objets de ces types. Ce cadre est celui des spécifications algébriques. text/html 2010-05-27T22:33:46+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_b&rev=1274992426&do=diff Nous avons vu que plusieurs Σ-algèbres pouvaient être associées à une signature Σ. Parmi ces Σ-algèbre certaines ne correspondent pas au type que l'on souhaite spécifier. Par exemple, dans l'interprétation Num4 de Nat, 3 est plus grand que son successeur, ce qui est correcte dans cette algèbre, mais incorrecte dans ce que nous voulions spécifier, le type des entier naturels. text/html 2010-01-10T12:30:37+02:00 https://get-the.net/doku.php?id=m1ilc:fain_td2&rev=1263123037&do=diff TD2 Remplissage Tracer un disque On supposera disposer d'une fonction SegHori(x1, x2, y) trançant un segment horizontal. Ecrire un algorithmes qui n'utilise que des opérations sur les entiers pour tracer un disque (constitué de pixels à l'intérieur d'un cercle). text/html 2010-05-13T09:41:49+02:00 https://get-the.net/doku.php?id=m1ilc:fainbis_1&rev=1273736509&do=diff Introduction aux images L'image et les capteurs Une image est l'acquisition par un capteur d'une scène réelle. Le capteur peut être sensible à différentes sources (signaux): * ondes électromagnétiques * ré-émission : réflexion et réfraction * visibles, infrarouge, ultraviolet, rayons gamma, rayons x, autres text/html 2010-05-20T13:33:04+02:00 https://get-the.net/doku.php?id=m1ilc:search_automates&rev=1274355184&do=diff Implantation Informatique La mise en oeuvre informatique est basée sur les files, les états et les . Opérations de base pour les files : * FILE_VIDE() crée puis retourne (un pointeur sur) une file vide * FILE_EST_VIDE(F) retourne vrai si la file F est vide et faux sinon * ENFILER(F,x) ajoute l'élément x en queue de la file F (c'est une file, pas une pile) * TETE(F) retourne l'élément situé en tête de la file F sans l'enlever * DEFILER(F) supprime l'élément en tête de la file F * … text/html 2010-09-16T11:59:05+02:00 https://get-the.net/doku.php?id=m2ilc:sd_intro&rev=1284631145&do=diff Stéphane Genaud Thèmes abordés Les thèmes que recouvre “Applications distribuées”: toutes les tentatives de faire participer des machines distantes à un traitement informatique. * système d'échange de messages, * systèmes d'exploitation distribués * applications réparties/parallèles