Abstract data typeIn computer science, an abstract data type (ADT) is a mathematical model for data types. An abstract data type is defined by its behavior (semantics) from the point of view of a user, of the data, specifically in terms of possible values, possible operations on data of this type, and the behavior of these operations. This mathematical model contrasts with data structures, which are concrete representations of data, and are the point of view of an implementer, not a user.
Thin filmA thin film is a layer of material ranging from fractions of a nanometer (monolayer) to several micrometers in thickness. The controlled synthesis of materials as thin films (a process referred to as deposition) is a fundamental step in many applications. A familiar example is the household mirror, which typically has a thin metal coating on the back of a sheet of glass to form a reflective interface. The process of silvering was once commonly used to produce mirrors, while more recently the metal layer is deposited using techniques such as sputtering.
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.
Dye-sensitized solar cellA dye-sensitized solar cell (DSSC, DSC, DYSC or Grätzel cell) is a low-cost solar cell belonging to the group of thin film solar cells. It is based on a semiconductor formed between a photo-sensitized anode and an electrolyte, a photoelectrochemical system. The modern version of a dye solar cell, also known as the Grätzel cell, was originally co-invented in 1988 by Brian O'Regan and Michael Grätzel at UC Berkeley and this work was later developed by the aforementioned scientists at the École Polytechnique Fédérale de Lausanne (EPFL) until the publication of the first high efficiency DSSC in 1991.
Electron transport chainAn electron transport chain (ETC) is a series of protein complexes and other molecules that transfer electrons from electron donors to electron acceptors via redox reactions (both reduction and oxidation occurring simultaneously) and couples this electron transfer with the transfer of protons (H+ ions) across a membrane. The electrons that are transferred from NADH and FADH2 to the ETC involves four multi-subunit large enzymes complexes and two mobile electron carriers.
Perovskite solar cellA perovskite solar cell (PSC) is a type of solar cell that includes a perovskite-structured compound, most commonly a hybrid organic–inorganic lead or tin halide-based material as the light-harvesting active layer. Perovskite materials, such as methylammonium lead halides and all-inorganic cesium lead halide, are cheap to produce and simple to manufacture. Solar-cell efficiencies of laboratory-scale devices using these materials have increased from 3.8% in 2009 to 25.
Atomic emission spectroscopyAtomic emission spectroscopy (AES) is a method of chemical analysis that uses the intensity of light emitted from a flame, plasma, arc, or spark at a particular wavelength to determine the quantity of an element in a sample. The wavelength of the atomic spectral line in the emission spectrum gives the identity of the element while the intensity of the emitted light is proportional to the number of atoms of the element. The sample may be excited by various methods.
Organic electronicsOrganic electronics is a field of materials science concerning the design, synthesis, characterization, and application of organic molecules or polymers that show desirable electronic properties such as conductivity. Unlike conventional inorganic conductors and semiconductors, organic electronic materials are constructed from organic (carbon-based) molecules or polymers using synthetic strategies developed in the context of organic chemistry and polymer chemistry.
Metal–organic frameworkMetal–organic frameworks (MOFs) are a class of compounds consisting of metal clusters (also known as SBUs) coordinated to organic ligands to form one-, two-, or three-dimensional structures. The organic ligands included are sometimes referred to as "struts" or "linkers", one example being 1,4-benzenedicarboxylic acid (BDC). More formally, a metal–organic framework is an organic-inorganic porous extended structure. An extended structure is a structure whose sub-units occur in a constant ratio and are arranged in a repeating pattern.
Organic semiconductorOrganic semiconductors are solids whose building blocks are pi-bonded molecules or polymers made up by carbon and hydrogen atoms and – at times – heteroatoms such as nitrogen, sulfur and oxygen. They exist in the form of molecular crystals or amorphous thin films. In general, they are electrical insulators, but become semiconducting when charges are either injected from appropriate electrodes, upon doping or by photoexcitation. In molecular crystals the energetic separation between the top of the valence band and the bottom conduction band, i.
