Démonstration constructiveUne première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu. Ainsi, démontrer l'impossibilité de l'inexistence d'un objet ne constitue pas une démonstration constructive de son existence : il faut pour cela en exhiber un et expliquer comment le construire. Si une démonstration est constructive, on doit pouvoir lui associer un algorithme.
Couche liaison de donnéesvignette|Modèle OSI complet avec la couche liaison en deuxième position en partant du bas Dans le domaine des réseaux informatiques, la couche de liaison de données est la seconde couche des sept couches du modèle OSI. La couche de liaison de données est la couche de protocole qui transfère des données entre les nœuds adjacents d'un réseau étendu (WAN) ou entre des nœuds sur le même segment d'un réseau local (LAN).
PolariseurUn polariseur est un instrument d'optique qui sélectionne dans une onde lumineuse incidente une direction de polarisation préférentielle : la plupart des polariseurs permettent d'obtenir une lumière polarisée rectilignement dans une certaine direction. Dans ce cas, cette direction est appelée l’axe du polariseur. Mis en fin de système optique, le polariseur est appelé « analyseur ». Les polariseurs sont présents dans de nombreuses expériences d'optique et sont donc utilisés dans des instruments d'optique.
Couche applicationLa couche application est la du modèle OSI. La couche application est surtout, du point de vue du modèle, le point d'accès aux services réseaux. Comme le modèle n'a pas pour rôle de spécifier les applications, il ne spécifie pas de service à ce niveau. La couche d'application représente des données pour l'utilisateur ainsi que du codage et un contrôle du dialogue : des mécanismes de communication offerts aux applications de l'utilisateur.
Pile à combustibleUne pile à combustible est un générateur électrochimique produisant une tension électrique grâce à l'oxydation sur une électrode d'un combustible réducteur (par exemple le dihydrogène) couplée à la réduction sur l'autre électrode d'un oxydant, tel que l'oxygène de l'air. Elle est distincte de la pile électrique, qui fonctionne également par réaction d'oxydoréduction, mais qui est constituée d'empilements de métaux. vignette|Pile à combustible de la NASA au méthanol.
Biréfringencedroite|vignette|400px|Le texte apparait en double après avoir traversé le cristal de calcite. C'est la double réfraction, un phénomène caractéristique des milieux biréfringents. La biréfringence est la propriété physique d'un matériau dans lequel la lumière se propage de façon anisotrope. Dans un milieu biréfringent, l'indice de réfraction n'est pas unique, il dépend de la direction de polarisation de l'onde lumineuse. Un effet spectaculaire de la biréfringence est la double réfraction par laquelle un rayon lumineux pénétrant dans le cristal est divisé en deux.
Véhicule à pile à combustibleUn véhicule à pile à combustible (VPC) ou véhicule électrique à pile à combustible est un véhicule électrique qui utilise une pile à combustible, parfois en combinaison avec une petite batterie ou un supercondensateur, pour alimenter son moteur électrique embarqué. Les piles à combustible sont alimentées par un carburant qui peut être en particulier l'hydrogène, le méthanol, l'éthanol ou l'acide formique. Ces véhicules ont un bilan carbone faible par rapport aux véhicules à moteur à combustion interne, en particulier suivant le mode de production du carburant alimentant la pile.
Bande SLa bande S est une bande de fréquences définie sur la partie du spectre électromagnétique allant de 2 à 4 GHz. La bande S est notamment utilisée dans les applications suivantes : Radars météorologiques et certains radars militaires de surveillance aérienne (exemple AN/SPY-1 ou SAMPSON) Quelques satellites de télécommunications, spécialement ceux que la NASA emploie pour communiquer avec leurs navettes spatiales et la Station spatiale internationale. Certains transmetteurs audio/vidéo de puissance maximale
Télévision par satelliteLa télévision par satellite désigne un mode de télédiffusion retransmettant des chaînes et services de télévision analogiques ou numériques exploitant au moins un satellite en orbite géostationnaire. La captation de ces signaux par un particulier est désignée par « réception directe » individuelle, pour la différencier de la réception collective.
