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.
Protéineredresse=1.36|vignette|Représentation d'une protéine, ici deux sous-unités d'une molécule d'hémoglobine. On observe les représentées en couleur, ainsi que deux des quatre molécules d'hème, qui sont les groupes prosthétiques caractéristiques de cette protéine. redresse=1.36|vignette|Liaison peptidique –CO–NH– au sein d'un polypeptide. Le motif constitue le squelette de la protéine, tandis que les groupes liés aux sont les chaînes latérales des résidus d'acides aminés.
Chaux sodéeLa chaux sodée est un mélange de substances chimiques, utilisé sous la forme de granulés dans des environnements clos, comme les anesthésies générales, les sous-marins et les caissons hyperbares, de façon à retirer du dioxyde de carbone des gaz inhalés pour éviter l'intoxication au . La chaux sodée est produite par l'introduction d'hydroxyde de calcium (aussi appelé « chaux éteinte ») en poudre dans une solution concentrée d'hydroxyde de sodium.
Streptococcus pneumoniaeStreptococcus pneumoniae (le pneumocoque) est une espèce de bactérie du genre Streptococcus. C'est un important agent pathogène chez l'humain. Il est notamment responsable de nombreuses co-infections : il a, par exemple, aggravé la mortalité lors de la pandémie de grippe espagnole. Son nom initial était Diplococcus pneumonia en 1926. Il a été rebaptisé Streptococcus pneumoniae en 1974 vu sa croissance en chaînes dans les milieux liquides. À cause de son implication comme agent pathogène dans les pneumonies, il a longtemps été dénommé simplement pneumocoque.
Stérilisation contraintevignette|Plaque commémorative pour les victimes de stérilisation par les Nazis, Göttingen Des programmes de stérilisation contrainte ont été mis en place par plusieurs États, souvent sous l'influence de théories eugéniques. Le Japon et les États-Unis furent les premiers à le faire, suivis par la Suède, l'Allemagne nazie, le Pérou d’Alberto Fujimori au début du 20e siècle. De tels programmes sont imposés à certaines catégories de la population, qui, dans le cadre de théories eugéniques (et parfois racistes) sur un prétendu risque de « dégénérescence raciale », sont stérilisées contre leur gré, parfois à leur insu.
BromélineLa broméline, ou bromélaïne, est une protéase à cystéine extraite des tiges et racines fraîches de l'ananas. Le nom donné à cette enzyme vient de la famille des broméliacée dont est issu l'ananas. La broméline est utilisée dans l'industrie alimentaire, dans l'industrie textile, en cosmétologie et est à la base de certaines préparations pharmaceutiques. Elle est également utilisée en immuno-hématologie dans les techniques de recherches d'anticorps irréguliers.
Stérilisation (acte chirurgical)La est une méthode de contraception qui fait emploi d'une procédure chirurgicale et qui offre une contraception permanente, souvent définitive, et fiable. Chez l'humain, il s'agit le plus souvent de la vasectomie chez l'homme et de la ligature des trompes chez la femme. Bien que la stérilisation permanente soit la méthode de contraception la plus utilisée au monde, la vasectomie est plus pratiquer du fait de la moindre réticence des médecins à faire une stérilisation sur des hommes que sur des femmes, ainsi le taux de stérilisation féminine reste faible par exemple en France.
Filtration tangentielleLa filtration tangentielle est un procédé de filtration destiné à séparer les particules d'un liquide par leur taille. Elle est appelée cross-flow filtration en anglais. Le flux du liquide est parallèle au filtre, contrairement à la filtration frontale (Dead-end filtration en anglais) où le flux est perpendiculaire au filtre. C'est la pression du fluide qui permet à celui-ci de traverser le filtre. Ceci a pour conséquence que les particules assez petites passent au travers du filtre alors que celles qui sont de taille trop importante continuent leur route via le flux.
AmphoterismIn chemistry, an amphoteric compound () is a molecule or ion that can react both as an acid and as a base. What exactly this can mean depends on which definitions of acids and bases are being used. One type of amphoteric species are amphiprotic molecules, which can either donate or accept a proton (). This is what "amphoteric" means in Brønsted–Lowry acid–base theory. For example, amino acids and proteins are amphiprotic molecules because of their amine () and carboxylic acid () groups.
Kind (type theory)In the area of mathematical logic and computer science known as type theory, a kind is the type of a type constructor or, less commonly, the type of a higher-order type operator. A kind system is essentially a simply typed lambda calculus "one level up", endowed with a primitive type, denoted and called "type", which is the kind of any data type which does not need any type parameters. A kind is sometimes confusingly described as the "type of a (data) type", but it is actually more of an arity specifier.
