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
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.
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.
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.
Infinitesimal strain theoryIn continuum mechanics, the infinitesimal strain theory is a mathematical approach to the description of the deformation of a solid body in which the displacements of the material particles are assumed to be much smaller (indeed, infinitesimally smaller) than any relevant dimension of the body; so that its geometry and the constitutive properties of the material (such as density and stiffness) at each point of space can be assumed to be unchanged by the deformation.
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).
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.
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).
Géométrie algébriqueLa géométrie algébrique est un domaine des mathématiques qui, historiquement, s'est d'abord intéressé à des objets géométriques (courbes, surfaces...) composés des points dont les coordonnées vérifiaient des équations ne faisant intervenir que des sommes et des produits (par exemple le cercle unité dans le plan rapporté à un repère orthonormé admet pour équation ). La simplicité de cette définition fait qu'elle embrasse un grand nombre d'objets et qu'elle permet de développer une théorie riche.
