Sustainable developmentSustainable development is an organizing principle that aims to meet human development goals while also enabling natural systems to provide necessary natural resources and ecosystem services to humans. The desired result is a society where living conditions and resources meet human needs without undermining the planetary integrity and stability of the natural system. Sustainable development tries to find a balance between economic development, environmental protection, and social well-being.
Errors-in-variables modelsIn statistics, errors-in-variables models or measurement error models are regression models that account for measurement errors in the independent variables. In contrast, standard regression models assume that those regressors have been measured exactly, or observed without error; as such, those models account only for errors in the dependent variables, or responses. In the case when some regressors have been measured with errors, estimation based on the standard assumption leads to inconsistent estimates, meaning that the parameter estimates do not tend to the true values even in very large samples.
Enterprise architecture frameworkAn enterprise architecture framework (EA framework) defines how to create and use an enterprise architecture. An architecture framework provides principles and practices for creating and using the architecture description of a system. It structures architects' thinking by dividing the architecture description into domains, layers, or views, and offers models - typically matrices and diagrams - for documenting each view. This allows for making systemic design decisions on all the components of the system and making long-term decisions around new design requirements, sustainability, and support.
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.
Restoration ecologyRestoration ecology is the scientific study supporting the practice of ecological restoration, which is the practice of renewing and restoring degraded, damaged, or destroyed ecosystems and habitats in the environment by active human interruption and action. Ecological restoration can reverse biodiversity loss, combat climate change and support local and global economies.
Planetary boundariesPlanetary boundaries are a framework to describe limits to the impacts of human activities on the Earth system. Beyond these limits, the environment may not be able to self-regulate anymore. This would mean the Earth system would leave the period of stability of the Holocene, in which human society developed. Crossing a planetary boundary comes at the risk of abrupt environmental change. The framework is based on scientific evidence that human actions, especially those of industrialized societies since the Industrial Revolution, have become the main driver of global environmental change.
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.
FisheryFishery can mean either the enterprise of raising or harvesting fish and other aquatic life; or more commonly, the site where such enterprise takes place (a.k.a. fishing ground). Commercial fisheries include wild fisheries and fish farms, both in freshwater waterbodies (about 10% of all catch) and the oceans (about 90%). About 500 million people worldwide are economically dependent on fisheries. 171 million tonnes of fish were produced in 2016, but overfishing is an increasing problem — causing declines in some populations.
Continuous or discrete variableIn mathematics and statistics, a quantitative variable may be continuous or discrete if they are typically obtained by measuring or counting, respectively. If it can take on two particular real values such that it can also take on all real values between them (even values that are arbitrarily close together), the variable is continuous in that interval. If it can take on a value such that there is a non-infinitesimal gap on each side of it containing no values that the variable can take on, then it is discrete around that value.
Swiss AlpsThe Alpine region of Switzerland, conventionally referred to as the Swiss Alps (Schweizer Alpen, Alpes suisses, Alpi svizzere, Alps svizras), represents a major natural feature of the country and is, along with the Swiss Plateau and the Swiss portion of the Jura Mountains, one of its three main physiographic regions. The Swiss Alps extend over both the Western Alps and the Eastern Alps, encompassing an area sometimes called Central Alps.
