Regression in Modal Logic

In this work we propose an encoding of Reiter’s Situation Calculus solution to the frame problem into the framework of a simple multimodal logic of actions. In particular we present the modal counterpart of the regression technique. This gives us a theorem proving method for a relevant fragment of our modal logic

Inhibition of radiation induced migration of human head and neck squamous cell carcinoma cells by blocking of EGF receptor pathways

<p>Abstract</p> <p>Background</p> <p>Recently it has been shown that radiation induces migration of glioma cells and facilitates a further spread of tumor cells locally and systemically. The aim of this study was to evaluate whether radiotherapy induces migration in head and neck squamous cell carcinoma (HNSCC). A further aim was to investigate the effects of blocking the epidermal growth factor receptor (EGFR) and its downstream pathways (Raf/MEK/ERK, PI3K/Akt) on tumor cell migration in vitro.</p> <p>Methods</p> <p>Migration of tumor cells was assessed via a wound healing assay and proliferation by a MTT colorimeritric assay using 3 HNSCC cell lines (BHY, CAL-27, HN). The cells were treated with increasing doses of irradiation (2 Gy, 5 Gy, 8 Gy) in the presence or absence of EGF, EGFR-antagonist (AG1478) or inhibitors of the downstream pathways PI3K (LY294002), mTOR (rapamycin) and MEK1 (PD98059). Biochemical activation of EGFR and the downstream markers Akt and ERK were examined by Western blot analysis.</p> <p>Results</p> <p>In absence of stimulation or inhibition, increasing doses of irradiation induced a dose-dependent enhancement of migrating cells (p < 0.05 for the 3 HNSCC cell lines) and a decrease of cell proliferation (p < 0.05 for the 3 HNSCC cell lines). The inhibition of EGFR or the downstream pathways reduced cell migration significantly (almost all p < 0.05 for the 3 HNSCC cell lines). Stimulation of HNSCC cells with EGF caused a significant increase in migration (p < 0.05 for the 3 HNSCC cell lines). After irradiation alone a pronounced activation of EGFR was observed by Western blot analysis.</p> <p>Conclusion</p> <p>Our results demonstrate that the EGFR is involved in radiation induced migration of HNSCC cells. Therefore EGFR or the downstream pathways might be a target for the treatment of HNSCC to improve the efficacy of radiotherapy.</p

Gravitational clustering of relic neutrinos and implications for their detection

We study the gravitational clustering of big bang relic neutrinos onto existing cold dark matter (CDM) and baryonic structures within the flat $\Lambda$CDM model, using both numerical simulations and a semi-analytical linear technique, with the aim of understanding the neutrinos' clustering properties for direct detection purposes. In a comparative analysis, we find that the linear technique systematically underestimates the amount of clustering for a wide range of CDM halo and neutrino masses. This invalidates earlier claims of the technique's applicability. We then compute the exact phase space distribution of relic neutrinos in our neighbourhood at Earth, and estimate the large scale neutrino density contrasts within the local Greisen--Zatsepin--Kuzmin zone. With these findings, we discuss the implications of gravitational neutrino clustering for scattering-based detection methods, ranging from flux detection via Cavendish-type torsion balances, to target detection using accelerator beams and cosmic rays. For emission spectroscopy via resonant annihilation of extremely energetic cosmic neutrinos on the relic neutrino background, we give new estimates for the expected enhancement in the event rates in the direction of the Virgo cluster.Comment: 38 pages, 8 embedded figures, iopart.cls; v2: references added, minor changes in text, to appear in JCA

Efficacy and safety of avapritinib in advanced systemic mastocytosis:interim analysis of the phase 2 PATHFINDER trial

Advanced systemic mastocytosis (AdvSM) is a rare, KIT D816V-driven hematologic neoplasm characterized by mast cell infiltration and shortened survival. We report the results of a prespecified interim analysis of an ongoing pivotal single-arm phase 2 trial (no. NCT03580655) of avapritinib, a potent, selective KIT D816V inhibitor administered primarily at a once-daily starting dose of 200 mg in patients with AdvSM (n = 62). The primary endpoint was overall response rate (ORR). Secondary endpoints included mean baseline change in AdvSM–Symptom Assessment Form Total Symptom Score and quality of life, time to response, duration of response, progression-free survival, overall survival, changes in measures of disease burden and safety. The primary endpoint was successfully met (P = 1.6 × 10(-9)), with an ORR of 75% (95% confidence interval 57–89) in 32 response-evaluable patients with AdvSM who had sufficient follow-up for response assessment, including 19% with complete remission with full or partial hematologic recovery. Reductions of ≥50% from baseline in serum tryptase (93%), bone marrow mast cells (88%) and KIT D816V variant allele fraction (60%) were observed. The most frequent grade ≥3 adverse events were neutropenia (24%), thrombocytopenia (16%) and anemia (16%). Avapritinib demonstrated a high rate of clinical, morphological and molecular responses and was generally well tolerated in patients with AdvSM

Global Classification of Mast Cell Activation Disorders:An ICD-10-CM–Adjusted Proposal of the ECNM-AIM Consortium

Mast cell activation (MCA) is common and occurs in a number of pathologic conditions, including IgE-dependent and independent allergic reactions, atopic disorders, autoimmune processes, and mastocytosis. In a subset of patients, no underlying disease and no known trigger of MCA are found. When the symptoms are severe, systemic, and recurrent, and accompanied by a diagnostic increase in the serum tryptase level or other mast cell mediators, an MCA syndrome (MCAS) may be diagnosed. In these patients, the symptoms typically respond to drugs suppressing MCA, mediator production in mast cells, or mediator effects. In each case, diagnostic consensus criteria must be fulfilled to diagnose MCAS. In other patients, MCA may be local, less severe, or less acute, or may be suspected but not confirmed, so that the diagnostic criteria of MCAS are not fulfilled. In these patients, it may be difficult to prove MCA, for example, by measuring multiple mast cell mediators or basophil activation, the latter as a surrogate of IgE-dependent hypersensitivity. However, validated diagnostic criteria for implicating suspected MCA behind such conditions are lacking, even if some of these conditions have recently been assigned to an International Classification of Diseases-10-Clinical Modification code (ICD-10-CM). In this article, we discuss diagnostic features and criteria and propose a ICD-10-CM–adjusted classification for disorders associated with MCA, herein referred to as MCA disorders (MCADs), with special emphasis on the delineation between confirmed MCAS, MCAD not fulfilling MCAS criteria, and suspected MCAD that is not present. In addition, we discuss the discrimination between overt MCAD and predisposing conditions, such as atopic states, mastocytosis, and hereditary alpha tryptasemia.</p

Refined treatment response criteria for indolent systemic mastocytosis proposed by the ECNM-AIM consortium

Indolent systemic mastocytosis (ISM) has a favorable prognosis and normal life expectancy. However, many patients suffer from mast cell (MC) mediator-related symptoms, which significantly affect quality of life (QoL). Cutaneous, gastrointestinal, and neurological complaints, musculoskeletal pain, and the presence of skin lesions, anaphylaxis, and osteoporosis are the main symptoms and signs in ISM and must be assessed in all patients before and during treatment. Validated mastocytosis-specific patient-reported outcome measures (PROMs) should be used for this purpose. Serum tryptase and KIT D816V allele burden are recommended as secondary outcome parameters, noting that they do not reflect the severity of signs, symptoms, and related QoL impairment, but indirectly express MC burden. Changes from baseline of 90%, 60%, and 30% indicate complete response >90%, major response 60% to 90%, partial response 30% to 60%, and no response <30% to treatment. To conclude, we recommend the use of PROMs as primary outcome parameters to define treatment response in patients with ISM in clinical trials and in everyday clinical practice.M. C. Carter, J. J. Lyons, and D. D. Metcalfe were supported by the Division of Intramural Research, National Institutes of Allergic and Infectious Diseases, and National Institutes of Health. M. Niedoszytko was supported by the Medical University of Gdansk grant 02-0141/07/231. P. Valent was supported by the Austrian Science Fund (FWF) grant # P32470-B