Abstract: Methods and compositions for reducing the frequency of urination are disclosed. One method comprises administering to a subject in need thereof an effective amount of a pharmaceutical composition comprising an analgesic agent formulated in an extended-release formulation. Another method comprises administering to a subject in need thereof an effective amount of a pharmaceutical composition comprising multiple active ingredients formulated for extended-release. Yet another method comprises administering to a subject in need thereof an effective amount of a diuretic followed with another administration of an pharmaceutical composition comprising an analgesic agent formulated for extended-release.

Abstract: Methods and compositions for reducing the frequency of urination are disclosed. One method comprises administering to a subject in need thereof an effective amount of a pharmaceutical composition comprising an analgesic agent formulated in a delayed-release formulation. Another method comprises administering to a subject in need thereof an effective amount of a pharmaceutical composition comprising multiple active ingredients. Yet another method comprises administering to a subject in need thereof an effective amount of a diuretic followed with another administration of an pharmaceutical composition comprising an analgesic agent.

Abstract: Methods and compositions for reducing the frequency of urination are disclosed. One method comprises administering to a subject in need thereof an effective amount of a pharmaceutical composition comprising an analgesic agent formulated in a delayed-release formulation. Another method comprises administering to a subject in need thereof an effective amount of a pharmaceutical composition comprising multiple active ingredients. Yet another method comprises administering to a subject in need thereof an effective amount of a diuretic followed with another administration of an pharmaceutical composition comprising an analgesic agent.

Abstract: Methods and compositions for reducing the frequency of urination are disclosed. One method comprises administering to a subject in need thereof an effective amount of a pharmaceutical composition comprising an analgesic agent formulated in an extended-release formulation. Another method comprises administering to a subject in need thereof an effective amount of a pharmaceutical composition comprising multiple active ingredients formulated for extended-release. Yet another method comprises administering to a subject in need thereof an effective amount of a diuretic followed with another administration of an pharmaceutical composition comprising an analgesic agent formulated for extended-release.

Abstract: Compositions and methods for the inhibition of muscle contraction are disclosed. In one aspect, the present application discloses pharmaceutical compositions comprising analgesic agents for the inhibition of muscle contraction. In another aspect, the application discloses methods for the prophylactic intervention against premature pain associated with the filling of the urinary bladder of a subject. In yet another aspect, the application discloses methods for the prophylactic intervention against muscle pain associated with physical activity.

Abstract: A programmed computer searches for functional defects in a description of a circuit undergoing functional verification in the following manner. The programmed computer simulates the functional behavior of the circuit in response to a test vector, automatically restores the state of the simulation without causing the simulation to pass through a reset state, and then simulates the functional behavior of the circuit in response to another test vector. A predetermined rule can be used to identify test vectors to be simulated, and the predetermined rule can depend upon a measure of functional verification, including the number of times during simulation when a first state transition is performed by a first-controller at the same time as a second state transition is performed by a second controller. During simulation of the test vectors, manually generated tests or automatically generated checkers can monitor portions of the circuit for defective behavior.