Développement durablevignette|Diagramme de Venn du développement durable, à l'intersection de trois préoccupations, dites « les trois piliers du développement durable ».Les descriptions des intersections partielles peuvent varier. Le développement durable (, parfois traduit par développement soutenable) est une conception du développement qui s'inscrit dans une perspective de long terme et en intégrant les contraintes environnementales et sociales à l'économie.
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.
Cadre d'architectureUn cadre d'architecture est une spécification sur la façon d'organiser et de présenter une architecture de systèmes ou l'architecture informatique d'un organisme. Étant donné que les disciplines de l'architecture de systèmes et de l'architecture informatique sont très larges, et que la taille de ces systèmes peut être très grande, il peut en résulter des modèles très complexes. Afin de gérer cette complexité, il est avantageux de définir un cadre d'architecture par un ensemble standard de catégories de modèles (appelés “vues”) qui ont chacun un objectif spécifique.
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.
Écologie de la restaurationL'écologie de la restauration est la science qui sert de base théorique aux pratiques d'ingénierie écologique visant au retour d'un écosystème vers un état de référence. L'écologie de la restauration est la science qui sert de base théorique aux pratiques de restauration ou de réhabilitation des écosystèmes.
Limites planétairesvignette|Les limites planétaires et leur dépassement en 2022. Le cercle en pointillés représente l'estimation des limites de durabilité et les zones colorées l'estimation de leur état fin 2022, la couleur orange représentant un dépassement. Les neuf limites planétaires sont, dans le sens antihoraire et en partant du haut : (1) Changement climatique ; (2) Érosion de la biodiversité ; (3) Modifications des usages des sols ; (4) Pollution chimique (nouvelles entités) ; (5) Perturbation des cycles biochimiques de l'azote et du phosphore ; (6) Acidification des océans ; (7) Aérosols atmosphériques; (8) Diminution de la couche d’ozone ; (9) Utilisation d’eau douce.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
PêcherieUne pêcherie est un espace circonscrit dans une étendue d'eau, généralement à proximité immédiate du littoral, qui a été aménagé afin d'y faciliter la pratique de la pêche. Par extension, le mot désigne également les aménagements spécifiques qui y sont installés. L'utilisation de pêcheries est une activité très ancienne ; il existe des traces de nombreuses pêcheries qui datent de l'époque préhistorique. Des varient d'une juridiction d'un État côtier à une autre.
Variable discrèteIn 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.
Alpes suissesLes Alpes suisses sont la partie située en Suisse de la chaîne des Alpes. Elles comprennent la haute montagne du col du Petit-Saint-Bernard à l'ouest jusqu'au col de Resia à l'est. Selon la classification traditionnelle du système alpin, elles font partie des Alpes centrales. Le point culminant des Alpes suisses et de la Suisse est la pointe Dufour, à , à proximité de la frontière italo-suisse. La plus haute montagne située entièrement sur territoire suisse est le Dom des Mischabel, à .
