Test driven developmentTest-Driven Development (TDD), ou développement piloté par les tests en français, est une méthode de développement de logiciel qui consiste à concevoir un logiciel par des itérations successives très courtes (ou petits pas), telles que chaque itération est accomplie en formulant un sous-problème à résoudre sous forme d'un test avant d'écrire le code source correspondant, et où le code est continuellement remanié dans une volonté de simplification. À l'origine, il s'agissait simplement d'écrire les tests avant de coder, et cette méthode s'appelait le Test-First Design.
Théorie des corps de classes locauxEn mathématiques, la théorie des corps de classes locaux ou théorie du corps de classes local est l'étude en théorie des nombres des extensions abéliennes des corps locaux. Cette théorie peut être considérée comme achevée. Au début du , après les travaux de Teiji Takagi et Emil Artin qui complétèrent la théorie des corps de classes, les résultats locaux se déduisaient des résultats globaux. Actuellement, c'est le point de vue inverse qui est le plus répandu : les résultats locaux sont établis au préalable puis permettent de déduire les correspondances globales.
Marqueur génétiqueLe marqueur génétique est un gène ou une séquence polymorphe d'ADN aisément détectable grâce à un emplacement connu sur un chromosome. On peut l'utiliser en cartographie génétique pour « baliser » le génome et identifier des individus ou des espèces. Le marqueur génétique peut être décrit comme une variation (qui peut survenir en raison d'une mutation ou altération des loci génomiques) qui peut être observée.
Jeux d'entrainement, de validation et de testEn apprentissage automatique, une tâche courante est l'étude et la construction d'algorithmes qui peuvent apprendre et faire des prédictions sur les données. De tels algorithmes fonctionnent en faisant des prédictions ou des décisions basées sur les données, en construisant un modèle mathématique à partir des données d'entrée. Ces données d'entrée utilisées pour construire le modèle sont généralement divisées en plusieurs jeux de données .
Local hidden-variable theoryIn the interpretation of quantum mechanics, a local hidden-variable theory is a hidden-variable theory that satisfies the condition of being consistent with local realism. This definition restricts all types of those theories that attempt to account for the probabilistic features of quantum mechanics via the mechanism of underlying inaccessible variables with the additional requirement that distant events be independent, ruling out instantaneous (that is, faster-than-light) interactions between separate events.
Théorie de jaugeEn physique théorique, une théorie de jauge est une théorie des champs basée sur un groupe de symétrie locale, appelé groupe de jauge, définissant une « invariance de jauge ». Le prototype le plus simple de théorie de jauge est l'électrodynamique classique de Maxwell. L'expression « invariance de jauge » a été introduite en 1918 par le mathématicien et physicien Hermann Weyl. La première théorie des champs à avoir une symétrie de jauge était la formulation de l'électrodynamisme de Maxwell en 1864 dans .
Isolation thermique du bâtimentL'Isolation thermique du bâtiment est le processus de mise en œuvre de l'isolation thermique de l'enveloppe de tout ou partie d'un bâtiment, par l'intérieur ou l'extérieur. Les bâtiments (notamment les habitations mal isolées, dites « passoires thermiques ») sont la source d'un important gaspillage énergétique et d'émissions de gaz à effet de serre notables. Dans un nombre croissant de pays, des mesures visent à inciter à mieux isoler ces logements, ainsi que les bâtiments publics et tertiaires, ce qui contribue à diminuer la précarité énergétique et à améliorer la justice climatique.
Corps localEn mathématiques, un corps local est un corps commutatif topologique localement compact pour une topologie non discrète. Sa topologie est alors définie par une valeur absolue. Les corps locaux interviennent de façon fondamentale en théorie algébrique des nombres. Si k est un corps fini, le corps k((X)) des séries formelles de Laurent à coefficients dans k est un corps local. Tout complété d'un corps de nombres (ou plus généralement un corps global) pour une valuation non triviale est un corps local.
Double vitragevignette|Éléments d’un double vitrage. Un double vitrage ou thermos double (au Québec) est un élément de paroi vitrée constituée de deux vitres séparées par une épaisseur d’air immobile, dite « lame d'air ». Une variante, le vitrage à isolation renforcée, est rendue encore plus performante par l'ajout d'un traitement isolant sur une (ou plusieurs) des faces intérieures du double vitrage. Le survitrage est la technique d'ajout d'une deuxième vitre à une fenêtre ancienne initialement dotée d'un simple vitrage (sans avoir à changer la fenêtre complète).
Validation croiséeLa validation croisée () est, en apprentissage automatique, une méthode d’estimation de fiabilité d’un modèle fondée sur une technique d’échantillonnage. Supposons posséder un modèle statistique avec un ou plusieurs paramètres inconnus, et un ensemble de données d'apprentissage sur lequel on peut apprendre (ou « entraîner ») le modèle. Le processus d'apprentissage optimise les paramètres du modèle afin que celui-ci corresponde le mieux possible aux données d'apprentissage.
