Ensemencement des nuagesL’ensemencement des nuages est une forme de modification du temps qui consiste à ajouter différentes substances (aérosols, petites particules de glace) dans des nuages afin d’influencer les précipitations. Il vise à intervenir sur les processus microphysiques liés aux échanges entre les différentes phases de l’eau dans le nuage (vapeur, liquide, glace) et ainsi sur la distribution et la taille des particules du nuage.
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.
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.
Rayonnement thermiqueLe rayonnement thermique est un rayonnement électromagnétique généré par l'agitation thermique de particules dans la matière quel que soit l'état de celle-ci : solide, liquide ou gaz. Le spectre de ce rayonnement s'étend du domaine micro-ondes à l'ultra-violet. L'expression est également utilisée pour des phénomènes beaucoup plus énergétiques tels que rencontrés dans les plasmas, qui sont la source de rayonnement X. Ce phénomène conduit au rayonnement du corps noir lorsque l'interaction matière - rayonnement est réversible et importante.
Nouvelles technologiesvignette|Nouvelles technologies - intelligence artificielle Les désignent des domaines très évolutifs et des techniques diverses, pouvant rendre plus accessible les rapports entre les humains et les machines : au sens large, toute la « haute technologie » ; au sens étroit, les nouvelles techniques de l'information et de la communication (TIC) (Internet, Smartphone, protocole Bluetooth...)..
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.
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.
Méthode scientifiqueLa méthode scientifique désigne l'ensemble des canons guidant ou devant guider le processus de production des connaissances scientifiques, qu'il s'agisse d'observations, d'expériences, de raisonnements, ou de calculs théoriques. Très souvent, le terme de « méthode » engage l'idée implicite de son unicité, tant auprès du grand public que de certains chercheurs, qui de surcroît la confondent parfois avec la seule méthode hypothético-déductive.
Tempsthumb|Chronos, dieu du temps de la mythologie grecque, par Ignaz Günther, Bayerisches Nationalmuseum à Munich. vignette|Montre à gousset ancienne Le temps est une notion qui rend compte du changement dans le monde. Le questionnement s'est porté sur sa « nature intime » : propriété fondamentale de l'Univers, ou produit de l'observation intellectuelle et de la perception humaine. La somme des réponses ne suffit pas à dégager un concept satisfaisant du temps.
Théorie de l'informationLa théorie de l'information, sans précision, est le nom usuel désignant la théorie de l'information de Shannon, qui est une théorie utilisant les probabilités pour quantifier le contenu moyen en information d'un ensemble de messages, dont le codage informatique satisfait une distribution statistique que l'on pense connaître. Ce domaine trouve son origine scientifique avec Claude Shannon qui en est le père fondateur avec son article A Mathematical Theory of Communication publié en 1948.
