Natsuki Urabe

Learn More
The effects of several anaesthetics on spinal cord nociceptive neural mechanisms and their interactions with the opiate antagonist, naloxone, were studied in acute, spinal cord transected cats. Intra-arterial injection of bradykinin was used as the noxious test stimulus. Spontaneous activity and the neural response induced by bradykinin were recorded by the(More)
Cats were used to assess the significance of differences in animal preparations in the study of anesthetic-induced analgesia. Comparison was made between pentobarbital-anesthetized and decerebrate non-anesthetized cats. Bradykinin dissolved in normal saline was injected into the femoral artery as a noxious stimulus, and the neural response in the spinal(More)
The effects of enflurane on three epilepsy models were studied in cats. The models used were seizures in amygdaloid kindled cats and those induced by bicuculline and penicillin. The authors found that not only a subconvulsive (1.5%) but a convulsive (3.5%) dose of enflurane suppressed the seizures in all models. There was no sign of activation by enflurane(More)
We introduce notions of simulation between semiring-weighted au-tomata as models of quantitative systems. Our simulations are instances of the categorical/coalgebraic notions previously studied by Hasuo—hence soundness wrt. language inclusion comes for free—but are concretely presented as matrices that are subject to linear inequality constraints.(More)
We introduce notions of simulation between semiring-weighted automata as models of quantitative systems. Our simulations are instances of the categorical/coalgebraic notions previously studied by Hasuo—hence soundness against language inclusion comes for free—but are concretely presented as matrices that are subject to linear inequality constraints.(More)
Despite its success in producing numerous general results on state-based dynamics, the theory of coalgebra has struggled to accommodate the Büchi acceptance condition—a basic notion in the theory of automata for infinite words or trees. In this paper we present a clean answer to the question that builds on the " maximality " characterization of infinite(More)
Four-week-old ICR mice were systemically exposed to 18Gy X-rays. Afterwards, the expression of proliferating cell nuclear antigen (PCNA) in the cerebrum was observed with time using Western blot analysis and immunohistochemical staining. As a result, PCNA-positive cells were observed in the subgranular zone (SGZ) of the hippocampus and subventricular zone(More)
Despite its success in producing numerous general results on state-based dynamics, the theory of coalgebra has struggled to accommodate the Büchi acceptance condition—a basic notion in the theory of automata for infinite words or trees. In this paper we present a clean answer to the question that builds on the " maximality " characterization of infinite(More)