https://get-the.net/ 2026-07-28T05:00:32+02:00 https://get-the.net/ https://get-the.net/lib/images/favicon.ico 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 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-10-03T11:29:44+02:00 https://get-the.net/doku.php?id=m1ilc:c_et_c_ex_5&rev=1286098184&do=diff Enoncé Trouver/concocter une MT grammaire qui valide engendre . pas sûr que c'était à rendre; j'ai modifié l'énoncé pendant ma réflexion (!) et trouvé (je crois) une MT (machine de Turing) qui vérifie L au lieu d'une grammaire qui l'engendre. text/html 2010-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 2009-08-06T20:46:53+02:00 https://get-the.net/doku.php?id=wiki:syntax&rev=1249584413&do=diff DokuWiki supports some simple markup language, which tries to make the datafiles to be as readable as possible. This page contains all possible syntax you may use when editing the pages. Simply have a look at the source of this page by pressing the Edit this page button at the top or bottom of the page. If you want to try something, just use the playground page. The simpler markup is easily accessible via quickbuttons, too. text/html 2010-05-15T18:50:25+02:00 https://get-the.net/doku.php?id=mower:genjardin_cpp&rev=1273942225&do=diff genJardin.cpp et son testeur retour à project track #include <stdio.h> #include <stdlib.h> #include <iostream> #define MAXOBJECTS 50 #include <time.h> #include <vector> using namespace std; std::vector<std::vector <int> > genJardin (int combien, int largJardin, int hautJardin, int coteObjet) { int compte=0, i,x,y, x1, x2, y1, y2; int largeur; int hauteur; int resteCote; bool auquai = true; std::vector<std::vector <int> > scenario(combien,std::vector<int>(2)); // int scenario [… text/html 2010-05-24T08:01:39+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_4&rev=1274680899&do=diff Détermination de la sémantique de Programmes Exercice 1 Déterminer la sémantique du programme while n > 0 do n := n-1 pour n∈N. Pour cela, on construit la suite des programmes (Wi) et leur fonction sémantique (wi) i+1 Wi+1 = if n>0 then i { n:= n-1; if n>0 then { i-1 { n:= n-1; if n>0 then { ... 0 { n:= n-1; bottom }... }}}}} avec i accolades fermantes wi+1(s) = non-définie si et (s| n-> 0) si text/html 2009-11-16T19:36:02+02:00 https://get-the.net/doku.php?id=m1ilc:compil_9&rev=1258396562&do=diff VI. Optimisation du Code Intermédiaire Introduction La phase d'optimisation de code prend en entrée du code intermédiaire et retourne en sortie du code intermédiaire “optimisé.” Elle a lieu avant la phase de génération de code. Donc, les optimisations qui sont réalisées sont indépendantes de la machine cible. La plupart de ces optimisations concernent les boucles car généralement ceux sont ces parties du code qui sont les plus consommatrices de temps CPU. 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-05-16T10:28:40+02:00 https://get-the.net/doku.php?id=mower:project_track&rev=1273998520&do=diff Faut s'organiser, on n'a que peu de temps : si nous développons les même programmes chacun de notre côté, on risque de ne pas ariver à tout finir. Suite à la discussion avec M. Collet au sujet des mouvement en diagonal, abandonnons ces mouvements, qui peuvent encore se produire si les actions droit, bas, droit, bas (par exemple) cycle dans un état : il n'y aura plus que 40 actions pour un état, cinq mouvement précédents possbiles [(-1,0),(0,-1),(0,0),(1,0),(0,1)] fois les huit possibilités arbr… text/html 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-01-27T12:41:41+02:00 https://get-the.net/doku.php?id=pcbo&rev=1264592501&do=diff Pour comprendre cette implantation de l'algorithme CbO (ou son dual), voici ma visite commentée du code. FIXME : Attention, ce n'est pas encore finie. Dans ce qui suit, les multiples contrôles ne seront pas mentionnés, seulement le “traitement pur.” text/html 2012-12-17T16:14:10+02:00 https://get-the.net/doku.php?id=friday_xiii&rev=1355757250&do=diff Is there a Friday XIII every year, or are there years without? Are there years with lots and lots? How many is the most in one year? The following simple table answers all these questions for you: I've already done the work. Just find the row that corresponds to the day of the week the first of January falls; the months with a Friday XIII are listed according to whether it is a leap year or not. 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-03-31T13:18:03+02:00 https://get-the.net/doku.php?id=java:fuzzy_concept_extractor&rev=1270034283&do=diff While “Fuzzy Concept Extractor” might seem like a specialization of “Concept Extractor”, it is a generalization compared to concept extractors for binary relations and multivalued crisp relations (“one value among”--think radio buttons). text/html 2010-02-08T09:08:11+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_td_1&rev=1265616491&do=diff Raisonner pour programmer Où l'on cherche à exprimer formellement un problème et à établir les liens entre les différentes formes d'énoncés. Quelques problèmes classiques Pour chacun des problèmes suivants : * Préciser données et résultat * Écrire un énoncé qui qualifie le résultat * Écrire un énoncé qui définit le résultat * Écrire un programme impératif en langage C. text/html 2009-10-15T08:04:11+02:00 https://get-the.net/doku.php?id=m1ilc:edid_tp_1&rev=1255586651&do=diff Note : this is not original material, merely an extract of the IBM Tutorial Documents omitting the procedures to have a slightly higher-level view of the tutorial before (and while) performing it. Module 1: Designing the physical data model for your data warehouse In this module, you will connect to the GSDB database and create a physical data model for the new data mart that you will build. You will create a MARTS schema in the data model and then update the GSDB database with the changes. text/html 2015-07-04T14:23:29+02:00 https://get-the.net/doku.php?id=lynx:php_code&rev=1436012609&do=diff OAuth Interface According to the announcement " This package can authenticate users with OAuth providers. It implements the OAuth protocol to redirect the user to a provider page on which the user can authenticate and return tokens that can be used to send API calls to retrieve the user profile information like the user email address. Currently (25 May 2015) the package provides implementations to authenticate users with Google and GitHub." 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 2014-10-22T13:01:25+02:00 https://get-the.net/doku.php?id=lynx:advice&rev=1413975685&do=diff Eating Old Food Summary of key points from a BBC piece How safe is mouldy food? 2014-Oct-22 Source of advice: mould expert, Dr Patrick Hickey. * we will not be eating any foods that have passed their “use by” date. To do so would risk serious food poisoning. With “best before” or “sell by” things are more flexible. * cheeses: * cheddar and parmesan and other dry cheeses: cut away the mouldy part, being careful that the knife doesn't get contaminated by mould. Mould needs moisture… 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 2014-10-22T10:40:36+02:00 https://get-the.net/doku.php?id=ubuntu:rsync_archive&rev=1413967236&do=diff " This is a reproduction of my note published elsewhere dated 21 August 2013." Normal: read the man pages. Confusing archive with merge One might naïvely suppose that the behavior of the -a or --archive option will be to replace files only by newer files of the same name, or to ask whether or not to replace files. However, rsync is intended to just run without interaction, so the latter behavior would be inappropriate. Why would it replace files regardless? The command is to archive, not to… text/html 2012-12-18T10:13:53+02:00 https://get-the.net/doku.php?id=what_year&rev=1355822033&do=diff " Given an invitation for an event on “Saturday, April 26th,” for instance, might it (if correct, of course) have been from last year? " Without consulting a perpetual calendar, here's one solution that uses a sort of back of the envelope perpetual calendar that is easy to construct. text/html 2013-05-31T17:53:01+02:00 https://get-the.net/doku.php?id=cms:begin_document&rev=1370015581&do=diff Introduction What would an ideal system for collaborative document sharing be like? In particular, what might an individual want to have for a family site, or a college class site, or a personal site? Can a same system satisfy all those wants? Is one technically feasible? 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-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 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-02-16T13:43:51+02:00 https://get-the.net/doku.php?id=java:mvcreader&rev=1266324231&do=diff mvcReader This class reads data from a properly formatted file and returns a MultiValuedRelation, which is a matrix (a vector of vectors) with a name, and row and column labels. public class MvcReader extends AbstractReader implements MultiValuedRelationReader { public MvcReader(Reader r) { super(r); } public MultiValuedRelation readMultiValuedRelation() throws BadInputDataException,IOException { text/html 2010-01-03T18:15:45+02:00 https://get-the.net/doku.php?id=m1ilc:compil_7&rev=1262538945&do=diff Génération de code intermédiaire Formes Possibles Les différentes formes possibles de code intermédiaire sont * arbre de syntaxe abstraite * notation polonaise inversée (forme linéaire de l'arbre de syntaxe) * un code à trois adresses : une séquence d'instructions étiquettée dont chaque intruction utilise au plus 3 adresses de variables de référence text/html 2010-03-18T08:36:03+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_6&rev=1268897763&do=diff III. Preuves de correction des programmes Sémantique et preuve Comme nous l'avons vu, l'objectif premier des définition et développements formels de l'activité de programmation est de garantir la correction des programmes. Alors que la sémantique d'un programme donne toute la signification de ce programme, la preuve de correction, ell, se limite à démontrer une propriété de ce programme. text/html 2010-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-12-08T17:33:33+02:00 https://get-the.net/doku.php?id=recipes:aile_de_raie&rev=1323362013&do=diff This recipe is pretty simple. The trickiest part is getting the Sauternes to flame (flambé), more easily accomplished in a wide, low saucepan than in a tall, narrow one. The recipe calls for skate, a cartilaginous fish (like stingrays only smaller) which may have been overfished; indeed, I don't find it for sale as often as I did a couple of decades ago. However, the sauce goes well with scallops (St. Jacques), which can be poached, steamed lightly (or sautéed). text/html 2011-09-26T12:53:04+02:00 https://get-the.net/doku.php?id=fca:cbo&rev=1317034384&do=diff Close by One Algorithme développé et décrit par Kuznetsov dans "Comparing performance of algorithms for generating concept lattices"(2002) par Sergei O. Kuznetsov et Sergei A. Obiedkov: Pseudocode * Close by One * * For each * Process text/html 2011-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 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 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 2012-06-04T14:02:09+02:00 https://get-the.net/doku.php?id=ages_of_parents_chart&rev=1338811329&do=diff In genealogy, one encounters many ways of displaying data, most of which are intended to show one's ascendence--of which pedigree is a particular case-- or descendence. Some show a compromise ('hourglass' chart), the ascendence and descendence of a selected individual. The genealogy toolkit gramps provides these and other charts and reports. A chart (or even report) I wish it provided, but have not seen among the standard reports either in gramps or on genealogy services, is what I'd call a clos… 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 2013-04-28T11:50:31+02:00 https://get-the.net/doku.php?id=recipes:dinner_rolls&rev=1367142631&do=diff Quantity Unit Ingredient C unsifted flour C sugar tsp salt 1 pkg yeast 5 Tb softened butter 5 min Add the softened butter to the thoroughly mixed dry ingredients. Cutting in like for making pie crust--until “the texture of cornmeal”-- is the way I recall doing it. C “very hot” H20, hot enough so that after mixing the yeast will be stimulated but not so hot it will scald the yeast to death. 2 min Gradually add “very hot” water and beat 2 (two) minutes at medium C … text/html 2013-04-28T13:46:47+02:00 https://get-the.net/doku.php?id=recipes:chicken_marengo&rev=1367149607&do=diff Recipes for Chicken Marengo and Chicken Chasseur seem to me pretty similar (see comparison table below), so I've merged various recipes into one general one, which I execute with some flexibility (often omitting mushrooms, for instance). Composite recipe 1. Sear chicken * 1 kg chicken pieces (not necessarily one chicken cut up, might be all thighs or legs) * C (==60ml) olive oil * 1-2 onions or shallots (to taste) * 1-2 gloves of garlic, minced text/html 2009-08-06T20:46:51+02:00 https://get-the.net/doku.php?id=plugin_syntax&rev=1249584411&do=diff Extract from plugin:include info page at dokuwiki.org. Syntax Simply enclose the ID of the page to be included in double curly brackets: {{page>[id]#[section]&[flags]}} {{section>[id]#[section]&[flags]}} [id] page ID of the page to include; some are possible; shortcuts are resolved (:, ., ..) required [section] limits the included page to a specific section and its subsections optional; default is the whole page [flags] flags delimited by &, see optional The plugin offers two syn… text/html 2010-01-04T18:10:57+02:00 https://get-the.net/doku.php?id=m1ilc:compil_ll&rev=1262625057&do=diff Analyse Descendante Exemple (simple) R1: S -> cAd R2: A -> ab | a Analysons 'cad' et construisons l'arbre de syntaxe abstraite. étape arbre symboles 0 S cad 1 S / | \ c A d cad même symbole, voyons si la suite correspond prenant une première hypothèse pour 'A' 2 S / | \ c A d / \ a b cad première hypothèse pour ce qu'a produit 'A' 3 S / | \ c A d / \ a b cad on avance le… text/html 2009-12-24T15:04:40+02:00 https://get-the.net/doku.php?id=recipes:civet_de_canard&rev=1261663480&do=diff Civet de Canard * Prepare marinade: * 2 C (50 cl) red wine (vin rouge) * C (125 ml) oil (not olive, just a light, bland oil) * 2 onions, thinly sliced * 3 cloves garlic, chopped * herbs and spices to taste (use your best guess if you don't like mine): * thyme -- ml ( tsp) * bay leaf -- one * cloves -- three or four text/html 2013-12-28T09:21:39+02:00 https://get-the.net/doku.php?id=recipes:eggnog&rev=1388218899&do=diff " Eggnog may not be a balanced diet, but I like it as a seasonal nutritional supplement (lots of calories!). " What is the right way (or best way) to prepare eggnog? To compare recipes, I've considered two criteria, composition and method. Composition comparison takes the list of ingredients and tabulates them side by side. To ease the comparison, recipes are scaled; one might scale them to a particular total fluid volume, a particular amount of alcohol (I'm looking at real eggnog here, not n… 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 2009-04-15T11:41:28+02:00 https://get-the.net/doku.php?id=recipes:pita_bread&rev=1239788488&do=diff Pita Bread This recipe comes from the Los Angeles Times California Cookbook. I've never actually used it as it was intended, but only to make pizza. The people who run a Turkish restaurant nearby make their own bread and use the same dough for pizza (suçuk pizza!); however, they don't put oil in their dough, or so they told me. 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-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-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 2013-04-28T15:57:27+02:00 https://get-the.net/doku.php?id=recipes:ramequin&rev=1367157447&do=diff This recipe appears in Julia Child's TV show cookbook, but not in her two-volume Mastering the Art of French Cooking (if I'm not mistaken). I like its simplicity of preparation, and that it can be prepared in advance to ready-to-bake then baked just before serving. The basic recipe with mushroom filling serves 4 to 6; I recently made a half recipe for two adults and a small child. text/html 2009-12-24T14:10:35+02:00 https://get-the.net/doku.php?id=recipes:spicy_baked_chicken&rev=1261660235&do=diff Spicy Baked Chicken * Prepare marinade: * tsp ground cumin * tsp ground paprika * tsp ground cayenne -- reduce or omit if you prefer less spicy, it will still be very tasty. * tsp ground turmeric * tsp ground black pepper * tsp salt * 1-2 cloves garlic, mashed * 3 Tb lemon juice text/html 2010-03-08T16:58:57+02:00 https://get-the.net/doku.php?id=fca:formats&rev=1268063937&do=diff Formats for Contexts and Concepts FIMI FIMI 2003 The dataset input must use the following ascii format only! Each transaction is stored on a separate line as a list of items separated by white space and ending with a newline. Each item is a non-negative integer. 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 2010-02-01T10:46:28+02:00 https://get-the.net/doku.php?id=fca&rev=1265017588&do=diff Resources * Best place to start for link and examples: FCA Home. Unfortunately, there seems to be little or no information provided about the algorithms, languages, and interoperability (file formats, e.g.) of the various tools listed. I'll try to remedy that here. text/html 2009-08-06T20:46:52+02:00 https://get-the.net/doku.php?id=wiki:dokuwiki&rev=1249584412&do=diff [] DokuWiki is a standards compliant, simple to use Wiki, mainly aimed at creating documentation of any kind. It is targeted at developer teams, workgroups and small companies. It has a simple but powerful Formatting Syntax which makes sure the datafiles remain readable outside the Wiki and eases the creation of structured texts. All data is stored in plain text files -- no database is required. text/html 2010-01-06T14:43:50+02:00 https://get-the.net/doku.php?id=m1ilc:c_et_c_d&rev=1262785430&do=diff III. Complexité Introduction Deux exemples pour rentrer dans le sujet : * Problème du voyageur de commerce. Etant donné une carte routière et une liste de N villes, comment réaliser un circuit qui visite les N villes en parcourant la plus courte distance possible. * Géométrie tortue : void triangle(float x, float y, float d, float h){ if (y+d)<h {tracer(x-d, y+d); triangle(x-d, y+d, d, h); tracer(x+d, y+d); triangle(x+d, y+d, d, h); tracer(x,y);}} . complexité ~ sk avec y+kd < h < y+(k… text/html 2014-09-15T20:01:06+02:00 https://get-the.net/doku.php?id=recipes:joes_special&rev=1410804066&do=diff Joe's Special " L.A. Times California Cookbook, p. 202" For 4-6 : 1 Tb butter 1 Tb olive oil 1 lb ground beef Cook beef in large, heavy skillet w/ oil, butter, until browned and crumbly. 1 onion, diced Add onion and cook until tender but not browned 1/2 tsp basil 1/4 tsp marjoram 1/4 tsp oregano 1 tsp salt 1/4 tsp ground pepper Stir in seasonings 1/2 lb. spinach (chopped, cooked) Stir in spinach, cook until “dry”. 4 eggs, beaten … text/html 2010-03-24T12:21:37+02:00 https://get-the.net/doku.php?id=java:morph&rev=1269429697&do=diff class point(int x, int y){ int x; int y; } std:vector <point> v; class FlatSE() { FlatSE(int r){new FlatSE; this.makeBall(r);} void makeBall(int r){ for (int x=-r;x=<r;x++) { for (int y=-r;y=<r;y++) { if (x*x+y*y<r*r) v.push_back(new point(x,y); } } } text/html 2009-08-25T12:16:53+02:00 https://get-the.net/doku.php?id=doku_button&rev=1251195413&do=diff Adding Buttons to DokuWiki What I Wanted I wanted to add a “custom” button in dokuwiki, so my template would have a clearly indicated link to the legal information (“mentions légales” in French). What I Discovered * one cannot use a call to tpl_button() because it only works for actions that are hard-coded into its select/case structure. * one can use 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 2010-03-25T20:50:09+02:00 https://get-the.net/doku.php?id=java:fuzzy_intent&rev=1269546609&do=diff Need to scheme the overall scheme of things...but this is about development and testing of FuzzyIntent * private int [] maxAffinities; * private int [] minAffinities; * private int affCount; * private boolean hasAffinities = false; only needed because of the constructor of a stub with no guarantee that affinity ranges will be set. text/html 2009-12-13T17:19:03+02:00 https://get-the.net/doku.php?id=m1ilc:compil_td_6&rev=1260721143&do=diff Code assembleur MIPS Exercice 1 Traduire en assembleur MIPS l'extrait de code C suivant: if (t1 < t2) t3 = t1 ; else t3 = t2; la $t0,t1 lw $t1, $t0 blt $t2, $t1, joe b jim; joe: move $t3, $t1 b fin jim: move $t3, $t2 fin: nop Exercice 2 Soit l'extrait de code C suivant qui calcule dans t2 initialisé à 0 la somme des entiers de 1 à t1: text/html 2014-10-22T11:35:12+02:00 https://get-the.net/doku.php?id=rsync&rev=1413970512&do=diff rsync is a utility function provided with the Linux distributions I've used, and also available for Windows, but I had never encountered it in the MS-DOS/Windows operating systems I'd used. In essence, I see it as a very extended version of file copy or xcopy. It provides lots of options enabling conditional copying across a network, with or without preservation of Linux permissions, with or without date changes, with or without preserving directories, and probably more. My first use of it wa… text/html 2010-10-08T14:59:47+02:00 https://get-the.net/doku.php?id=m2ilc:dp_visitor&rev=1286542787&do=diff Intent Represent an operation to be performed on the elements of an object structure. Visitor lets you define a new operation without changing the classes of the elements on which it operates. Motivation Applicability Appliquer le motif Visitor lorsque : 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 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 2011-06-04T15:59:08+02:00 https://get-the.net/doku.php?id=public_holidays_in_france&rev=1307195948&do=diff I'm sure I've already done this, perhaps in a spreadsheet (in a format no longer easily read, perhaps), but I haven't found it. The basic idea is to compute the possibilities for the number of holidays falling on Monday through Friday in the course of a year. Holidays falling on Saturday are also of interest, but more because they are inconvenient for those with Monday-to-Friday occupations who count on getting their errands done on Saturday. Holidays falling on Sundays are wasted. Monday is e… text/html 2009-08-06T20:46:51+02:00 https://get-the.net/doku.php?id=recipes:macaroni_casserole&rev=1249584411&do=diff This recipe is adapted from one called “Meat-Macaroni Supper” in the Better Homes and Gardens New Cook Book. The original calls for a can of condensed cream of celery soup, which I can't readily find here in Alsace, and a can of “luncheon meat” (Spam, I guess?) which isn't available, either, at least not with ingredients I want to eat. text/html 2010-06-12T11:31:42+02:00 https://get-the.net/doku.php?id=recipes:three_bean_salad&rev=1276335102&do=diff Three-Bean Salad I use this recipe a lot, but almost never for three-bean salad! I like its “sauce” for other vegetables, like cucumbers or beets: less oil, and the sugar fixes the water so the vegetables stay crisp (which is why it is used for the beans, I suppose). So, let me present it in two parts: sauce and chunks. text/html 2010-06-12T12:24:39+02:00 https://get-the.net/doku.php?id=recipes:cucumber_in_yoghurt&rev=1276338279&do=diff Concombres au Yaourt Cucumbers in yoghurt. This recipe is from the excellent and classic “La Cuisine en Afrique du Nord” by Haydee Tamzali, edited by Michael Tomkinson for Vilo Paris, 1986. * Prepare the cucumbers * Wash and peel 500g of small cucumbers. * Cut into small cubes * marinate half an hour with 2 Tb of vinegar and some salt * squeeze them to rid them of as much vinegar and the liquid they have given off (and salt) text/html 2011-01-21T09:14:14+02:00 https://get-the.net/doku.php?id=start&rev=1295597654&do=diff WordCloud As it grows, the list of most-used words will change : Le nuage des mots fréquents sur ce site évoluera avec l'évolution du contenu . En Anglais d'Abord This is where this wiki-powered website begins . It (get the net) doesn't have a mission or well-defined purpose; it only exists because I liked (and registered) the domain name, inspired by a scene near the beginning of Wayne's World. At present, you'll mostly find my transcribed notes from school, in French, and maybe some blog… text/html 2010-05-24T19:02:04+02:00 https://get-the.net/doku.php?id=m1ilc:semantics_8&rev=1274720524&do=diff Introduction L'aspect preuve de programmes a un dual naturel qui est la réalisation d'un programme à partir d'une spécification. Par exemple, en se basant sur la logique de Hoare pour les programmes impératifs : * preuve : étant donné un programme P, prouver que ce programme admet deux prédicats p et q comme pré- et post- conditions. * dérivation : étant donné deux prédicats p et q, prouver un programme P qui admette ces deux prédicats comme pré- et post- conditions (on utilise les règles… 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-09-05T12:55:15+02:00 https://get-the.net/doku.php?id=college_rankings&rev=1283684115&do=diff Like many other alumni , rankings of colleges and universities get my attention, even if our schools' ranks sometimes disappoint. When they disappoint, we of course examine the methodology very critically and find flaws; that is easiest when they are multi-criterion, include “open answer” questions, or both, since the choice of criteria, relative weighting, and scaling of non-quantitative and other open answer questions has no right answer. text/html 2012-09-01T16:37:01+02:00 https://get-the.net/doku.php?id=square_counting&rev=1346510221&do=diff There is a puzzle figure that has been circulating on a social web site for a while, with the question “How many squares do you see?” There are at least three answers which might be considered correct, depending on what rules are assumed. * Only “flooding” is allowed: one colors each zone up to its boundaries, and counts the zones that are squares. * Composition is allowed: k*k regions composed of identical squares can be counted. * Any square boundary is allowed; no matter what is in… text/html 2009-08-20T11:43:51+02:00 https://get-the.net/doku.php?id=recipes:tuna_melts&rev=1250761431&do=diff French-Toasted Tuna Melts If you can procure dolphin friendly pole and line caught skipjack or yellowfin tuna ( fishonline.org), you might enjoy this very filling sandwich (makes six, so I usually made a half recipe for three people, and that was plenty): text/html 2011-12-09T15:53:50+02:00 https://get-the.net/doku.php?id=recipes:red_snapper&rev=1323442430&do=diff This recipe is from "Mexican cookery", by Barbara Joan Hansen, H.P. Books. That book has been an excellent source of recipes made from scratch, enabling us to eat Mexican style cooking in France without relying on store-bought salsas and tortillas (which we couldn't find). text/html 2011-12-08T10:25:05+02:00 https://get-the.net/doku.php?id=recipes:marinated_salmon&rev=1323336305&do=diff Serves four to six, depending on serving sizes; I tend to target 80-100 g. portions for flesh. This is also good cold as a leftover. * In a large, slef-closing plastic bag, combine marinade ingredients, mixing well: * 1 tsp. (5 g.) ground ginger * 1 tsp. (5 g.) garlic powder (or a crushed clove of garlic) * 1/3 cup (80 ml) soy sauce * 1/3 cup (80 ml) orange juice * 1/4 cup (60 ml) honey * 1 scallion, chopped 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-10-28T13:31:35+02:00 https://get-the.net/doku.php?id=theories_of_action&rev=1288265495&do=diff Notes from “Theory in Practice,” Chris Argyris and Donald A. Schön, Jossey-Bass Publishers, 1978. This book describes two theories of action. They can be related to the two reactions to stimuli postulated by Piaget, assimilate and adapt. Assimilate is the path normally taken when stimuli are close enough to what is expected, whereas adapt is the path taken when deviation is so great that future expectations must (should?) change.