Nombre de sujets nécessairesEn statistique, la détermination du nombre de sujets nécessaires est l'acte de choisir le nombre d'observations ou de répétitions à inclure dans un échantillon statistique. Ce choix est très important pour pouvoir faire de l'inférence sur une population. En pratique, la taille de l'échantillon utilisé dans une étude est déterminée en fonction du coût de la collecte des données et de la nécessité d'avoir une puissance statistique suffisante.
TempératureLa température est une grandeur physique mesurée à l’aide d’un thermomètre et étudiée en thermométrie. Dans la vie courante, elle est reliée aux sensations de froid et de chaud, provenant du transfert thermique entre le corps humain et son environnement. En physique, elle se définit de plusieurs manières : comme fonction croissante du degré d’agitation thermique des particules (en théorie cinétique des gaz), par l’équilibre des transferts thermiques entre plusieurs systèmes ou à partir de l’entropie (en thermodynamique et en physique statistique).
Injection (médecine)En médecine, une injection est une méthode instrumentale utilisée pour introduire dans l'organisme une substance à visée thérapeutique ou diagnostique. Cet acte médical se fait au moyen d'une voie d'administration constituée d'une aiguille creuse ou d'un cathéter mis en place par effraction plus ou moins profonde du revêtement externe du corps, c'est-à-dire la peau le plus souvent. Ce dispositif constitue une voie parentérale, ce qui signifie que le produit injecté dans le corps ne passe pas par les intestins, permettant une biodisponibilité de 100 %.
Liquidevignette|L'eau est une substance abondante sur la surface terrestre, se manifestant notamment sous forme de liquide. vignette|Diagramme montrant comment sont configurés les molécules et les atomes pour les différents états de la matière.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Solvantvignette|Schéma moléculaire de la dissolution du chlorure de sodium dans l'eau : le sel est le soluté, l'eau le solvant. Un solvant est une substance, liquide ou supercritique à sa température d'utilisation, qui a la propriété de dissoudre, de diluer ou d'extraire d’autres substances sans les modifier chimiquement et sans lui-même se modifier. Les solvants sont utilisés dans des secteurs très diversifiés tels que le dégraissage, les peintures, les encres, la détergence, la synthèse organique, et représentent des quantités considérables en termes de tonnage et de chiffre d'affaires.
Vaporisationthumb|De l'eau vaporisée par ébullition dans une casserole. La vaporisation est l'une des six transformations fondamentales de la physique. Il s'agit du passage d'un corps de l'état liquide à l'état gaz. Il s'agit d'une transition de phase de première espèce. Elle peut prendre la forme d'une évaporation (en surface) ou d'une ébullition (dans les profondeurs du matériau vaporisé). La vaporisation consomme en général une quantité d'énergie non négligeable, ce qui permet de l'utiliser comme intermédiaire entre le dispositif produisant la chaleur (la chaudière ou la résistance chauffante) et le dispositif qui l'utilise.
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.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Solution (chimie)Une solution, en chimie, est un mélange homogène (constitué d'une seule phase) résultant de la dissolution d'un ou plusieurs soluté(s) (espèce chimique dissoute) dans un solvant. Les molécules (ou les ions) de soluté sont alors solvatées et dispersées dans le solvant. La solution liquide est l'exemple le plus connu. Une solution ayant l'eau comme solvant est appelée solution aqueuse. Il est possible de mettre en solution : un liquide dans un autre : limité par la miscibilité des deux liquides ; un solide dans un liquide : limité par la solubilité du solide dans le solvant, au-delà de laquelle le solide n'est plus dissous.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
