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