AIM To determine the (i) sensitivity and specificity of ultrasound (USG) in the detection of urinary tract calculi, (ii) size of renal calculi detected on USG, and (iii) size of renal calculi not seen on USG but detected on computed tomography urogram (CTU). METHODS A total of 201 patients' USG and CTU were compared retrospectively for the presence of calculi. Sensitivity, specificity, accura...

background and objectives:rapid processing of histopathological specimens and decreased turnaround time is important to fulfill the needs of clinicians treating sick patients, so the present study was conducted to compare the time taken and quality of sections in processing of prostatic tissue by rapid microwave and conventional techniques using morphometry.methods: four to five mm thick paired...

The application of process calculi theory to the modeling and the analysis of biological phenomena has recently attracted the interests of the scientific community. To this aim several specialized, bio-inspired process calculi have been proposed, but a formal comparison of their expressivity is still lacking. In this paper we present π@, an extension of the π-Calculus with priorities and polyad...

Pneumatic lithotripsy is a minimally invasive technique mainly for the treatment of urinary staghorn stones. Previous literatures have reported some therapeutic complications during or after this procedure, but calculi embolism has not been mentioned before.We report here a fatal case of calculi-induced pulmonary embolism in an adult woman who underwent pneumatic lithotripsy. An autopsy did not...

In AI a large number of calculi for efficient reasoning about spatial and temporal entities have been developed. The most prominent temporal calculi are the point algebra of linear time and Allen’s interval calculus. Examples of spatial calculi include mereotopological calculi, Frank’s cardinal direction calculus, Freksa’s double cross calculus, Egenhofer and Franzosa’s intersection calculi, an...

INTRODUCTION Following spinal cord injury, prostate undergoes atrophy probably due to interruption of neuro-hormonal pathways. The incidence of carcinoma of prostate is lower in patients with spinal cord injury above T-10 than in those with lesion below T-10. CASE PRESENTATION A Caucasian male sustained T-4 paraplegia in 1991 at the age of 59-years. He had long-term indwelling urethral cathet...

Calcium oxalate crystals are responsible for formation of urinary calculi. Traditional therapy based on plants and herbal resources have found beneficial treatment kidney stones. The present study aimed to screen antilithiatic antioxidant potential Polyalthia Longifolia leaves methanolic extract. extract was evaluated the presence secondary metabolites, total phenolic content flavonoid contents...

Even though higher-order calculi for automated theorem proving are rather old, tableau calculi have not been investigated yet. This paper presents two free variable tableau calculi for higher-order logic that use higher-order uniication as the key inference procedure. These calculi diier in the treatment of the substitutional properties of equivalences. The rst calculus is equivalent in deducti...

Earlier we introduced Constraint Lambda Calculi which integrate constraint solving with functional programming for the simple case where the constraint solver produces no more than one solution to a set of constraints. We now introduce two forms of Constraint Lambda Calculi which allow for multiple constraint solutions. Moreover the language also permits the use of disjunctions between constrai...