Results 1 to 10 of about 94,010 (359)
A theory of effects and resources: adjunction models and polarised calculi
ACM-SIGACT Symposium on Principles of Programming Languages, 2016 Pierre-Louis Curien +2 more
openalex +3 more sources
Frontiers in Surgery, 2021 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]
International Journal of Anatomy Radiology and Surgery, 2013 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
Journal of Translational Medicine, 2020 Thiazide diuretics reduce the risk of recurrent kidney calculi in patients with kidney calculi or hypercalciuria. However, whether thiazide diuretics can definitely prevent recurrent kidney calculi remains unclear.
Dan-feng Li +5 more
semanticscholar +1 more source
IJU Case Reports, 2023 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
Modularisation of Sequent Calculi for Normal and Non-normal Modalities [PDF]
ACM Transactions on Computational Logic, 2017 In this work, we explore the connections between (linear) nested sequent calculi and ordinary sequent calculi for normal and non-normal modal logics. By proposing local versions to ordinary sequent rules, we obtain linear nested sequent calculi for a ...
Björn Lellmann, Elaine Pimentel
semanticscholar +1 more source
Evaluation of Imaging Abnormalities of Ureter using MDCT Urography [PDF]
International Journal of Anatomy Radiology and Surgery, 2017 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
Dual-context calculi for modal logic [PDF]
Logic in Computer Science, 2016 We show how to derive natural deduction systems for the necessity fragment of various constructive modal logics by exploiting a pattern found in sequent calculi.
Alex Kavvos
semanticscholar +1 more source
A groupoid approach to pseudodifferential calculi
Journal für die Reine und Angewandte Mathematik, 2019 In this paper we give an algebraic/geometric characterization of the classical pseudodifferential operators on a smooth manifold in terms of the tangent groupoid and its natural ℝ + × {\mathbb{R}^{\times}_{+}} -action.
Erik van Erp, R. Yuncken
semanticscholar +1 more source
BJU International, 2018 To compare the safety and effectiveness of super‐mini‐percutaneous nephrolithotomy (SMP) and retrograde intrarenal surgery (RIRS) for the treatment of 1–2 cm lower‐pole renal calculi (LPC).
G. Zeng +13 more
semanticscholar +1 more source