OreilleL’oreille est l'organe qui sert à capter et intensifier le son. Elle est le siège du sens de l'ouïe. L'oreille interne joue également un rôle important dans l'équilibre du corps immobile ou en mouvement. Dans le langage courant, ce mot fait le plus souvent référence à la partie extérieure bien visible, c'est-à-dire le pavillon de l'oreille. Mais le mot s'applique aussi au système entier, l’appareil auditif, aussi bien externe qu'interne, qui effectue la collection et la compréhension des sons.
Otoscopevignette|Un otoscope vignette|Examen otoscopique Un otoscope est un instrument médical permettant l'inspection du conduit auditif externe et du tympan. Il est constitué d'un manche, et d'une tête munie d'un système lumineux, d'une lentille grossissante et d'un speculum jetable. Le premier otoscope est inventé en 1834 par Jean-Pierre Bonnafont qui utilise une source lumineuse réfléchie vers l'oreille par un miroir. Certains otoscopes sont reliés à un système mural alors que d'autres sont portables, dans ce dernier cas les piles se trouvent dans le manche de l'appareil.
Ordre totalEn mathématiques, on appelle relation d'ordre total sur un ensemble E toute relation d'ordre ≤ pour laquelle deux éléments de E sont toujours comparables, c'est-à-dire que On dit alors que E est totalement ordonné par ≤. Une relation binaire ≤ sur un ensemble E est un ordre total si (pour tous éléments x, y et z de E) : x ≤ x (réflexivité) ; si x ≤ y et y ≤ x, alors x = y (antisymétrie) ; si x ≤ y et y ≤ z, alors x ≤ z (transitivité) ; x ≤ y ou y ≤ x (totalité). Les trois premières propriétés sont celles faisant de ≤ une relation d'ordre.
Ordre lexicographiqueEn mathématiques, un ordre lexicographique est un ordre que l'on définit sur les suites finies d'éléments d'un ensemble ordonné (ou, de façon équivalente, les mots construits sur un ensemble ordonné). Sa définition est une généralisation de l'ordre du dictionnaire : l'ensemble ordonné est l'alphabet, les mots sont bien des suites finies de lettres de l'alphabet. La principale propriété de l'ordre lexicographique est de conserver la totalité de l'ordre initial.
Tympan humainInfobox Anatomie | Nom = Le Tympan | Latin = membrana tympani | GraySubject = 230 | GrayPage = 1039 | Image = Place-du-Tympan-Schema.jpg | Légende = Anatomie de l'oreille humaine, le tympan ici représenté coloré. | Image2 = Tympan-normal.jpg | Légende2 = La membrane tympanique droite vue lors de l'otoscopie. | System = | MeshName = Tympanic+Membrane+Lydia | MeshNumber = A09.246.272.702 | Dorlands = nine/000957950 | DorlandsID = Tympanic membrane En anatomie, le tympan est une membrane fibreuse séparant l'oreille externe et l'oreille moyenne.
Order isomorphismIn the mathematical field of order theory, an order isomorphism is a special kind of monotone function that constitutes a suitable notion of isomorphism for partially ordered sets (posets). Whenever two posets are order isomorphic, they can be considered to be "essentially the same" in the sense that either of the orders can be obtained from the other just by renaming of elements. Two strictly weaker notions that relate to order isomorphisms are order embeddings and Galois connections.
OtalgieEar pain, also known as earache or otalgia, is pain in the ear. Primary ear pain is pain that originates from the ear. Secondary ear pain is a type of referred pain, meaning that the source of the pain differs from the location where the pain is felt. Most causes of ear pain are non-life-threatening. Primary ear pain is more common than secondary ear pain, and it is often due to infection or injury. The conditions that cause secondary (referred) ear pain are broad and range from temporomandibular joint syndrome to inflammation of the throat.
Topologie de l'ordreEn mathématiques, la topologie de l'ordre est une topologie naturelle définie sur tout ensemble ordonné (E, ≤), et qui dépend de la relation d'ordre ≤. Lorsque l'on définit la topologie usuelle de la droite numérique R, deux approches équivalentes sont possibles. On peut se fonder sur la relation d'ordre dans R, ou sur la valeur absolue de la distance entre deux nombres. Les égalités ci-dessous permettent de passer de l'une à l'autre : La valeur absolue se généralise en la notion de distance, qui induit le concept de topologie d'un espace métrique.
Order theoryOrder theory is a branch of mathematics that investigates the intuitive notion of order using binary relations. It provides a formal framework for describing statements such as "this is less than that" or "this precedes that". This article introduces the field and provides basic definitions. A list of order-theoretic terms can be found in the order theory glossary. Orders are everywhere in mathematics and related fields like computer science. The first order often discussed in primary school is the standard order on the natural numbers e.
Primitive data typeIn computer science, primitive data types are a set of basic data types from which all other data types are constructed. Specifically it often refers to the limited set of data representations in use by a particular processor, which all compiled programs must use. Most processors support a similar set of primitive data types, although the specific representations vary. More generally, "primitive data types" may refer to the standard data types built into a programming language (built-in types).
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).
