Background Inadequate inhaled aerosol device demonstration and technique by health care professionals can lead to poor disease control. The aims of this study were to develop and validate Knowledge of Aerosol Tool (KAT) among registered and unregistered pharmacists and to assess the pharmaceutical care practice among registered pharmacists. Methods The KAT and pharmaceutical care practice que...

The study investigates the cellular expression of kynurenine aminotransferases (KAT I and II) in the rat retina during development. At P1 (the day of birth) and P7 (the 7th day after birth), KAT I expression was observed in the inner plexiform layer (IPL), the fiber layer (FL), and in vertically running processes in the ganglion cell layer (GCL) (but not in the cell bodies). At P14 (the 14th da...

Kleene algebra (KA) is the algebra of regular events. Familiar examples of Kleene algebras include regular sets, relational algebras, and trace algebras. A Kleene algebra with tests (KAT) is a Kleene algebra with an embedded Boolean subalgebra. The addition of tests allows one to encode while programs as KAT terms, thus the equational theory of KAT can express (propositional) program equivalenc...

Kleene algebra with tests (KAT) is an equational system for program verification, which is the combination of Boolean algebra (BA) and Kleene algebra (KA), the algebra of regular expressions. In particular, KAT subsumes the propositional fragment of Hoare logic (PHL) which is a formal system for the specification and verification of programs, and that is currently the base of most tools for che...

SUMMARY GABI-Kat SimpleSearch is a database of flanking sequence tags (FSTs) of T-DNA mutagenized Arabidopsis thaliana lines that were generated by the GABI-Kat project. Sequences flanking the T-DNA insertion sites were aligned to the A.thaliana genome sequence, annotated with information about the FST, the insertion site and the line from which the FST was derived. A web interface permits text...

We previously have described a mouse model for polycystic kidney disease (PKD) caused by either of two mutations, kat or kat(2J), that map to the same locus on chromosome 8. The homozygous mutant animals have a latent onset, slowly progressing form of PKD with renal pathology similar to the human autosomal-dominant PKD. In addition, the mutant animals show pleiotropic effects that include facia...

the prenatal development of the cerebral cortex, were shown here to express kynurenine aminotransferase (KAT)-I from embryonic day (E) 16 until postnatal day (P) 7 in the rat. No other cells of brain tissue exerted KAT-I immunoreactivity during this period. From P3 on, the neurons of the subplate gave rise to KAT-I immunoreactive, varicose axons, which entered the thalamus and terminated around...

We formalise Kleene algebra with tests (KAT) and demonic refinement algebra (DRA) in Isabelle/HOL. KAT is relevant for program verification and correctness proofs in the partial correctness setting. While DRA targets similar applications in the context of total correctness. Our formalisation contains the two most important models of these algebras: binary relations in the case of KAT and predic...

The regulation of insulin secretion from pancreatic -cells depends critically on the activities of their plasma membrane ion channels. ATP-sensitive K c h a nnels (KAT P channels) are present in many cells and regulate a variety of cellular functions by coupling cell metabolism with membrane potential. The activity of the KAT P channels in pancreatic -cells is regulated by changes in the ATP an...

Kleene algebra with tests (KAT) is an equational system that combines Kleene and Boolean algebras. One can model basic programming constructs and assertions in KAT, which allows for its application in compiler optimization, program transformation and dataflow analysis. To provide semantics for KAT expressions, Kozen first introduced automata on guarded strings, showing that the regular sets of ...