https://get-the.net/ 2026-04-28T15:36:04+02:00 https://get-the.net/ https://get-the.net/lib/images/favicon.ico text/html 2010-05-19T07:50:34+02:00 https://get-the.net/doku.php?id=m1ilc:algoplus_ct&rev=1274248234&do=diff Algorithmique Avancée -- Contrôle Terminal Exercice 1 (8 pts) Exercice 2 (12 pts.) Recherche du k-ième plus petit élément d'un tableau A non trié de n éléments indexés de 1 à n. 2.1 Écrivez un algorithme Pivoter(A, inf, sup) qui ré-ordonne les éléments du sous-tableau A[inf..sup] autour du pivot A[inf] : tous les éléments plus petits que le pivot se retrouvent à sa gauche, et tous les éléments plus grands à sa droite. Cet algorithme doit renvoyer la position finale du pivot. Il ne doit pas… 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 2016-03-19T13:27:15+02:00 https://get-the.net/doku.php?id=emacs:install_on_win10&rev=1458390435&do=diff Acquisition J'ai téléchargé l'archive zip d'un serveur relais (mirror) ftp ftp.igh.cnrs.fr/pub/gnu/emacs/windows et téléchargé la signature pour contrôler. This README.W32 file describes how to set up and run a precompiled distribution of GNU Emacs for Windows. You can find the precompiled distribution on the ftp.gnu.org server and its mirrors: ftp://ftp.gnu.org/gnu/emacs/windows/ This server contains other distributions, including the full Emacs source distribution, as well as … 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 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 2010-11-08T17:50:46+02:00 https://get-the.net/doku.php?id=m2ilc:uml_exo_4&rev=1289235046&do=diff Exo 4 Modéliser un système permettant d'effectuer un virement bancaire (avec contrôle d'identité) distant (via internet ou un minitel) ou local (directement à l'agence). Pour cela il faut: * Déterminer les acteurs et les relations d'héritage entre acteurs (si nécessaire) * Déterminer les use cases * Déterminer les relations entre acteurs et Use cases * Déterminer les relations entre les différents use cases * Si VB (distant ou local) > 1000 Euros vérifier le CB et si VB > 1000000 eu… text/html 2013-03-24T16:55:04+02:00 https://get-the.net/doku.php?id=culture:questions&rev=1364140504&do=diff " Avis d'un expéditeur: C'est excellent !!!! il y a de la logique certes mais aussi beaucoup d'imagination ....." Justice sociale * Le Professeur: Que dois-je faire pour répartir 11 pommes de terre entre 7 personnes ? * L'élève: Purée de pommes de terre, m'sieur ! text/html 2009-12-05T10:34:09+02:00 https://get-the.net/doku.php?id=m1ilc:compil_iii_2&rev=1260005649&do=diff III. Traduction dirigée par le syntaxe * Objectif : réaliser la traduction d'un texte (ou d'un programme) dans un code intermédiaire equivalent. * Idée : associer des informations aux règles de grammaire. On distingue parmi les grammaires ainsi enrichies : * grammaires de traduction * grammaires attribuées 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-08T13:05:21+02:00 https://get-the.net/doku.php?id=m1ilc:fain_segments&rev=1262952321&do=diff Algorithmes de tracé de segments de droites Problème: étant donné deux points P et Q de coordonnées entières, afficher le segment de droite PQ. C'est à dire, déterminer les pixels approximant le segment et donnant l'impression visuelle. Rappel: Droite de pente k passant par un point et de vecteur directeur . text/html 2010-01-02T11:45:27+02:00 https://get-the.net/doku.php?id=m1ilc:fouille_4&rev=1262429127&do=diff Arbres de Décision Intérêts Le grand intérêt des arbres de décision est qu'ils combinent l'approche logique et l'approche statistique, pour donner un modèle expressif et lisible flou (c'est à dire, probabiliste et non déterministe). Ainsi ils produisent un modèle qui peut être traduit sous forme de règles, exprimant une conditionnalité complexe (avec disjonctions) des valeurs discrètes à prédire. text/html 2009-12-29T15:43:14+02:00 https://get-the.net/doku.php?id=m1ilc:fouille_1&rev=1262097794&do=diff Introduction Motivations * Il y a des questions, des prémisses de décisions, que l'humain a besoin ou envie (économique) de traiter; * Ces “études” peuvent impliquer des quantités de données et besoins en calcul énormes; * La technologie permet économiquement de faire des traitements qu'on ne pouvait pas faire il y a peu d'années. * De quoi a-t-on besoin ? Extraire des connaissances intéressantes et utiles à partir des text/html 2010-11-12T12:19:24+02:00 https://get-the.net/doku.php?id=m2ilc:qualite_2&rev=1289560764&do=diff 12 novembre MMX * Projets * Différents modèles de développement * Besoins Rappels sur le cours précédent Rappel : un produit ou service de qualité est un produit dont les caractéristiques lui permettent ... contrôle ISO 9001 * Démontrer l'aptitude à fournir régulièrement un porduit onforme aux exigence du client et aux exigence réglementaires applicables. * Chercher à accroître la satisfaction des clients... text/html 2010-01-09T20:14:20+02:00 https://get-the.net/doku.php?id=m1ilc:fain_cercles&rev=1263064460&do=diff Algorithmes de tracer de cercles Pour l'étude, on considère la partie dans le deuxième octant (x>0, y>x) d'un cercle de rayon R et centre (0,0). x2 + y2 = R2. Deux approches se présente : * Calculs flottants : pour y=arrondi(sqrt{R*R - x*x) * Algorithme de Bresenham (analogue de son algorithme pour les segments) : incrémentale, arithmétique entière. text/html 2010-05-23T16:14:05+02:00 https://get-the.net/doku.php?id=m1ilc:bioinfo_2&rev=1274624045&do=diff Introduction Algorithme Naïf Pour perspective, partons de l'algorithme naïf et le calcul de son complexité. L'algorithme naïf cherche un mot x de longueur |x|=m dans un texte y de longueur |y|=n. Il étudie tous les cas possibles, en comparant x au contenu d'une fenêtre glissante sur y de longueur m. 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 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-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 2011-05-19T21:50:10+02:00 https://get-the.net/doku.php?id=projet_dch:transactions&rev=1305834610&do=diff L'application sert à gérer des documents fournis par les utilisateurs, à partir de documents squelette fourni par l'administrateur, selon un calendrier de rendu, et avec une gestion de qui fourni quel document quand, qui note quel document quand. Donc, il est fondamentale d'avoir la possibilité text/html 2010-05-12T09:35:56+02:00 https://get-the.net/doku.php?id=m1ilc:easea&rev=1273649756&do=diff Easea est une application " un langage de haut niveau dédié à la spécification d'algorithmes d'évolution artificielle. Easea jusqu'à la version 0.7 compile des fichiers de spécification .ez en fichiers objet C++ ou Java, utilisant GA." Il est maintenant à la version 1.0. Il compile en C++, mais en Java? Comment faire? Il manque de documentation. Pour commencer à palier à ça, voici ce qui nous a été communiqué par les auteurs. 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 2009-08-06T20:45:51+02:00 https://get-the.net/doku.php?id=java:quad_dble&rev=1249584351&do=diff Après QuadAleas vient QuadDble " ... une classe avec quatre fils de type Object, ... une méthode setValue (ou metsValeur pour faire plus français) qui modifie la valeur d'un fils pour voir si c'est possible ou s'il faut remplacer l'objet fils. " 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 2013-03-24T15:56:40+02:00 https://get-the.net/doku.php?id=culture:vendee&rev=1364137000&do=diff Un paysan part acheter une vache à un copain.Celui-ci, habite en Vendée, et lui vend la vache un peu cher. Dans le camion lors du retour le paysan dit à son fils :“Vu le prix qu'on l'a payée, dés qu'on arrive à la ferme, on la met à saillir directement.” text/html 2010-11-10T14:04:52+02:00 https://get-the.net/doku.php?id=m2ilc:uml_jour_2&rev=1289394292&do=diff Basée sur RUP. Analyse/conception adaptée à leur (celui de C-S) métier. a.k.a. UML-NEPTUNE Requirements Analysis Deux type d'acteurs, * external entity (fournisseurs de données, notamment) * active actor : interagit avec le système On recense les acteurs, et les classe. On va les décrire par 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 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-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-11-12T14:23:44+02:00 https://get-the.net/doku.php?id=m2ilc:qualite_1&rev=1289568224&do=diff " Exercice interactif : aller de Strasbourg à Paris. Quelles questions faut-il poser pour établir un cahier de charges suffisant?" un produit ou service de qualité est un produit dont les caractéristiques lui permettent de satisfaire les besoins exprimés ou implicites des consommateurs. Par conséquent, un système d'information de qualité se juge text/html 2009-08-06T20:45:51+02:00 https://get-the.net/doku.php?id=java:quad_aleas&rev=1249584351&do=diff QuadAleas “faire une classe avec quatre fils de type objet, un constructeur qui affecte des valeur random() à des objets Double qui deviennent ces fils [avec des System.out.println des valeurs qu'il affecte], une méthode de lecture des valeurs des fils. Et une procédure test qui invoque cette classe et demande les valeurs pour vérifier que ça c'est bien passé. ” text/html 2009-05-06T16:55:51+02:00 https://get-the.net/doku.php?id=java:suivi&rev=1241621751&do=diff 6 mai Plus qu'un (ou deux) jours pour finaliser. * Priorité 1 : une classe qui satisfait au cahier des charges. Elle est basée sur QuadDble, parce que ça compile et ça marche. Il serait mieux d'avoir des fils d'un type plus spécifique que Object, et de ne pas devoir faire des cast, mais compte tenu des problèmes de compilation et d'exécution avec heritage rencontrés ces derniers jours, ce serait trop risqué de tout parier sur cette voie. * a.plus(QuadDble b) : ça marche * a.moins(Q… text/html 2011-11-15T08:24:21+02:00 https://get-the.net/doku.php?id=emacs:emacs-build&rev=1321341861&do=diff Contexte Pour des raisons de stabilité, contrôle de la qualité, tests avant diffusion d'une nouvelle distribution d'Ubuntu, les paquets des applications sont généralement pas les plus récents. En effet, Ubuntu 10.10, d'octobre 2010, comporte emacs 23.1 de juillet 2009! Tandis que les binaires pour Windows sont de version 23.3, de mars 2011. Aussi je souhaite installer cette nouvelle version (23.3a) pour utilisation avec Ubuntu. text/html 2013-05-12T11:32:54+02:00 https://get-the.net/doku.php?id=lynx:delicious&rev=1368351174&do=diff Delicious.com est en panne souvent depuis l'amélioration de leur application en début de cette année (2013). Puisque j'ai ce wiki, je vais m'en servir (provisoirement?) pour mes liens. Je ne sais pas encore faire ça au mieux pour pouvoir retrouver des liens par étiquette par la suite. Pour démarrer, une page par site? text/html 2013-06-03T11:04:00+02:00 https://get-the.net/doku.php?id=culture:epoque_formi&rev=1370250240&do=diff Tr: tr: Fw: Comme dit l'autre : 1969-2011 - EXCELLENT ET TELLEMENT VRAI !!!! Du lait, du beurre et des œufs 1969 : Tu vas chercher du lait chez le crémier, qui te dit bonjour, avec ton bidon en alu, et tu prends du beurre, fait avec du lait de vache, coupé à la motte. text/html 2011-09-26T12:41:36+02:00 https://get-the.net/doku.php?id=mentions_legales&rev=1317033696&do=diff Mentions Légales Editeur Get-the.net est un service de communication au public en ligne édité à titre non professionnel au sens de l'article 6, III, 2° de la loi 2004-575 du 21 juin 2004. Conformément aux dispositions de cet article, son éditeur a choisi de rester anonyme. text/html 2010-10-06T11:30:37+02:00 https://get-the.net/doku.php?id=m2ilc:coq&rev=1286357437&do=diff Pré-requis * M1 Informatique : Sémantique et spécifications algébriques * M1 Informatique : Ingénierie de la preuve Contenu * Critères de qualité d'un système logiciel et enjeux de la certification. Exemples avec les langages et ateliers VDM, Z, B, UML... * Certification assistée par ordinateur avec Coq. * Compléments sur le langage, les tactiques et les librairies. * Techniques de définition de types et stratégies de preuves. * Pré et post-conditions, invariants, gestion … 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-09T09:21:24+02:00 https://get-the.net/doku.php?id=m1ilc:preuves_defs&rev=1302333684&do=diff Création de Types Avec Inductive Inductive jour : Set := lundi : jour | mardi : jour | mercredi : jour | jeudi : jour | vendredi : jour | samedi : jour | dimanche : jour.Inductive fonction : Set := fid: fonction |fconst: R -> fonction |fsin: fonction |fcos: fonction |fexp: fonction |fplus: fonction -> fonction -> fonction |fmoins: fonction -> fonction -> fonction |fmult: fonction -> fonction -> fonction |fcomp: fonction -> fonction -> fonction . Ensuite, pour concretiser (interpréter) les fonc… text/html 2011-05-13T10:44:45+02:00 https://get-the.net/doku.php?id=m2ilc:qualite_6&rev=1305276285&do=diff Annexe 11 -- EU GMPs (Pharmas Européenne) * L'annexe 11 est le texte réglementaire de référence pour les bonnes pratiques de fabrication (industrie pharma). * elle a été récemment modifiée * texte très court : 2,5 pages * implications sont potentiellement grandes 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 2010-01-09T20:29:50+02:00 https://get-the.net/doku.php?id=m1ilc:algorithmes_distribues&rev=1263065390&do=diff Algorithmes Distribués Synoptique Prof Site Cours TP TD ECTS M. P. Gançarsky site perso du prof 24h 3 Contenu Aspects algorithmiques des systèmes distribués (ou répartis). Etude d'algorithmes distribués pour la résolution de problèmes de communication, d'allocation de ressources et de synchronisation. Exclusion mutuelle par échange de messages. Diffusion. Arbres couvrants. Tâches : ordonnancement, terminaison, répartition des calculs. Coopération et concurrence entre process… 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-10T08:54:38+02:00 https://get-the.net/doku.php?id=m1ilc:fain_td1&rev=1263110078&do=diff FAIN TD 1 Exercice 1 Reconnaitre des figures 4-connexes et 8-connexes. 7 7 bb b b 7 7 6 6 c d 6 6 5 5 c a d 5 5 4 4 c a d 4 4 3 3 c a d 3 3 2 2 c d 2 2 1 1 dd d d d 1 1 0 0 0 0 0 1234567 0 1234567 0 1234567 0 1234567 ensemble 1 ensemble 2 ensemble 3 ensemble 4 * ensemble 1 est 4-connexe, et donc 8-connexe (aussi) * ensemble 2 n'est ni 4-connexe, ni 8-connexe puisque la “barr… 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-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-06T11:32:01+02:00 https://get-the.net/doku.php?id=m1ilc:c_et_c_9&rev=1262773921&do=diff II. Indécidabilité II.1 Thèse de Church-Turing On a vu au chapitre précedent plusieurs modèles de calcul qui étaient tous équivalents aux MT standard. Church et Turing cherchaient à caractériser ce qu'on savait calculer mécaniquement: calcul booléen, décidabilité des langages récursifs. En même temps, il y avait du travail fondamental sur la formalisation des mathématiques (Hilbert, notamment) et les (possibilité de) preuves mécaniques. text/html 2010-01-04T15:02:26+02:00 https://get-the.net/doku.php?id=m1ilc:compilation_resume_as&rev=1262613746&do=diff Résumé -- Analyse Syntaxique * Il y deux manières de réaliser l'analyse syntaxique : descendante et ascendante. L'analyse descendante cherche à simuler le processus de production; l'analyse ascendante cherche à remonter (défaire) le processus de production. 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 2009-11-30T14:17:25+02:00 https://get-the.net/doku.php?id=m1ilc:c_et_c_2&rev=1259587045&do=diff Composition de Machines de Turing D'abord, un petit exercice de conception d'une MT (assez) simple : Exercice : MT qui inverse a et b Pour un MT avec , trouver une MT qui change a en b et b en a. S = symbole lu Q = état qi sj qij sij dij 0 > 0 -> Si début de ruban, on avance à droite 0 c 0 -> si on lit c on avance au caractère suivant 0 a 1 b si on lit a on écrit b et se prépare à avancer en passant à l'état 1 0 b 1 a si on lit b on écrit a et se prépare à … text/html 2009-12-23T12:04:24+02:00 https://get-the.net/doku.php?id=m1ilc:compil_td_2a&rev=1261566264&do=diff TD 2 : Analyse Syntaxique Descendante Grammaire récursive Grammaire G0 E -> E+T | T T -> T*F | F F -> (E) | id | cte Cette grammaire est récursive à gauche. Pour la dérécursiver, nous observons que * E -> T ou T+T ou T+...+T * F -> F ou F*F ou F*...*F 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-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 2010-03-30T22:23:42+02:00 https://get-the.net/doku.php?id=m1ilc:fainbis_scilab&rev=1269980622&do=diff Compte Rendu Suite à quelques difficultés pour faire ce TP ce matin, j'ai constaté que la configuration de l'installation des logiciels chez moi permettait d'aller plus loin. ___________________________________________ scilab-5.1 Consortium Scilab (DIGITEO) Copyright (c) 1989-2009 (INRIA) Copyright (c) 1989-2007 (ENPC) ___________________________________________ Initialisation: Chargement de l'enviro… text/html 2010-05-24T08:19:25+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_2&rev=1274681965&do=diff II. Sémantique d'un langage de programmation NB On ne peut donner un sens à un énoncé que s'il est bien typé. Les types sont des éléments essentiels dans la construction des programmes. Ils sont liés à des notions de spécification de de preuve (spécification algébrique de types) que nous développerons dans un chapitre dédié. La sémantique d'un langage de programmation est ce qui donne la signification aux programmes, les notions permettant de définir formellement les opérations sur les don… text/html 2009-10-19T11:14:50+02:00 https://get-the.net/doku.php?id=m1ilc:c_et_c_5&rev=1255943690&do=diff 1.5 Machines de Turing non-déterministes Exemple FIXME faut faire un dessin déf : semi-décidabilité déf : décision déf : calcule Remarque Toute MT est un MTND. Est-ce qu'on peut avoir une MT équivalente à une MTND? Théorème d'équivalence Si une MTND décide (resp. semi-décide) un langage L, alors il existe une MT standard qui décide (resp. semi-décide) L. text/html 2010-05-24T11:18:12+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_c&rev=1274692692&do=diff Dans ce chapitre, nous présentons la logique dite équationnelle, utilisée pour faire la preuve de théorèmes et nous établissons le lien entre les théorèmes d'une spécification et les propriétés des opérations dans les modèles de la spécification. text/html 2010-05-24T13:49:11+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_7&rev=1274701751&do=diff Preuves de correction (suite) Exemple Démontrons ce théorème d la logique de Hoare : a:= n; b:= m while b<>0 do a:=a+1; b:=b-1 {a=n+m} | {n+m = n+m} a:=n {a+m = n+m} | Axiome 1 | {a+m = n+m} b:=m {a+b = n+m} Axiome 1 {n+m = n+m} a:=n; b:=m {a+b = n+m} R1 vrai => n+m = n+m {vrai} a:=n; b:=m {a+b = n+m= Règle 4 corps de l'itération {a+1+b-1 = n+m} a:= a+1 {a+b-1 = n+m} Axiome 1 {a+b-1 = n+m} b:= b-1 { {a+b = n+m } Axiome 1 {a+1+b-1 = n+m} a:=a+1; b:=b-1 {a+b = n+m} [ Règle 1… text/html 2010-09-11T09:56:39+02:00 https://get-the.net/doku.php?id=m2ilc:optim&rev=1284191799&do=diff Evolution artificielle et optimisation de systèmes complexes' Pré-requis Avoir acquis l'UE “Optimisation stochastique” du M1. Contenu Unification des algorithmes évolutionnaires. Evolution artificielle avancée pour les problèmes combinatoires (hybridation avec recherche locale) et continus. Algorithmes multicritères (NSGA-II,...). text/html 2010-05-20T10:49:59+02:00 https://get-the.net/doku.php?id=m1ilc:search_b_m&rev=1274345399&do=diff Boyer-Moore Algorithme de Boyer-Moore Recherche d'une chaîne dans un texte Quelle complexité pour l'algorithme « standard » ? Algorithme Temps Pre-traitement Temps d'Appareillement Naïf 0 O((n-m+1) m ) Rabin-Karp θ(m) O((n-m+1) m ) Automate E.F. O(m|∑|) θ(n) Knuth-Morris-Pratt θ(m) θ(n) Boyer-Moore O(n/m) au mieux O(m+n) au pire [Comment] Peut-on mieux faire ? text/html 2010-05-19T19:07:21+02:00 https://get-the.net/doku.php?id=m1ilc:search_1&rev=1274288841&do=diff Alphabet et Mots lettresmot vide * L'ensemble des mots sur l'alphabet A est noté A* * L'ensemble des mots sur l'alphabet A excepté le mot vide ε est noté A+ * La longueur d'un mot x est la longueur de la suite associée au mot x et est notée |x|. On note x[i], avec 0 ≤ i ≤ |x|-1, la lettre à l'indice i de x avec par convention une numérotation des indices à partir de 0. L'indice i représente une position sur x si x ≠ ε. La j-ième lettre de x est la lettre à la position j-1 sur x et x=x… 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-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-18T18:01:39+02:00 https://get-the.net/doku.php?id=m1ilc:algoplus&rev=1274198499&do=diff Algorithmique avancée Enseignant Site/Liens Cours TD TP ECTS M. Basile SAUVAGE Materiel 2008 ou Sauvage:enseignements 18 18 3 Objectifs savoir-faire et compétences -- Analyse d'algorithmes Contenu Etude des principales familles d'algorithmes : diviser pour régner, méthodes gloutonnes, programmation dynamique, algorithmes randomisés. Algorithmes approchés pour la résolution de problèmes difficiles. Prérequis Algorithmique de base, structures de données, programmation impérative… text/html 2010-05-19T08:55:15+02:00 https://get-the.net/doku.php?id=m1ilc:preuves_3&rev=1274252115&do=diff Currification Exercice Montrer que la formule suivante est valide / prouvable : (A -> (B -> C)) <-> (A ∧ B -> C) Remarque: -> est associatif à droite, on aurait pu écrire: (A -> B -> C) $<->(A ∧ B -> C) Pourquoi utiliser la currycation ? Afin de pouvoir réaliser des applications partielles plus facilement. Remarque: cette opération porte le nom de Haskell Curry (1900-1982). text/html 2010-10-03T07:07:20+02:00 https://get-the.net/doku.php?id=m1ilc:complexite_et_calculabilite&rev=1286082440&do=diff Synoptique Prof Site Cours TP TD ECTS M. Pascal Schreck 24h 3 Contenu Extensions des machines de Turing, machines de Turing non déterministes. Récursivité (au sens de Turing) et mu-récursivité (au sens de Church). Thèse de Church-Turing. Machine de Turing universelle et non-calculabilité. Exemples de problèmes indécidables, classes de complexité : P, NP et EXP, NP-complétude. Pre-requis Théorie des langages Références Lewis & Papadimitriou, “Elements of the theory of com…