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.
Atmospheric temperatureAtmospheric temperature is a measure of temperature at different levels of the Earth's atmosphere. It is governed by many factors, including incoming solar radiation, humidity and altitude. When discussing surface air temperature, the annual atmospheric temperature range at any geographical location depends largely upon the type of biome, as measured by the Köppen climate classification Lapse rate Temperature varies greatly at different heights relative to Earth's surface and this variation in temperature characterizes the four layers that exist in the atmosphere.
Ablation laser pulséL'ablation laser pulsé (en anglais Pulsed Laser Deposition ou PLD) est une méthode de dépôt en couches minces utilisant un laser de très forte puissance. Elle permet de facilement produire divers alliages binaires. Expérimentée pour la première fois en 1965, par H.M. Smith et A.F. Turner, la découverte de l'ablation laser pulsé fait suite aux récentes avancées concernant l'étude et la compréhension des phénomènes d'interactions entre les lasers et les surfaces solides.
Dépôt chimique en phase vapeur assisté par plasmathumb|Équipement de PECVD. Le dépôt chimique en phase vapeur assisté par plasma (ou PECVD, pour Plasma-Enhanced Chemical Vapor Deposition en anglais) est un procédé utilisé pour déposer des couches minces sur un substrat à partir d'un état gazeux (vapeur). Des réactions chimiques se déroulent au cours du processus après la formation d'un plasma à partir des gaz du réacteur. Le plasma est généralement créé à partir de ce gaz par une décharge électrique pouvant être générée à partir de sources radio-fréquences (13,56 MHz), micro-ondes (2,45 GHz) ou par une décharge électrique continue entre deux électrodes.
Electron beam physical vapor depositionvignette|Evaporateur métallique « E-gun » utilisé au centre de recherche « Thales Research & Technology » du milieu des années 80 jusqu’en 2004 pour l’évaporation des sandwichs métalliques de contact ohmique et de grille. L’évaporation par faisceau d’électrons (aussi évaporation par faisceau électronique ; en anglais : Electron-beam physical vapor deposition / EBPVD, aussi simplement electron-beam evaporation) est une forme de dépôt physique en phase gazeuse, plus spécifiquement d’évaporation sous vide, dans laquelle une anode cible sous vide poussé est bombardée par un faisceau d’électrons émis par un canon à électrons.
Déduction logiqueLa déduction logique est un type de relation que l'on rencontre en logique mathématique. Elle relie des propositions dites prémisses à une proposition dite conclusion et préserve la vérité. Prémisses et conclusion qui sont ainsi reliées par une règle de déduction, assurent que si la règle est valide et si les prémisses sont vraies, la conclusion est elle aussi vraie. On dit alors que la conclusion est une conséquence des prémisses, ou parfois que la conclusion vient des prémisses.
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.
FrottementEn physique, le frottement (ou friction) est une interaction qui s'oppose au mouvement relatif entre deux systèmes en contact. Le frottement peut être étudié au même titre que les autres types de force ou de couple. Son action est caractérisée par une norme et une orientation, ce qui en fait un vecteur. L'orientation de la force (ou du couple) de frottement créé sur un corps est opposée au déplacement relatif de ce corps par rapport à son environnement. La science qui étudie le frottement entre solides est la tribologie.
GlaceLa glace est l'eau (de formule chimique ) lorsqu'elle est à l'état solide. Cet élément est très étudié dans la nature et en laboratoire, par les scientifiques, à commencer par les glaciologues, les physiciens de la matière condensée et autres cryologues de spécialités différentes : il contient souvent beaucoup d'impuretés ou d'inclusions, d'origine diverse.
Tempête hivernaleUne tempête hivernale est un événement dans lequel le vent coïncide avec une variété de précipitations qui ne se produisent qu'à des températures près ou sous le point de congélation : neige, neige mouillée, pluie et neige mêlées, grésil ou pluie verglaçante. Dans les climats continentaux tempérés, ces tempêtes ne se limitent pas nécessairement à la saison hivernale, mais peuvent également survenir de la fin de l'automne jusqu'au début du printemps.
