Mydriasis pupil) or overactivity of the sympathetic nervous system (SNS). Pupil diameter also increases in reaction to cognitive tasks requiring memory and attention, and this phenomenon is used as an indicator of mental activation (‘arousal’) in psychophysiological experiments . Natural release of the hormone oxytocin can cause mild to moderate mydriasis. Parasympathetic fibers travel with cranial nerve III, the oculomotor nerve, to innervate the circular layer of muscle of the eye (sphincter pupillae). Damage to this nerve typically manifests itself as mydriasis, because the sympathetic supply to the pupil, which causes mydriasis, remains unaffected, and therefore unopposed. Multiple central nervous system
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