Voltage regulatorA voltage regulator is a system designed to automatically maintain a constant voltage. A voltage regulator may use a simple feed-forward design or may include negative feedback. It may use an electromechanical mechanism, or electronic components. Depending on the design, it may be used to regulate one or more AC or DC voltages. Electronic voltage regulators are found in devices such as computer power supplies where they stabilize the DC voltages used by the processor and other elements.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
World-systems theoryWorld-systems theory (also known as world-systems analysis or the world-systems perspective) is a multidisciplinary approach to world history and social change which emphasizes the world-system (and not nation states) as the primary (but not exclusive) unit of social analysis. "World-system" refers to the inter-regional and transnational division of labor, which divides the world into core countries, semi-periphery countries, and the periphery countries.
World-systemA world-system is a socioeconomic system, under systems theory, that encompasses part or all of the globe, detailing the aggregate structural result of the sum of the interactions between polities. World-systems are usually larger than single states, but do not have to be global. The Westphalian System is the preeminent world-system operating in the contemporary world, denoting the system of sovereign states and nation-states produced by the Westphalian Treaties in 1648.
Intersymbol interferenceIn telecommunication, intersymbol interference (ISI) is a form of distortion of a signal in which one symbol interferes with subsequent symbols. This is an unwanted phenomenon as the previous symbols have a similar effect as noise, thus making the communication less reliable. The spreading of the pulse beyond its allotted time interval causes it to interfere with neighboring pulses. ISI is usually caused by multipath propagation or the inherent linear or non-linear frequency response of a communication channel causing successive symbols to blur together.
