http://get-the.net/ 2026-08-26T00:53:35+02:00 http://get-the.net/ http://get-the.net/lib/images/favicon.ico text/html 2010-01-01T12:40:57+02:00 http://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 2010-01-10T16:51:55+02:00 http://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-02-18T13:32:12+02:00 http://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-04-21T10:51:25+02:00 http://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-04T20:51:30+02:00 http://get-the.net/doku.php?id=java:code_finder&rev=1272999090&do=diff Notre projet BioInfo est (ou était) de développer des algorithmes efficaces pour une recherche combinatoire. Il nous est donné un alphabet de soixante symboles (64 mais dont 4 vite exclus pour impossibilité de respecter les contraintes) et des contraintes à vérifier pour des sous-ensembles de ces symboles, pour trouver tous les sous-ensembles vérifiant ces contraintes (et combien existent par cardinalité, combien ont certaines autres propriétés) ce qui paraitrait donner 260-1 possibilités!… text/html 2010-01-08T12:54:00+02:00 http://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 2011-05-10T17:55:20+02:00 http://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-10-09T18:44:50+02:00 http://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 2009-12-05T10:34:09+02:00 http://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 2009-12-29T15:43:14+02:00 http://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-04-13T06:16:39+02:00 http://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-13T09:41:49+02:00 http://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-01-08T13:05:21+02:00 http://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-03-23T13:34:48+02:00 http://get-the.net/doku.php?id=m1ilc:bioinfo_projet&rev=1269347688&do=diff Recensement de codes circulaires Il s'agit d'un problème d'énumération combinatoire efficace (ou très gros moyens de calcul) pour dénombrer (et lister, éventuellement) les ensembles de trils (trinucléotides ou trilettres) de A43 qui sont des codes circulaires, puis parmi ces ensembles, ceux qui sont maximaux, maximaux et autocomplémentaires, maximaux et C3, et (enfin) à la fois maximaux, autocomplémentaires et C3. text/html 2009-12-23T15:05:22+02:00 http://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-12T12:19:24+02:00 http://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-04-10T09:36:56+02:00 http://get-the.net/doku.php?id=m1ilc:semantics_3&rev=1270885016&do=diff Sémantique Dénotationnelle d'un langage de programmation Consiérons maintenant un langage de programmation impérative simplifié (que nous appellerons “L”) comportant : * instructions de base * l'affectation : x := expr * l'instruction vide : skip text/html 2011-01-14T12:01:21+02:00 http://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 2010-05-19T07:50:34+02:00 http://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 2010-02-06T18:59:27+02:00 http://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-05-25T18:24:52+02:00 http://get-the.net/doku.php?id=m1ilc:bioinfo_5_3&rev=1274804692&do=diff Énoncé du problème Matrice de substitution à 2 paramètres : il existe deux taux de substitution, un à l'intérieur des purine et pyrimidines, et un entre purines et pyrimidines. Soient * α le taux de transition (intra-classe) * β le taux de transversion (entre classes) text/html 2011-11-15T08:24:21+02:00 http://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 2010-01-04T17:28:33+02:00 http://get-the.net/doku.php?id=m1ilc:compil_2&rev=1262622513&do=diff Analyse Syntaxique Introduction Le rôle de l'analyse syntaxique est de * déterminer si la suite de tokens est conforme à la grammaire définissant le langage source; * repérer [et signaler] les erreurs syntaxiques; * définir l'arbre de syntaxe abstraite. text/html 2010-01-28T13:45:31+02:00 http://get-the.net/doku.php?id=m1ilc:lattices_0&rev=1264682731&do=diff Choisir l'algorithme Après (première) lecture de “Comparing performance of algorithms for generating concept lattices” by SERGEI O. KUZNETSOV, j'ai constaté : " Compte tenu des résultats qu'il affiche et d'autres considérations, plusieurs paires se suggèrent. Une axe est celle du type de problème :(a) petit et éparse (ou contexte creuse?), (b) moyen, ou (c) grand et à contexte dense. Donc, une sorte de paire serait (a)-(b) [Godin et Bordat], (b)-(c) [Bordat et un parmi Norris, CbO et Nex… text/html 2013-06-03T11:04:00+02:00 http://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 2016-03-19T13:27:15+02:00 http://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 2010-05-25T20:29:59+02:00 http://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-10-03T11:29:44+02:00 http://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-10-06T11:30:37+02:00 http://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 2010-10-06T13:57:42+02:00 http://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-04-10T15:04:11+02:00 http://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-05-13T10:44:45+02:00 http://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 2013-03-24T16:55:04+02:00 http://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 2011-05-10T12:46:29+02:00 http://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 2011-04-09T09:21:24+02:00 http://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-01-18T10:13:56+02:00 http://get-the.net/doku.php?id=multidimensional_scaling&rev=1295342036&do=diff Principes L'échelonnement multidimensionnel (multidimensional scaling) est une famille de procédures--dont certaines métriques, d'autres non métriques-- d'analyse de matrices de dissimilarité. Ceci peut être vu comme une alternative à (ou généralisation de?) l'analyse factorielle : des matrices de corrélation, similarité ou dissimilarité peuvent être analysées. text/html 2010-10-03T07:07:20+02:00 http://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… text/html 2011-01-13T20:47:47+02:00 http://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 2010-05-13T10:12:18+02:00 http://get-the.net/doku.php?id=m1ilc:fainbis&rev=1273738338&do=diff Traitement d'images Enseignant Site/Liens Cours TD TP ECTS M. Etienne Baudrier Enseignement 18 12 6 Objectifs Connaissances de base en traitement d'images statiques 2D. Contenu Formation d'images, perception visuelle. Résolution et quantification. Format bitmap et couleur. 24 févrierOpérations sur les contrastes et les histogrammes. Seuillage, double seuillage, et seuillage automatique. 3 marsFiltres linéaires, lissage, rehaussement et accentuation d'arêtes. 31 marsF… text/html 2010-01-09T20:14:20+02:00 http://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-01-09T20:29:50+02:00 http://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-10T08:54:38+02:00 http://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-08T15:37:54+02:00 http://get-the.net/doku.php?id=m1ilc:fain_1&rev=1262961474&do=diff FAIN : Cours 1 Notions de topologie discrète Définition : une image 2d est représentée par une grille d'affichage I(x,y) telle que I(x,y) définit la couleur d'un pixel de coordonnées (x,y) avec , pixel(x,y) = centre du carré de coté égal à l'unité. text/html 2010-01-06T21:20:43+02:00 http://get-the.net/doku.php?id=m1ilc:c_et_c_a&rev=1262809243&do=diff II.4 Problèmes Indécidables Théorème (rappel) * H n'est pas récursif * Il existe des langages récursivement énumérables qui ne sont pas récursifs * La classe des langages récursivement énumerables n'est pas stable par complément * Exemple : * H n'est pas récursif et n'est pas récursivement énumerable. text/html 2010-01-05T06:39:03+02:00 http://get-the.net/doku.php?id=m1ilc:compil_3&rev=1262669943&do=diff Analyse Syntaxique (2) Analyse Ascendante Ceci conduit à des analyseurs plus puissants au sens où elle réussit avec un sur-ensemble stricte de grammaires. Exemple La grammaire G0 mais sans la multiplication * E -> E + T * E -> T * T -> (E) * T -> id text/html 2010-01-06T11:32:01+02:00 http://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-10T12:30:37+02:00 http://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-01-19T11:34:56+02:00 http://get-the.net/doku.php?id=m1ilc:semestre_2&rev=1263897296&do=diff S2 : UE obligatoires Enseignements ILC (ou partagés) jour horaire ECTS Responsable Hrs CI/CM Hrs TD Hrs TP Hrs Perso Fil. Langues lundi 8:00-12:00 3 M. Prim 24 51 ILC/ISI Algorithmique avancée mardi 8:30-11:45 3 M. Sauvage 18 18 39 ILC/ISI Optimisation stochastique mardi 14:30-17:45 3 M. Collet 24 12 39 ILC Problèmes et méthodes algorithmiques en bioinformatique mercredi 13:30-16:45 3 M. Michel 24 12 39 ILC Sém… text/html 2010-05-27T21:39:41+02:00 http://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-07-15T10:41:11+02:00 http://get-the.net/doku.php?id=m1ilc:semestre_1&rev=1279183271&do=diff Cours qu'on a pas eu A la fin de cette première année, on peut constater qu'on nous a parlé d'ordres partiels, de point fixes, de weakest preconditions, de treillis de Gallois, et certainementent d'autres sujets qu'on aurait mieux compris si on avait eu un cour en treillis et ordres avant. text/html 2010-05-24T13:49:11+02:00 http://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-05-20T10:49:59+02:00 http://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 2009-04-15T09:53:27+02:00 http://get-the.net/doku.php?id=m1sa:semestre_2&rev=1239782007&do=diff Voiçi un petit résumé (très) succincte du deuxième semestre de M1 Statistiques et Applications, la première année de ce Master à U-Strasbg. Il y a des pages avec mes notes de cours (rédigées et augmentées) et exercices, mais par respect de la propriété intellectuelle, copyright, etc. des professeurs, je ne les partage qu'avec les autres étudiants de mon groupe. text/html 2010-05-13T22:29:20+02:00 http://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-09-11T09:56:39+02:00 http://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,...).