PURPOSE This study aimed to assess the accuracy of low-dose dual-energy computed tomography (DECT) in predicting the composition of urinary calculi. MATERIALS AND METHODS A total of 52 patients with urinary calculi were scanned with a 128-slice dual-source DECT scanner by use of a low-dose protocol. Dual-energy (DE) ratio, weighted average Hounsfield unit (HU) of calculi, radiation dose, and ...

We introduce a method to associate calculi of proof terms and rewrite rules with cut elimination procedures for logical deduction systems (i.e., Gentzen-style sequent calculi) in the case of intuitionistic logic. We illustrate this method using two different versions of the cut rule for a variant of the intuitionistic fragment of Kleene's logical deduction system G3. Our systems are in fact cal...

BACKGROUND Pyelocaliceal calculi flexible ureteroscopic approach raises problems related to operative time, associated morbidity and costs, especially by potential endoscope damage. METHODS 5 series, each of 20 patients with single pyelocaliceal lithiasis, were analyzed: Group I with calculi 1 cm fragmented to dust, Group II with calculi 1 cm with lithotripsy in fragments, Group III with calc...

We present two embeddings of in nite-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. These include: hypersequent calculi for A and L and terminating versions of these calculi; labelled single sequent calculi for A and L of comple...

Abstract The research on gradual typing has led to many variations the Gradually Typed Lambda Calculus (GTLC) of Siek & Taha (2006) and its underlying cast calculus. For example, Wadler Findler (2009) added blame tracking, et al . investigated alternate evaluation strategies, Herman (2010) replaced casts with coercions for space efficiency. meta-theory GTLC also expanded beyond type safety ...