Results 51 to 60 of about 14,123 (265)

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

Ex vivo renal perfusion and autotransplantation in treatment of calculous disease or abdominal aortic aneurysm. [PDF]

, 1975
Two more indications are described for temporary ex vivo perfusion of kidneys with revascularization of these organs as autografts to orthotopic or heterotopic locations. One of the patients had staghorn calculi which were removed from a solitary kidney.
Belzer, Belzer, Charles G. Halgrimson, Charles W. Putnam, Corman, Creech, Dale Atkins, Debakey, Derek P. Stables, Gauke Kootstra, Guerriero, Harrison, Mehmet Haberal, Orcutt, Robert W. Beart, Ronald Pfister, Starzl, Thomas E. Starzl   +17 more
core   +1 more source

Study of ureteral and renal morphometry on the outcome of ureterorenoscopic lithotripsy: The critical role of maximum ureteral wall thickness at the site of ureteral stone impaction

Urology Annals, 2020
Purpose: The purpose is to study the association of stone, ureteral, and renal morphometric parameters with the relevant outcome variables, i.e., complication rate, stone-free rate (SFR), and operating time of ureterorenoscopic lithotripsy.
Amit Kumar Mishra, Santosh Kumar, Lalgudi Narayan Dorairajan, Ramanitharan Manikandan, G Ramkumar, K S Sreerag, Jayesh Kumar Mittal   +6 more
doaj   +1 more source

Critical Role for Transglutaminase 2 in Scleroderma Skin Fibrosis and in the Development of Dermal Sclerosis in a Mouse Model of Scleroderma

Arthritis &Rheumatology, EarlyView.
Objective Scleroderma is a life‐threatening autoimmune disease characterized by inflammation, tissue remodeling, and fibrosis. This study aimed to investigate the expression and function of transglutaminase 2 (TGM2) in scleroderma skin and experimentally induced dermal fibrosis to determine its potential role and therapeutic implications.
Angela Y. Y. Tam, Korsa Khan, Shiwen Xu, Marianne Bergin, Linghong Huang, Erik Arroyo Colon, Danyi Cheng, Elisabetta A. M. Verderio, Voon Ong, Christopher P. Denton, John Atkinson, Tim S. Johnson, David J. Abraham   +12 more
wiley   +1 more source

THE RETROGRADE MOVEMENT OF URETERAL CALCULI [PDF]

JAMA: The Journal of the American Medical Association, 1918
The advent of the roentgen ray marks the beginning of the period which is rightly characterized as the period of accurate and intelligent treatment of ureteral calculi. The roentgen ray, while contributing so largely to the diagnosis and treatment of this condition, is also accompanied by certain sources of error, chief of which are: (1) failure to ...
openaire   +3 more sources

The accessory renal arteries: A systematic review with meta‐analysis

Clinical Anatomy, EarlyView.
Abstract The accessory renal arteries (ARAs) are a well‐described variant of the renal vasculature with clinical implications for radiologists, surgeons, and clinicians. The aim of the present systematic review with meta‐analysis was to estimate the pooled prevalence of ARAs, including their variant number, origin, and termination, and to highlight ...
George Triantafyllou, Ioannis Paschopoulos, Andrzej Węgiel, Łukasz Olewnik, George Tsakotos, Nicol Zielinska, Maria Piagkou   +6 more
wiley   +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

Clinical features and surgical options of obstructed hemivagina and ipsilateral renal agenesis (OHVIRA) syndrome: A systematic review and a meta‐analysis of prevalence

International Journal of Gynecology &Obstetrics, EarlyView.
Abstract Background OHVIRA syndrome, a urogenital malformation, lacks standardized management. Narrative reviews exist, but there is no a comprehensive meta‐analysis. Objectives The aim of this first systematic review and meta‐analysis is to evaluate the current literature and inform management strategies.
Emma Bonetti, Gloria Anderson, Simona Duranti, Federico Ferrari, Franco Odicino, Antonia Testa, Francesco Fanfani, Giovanni Scambia, Ursula Catena   +8 more
wiley   +1 more source