Potentiel d'électrodeLe potentiel d'électrode , en électrochimie, est la force électromotrice d'une cellule galvanique construite à partir d'une électrode de référence standard et d'une autre électrode à définir. Par convention, l'électrode de référence est l'électrode standard à hydrogène (SHE) définie comme ayant un potentiel de zéro volt. Le potentiel d'électrode peut également être défini comme la différence de potentiel entre les électrodes métalliques chargées et la solution saline.
Interaction protéine-protéinethumb|upright=1.2|L'inhibiteur de la ribonucléase en forme de fer à cheval (en représentation « fil de fer ») forme une interaction protéine–protéine avec la protéine de la ribonucléase. Les contacts entre les deux protéines sont représentés sous forme de taches colorées. Une Interaction protéine–protéine apparait lorsque deux ou plusieurs protéines se lient entre elles, le plus souvent pour mener à bien leur fonction biologique.
BiocompatibilitéLa notion de biocompatibilité s'applique à tout ce qui est compatible avec l'épanouissement du vivant. En science des matériaux, elle désigne la capacité des matériaux à ne pas interférer, ne pas dégrader, le milieu biologique dans lequel ils sont utilisés (les animaux le plus souvent). Les matériaux biocompatibles sont appelés « biomatériaux ». Le terme biocompatibilité a trait principalement aux matériels médicaux en contact direct, bref ou prolongé, avec les tissus et fluides internes du corps, comme les sondes, les seringues, les prothèses.
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
Branching quantifierIn logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.
Génie électrochimiqueLe génie électrochimique est la branche de l'ingénierie portant sur les applications technologiques des phénomènes électrochimiques, tels que l'électrosynthèse des produits chimiques, l'extraction électrolytique, l'affinage des métaux, les batteries d'accumulateurs, les piles à combustible, la modification de surface par électrodéposition, les séparations électrochimiques et la corrosion. Cette discipline est un chevauchement entre le génie électrique et génie chimique.
CorrosionLa corrosion désigne l'altération d'un matériau par réaction chimique avec un oxydant (le dioxygène et le cation H+ en majorité). Il faut en exclure les effets purement mécaniques (cela ne concerne pas, par exemple, la rupture sous l'effet de chocs), mais la corrosion peut se combiner avec les effets mécaniques et donner de la corrosion sous contrainte et de la fatigue-corrosion ; de même, elle intervient dans certaines formes d'usure des surfaces dont les causes sont à la fois physicochimiques et mécaniques.
Acier inoxydableL'acier inoxydable, couramment appelé acier inox ou inox, est un acier (alliage à base de fer et de carbone), comportant moins de 1,2 % de carbone et plus de 10,5 % de chrome, dont la propriété remarquable est d'être peu sensible à la corrosion et de ne pas se dégrader en rouille. La présence de chrome en solution au-delà de 10,5 % dans la matrice d'un acier provoque la formation d'une couche protectrice d'oxyde de chrome qui lui confère son inoxydabilité.
Phénomène de transfertUn phénomène de transfert (ou phénomène de transport) est un phénomène irréversible durant lequel une grandeur physique est transportée par le biais de molécules. C'est un phénomène transversal présent dans tous les domaines de la science et en ingénierie. Tous les phénomènes de transport ont pour origine l'inhomogénéité d'une grandeur intensive. C'est la tendance spontanée des systèmes physiques et chimiques à rendre uniformes ces grandeurs qui provoquent le transport.
Lindström quantifierIn mathematical logic, a Lindström quantifier is a generalized polyadic quantifier. Lindström quantifiers generalize first-order quantifiers, such as the existential quantifier, the universal quantifier, and the counting quantifiers. They were introduced by Per Lindström in 1966. They were later studied for their applications in logic in computer science and database query languages. In order to facilitate discussion, some notational conventions need explaining.
