Photocatalytic water splittingPhotocatalytic water splitting is a process that uses photocatalysis for the dissociation of water (H2O) into hydrogen (H2) and oxygen (O2). Only light energy (photons), water, and a catalyst(s) are needed, since this is what naturally occurs in natural photosynthetic oxygen production and CO2 fixation. Photocatalytic water splitting is done by dispersing photocatalyst particles in water or depositing them on a substrate, unlike Photoelectrochemical cell, which are assembled into a cell with a photoelectrode.
Work functionIn solid-state physics, the work function (sometimes spelt workfunction) is the minimum thermodynamic work (i.e., energy) needed to remove an electron from a solid to a point in the vacuum immediately outside the solid surface. Here "immediately" means that the final electron position is far from the surface on the atomic scale, but still too close to the solid to be influenced by ambient electric fields in the vacuum. The work function is not a characteristic of a bulk material, but rather a property of the surface of the material (depending on crystal face and contamination).
StatisticsStatistics (from German: Statistik, () "description of a state, a country") is the discipline that concerns the collection, organization, analysis, interpretation, and presentation of data. In applying statistics to a scientific, industrial, or social problem, it is conventional to begin with a statistical population or a statistical model to be studied. Populations can be diverse groups of people or objects such as "all people living in a country" or "every atom composing a crystal".
Statistical inferenceStatistical inference is the process of using data analysis to infer properties of an underlying distribution of probability. Inferential statistical analysis infers properties of a population, for example by testing hypotheses and deriving estimates. It is assumed that the observed data set is sampled from a larger population. Inferential statistics can be contrasted with descriptive statistics. Descriptive statistics is solely concerned with properties of the observed data, and it does not rest on the assumption that the data come from a larger population.
Photoelectrolysis of waterPhotoelectrolysis of water, also known as photoelectrochemical water splitting, occurs in a photoelectrochemical cell when light is used as the energy source for the electrolysis of water, producing dihydrogen which can be used as a fuel. This process is one route to a "hydrogen economy", in which hydrogen fuel is produced efficiently and inexpensively from natural sources without using fossil fuels. In contrast, steam reforming usually or always uses a fossil fuel to obtain hydrogen.
Charge carrierIn physics, a charge carrier is a particle or quasiparticle that is free to move, carrying an electric charge, especially the particles that carry electric charges in electrical conductors. Examples are electrons, ions and holes. The term is used most commonly in solid state physics. In a conducting medium, an electric field can exert force on these free particles, causing a net motion of the particles through the medium; this is what constitutes an electric current.
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
Solar fuelA solar fuel is a synthetic chemical fuel produced from solar energy. Solar fuels can be produced through photochemical (i.e. activation of certain chemical reactions by photons), photobiological (i.e., artificial photosynthesis), and electrochemical reactions (i.e. using the electricity from solar panels to drive a chemical reaction). Solar fuels can also be produced by thermochemical reactions (i.e., through the use of solar heat supplied by concentrated solar thermal energy to drive a chemical reaction).
Branching quantifierIn logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.
Regression validationIn statistics, regression validation is the process of deciding whether the numerical results quantifying hypothesized relationships between variables, obtained from regression analysis, are acceptable as descriptions of the data. The validation process can involve analyzing the goodness of fit of the regression, analyzing whether the regression residuals are random, and checking whether the model's predictive performance deteriorates substantially when applied to data that were not used in model estimation.
