KAT (kynurenine aminotransferase) II is a primary enzyme in the brain for catalysing the transamination of kynurenine to KYNA (kynurenic acid). KYNA is the only known endogenous antagonist of the N-methyl-D-aspartate receptor. The enzyme also catalyses the transamination of aminoadipate to alpha-oxoadipate; therefore it was initially named AADAT (aminoadipate aminotransferase). As an endotoxin,...

AIMS We determined whether or not replication-defective herpes simplex virus vector-mediated kynurenine aminotransferase II (HSVrd-KAT II) suppressed the tonic activity of the urethral sphincter in spinal cord-injured (SCI) rats. METHODS Thirty-six adult female Sprague-Dawley rats were used to produce a spinal cord injury model. One week after spinalization, HSVrd-KAT II was injected into the...

Kleene algebra with tests (KAT) is an equational system that extends Kleene algebra, the algebra of regular expressions, and that is specially suited to capture and verify properties of simple imperative programs. In this paper we study two constructions of automata from KAT expressions: the Glushkov automaton (Apos), and a new construction based on the notion of prebase (equation automata, Aeq...

Kynurenine aminotransferase isozymes (KATs 1-4) are members of the pyridoxal-5'-phosphate (PLP)-dependent enzyme family, which catalyse the permanent conversion of l-kynurenine (l-KYN) to kynurenic acid (KYNA), a known neuroactive agent. As KATs are found in the mammalian brain and have key roles in the kynurenine pathway, involved in different categories of central nervous system (CNS) disease...

We develop a coalgebraic theory of Kleene algebra with tests (KAT) along the lines of Rutten (1998) for Kleene algebra (KA) and Chen and Pucella (Electron Notes Theor Comput Sci 82(1), 2003) for a limited version of KAT, resolving some technical issues raised by Chen and Pucella. Our treatment includes a simple definition of the Brzozowski derivative for KAT expressions and an automata-theoreti...

Kleene algebra with tests (KAT) is an equational system that extends Kleene algebra, the algebra of regular expressions, and that is specially suited to capture and verify properties of simple imperative programs. In this paper we study two constructions of automata from KAT expressions: the Glushkov automaton (Apos), and a new construction based on the notion of prebase (equation automata, Aeq...

In Part I [“Fast Transforms for Acoustic Imaging—Part I: Theory,” IEEE TRANSACTIONS ON IMAGE PROCESSING, vol. XX, no. YY, Month 201x], we introduced the KAT (Kronecker Array Transform), a fast transform for imaging with separable arrays. Given a source distribution, the KAT produces the spectral matrix which would be measured by a separable sensor array. In this Part II, we establish connection...

Kleene algebra with tests (KAT) is a decidable equational system for program verification, that uses both Kleene and Boolean algebras. In spite of KAT ’s elegance and success in providing theoretical solutions for several problems, not many efforts have been made towards obtaining tractable decision procedures that could be used in practical software verification tools. The main drawback of the...

Kleene algebra with tests (KAT) is a decidable equational system for program verification that uses both Kleene and Boolean algebras. In spite of KAT ’s elegance and success in providing theoretical solutions for several problems, not many efforts have been made towards obtaining tractable decision procedures that could be used in practical software verification tools. The main drawback of the ...

The study examines age-dependent changes of kynurenic acid (KYNA) content and kynurenine aminotransferases (KAT I and KAT II) celluar expression in the retinas of DBA/2J mice. Retinas were obtained from DBA/2J mice of different ages (3, 6 and 11 months). C57BL6 mice were used as controls. As measured with HPLC, KYNA content decreased (p < 0.01) in the retinas of 6-month-old DBA/2J mice and cont...