objective(s): the aim of study was to determine history of genitourinary diseases in war related bilateral lower limb amputees who were injured during iran-iraq war (1980-1988).   methods: subjects with war related bilateral lower limb amputation (335 persons) were examined by two physicians for any history of genitourinary diseases and their documents were reviewed.   results: the mean age was...

introduction sialolithiasis is the most common disease of salivary glands. sialography is particularly important for the assessment of the outflow tract and in diagnosing obstructive salivary gland lesions including calculi. case presentation we report on a 38-year-old female with sialolithiasis whom had wharton’s duct perforation, complicating the sialography. she was treated conservatively wi...

2 General theory 3 2.1 Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2.2 Some logical calculi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.2.1 Sequent and tableau calculi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.2.2 Resolution calculi . . . . . . . . . . . . . . . . . . . . . ...

We propose several calculi for explicit type passing that enable us to formalize compilation of polymorphic programming languages like ML as phases of type preserving translations In our calculi various manipulations for type parameters can be expressed without typing problems this is impossible in the polymorphic calculi Furthermore we develop the translation from an explicit typed source calc...

We show that the bicovariant first order differential calculi on a factorisable semisimple quantum group are in 1-1 correspondence with irreducible representations V of the quantum group enveloping algebra. The corresponding calculus is constructed and has dimension dimV 2. The differential calculi on a finite group algebra CG are also classified and shown to be in correspondence with pairs con...

Percutaneous nephrostolithotomy (PCNL) constitutes first line therapy for large and complex renal calculi. However, retained calculi generated by intracorporeal lithotripsy remain a concern because of their potential for growth and future symptoms. Liberal use of flexible nephroscopy identifies residual calculi and increases stone free rates. However, historically the sensitivity of radiographi...

Equality of expressions in lambda-calculi, higher-order programming languages, higher-order programming calculi and process calculi is defined as alpha-equivalence. Permutability of bindings in let-constructs and structural congruence axioms extend alpha-equivalence. We analyse these extended alpha-equivalences and show that there are calculi with polynomial time algorithms, that a multiple-bin...

The methodology of fibring is a successful framework for combining logical systems based on combining their semantics. In this paper, we extend the fibring approach to calculi for logical systems: we describe how to uniformly construct a sound and complete tableau calculus for the combined logic from calculi for the component logics. We consider semantic tableau calculi that satisfy certain con...

m alizade [1] , md mr mohammadi fallah [2] , md m shokoohi [3] , md ah sharafi [4] , mdm maghsudi [5] , md  received: 23 dec, 2007 accepted: 12 april, 2008 abstract  background &aims; : impacted distal ureteral stone have always been controversial on the choice of treatment. this study aims to evaluate the effect of tamsulosin (non selective alpha 1-blocker) in medical expulsion therapy of dist...

background a review of the related medical journals indicates that there is no definite evidence-based option for managing large proximal ureteral stones, although many procedures such as transureteral lithotripsy (tul), shock wave lithotripsy (swl), percutaneous nephrolithotripsy, laparoscopic ureterolithotomy, and open ureterolithotomy are currently used to treat this urological problem. obje...