Results 31 to 40 of about 13,047 (268)
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Background Therapeutic apheresis (TA) is an established treatment modality for hematologic, neurologic, and immunologic disorders, yet access remains severely limited in sub‐Saharan Africa. Donor apheresis, including platelet apheresis collection from healthy donors, represents an important complementary modality supporting blood product ...
Nosa Bazuaye +33 more
wiley +1 more source
LogisticsBackground: Urban mobility management faces growing challenges that require the analysis and optimization of sustainable solutions. Digital twins (DTs) have emerged as innovative tools for this assessment, but their implementation requires standardized ...
Andrea Grotto +3 more
doaj +1 more source
Algebraization Levels in the Study of Probability
Mathematics, 2021 The paper aims to analyze how the different degrees of mathematical formalization can be worked in the study of probability at non-university educational levels.
María Burgos +2 more
doaj +1 more source
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 +5 more
wiley +1 more source
Revista Iberoamericana de Estudios de DesarrolloIt is common to find «informal ownership» in Latin America in the context of illegal takings. Human settlements in Peru, favelas in Brazil, or camps in Chile, in all cases, a group of people builds land rights outside the law.
Guillermo Arribas
doaj +1 more source
Mathematics, 2023 The increasing significance of theorem proving-based formalization in mathematics and computer science highlights the necessity for formalizing foundational mathematical theories. In this work, we employ the Coq interactive theorem prover to methodically
Dakai Guo, Wensheng Yu
doaj +1 more source
Modelling stem cell differentiation related processes—A practical overview for biologists
FEBS Letters, EarlyView.Stem cell differentiation is complex and difficult to control experimentally. This review introduces suitable computational modelling approaches that can support stem cell research, from mechanistic ODE and abstract models to multiscale and deep learning methods.
Ricco Zeegelaar +4 more
wiley +1 more source
Judging by the Rules? The emergence of evaluation practices
Valuation StudiesHow does evaluation work differently, and how do evaluation practices emerge, in different contexts? Drawing on a mixed-methods study of evaluation in figure skating and classical music, I discuss the divergent evaluative cultures in these settings ...
Stacy Lom
doaj +1 more source
Formalizing Calculus without Limit Theory in Coq
Mathematics, 2021 Formal verification of mathematical theory has received widespread concern and grown rapidly. The formalization of the fundamental theory will contribute to the development of large projects. In this paper, we present the formalization in Coq of calculus
Yaoshun Fu, Wensheng Yu
doaj +1 more source
Mutant NPM1 in Acute Myeloid Leukemia Initiation and Maintenance
Aging and Cancer, EarlyView.NPM1 mutations drive acute myeloid leukemia by acting as neomorphic transcriptional regulators that cooperate with Menin–MLL and XPO1 to sustain HOX/MEIS1 expression and block differentiation. Targeting these mutant‐specific transcriptional dependencies provides a rational therapeutic strategy for NPM1‐mutated AML.
Yanan Jiang +3 more
wiley +1 more source