Polymère conducteurLa plupart des polymères organiques produits sont d'excellents isolants électriques. Les polymères conducteurs, ou plus précisément polymères conducteurs intrinsèques (PCI), presque toujours organiques, possèdent des liens délocalisés (souvent dans un groupe aromatique) qui forment une structure similaire à celle du silicium. Quand on applique une tension entre les deux bandes, la conductivité électrique augmente : c'est un transistor.
GenèveGenève est une ville suisse située à l'extrémité sud-ouest du Léman. Elle est la deuxième ville la plus peuplée de Suisse après Zurich, et le chef-lieu de la République et canton de Genève (GE). Au , la ville comptait dans , mais à la même date, son aire métropolitaine transfrontalière, définie par Eurostat et l'OFS suivant la méthodologie des zones urbaines fonctionnelles, c'est-à-dire l'agglomération et la couronne périurbaine, comptait dans à cheval sur la Suisse et la France.
Chimie macromoléculairePolymer chemistry is a sub-discipline of chemistry that focuses on the structures of chemicals, chemical synthesis, and chemical and physical properties of polymers and macromolecules. The principles and methods used within polymer chemistry are also applicable through a wide range of other chemistry sub-disciplines like organic chemistry, analytical chemistry, and physical chemistry. Many materials have polymeric structures, from fully inorganic metals and ceramics to DNA and other biological molecules.
PolyéthylèneLe polyéthylène (sigle générique PE), ou polyéthène, désigne les polymères d'éthylène. Simples et peu chers à fabriquer, les PE constituent la matière plastique la plus commune, représentant avec 100 millions de tonnes, environ un tiers de l'ensemble des plastiques produits en 2018 et la moitié des emballages. Le PE qui appartient à la famille des polyoléfines est un important polymère de synthèse de la pétrochimie avec le polypropylène (PP), le PVC et le polystyrène (PS).
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Canton de GenèveLe canton de Genève (GE), officiellement la République et canton de Genève, est l'un des de la Suisse. Son chef-lieu est Genève. Au , la population du canton s’établit à . Il s’agit du successeur de la république de Genève, indépendante depuis le jusqu'à son intégration dans la République française en 1798. Elle retrouve son indépendance le après le départ des armées de , puis devient un canton suisse le . La république et canton de Genève occupe une superficie modeste, inférieure à celle du district de Nyon, mais elle est densément peuplée, car elle abrite la seconde ville de Suisse.
Reaction progress kinetic analysisIn chemistry, reaction progress kinetic analysis (RPKA) is a subset of a broad range of kinetic techniques utilized to determine the rate laws of chemical reactions and to aid in elucidation of reaction mechanisms. While the concepts guiding reaction progress kinetic analysis are not new, the process was formalized by Professor Donna Blackmond (currently at Scripps Research Institute) in the late 1990s and has since seen increasingly widespread use.
Conversion religieusevignette|La Conversion de Saint Paul, par Le Caravage vers 1600. vignette|La Conversion de l'empereur Constantin, huile sur toile de Pierre Paul Rubens. La conversion religieuse est à la fois le processus, et l'aboutissement, d'un cheminement personnel où des croyances religieuses ou philosophiques, nouvelles ou anciennes, supplantent d'autres conceptions. L'individu décide alors de suivre une voie, et souvent abandonne des comportements jugés néfastes ou des idées jugées fausses ou simplement moins satisfaisantes.
Loi d'action de masseLa loi d'action de masse (ou loi de Guldberg et Waage) est une loi qui permet de définir l'équilibre d'un système réactionnel. Elle est définie par : en notant la constante d'équilibre, l'activité chimique de chaque espèce et \nu_{i} le coefficient stœchiométrique algébrique de chaque espèce. La loi d'action de masse a été exposée en 1879 par les chimistes norvégiens Cato Guldberg et Peter Waage à partir de leur découverte commune publiée en 1864.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Alliage de titaneLes alliages de titane sont des métaux faits de titane et d'autres éléments chimiques. Ils sont légers et ont une forte résistance à la corrosion et aux températures extrêmes. Cependant, le coût élevé des deux matières premières et de leur traitement limite leur production à des applications militaires, la construction d'avions, d'engins spatiaux, la fabrication de dispositifs médicaux, ou des composants tels que les bielles sur des voitures de sport et de certains composants électroniques.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
