Mydriasis More generally, mydriasis also refers to the natural dilation of pupils, for instance in low light conditions or under sympathetic stimulation. An informal term for mydriasis is blown pupil, and is used by medical providers. It is usually used to refer to a fixed, unilateral mydriasis, which could be a symptom of raised intracranial pressure. The opposite, constriction of the pupil, is referred to as miosis. Both mydriasis and miosis can be physiological. Anisocoria is the condition of one pupil being more dilated than the other. There are two types of muscle that control the size of the iris: the
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