Results 31 to 40 of about 101,769 (199)
Regular Calculi I: Graphical Regular Logic [PDF]
arXiv, 2021 What is ergonomic syntax for relations? In this first paper in a series of two, to answer the question we define regular calculi: a suitably structured functor from a category representing the syntax of regular logic to the category of posets, that takes each object to the poset of relations on that type.
arxiv
Rising Incidence of Hyperuricemia in Patients with Urolithiasis [PDF]
Liaquat National Journal of Primary CareBackground: Uric acid nephrolithiasis is the leading cause of kidney stones in developed countries, and it usually indicates a systemic biochemical/metabolic imbalance; however, hyperuricemia is frequently employed as an accompanying feature of gout and
Sumaiya Noor +6 more
doaj +1 more source
Projective real calculi over matrix algebras [PDF]
arXiv, 2021 In analogy with the geometric situation, we study real calculi over projective modules and show that they can be realized as projections of free real calculi. Moreover, we consider real calculi over matrix algebras and discuss several aspects of the classification problem for real calculi in this case, leading to the concept of quasi-equivalence of ...
arxiv
Concurrency Models with Causality and Events as Psi-calculi [PDF]
EPTCS 166, 2014, pp. 4-20, 2014 Psi-calculi are a parametric framework for nominal calculi, where standard calculi are found as instances, like the pi-calculus, or the cryptographic spi-calculus and applied-pi. Psi-calculi have an interleaving operational semantics, with a strong foundation on the theory of nominal sets and process algebras.
arxiv +1 more source
International Brazilian Journal of Urology, 2011 PURPOSE: Re-procedure in patients with history of open stone surgery is usually challenging due to the alteration in the retroperitoneal anatomy. The aim of this study was to determine the possible impact of open renal surgery on the efficacy and ...
Rahul Gupta +5 more
doaj +1 more source
On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions [PDF]
, 2010 Several Markovian process calculi have been proposed in the literature, which differ from each other for various aspects. With regard to the action representation, we distinguish between integrated-time Markovian process calculi, in which every action ...
Angelo Montanari +3 more
core +2 more sources
Effect of retention time on renal function and kidney size in patients with indwelling DJ tubes
Scientific ReportsThe impact of DJ tube retention time on renal function has received scant attention from researchers. Nevertheless, there is a plethora of clinical evidence indicating that protracted stent retention can result in renal insufficiency, or even renal ...
Qianhao Huang +4 more
doaj +1 more source
Pathogenesis and prevention of residual gall bladder: Report of three cases and review of literature
Archives of Medicine and Health Sciences, 2014 Cholecystectomy is a common surgery performed for uncomplicated symptomatic gall stones as a definitive procedure. For complicated cases, partial or modified subtotal cholecystectomy has been described as an easy, safe, and definitive option.
Usha Dalal +4 more
doaj +1 more source
The Undecidability of Pattern Matching in Calculi where Primitive Recursive Functions are Representable [PDF]
arXiv, 2023 We prove that the pattern matching problem is undecidable in polymorphic lambda-calculi (as Girard's system F) and calculi supporting inductive types (as G{\"o}del's system T) by reducing Hilbert's tenth problem to it. More generally pattern matching is undecidable in all the calculi in which primitive recursive functions can be fairly represented in a
arxiv
Graphical Sequent Calculi for Modal Logics [PDF]
EPTCS 243, 2017, pp. 91-103, 2017 The syntax of modal graphs is defined in terms of the continuous cut and broken cut following Charles Peirce's notation in the gamma part of his graphical logic of existential graphs. Graphical calculi for normal modal logics are developed based on a reformulation of the graphical calculus for classical propositional logic.
arxiv +1 more source