https://get-the.net/ 2026-07-30T21:38:42+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 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-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 2011-05-09T19:32:36+02:00 https://get-the.net/doku.php?id=projet_dch:model_db&rev=1304962356&do=diff Interactions controller-model avec attention à l'utilisation des structures de données par les View Create Promo $user = Model_DB::listAllUsers('last_name'); $userArray = $user->fetchAll(); $this->registry->template->userArray = $userArray; view 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-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-05-19T10:04:51+02:00 https://get-the.net/doku.php?id=m1ilc:preuves_sortes&rev=1274256291&do=diff Les sortes Une sorte est un type pour les types. Les propositions A, B, etc. sont des types (ceux de leurs termes de preuves). Ces types sont de type Prop. On dit que A, B, etc. sont de sorte Prop. D'un autre coté, les booléens bool, les entiers nat sont des types dont le type est Set. Set et Prop sont de type Type. 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 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 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-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 2011-09-02T11:46:33+02:00 https://get-the.net/doku.php?id=ubuntu:ratpoison&rev=1314956793&do=diff As I've used emacs more and more, after a few months trying to compose LaTeX documents with LyX, I'm enjoying less and less using non-keyboard input devices (so-called “mice”). So I was intrigued by Ratpoison, a Linux window manager called ratpoison. I learned of it via Ubuntu Lite installation, which also provides lots of other interesting suggestions. 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 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 2009-08-25T19:36:53+02:00 https://get-the.net/doku.php?id=jsm_button&rev=1251221813&do=diff Because I have used the jsMath plugin a lot, and the shorthand mark-up ($..$ or [..]) doesn't suit me because I use those symbols in my texts, I felt it would be useful to have a button (or more) in the edit form to automatically insert jsMath mark-up. It is possible to do this by adding a plugin of the “Action” family. 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 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 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-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-06-27T17:07:04+02:00 https://get-the.net/doku.php?id=projet_dch:charset&rev=1309187224&do=diff Etant donné que la syntaxe de la fonction pour envoyer un courriel en php est bool mail ( string $to , string $subject , string $message [, string $additional_headers [, string $additional_parameters ] ] ) et la solution pour les headers http est de la forme text/html 2012-11-20T14:42:29+02:00 https://get-the.net/doku.php?id=shoes&rev=1353418949&do=diff Some shoes. Some are really old, some are worn out, some are new or newer. Some are of a type one doesn't find any more, at least for men. Slip-ons, sports shoes, Clarks, and boots have their own pages. Rieker Anti-Stress (2012) Size 44 extra weit 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 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 2016-03-19T13:54:31+02:00 https://get-the.net/doku.php?id=emacs:emacs_25_0_w64&rev=1458392071&do=diff Acquisition et installation * Acquisition depuis <http://emacsbinw64.sourceforge.net/>. * Acquisition de 7zip aussi, car c'est la compression utilisé pour ce paquet. * Décompression dans C:\opt\emacs (pour changer, pas dans C:\Program Files (x86)\GNU\emacs cette fois. * Modification du lien Windows dans menu démarrage pour tenir compte du nouveau chemin. 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 2009-11-03T08:29:06+02:00 https://get-the.net/doku.php?id=m1ilc:c_et_c_7&rev=1257233346&do=diff <= section préc. Fonctions numériques * Remarque : calcul et manipulation de symboles sont équivalents. Les entiers correspondent à des mots sur un alphabet, en unaire, base b, nombres romains... * fonctions polynomiales telles sont construites avec * des fonctions de base * des combinaisons de fonctions 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 2012-11-20T14:19:25+02:00 https://get-the.net/doku.php?id=shoes_boots&rev=1353417565&do=diff During the late 1960s and early 1970s, I often wore boots and other footwear that covered the ankle. But never the dressy sort (with elastic or zippers), mostly work boots, steel-toed or not, that lasted well. I bought a pair of cowboy boots when I was in college, but stopped wearing them well before they were worn out; now they are too stiff--and my feet too big?--to put them on. But I've kept them. I also have a pair of safety shoes I wore at work circa 1978-9, and a pair of warm boots I wear … 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 2011-07-26T09:44:03+02:00 https://get-the.net/doku.php?id=elsevier&rev=1311666243&do=diff These are my notes from a lecture given by Gerrit Borchard in Hautepierre, France, on 7 December 2010. The ideas are, I suppose mostly his, but the expression and selection of the ideas is mine. Mr. Borchard is an editor, author and reviewer and hence qualified to expound on the process from submission to revision. text/html 2010-11-17T18:47:06+02:00 https://get-the.net/doku.php?id=ubuntu:nanoweb&rev=1290016026&do=diff nanoweb is an HTTP (web) server written in php, and consequently runs on any platform with php. It is small and relatively simple to install and configure. Its latest version is now (Nov. 2010) two years old, so I guess we could say it is stable. One can, as the site says, 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 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-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-09-28T09:44:52+02:00 https://get-the.net/doku.php?id=jsmath_debug&rev=1254123892&do=diff JSMath Debug I've been using a version of jsMath and the jsMath plugin for dokuwiki for several months. Whoever, I discovered that it seemed to be implicated in errors when I tried to save new or edited pages. To debug this phenomenon, it seemed to me that it would be best to try a “vanilla” version of the plugin: if that doesn't cause the error, I can then incrementaly change and test to get back to what I was initially trying to accomplish. The features I was trying to incorporate were… 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-04T16:31:43+02:00 https://get-the.net/doku.php?id=m1ilc:compil_td_5&rev=1262619103&do=diff Optimisation de Code Le code intermédiaire généré par un compilateur à la forme suivante. * A quel type de programme correspond ce code intermédiaire? Tri à bulles * Tracer le graphe des flôts * Eliminer les sous-expressions communes * Effectuer une propagation des copies et éliminer le code inutile. * Traiter les variables d'induction et les invariantes de boucle. 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-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-02-10T12:41:20+02:00 https://get-the.net/doku.php?id=recipes:saag_aloo&rev=1265802080&do=diff Frozen spinach with potatoes Ingredients Serves 4-6, but only 2-3 if mussels are added to make a one-dish meal. 550g frozen leaf spinach (not creamed!). Swiss chard (“bettes”) and kale (“choux frisé”) are substitutes I like. 300ml water 110 g onion(s), peeled 5 Tb (75 ml) vegetable oil pinch asafoetida (optional? I don't think so.) 2 tsp (10 ml) whole black mustard seeds 2 cloves garlic 500 g potatoes -- the stay-firm type, like Charlottes, or cauliflower if you want a more … 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-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-01-28T13:45:31+02:00 https://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 2010-01-31T10:16:18+02:00 https://get-the.net/doku.php?id=contrast&rev=1264929378&do=diff Color Contrast It seems there are several steps to the calculation of color contrast: * Convert from 0-255 values to 0-1 values: * * * * Adjust that conversion for some non-linearity: * If then , otherwise. * Same adjustment for G and B. 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 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-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-10-22T09:37:57+02:00 https://get-the.net/doku.php?id=latex_math&rev=1287733077&do=diff LaTeX Math Symbols You may be looking for a list of LaTeX Math (and other) symbols, and the best place to look is * symbols-a4.pdf, a pdf document containing many, many symbols, listed by type (binary relations, arrows, etc.) and package. This list is also available by ftp, and in letter (i.e. ) format at * 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-01T22:58:21+02:00 https://get-the.net/doku.php?id=recipes:hopping_john&rev=1262383101&do=diff Hopping John Let me begin by citing a cook book I have that is crumbling: at least I'll preserve a page digitally! BLACK-EYED PEAS Black-eyed peas are esteemed in the South as an appetizing basic dish (traditionally served on New Year's Day for good luck). When possible they are boiled fresh with pork, but are very good in the dried state From black-eyed peas combined with rice comes the famous “Hopping John” (called “Hopping Jack” in some sections), a type of Jambalaya, said to be of Spa… 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-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 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