Cataract surgeryCataract surgery, which is also called lens replacement surgery, is the removal of the natural lens (also called the "crystalline lens") of the human eye that has developed a cataract, an opaque or cloudy area. The eye's natural lens is usually replaced with an artificial intraocular lens (IOL). Over time, metabolic changes of the crystalline lens fibres lead to the development of a cataract, causing impairment or loss of vision. Some infants are born with congenital cataracts, and environmental factors may lead to cataract formation.
Chirurgie oculaireLa chirurgie de l’œil, également connue sous le nom de chirurgie ophtalmologique ou chirurgie oculaire, est la chirurgie exécutée sur l'œil et ses annexes, généralement par un ophtalmologue. Bien que la plupart des interventions chirurgicales sur l'œil puissent être exécutés par n’importe quel ophtalmologue expérimenté, les procédures les plus complexes sont habituellement données à des médecins qualifiés et reconnus. L'œil est un organe sensible, qui requiert des soins extrêmement exigeants avant, pendant et après l’opération chirurgicale.
Intraocular lensAn Intraocular lens (IOL) is a lens implanted in the eye usually as part of a treatment for cataracts or for correcting other vision problems such as short sightedness and long sightedness, a form of refractive surgery. If the natural lens is left in the eye, the IOL is known as phakic, otherwise it is a pseudophakic lens (or false lens). Both kinds of IOLs are designed to provide the same light-focusing function as the natural crystalline lens. This can be an alternative to LASIK, but LASIK is not an alternative to an IOL for treatment of cataracts.
Industrie manufacturièreL’industrie manufacturière est un sous-ensemble du secteur secondaire, et un sous-ensemble de l’industrie (sachant que toute l’industrie ne fait pas partie du secteur secondaire). L’industrie manufacturière regroupe les industries de transformation des biens, mais aussi la réparation et l'installation d'équipements industriels ainsi que des opérations en sous-traitance. En France, cette activité correspond actuellement à la section C de la NAF rév. 2 : 10. Industries alimentaires ; 11. Fabrication de boissons ; 12.
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.
Tension oculaireLa tension oculaire (également appelée pression intra-oculaire ou PIO ; en anglais, Intraocular pressure ou IOP) correspond à la pression régnant à l'intérieur du globe oculaire, qui est un organe creux. Sa mesure physique, dans le cadre de l'ophtalmologie, est la tonométrie. Cette tension, souvent confondue avec la tension artérielle, n'a pourtant aucun rapport avec cette dernière qui correspond à la pression sanguine régnant à l'intérieur des artères.
Instrument à cordesUn instrument à cordes est un instrument de musique dans lequel le son est produit par la vibration d'une ou plusieurs cordes. L'organologie les classe dans la catégorie des cordophones. L'histoire des instruments à cordes est vieille de plusieurs milliers d'années. Les premiers n'avaient probablement qu'une seule corde, comme l'arc musical. Dès l'Égypte ancienne, on connaissait les joueurs de harpe. Au Moyen Âge, les ménestriers s'accompagnaient au luth, etc. La vibration de la corde seule est peu audible.
Cuivres (musique)La famille des cuivres regroupe de nombreux instruments à vent (également appelés aérophones). L'obtention du son est produit par les vibrations de l'air provoquées par les lèvres du musicien sur l’embouchure, contrairement aux instruments de la famille des bois dont le son est produit par le souffle et la vibration d’une anche simple clarinette ou double hautbois ou un biseau flûte. Tous les cuivres possèdent une embouchure. Leur point commun est la technique utilisée par le musicien pour produire le son : la vibration des lèvres.
Instrument de musiqueright|thumb|280px|Fresque étrusque de la tombe des Léopards à Monterozzi en Italie. right|thumb|280px|Planche illustrée d'instruments de musique extraite du "Systematische Bilder-Gallerie zur allgemeinen deutschen Real Encyclopädie in lithographirten Blättern" (1842) Un instrument de musique est un objet pouvant produire un son contrôlé par un musicien — que cet objet soit conçu dans cet objectif, ou bien qu'il soit modifié ou écarté de son usage premier.
Chirurgie réfractiveLa chirurgie réfractive comprend les interventions qui ont pour objet de corriger l’amétropie, à l’aide d’un appareil ou dispositif médical, tel le laser ou l’ (lentilles intra-oculaires), ou d’instruments chirurgicaux.
Intraocular hemorrhageIntraocular hemorrhage (sometimes called hemophthalmos or hemophthalmia) is bleeding inside the eye (oculus in Latin). Bleeding can occur from any structure of the eye where there is vasculature or blood flow, including the anterior chamber, vitreous cavity, retina, choroid, suprachoroidal space, or optic disc. Intraocular hemorrhage may be caused by physical trauma (direct injury to the eye); ocular surgery (such as to repair cataracts); or other diseases, injuries, or disorders (such as diabetes, hypertension, or shaken baby syndrome).
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.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Outilthumb|Une boîte à outils en bois des années 1950. Un outil est un objet physique utilisé par un être vivant directement, ou par l'intermédiaire d'une machine, afin d'exercer une action le plus souvent mécanique, ou thermique, sur un élément d'environnement à traiter (matière brute, objet fini ou semi-fini, être vivant, etc). Il améliore l'efficacité des actions entreprises ou donne accès à des actions impossibles autrement. Beaucoup procurent un avantage mécanique en fonctionnant selon le principe d'une machine simple, comme la pince-monseigneur, qui exploite le principe du levier.
Stratégie d'évaluation (informatique)Un langage de programmation utilise une stratégie d'évaluation pour déterminer « quand » évaluer les arguments à l'appel d'une fonction (ou encore, opération, méthode) et « comment » passer les arguments à la fonction. Par exemple, dans l'appel par valeur, les arguments doivent être évalués avant d'être passés à la fonction. La stratégie d'évaluation d'un langage de programmation est spécifiée par la définition du langage même. En pratique, la plupart des langages de programmation (Java, C...
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.
Instrument à clavierUn instrument à clavier est un instrument de musique joué en utilisant un clavier, une rangée de leviers appuyés avec les doigts. Les plus communs sont le piano, l'orgue, les instruments de la famille du clavecin et divers (y compris les synthétiseurs et les pianos numériques). Les autres instruments à clavier sont le célesta, le piano jouet et le carillon, qui sont idiophones à percussion gérès par un clavier. Aujourd'hui, le terme clavier fait souvent référence aux synthétiseurs de style clavier.
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.
Tool and die makerTool and die makers are highly skilled crafters working in the manufacturing industries. Variations on the name include tool maker, toolmaker, die maker, diemaker, mold maker, moldmaker or tool jig and die-maker depending on which area of concentration or industry an individual works in. Tool and die makers work primarily in toolroom environments—sometimes literally in one room but more often in an environment with flexible, semipermeable boundaries from production work.
Évaluation paresseuseL’évaluation paresseuse (), appelée aussi appel par nécessité ou évaluation retardée est une technique d'implémentation des programmes récursifs pour laquelle l'évaluation d'un paramètre de fonction ne se fait pas avant que les résultats de cette évaluation ne soient réellement nécessaires. Ces résultats, une fois calculés, sont préservés pour des réutilisations ultérieures. Dans un langage comme Haskell, l'évaluation est paresseuse par défaut.
