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) general, it overapproximates the true state space). Cousot and Cousot 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