CytosqueletteLe cytosquelette d'une cellule est l'ensemble organisé des polymères biologiques qui lui confèrent l'essentiel de ses propriétés architecturales et mécaniques.
Géométrie non euclidienneLa géométrie non euclidienne (GNE) est, en mathématiques, une théorie géométrique ayant recours aux axiomes et postulats posés par Euclide dans les Éléments, sauf le postulat des parallèles. Les différentes géométries non euclidiennes sont issues initialement de la volonté de démontrer la proposition du cinquième postulat, qui apparaissait peu satisfaisant en tant que postulat car trop complexe et peut-être redondant avec les autres postulats).
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Géométrie euclidienneLa géométrie euclidienne commence avec les Éléments d'Euclide, qui est à la fois une somme des connaissances géométriques de l'époque et une tentative de formalisation mathématique de ces connaissances. Les notions de droite, de plan, de longueur, d'aire y sont exposées et forment le support des cours de géométrie élémentaire. La conception de la géométrie est intimement liée à la vision de l'espace physique ambiant au sens classique du terme.
Aster (biologie)L'aster désigne la formation étoilée de microtubules rayonnant autour du centrosome, et bien visibles au cours de la division cellulaire. Au cours de celle-ci, l'aster se dédouble et les deux structures filles ainsi formées constituent chacune un pôle vers lequel migreront les chromatides sœurs de chaque chromosome, suivant les microtubules du fuseau mitotique auxquels elles sont attachées, par leur kinétochore. Les sites de nucléation de ces microtubules se situent dans le matériel péricentriolaire amorphe qui entoure les centrioles.
Module d'élasticité isostatiqueLe module d'élasticité isostatique () est la constante qui relie la contrainte au taux de déformation d'un matériau isotrope soumis à une compression isostatique. Généralement noté ( en anglais), le module d'élasticité isostatique permet d'exprimer la relation de proportionnalité entre le premier invariant du tenseur des contraintes et le premier invariant du tenseur des déformations : où : est la contrainte isostatique (en unité de pression) ; est le module d'élasticité isostatique (en unité de pression) ; est le taux de déformation isostatique (sans dimension).
Magnitude photographiqueAvant l'apparition des photomètres qui mesurent précisément la luminosité des objets astronomiques, la magnitude apparente d'un objet était obtenue en prenant une photo de celui-ci avec un appareil photographique. Ces images, faites sur des pellicules photographiques ou des plaques orthochromatiques, étaient plus sensibles à l'extrémité bleue du spectre visuel que l'œil humain ou les photomètres modernes.
Protéine motriceUne protéine motrice, ou un moteur protéique, est une protéine capable de transformer de l'énergie chimique en travail par des modifications de sa conformation. Les moteurs protéiques font partie des moteurs moléculaires. Cependant, il existe dans la nature d'autres processus biologiques générateurs de travail. On peut les regrouper en quatre groupes : les myosines, associées aux filaments d'actine ; les kinésines, associées aux microtubules ; les dynéines, également associées aux microtubules ; les enzymes se déplaçant sur l'ADN ou l'ARN, dont la plus importante est l'ARN polymérase.
Géométrie synthétiqueLa géométrie synthétique ou géométrie pure est fondée sur une approche axiomatique (donc, « purement logique ») de la géométrie. Elle constitue une branche de la géométrie étudiant diverses propriétés et divers théorèmes uniquement par des méthodes d'intersections, de transformations et de constructions. Elle s'oppose à la géométrie analytique et refuse systématiquement l'utilisation des propriétés analytiques des figures ou l'appel aux coordonnées. Ses concepts principaux sont l'intersection, les transformations y compris par polaires réciproques, la logique.
Magnitude (sismologie)vignette|Sismogramme enregistré par un sismographe à l'Observatoire Weston dans le Massachusetts, aux États-Unis. En sismologie, la magnitude est la représentation logarithmique du moment sismique, qui est lui-même une mesure de l'énergie libérée par un séisme déduite de l'amplitude de certaines ondes sismiques à des distances spécifiques (mesure de l'amplitude sur un sismogramme de l'onde P ou S). Plus le séisme a libéré d'énergie, plus la magnitude est élevée : un accroissement de magnitude de 1 correspond à une multiplication par 30 de l'énergie et par 10 de l'amplitude du mouvement.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Mesure physiqueLa mesure physique est l'action de déterminer la ou les valeurs d'une grandeur (longueur, capacité), par comparaison avec une grandeur constante de même espèce prise comme terme de référence (étalon ou unité). Selon la définition canonique : La mesure physique vise à l'objectivité et à la reproductibilité. La comparaison est numérique ; on exprime une caractéristique bien définie de l'objet par un nombre rationnel multipliant l'unité.
