Dependent typeIn computer science and logic, a dependent type is a type whose definition depends on a value. It is an overlapping feature of type theory and type systems. In intuitionistic type theory, dependent types are used to encode logic's quantifiers like "for all" and "there exists". In functional programming languages like Agda, ATS, Coq, F*, Epigram, and Idris, dependent types help reduce bugs by enabling the programmer to assign types that further restrain the set of possible implementations.
Type conversionIn computer science, type conversion, type casting, type coercion, and type juggling are different ways of changing an expression from one data type to another. An example would be the conversion of an integer value into a floating point value or its textual representation as a string, and vice versa. Type conversions can take advantage of certain features of type hierarchies or data representations.
Visual systemThe visual system comprises the sensory organ (the eye) and parts of the central nervous system (the retina containing photoreceptor cells, the optic nerve, the optic tract and the visual cortex) which gives organisms the sense of sight (the ability to detect and process visible light) as well as enabling the formation of several non-image photo response functions. It detects and interprets information from the optical spectrum perceptible to that species to "build a representation" of the surrounding environment.
Building envelopeA building envelope is the physical separator between the conditioned and unconditioned environment of a building including the resistance to air, water, heat, light, and noise transfer. The building envelope (or the more modern term, building enclosure) is all of the elements of the outer shell that maintain a dry, heated, or cooled indoor environment and facilitate its climate control. Building envelope design is a specialized area of architectural and engineering practice that draws from all areas of building science and indoor climate control.
Climate change vulnerabilityClimate change vulnerability (or climate vulnerability or climate risk vulnerability) is a concept that describes how strongly people or ecosystems are likely to be affected by climate change. It is defined as the "propensity or predisposition to be adversely affected" by climate change. It can apply to humans and also to natural systems (or ecosystems). Related concepts include climate sensitivity and the ability, or lack thereof, to cope and adapt. Vulnerability is a component of climate risk.
Thermal contact conductanceIn physics, thermal contact conductance is the study of heat conduction between solid or liquid bodies in thermal contact. The thermal contact conductance coefficient, , is a property indicating the thermal conductivity, or ability to conduct heat, between two bodies in contact. The inverse of this property is termed thermal contact resistance. When two solid bodies come in contact, such as A and B in Figure 1, heat flows from the hotter body to the colder body.
Climate justiceClimate justice is a concept that addresses the just division, fair sharing, and equitable distribution of the burdens of climate change and its mitigation and responsibilities to deal with climate change. It has been described as encompassing "a set of rights and obligations, which corporations, individuals and governments have towards those vulnerable people who will be in a way significantly disproportionately affected by climate change.
Politics of climate changeThe politics of climate change results from different perspectives on how to respond to climate change. Global warming is driven largely by the emissions of greenhouse gases due to human economic activity, especially the burning of fossil fuels, certain industries like cement and steel production, and land use for agriculture and forestry. Since the Industrial Revolution, fossil fuels have provided the main source of energy for economic and technological development.
Survey methodologySurvey methodology is "the study of survey methods". As a field of applied statistics concentrating on human-research surveys, survey methodology studies the sampling of individual units from a population and associated techniques of survey data collection, such as questionnaire construction and methods for improving the number and accuracy of responses to surveys. Survey methodology targets instruments or procedures that ask one or more questions that may or may not be answered.
Building insulationBuilding insulation is material used in a building (specifically the building envelope) to reduce the flow of thermal energy. While the majority of insulation in buildings is for thermal purposes, the term also applies to acoustic insulation, fire insulation, and impact insulation (e.g. for vibrations caused by industrial applications). Often an insulation material will be chosen for its ability to perform several of these functions at once. Insulation is an important economic and environmental investment for buildings.
