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).
Déchet dangereuxthumb|Panneau à l'entrée d'une décharge de déchets dangereux (États-Unis, 1972). Les déchets dangereux sont une des catégories de déchets définies par la législation propre à chaque pays, qui s'oppose à la catégorie des déchets non dangereux. Ils se caractérisent par leur dangerosité pour l'environnement ou la santé à travers leurs effets directs ou indirects à court, moyen ou long terme. Pour cette raison, ils doivent être collectés, transportés et traités de manière appropriée, et plusieurs stratégies d'États, de collectivités (dont l'Union européenne) ou d'entreprises visent à réduire leur production.
Comptabilité énergétiqueLa comptabilité énergétique est un système qui permet de mesurer, analyser et rendre compte régulièrement de la consommation d'énergie liée à différentes activités dans le but d'améliorer l'efficacité énergétique, et de surveiller l'impact environnemental de la consommation d'énergie. vignette|L'énergie thermique représente la quantité d'énergie cinétique créée par l'agitation désordonnée des molécules. La comptabilité énergétique est un système utilisé dans les systèmes de gestion énergétique pour mesurer et analyser la consommation d'énergie et améliorer l'efficacité énergétique au sein d'une organisation.
Stock and flowEconomics, business, accounting, and related fields often distinguish between quantities that are stocks and those that are flows. These differ in their units of measurement. A stock is measured at one specific time, and represents a quantity existing at that point in time (say, December 31, 2004), which may have accumulated in the past. A flow variable is measured over an interval of time. Therefore, a flow would be measured per unit of time (say a year). Flow is roughly analogous to rate or speed in this sense.
Architecture (informatique)thumb|Exemple de diagramme d'architecture En informatique, architecture désigne la structure générale inhérente à un système informatique, l'organisation des différents éléments du système (logiciels et/ou matériels et/ou humains et/ou informations) et des relations entre les éléments. Cette structure fait suite à un ensemble de décisions stratégiques prises durant la conception de tout ou partie du système informatique, par l'exercice d'une discipline technique et industrielle du secteur de l'informatique dénommée elle aussi architecture, et dont le responsable est l'architecte informatique.
