Fabrication des dispositifs à semi-conducteursthumb|upright=1.5|Évolution de la finesse de gravure des processeurs entre 1970 et 2017 La fabrication des dispositifs à semi-conducteur englobe les différentes opérations permettant l'élaboration de composants électroniques basés sur des matériaux semi-conducteurs. Entrent dans cette catégorie de composants à semi-conducteur, les composants discrets qui n'ont qu'une seule fonction comme les diodes et les transistors, et les circuits intégrés plus complexes, intégrant plusieurs composants, jusqu'à des milliards, dans le même boîtier.
Anti-aging movementThe anti-aging movement is a social movement devoted to eliminating or reversing aging, or reducing the effects of it. A substantial portion of the attention of the movement is on the possibilities for life extension, but there is also interest in techniques such as cosmetic surgery which ameliorate the effects of aging rather than delay or defeat it. There are many scientists of this movement with different approaches.
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.
Die shrinkEn microélectronique, un die shrink est la réduction de la taille d'une puce électronique qui peut s'effectuer selon plusieurs manières : par changement de technique de gravure : un produit peut être converti par les équipes de développement, par exemple passer de de taille de transistor à : cela aura pour effet de fortement diminuer les dimensions de la puce. par une réduction optique de l'impression de la puce sur silicium.
Aix-en-ProvenceAix-en-Provence (en provençal : Ais) est la capitale historique de la Provence. C'est aujourd'hui une commune française du Sud-Est de la France, dans le département des Bouches-du-Rhône, dont elle est sous-préfecture, en région Provence-Alpes-Côte d'Azur. Elle forme avec le pays d'Aix au sein de la Métropole Aix-Marseille Provence. Les habitants d'Aix s'appellent les Aixois en français (en provençal : lei sestian). Fondée en sous le nom d'Aquae Sextiae par la garnison romaine de Caius Sextius Calvinus, Aix devient par la suite la capitale du comté de Provence.
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.
Ultravidevignette|Intérieur de la chambre à ultra-vide d'un microscope à effet tunnel.|alt=Photo de matériel scientifique à l'intérieur d'une enceinte prise par un hublot. L'ultravide est un niveau de vide très poussé, caractérisé par des pressions généralement inférieures à ou (soit , ou environ ). L'air dans une chambre à ultra-vide est donc des billions () de fois plus rare que dans l'atmosphère terrestre, dont la pression est de l’ordre de . Les techniques d'ultravide sont très utilisées dans la recherche, en microscopie et spectroscopie.
