Mydriasis disorders e.g. epilepsy, stroke, and impending brain herniation are known to lead to temporal mydriasis as well. A brain catastrophe, or a rapidly increasing brain mass, can cause compression of the oculomotor nerve. In cases of head injury or orbit trauma (eye injury), the iris sphincter (the muscle responsible for closing the pupil) or the nerves controlling it can be damaged, reducing or eliminating the normal pupillary light reflex. A mydriatic is an agent that induces dilation of the pupil. Drugs such as tropicamide are used in medicine to permit examination of the retina and other deep structures of the
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