Test (informatique)vignette|Une programmeuse écrivant du code Java avec JUnit. En informatique, un test désigne une procédure de vérification partielle d'un système. Son objectif principal est d'identifier un nombre maximal de comportements problématiques du logiciel. Il permet ainsi, dès lors que les problèmes identifiés seront corrigés, d'en augmenter la qualité. D'une manière plus générale, le test désigne toutes les activités qui consistent à rechercher des informations quant à la qualité du système afin de permettre la prise de décisions.
ÉlectrotechniqueL’électrotechnique se rapporte . Elle concerne par exemple la production, le transport, la distribution, le traitement, la transformation, la gestion et l’utilisation de l’énergie électrique. Parfois appelée « génie électrique », elle remonte à l'invention, en 1600, par William Gilbert, d'un électromètre permettant de déterminer la présence des charges électriques, et à l'invention, en 1672, par Otto von Guericke, d'un générateur électrostatique permettant de séparer des charges électriques à l'aide d'une machine.
Suspension (mathématiques)En mathématiques, la suspension est une construction topologique définie par écrasement des extrémités d'un cylindre. Elle permet notamment de définir les sphères S par récurrence. Si l'espace topologique est pointé, sa suspension réduite est le quotient de la suspension par le cylindre sur le point de base, c'est un espace pointé avec un point base canonique. La suspension est un foncteur de la catégorie des espaces topologiques (pointés ou non) dans elle-même.
Lambdavacuum solutionIn general relativity, a lambdavacuum solution is an exact solution to the Einstein field equation in which the only term in the stress–energy tensor is a cosmological constant term. This can be interpreted physically as a kind of classical approximation to a nonzero vacuum energy. These are discussed here as distinct from the vacuum solutions in which the cosmological constant is vanishing. Terminological note: this article concerns a standard concept, but there is apparently no standard term to denote this concept, so we have attempted to supply one for the benefit of Wikipedia.
Projection équivalente cylindrique de Lambertvignette|upright=2|Projection équivalente cylindrique de Lambert du globe. vignette|upright=2|Projection équivalente cylindrique de Lambert du globe, le méridien central étant à 160° ouest pour centrer la carte sur les océans. vignette|upright=2|Projection équivalente cylindrique de Lambert avec les indicatrices de déformation de Tissot. vignette|Comment le globe est projeté sur le cylindre En cartographie, la projection équivalente cylindrique de Lambert, ou projection cylindrique de Lambert, ou encore projection isocylindrique est un type de projection cartographique.
Algorithme de BuchbergerL'algorithme de Buchberger est un algorithme permettant de calculer une base de Gröbner pour un idéal polynomial à partir d'un ensemble générateur de l'idéal et d'un ordre sur les monômes. Il a été publié par le mathématicien autrichien Bruno Buchberger en 1976. En pseudo-code, il peut être décrit comme suit : Entrées : un système de polynômes ; un ordre monomial Sortie : une base de Gröbner de Répéter Pour chaque paire dans : reste de par Si est différent de 0 alors Jusqu'à ce que Renvoyer Le polynôme dans l'algorithme est appelé -polynôme de et , parfois noté .
