NanotechnologyNanotechnology, often shortened to nanotech, is the use of matter on atomic, molecular, and supramolecular scales for industrial purposes. The earliest, widespread description of nanotechnology referred to the particular technological goal of precisely manipulating atoms and molecules for fabrication of macroscale products, also now referred to as molecular nanotechnology. A more generalized description of nanotechnology was subsequently established by the National Nanotechnology Initiative, which defined nanotechnology as the manipulation of matter with at least one dimension sized from 1 to 100 nanometers (nm).
Multi-junction solar cellMulti-junction (MJ) solar cells are solar cells with multiple p–n junctions made of different semiconductor materials. Each material's p-n junction will produce electric current in response to different wavelengths of light. The use of multiple semiconducting materials allows the absorbance of a broader range of wavelengths, improving the cell's sunlight to electrical energy conversion efficiency. Traditional single-junction cells have a maximum theoretical efficiency of 33.16%.
WattThe watt (symbol: W) is the unit of power or radiant flux in the International System of Units (SI), equal to 1 joule per second or 1 kg⋅m2⋅s−3. It is used to quantify the rate of energy transfer. The watt is named in honor of James Watt (1736–1819), an 18th-century Scottish inventor, mechanical engineer, and chemist who improved the Newcomen engine with his own steam engine in 1776. Watt's invention was fundamental for the Industrial Revolution.
High voltageHigh voltage electricity refers to electrical potential large enough to cause injury or damage. In certain industries, high voltage refers to voltage above a certain threshold. Equipment and conductors that carry high voltage warrant special safety requirements and procedures. High voltage is used in electrical power distribution, in cathode ray tubes, to generate X-rays and particle beams, to produce electrical arcs, for ignition, in photomultiplier tubes, and in high-power amplifier vacuum tubes, as well as other industrial, military and scientific applications.
Type safetyIn computer science, type safety and type soundness are the extent to which a programming language discourages or prevents type errors. Type safety is sometimes alternatively considered to be a property of facilities of a computer language; that is, some facilities are type-safe and their usage will not result in type errors, while other facilities in the same language may be type-unsafe and a program using them may encounter type errors.
Graphene nanoribbonGraphene nanoribbons (GNRs, also called nano-graphene ribbons or nano-graphite ribbons) are strips of graphene with width less than 100 nm. Graphene ribbons were introduced as a theoretical model by Mitsutaka Fujita and coauthors to examine the edge and nanoscale size effect in graphene. Large quantities of width-controlled GNRs can be produced via graphite nanotomy, where applying a sharp diamond knife on graphite produces graphite nanoblocks, which can then be exfoliated to produce GNRs as shown by Vikas Berry.
Aluminum electrolytic capacitorAluminum electrolytic capacitors are polarized electrolytic capacitors whose anode electrode (+) is made of a pure aluminum foil with an etched surface. The aluminum forms a very thin insulating layer of aluminum oxide by anodization that acts as the dielectric of the capacitor. A non-solid electrolyte covers the rough surface of the oxide layer, serving in principle as the second electrode (cathode) (-) of the capacitor. A second aluminum foil called “cathode foil” contacts the electrolyte and serves as the electrical connection to the negative terminal of the capacitor.
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.
Tantalum capacitorA tantalum electrolytic capacitor is an electrolytic capacitor, a passive component of electronic circuits. It consists of a pellet of porous tantalum metal as an anode, covered by an insulating oxide layer that forms the dielectric, surrounded by liquid or solid electrolyte as a cathode. Because of its very thin and relatively high permittivity dielectric layer, the tantalum capacitor distinguishes itself from other conventional and electrolytic capacitors in having high capacitance per volume (high volumetric efficiency) and lower weight.
