Costus speciosus (Koen) J.E. Sm. plant and its extracts are used for treatment of fever, snake bites, jaundice, and as a purgative, astringent and antibacterial agent. In the present study, an attempt has been made to evaluate in vitro antioxidant activity of different extracts of this plant by DPPH radical scavenging activity, total antioxidant capacity, nitric oxide scavenging activity, ion c...

Buxus wallichiana Baill, belongs to family Buxaceae. Traditionally Buxus wallichiana is used as bittertonic, diaphoretic, anti-rheumatic, vermifuge, antihelmentic, analgesic, purgative, diuretic, antiepileptic, antileprotic and in hemorrhoids. Th is paper deals with the macroscopic, microscopic and powdered studies of Buxus wallichiana wood, along with this physical constants like ash values an...

The new fadts contained in this paper relate either to the chemical properties of this double fait, or to its ufe as a purgative. It appears that M. Lavoifier united the acid of phofphorus with the foffil alkali, but without having fucceeded in obtaining cryftals from the combination. This compound, he fays, was gummy, gluey, and of the confidence of turpentine, &c. M. Fourcroy confirmed the re...

Acute phosphate nephropathy (APhN) following oral sodium phosphate solution (OSP) ingestion as a bowel purgative has been frequently reported. It was recently suggested that APhN could progress to chronic kidney disease (CKD) and a history of APhN might be considered as one of the causes of CKD. However, there are few reports proving APhN as a cause of CKD. Here, we report a case of APhN that p...

. The usual malaria treatment with a purgative given and a cold douche over the head was orde if and when the temperature rose. ,g Next morning the temperature was 102.8?F. acted well, but some new symptoms had develop painful spasm of pharynx while attempting to swai ., anything. The throat was examined but n fLanoticed. The patient was kept under careful ?bs?vLg tion and in the afternoon the ...

This research note outlines an alternative proof of the well-foundedness of the nested multiset ordering. It is first shown that the set M∗(S) of nested multisets over a given base set S forms a cumulative type structure. Then, by exploiting the notion of sets bounded in rank, it is proved that (M∗(S), >>∗) is well-founded if and only if (S, >) is well-founded, where >>∗denotes a nested multise...

We propose extending constraint solvers with multiset variables. That is, variables whose values are multisets. Such an extension can help prevent introducing unnecessary symmetry into a model. We identify a number of different representations for multiset variables, and suggest primitive and global constraints on multiset variables. Surprisingly, unlike finite domain variables, decomposition o...

Rewriting induction (Reddy, 1990) is an automated proof method for inductive theorems of term rewriting systems. Reasoning by the rewriting induction is based on the noetherian induction on some reduction order and the original rewriting induction is not capable of proving theorems which are not orientable by that reduction order. To deal with such theorems, Bouhoula (1995) as well as Dershowit...