Results 81 to 90 of about 101,769 (199)
A termination proof of reduction in a simply typed calculus with constructors [PDF]
, 2011 The well-known proof of termination of reduction in simply typed calculi is adapted to a monomorphically typed lambda-calculus with case and constructors and recursive data types. The proof differs at several places from the standard proof. Perhaps it is
Sabel, David, Schmidt-Schauß, Manfred
core
The lithotripsy table height: a novel predictor of outcome in shockwave lithotripsy
International Brazilian Journal of Urology, 2011 BACKGROUND: Outcome of Extracorporeal Shockwave Lithotripsy (SWL) is determined by physical factors that affect stone fragmentation and clearance. PURPOSE: To evaluate the predictive value of the Lithotripsy Table Height (LTH) in SWL outcome. Lithotripsy
Enrique Ossandon +4 more
doaj +1 more source
Sequent Calculi for some subintuitionistic Logics [PDF]
arXivThis Paper investigate sequent calculi for certain weak subintuitionistic logics. We establish that weakening and contraction are height-preserving admissible for each of these calculi, and we provide a syntactic proof for the admissibility of the cut rule for most of these sequent calculi.
arxiv
Classification of Bicovariant Differential Calculi [PDF]
arXiv, 1996 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 $dim V^2$.
arxiv
New methods for the treatment of renal calculi : the St. Luke’s Hospital experience [PDF]
, 1989 The last decade has seen extraordinary advances in the management of urinary tract calculi. With the introduction of minimally invasive techniques, like percutaneus nephrolithotomy (PCN), and non-invasive ones, like extra-corporeal shock wave lithotripsy
Cutajar, L.
core
Statistical field theories deformed within different calculi
, 2010 Within framework of basic-deformed and finite-difference calculi, as well as deformation procedures proposed by Tsallis, Abe, and Kaniadakis to be generalized by Naudts, we develop field-theoretical schemes of statistically distributed fields.
Borysov, S. S. +2 more
core +1 more source
Citric Acid Loaded Hydrogel-Coated Stent for Dissolving Pancreatic Duct Calculi
GelsIn recent years, the incidence of chronic pancreatitis has increased significantly. Pancreatic calculi obstruct the pancreatic duct and induce abdominal pain in the patients. Pancreatic duct stenting is the major treatment option for chronic pancreatitis
Jing Li +4 more
doaj +1 more source
ON THE REMOVAL OF ENORMOUS VESICAL CALCULI BY THE SUPRA-PUBIC ROUTE WITH REPORT OF A RECENT SUCCESSFUL CASE [PDF]
, 1890 J. WILLIAM WHITE
openalex +1 more source
Tool support for reasoning in display calculi [PDF]
, 2016 We present a tool for reasoning in and about propositional sequent calculi. One aim is to support reasoning in calculi that contain a hundred rules or more, so that even relatively small pen and paper derivations become tedious and error prone.
Balco, Samuel +4 more
core +2 more sources