Mydriasis eye, and also to reduce painful ciliary muscle spasm (see cycloplegia). One effect of administration of a mydriatic is intolerance to bright light (photophobia). Purposefully-induced mydriasis via mydriatics is also used as a diagnostic test for Horner's syndrome. Mydriasis can be induced via modulation of adrenergic or cholinergic signalling. Within the adrenergic system, norepinephrine is a hormone and neurotransmitter responsible for regulating physiological processes in the body, including the involuntary muscles of the autonomic nervous system (such as the dilation or constriction of the pupil aperture via the muscles of the iris). Modulation of norepinephrine signalling can induce mydriasis. For
Widening (computer science) 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 large to fully represent and analyse. Modern analysis techniques therefore