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) 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