The complexity of linear-time temporal logic over the class of ordinals

We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic by Kamp's theorem. We show that it has a PSPACE-complete satisfiability problem over the class of ordinals. Among the consequences of our proof, we show that given the code of some countable ordinal alpha and a formula, we can decide in PSPACE whether the formula has a model over alpha. In order to show these results, we introduce a class of simple ordinal automata, as expressive as B\"uchi ordinal automata. The PSPACE upper bound for the satisfiability problem of the temporal logic is obtained through a reduction to the nonemptiness problem for the simple ordinal automata.Comment: Accepted for publication in LMC

Are Insider Sales Always Bad News? Evidence On Large Sales By Key Insiders

Investors often scrutinize stock trades by corporate insiders, hoping to infer the nature of any privileged information which may have motivated the trades. Conventional wisdom suggests that sales of stock by insiders reveal negative information; this interpretation is supported by empirical work such as the series of papers by Seyhun. However, this common interpretation fails to distinguish between sales by atomistic insiders and sales by controlling blockholders.  In this paper, I present evidence which suggests that sales by controlling insiders should not be considered bad news. Using both a series of logit regressions and traditional event-study tests, I examine the relationship between a firm's performance and the willingness of its controlling shareholder to sell a significant proportion of his shares. I find that firm value is just as likely to rise on the news of large insider sales as it is to fall, so that large sales need not imply negative private information.  One possible explanation for a positive response to a controlling blockholder's large sale is that such a sale makes the insider vulnerable to meaningful oversight by outside shareholders. Thus, a large sale may be a signal of the insider's willingness to expose himself to shareholder monitoring and discipline. However, regardless of the interpretation, the empirical evidence presented in the paper forces the conclusion that it is inappropriate to interpret all insider sales as bad news: insider sales occur in a variety of contexts, and creating buy/sell rules which ignore those contexts is simplistic and erroneous

ERAP2 increases the abundance of a peptide submotif highly selective for the Birdshot Uveitis-associated HLA-A29

Birdshot Uveitis (BU) is a blinding inflammatory eye condition that only affects HLA-A29-positive individuals. Genetic association studies linked ERAP2 with BU, an aminopeptidase which trims peptides before their presentation by HLA class I at the cell surface, which suggests that ERAP2-dependent peptide presentation by HLA-A29 drives the pathogenesis of BU. However, it remains poorly understood whether the effects of ERAP2 on the HLA-A29 peptidome are distinct from its effect on other HLA allotypes. To address this, we focused on the effects of ERAP2 on the immunopeptidome in patient-derived antigen presenting cells. Using complementary HLA-A29-based and pan-class I immunopurifications, isotope-labeled naturally processed and presented HLA-bound peptides were sequenced by mass spectrometry. We show that the effects of ERAP2 on the N-terminus of ligands of HLA-A29 are shared across endogenous HLA allotypes, but discover and replicate that one peptide motif generated in the presence of ERAP2 is specifically bound by HLA-A29. This motif can be found in the amino acid sequence of putative autoantigens. We further show evidence for internal sequence specificity for ERAP2 imprinted in the immunopeptidome. These results reveal that ERAP2 can generate an HLA-A29-specific antigen repertoire, which supports that antigen presentation is a key disease pathway in BU.Proteomic

Prehospital Stroke Triage:A Modeling Study on the Impact of Triage Tools in Different Regions

Background and purpose: Direct transportation to a thrombectomy-capable intervention center is beneficial for patients with ischemic stroke due to large vessel occlusion (LVO), but can delay intravenous thrombolytics (IVT). The aim of this modeling study was to estimate the effect of prehospital triage strategies on treatment delays and overtriage in different regions. Methods: We used data from two prospective cohort studies in the Netherlands: the Leiden Prehospital Stroke Study and the PRESTO study. We included stroke code patients within 6 h from symptom onset. We modeled outcomes of Rapid Arterial oCclusion Evaluation (RACE) scale triage and triage with a personalized decision tool, using drip-and-ship as reference. Main outcomes were overtriage (stroke code patients incorrectly triaged to an intervention center), reduced delay to endovascular thrombectomy (EVT), and delay to IVT. Results: We included 1798 stroke code patients from four ambulance regions. Per region, overtriage ranged from 1-13% (RACE triage) and 3-15% (personalized tool). Reduction of delay to EVT varied by region between 24 ± 5 min (n = 6) to 78 ± 3 (n = 2), while IVT delay increased with 5 (n = 5) to 15 min (n = 21) for non-LVO patients. The personalized tool reduced delay to EVT for more patients (25 ± 4 min [n = 8] to 49 ± 13 [n = 5]), while delaying IVT with 3-14 min (8-24 patients). In region C, most EVT patients were treated faster (reduction of delay to EVT 31 ± 6 min (n = 35), with RACE triage and the personalized tool. Conclusions: In this modeling study, we showed that prehospital triage reduced time to EVT without disproportionate IVT delay, compared to a drip-and-ship strategy. The effect of triage strategies and the associated overtriage varied between regions. Implementation of prehospital triage should therefore be considered on a regional level.</p

Blood pressure in the first 6 hours following endovascular treatment for ischemic stroke is associated with outcome

Background and Purpose: Optimal blood pressure (BP) management in the acute phase of ischemic stroke remains an unresolved issue. It is uncertain whether guidelines for BP management during and after intravenous alteplase can be extrapolated to endovascular treatment (EVT) for stroke due to large artery occlusion in the anterior circulation. We evaluated the associations between systolic BP (SBP) in the first 6 hours following EVT and functional outcome as well as symptomatic intracranial hemorrhage. Methods: Patients of 8 MR CLEAN (Multicenter Randomized Controlled Trial of Endovascular Treatment for Acute Ischemic Stroke in the Netherlands) Registry centers, with available data on SBP in the 6 hours following EVT, were analyzed. We evaluated maximum, minimum, and mean SBP. Study outcomes were functional outcome (modified Rankin Scale) at 90 days and symptomatic intracranial hemorrhage. We used multivariable ordinal and binary regression analysis to adjust for important prognostic factors and studied possible effect modification by successful reperfusion. Results: Post-EVT SBP data were available for 1161/1796 patients. Higher maximum SBP (per 10 mm Hg increments) was associated with worse functional outcome (adjusted common odds ratio, 0.93 [95% CI, 0.88-0.98]) and a higher rate of symptomatic intracranial hemorrhage (adjusted odds ratio, 1.17 [95% CI, 1.02-1.36]). The association between minimum SBP and functional outcome was nonlinear with an inflection point at 124 mm Hg. Minimum SBP lower and higher than the inflection point were associated with worse functional outcomes (adjusted common odds ratio, 0.85 per 10 mm Hg decrements [95% CI, 0.76-0.95] and adjusted common odds ratio, 0.81 per 10 mm Hg increments [95% CI, 0.71-0.92]). No association between mean SBP and functional outcome was observed. Successful reperfusion did not modify the relation of SBP with any of the outcomes. Conclusions: Maximum SBP in the first 6 hours following EVT is positively associated with worse functional outcome and an increased risk of symptomatic intracranial hemorrhage. Both lower and higher minimum SBP are associated with worse outcomes. A randomized trial to evaluate whether modifying post-intervention SBP results in better outcomes after EVT for ischemic stroke seems justified.Neuro Imaging Researc

Development and validation of a postprocedural model to predict outcome after endovascular treatment for ischemic stroke

Importance: Outcome prediction after endovascular treatment (EVT) for ischemic stroke is important to patients, family members, and physicians. Objective: To develop and validate a model based on preprocedural and postprocedural characteristics to predict functional outcome for individual patients after EVT. Design, Setting, and Participants: A prediction model was developed using individual patient data from 7 randomized clinical trials, performed between December 2010 and December 2014. The model was developed within the Highly Effective Reperfusion Evaluated in Multiple Endovascular Stroke Trials (HERMES) collaboration and external validation in data from the Dutch Multicenter Randomized Clinical Trial of Endovascular Treatment for Acute Ischemic Stroke in the Netherlands (MR CLEAN) Registry of patients treated in clinical practice between March 2014 and November 2017. Participants included patients from multiple centers throughout different countries in Europe, North America, East Asia, and Oceania (derivation cohort), and multiple centers in the Netherlands (validation cohort). Included were adult patients with a history of ischemic stroke from an intracranial large vessel occlusion in the anterior circulation who underwent EVT within 12 hours of symptom onset or last seen well. Data were last analyzed in July 2022. Main Outcome(s) and Measure(s): A total of 19 variables were assessed by multivariable ordinal regression to predict functional outcome (modified Rankin Scale [mRS] score) 90 days after EVT. Variables were routinely available 1 day after EVT. Akaike information criterion (AIC) was used to optimize model fit vs model complexity. Probabilities for functional independence (mRS 0-2) and survival (mRS 0-5) were derived from the ordinal model. Model performance was expressed with discrimination (C statistic) and calibration. Results: A total of 781 patients (median [IQR] age, 67 [57-76] years; 414 men [53%]) constituted the derivation cohort, and 3260 patients (median [IQR] age, 72 [61-80] years; 1684 men [52%]) composed the validation cohort. Nine variables were included in the model: age, baseline National Institutes of Health Stroke Scale (NIHSS) score, prestroke mRS score, history of diabetes, occlusion location, collateral score, reperfusion grade, NIHSS score at 24 hours, and symptomatic intracranial hemorrhage 24 hours after EVT. External validation in the MR CLEAN Registry showed excellent discriminative ability for functional independence (C statistic, 0.91; 95% CI, 0.90-0.92) and survival (0.89; 95% CI, 0.88-0.90). The proportion of functional independence in the MR CLEAN Registry was systematically higher than predicted by the model (41% vs 34%), whereas observed and predicted survival were similar (72% vs 75%). The model was updated and implemented for clinical use. Conclusion and relevance: The prognostic tool MR PREDICTS@24H can be applied 1 day after EVT to accurately predict functional outcome for individual patients at 90 days and to provide reliable outcome expectations and personalize follow-up and rehabilitation plans. It will need further validation and updating for contemporary patients

VOLUME DEPENDENCE OF THE FERMI SURFACE OF Pd

L'influence de la dilatation du réseau cristallin sur la surface de Fermi du palladium est étudiée à l'aide de mesures de l'effet de Haas-van Alphen sous des pressions hydrostatiques allant jusqu'à 3,7 kbar. Les valeurs expérimentales sont en bon accord avec les résultats d'un calcul de structure de bandes employant la méthode LMTO (linear-muffin-tin orbitals) dans l'approximation de la densité locale pour l'interaction d'échange et de corrélation.Volume derivatives of extremal cross sections of the Fermi surface of palladium are determined by means of de Haas-van Alphen measurements under pressures up to 3,7 kbar. The expérimental pressure derivatives are found to be in good agreement with theoretical values obrained from a self-consistent band structure calculation based on the linear-muffin-tin orbitals (LMTO) method using the local density approximation for exchange and corrélation