Or colloïdalL'or colloïdal est une suspension de nanoparticules d'or dans un milieu fluide qui peut être l'eau, un solvant organique ou un gel. Selon la taille et la concentration des particules en suspension, sa couleur varie du rouge vif (pour des particules de moins de 100 nanomètres), au jaunâtre (pour les particules les plus grosses). Connu depuis une époque reculée, l'or colloïdal fut à l'origine utilisé pour colorer le verre et la porcelaine. L'étude scientifique de ce mélange homogène ne débuta qu'avec les travaux de Michael Faraday dans les années 1850.
Index thérapeutiqueL'index thérapeutique est, pour une substance, le rapport de deux quantités caractérisées, celles de la dose létale 50 (DL 50), soit la quantité de substance entraînant la mort chez 50 % des individus, et de la dose efficace On calcule l'index thérapeutique de cette façon : IT = DL 50 / DE 50. Plus l’index thérapeutique d’une substance est faible, moins il y a de différence entre la dose susceptible d’obtenir un effet thérapeutique et celle susceptible d’entraîner la mort, et plus cette substance est dangereuse, donc.
NaltrexoneLa naltrexone est un inhibiteur des opiacés (endogènes et exogènes) utilisé à l'origine dans le traitement des toxicomanies aux opiacés puis dans celui de l'alcoolisme chronique. C'est sa forme de chlorhydrate de naltrexone qui est commercialisée sous les marques déposées Revia (en France) et Depade. Dans quelques pays dont les États-Unis, une formule à libération prolongée est commercialisée sous le nom commercial Vivitrol.
Normal form (abstract rewriting)In abstract rewriting, an object is in normal form if it cannot be rewritten any further, i.e. it is irreducible. Depending on the rewriting system, an object may rewrite to several normal forms or none at all. Many properties of rewriting systems relate to normal forms. Stated formally, if (A,→) is an abstract rewriting system, x∈A is in normal form if no y∈A exists such that x→y, i.e. x is an irreducible term. An object a is weakly normalizing if there exists at least one particular sequence of rewrites starting from a that eventually yields a normal form.
Confluence (informatique)vignette|Le nom « confluence » est le même que celui utilisé en géographie : deux cours d'eau se rejoignent. En mathématiques, ou en informatique, la confluence d'une relation binaire est définie comme la propriété suivante : Pour tous éléments tels que et , il existe un élément tel que et . La confluence est équivalente à la propriété de Church-Rosser. La confluence locale est une propriété plus faible que la confluence, utile pour les systèmes de réécriture. Elle est définie par : Pour tous éléments tels que et , il existe un élément tel que et .
