ViscoplasticitéLa viscoplasticité est la théorie en mécanique des milieux continus qui décrit le comportement inélastique dépendant de la vitesse de déformation des solides. La dépendance à la vitesse de déformation, dans ce contexte signifie que les déformations sont proportionnelles à la vitesse de chargement. Le comportement inélastique dans le cas de la viscoplasticté est un comportement plastique ce qui signifie que le matériau subit des déformations irréversibles quand un certain niveau de chargement est atteint.
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.
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).
Tenseur énergie-impulsionLe tenseur énergie-impulsion est un outil mathématique utilisé notamment en relativité générale afin de représenter la répartition de masse et d'énergie dans l'espace-temps. La théorie de la relativité restreinte d'Einstein établissant l'équivalence entre masse et énergie, la théorie de la relativité générale indique que ces dernières courbent l'espace. L'effet visible de cette courbure est la déviation de la trajectoire des objets en mouvement, observé couramment comme l'effet de la gravitation.
Portable Document FormatLe Portable Document Format, communément abrégé en PDF, est un langage de description de page présenté par la société Adobe Systems en 1992 et qui est devenu une norme ISO en 2008. La spécificité du PDF est de préserver la mise en page d’un document telle qu'elle a été définie par son auteur, et cela quels que soient le logiciel, le système d'exploitation et l'ordinateur utilisés pour l’imprimer ou le visualiser. Le Portable Document Format qui se traduit de l'anglais en « format de document portable », généralement abrégé en PDF, est un format de fichier informatique créé par Adobe Systems.
Mécanique newtonienneLa mécanique newtonienne est une branche de la physique. Depuis les travaux d'Albert Einstein, elle est souvent qualifiée de mécanique classique. La mécanique classique ou mécanique newtonienne est une théorie physique qui décrit le mouvement des objets macroscopiques lorsque leur vitesse est faible par rapport à celle de la lumière. Avant de devenir une science à part entière, la mécanique a longtemps été une section des mathématiques. De nombreux mathématiciens y ont apporté une contribution souvent décisive, parmi eux des grands noms tels qu'Euler, Cauchy, Lagrange.
Endoscopic retrograde cholangiopancreatographyEndoscopic retrograde cholangiopancreatography (ERCP) is a technique that combines the use of endoscopy and fluoroscopy to diagnose and treat certain problems of the biliary or pancreatic ductal systems. It is primarily performed by highly skilled and specialty trained gastroenterologists. Through the endoscope, the physician can see the inside of the stomach and duodenum, and inject a contrast medium into the ducts in the biliary tree and pancreas so they can be seen on radiographs.
Adobe AcrobatAdobe Acrobat est une famille de logiciels mis au point par Adobe Systems, pour manipuler des documents électroniques au format PDF. Le programme Adobe Acrobat Reader DC (auparavant appelé Adobe Acrobat Reader, puis Adobe Reader) est disponible gratuitement sur le site Web d'Adobe et permet l' et l'impression des fichiers PDF. Les nombreux programmes commerciaux de la gamme Acrobat permettent d'effectuer quelques modifications minimales et d'ajouter des fonctionnalités aux documents PDF (formulaire PDF par exemple).
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Common bile duct stoneCommon bile duct stone, also known as choledocholithiasis, is the presence of gallstones in the common bile duct (CBD) (thus choledocho- + lithiasis). This condition can cause jaundice and liver cell damage. Treatments include choledocholithotomy and endoscopic retrograde cholangiopancreatography (ERCP). Murphy's sign is commonly negative on physical examination in choledocholithiasis, helping to distinguish it from cholecystitis. Jaundice of the skin or eyes is an important physical finding in biliary obstruction.
AngiocholiteLangiocholite est une infection de la bile sur obstacle lithiasique obstruant la voie biliaire principale. Toute élévation de la pression au-delà de d'eau a pour conséquence une distension des voies biliaires qui se traduit sur le plan clinique par une douleur de type biliaire, la rétention de bile infectée des canalicules biliaires vers les sinusoïdes puis vers la circulation générale à travers le carrefour cavo-sus-hépatique : c'est le reflux cholangio-veineux, avec comme conséquence un ictère et une bactériémie (frissons).
Statistical mechanicsIn physics, statistical mechanics is a mathematical framework that applies statistical methods and probability theory to large assemblies of microscopic entities. It does not assume or postulate any natural laws, but explains the macroscopic behavior of nature from the behavior of such ensembles. Sometimes called statistical physics or statistical thermodynamics, its applications include many problems in the fields of physics, biology, chemistry, and neuroscience.
