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.
Bâtiment à énergie zérovignette|Bâtiment d'essai zéro énergie à Tallinn , Estonie . Université de Technologie de Tallinn Un bâtiment à énergie zéro (en anglais zero-energy building (ZEB), zero net energy (ZNE) ou net-zero energy building (NZEB), net zero building), est un bâtiment à consommation énergétique nette nulle, ce qui signifie que la quantité totale d'énergie utilisée, calculée sur une base annuelle, est à peu près égale à la quantité d'énergie renouvelable créée sur le site, ou dans d'autres définitions par des sources d'énergie renouvelables externes.
Tin-glazingTin-glazing is the process of giving tin-glazed pottery items a ceramic glaze that is white, glossy and opaque, which is normally applied to red or buff earthenware. Tin-glaze is plain lead glaze with a small amount of tin oxide added. The opacity and whiteness of tin glaze encourage its frequent decoration. Historically this has mostly been done before the single firing, when the colours blend into the glaze, but since the 17th century also using overglaze enamels, with a light second firing, allowing a wider range of colours.
Efficacité énergétique (économie)En économie, l’efficacité énergétique ou efficience énergétique désigne l'état de fonctionnement d'un système pour lequel la consommation d’énergie est minimisée pour un service rendu identique. C'est un cas particulier de la notion d’efficience. Elle concerne notamment les transports motorisés, les métiers du bâtiment et l'industrie (ces derniers étant responsables respectivement d'environ 40 % et 25 % de la consommation énergétique totale de l'Union européenne).
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.
Refroidissement passifvignette|Dissipateur thermique à ailettes doté d'une fixation du dissipateur thermique par clip en Z. Un système de refroidissement passif est une installation de refroidissement d'un bâtiment ne consommant pas d'énergie. Rafraîchissement par ventilation (le puits thermique est l'air), système le plus communément utilisé. Rafraîchissement géothermique (le puits thermique est le terrain). Rafraîchissement par évaporation ((le puits thermique est l'eau). Rafraîchissement radiatif (le puits thermique est le ciel nocturne).
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.
Surface réfléchissanteLes surfaces réfléchissantes sont des procédés qui tendent à maximiser le rayonnement solaire pour améliorer l'albédo de la Terre (la capacité à réfléchir les longueurs d'onde visibles, infrarouges et ultraviolets du soleil, réduisant le transfert de chaleur vers la surface). Le GIEC inclut dans ces méthodes "le blanchiment des toits, les changements dans la gestion de l'utilisation des terres (par exemple, l'agriculture sans labour ), le changement de l'albédo à plus grande échelle (couvrant les glaciers ou les déserts avec des feuilles réfléchissantes et les changements dans l'albédo des océans)".
Physics educationPhysics education or physics teaching refers to the education methods currently used to teach physics. The occupation is called physics educator or physics teacher. Physics education research refers to an area of pedagogical research that seeks to improve those methods. Historically, physics has been taught at the high school and college level primarily by the lecture method together with laboratory exercises aimed at verifying concepts taught in the lectures.
Confort thermiquethumb|Bivouac dans un sac de couchage très isolant. Malgré le froid, le dormeur dort confortablement. La notion de confort thermique est le plus souvent appliquée à l'être humain, bien qu'elle puisse s'appliquer à tout être vivant. En effet, la vie - et spécialement l'activité métabolique assurant les fonctions vitales - n'est possible que dans une certaine plage de température, qui varie d'une espèce à l'autre. Il existe cependant des conditions d'ambiance optimales qui seront ressenties par l'individu comme celle d'un état de confort thermique.
Qualité de l'air intérieurLa qualité de l'air intérieur (QAI) recouvre l'étude des paramètres de confort (température, hygrométrie) et de la composition de l'air dans les environnements clos (bâtiments, mais aussi dans les transports en commun, par exemple), dans le but d'assurer la santé des usagers. La pollution intérieure est une notion un peu plus restreinte qui désigne classiquement les composés chimiques (hors ) susceptibles d'être présents dans l'air intérieur, ainsi que les fumées et poussières.
Energy efficiency in British housingDomestic housing in the United Kingdom presents a possible opportunity for achieving the 20% overall cut in UK greenhouse gas emissions targeted by the Government for 2010. However, the process of achieving that drop is proving problematic given the very wide range of age and condition of the UK housing stock. Although carbon emissions from housing have remained fairly stable since 1990 (due to the increase in household energy use having been compensated for by the 'dash for gas'), housing accounted for around 30% of all the UK's carbon dioxide emissions in 2004 (40 million tonnes of carbon) up from 26.
