Photoelectrochemical cellA "photoelectrochemical cell" is one of two distinct classes of device. The first produces electrical energy similarly to a dye-sensitized photovoltaic cell, which meets the standard definition of a photovoltaic cell. The second is a photoelectrolytic cell, that is, a device which uses light incident on a photosensitizer, semiconductor, or aqueous metal immersed in an electrolytic solution to directly cause a chemical reaction, for example to produce hydrogen via the electrolysis of water.
Electrolysis of waterElectrolysis of water is using electricity to split water into oxygen (O2) and hydrogen (H2) gas by electrolysis. Hydrogen gas released in this way can be used as hydrogen fuel, but must be kept apart from the oxygen as the mixture would be extremely explosive. Separately pressurised into convenient 'tanks' or 'gas bottles', hydrogen can be used for oxyhydrogen welding and other applications, as the hydrogen / oxygen flame can reach circa 2,800°C. Water electrolysis requires a minimum potential difference of 1.
Lambda calculusLambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution. It is a universal model of computation that can be used to simulate any Turing machine. It was introduced by the mathematician Alonzo Church in the 1930s as part of his research into the foundations of mathematics. Lambda calculus consists of constructing lambda terms and performing reduction operations on them.
Lambda liftingLambda lifting is a meta-process that restructures a computer program so that functions are defined independently of each other in a global scope. An individual "lift" transforms a local function into a global function. It is a two step process, consisting of; Eliminating free variables in the function by adding parameters. Moving functions from a restricted scope to broader or global scope. The term "lambda lifting" was first introduced by Thomas Johnsson around 1982 and was historically considered as a mechanism for implementing functional programming languages.
States' rightsIn American political discourse, states' rights are political powers held for the state governments rather than the federal government according to the United States Constitution, reflecting especially the enumerated powers of Congress and the Tenth Amendment. The enumerated powers that are listed in the Constitution include exclusive federal powers, as well as concurrent powers that are shared with the states, and all of those powers are contrasted with the reserved powers—also called states' rights—that only the states possess.
Anonymous functionIn computer programming, an anonymous function (function literal, lambda abstraction, lambda function, lambda expression or block) is a function definition that is not bound to an identifier. Anonymous functions are often arguments being passed to higher-order functions or used for constructing the result of a higher-order function that needs to return a function. If the function is only used once, or a limited number of times, an anonymous function may be syntactically lighter than using a named function.
CW complexA CW complex (also called cellular complex or cell complex) is a kind of a topological space that is particularly important in algebraic topology. It was introduced by J. H. C. Whitehead to meet the needs of homotopy theory. This class of spaces is broader and has some better properties than simplicial complexes, but still retains a combinatorial nature that allows for computation (often with a much smaller complex). The C stands for "closure-finite", and the W for "weak" topology.
