Oreille en chou-fleurLe terme oreilles en chou-fleur désigne l'aspect du pavillon de l'oreille secondaire à une périchondrite. C'est le cas par exemple à la suite d'othématomes successifs, rencontrés dans les sports de contact, au rugby, principalement en rugby à XV, en boxe, dans les variétés de kick-boxing, en jiu-jitsu brésilien, en judo, en grappling, en lutte, en combat libre. Cet aspect est également rencontré au cours de maladies générales telles que la polychondrite atrophiante. Ce nom vient du fait que les oreilles déformées ressemblent à des choux-fleurs.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Capture de mouvementLa capture de mouvement (motion capture en anglais, parfois abrégé en mocap) est une technique permettant d'enregistrer les positions et rotations d'objets ou de membres d'êtres vivants, pour en contrôler une contrepartie virtuelle sur ordinateur (caméra, modèle 3D, ou avatar). Une restitution visuelle de ces mouvements en temps réel est faite via le moteur de rendu 3D de l'application interfacée avec le matériel utilisé qui peut les stocker dans un fichier d'animation de type BVH pour être traités ultérieurement dans un logiciel 3D classique (Maya, 3dsMax, XSI, Cinema4d, etc.
PatientEn médecine, un patient est une personne physique recevant une attention médicale ou à qui est prodigué un soin. D'autres termes sont utilisés, comme personne soignée, bénéficiaire de soins, usager, client, sujet ou encore le néologisme actient. Le mot patient est dérivé du mot latin patiens, participe présent du verbe déponent pati, signifiant « celui qui endure » ou « celui qui souffre ». Il existe plusieurs dénominations communes au terme « patient », dont « personne soignée », « bénéficiaire de soins », « usager » ou encore « client » employé notamment dans la culture anglophone.
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.
Type algébrique de donnéesUn type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. Le type produit de deux types A et B est l’analogue en théorie des types du produit cartésien ensembliste et est noté A × B. C’est le type des couples dont la première composante est de type A et la seconde de type B.
Soins de santéLes soins de santé sont un domaine qui s'appuie sur les sciences appliquées et les connaissances en sciences biomédicales. Ils concernent la santé des humains et la santé animale. Dans les deux cas, ils comprennent des recherches et études scientifiques, ainsi que des études cliniques (étude d'applications thérapeutiques) et de médecine clinique.
Oreille moyenneL'oreille moyenne est la partie de l'appareil auditif comprise entre l'oreille externe et l'oreille interne. Chez les mammifères, l'oreille moyenne comprend le tympan ainsi que les osselets (la « chaîne ossiculaire »), trois très petits os qui s'appellent respectivement de dehors en dedans : le marteau, l'enclume et l'étrier. Ces noms proviennent de leurs formes caractéristiques. Le marteau et l'enclume forment une articulation peu flexible appelée « bloc incudo-maléaire ».
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).
