Gazvignette|Sphère de stockage de gaz naturel. vignette|Conduite de gaz de ville en polyéthylène. vignette|Panneau indiquant une conduite de gaz enterrée en France. vignette|Les gaz de combat ont été produits et utilisés de manière industrielle lors de la Première Guerre mondiale. Un gaz est un ensemble d'atomes ou de molécules très faiblement liés et quasi indépendants. Dans l’état gazeux, la matière n'a pas de forme propre ni de volume propre : un gaz tend à occuper tout le volume disponible.
Méthode formelle (informatique)En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).
Infrastructure à clés publiquesthumb|Diagramme de principe d'une autorité de certification, exemple d'infrastructure à clés publiquesCA : autorité de certification ;VA : autorité de validation ;RA : autorité d'enregistrement. Une infrastructure à clés publiques (ICP) ou infrastructure de gestion de clés (IGC) ou encore Public Key Infrastructure (PKI), est un ensemble de composants physiques (des ordinateurs, des équipements cryptographiques logiciels ou matériel type Hardware Security Module (HSM ou boîte noire transactionnelle) ou encore des cartes à puces), de procédures humaines (vérifications, validation) et de logiciels (système et application) destiné à gérer les clés publiques des utilisateurs d'un système.
Sélection de caractéristiqueLa sélection de caractéristique (ou sélection d'attribut ou de variable) est un processus utilisé en apprentissage automatique et en traitement de données. Il consiste, étant donné des données dans un espace de grande dimension, à trouver un sous-sensemble de variables pertinentes. C'est-à-dire que l'on cherche à minimiser la perte d'information venant de la suppression de toutes les autres variables. C'est une méthode de réduction de la dimensionnalité. Extraction de caractéristique Catégorie:Apprentissage
Gaz parfaitLe gaz parfait est un modèle thermodynamique décrivant le comportement des gaz réels à basse pression. Ce modèle a été développé du milieu du au milieu du et formalisé au . Il est fondé sur l'observation expérimentale selon laquelle tous les gaz tendent vers ce comportement à pression suffisamment basse, quelle que soit la nature chimique du gaz, ce qu'exprime la loi d'Avogadro, énoncée en 1811 : la relation entre la pression, le volume et la température est, dans ces conditions, indépendante de la nature du gaz.
Rédacteur techniqueLe rédacteur technique a pour fonction la rédaction et la production de documents techniques ou spécialisés, notamment la documentation de logiciels (dont les aides en lignes, manuels d'installation, configuration, maintenance), des spécifications et standards, des formations, et plus généralement tout document nécessitant une approche professionnelle pour sa création. Le rédacteur technique est un spécialiste de la rédaction et de la conception des documents.
Loi de Kleibervignette|400px|Figure 1. Taille en fonction du métabolisme pour différentes especes. Graphique original de Kleiber (1947). La loi de Kleiber, formulée par le biologiste au début des années 1930, énonce que pour la majorité des vertébrés supérieurs, le métabolisme est proportionnel à la masse corporelle élevée à la puissance 3⁄4. Algébriquement, si l'on convient de noter q0 le métabolisme et M la masse corporelle de l'animal, q04 ~ M3. Ainsi, puisqu'un chat est 100 fois plus lourd qu'une souris, son métabolisme est environ 32 fois plus consommateur d'énergie.
Sélection stabilisatriceEn génétique des populations, la sélection stabilisatrice ou stabilisante (à ne pas confondre avec la sélection négative ou purificatrice) est un mode de sélection naturelle dans laquelle la moyenne de la population se stabilise sur une valeur de trait non extrême particulière. On pense que c'est le mécanisme d'action le plus courant pour la sélection naturelle car la plupart des traits ne semblent pas changer radicalement au cours du temps.
Directional selectionIn population genetics, directional selection, is a mode of negative natural selection in which an extreme phenotype is favored over other phenotypes, causing the allele frequency to shift over time in the direction of that phenotype. Under directional selection, the advantageous allele increases as a consequence of differences in survival and reproduction among different phenotypes. The increases are independent of the dominance of the allele, and even if the allele is recessive, it will eventually become fixed.
Écran à plasmaLes écrans à plasma fonctionnent de façon similaire aux tubes d'éclairage fluorescents (improprement appelés « néons »). Ils utilisent l’électricité pour illuminer un gaz. thumb|300px|Schéma de principe Le gaz utilisé est un mélange de gaz nobles (argon 90 % et xénon 10 %). Ce mélange de gaz est inerte et inoffensif. Pour qu'il émette de la lumière on lui applique un courant électrique qui le transforme en plasma, un fluide ionisé dont les atomes ont perdu un ou plusieurs de leurs électrons et ne sont plus électriquement neutres, alors que les électrons ainsi libérés forment un nuage autour.
