Point fixeEn mathématiques, pour une application f d'un ensemble E dans lui-même, un élément x de E est un point fixe de f si f(x) = x. Exemples : dans le plan, la symétrie par rapport à un point A admet un unique point fixe : A ; l'application inverse (définie sur l'ensemble des réels non nuls) admet deux points fixes : –1 et 1, solutions de l'équation équivalente à l'équation . Graphiquement, les points fixes d'une fonction f (d'une variable réelle, à valeurs réelles) sont les points d'intersection de la droite d'équation y = x avec la courbe d'équation y = f(x).
Fixed-point iterationIn numerical analysis, fixed-point iteration is a method of computing fixed points of a function. More specifically, given a function defined on the real numbers with real values and given a point in the domain of , the fixed-point iteration is which gives rise to the sequence of iterated function applications which is hoped to converge to a point . If is continuous, then one can prove that the obtained is a fixed point of , i.e., More generally, the function can be defined on any metric space with values in that same space.
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.
Théorème du point fixe de Kakutanivignette|Exemple animé montrant des points x, et leurs images φ(x) par la fonction φ. L'animation finit par montrer un point x contenu dans φ(x). En analyse mathématique, le théorème du point fixe de Kakutani est un théorème de point fixe qui généralise celui de Brouwer à des fonctions à valeurs ensemblistes. Il fournit une condition suffisante pour qu'une telle fonction, définie sur un compact convexe d'un espace euclidien, possède un point fixe, c'est-à-dire dans ce contexte : un point qui appartient à son par cette fonction.
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.
Gene expression profilingIn the field of molecular biology, gene expression profiling is the measurement of the activity (the expression) of thousands of genes at once, to create a global picture of cellular function. These profiles can, for example, distinguish between cells that are actively dividing, or show how the cells react to a particular treatment. Many experiments of this sort measure an entire genome simultaneously, that is, every gene present in a particular cell. Several transcriptomics technologies can be used to generate the necessary data to analyse.
Expression génétiqueL'expression des gènes, encore appelée expression génique ou expression génétique, désigne l'ensemble des processus biochimiques par lesquels l'information héréditaire stockée dans un gène est lue pour aboutir à la fabrication de molécules qui auront un rôle actif dans le fonctionnement cellulaire, comme les protéines ou les ARN. Même si toutes les cellules d'un organisme partagent le même génome, certains gènes ne sont exprimés que dans certaines cellules, à certaines périodes de la vie de l'organisme ou sous certaines conditions.
Régulation de l'expression des gènesLa régulation de l'expression des gènes désigne l'ensemble de mécanismes mis en œuvre pour passer de l'information génétique incluse dans une séquence d'ADN à un produit de gène fonctionnel (ARN ou protéine). Elle a pour effet de moduler, d'augmenter ou de diminuer la quantité des produits de l'expression des gènes (ARN, protéines). Toutes les étapes allant de la séquence d'ADN au produit final peuvent être régulées, que ce soit la transcription, la maturation des ARNm, la traduction des ARNm ou la stabilité des ARNm et protéines.
Analyse en série de l'expression des gènesL'analyse en série de l'expression des gènes (en anglais, Serial Analysis of Gene Expression ou SAGE) est une technique de biologie moléculaire permettant l'analyse de la population en ARNm d'un échantillon donné (organisme, cellules, tissus, etc.). La méthode originelle a été mise au point, et publiée en 1995, par le du centre d'oncologie de l'université Johns-Hopkins. La méthode SAGE est basée sur l'isolation de séquences spécifiques (étiquettes) de chaque ARN, la production des ADN complémentaires (ADNc) correspondant, la production d'une molécule d'ADN synthétique comportant tous ces ADNc, puis le séquençage de cette molécule.
Spatiotemporal gene expressionSpatiotemporal gene expression is the activation of genes within specific tissues of an organism at specific times during development. Gene activation patterns vary widely in complexity. Some are straightforward and static, such as the pattern of tubulin, which is expressed in all cells at all times in life. Some, on the other hand, are extraordinarily intricate and difficult to predict and model, with expression fluctuating wildly from minute to minute or from cell to cell.
Courbe de HilbertLa courbe de Hilbert est une courbe continue remplissant un carré. Elle a été décrite pour la première fois par le mathématicien allemand David Hilbert en 1891. Comme elle couvre un carré, sa dimension de Hausdorff et sa dimension topologique sont égales à 2. On la considère cependant comme faisant partie des fractales. La longueur euclidienne de H (la courbe approchée continue obtenue à la n-ième itération) est ; elle croit donc exponentiellement avec n.
TI-BasicTI-Basic est le nom du langage de programmation des calculatrices graphiques Texas Instruments (Depuis lors remplacé officiellement par le langage Python sur les derniers modèles). Par sa philosophie et ses capacités, ce langage se rapproche du BASIC, d'où son nom. Cependant, sa syntaxe est substantiellement différente de celle du BASIC. Le TI-Basic des calculatrices basées sur le Motorola 68000 (« 68 K ») (TI89) n'est pas le même que celui des calculatrices basées sur le Z80 (TI-83,TI-84).
TI-83La TI-83 est une calculatrice graphique programmable commercialisée par Texas Instruments. Elle possède de nombreuses fonctionnalités, parmi lesquelles des graphes de fonctions, modes polaire/paramétrique/séquentiel, des fonctions statistiques, trigonométriques et algébriques. La TI-83 est une mise à jour de la TI-82. Elle est la première calculatrice TI à supporter d'office le langage assembleur. En effet, la TI-85 et la TI-82 supportent l'assembleur, mais seulement après leur avoir envoyé une sauvegarde spéciale (hackée) de la mémoire.
TI-Nspirethumb|TI-Nspire avec clickpad amovible. thumb|TI-Nspire CAS avec clickpad fixe. thumb|TI-Nspire avec Touchpad. thumb|TI-Nspire CAS avec Touchpad. thumb|TI-Nspire CX. thumb|TI-Nspire CX CAS. La ligne de produits TI-Nspire est une série de calculatrices graphiques développée par Texas Instruments (TI). Cette ligne comprend actuellement la TI-Nspire originale, la TI-Nspire CAS, la TI-Nspire CX et la TI-Nspire CX CAS. Il existe également des logiciels pour Windows et Mac OS X permettant de simuler les calculatrices et de créer/éditer des fichiers qui pourront y être lus.
TI-92La TI-92 est une calculatrice graphique programmable commercialisée par Texas Instruments à partir de 1995. Elle dispose de deux fonctionnalités extrêmement novatrices à l'époque : un logiciel de calcul formel et un logiciel de géométrie interactive, ce qui lui vaut à sa sortie des critiques élogieuses. La TI-92 Plus puis la Voyage 200 sont des évolutions de la TI-92 sorties respectivement en 1998 et 2002 qui introduisent un matériel amélioré et de nouvelles fonctionnalités logicielles.
Cas9thumb|236px|Une structure du Cas9 de S. aureus dans un complexe avec un ARN guide (haut) et son ADN cible (bas). Cas9 (en) est une protéine d'origine bactérienne aux propriétés anti-virales. Sa capacité à couper l'ADN au niveau de séquences spécifiques en a fait un outil de biologie moléculaire aux vastes perspectives d'utilisation. C'est une endonucléase d'ADN guidée par ARN, c'est-à-dire une enzyme spécialisée pour couper l'ADN avec deux zones de coupe actives, une pour chaque brin de la double hélice.
Théorème du point fixe de LefschetzEn mathématiques, le théorème du point fixe de Lefschetz est une formule qui compte le nombre de points fixes d'une application continue d'un espace compact X dans lui-même en utilisant les traces des endomorphismes qu'elle induit sur l'homologie de X. Il est nommé d'après Solomon Lefschetz qui l'a démontré en 1926. Chaque point fixe est compté avec sa multiplicité. Une version faible du théorème suffit à démontrer qu'une application qui n'a aucun point fixe doit vérifier certaines propriétés particulières (comme une rotation du cercle).
GèneUn gène, du grec ancien (« génération, naissance, origine »), est, en biologie, une séquence discrète et héritable de nucléotides dont l'expression affecte les caractères d'un organisme. L'ensemble des gènes et du matériel non codant d'un organisme constitue son génome. Un gène possède donc une position donnée dans le génome d'une espèce, on parle de locus génique. La séquence est généralement formée par des désoxyribonucléotides, et est donc une séquence d'ADN (par des ribonucléotides formant de l'ARN dans le cas de certains virus), au sein d'un chromosome.
Clustered Regularly Interspaced Short Palindromic Repeatsvignette|368x368px|CRISPR/Cas9. thumb|500px|right|Diagramme du mécanisme de CRISPR. En génétique, les , plus fréquemment désignées sous le nom de CRISPR (acronyme prononcé ), sont des familles de séquences répétées dans l'ADN. De telles familles se caractérisent par des séries de répétitions directes courtes (de 21 à 37 paires de bases) et régulièrement espacées par des séquences appelées , généralement uniques, de 20 à 40 paires de bases.
MKS system of unitsThe MKS system of units is a physical system of measurement that uses the metre, kilogram, and second (MKS) as base units. The modern International System of Units (SI) was originally created as a formalization of the MKS system, and although the SI has been redefined several times since then and is now based entirely on fundamental physical constants, it still closely approximates the original MKS system for most practical purposes. By the mid-19th century, there was a demand by scientists to define a coherent system of units.
