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.
Sustainable biofuelSustainable biofuel is biofuel produced in a sustainable manner. It is not based on petroleum or other fossil fuels. It includes not using plants that are used for food stuff to produce the fuel thus disrupting the world's food supply. Low-carbon fuel standard In 2008, the Roundtable for Sustainable Biofuels released its proposed standards for sustainable biofuels. This includes 12 principles: "Biofuel production shall follow international treaties and national laws regarding such things as air quality, water resources, agricultural practices, labor conditions, and more.
Marché des droits à polluerLe marché des droits à polluer englobe toutes les transactions par lesquelles certains pays, juridiction ou entreprises, achètent des droits de polluer. En 2005 s’est ouvert le marché européen des droits à polluer, afin de se conformer partiellement au protocole de Kyoto. En réalité ce marché des permis d’émission ne confère aucun « droit à polluer » au sens où il fixe seulement un prix de marché à la pollution en tant qu'une externalité, dotée d'un coût social.
Combustible fossileUn combustible fossile est un combustible riche en carbone, par exemple un hydrocarbure, issu de la transformation lente de matière organique enfouie dans le sol depuis plusieurs millions d'années, jusqu'à parfois d'années. Il s'agit du pétrole, du charbon, du lignite et du gaz naturel. Parmi ces derniers, le méthane () présente le rapport H/C le plus élevé, alors que l'anthracite et certaines houilles sont composés de carbone presque pur. L'usage des combustibles fossiles est le principal responsable du réchauffement climatique.
Sortie des combustibles fossilesthumb|right|La marée noire consécutive à l'explosion de la plate-forme pétrolière Deepwater Horizon, en 2010, a répandu de barils de pétrole dans la mer. La sortie des combustibles fossiles désigne l'abandon progressif des combustibles fossiles dans tous les secteurs où ils sont utilisés : la production d'électricité, le chauffage, les transports et l'industrie.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Sécurité énergétiquevignette| Un Boeing F/A-18 Super Hornet de l'US Navy affichant un logo "Energy Security". La sécurité énergétique est l'association entre la sécurité nationale et la disponibilité des ressources naturelles pour la consommation d'énergie. L'accès à une énergie (relativement) bon marché est devenu essentiel au fonctionnement des économies modernes. Cependant, la répartition inégale des approvisionnements énergétiques entre les pays conduit à des vulnérabilités importantes.
Transition énergétiqueLa transition énergétique désigne à la fois l'évolution passée de la répartition des énergies consommées sur la planète (bois, hydroélectricité, charbon, pétrole, gaz naturel, nucléaire, etc.) et, pour l'avenir, l'objectif politique et technique d'une modification structurelle profonde des modes de production et de consommation de l'énergie. C'est l'un des volets de la transition écologique.
Énergie primaireUne source d’énergie primaire est une forme d’énergie disponible dans la nature avant toute transformation. Si elle n’est pas utilisable directement, elle doit être transformée en une source d’énergie secondaire pour être utilisable et transportable facilement. Dans l'industrie de l'énergie, on distingue la production d'énergie primaire, de son stockage et son transport sous la forme de vecteurs d'énergie et de la consommation d'énergie finale.
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.
