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