Cycle biogéochimiqueUn cycle biogéochimique est le processus de transport et de transformation cyclique (recyclage) d'un élément ou composé chimique entre les grands réservoirs que sont la géosphère, l'atmosphère, l'hydrosphère, dans lesquels se retrouve la biosphère. Un tel cycle induit souvent des passages de l'état organique à l'état minéral au sein de la biosphère. Les divers cycles en interaction confèrent à la biosphère une capacité de régulation, appelée homéostasie.
Électrolyse à oxyde solidevignette|Module expérimental de deux piles de d'électrolyse visibles au centre, installé avec ses alimentations et ses conduits. L'électrolyse à oxyde solide est un procédé d'électrolyse de l'eau ou du dioxyde de carbone à l'aide d'électrolytes constitués d'oxydes solides, notamment de céramiques, afin de produire de l'oxygène et de l'hydrogène ou du monoxyde de carbone CO, selon les réactions et respectivement. La production d'hydrogène par cette voie est intéressante car d'empreinte écologique réduite et offrant un moyen de stockage de l'énergie alternatif aux accumulateurs.
Pile à combustible alcalineLes piles à combustible alcalines (ou AFC selon l'acronyme de l'appellation anglaise alkaline fuel cell) sont une des techniques de piles à combustible les plus développées. C'est aussi une technique qui fut employée lors des expéditions lunaires. Les agences spatiales ont utilisé les AFC dès le milieu des années 1960, lors des programmes Gemini, Apollo, Soyouz 7K-L3 et pour les navettes spatiales Shuttle et Bourane. Les AFC consomment de l'hydrogène et de l'oxygène pur en produisant de l'eau potable, de la chaleur et de l'électricité.
Quantification (logique)vignette|Symboles mathématiques des deux quantificateurs logiques les plus courants.|236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs). La quantification universelle (« pour tout ... » ou « quel que soit ... ») se dénote par le symbole ∀ (un A à l'envers).
Méthode d'EulerEn mathématiques, la méthode d'Euler, nommée ainsi en l'honneur du mathématicien Leonhard Euler (1707 — 1783), est une procédure numérique pour résoudre par approximation des équations différentielles du premier ordre avec une condition initiale. C'est la plus simple des méthodes de résolution numérique des équations différentielles. thumb|Illustration de la méthode d'Euler explicite : l'avancée se fait par approximation sur la tangente au point initial.
Heun's methodIn mathematics and computational science, Heun's method may refer to the improved or modified Euler's method (that is, the explicit trapezoidal rule), or a similar two-stage Runge–Kutta method. It is named after Karl Heun and is a numerical procedure for solving ordinary differential equations (ODEs) with a given initial value. Both variants can be seen as extensions of the Euler method into two-stage second-order Runge–Kutta methods.
Microscopie électronique à balayagethumb|right|Premier microscope électronique à balayage par M von Ardenne thumb|right|Microscope électronique à balayage JEOL JSM-6340F thumb|upright=1.5|Principe de fonctionnement du Microscope Électronique à Balayage La microscopie électronique à balayage (MEB) ou scanning electron microscope (SEM) en anglais est une technique de microscopie électronique capable de produire des images en haute résolution de la surface d’un échantillon en utilisant le principe des interactions électrons-matière.
Electrolytic capacitorAn electrolytic capacitor is a polarized capacitor whose anode or positive plate is made of a metal that forms an insulating oxide layer through anodization. This oxide layer acts as the dielectric of the capacitor. A solid, liquid, or gel electrolyte covers the surface of this oxide layer, serving as the cathode or negative plate of the capacitor. Because of their very thin dielectric oxide layer and enlarged anode surface, electrolytic capacitors have a much higher capacitance-voltage (CV) product per unit volume than ceramic capacitors or film capacitors, and so can have large capacitance values.
Lindström quantifierIn mathematical logic, a Lindström quantifier is a generalized polyadic quantifier. Lindström quantifiers generalize first-order quantifiers, such as the existential quantifier, the universal quantifier, and the counting quantifiers. They were introduced by Per Lindström in 1966. They were later studied for their applications in logic in computer science and database query languages. In order to facilitate discussion, some notational conventions need explaining.
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.
