Équations de Boussinesqthumb|right|250px|Ondes de gravité à l'entrée d'un port (milieu à profondeur variable). Les équations de Boussinesq en mécanique des fluides désignent un système d'équations d'ondes obtenu par approximation des équations d'Euler pour des écoulements incompressibles irrotationnels à surface libre. Elles permettent de prévoir les ondes de gravité comme ondes cnoïdales, ondes de Stokes, houle, tsunamis, solitons, etc. Ces équations ont été introduites par Joseph Boussinesq en 1872 et sont un exemple d'équations aux dérivées partielles dispersives.
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.
Essai de compressionUn essai de compression mesure la résistance à la compression d'un matériau sur une machine d'essais mécaniques suivant un protocole normalisé. Les essais de compression se font souvent sur le même appareil que l'essai de traction mais en appliquant la charge en compression au lieu de l'appliquer en traction. Pendant l'essai de compression, l'échantillon se raccourcit et s'élargit. La déformation relative est « négative » en ce sens que la longueur de l'échantillon diminue.
Réduction du paquet d'ondeLa réduction du paquet d'onde est un concept de la mécanique quantique selon lequel, après une mesure, un système physique voit son état entièrement réduit à celui qui a été mesuré. Pendant longtemps, le processus par lequel cette réduction a lieu a été inconnu des physiciens, ce qui les a contraint à en faire un postulat afin de rester conforme aux résultats expérimentaux. Le concept de réduction du paquet d'onde implique de nombreuses difficultés sur le plan logique et épistémologique.
Papier couchéthumb|Tranche d'un papier couché.1 - papier2 - couche d'égalisation3 - couche de lissage Le papier ou carton couché est un papier ou carton dont la surface est recouverte d'une ou plusieurs couches généralement constituées de produits minéraux (pigments) en mélange avec des liants et des produits d'addition divers. Quelque 40 % des papiers impression-écriture et près de 50 % des cartons sont couchés. L'opération de couchage consiste à déposer sur une ou sur les deux faces d'une feuille de papier ou de carton — appelée support — un enduit à base de pigments fins.
Calliphoridaevignette|Vue en gros plan Calliphoridae chrysomya (mouche verte), mâle, à Si Phan Don, Laos. Les Calliphoridae communément surnommées « mouches vertes et bleues » sont une famille de diptères brachycères calyptères ayant l'aspect de mouches aux couleurs métalliques. Si la majorité sont coprophages et nécrophages, certaines espèces ont une importance médicale ou vétérinaire car génératrices de myiases. Les Calliphoridae sont des mouches au corps robuste d’une taille de 4 à aux couleurs métalliques bleu noir, bleu-violet, bleu-vert ou vert pour l’essentiel des espèces.
Phormia reginaPhormia regina, the black blow fly, belongs to the blow fly family Calliphoridae and was first described by Johann Wilhelm Meigen. The black blow fly's wings are specialized with a sharp bend. These flies are also have well-developed calypters. Blow flies generally are about the size of a house fly or a little larger, and many are metallic blue or green in color. Key characteristics of this species include black gena, mostly white calypters, and anterior thoracic spiracles that appear to be orange yellow due to being surrounded by bright orange setae.
