Results 41 to 50 of about 57,059 (300)
Correctness of copy in calculi with letrec, case and constructors [PDF]
Call-by-need lambda calculi with letrec provide a rewritingbased operational semantics for (lazy) call-by-name functional languages. These calculi model the sharing behavior during evaluation more closely than let-based calculi that use a fixpoint ...
Schmidt-Schauß, Manfred
core
ABSTRACT Background Cytomegalovirus (CMV) is a recognized trigger of immune thrombocytopenia (ITP); however, its incidence and impact on disease course in children remain controversial. Therefore, we aimed to characterize the clinical course of pediatric patients with CMV‐associated ITP.
Oded Gilad +9 more
wiley +1 more source
ABSTRACT Background Patients with chronic kidney disease undergoing hemodialysis commonly experience reduced physical function, fatigue, poor sleep quality, and impaired health‐related quality of life. Intradialytic exercise has been proposed as a non‐pharmacological strategy to improve these outcomes.
Klebson da Silva Almeida +6 more
wiley +1 more source
ABSTRACT Background Chronic micro‐inflammation in patients with end‐stage renal disease (ESRD) is a significant driver of cardiovascular complications and diminished quality of life. While standard hemodialysis (SHD) effectively manages small‐molecule clearance, its ability to remove medium‐to‐large uremic toxins—the primary catalysts of systemic ...
Hongwei Zuo +5 more
wiley +1 more source
Pathogenesis and prevention of residual gall bladder: Report of three cases and review of literature
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
ABSTRACT Introduction This final analysis of a multicenter, prospective postmarketing surveillance study evaluated the safety of daprodustat in patients with chronic kidney disease anemia in routine clinical practice in Japan. Methods Patients who initiated daprodustat between September 2020 and July 2022 were registered.
Tadao Akizawa +7 more
wiley +1 more source
A uniform definition of stochastic process calculi [PDF]
We introduce a unifying framework to provide the semantics of process algebras, including their quantitative variants useful for modeling quantitative aspects of behaviors.
De Nicola, Rocco +8 more
core +1 more source
ABSTRACT Introduction Peritoneal dialysis (PD) is an established home‐based kidney replacement therapy (KRT), but its uptake remains low in Japan. We evaluated whether individualized education in a dedicated outpatient clinic was associated with the initiation of PD.
Yasuko Ito +7 more
wiley +1 more source
Percutaneous intervention of large bladder calculi in neuropathic voiding dysfunction
PURPOSE: To report our results and rationale for treating large bladder calculi in patients with neuropathic voiding dysfunction (NVD) using percutaneous cystolithalopaxy.
Chad P. Hubsher, Joseph Costa
doaj +1 more source
Gender and side distribution of urinary calculi using ultrasound imaging
Introduction: Urinary calculi constitute a significant medical problem worldwide. Due to lack of previous studies on gender and side distribution of urinary calculi, the current study was conducted. Patients and Methods: This retrospective study involved
Sultan Abdulwadoud Alshoabi +5 more
doaj +1 more source

