Metallic bondingMetallic bonding is a type of chemical bonding that arises from the electrostatic attractive force between conduction electrons (in the form of an electron cloud of delocalized electrons) and positively charged metal ions. It may be described as the sharing of free electrons among a structure of positively charged ions (cations). Metallic bonding accounts for many physical properties of metals, such as strength, ductility, thermal and electrical resistivity and conductivity, opacity, and luster.
NP-completenessIn computational complexity theory, a problem is NP-complete when: It is a decision problem, meaning that for any input to the problem, the output is either "yes" or "no". When the answer is "yes", this can be demonstrated through the existence of a short (polynomial length) solution. The correctness of each solution can be verified quickly (namely, in polynomial time) and a brute-force search algorithm can find a solution by trying all possible solutions.
Catalytic reformingCatalytic reforming is a chemical process used to convert petroleum refinery naphthas distilled from crude oil (typically having low octane ratings) into high-octane liquid products called reformates, which are premium blending stocks for high-octane gasoline. The process converts low-octane linear hydrocarbons (paraffins) into branched alkanes (isoparaffins) and cyclic naphthenes, which are then partially dehydrogenated to produce high-octane aromatic hydrocarbons.
Turing reductionIn computability theory, a Turing reduction from a decision problem to a decision problem is an oracle machine which decides problem given an oracle for (Rogers 1967, Soare 1987). It can be understood as an algorithm that could be used to solve if it had available to it a subroutine for solving . The concept can be analogously applied to function problems. If a Turing reduction from to exists, then every algorithm for can be used to produce an algorithm for , by inserting the algorithm for at each place where the oracle machine computing queries the oracle for .
Log-space reductionIn computational complexity theory, a log-space reduction is a reduction computable by a deterministic Turing machine using logarithmic space. Conceptually, this means it can keep a constant number of pointers into the input, along with a logarithmic number of fixed-size integers. It is possible that such a machine may not have space to write down its own output, so the only requirement is that any given bit of the output be computable in log-space. Formally, this reduction is executed via a log-space transducer.
Hydrogen-powered aircraftA hydrogen-powered aircraft is an aeroplane that uses hydrogen fuel as a power source. Hydrogen can either be burned in a jet engine or another kind of internal combustion engine, or can be used to power a fuel cell to generate electricity to power an electric propulsor. It cannot be stored in a traditional wet wing, and hydrogen tanks have to be housed in the fuselage or be supported by the wing. Hydrogen, which can be produced from low-carbon power and can produce zero emissions, can reduce the environmental impact of aviation.
Solid oxide fuel cellA solid oxide fuel cell (or SOFC) is an electrochemical conversion device that produces electricity directly from oxidizing a fuel. Fuel cells are characterized by their electrolyte material; the SOFC has a solid oxide or ceramic electrolyte. Advantages of this class of fuel cells include high combined heat and power efficiency, long-term stability, fuel flexibility, low emissions, and relatively low cost. The largest disadvantage is the high operating temperature which results in longer start-up times and mechanical and chemical compatibility issues.
Asymmetric hydrogenationAsymmetric hydrogenation is a chemical reaction that adds two atoms of hydrogen to a target (substrate) molecule with three-dimensional spatial selectivity. Critically, this selectivity does not come from the target molecule itself, but from other reagents or catalysts present in the reaction. This allows spatial information (what chemists refer to as chirality) to transfer from one molecule to the target, forming the product as a single enantiomer.
MetalA metal (from Ancient Greek μέταλλον métallon 'mine, quarry, metal') is a material that, when freshly prepared, polished, or fractured, shows a lustrous appearance, and conducts electricity and heat relatively well. Metals are typically ductile (can be drawn into wires) and malleable (they can be hammered into thin sheets). These properties are the result of the metallic bond between the atoms or molecules of the metal. A metal may be a chemical element such as iron; an alloy such as stainless steel; or a molecular compound such as polymeric sulfur nitride.
Hydrogen internal combustion engine vehicleA hydrogen internal combustion engine vehicle (HICEV) is a type of hydrogen vehicle using an internal combustion engine. Hydrogen internal combustion engine vehicles are different from hydrogen fuel cell vehicles (which use electrochemical use of hydrogen rather than combustion). Instead, the hydrogen internal combustion engine is simply a modified version of the traditional gasoline-powered internal combustion engine. The absence of carbon means that no is produced, which eliminates the main greenhouse gas emission of a conventional petroleum engine.
