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.
Zero-energy buildingA Zero-Energy Building (ZEB), also known as a Net Zero-Energy (NZE) building, is a building with net zero energy consumption, meaning the total amount of energy used by the building on an annual basis is equal to the amount of renewable energy created on the site or in other definitions by renewable energy sources offsite, using technology such as heat pumps, high efficiency windows and insulation, and solar panels. The goal is that these buildings contribute less overall greenhouse gas to the atmosphere during operations than similar non-ZNE buildings.
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.
Efficient energy useEfficient energy use, sometimes simply called energy efficiency, is the process of reducing the amount of energy required to provide products and services. For example, insulating a building allows it to use less heating and cooling energy to achieve and maintain a thermal comfort. Installing light-emitting diode bulbs, fluorescent lighting, or natural skylight windows reduces the amount of energy required to attain the same level of illumination compared to using traditional incandescent light bulbs.
Type theoryIn mathematics, logic, and computer science, a type theory is the formal presentation of a specific type system, and in general, type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundation of mathematics. Two influential type theories that were proposed as foundations are Alonzo Church's typed λ-calculus and Per Martin-Löf's intuitionistic type theory. Most computerized proof-writing systems use a type theory for their foundation, a common one is Thierry Coquand's Calculus of Inductive Constructions.
Passive coolingPassive cooling is a building design approach that focuses on heat gain control and heat dissipation in a building in order to improve the indoor thermal comfort with low or no energy consumption. This approach works either by preventing heat from entering the interior (heat gain prevention) or by removing heat from the building (natural cooling). Natural cooling utilizes on-site energy, available from the natural environment, combined with the architectural design of building components (e.g.
Type safetyIn computer science, type safety and type soundness are the extent to which a programming language discourages or prevents type errors. Type safety is sometimes alternatively considered to be a property of facilities of a computer language; that is, some facilities are type-safe and their usage will not result in type errors, while other facilities in the same language may be type-unsafe and a program using them may encounter type errors.
Reflective surfaces (climate engineering)Reflective surfaces, or ground-based albedo modification (GBAM), is a solar radiation management method of enhancing Earth's albedo (the ability to reflect the visible, infrared, and ultraviolet wavelengths of the Sun, reducing heat transfer to the surface). The IPCC described this method as "whitening roofs, changes in land use management (e.g., no-till farming), change of albedo at a larger scale (covering glaciers or deserts with reflective sheeting and changes in ocean albedo).
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.
Thermal comfortThermal comfort is the condition of mind that expresses satisfaction with the thermal environment and is assessed by subjective evaluation (ANSI/ASHRAE Standard 55). The human body can be viewed as a heat engine where food is the input energy. The human body will release excess heat into the environment, so the body can continue to operate. The heat transfer is proportional to temperature difference. In cold environments, the body loses more heat to the environment and in hot environments the body does not release enough heat.
Indoor air qualityIndoor air quality (IAQ) is the air quality within and around buildings and structures. IAQ is known to affect the health, comfort, and well-being of building occupants. Poor indoor air quality has been linked to sick building syndrome, reduced productivity, and impaired learning in schools. Common pollutants of indoor air include: secondhand tobacco smoke, air pollutants from indoor combustion, radon, molds and other allergens, carbon monoxide, volatile organic compounds, legionella and other bacteria, asbestos fibers, carbon dioxide, ozone and particulates.
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.
