Craquage de l'eau par photocatalyseLe craquage de l'eau par photocatalyse est l'utilisation de photons suffisamment énergétiques pour craquer les molécules d'eau en les clivant de manière électrochimique afin de produire hydrogène et oxygène , selon une réaction chimique qui s'écrit simplement : 2 + 4 hν ⟶ 2 + , l'énergie minimale des photons incidents étant . Une telle réaction a été décrite pour la première fois en 1972 pour des longueurs d'onde inférieures à .
Travail de sortieEn physique, en mécanique quantique, le travail de sortie ou travail d'extraction est l'énergie minimum, mesurée en électron-volts, nécessaire pour arracher un électron depuis le niveau de Fermi d'un métal jusqu'à un point situé à l'infini en dehors du métal (niveau du vide). Le travail de sortie est approximativement la moitié de l'énergie d'ionisation d'un atome libre du même métal. L'effet photoélectrique consiste en une libération d'un électron lorsqu'un photon doté d'une énergie supérieure au travail de sortie arrive sur le métal.
StatistiqueLa statistique est la discipline qui étudie des phénomènes à travers la collecte de données, leur traitement, leur analyse, l'interprétation des résultats et leur présentation afin de rendre ces données compréhensibles par tous. C'est à la fois une branche des mathématiques appliquées, une méthode et un ensemble de techniques. ce qui permet de différencier ses applications mathématiques avec une statistique (avec une minuscule). Le pluriel est également souvent utilisé pour la désigner : « les statistiques ».
Inférence statistiquevignette|Illustration des 4 principales étapes de l'inférence statistique L'inférence statistique est l'ensemble des techniques permettant d'induire les caractéristiques d'un groupe général (la population) à partir de celles d'un groupe particulier (l'échantillon), en fournissant une mesure de la certitude de la prédiction : la probabilité d'erreur. Strictement, l'inférence s'applique à l'ensemble des membres (pris comme un tout) de la population représentée par l'échantillon, et non pas à tel ou tel membre particulier de cette 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.
Porteur de chargeUn porteur de charge est, en sciences physiques, une particule ou une quasi-particule qui porte une charge électrique. En se déplaçant, les porteurs de charge créent un courant électrique, comme les ions dans les solutions liquides et les électrons dans les solides. En électronique cette notion est incontournable, les deux porteurs de charge considérés sont les électrons, portant une charge −e, les trous, peuvent se déplacer assez librement dans le réseau cristallin.
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.
