In this paper, we use some observations on the nature of biochemical reactions to derive interesting properties of qualitative biochemical Kripke structures. We show that these characteristics make Kripke structures of biochemical pathways suitable for assumption based distributed model checking. The number of chemical species participating in a biochemical reaction is usually bounded by a smal...

The authors report in this article an evaluation of the Rasayana effect of makradhwaja through biochemical parameters like - S.G.O.T., S.G.P.T and Blood urea along with E.C.G.

Unrealistic optimism is common among people making self-evaluations while reduced optimism has been linked to increased depressive symptoms. Given the importance of optimism for adaptive functioning, surprisingly little is known about resting brain states underlying optimistic and depressive tendencies. In the current study, two resting-state indices were used to examine neural correlates of th...

malignant peripheral nerve-sheath tumor (mpnst) is a high-grade malignant tumor of ecto-mesenchymal origin comprising approximately 10% of soft-tissue sarcomas. they tend to occur associated with neurofibromatosis or sporadically. here we report a mpnst at an extremely rare location and behavior causing disappearance of the entire kidney. patient evaluation included clinical, biochemical and ra...