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.
Eye surgeryEye surgery, also known as ophthalmic surgery or ocular surgery, is surgery performed on the eye or its adnexa. Eye surgery is part of ophthalmology and is performed by an ophthalmologist or eye surgeon. The eye is a fragile organ, and requires due care before, during, and after a surgical procedure to minimize or prevent further damage. An eye surgeon is responsible for selecting the appropriate surgical procedure for the patient, and for taking the necessary safety precautions.
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.
ManufacturingManufacturing is the creation or production of goods with the help of equipment, labor, machines, tools, and chemical or biological processing or formulation. It is the essence of the secondary sector of the economy. The term may refer to a range of human activity, from handicraft to high-tech, but it is most commonly applied to industrial design, in which raw materials from the primary sector are transformed into finished goods on a large scale.
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.
Intraocular pressureIntraocular pressure (IOP) is the fluid pressure inside the eye. Tonometry is the method eye care professionals use to determine this. IOP is an important aspect in the evaluation of patients at risk of glaucoma. Most tonometers are calibrated to measure pressure in millimeters of mercury (mmHg). Intraocular pressure is determined by the production and drainage of aqueous humour by the ciliary body and its drainage via the trabecular meshwork and uveoscleral outflow.
String instrumentString instruments, stringed instruments, or chordophones are musical instruments that produce sound from vibrating strings when a performer plays or sounds the strings in some manner. Musicians play some string instruments by plucking the strings with their fingers or a plectrum—and others by hitting the strings with a light wooden hammer or by rubbing the strings with a bow. In some keyboard instruments, such as the harpsichord, the musician presses a key that plucks the string.
Brass instrumentA brass instrument is a musical instrument that produces sound by sympathetic vibration of air in a tubular resonator in sympathy with the vibration of the player's lips. Brass instruments are also called labrosones or labrophones, from Latin and Greek elements meaning 'lip' and 'sound'. There are several factors involved in producing different pitches on a brass instrument.
Musical instrumentA musical instrument is a device created or adapted to make musical sounds. In principle, any object that produces sound can be considered a musical instrument—it is through purpose that the object becomes a musical instrument. A person who plays a musical instrument is known as an instrumentalist. The history of musical instruments dates to the beginnings of human culture. Early musical instruments may have been used for rituals, such as a horn to signal success on the hunt, or a drum in a religious ceremony.
Refractive surgeryRefractive surgery is optional eye surgery used to improve the refractive state of the eye and decrease or eliminate dependency on glasses or contact lenses. This can include various methods of surgical remodeling of the cornea (keratomileusis), lens implantation or lens replacement. The most common methods today use excimer lasers to reshape the curvature of the cornea. Refractive eye surgeries are used to treat common vision disorders such as myopia, hyperopia, presbyopia and astigmatism.
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).
Type theoryIn mathematics, logic, and computer science, a type theory is the formal presentation of a specific type system, and in general, type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundation of mathematics. Two influential type theories that were proposed as foundations are Alonzo Church's typed λ-calculus and Per Martin-Löf's intuitionistic type theory. Most computerized proof-writing systems use a type theory for their foundation, a common one is Thierry Coquand's Calculus of Inductive Constructions.
Type safetyIn computer science, type safety and type soundness are the extent to which a programming language discourages or prevents type errors. Type safety is sometimes alternatively considered to be a property of facilities of a computer language; that is, some facilities are type-safe and their usage will not result in type errors, while other facilities in the same language may be type-unsafe and a program using them may encounter type errors.
ToolA tool is an object that can extend an individual's ability to modify features of the surrounding environment or help them accomplish a particular task. Although many animals use simple tools, only human beings, whose use of stone tools dates back hundreds of millennia, have been observed using tools to make other tools. Early human tools, made of such materials as stone, bone, and wood, were used for the preparation of food, hunting, the manufacture of weapons, and the working of materials to produce clothing and useful artifacts and crafts such as pottery, along with the construction of housing, businesses, infrastructure, and transportation.
Evaluation strategyIn a programming language, an evaluation strategy is a set of rules for evaluating expressions. The term is often used to refer to the more specific notion of a parameter-passing strategy that defines the kind of value that is passed to the function for each parameter (the binding strategy) and whether to evaluate the parameters of a function call, and if so in what order (the evaluation order). The notion of reduction strategy is distinct, although some authors conflate the two terms and the definition of each term is not widely agreed upon.
Type inferenceType inference refers to the automatic detection of the type of an expression in a formal language. These include programming languages and mathematical type systems, but also natural languages in some branches of computer science and linguistics. Types in a most general view can be associated to a designated use suggesting and restricting the activities possible for an object of that type. Many nouns in language specify such uses. For instance, the word leash indicates a different use than the word line.
Keyboard instrumentA keyboard instrument is a musical instrument played using a keyboard, a row of levers that are pressed by the fingers. The most common of these are the piano, organ, and various electronic keyboards, including synthesizers and digital pianos. Other keyboard instruments include celestas, which are struck idiophones operated by a keyboard, and carillons, which are usually housed in bell towers or belfries of churches or municipal buildings. Today, the term keyboard often refers to keyboard-style synthesizers.
Data typeIn computer science and computer programming, a data type (or simply type) is a collection or grouping of data values, usually specified by a set of possible values, a set of allowed operations on these values, and/or a representation of these values as machine types. A data type specification in a program constrains the possible values that an expression, such as a variable or a function call, might take. On literal data, it tells the compiler or interpreter how the programmer intends to use the data.
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.
Lazy evaluationIn programming language theory, lazy evaluation, or call-by-need, is an evaluation strategy which delays the evaluation of an expression until its value is needed (non-strict evaluation) and which also avoids repeated evaluations (by the use of sharing). The benefits of lazy evaluation include: The ability to define control flow (structures) as abstractions instead of primitives. The ability to define potentially infinite data structures. This allows for more straightforward implementation of some algorithms.
