Électrode à disque tournantL'électrode à disque tournant ou EDT (Rotating Disk Electrode ou RDE en anglais) est une électrode de travail hydrodynamique utilisée dans une cellule à trois électrodes. Elles sont couramment utilisées pour des études de cinétique électrochimique en régime stationnaire. Cela vient du fait qu'il est possible, sous certaines hypothèses, de résoudre les équations de Navier-Stokes dans le cas d'une EDT, c’est-à-dire de connaître la vitesse et la direction du flux d'électrolyte au voisinage de l'EDT.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
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.
Anaérobiethumb|upright=1.25|Schéma présentant la corrosion dans des conditions anaérobies provoquées par des bactéries du genre Desulfovibrio. Un anaérobie ou organisme anaérobie est tout organisme dont le métabolisme redox ne dépend pas du dioxygène. Anaérobie signifie « vivant, actif, survenant ou existant en l'absence du dioxygène », par opposition à aérobie qui signifie « vivant, actif ou se produisant uniquement en présence de dioxygène ». Cela ne signifie pas que l'oxygène est absent des réactions chimiques.
Courant de HumboldtLe courant de Humboldt ou courant du Pérou est un courant marin de surface, parcourant l'océan Pacifique. Prenant naissance près de l'Antarctique, il est froid, environ 7 à 8 degrés inférieur à la température moyenne de la mer à la même latitude. Il longe les côtes du Chili et du Pérou et, riches en plancton, ses eaux sont très poissonneuses. Il a été nommé d'après le naturaliste Alexandre de Humboldt. Durant le phénomène d'El Niño, il disparaît et laisse sa place à un courant chaud, diminuant le plancton et augmentant alors les précipitations de la façade pacifique de l'Amérique du Sud.
Boundary currentBoundary currents are ocean currents with dynamics determined by the presence of a coastline, and fall into two distinct categories: western boundary currents and eastern boundary currents. Eastern boundary currents are relatively shallow, broad and slow-flowing. They are found on the eastern side of oceanic basins (adjacent to the western coasts of continents). Subtropical eastern boundary currents flow equatorward, transporting cold water from higher latitudes to lower latitudes; examples include the Benguela Current, the Canary Current, the Humboldt (Peru) Current, and the California Current.
Chauffage par inductionUn chauffage par induction est une technique de chauffage reposant sur l'induction électromagnétique. Son avantage est de chauffer des matériaux sans contact avec la source d'énergie. Il existe deux principes de chauffage par induction : le chauffage par courants de Foucault, lié aux pertes par courants de Foucault générées par la résistance du matériau de la pièce à chauffer, et le chauffage par hystérésis, dans lequel la chaleur est produite par la variation de la polarité magnétique de la pièce à chauffer.
Facultative anaerobic organismA facultative anaerobic organism is an organism that makes ATP by aerobic respiration if oxygen is present, but is capable of switching to fermentation if oxygen is absent. Some examples of facultatively anaerobic bacteria are Staphylococcus spp., Escherichia coli, Salmonella, Listeria spp., Shewanella oneidensis and Yersinia pestis. Certain eukaryotes are also facultative anaerobes, including fungi such as Saccharomyces cerevisiae and many aquatic invertebrates such as nereid polychaetes.
Blindage réactifvignette|Le module de surblindage de ce T-55 Enigma irakien renferme un blindage réactif composé de six sandwichs fait chacun d'une feuille de caoutchouc intercalée entre des plaques d'acier et d'aluminium. Le blindage réactif, anciennement appelé blindage actif, est un type de blindage utilisé sur les véhicules blindés. Contrairement à un blindage conventionnel qui demeure inerte lors de l'impact d'un projectile, le blindage réactif réagit au contact de ce dernier dans le but de le déstabiliser, le fragiliser voire le cisailler en plusieurs morceaux.
Courant des Aiguillesthumb|Carte du gyre de l'océan Indien. Le courant des Aiguilles est situé sur la gauche de la carte, le long de l'extrême sud-est du continent africain. Le courant des Aiguilles est un courant marin de l'océan Indien. Il tire son nom du cap sud-africain des Aiguilles. Il semble s'être renforcé depuis le début du , peut-être en lien avec les dérèglements climatiques attendus à la suite de l'augmentation des émissions de gaz à effet de serre dans l'atmosphère. Le courant des Aiguilles s'écoule le long de la côte est sud-africaine, vers le sud-ouest.
