IonisationL'ionisation est l'action qui consiste à ajouter ou enlever des charges à un atome ou une molécule électriquement neutre, qui devient ainsi un ion (chargé positivement ou négativement). Elle peut être due à : des causes physiques telles qu'un niveau élevé du potentiel électrique, la présence de radiations ou une température élevée ; des causes chimiques telles qu'une dissolution dans un solvant polaire ; la structure même de la matière, dans les sels fondus, les liquides ioniques et les cristaux ioniques.
Electron ionizationElectron ionization (EI, formerly known as electron impact ionization and electron bombardment ionization) is an ionization method in which energetic electrons interact with solid or gas phase atoms or molecules to produce ions. EI was one of the first ionization techniques developed for mass spectrometry. However, this method is still a popular ionization technique. This technique is considered a hard (high fragmentation) ionization method, since it uses highly energetic electrons to produce ions.
Chemical ionizationChemical ionization (CI) is a soft ionization technique used in mass spectrometry. This was first introduced by Burnaby Munson and Frank H. Field in 1966. This technique is a branch of gaseous ion-molecule chemistry. Reagent gas molecules (often methane or ammonia) are ionized by electron ionization to form reagent ions, which subsequently react with analyte molecules in the gas phase to create analyte ions for analysis by mass spectrometry.
Parasite (électricité)In electrical networks, a parasitic element is a circuit element (resistance, inductance or capacitance) that is possessed by an electrical component but which it is not desirable for it to have for its intended purpose. For instance, a resistor is designed to possess resistance, but will also possess unwanted parasitic capacitance. Parasitic elements are unavoidable. All conductors possess resistance and inductance and the principles of duality ensure that where there is inductance, there will also be capacitance.
Démonstration automatique de théorèmesLa démonstration automatique de théorèmes (DAT) est l'activité d'un logiciel qui démontre une proposition qu'on lui soumet, sans l'aide de l'utilisateur. Les démonstrateurs automatiques de théorème ont résolu des conjectures intéressantes difficiles à établir, certaines ayant échappé aux mathématiciens pendant longtemps ; c'est le cas, par exemple, de la , démontrée en 1996 par le logiciel EQP.
Parasitic capacitanceParasitic capacitance is an unavoidable and usually unwanted capacitance that exists between the parts of an electronic component or circuit simply because of their proximity to each other. When two electrical conductors at different voltages are close together, the electric field between them causes electric charge to be stored on them; this effect is capacitance. All practical circuit elements such as inductors, diodes, and transistors have internal capacitance, which can cause their behavior to depart from that of ideal circuit elements.
Prover9Prover9 is an automated theorem prover for first-order and equational logic developed by William McCune. Prover9 is the successor of the Otter theorem prover also developed by William McCune. Prover9 is noted for producing relatively readable proofs and having a powerful hints strategy. Prover9 is intentionally paired with Mace4, which searches for finite models and counterexamples. Both can be run simultaneously from the same input, with Prover9 attempting to find a proof, while Mace4 attempts to find a (disproving) counter-example.
Provencevignette|Vue de la Mer Méditerranée depuis Toulon La Provence (prononcé dans une large partie de la France, en français de Provence; Provença/Prouvènço en occitan provençal, de l'ancien provençal Provensa, dérivant du latin provincia, "province") est une région historique et culturelle ainsi qu'un ancien État indépendant puis associé à la France. Elle correspond à l'actuelle région Provence-Alpes-Côte d'Azur et au sud de la région Auvergne-Rhône-Alpes.
Vampire (theorem prover)Vampire is an automatic theorem prover for first-order classical logic developed in the Department of Computer Science at the University of Manchester. Up to Version 3, it was developed by Andrei Voronkov together with Kryštof Hoder and previously with Alexandre Riazanov. Since Version 4, the development has involved a wider international team including Laura Kovacs, Giles Reger, and Martin Suda. Since 1999 it has won at least 53 trophies in the CADE ATP System Competition, the "world cup for theorem provers", including the most prestigious FOF division and the theory-reasoning TFA division.
Parasitismevignette|Femelle de , une des très nombreuses espèces de petites guêpes (parasitoïdes de la famille des Pteromalidae, souvent spécialisées dans le parasitage d'une seule autre espèce d'insectes). vignette|Diagramme simplifié des six principales interactions biologiques. Le parasitisme (du grec ancien : , « à côté », et , « grain, blé, pain, nourriture », signifiant littéralement « qui prend la nourriture à côté de » et désignant à l'origine une fonction honorifique, celle de l’officier chargé de l'alimentation au prytanée d'Athènes) est une relation biologique durable entre deux êtres vivants hétérospécifiques où un des protagonistes — le parasite — tire profit d'un organisme hôte pour se nourrir, s'abriter ou se reproduire.
