Generalizing Non-Punctuality for Timed Temporal Logic with Freeze Quantifiers

Metric Temporal Logic (MTL) and Timed Propositional Temporal Logic (TPTL) are prominent real-time extensions of Linear Temporal Logic (LTL). In general, the satisfiability checking problem for these extensions is undecidable when both the future U and the past S modalities are used. In a classical result, the satisfiability checking for MITL[U,S], a non punctual fragment of MTL[U,S], is shown to be decidable with EXPSPACE complete complexity. Given that this notion of non punctuality does not recover decidability in the case of TPTL[U,S], we propose a generalization of non punctuality called \emph{non adjacency} for TPTL[U,S], and focus on its 1-variable fragment, 1-TPTL[U,S]. While non adjacent 1-TPTL[U,S] appears to be be a very small fragment, it is strictly more expressive than MITL. As our main result, we show that the satisfiability checking problem for non adjacent 1-TPTL[U,S] is decidable with EXPSPACE complete complexity

Effect of supplemental Ca2+ on NaCl-stressed castor plants (Ricinus communis L.)

Greenhouse experiments were conducted to assess the effects of supplemental Ca2+ in salinised soil on germination and plant growth response of castor plant (Ricinus communis L. Var. Avani-31, Euphorbiaceae). NaCl amounting to 390 g was thoroughly mixed with soil of seven lots, of 100 kg each, to give electrical conductivity of 4.1 dS m–1. Further, Ca(NO3)2 × 4H20 to the quantity of 97.5, 195, 292.5, 390, 487.5, and 585 g was separately mixed with soil of six lots to give 1:0.25, 1:0.50, 1:0.75, 1:1, 1:1.25, and 1:1.50 Na+/Ca2+ ratios, respectively. The soil of the seventh lot contained only NaCl and its Na+/Ca2+ ratio was 1:0. Soil without addition of NaCl and Ca (NO3)2 × 4H20 served as control, with a 0:0 Na+/Ca2+ ratio. Salinity significantly retarded seed germination and plant growth, but the deleterious effects of NaCl on seed germination were ameliorated and plant growth was restored with Ca2+ supply at the critical level (1:0.25 Na+/Ca2+ ratio) to salinised soil. Supply of Ca2+ above the critical level further retarded seed germination and plant growth due to the increased soil salinity. Salt stress reduced N, P, K+ and Ca2+ content in plant tissues, but these nutrients were restored by addition of Ca2+ at the critical level to saline soil. In contrast, Na+ content in plant tissues significantly increased in response to salinity, but significantly decreased with increasing Ca2+ supply to saline soil. The results are discussed in terms of the beneficial effects of Ca2+ supply on the plant growth of Ricinus communis grown under saline conditions

Multi-messenger observations of a binary neutron star merger

On 2017 August 17 a binary neutron star coalescence candidate (later designated GW170817) with merger time 12:41:04 UTC was observed through gravitational waves by the Advanced LIGO and Advanced Virgo detectors. The Fermi Gamma-ray Burst Monitor independently detected a gamma-ray burst (GRB 170817A) with a time delay of ~1.7 s with respect to the merger time. From the gravitational-wave signal, the source was initially localized to a sky region of 31 deg2 at a luminosity distance of 40+8-8 Mpc and with component masses consistent with neutron stars. The component masses were later measured to be in the range 0.86 to 2.26 Mo. An extensive observing campaign was launched across the electromagnetic spectrum leading to the discovery of a bright optical transient (SSS17a, now with the IAU identification of AT 2017gfo) in NGC 4993 (at ~40 Mpc) less than 11 hours after the merger by the One- Meter, Two Hemisphere (1M2H) team using the 1 m Swope Telescope. The optical transient was independently detected by multiple teams within an hour. Subsequent observations targeted the object and its environment. Early ultraviolet observations revealed a blue transient that faded within 48 hours. Optical and infrared observations showed a redward evolution over ~10 days. Following early non-detections, X-ray and radio emission were discovered at the transient’s position ~9 and ~16 days, respectively, after the merger. Both the X-ray and radio emission likely arise from a physical process that is distinct from the one that generates the UV/optical/near-infrared emission. No ultra-high-energy gamma-rays and no neutrino candidates consistent with the source were found in follow-up searches. These observations support the hypothesis that GW170817 was produced by the merger of two neutron stars in NGC4993 followed by a short gamma-ray burst (GRB 170817A) and a kilonova/macronova powered by the radioactive decay of r-process nuclei synthesized in the ejecta

Increased peri-ductal collagen micro-organization may contribute to raised mammographic density

BACKGROUND: High mammographic density is a therapeutically modifiable risk factor for breast cancer. Although mammographic density is correlated with the relative abundance of collagen-rich fibroglandular tissue, the causative mechanisms, associated structural remodelling and mechanical consequences remain poorly defined. In this study we have developed a new collaborative bedside-to-bench workflow to determine the relationship between mammographic density, collagen abundance and alignment, tissue stiffness and the expression of extracellular matrix organising proteins. METHODS: Mammographic density was assessed in 22 post-menopausal women (aged 54–66 y). A radiologist and a pathologist identified and excised regions of elevated non-cancerous X-ray density prior to laboratory characterization. Collagen abundance was determined by both Masson’s trichrome and Picrosirius red staining (which enhances collagen birefringence when viewed under polarised light). The structural specificity of these collagen visualisation methods was determined by comparing the relative birefringence and ultrastructure (visualised by atomic force microscopy) of unaligned collagen I fibrils in reconstituted gels with the highly aligned collagen fibrils in rat tail tendon. Localised collagen fibril organisation and stiffness was also evaluated in tissue sections by atomic force microscopy/spectroscopy and the abundance of key extracellular proteins was assessed using mass spectrometry. RESULTS: Mammographic density was positively correlated with the abundance of aligned periductal fibrils rather than with the abundance of amorphous collagen. Compared with matched tissue resected from the breasts of low mammographic density patients, the highly birefringent tissue in mammographically dense breasts was both significantly stiffer and characterised by large (>80 μm long) fibrillar collagen bundles. Subsequent proteomic analyses not only confirmed the absence of collagen fibrosis in high mammographic density tissue, but additionally identified the up-regulation of periostin and collagen XVI (regulators of collagen fibril structure and architecture) as potential mediators of localised mechanical stiffness. CONCLUSIONS: These preliminary data suggest that remodelling, and hence stiffening, of the existing stromal collagen microarchitecture promotes high mammographic density within the breast. In turn, this aberrant mechanical environment may trigger neoplasia-associated mechanotransduction pathways within the epithelial cell population. ELECTRONIC SUPPLEMENTARY MATERIAL: The online version of this article (doi:10.1186/s13058-015-0664-2) contains supplementary material, which is available to authorized users

External beam irradiation of myocardial carcinoid metastases: a case report

The heart is an exceedingly rare site of metastatic involvement in carcinoid tumors. Only nineteen cases have been described in the literature over the past 30 years. We report here on a patient who presented with progressive carcinoid syndrome despite surgical resection of her liver metastases. She was found to have cardiac metastases on inidium-111-pentetreotide scintigraphy and subsequently underwent external beam radiation to the heart resulting in symptomatic palliation of her syndrome and objective radiographic response. To our knowledge, this is the first reported case of metastatic cardiac carcinoid treated with external beam irradiation

Final Overall Survival Efficacy Results of Ivosidenib for Patients With Advanced Cholangiocarcinoma With IDH1 Mutation: The Phase 3 Randomized Clinical ClarIDHy Trial

IMPORTANCE: Isocitrate dehydrogenase 1 (IDH1) variations occur in up to approximately 20% of patients with intrahepatic cholangiocarcinoma. In the ClarIDHy trial, progression-free survival as determined by central review was significantly improved with ivosidenib vs placebo. OBJECTIVE: To report the final overall survival (OS) results from the ClarIDHy trial, which aimed to demonstrate the efficacy of ivosidenib (AG-120)—a first-in-class, oral, small-molecule inhibitor of mutant IDH1—vs placebo for patients with unresectable or metastatic cholangiocarcinoma with IDH1 mutation. DESIGN, SETTING, AND PARTICIPANTS: This multicenter, randomized, double-blind, placebo-controlled, clinical phase 3 trial was conducted from February 20, 2017, to May 31, 2020, at 49 hospitals across 6 countries among patients aged 18 years or older with cholangiocarcinoma with IDH1 mutation whose disease progressed with prior therapy. INTERVENTIONS: Patients were randomized 2:1 to receive ivosidenib, 500 mg, once daily or matched placebo. Crossover from placebo to ivosidenib was permitted if patients had disease progression as determined by radiographic findings. MAIN OUTCOMES AND MEASURES: The primary end point was progression-free survival as determined by blinded independent radiology center (reported previously). Overall survival was a key secondary end point. The primary analysis of OS followed the intent-to-treat principle. Other secondary end points included objective response rate, safety and tolerability, and quality of life. RESULTS: Overall, 187 patients (median age, 62 years [range, 33-83 years]) were randomly assigned to receive ivosidenib (n = 126; 82 women [65%]; median age, 61 years [range, 33-80 years]) or placebo (n = 61; 37 women [61%]; median age, 63 years [range, 40-83 years]); 43 patients crossed over from placebo to ivosidenib. The primary end point of progression-free survival was reported elsewhere. Median OS was 10.3 months (95% CI, 7.8-12.4 months) with ivosidenib vs 7.5 months (95% CI, 4.8-11.1 months) with placebo (hazard ratio, 0.79 [95% CI, 0.56-1.12]; 1-sided P = .09). When adjusted for crossover, median OS with placebo was 5.1 months (95% CI, 3.8-7.6 months; hazard ratio, 0.49 [95% CI, 0.34-0.70]; 1-sided P < .001). The most common grade 3 or higher treatment-emergent adverse event (≥5%) reported in both groups was ascites (11 patients [9%] receiving ivosidenib and 4 patients [7%] receiving placebo). Serious treatment-emergent adverse events considered ivosidenib related were reported in 3 patients (2%). There were no treatment-related deaths. Patients receiving ivosidenib reported no apparent decline in quality of life compared with placebo. CONCLUSIONS AND RELEVANCE: This randomized clinical trial found that ivosidenib was well tolerated and resulted in a favorable OS benefit vs placebo, despite a high rate of crossover. These data, coupled with supportive quality of life data and a tolerable safety profile, demonstrate the clinical benefit of ivosidenib for patients with advanced cholangiocarcinoma with IDH1 mutation. TRIAL REGISTRATION: ClinicalTrials.gov Identifier: NCT0298985

An evoked potential mapping of transcallosal projections in the cat

In ten adult cats anesthetized with ketamine hydrochloride the neocortex was exposed and rectangular pulses (1msec, 0.5 Hz and variable intensity) were applied to discrete points of one side and transcallosal evoked potentials were recorded from the other. The stimulation and recording positions were determined on a cartesian map of most of the exposable neocortical areas and the potentials were analysed as to their components, voltage and latency. Passive spread and electrotonic potentials and the effects of increasing frequency were also analysed. The results showed large transcallosal potentials in some areas and an increase of potentials in the caudorostral direction, attaining the highest values in anteromedial areas of the suprasylvian gyrus. Confirming anatomical studies, a few silent spots were found in the motor and somesthetic cortex and in restricted posterior regions of the visual cortex, where small or zero voltages occurred. While causing weak contralateral potentials, stimulation of some posterior sites provoked high voltage potentials in anterior regions of the side being stimulated and in the corresponding area of the opposite site. These posterior sites are. poorly interconnected by the corpus callosum. The L-shaped indirect connection described in this work may be involved in some types of epilepsy and may explain the effectiveness of partial callosotomy in their treatment

Predictors of Hospitalized Exacerbations and Mortality in Chronic Obstructive Pulmonary Disease

Background and Aim Exacerbations of chronic obstructive pulmonary disease (COPD) carry significant consequences for patients and are responsible for considerable health-care costs?particularly if hospitalization is required. Despite the importance of hospitalized exacerbations, relatively little is known about their determinants. This study aimed to analyze predictors of hospitalized exacerbations and mortality in COPD patients. Methods This was a retrospective population-based cohort study.We selected 900 patients with confirmed COPD aged 35 years by simple random sampling among all COPD patients in Cantabria (northern Spain) on December 31, 2011. We defined moderate exacerbations as events that led a care provider to prescribe antibiotics or corticosteroids and severe exacerbations as exacerbations requiring hospital admission.We observed exacerbation frequency over the previous year (2011) and following year (2012). We categorized patients according to COPD severity based on forced expiratory volume in 1 second (Global Initiative for Chronic Obstructive Lung Disease [GOLD] grades 1?4). We estimated the odds ratios (ORs) by logistic regression, adjusting for age, sex, smoking status, COPD severity, and frequent exacerbator phenotype the previous year. Results Of the patients, 16.4%had 1 severe exacerbations, varying from 9.3%in mild GOLD grade 1 to 44%in very severe COPD patients. A history of at least two prior severe exacerbations was positively associated with new severe exacerbations (adjusted OR, 6.73; 95%confidence interval [CI], 3.53?12.83) and mortality (adjusted OR, 7.63; 95%CI, 3.41?17.05). Older age and several comorbidities, such as heart failure and diabetes, were similarly associated. Conclusions Hospitalized exacerbations occurred with all grades of airflow limitation. A history of severe exacerbations was associated with new hospitalized exacerbations and mortality

Definitions and outcome measures for bullous pemphigoid: Recommendations by an international panel of experts

Our scientific knowledge of bullous pemphigoid (BP) has dramatically progressed in recent years. However, despite the availability of various therapeutic options for the treatment of inflammatory diseases, only a few multicenter controlled trials have helped to define effective therapies in BP. A major obstacle in sharing multicenter-based evidences for therapeutic efforts is the lack of generally accepted definitions for the clinical evaluation of patients with BP. Common terms and end points of BP are needed so that experts in the field can accurately measure and assess disease extent, activity, severity, and therapeutic response, and thus facilitate and advance clinical trials. These recommendations from the International Pemphigoid Committee represent 2 years of collaborative efforts to attain mutually acceptable common definitions for BP and proposes a disease extent score, the BP Disease Area Index. These items should assist in the development of consistent reporting of outcomes in future BP reports and studies. © 2011 by the American Academy of Dermatology, Inc