Results 1 to 10 of about 89,630 (300)
Background: ShuoTong ureteroscopy (Sotn-ureteroscopy, ST-URS), a new lithotripsy operation method developed on the basis of ureteroscopy, is widely used to treat ureteral stones in China.
Longhui Lai +17 more
doaj +1 more source
An Imaging Review on Urinary Tract Calcifications [PDF]
The urinary tract is one of the most important excretory systems in the human body. It consists of the kidneys, ureters, bladder and the urethra. The existence of calcium and other minerals in the excretory contents makes it prone to calcifications in ...
Sushil. G. Kachewar +1 more
doaj +1 more source
Introduction We encountered an extremely rare case of a vesicocutaneous fistula due to vesical diverticulitis with stones. Case presentation A 78‐year‐old male patient presented to our department with complaints of suppurative discharge in the suprapubic
Jun Akatsuka +9 more
doaj +1 more source
On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems [PDF]
This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined ...
A Ciabattoni +17 more
core +2 more sources
Evaluation of Imaging Abnormalities of Ureter using MDCT Urography [PDF]
Introduction: Computed Tomography (CT) has become the primary imaging modality for assessment of excretory system. It has essentially replaced intravenous urography as the first line imaging modality.
Vedaraju Kadaba Shamachar +3 more
doaj +1 more source
Priorities Without Priorities: Representing Preemption in Psi-Calculi [PDF]
Psi-calculi is a parametric framework for extensions of the pi-calculus with data terms and arbitrary logics. In this framework there is no direct way to represent action priorities, where an action can execute only if all other enabled actions have ...
Parrow, Joachim, Pohjola, Johannes Åman
core +7 more sources
Risks and benefits of the intercostal approach for percutaneous nephrolithotripsy
OBJECTIVE:The objective of our retrospective study was to provide evidence on the efficacy of the intercostal versus subcostal access route for percutaneous nephrolithotripsy.
Erich K. Lang +9 more
doaj +1 more source
The Basics of Display Calculi [PDF]
The aim of this paper is to introduce and explain display calculi for a variety of logics. We provide a survey of key results concerning such calculi, though we focus mainly on the global cut elimination theorem.
Eckhardt, Timo +3 more
core +2 more sources
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics [PDF]
This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics.
A Ciabattoni +15 more
core +2 more sources
PURPOSE: Patients with coagulopathy are at increased risk of peri-operative hemorrhage. The aim of the present study was to compare ureteroscopy (URS) in these high risk patients to those with normal bleeding profile.
Mohamed A. Elkoushy +2 more
doaj +1 more source

