Polymérisation radicalaireLa polymérisation (par voie) radicalaire est un processus de polymérisation en chaîne qui, comme son nom l'indique, fait intervenir comme espèce active des radicaux. Elle fait intervenir des réactions d'amorçage, de propagation, de terminaison et de transfert de chaîne. Le site actif qui propage est un radical possédant une structure quasi plane au carbone terminal qui porte l'électron non apparié. L'assemblage du maillon suivant peut alors se faire par-dessus ou dessous aléatoirement.
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.
Polymérisation anioniqueLa polymérisation anionique est un type de polymérisation ionique dans lequel le centre actif est de nature anionique. Elle est constituée de l'amorçage, la propagation, éventuellement de transfert et de terminaison. Les monomères concernés sont ceux qui possèdent des groupements électro-attracteurs. Ce mode de polymérisation est utilisé avec les alcènes substitués comme le méthylpropène. La réaction de propagation est la suivante (pour le méthylpropène): R− + CH2=C(CH3)2 → R-CH2-C−(CH3)2 La polymérisation anionique présente un certain nombre de difficultés.
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.
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.
Inférence de typesL'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Reaction rateThe reaction rate or rate of reaction is the speed at which a chemical reaction takes place, defined as proportional to the increase in the concentration of a product per unit time and to the decrease in the concentration of a reactant per unit time. Reaction rates can vary dramatically. For example, the oxidative rusting of iron under Earth's atmosphere is a slow reaction that can take many years, but the combustion of cellulose in a fire is a reaction that takes place in fractions of a second.
Polymérisation vivanteLa polymérisation vivante est une polymérisation en chaîne où les centres actifs sont pérennes. Cela implique l'absence de réactions de transfert de chaîne ou de terminaison. Cette propriété particulière est notamment utilisée pour synthétiser des copolymères à blocs. La polymérisation vivante peut être : une polymérisation ionique vivante : une : ou NMP de l'anglais nitroxide-mediated (radical) polymerization ; Polymérisation radicalaire par transfert d'atomes ou ATRP de l'anglais atom-transfer radical polymerization ; Utilisation d’agents de fragmentation réversible ou RAFT polymerization de l'anglais reversible-addition-fragmentation chain-transfer polymerization.
Polymérisation par ouverture de cyclethumb|Polymérisation par ouverture de cycle du caprolactame pour donner le polyamide 6. La polymérisation par ouverture de cycle (Ring-Opening Polymerization en anglais, soit ROP) est une polymérisation durant laquelle un monomère cyclique conduit à une unité monomère qui est acyclique ou contient moins de cycles que le monomère. Plusieurs mécanismes de polymérisation par ouverture de cycle existent : le mécanisme cationique : le site actif de la chaîne de propagation est un carbocation ; le mécanisme anionique : le site actif est un carbanion ; le mécanisme par coordination-insertion, qui fait appel à un amorceur de type organométallique.
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.
Constante de vitesseDans la cinétique chimique, la constante de vitesse (ou le coefficient de vitesse) k est une mesure de la vitesse d'une réaction chimique. Pour une réaction élémentaire ou une étape élémentaire entre les réactifs A et B, la vitesse de réaction dépend des concentrations. La vitesse de réaction dans un réacteur fermé au cours du temps noté v(t) peut être déterminé par l'expression: Ici la constante de proportionnalité k(T) est la constante de vitesse de la réaction, qui dépend de la température.
Rate equationIn chemistry, the rate law or rate equation for a chemical reaction is a mathematical equation that links the rate of forward reaction with the concentrations or pressures of the reactants and constant parameters (normally rate coefficients and partial reaction orders). For many reactions, the initial rate is given by a power law such as where [\mathrm{A}] and [\mathrm{B}] express the concentration of the species \mathrm{A} and \mathrm{B}, usually in moles per liter (molarity, M).
Emulsion polymerizationEmulsion polymerization is a type of radical polymerization that usually starts with an emulsion incorporating water, monomer, and surfactant. The most common type of emulsion polymerization is an oil-in-water emulsion, in which droplets of monomer (the oil) are emulsified (with surfactants) in a continuous phase of water. Water-soluble polymers, such as certain polyvinyl alcohols or hydroxyethyl celluloses, can also be used to act as emulsifiers/stabilizers. The name "emulsion polymerization" is a misnomer that arises from a historical misconception.
Mécanisme réactionnelEn chimie, un mécanisme réactionnel est l'enchainement d'étapes, de réactions élémentaires, par lequel un changement chimique a lieu. Bien que, pour la plupart des réactions, seul le bilan global (transformation des réactifs en produits) soit observable directement, des expériences permettent de déterminer la séquence possible des étapes du mécanisme réactionnel associé. Un mécanisme réactionnel décrit en détail ce qui se passe à chaque étape d'une transformation chimique.
Yahoo! SearchYahoo! Search is a Yahoo! internet search provider that uses Microsoft's Bing search engine to power results, since 2009, apart from four years with Google from 2015 until the end of 2018. Originally, "Yahoo! Search" referred to a Yahoo!-provided interface that sent queries to a searchable index of pages supplemented with its directory of websites. The results were presented to the user under the Yahoo! brand. Originally, none of the actual web crawling and data housing was done by Yahoo! itself.
Étape cinétiquement déterminanteEn cinétique chimique, la vitesse d'une réaction en plusieurs étapes est souvent déterminée par l'étape la plus lente. Cette étape est connue sous les noms d'étape cinétiquement déterminante, étape cinétiquement limitante, étape déterminante de vitesse ou étape limitante de vitesse. L'équation de vitesse expérimentale peut aider à identifier quelle étape est cinétiquement déterminante. Dans une coordonnée de réaction qui représente le profil d'énergie potentielle d'une réaction, l'étape cinétiquement déterminante correspond à l'état de transition de l'énergie potentielle la plus haute.
