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.
Hazardous wasteHazardous waste is waste that has substantial or potential threats to public health or the environment. Hazardous waste is a type of dangerous goods. They usually have one or more of the following hazardous traits: ignitability, reactivity, corrosivity, toxicity. Listed hazardous wastes are materials specifically listed by regulatory authorities as hazardous wastes which are from non-specific sources, specific sources, or discarded chemical products. Hazardous wastes may be found in different physical states such as gaseous, liquids, or solids.
Energy accountingEnergy accounting is a system used to measure, analyze and report the energy consumption of different activities on a regular basis. This is done to improve energy efficiency, and to monitor the environment impact of energy consumption. Energy accounting is a system used in energy management systems to measure and analyze energy consumption to improve energy efficiency within an organization. Organisations such as Intel corporation use these systems to track energy usage. Various energy transformations are possible.
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.
Process architectureProcess architecture is the structural design of general process systems. It applies to fields such as computers (software, hardware, networks, etc.), business processes (enterprise architecture, policy and procedures, logistics, project management, etc.), and any other process system of varying degrees of complexity. Processes are defined as having inputs, outputs and the energy required to transform inputs to outputs. Use of energy during transformation also implies a passage of time: a process takes real time to perform its associated action.