Results 31 to 40 of about 1,198,194 (286)

A Calculus of Mobile Resources

, 2002
We introduce a calculus of Mobile Resources (MR) tailored for the design and analysis of systems containing mobile, possibly nested, computing devices that may have resource and access constraints, and which are not copyable nor modifiable per se.
Godskesen, J.Chr., Hildebrandt, T., Jens Chr Godskesen, Jens Christian Godskesen, Jens Chr. Godskesen, Vladimiro Sassone, Thomas Hildebrandt, Thomas Hildebr, Sassone, V.   +8 more
core   +1 more source

Machine-checked Proof of the Church-Rosser Theorem for the Lambda Calculus Using the Barendregt Variable Convention in Constructive Type Theory

Workshop on Logical and Semantic Frameworks with Applications, 2018
In this article we continue the work started in [Ernesto Copello, Alvaro Tasistro, Nora Szasz, Ana Bove, and Maribel Fernandez. Alpha-structural induction and recursion for the λ-calculus in constructive type theory.
Ernesto Copello, Nora Szasz, Álvaro Tasistro   +2 more
semanticscholar   +1 more source

Hospitalization Through Families’ Eyes: Comparing Inpatient Care Quality for Children With Sickle Cell Disease and Cystic Fibrosis in Canada

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Sickle cell disease (SCD) is a chronic, inherited hemoglobinopathy that requires frequent hospitalization for disease‐related complications. Canadian data on inpatient care is limited. This study compared caregiver‐reported hospital experiences of children with SCD to those with cystic fibrosis (CF), a chronic, autosomal recessive ...
Hailey M. Zwicker, Kyle Kemp, Perri Tutelman, Sharon H. J. Hou, Paul Fairie, Maria Santana, Gregory M. T. Guilcher, Taryn Fay‐McClymont, Glenda Bendiak, Wendy Pelletier, Nicola Wright, Fiona Schulte   +11 more
wiley   +1 more source

Venous Thromboembolism in Pediatric Bone Sarcoma Patients: A 10‐Year, Single‐Institution Experience Encompassing the COVID‐19 Pandemic

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Osteosarcoma (OS) and Ewing sarcoma (EWS) are the most common primary bone cancers in children, but acute thrombosis is poorly characterized in this population. Our study evaluated the rates of venous thromboembolism (VTE) and associated risk factors in pediatric patients with bone sarcomas treated over a 10‐year period encompassing
Sarah Kappa, Shou Xu, Mark Zobeck, Sarah E. Sartain, Nino Rainusso, Lisa Wang, Nicole Montgomery, Paige Wheaton, Sarah Whittle   +8 more
wiley   +1 more source

Deep Sequencing of FLT3‐ITD Enables Response Evaluation and Post‐Treatment Monitoring in Childhood AML: An Exploratory Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background An internal tandem duplication in the gene encoding Fms‐like tyrosine kinase 3 (FLT3‐ITD) is associated with high relapse risk and poor prognosis in acute myeloid leukemia (AML) and plays a crucial role in treatment decisions. Measurable residual disease (MRD) analysis of FLT3‐ITD during and after treatment has shown prognostic ...
Sofie Johansson Alm, Bea Tornberg, Erik Delsing Malmberg, Henrik Hasle, Kristian Løvvik Juul‐Dam, Lars Palmqvist, Borhan R. Saeed, Giti Shah Barkhordar, Anastasia Soboli, Anna Staffas, Jonas Abrahamsson, Linda Fogelstrand   +11 more
wiley   +1 more source

Time Toxicity in Wilms Tumor: Quantifying the Burden of Healthcare Interaction in the First Year After Diagnosis

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Wilms tumor (WT) treatment imposes a significant time burden on patients and their families. Time toxicity is a patient‐centered metric that quantifies the burden of healthcare interaction. We sought to define time toxicity in the first year after diagnosis of WT and hypothesized that it would increase as tumor stage and treatment ...
Caleb Q. Ashbrook, Veerain Gupta, Nicholas J. Clark, Vijay Rings, Lauren E. Corona, Douglass B. Clayton, Daniel J. Benedetti   +6 more
wiley   +1 more source

Graphical Encoding of a Spatial Logic for the pi-Calculus

, 2007
This paper extends our graph-based approach to the verification of spatial properties of π-calculus specifications. The mechanism is based on an encoding for mobile calculi where each process is mapped into a graph (with interfaces) such that the ...
Gadducci, Fabio, Lluch-Lafuente, Alberto, Lluch Lafuente, Alberto, Alberto Lluch Lafuente, Fabio Gadducci   +4 more
core   +1 more source

Heterogeneity in the Global Practice of Central Nervous System Staging in Pediatric Acute Lymphoblastic Leukemia

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Central nervous system (CNS) involvement in childhood acute lymphoblastic leukemia (ALL) is assessed by cell counting and cytomorphology from cerebrospinal fluid (CSF) and is used for treatment stratification worldwide. The ratio of “CNS2” patients in clinical trials ranges from 3% to 40%, with unclear prognostic significance ...
Laura Almási, Bernadett Borbála Huszti, Gábor Barna, Marko Kavcic, Janez Jazbec, Lennart Lenk, Vera Münch, Sophia Polychronopoulou, Ágnes Márk, Maria Thastrup, Lüder H. Meyer, Kjeld Schmiegelow, Cornelia Eckert, Christina Halsey, Dániel J. Erdélyi   +14 more
wiley   +1 more source

Dietary Protein Intake and Peritoneal Protein Losses in Peritoneal Dialysis Patients

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Introduction Peritoneal dialysis (PD) patients lose protein in their waste dialysate, potentially increasing their risk for malnutrition. We wished to determine whether there was any association between losses and dietary protein intake (DPI). Methods DPI was assessed from 24‐h dietary recall using Nutrics software.
Haalah Shaaker, Andrew Davenport
wiley   +1 more source

Discrete Exterior Calculus [PDF]

, 2003
This thesis presents the beginnings of a theory of discrete exterior calculus (DEC). Our approach is to develop DEC using only discrete combinatorial and geometric operations on a simplicial complex and its geometric dual.
Hirani, Anil Nirmal
core   +1 more source