Results 81 to 90 of about 6,513,935 (304)

Social Functioning Within the First Years After Pediatric Brain Tumor Diagnosis and the Relationship With Family Psychosocial Risk

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Survivors of pediatric brain tumors (PBTs) can experience long‐term social difficulties, impacting quality of life. Beyond medical and environmental factors, family psychosocial risk may play a role in social outcomes by shaping the caregiving environment and may provide intervention options.
Renske H. Houben, Marisa H. Huisman, Martha A. Grootenhuis, Femke K. Aarsen, Marita Partanen   +4 more
wiley   +1 more source

Comparing Tag Scheme Variations Using an Abstract Machine Generator [PDF]

, 2008
In this paper we study, in the context of a WAM-based abstract machine for Prolog, how variations in the encoding of type information in tagged words and in their associated basic operations impact performance and memory usage.
Morales Caballero, José Francisco, Hermenegildo, Manuel V., Carro Liñares, Manuel, José F. Morales, Manuel Hermenegildo, Manuel Carro   +5 more
core   +1 more source

Effectiveness of Resistance Intradialytic Exercise Compared to Aerobic Intradialytic Exercise for Patients With Chronic Kidney Disease: A Randomized Controlled Clinical Trial

Therapeutic Apheresis and Dialysis, EarlyView.
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, Gisela Cristiane Miyamoto, Daniel da Costa Torres, Ian Setubal Reis Chaves, Jonas do Carmo Paschoalin, Braúlio Lima Nascimento, Luciana Dias Chiavegato   +6 more
wiley   +1 more source

Serum Myonectin Levels Are Positively Associated With Physical Function and Lower Frailty‐Related Limitation in Maintenance Hemodialysis Patients: A Cross‐Sectional Study

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Background Maintenance hemodialysis (MHD) patients frequently suffer from frailty, characterized by reduced physical function and poor prognosis. Myokines, such as myonectin, secreted by muscle, are emerging regulators of systemic health. This study investigated the relationship between serum myonectin, adipokines (adiponectin, omentin), and ...
Kenichi Kono, Yoshifumi Moriyama, Koji Ohashi, Naoya Otaka, Minako Tatsumi, Toyoaki Murohara, Noriyuki Ouchi, Satoru Oshima   +7 more
wiley   +1 more source

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language [PDF]

Logical Methods in Computer Science
We introduce an extension of first-order logic that comes equipped with additional predicates for reasoning about an abstract state. Sequents in the logic comprise a main formula together with pre- and postconditions in the style of Hoare logic, and the ...
Thomas Powell
doaj   +1 more source

Abstract Interpretation with Specialized Definitions [PDF]

, 2006
The relationship between abstract interpretation and partial evaluation has received considerable attention and (partial) integrations have been proposed starting from both the partial evaluation and abstract interpretation perspectives. In this work we present what we argüe is the first generic algorithm for efñcient and precise integration of ...
Puebla Sánchez, Alvaro Germán, Albert Albiol, Elvira, Hermenegildo, Manuel V.   +2 more
openaire   +3 more sources

Comparative Evaluation of Hemodiafiltration, Hemoperfusion, and Standard Hemodialysis on Efficacy, Inflammatory Control, Dialysis Adequacy, and Safety in End‐Stage Renal Disease: A Prospective Observational Study

Therapeutic Apheresis and Dialysis, EarlyView.
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, Weisi Dai, Jie Mao, Mei Ye, Xingshan Lu, Xiaocui Zhang   +5 more
wiley   +1 more source

Abstracting Denotational Interpreters

CoRR
Preprint; submitted to POPL ...
Sebastian Graf 0004, Simon Peyton Jones, Sven Keidel   +2 more
openaire   +3 more sources

Abstracting Definitional Interpreters

CoRR, 2017
In this functional pearl, we examine the use of definitional interpreters as a basis for abstract interpretation of higher-order programming languages. As it turns out, definitional interpreters, especially those written in monadic style, can provide a nice basis for a wide variety of collecting semantics, abstract interpretations, symbolic executions,
David Darais, Nicholas Labich, Phuc C. Nguyen, David Van Horn   +3 more
openaire   +3 more sources

Forecasting the Dialysis Burden in Japan: Validation‐Based Projections of Prevalence and Incidence Through 2050

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Background Japan has one of the highest dialysis prevalence rates worldwide and a shrinking, aging population. Whether dialysis burden has entered a sustained post‐peak phase or whether recent declines partly reflect pandemic‐related disruptions remains uncertain.
Hatice Şahin, Berrak Itır Aylı, Nüket Paksoy   +2 more
wiley   +1 more source