Géométrie elliptiqueUne géométrie elliptique est une géométrie non euclidienne. Les axiomes sont identiques à ceux de la géométrie euclidienne à l'exception de l'axiome des parallèles : en géométrie elliptique, étant donné une droite et un point extérieur à cette droite, il n'existe aucune droite parallèle à cette droite passant par ce point. Il est équivalent de dire que la somme des angles d'un triangle est toujours supérieure à .
OstéogenèseL'ostéogenèse est le processus par lequel s'élabore le tissu osseux. L'os est formé à partir : d'une matrice organique (25 %) composée essentiellement de collagène de type I (90 %), mais aussi d'autres protéines comme l'ostéonectine ou l'ostéocalcine, protéine synthétisée par les ostéoblastes (synthèse vitamine K dépendante) d'où elle est sécrétée dans l'os et un peu dans la circulation mais n'est pas relarguée lors de la résorption osseuse (par les ostéoclastes) ; d'une matrice minérale (70 %) très riche en calcium (sous forme d'hydroxyapatite de calcium ) et en phosphore ; de cellules osseuses spécifiques (5 %) (ostéoblastes et ostéoclastes) et de l'eau.
Fluide non newtonienUn fluide non newtonien est un fluide qui ne suit pas la loi de viscosité de Newton, c'est-à-dire une viscosité constante indépendante de la contrainte. Dans les fluides non newtoniens, la viscosité peut changer lorsqu'elle est soumise à une force pour devenir plus liquide ou plus solide. Le ketchup, par exemple, devient plus coulant lorsqu'il est secoué et se comporte donc de manière non newtonienne.
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.
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
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.
Géométrie projectiveEn mathématiques, la géométrie projective est le domaine de la géométrie qui modélise les notions intuitives de perspective et d'horizon. Elle étudie les propriétés inchangées des figures par projection centrale. Le mathématicien et architecte Girard Desargues fonde la géométrie projective dans son Brouillon project d’une Atteinte aux evenemens des rencontres du cone avec un plan publié en 1639, où il l'utilise pour une théorie unifiée des coniques.
Géométrie hyperboliqueEn mathématiques, la géométrie hyperbolique (nommée auparavant géométrie de Lobatchevski, lequel est le premier à en avoir publié une étude approfondie) est une géométrie non euclidienne vérifiant les quatre premiers postulats d’Euclide, mais pour laquelle le cinquième postulat, qui équivaut à affirmer que par un point extérieur à une droite passe une et une seule droite qui lui est parallèle, est remplacé par le postulat selon lequel « par un point extérieur à une droite passent plusieurs droites parallèle
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).
Dilatation thermiqueLa dilatation thermique est l'expansion à pression constante du volume d'un corps occasionné par son réchauffement, généralement imperceptible. Dans le cas d'un gaz, il y a dilatation à pression constante ou maintien du volume et augmentation de la pression lorsque la température augmente. À l'opposé de la dilatation, un refroidissement provoque une contraction thermique. Dans un solide, les atomes possèdent une énergie thermique et vibrent autour de leur position moyenne.
Fixateur externeUn fixateur externe est un procédé chirurgical d'ostéosynthèse (fixation d'os) utilisant des fiches métalliques ou « broches » implantées dans l'os à travers la peau, reliées par une barre métallique solidarisée aux fiches par des étaux, serrés lors de la mise en place en salle d'opération. Cette technique permet principalement la réduction de fractures (surtout au niveau du poignet) et peut être utilisée pour l'allongement des jambes (dans ce cas, une distraction est appliquée après ostéotomie).
Adult stem cellAdult stem cells are undifferentiated cells, found throughout the body after development, that multiply by cell division to replenish dying cells and regenerate damaged tissues. Also known as somatic stem cells (from Greek σωματικóς, meaning of the body), they can be found in juvenile, adult animals, and humans, unlike embryonic stem cells. Scientific interest in adult stem cells is centered around two main characteristics.
