https://get-the.net/ 2026-09-12T07:18:11+02:00 https://get-the.net/ https://get-the.net/lib/images/favicon.ico 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 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-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-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-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 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 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 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-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 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 2011-06-07T19:15:43+02:00 https://get-the.net/doku.php?id=m2ilc:parallelisme&rev=1307466943&do=diff Applications Distribuées * Prof. Stéphane Genaud * Prof. Stéphane Vialle pour sa page perso, et page avec supports spécifique à notre cours. * * " Objectif : connaître les technologies disponibles pour réaliser des traitements (et stockage?) informatiques répartis." text/html 2010-05-24T17:46:44+02:00 https://get-the.net/doku.php?id=m1ilc:bioinfo_6&rev=1274716004&do=diff Définitions +1...n1...m1...n1...mii... Exercice L'ensemble A34 est-il un code? Oui : * x1,...,xn = x'1,...,x'm implique que n=m car tous les mots ont longueur 3. * => xi=x'i car ils arrivent aux mêmes positions (3*(i-1)..”*(i-1+2) et les deux concaténations sont égales. 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-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-25T18:24:52+02:00 https://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-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 2010-09-16T11:39:21+02:00 https://get-the.net/doku.php?id=m2ilc:sd_1&rev=1284629961&do=diff Applications Distribuées 1 Voir : slides , sachant qu'on navigue avec ⇑ et ⇓ (css=slides). slides reformattés Mes gribouillages * Introduction * RMI * Web Services (SOAP) * REST * JSON * MPI (parallèle par passage de messages) : adaptée aux gros calculs * MapReduce : très spécialisée, promue par Google pour son moteur de recherche; adaptée aux grosses données * JXTA (pair-à-pair), d'un intérêt et d'un avenir discutables 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-05-24T10:09:55+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_5&rev=1274688595&do=diff Sémantique des Programmes Récursifs On considère une autre construction dans les langages de programmation, celle des programmes récursifs. Un programme récursif (fonction ou procédure) est récursivement associé à un nom. Le corps du programme fait explicitement référence à ce nom (c'est ce qu'on désigne par “appel récursif”). 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 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-04T20:51:30+02:00 https://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-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-05-26T18:51:16+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_9&rev=1274892676&do=diff Raffinement de Programmes Le raffinement établit une relation entre des programmes. => La propriété de satisfaction peut être par exemple * la correction partielle. * * la correction total : * . En particulier, : si P termine, alors P' termine aussi. 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 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 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 2013-04-28T18:45:25+02:00 https://get-the.net/doku.php?id=recipes&rev=1367167525&do=diff Working long hours and raising children at the same time didn't leave me long hours to prepare meals every day. I also tried to limit my grocery shopping to once a week--on Saturday like everyone else! I'd make a menu plan for the week, prepare my shopping list accordingly (I even had an order-form like sheet I printed with the computer, with product categories arranging in the order of the aisles in my regular supermarket), and shop around noon, when most people were at lunch. text/html 2010-09-11T10:12:58+02:00 https://get-the.net/doku.php?id=m2ilc:droit&rev=1284192778&do=diff Contenu, selon la page officielle de la fac... " Les enseignements sont axés sur les nouvelles technologies de l'information et de la communication. A partir des textes applicables et de la jurisprudence, ils portent sur l'ensemble des questions juridiques liées à l'informatique et à l'Internet. Les enseignements sont pratiques, ils se déroulent autour d'études de cas ou de mises en situation et la pédagogie est fondée sur l'autonomie et l'interactivité." 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 2011-02-08T18:09:48+02:00 https://get-the.net/doku.php?id=m2ilc:coq_2&rev=1297184988&do=diff Rappels Coq Prédicats inductifs boolProp Exemple : parité Inductive even:nat -> Prop:= | even_0: even 0 | even_SS: forall m:nat, even m -> even(S(Sm)) Definition even n:= div2 n = div2(Sn) Une autre façon de définir even (croisée avec odd): 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 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 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 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-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-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-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-01-08T15:37:54+02:00 https://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-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-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-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 2010-01-04T17:28:33+02:00 https://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-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-04-10T09:36:56+02:00 https://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 2010-01-31T10:16:18+02:00 https://get-the.net/doku.php?id=comment_debug&rev=1264929378&do=diff Close by One Commentaires Initialement, on n'a aucun concept. For each L'algorithme va utiliser successivement chaque objet comme “graine” puis explorer les possibilités d'agrandir l'extension qu'il engendre par le rajout d'un objet lexicographiquement supérieur. Process ( ) est le concept dont l'intention correspond aux attributs de g, et est l'extension fermée correspondante. L is the concept set. On a élaboré toutes les extensions. Maintenant, voyons comment l'exploration et … 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-05-24T10:19:21+02:00 https://get-the.net/doku.php?id=m1ilc:semantics&rev=1274689161&do=diff Sémantique Enseignant Site/Liens Cours TD TP ECTS Cours : E. Violard TD : N. Magaud à voir. peut être des TD/TP via racine de N. Magaud 18 18 Objectifs Acquérir les bases théoriques des techniques de spécification et preuve de programme. Contenu Preuve de programmes. Correction partielle et terminaison. Préconditions, postconditions, invariants, variants. Logique de Hoare. Weakest préconditions de Dijkstra. Application à la construction rationnelle de programmes. … 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-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 2010-05-23T10:37:56+02:00 https://get-the.net/doku.php?id=m1ilc:bioinfo&rev=1274603876&do=diff Problèmes et méthodes algorithmiques en bioinformatique Enseignant Site/Liens Cours TD TP ECTS M. Christian Michel 24 12 Objectifs Ce cours présente les principaux problèmes et méthodes algorithmiques en bioinformatique. Contenu Méthodes statistiques de recherche de motifs biologiques: * fréquences d'occurrence et significativité, * fonctions de corrélation et ses transformées, * entropie, * méthodes graphiques (exemple avec la représentation “Chaos Game”), * méthodes st… 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-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 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 2010-05-19T09:59:30+02:00 https://get-the.net/doku.php?id=m1ilc:preuves_egalite&rev=1274255970&do=diff L'égalité en Coq Check eq. eq : forall A : Type, A -> A -> Prop Check refl_equal. refl_equal : forall (A : Type) (x : A), x = x C'est un type polymorphe (A:Type). Cela signifie que l'on a une relation d'égalité générique dont le premier argument est le type des éléments à comparer. 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 :