Mydriasis surgery. Mydriasis Mydriasis () is the dilation of the pupil, usually having a non-physiological cause, or sometimes a physiological pupillary response. Non-physiological causes of mydriasis include disease, trauma, or the use of drugs. Normally, as part of the pupillary light reflex, the pupil dilates in the dark and constricts in the light to respectively improve vividity at night and to protect the retina from sunlight damage during the day. A "mydriatic" pupil will remain excessively large even in a bright environment. The excitation of the radial fibres of the iris which increases the pupillary aperture is referred to as a
Widening (computer science) Widening (computer science) In computer science, especially model checking and abstract interpretation, widening refers to at least two different techniques in the analysis of abstract transition systems where infinite progressions of abstract states are replaced by a (computed or guessed) least fixed point. The use of the term in "model checking" is closely related to "acceleration" techniques, some authors reserving "acceleration" for exact computations. While many computer programs can be understood in terms of machine states and transitions (see formal semantics of programming languages), their state spaces may be too large to fully represent and analyse. Modern analysis techniques therefore