Results 51 to 60 of about 1,163,964 (293)

Retrospective Analysis of Donor Lymphocyte Infusions in Pediatric Patients With Mixed Chimerism After Hematopoietic Stem Cell Transplantation

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Allogeneic hematopoietic stem cell transplantation (alloHSCT) is an essential therapy for several malignant and nonmalignant diseases, but relapse and graft loss remain the principal threats to its success. Routine monitoring of chimerism and minimal residual disease (MRD) enables early detection of imminent recurrence and guides ...
Carmen Junk, Sebastian Michaelis, Michaela Döring, Thomas Eichholz, Ursula Holzer, Martin Ebinger, Tim Flaadt, Rupert Handgretinger, Peter Lang, Jan Frederic Weller, Markus Mezger   +10 more
wiley   +1 more source

Pediatric Idiopathic Multicentric Castleman Disease Is Often Severe But Responsive to Siltuximab

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Idiopathic multicentric Castleman disease (iMCD) is a potentially fatal immunologic disorder marked by widespread lymphadenopathy and inflammation. Siltuximab, an interleukin‐6 (IL‐6) inhibitor, is the only FDA‐approved treatment for adult patients with iMCD.
Bridget Austin, Sheila K. Pierson, Kelley C. Dacus, Mateo Sarmiento Bustamante, Saishravan Shyamsundar, Larissa Borys, Kayla McHugh, Abiola Irvine, Yoojin Jo, Adam Bagg, Mary Jo Lechowicz, Daisy Alapat, Amy Chadburn, Megan S. Lim, Gordan Srkalovic, Frits van Rhee, David C. Fajgenbaum, Joshua D. Brandstadter   +17 more
wiley   +1 more source

On the Rigorous Correspondence Between Operator Fractional Powers and Fractional Derivatives via the Sonine Kernel

Fractal and Fractional
Traditional operational calculus, while intuitive and effective in addressing problems in physical fractal spaces, often lacks the rigorous mathematical foundation needed for fractional operations, sometimes resulting in inconsistent outcomes. To address
Zelin Liu, Xiaobin Yu, Yajun Yin
doaj   +1 more source

Timed Operational Semantics and Well-Formedness of Shape Calculus [PDF]

Scientific Annals of Computer Science, 2010
The Shape Calculus is a bio-inspired calculus for describing 3D shapes moving in a space. A shape forms a 3D process when combined with a behaviour. Behaviours are specified with a timed CCS-like process algebra using a notion of channel that models ...
E. Bartocci, D.R. Cacciagrano, M.R. Di Berardini, E. Merelli, L. Tesei   +4 more
doaj  

Operational Calculus [PDF]

, 2013
The Operational Calculus is a construction used for analyzing the behavior of linear operators that arise in the study of ordinary and partial differential equations.
Sedberry, Trevor Lear
core   +1 more source

Model Checking Processes Specified In Join-Calculus Algebra

Computer Science, 2014
This article presents a model checking tool used to verify concurrent systems specified in join-calculus algebra. The temporal properties of systems under verification are expressed in CTL logic.
Sławomir Piotr Maludziński, Grzegorz Dobrowolski   +1 more
doaj   +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

Laplace Transform Methods for Bessel and Modified Bessel Equations: Theory and Applications

Axioms
This paper revisits the use of the Laplace transform in the study of Bessel and modified Bessel differential equations. Rather than presenting the method as a new alternative to the classical Frobenius approach, the paper is organized as a pedagogical ...
Osman Yürekli
doaj   +1 more source

The stack calculus [PDF]

Electronic Proceedings in Theoretical Computer Science, 2013
We introduce a functional calculus with simple syntax and operational semantics in which the calculi introduced so far in the Curry-Howard correspondence for Classical Logic can be faithfully encoded.
Alberto Carraro, Thomas Ehrhard, Antonino Salibra   +2 more
doaj   +1 more source

Provably correct Java implementations of Spi Calculus security protocols specifications [PDF]

, 2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi Calculus and a translation function are formally defined, in order to ...
Pironti, Alfredo, Sisto, Riccardo
core   +1 more source