Results 41 to 50 of about 173,804,276 (284)

A Model-Constructing Satisfiability Calculus [PDF]

, 2013
We present a new calculus where recent model-based decision procedures and techniques can be justified and combined with the standard DPLLT approach to satisfiability modulo theories. The new calculus generalizes the ideas found in CDCL-style propositional SAT solvers to the first-order setting.
Leonardo Mendonça de Moura, Dejan Jovanovic   +1 more
openaire   +1 more source

“We Cannot Talk as a Family”: Complexities of Survivorship Communication Among Hispanic/Latino Young Adult Survivors of Childhood Cancer, Parents, and Clinicians

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Young adult childhood cancer survivors (YA‐CCS) have an increased risk of treatment‐related health complications throughout their lives. Lifelong survivorship care is recommended, yet many YA‐CCS experience disruptions in care during pediatric‐to‐adult transitions and do not receive recommended survivorship care.
Kevin Shanchen Pu, Nicole Fernández‐Viña, Briana C. Martin‐Villa, Daniela Ramirez, Rebecca M. Lewinsohn, Mary Smith, Heidi Boynton, Lidia Schapira, Stephanie M. Smith   +8 more
wiley   +1 more source

Introduction to the Calculus of Inductive Constructions [PDF]

, 2015
International audienceThis paper gives an introduction to the Calculus of Inductive Constructions, the formalism behind the Coq proof assistant. We present the language and the typing rules, starting with the pure functional part and then introducing the
Paulin-Mohring, Christine
core   +2 more sources

Identifying Patterns of Hospitalizations Among Childhood Cancer Survivors: A Population‐Based Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Childhood cancer survivors (CCSs) experience more hospitalizations than the general population. We aimed to identify distinct hospitalization patterns among Queensland CCSs and the associated characteristics. Methods Cases (aged ≤14 years) diagnosed between 1995 and 2019 while residents of Queensland were identified through the ...
Hai Pham, Teyl Engstrom, Peter Baade, Natalie Bradford, Sarah Pont, Louise Marquart‐Wilson, Natasha Nassar, Jason D. Pole   +7 more
wiley   +1 more source

Impact of Initial Treatment Setting on Survival in Relapsed Pediatric and AYA Bone Sarcomas: A Secondary Analysis of a Prospective Clinical Trial

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Outcomes in relapsed or refractory pediatric and AYA bone sarcomas remain poor, and the impact of early referral to specialized sarcoma centers on survival is unclear. Early centralization of care may improve local and systemic treatment quality, but evidence in this population is limited.
Justyna Antoniuk‐Majchrzak, Katarzyna Bilska, Tomasz Koziński, Jadwiga Węcławek‐Tompol, Dorota Sega‐Pondel, Radosław Chaber, Wanda Badowska, Katarzyna Rosłan, Hanna Koseła‐Paterczyk, Anna Raciborska   +9 more
wiley   +1 more source

Uncovering Inequities: The Role of Social Determinants of Health in Hospitalized Adolescents and Young Adults With Heavy Menstrual Bleeding

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Heavy menstrual bleeding (HMB) is a common condition among adolescents and young adults (AYAs) and is the leading cause of iron deficiency anemia (IDA) in this population. Growing evidence suggests that social determinants of health (SDOH) influence menstrual bleeding patterns, access to care, and treatment. However, no studies have
Maria Carter‐Febres, Cristina Tarango, Ashley Childress, Chunyan Liu, Evan Thomas, Jennifer Pomales, Eric S. Mullins   +6 more
wiley   +1 more source

Towards an Implicit Calculus of Inductive Constructions. Extending the Implicit Calculus of Constructions with Union and Subset Types.

, 2009
International audienceWe present extensions of Miquel's Implicit Calculus of Constructions (ICC) and Barras and Bernardo's decidable Implicit Calculus of Constructions (ICC*) with union and subset types.
Bernardo, Bruno
core   +2 more sources

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

CoqInE : Translating the calculus of inductive constructions into the ??-calculus modulo.

, 2012
We show how to translate the Calculus of Inductive Constructions (CIC) as implemented by Coq into the ??-calculus modulo, a proposed common backend proof format for heterogeneous proof ...
Boespflug, Mathieu, Burel, Guillaume
core   +1 more source

EXPTIME tableaux for the coalgebraic mu-calculus [PDF]

, 2011
The coalgebraic approach to modal logic provides a uniform framework that captures the semantics of a large class of structurally different modal logics, including e.g. graded and probabilistic modal logics and coalition logic.
Pattinson, Dirk, Cirstea, Corina, Kupke, Clemens   +2 more
core   +4 more sources