Results 11 to 20 of about 101,769 (199)
Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics [PDF]
arXiv, 2002 We present two embeddings of infinite-valued Lukasiewicz logic L into Meyer and Slaney's abelian logic A, the logic of lattice-ordered abelian groups. We give new analytic proof systems for A and use the embeddings to derive corresponding systems for L ...
Gabbay, D., Metcalfe, G., Olivetti, N.
core +1 more source
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
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
BMC Medical Informatics and Decision Making, 2020 Background Circular RNAs (circRNAs) are those RNA molecules that lack the poly (A) tails, which present the closed-loop structure. Recent studies emphasized that some circRNAs imply different functions from canonical transcripts, and further associated ...
Yidan Wang +6 more
doaj +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
Urology Annals, 2022 Purpose: Xanthogranulomatous pyelonephritis (XGP) is a chronic and severe infection of the kidney. We aimed to review the main clinical, imaging, and histological findings and to assess predictors of surgical complications or hospitalization >10 days (no
João Sakuray Pais +6 more
doaj +1 more source
On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics [PDF]
, 2021 This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting's nested calculi naturally arise from their corresponding labelled calculi--for each of the ...
arxiv +1 more source
Single-session ureteroscopic pneumatic lithotripsy for the management of bilateral ureteric stones
International Brazilian Journal of Urology, 2012 PURPOSE: In nowadays there is no consensus on single-session ureteroscopic lithotripsy (URSL) for the management of bilateral ureteric stones. The aim of this study was to evaluate efficacy and safety of single-session URSL in patients with bilateral ...
Kenan Isen
doaj +1 more source
Impact of COVID‐19 pandemic on patients with obstructing urinary stones complicated by infection
BJUI Compass, 2022 Objective To assess the influence of COVID‐19‐imposed life changes on presentation and outcomes of patients with obstructing urinary stones complicated by infection.
Haim Herzberg +7 more
doaj +1 more source