Chetan R. Murthy

Learn More
[18] Robert Hieb and R. Kent Dybvig. Continuations and concurrency. In Proceedings of the Second ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming, pages 128{136, Seattle, Washington, March 1990. SIGPLAN Notices, Vol. 25, No. 3. [19] Pierre Jouvelot and David K. Gi ord. Reasoning about continuations with control e ects. In Proceedings(More)
We show how to interpret classical proofs as programs in a way that agrees with the well-known treatment of constructive proofs as programs and moreover extends it to give a computational meaning to proofs claiming the existence of a value satisfying a recursive predicate. Our method turns out to be equivalent t o H. Friedman’s proof by ”A-translation” of(More)
Activity levels of enzymes of glycolytic pathway viz., hexokinase (EC., phosphofructokinase (EC., aldolase (EC., glyceraldehyde-3-phosphate dehydrogenase (EC., enolase (EC., pyruvate kinase (EC. and lactate dehydrogenase (EC. were estimated in cerebral cortex, cerebellum and brainstem of the rats(More)
Binding of glutamate and muscimol (an agonist for GABAA receptors) to their respective receptors has been studied in the cerebellum of normal and hyperammonemic rats. There was a decrease in both high- and low-affinity binding of glutamate in the cerebellum during hyperammonemia. Kinetic studies revealed that the decrease is due to a reduction in the number(More)
Effects of 1 and 5 mM ammonium acetate on glucose metabolism were studied in astrocytes. But for an elevation in the levels of fructose-6-phosphate, phosphoenol pyruvate, and pyruvate, glucose metabolism was unaltered in the presence of 1 mM ammonium acetate. With 5 mM ammonium acetate, but for unaltered lactate, ADP, ATP and decreased aspartate, levels of(More)
Acute effects of intraperitoneal administration of ammonium chloride (200 mg/kg) on Na+,K+-ATPase and amino acid content of the glutamate family (glutamate, aspartate, alanine, glutamine, and GABA), as well as the enzymes involved in the metabolism of these amino acids, have been studied in the different regions of brain and liver in mice. A significant(More)
Some metabolic effects on primary cultures of neurons or astrocytes were studied following acute or chronic exposure to pathophysiological concentrations (usually 3 mM) of ammonia. Three parameters were investigated: (1) 14CO2 production from 14C-labeled substrates [glucose, pyruvate, branched-chain amino acids (leucine, valine, isoleucine), and glutamate];(More)
14CO2 production and incorporation of label into proteins from the labeled branched-chain amino acids, leucine, valine, and isoleucine, were determined in primary cultures of neurons and of undifferentiated and differentiated astrocytes from mouse cerebral cortex in the absence and presence of 3 mM ammonium chloride. Production of 14CO2 from [1-14C]leucine(More)