Large programs have bugs; software engineering practices reduce the number of bugs in deployed systems by relying on a combination of unit tests, to filter out bugs in individual procedures, and system tests, to identify bugs in an integrated system. Our previous work showed how Floyd-Hoare triples, {P}C{Q}, could also be seen as unit tests, i.e. formed a link between verification and test-base...

introduction: evaluation of persistent vertigo in post infarct patients is very important as the management depends on whether the cause is purely of central origin or due to associated vestibular affliction.   case report: a patient with left sided dorsolateral medullary syndrome and persistent vestibular symptoms was evaluated. vestibular test battery showed abnormal smooth pursuit, bilateral...

conclusions results from the present study elucidated that treatment with the aqueous extract of l. citriodora leaves was well tolerated via daily ip injection at doses up to 200 mg/kg for a period of 21 days and did not produce any toxicity. the safety of l. citriodora aqueous extract was also confirmed by cell viability assay. objectives the present study evaluated the acute, subacute, and ce...

abstract background and aim: oral infections and dental caries are considered as two serious public health problems, which inflict a costly burden on health care services worldwide, especially in the developing countries. the aim of this study was to evaluate the antibacterial activity of iranian licorice aqueous root extract on lactobacillus acidophilus in comparison with chlorhexidine. materi...

acquired color deficiency in the tritan axis in parkinson’s disease has already been reported, manifesting itself as impaired performance in various visual tasks. however, its clinical significance has always been controversial. in this study we evaluated the performance of parkinson s disease patients in lanthony 15-desaturated clinical test and for the first time, compared it with the standar...