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) try to reason about abstract states, which correspond to many concrete states. Often, the abstract states are structured in such a way that by repeatedly following the effect of program steps or by coarsening the abstraction, one obtains a chain of abstractions that is proven to terminate. Widening techniques and the closely related "acceleration" techniques are used in the "forward analysis" of systems in the discipline of symbolic model checking. The techniques detect cycles, i.e. sequences of abstract state transitions that could be repeated. When such a sequence can be repeated over and over, yielding new states (e.g. a variable