Pupillary response Pupillary response Pupillary response is a physiological response that varies the size of the pupil, via the optic and oculomotor cranial nerve. A constriction response (miosis), is the narrowing of the pupil, which may be caused by scleral buckles or drugs such as opiates/opioids or anti hypertension medications. Constriction of the pupil occurs when the circular muscle, controlled by the parasympathetic nervous system (PSNS), contracts. A dilation response (mydriasis), is the widening of the pupil and may be caused by adrenaline, anticholinergic agents or drugs such as MDMA, cocaine, amphetamines and some hallucinogenics. Dilation of the pupil occurs when 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