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.
Catalysevignette|Intérieur du musée de la catalyse à Widnes en Angleterre. En chimie, la catalyse (du grec ancien : , « détacher ») se réfère à l'accélération ou la réorientation de la cinétique de réaction au moyen d'un catalyseur, et dans certains cas à la sélectivité pour diriger la réaction dans un sens privilégié (réaction concurrente, production d'un produit plutôt qu'un autre). Le catalyseur est utilisé en quantité beaucoup plus faible que les produits réactifs. Il n'apparait pas en général dans le bilan de réaction, donc pas dans son équation globale.
Énergie renouvelableLes énergies renouvelables (parfois abrégées EnR) proviennent de sources d'énergie dont le renouvellement naturel est assez rapide pour qu'elles puissent être considérées comme inépuisables à l'échelle du temps humain. Elles proviennent de phénomènes naturels cycliques ou constants induits par les astres : le Soleil essentiellement pour la chaleur et la lumière qu'il produit, mais aussi l'attraction de la Lune (marées) et la chaleur engendrée par la Terre (géothermie).
Stratégie d'évaluation (informatique)Un langage de programmation utilise une stratégie d'évaluation pour déterminer « quand » évaluer les arguments à l'appel d'une fonction (ou encore, opération, méthode) et « comment » passer les arguments à la fonction. Par exemple, dans l'appel par valeur, les arguments doivent être évalués avant d'être passés à la fonction. La stratégie d'évaluation d'un langage de programmation est spécifiée par la définition du langage même. En pratique, la plupart des langages de programmation (Java, C...
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.
Inférence de typesL'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
Potentiel électrochimiqueEn électrochimie, le potentiel électrochimique est une grandeur thermodynamique, en joules par mole, équivalent au potentiel chimique mais tenant compte des espèces électriquement chargées. Il ne faut pas confondre avec le potentiel d'électrode en volts. Cette notion est typiquement utilisée pour les processus chimiques où intervient la diffusion, notamment en biochimie où elle détermine le flux des ions à travers une surface donnée mais également pour la compréhension de la conduction dans les semi-conducteurs.
Évaluation paresseuseL’évaluation paresseuse (), appelée aussi appel par nécessité ou évaluation retardée est une technique d'implémentation des programmes récursifs pour laquelle l'évaluation d'un paramètre de fonction ne se fait pas avant que les résultats de cette évaluation ne soient réellement nécessaires. Ces résultats, une fois calculés, sont préservés pour des réutilisations ultérieures. Dans un langage comme Haskell, l'évaluation est paresseuse par défaut.
Sel (chimie)En chimie, un sel est un composé ionique de cations et d'anions formant un produit neutre et sans charge électrique nette. Ces ions peuvent être aussi bien minéraux (chlorure Cl−) qu'organiques (acétate CH3-COO−) et monoatomiques (fluorure F−) aussi bien que polyatomiques (sulfate SO42−). Les anions porteurs de deux charges négatives ou plus peuvent former des sels doubles ou triples ; par exemple, ces deux sels qui sont très présents dans la croûte terrestre : les feldspaths, des silicates [Si3O84-] doubles de potassium [K+] et d'aluminium [Al3+] ; la dolomite, un carbonate double de calcium et magnésium [CaMg(CO3)2].
Pot catalytiqueLe pot catalytique ou catalyseur est un élément de l'ensemble du pot d'échappement des moteurs à combustion interne qui vise à réduire la nocivité des gaz d'échappement. thumb|Vue « en écorché » d'un pot catalytique à enveloppe en inox.Dès la toute fin du , alors que seulement quelques milliers de voitures « à pétrole » sont en circulation, sont conçus en France des premiers prototypes de pots catalytiques automobiles, constitués d'une matière inerte « de contact » imprégnée de platine, d'iridium et de palladium, enfermée dans un cylindre métallique à double paroi isolante traversé de part en part par les gaz d'échappement.
