Results 31 to 40 of about 1,382,288 (265)

Biological Transactions for Quantitative Models

Electronic Notes in Theoretical Computer Science, 2007
AbstractIn this work an extension of stochastic π-calculus with biological transactions is presented. This permits to model multi-reactant multi-product reactions as atomic actions when quantitative information are given. First, the syntax and the semantics are defined, then some transaction properties are discussed.
F. Ciocchetta, C. Priami
openaire   +3 more sources

Quantitative reactive modeling and verification [PDF]

Computer Science - Research and Development, 2013
Formal verification aims to improve the quality of software by detecting errors before they do harm. At the basis of formal verification is the logical notion of correctness, which purports to capture whether or not a program behaves as desired. We suggest that the boolean partition of software into correct and incorrect programs falls short of the ...
Henzinger, Thomas A
openaire   +2 more sources

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

Mental health spending in Colombia: an analysis of rural and urban areas

Annals of General Psychiatry
Background Mental health expenditures are increasing worldwide. In developed countries there is evidence that increased health spending is associated with improved outcomes.
Oscar Espinosa, Valeria Bejarano, Andrea Mejía, Martha-Liliana Arias, Juan-Camilo Vargas-Gonzalez, Ricardo Sanchez-Pedraza   +5 more
doaj   +1 more source

Quantitative probing: Validating causal models with quantitative domain knowledge

Journal of Causal Inference, 2023
We propose quantitative probing as a model-agnostic framework for validating causal models in the presence of quantitative domain knowledge. The method is constructed in analogy to the train/test split in correlation-based machine learning.
Grünbaum Daniel, Stern Maike L., Lang Elmar W.   +2 more
doaj   +1 more source

Quantitative modelling of sleep dynamics [PDF]

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 2011
Arousal is largely controlled by the ascending arousal system of the hypothalamus and brainstem, which projects to the corticothalamic system responsible for electroencephalographic (EEG) signatures of sleep. Quantitative physiologically based modelling of brainstem dynamics theory is described here, using realistic parameters, and links to EEG are ...
P A, Robinson, A J K, Phillips, B D, Fulcher, M, Puckeridge, J A, Roberts   +4 more
openaire   +2 more sources

Emapalumab for Immune Effector Cell‐Associated Hemophagocytic Lymphohistiocytosis‐Like Syndrome Following CD19‐Directed CAR‐T in Two Patients With B‐ALL: Clinical and Biomarker Correlates

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Immune effector cell‐associated hemophagocytic lymphohistiocytosis‐like syndrome (IEC‐HS) is a life‐threatening hyperinflammatory toxicity distinct from cytokine release syndrome (CRS) and neurotoxicity following chimeric antigen receptor T‐cell (CAR‐T) therapy. In a single‐institution retrospective cohort of pediatric and young adult patients
Thomas J. Galletta, Jeremy D. Rubinstein, Christopher E. Dandoy, Ruby Khoury, Angela Faulhaber, Christine L. Phillips, Christa Krupski   +6 more
wiley   +1 more source

Differences between male and female mortality in Colombia: a population-based analysis since 1980Research in context

The Lancet Regional Health. Americas
Summary: Background: Globally, women have consistently exhibited lower mortality and higher life expectancy than men. While this sex gap is well-documented in high-income countries, evidence from Latin America remains scarce. Colombia's history of armed
Oscar Espinosa, Adrian D. Smith, Valeria Bejarano, Johnattan García-Ruiz   +3 more
doaj   +1 more source

A quantitative model for lifespan curves [PDF]

AGE, 1989
"This paper addresses the issue of a model for the total lifespan survival curve, with particular interest in the later life or geriatric years. This new model is based upon the basic premise that the population under study is a mixture of individuals comprising three major subgroups: (1) neonatal deaths, (2) standard Gompertzian-like survival, (3 ...
openaire   +2 more sources

Opportunities for Quantitative Translational Modeling in Oncology [PDF]

Clinical Pharmacology & Therapeutics, 2020
A 2‐day meeting was held by members of the UK Quantitative Systems Pharmacology Network (<http://www.qsp‐uk.net/>) in November 2018 on the topic of Translational Challenges in Oncology. Participants from a wide range of backgrounds were invited to discuss current and emerging modeling applications in nonclinical and clinical drug development, and
Yates, JWT, Byrne, H, Chapman, SC, Chen, T, Cucurull-Sanchez, L, Delgado-SanMartin, J, di Veroli, G, Dovedi, SJ, Dunlop, C, Jena, R, Jodrell, D, Martin, E, Mercier, F, Ramos-Montoya, A, Struemper, H, Vicini, P   +15 more
openaire   +5 more sources