CONTEXT The identification and evaluation of activities capable of dislodging calyceal renal calculi require a patient surrogate or validated functional pyelocalyceal renal model. OBJECTIVE To evaluate roller coaster facilitation of calyceal renal calculi passage using a functional pyelocalyceal renal model. METHODS A previously described adult ureteroscopy and renoscopy simulator (Ideal An...

It is well-known [7] that the standard formalizations of classical and intuitionistic logic based on Hilbert calculi, sequent calculi and natural deduction are equivalent. In spite of this, proof-search has been mainly developed around the notion of sequent calculi almost neglecting the cases of natural deduction and Hilbert calculi. This is primarily motivated by the fact that the latters lack...

In this paper we focus on proof methods and theorem proving for normal conditional logics, by describing nested sequent calculi as well as a theorem prover for them. Nested sequent calculi are a useful generalization of ordinary sequent calculi, where sequents are allowed to occur within sequents. Nested sequent calculi have been profitably employed in the area of (multi)-modal logic to obtain ...

 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 p...

Milner introduced action calculi as a framework for representing models of interactive behaviour. He also introduced the higher-order action calculi, which add higher-order features to the basic setting. We present type theories for action calculi and higher-order action cal-culi, and give the categorical models of the higher-order calculi. As applications , we give a semantic proof of the cons...

this is to report the case of a huge vaginal stone, and bladder calculi in a 26-year-old woman with previous operation of bladder exstrophy. it seems that the vaginal stone was secondary to the remaining wire used in her previous reconstructive surgery for pelvic closure 20 years ago and now surgery is performed to remove the vaginal and bladder stones.

PURPOSE Angiogenin is a polypeptide involved in the formation and establishment of new blood vessels necessary for growth and metastasis of numerous malignant neoplasms, including prostatic adenocarcinoma. Antiangiogenin therapy inhibits the establishment, growth, and metastasis of prostatic adenocarcinoma in animal studies. In this study, we have investigated the expression of angiogenin in pr...

PURPOSE Scrotal calculi are rare, and their clinical significance is uncertain. Scrotal pain is a frequent, hard-to-manage problem in urology clinics. Our purpose in this study was to determine the relationship between the presence of scrotal calculi and scrotal pain in a prospective manner. METHODS Sonography and color Doppler ultrasound of the scrotum were performed in 758 consecutive patie...