Forme normale conjonctiveEn logique booléenne et en calcul des propositions, une formule en forme normale conjonctive ou FNC (en anglais, Conjunctive Normal Form, Clausal Normal Form ou CNF) est une conjonction de clauses, où une clause est une disjonction de littéraux. Les formules en FNC sont utilisées dans le cadre de la démonstration automatique de théorèmes ou encore dans la résolution du problème SAT (en particulier dans l'algorithme DPLL). Une expression logique est en FNC si et seulement si elle est une conjonction d'une ou plusieurs disjonction(s) d'un ou plusieurs littéraux.
Selected reaction monitoringSelected reaction monitoring (SRM), also called Multiple reaction monitoring, (MRM), is a method used in tandem mass spectrometry in which an ion of a particular mass is selected in the first stage of a tandem mass spectrometer and an ion product of a fragmentation reaction of the precursor ions is selected in the second mass spectrometer stage for detection. A general case of SRM can be represented by where the precursor ion ABCD+ is selected by the first stage of mass spectrometry (MS1), dissociates into molecule AB and product ion CD+, and the latter is selected by the second stage of mass spectrometry (MS2) and detected.
Théorie de la fonctionnelle de la densitéLa théorie de la fonctionnelle de la densité (DFT, sigle pour Density Functional Theory) est une méthode de calcul quantique permettant l'étude de la structure électronique, en principe de manière exacte. Au début du , il s'agit de l'une des méthodes les plus utilisées dans les calculs quantiques aussi bien en physique de la matière condensée qu'en chimie quantique en raison de son application possible à des systèmes de tailles très variées, allant de quelques atomes à plusieurs centaines.
Dépôt chimique en phase vapeurvignette|Schéma d'un CVD Le dépôt chimique en phase vapeur (ou CVD pour l'anglais chemical vapor deposition) est une méthode de dépôt sous vide de films minces, à partir de précurseurs gazeux. La CVD est un procédé utilisé pour produire des matériaux solides de haute performance, et de grande pureté. Ce procédé est souvent utilisé dans l'industrie du semi-conducteur pour produire des couches minces. Dans un procédé CVD typique, le substrat est exposé à un ou plusieurs précurseurs en phase gazeuse, qui réagissent et/ou se décomposent à la surface du substrat pour générer le dépôt désiré.
Catalyse homogèneLa catalyse homogène est un type de catalyse dans laquelle le catalyseur est dans la même phase que les réactifs et les produits de la réaction catalysée. On distingue deux catégories de catalyse homogène, selon qu'il s'agit de : acides ou bases. On la qualifie de catalyse homogène acido-basique ; oxydants ou réducteurs. On la qualifie de catalyse homogène oxydo-réductrice. Contrairement à la catalyse hétérogène qui permet de séparer le catalyseur facilement, la catalyse homogène ne permet pas de séparer le catalyseur tel quel du milieu réactionnel.
Catalysevignette|Intérieur du musée de la catalyse à Widnes en Angleterre. En chimie, la catalyse (du grec ancien : , « détacher ») se réfère à l'accélération ou la réorientation de la cinétique de réaction au moyen d'un catalyseur, et dans certains cas à la sélectivité pour diriger la réaction dans un sens privilégié (réaction concurrente, production d'un produit plutôt qu'un autre). Le catalyseur est utilisé en quantité beaucoup plus faible que les produits réactifs. Il n'apparait pas en général dans le bilan de réaction, donc pas dans son équation globale.
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.
NanomatériauUn nanomatériau est un matériau (sous forme de poudre, aérosol ou quasi-gaz, suspension liquide, gel) possédant des propriétés particulières à cause de sa taille et structure nanométrique. Les nanomatériaux sont habituellement issus de la nanotechnologie, à la différence des nanoparticules qui peuvent être d'origine naturelle ou résulter de processus tels que le soudage, le fumage, le polissage. Le , la Commission européenne publie ses recommandations relatives à la définition des nanomatériaux (recommandation 2011/696/UE) : .
Sémantique des langages de programmationEn informatique théorique, la sémantique formelle (des langages de programmation) est l’étude de la signification des programmes informatiques vus en tant qu’objets mathématiques. Comme en linguistique, la sémantique, appliquée aux langages de programmation, désigne le lien entre un signifiant, le programme, et un signifié, objet mathématique. L'objet mathématique dépend des propriétés à connaître du programme. La sémantique est également le lien entre : le langage signifiant : le langage de programmation le langage signifié : logique de Hoare, automates.
ExplosifUn explosif est défini par un mélange de corps qui, lors de leur transformation, sont susceptibles de dégager en un temps très court un grand volume de gaz porté à haute température, ce qui constitue une explosion. Une charge explosive (en explosive charge) est une quantité mesurée de matière explosive. Le premier composé explosif était très probablement la poudre noire, communément appelée la poudre à canon. Sa première apparition date de 220 avant J.-C. lorsque des alchimistes chinois l'ont enflammée par accident.
