https://get-the.net/ 2026-04-28T15:35:33+02:00 https://get-the.net/ https://get-the.net/lib/images/favicon.ico 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 2011-04-09T09:51:03+02:00 https://get-the.net/doku.php?id=m1ilc:preuves_td_types&rev=1302335463&do=diff Sans récursion On commence par une structure de données définie sans récursion : les mois (ou les jours) Récursives Inductive positive : Set := I : positive | C2X : positive | C2XP1 : positive. Definition un : positive := I. Definition trois : positive := C2XP1 I. Definition quatre: positive := C2X (C2X I). Definition sept : positive := C2XP1 (trois). Bon, on voit comment ça mmarche. Comment définir la fonction successeur? Une fonction avec filtration sur le constructeur (récursivement)… text/html 2010-05-19T10:54:25+02:00 https://get-the.net/doku.php?id=m1ilc:preuves_4&rev=1274259265&do=diff Structures de données Types inductifs Coq est basé sur un formalisme appelé Calcul des Constructions avec types Inductifs. Deux points de vue possibles: * On se donne les entiers. * On se donne les types inductifs en général (les entiers sont un cas particulier). text/html 2010-05-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 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 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 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 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 2011-04-09T08:36:52+02:00 https://get-the.net/doku.php?id=m1ilc:preuves_tp3&rev=1302331012&do=diff GaussInt : Set D'abord, création d'un ensemble inductif à partir de Z: Require Export ZArith. Inductive GaussInt : Set := c : Z ->Z-> GaussInt. Definition g0 := c 0 0. Definition g1 := c 1 0. Definition gi := c 0 1. Définition des Opérations Definition Gadd (x y : GaussInt):GaussInt := match x with c a b => match y with c a1 b1 => c (a+a1) (b+b1) end end. Definition Gmult (x y : GaussInt) : GaussInt := match x with c a b => match y with c a1 b1 => c (a*a1 - b*b1) (a*b1 + a… 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-10-08T14:44:03+02:00 https://get-the.net/doku.php?id=m2ilc:design_patterns&rev=1286541843&do=diff Contents * Introduction * What is a Design Pattern? “Each pattern describes a problem which occurs over and over again in our environment, and then describes the core of the solution to that problem, in such a way that you can use this solution a million times over, without ever doing it the same way twice.” In general, a pattrn has four essential elements * The pattern name * The problem describes when to apply the pattern * The solution describes the elements that make up th… text/html 2010-03-21T13:18:07+02:00 https://get-the.net/doku.php?id=recipes:chocolate_cake&rev=1269173887&do=diff McCall's, April 1976 Ingredients Cake Layers 1 cup unsifted unsweetened cocoa 2 cups boiling water 2 3/4 cups all-purpose flour 2 teaspoons baking soda ½ teaspoon salt ½ teaspoon baking powder 1 cup butter or regular margarine, softened 2 1/2 cups granulated sugar 4 eggs 1 1/2 teaspoons vanilla extract 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 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 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 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 2012-04-18T13:10:43+02:00 https://get-the.net/doku.php?id=emacs:el-get&rev=1334747443&do=diff Installation The installation is very simple once emacs is already installed and the emacs init file is located. Simple add the script patch from someone's blog as I did at the bottom of my ~/.emacs.d/init.el file. ;; Add a package manager, el-get: (add-to-list 'load-path "~/.emacs.d/el-get/el-get") (unless (require 'el-get nil t) (url-retrieve "https://raw.github.com/dimitri/el-get/master/el-get-install.el" (lambda (s) (end-of-buffer) (eval-print-last-sexp)))) After makin… 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 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 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 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 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 2013-11-02T08:25:44+02:00 https://get-the.net/doku.php?id=prospects:stump&rev=1383377144&do=diff What and Why There are topics and ideas that occur to me that I'd like to keep notes on. Oddly, and to my disappointment, it is not so easy to do that in a wiki. For instance, the ways to add a new page in this wiki are * editing an existing page to add a link to the page-to-be, saving, clicking on the link, and answering “yes” to the do-you-want-to-create-this-page question; * typing the path and name of the page-to-be in the URL field of the browser, requesting the URL, then answer… text/html 2010-01-31T10:21:36+02:00 https://get-the.net/doku.php?id=recipes:buttermilk_pie&rev=1264929696&do=diff Buttermilk Pie * Beat until light and lemon colored * 3 eggs * sugar * Add 3 Tb flour, beat again (a little) * Add rest of ingredients: * 3 Tb melted butter * C buttermilk * tsp vanilla extract * 3 Tb lemon juice * grated rind of one lemon 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-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 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-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-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 2010-11-08T17:50:46+02:00 https://get-the.net/doku.php?id=m2ilc:uml_exo_4&rev=1289235046&do=diff Exo 4 Modéliser un système permettant d'effectuer un virement bancaire (avec contrôle d'identité) distant (via internet ou un minitel) ou local (directement à l'agence). Pour cela il faut: * Déterminer les acteurs et les relations d'héritage entre acteurs (si nécessaire) * Déterminer les use cases * Déterminer les relations entre acteurs et Use cases * Déterminer les relations entre les différents use cases * Si VB (distant ou local) > 1000 Euros vérifier le CB et si VB > 1000000 eu… text/html 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 2010-01-31T10:22:57+02:00 https://get-the.net/doku.php?id=recipes:pumpkin_pie&rev=1264929777&do=diff Flexner Special Pumpkin Pie * Combine: * C pumpkin pulp * 2 Tb melted butter * 1 tsp. cinnamon * tsp. ginger (powdered, dry) * tsp. each of allspice, ground cloves, mace, and nutmeg * 1 Tb lemon juice * 2-3 Tb brandy or bourbon 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 2011-05-15T09:20:31+02:00 https://get-the.net/doku.php?id=theisms&rev=1305444031&do=diff FIXME This is a very draft document. I recently got to wondering and speculating on the advent of monotheism, and its seeming dominance of polytheisms. Related questions include the compatibility of belief in astrology with atheism. My first encounter with the word and concept of apatheism came afterward. Draft introductory thoughts and background are stored elsewhere, and will be added soon.