Diéthylène glycolLe diéthylène glycol (également nommé DEG, 3-oxa-1,5-pentanediol, diglycol, éthylène diglycol ou dihydroxy diéthyl éther) est un polymère simple (diol, dimère de l'éthylène glycol, de formule chimique HO-CH2-CH2-O-CH2-CH2-OH). Le triéthylène glycol (TEG) et le tétraéthylène glycol sont respectivement le trimère et le tétramère de l'éthylène glycol, de formules chimiques HO-CH2-CH2-O-CH2-CH2-O-CH2-CH2-OH et HO-CH2-CH2-O-CH2-CH2-O-CH2-CH2-O-CH2-CH2-OH. Le diéthylène glycol est hygroscopique et donc très soluble dans l'eau.
Récepteur (cellule)thumb|Cônes et bâtonnets de la rétine en microscopie électronique (fausses couleurs). Les neurones récepteurs (ou sensoriels) constituent le premier niveau cellulaire du système nerveux de la perception. Ils transduisent des signaux physiques (lumière, son, température, pression, tension mécanique...) en signaux chimiques (neurotransmetteurs) transmis à un neurone postsynaptique qui convertira le message en signal nerveux transmis sous forme de trains de potentiel d'action. photorécepteur (vision) bâtonnet
MechanosensationMechanosensation is the transduction of mechanical stimuli into neural signals. Mechanosensation provides the basis for the senses of light touch, hearing, proprioception, and pain. Mechanoreceptors found in the skin, called cutaneous mechanoreceptors, are responsible for the sense of touch. Tiny cells in the inner ear, called hair cells, are responsible for hearing and balance. States of neuropathic pain, such as hyperalgesia and allodynia, are also directly related to mechanosensation.
PreuveUne preuve, (en science ou en droit) est un fait ou un raisonnement propre à établir la vérité. Une preuve est associée à son niveau d'incertitude quand elle est utilisée. Les éléments inductifs et déductifs qui y sont attachés lui confèrent donc un certain niveau d'incertitude. L'évaluation intuitive de ce niveau détermine le degré de confiance qu'on peut apporter à la preuve. La plupart des preuves utilisées dans la vie courante sont communément admises comme étant dignes de confiance.
Liste de théorèmes du point fixeEn analyse, un théorème du point fixe donne des conditions suffisantes d’existence d’un point fixe pour une fonction ou une famille de fonctions. Plus précisément, étant donné un ensemble E et une famille de fonctions f définies sur E et à valeurs dans E, ces théorèmes permettent de justifier qu’il existe un élément x de E tel que pour toutes les fonctions considérées on ait . Certains de ces théorèmes fournissent même un processus itératif permettant d’approcher un tel point fixe.
Evidence-based policyEvidence-based policy is a concept in public policy that advocates for policy decisions to be grounded on, or influenced by, rigorously established objective evidence. This concept presents a stark contrast to policymaking predicated on ideology, 'common sense,' anecdotes, or personal intuitions. The approach mirrors the effective altruism movement's philosophy within governmental circles. The methodology employed in evidence-based policy often includes comprehensive research methods such as randomized controlled trials (RCT).
Oxyde d'éthylèneL'oxyde d'éthylène, ou 1,2-époxyéthane, oxyde de diméthylène, oxacyclopropane ou encore oxirane est un composé organique, le plus simple de la classe des époxydes. C'est un éther cyclique toxique pour les organismes vivants. Il est important pour l'industrie chimique, entre autres dans la production d'éthylène glycol, ainsi que dans les industries pharmaceutique et agroalimentaire. L'oxyde d'éthylène est synthétisé pour la première fois par Charles Adolphe Wurtz en 1859, en faisant réagir du 2-Chloroéthanol avec une base.
Théorème du point fixe de BrouwerEn mathématiques, et plus précisément en topologie algébrique, le théorème du point fixe de Brouwer fait partie de la grande famille des théorèmes de point fixe, qui énoncent que si une fonction continue f vérifie certaines propriétés, alors il existe un point x0 tel que f(x0) = x0. La forme la plus simple du théorème de Brouwer prend comme hypothèse que la fonction f est définie sur un intervalle fermé borné non vide I et à valeurs dans I. Sous une forme plus générale, la fonction est définie sur un convexe compact K d'un espace euclidien et à valeurs dans K.
Fixed-point theorems in infinite-dimensional spacesIn mathematics, a number of fixed-point theorems in infinite-dimensional spaces generalise the Brouwer fixed-point theorem. They have applications, for example, to the proof of existence theorems for partial differential equations. The first result in the field was the Schauder fixed-point theorem, proved in 1930 by Juliusz Schauder (a previous result in a different vein, the Banach fixed-point theorem for contraction mappings in complete metric spaces was proved in 1922). Quite a number of further results followed.
Virgule flottantevignette|Comme la notation scientifique, le nombre à virgule flottante a une mantisse et un exposant. La virgule flottante est une méthode d'écriture de nombres fréquemment utilisée dans les ordinateurs, équivalente à la notation scientifique en numération binaire. Elle consiste à représenter un nombre par : un signe (égal à −1 ou 1) ; une mantisse (aussi appelée significande) ; et un exposant (entier relatif, généralement borné).