Forward Analysis and Model Checking for Trace Bounded WSTS

We investigate a subclass of well-structured transition systems (WSTS), the bounded---in the sense of Ginsburg and Spanier (Trans. AMS 1964)---complete deterministic ones, which we claim provide an adequate basis for the study of forward analyses as developed by Finkel and Goubault-Larrecq (Logic. Meth. Comput. Sci. 2012). Indeed, we prove that, unlike other conditions considered previously for the termination of forward analysis, boundedness is decidable. Boundedness turns out to be a valuable restriction for WSTS verification, as we show that it further allows to decide all $\omega$-regular properties on the set of infinite traces of the system

Small business economics: A perspective from The Netherlands

In the analysis of economic phenomena either within or across industries there is room for integrating the role of small business. This contribution can be made by aggregation or generalization of the findings at the meso level, which again are partly based upon analyses at the micro level. The Netherlands has a long history in macro model building. A recent discussion among Dutch macro-economists considered the future of econometric model building at the macro level, and considered how best to improve this model building. The explicit integration of scale effects, however, was not mentioned. I am convinced that improvements in this respect are possible. In particular, I have in mind the role which small businesses play in certain areas such as wage structure, employment or investments. The dissection of macro prognoses into a small business component and a remaining component is a traditional practice in The Netherlands.1 Finally, there is much concern in The Netherlands for the calculation of regulatory effects, decomposed into effects for small and large businesses. If anywhere in the world there is a solid foundation for studying scale effects in both macro and sectoral models, it most certainly has been in The Netherlands. There is a strong tradition of macro-econometric model building; groups of econometricians specialized in small business research exist; Dutch policymakers show concern and the required research apparatus is available

Dysregulation of Macrophage-Secreted Cathepsin B Contributes to HIV-1-Linked Neuronal Apoptosis

Chronic HIV infection leads to the development of cognitive impairments, designated as HIV-associated neurocognitive disorders (HAND). The secretion of soluble neurotoxic factors by HIV-infected macrophages plays a central role in the neuronal dysfunction and cell death associated with HAND. One potentially neurotoxic protein secreted by HIV-1 infected macrophages is cathepsin B. To explore the potential role of cathepsin B in neuronal cell death after HIV infection, we cultured HIV-1ADA infected human monocyte-derived macrophages (MDM) and assayed them for expression and activity of cathepsin B and its inhibitors, cystatins B and C. The neurotoxic activity of the secreted cathepsin B was determined by incubating cells from the neuronal cell line SK-N-SH with MDM conditioned media (MCM) from HIV-1 infected cultures. We found that HIV-1 infected MDM secreted significantly higher levels of cathepsin B than did uninfected cells. Moreover, the activity of secreted cathepsin B was significantly increased in HIV-infected MDM at the peak of viral production. Incubation of neuronal cells with supernatants from HIV-infected MDM resulted in a significant increase in the numbers of apoptotic neurons, and this increase was reversed by the addition of either the cathepsin B inhibitor CA-074 or a monoclonal antibody to cathepsin B. In situ proximity ligation assays indicated that the increased neurotoxic activity of the cathepsin B secreted by HIV-infected MDM resulted from decreased interactions between the enzyme and its inhibitors, cystatins B and C. Furthermore, preliminary in vivo studies of human post-mortem brain tissue suggested an upregulation of cathepsin B immunoreactivity in the hippocampus and basal ganglia in individuals with HAND. Our results demonstrate that HIV-1 infection upregulates cathepsin B in macrophages, increases cathepsin B activity, and reduces cystatin-cathepsin interactions, contributing to neuronal apoptosis. These findings provide new evidence for the role of cathepsin B in neuronal cell death induced by HIV-infected macrophages

Characteristics and Outcomes of Patients With Cerebral Venous Sinus Thrombosis in SARS-CoV-2 Vaccine–Induced Immune Thrombotic Thrombocytopenia

Importance: Thrombosis with thrombocytopenia syndrome (TTS) has been reported after vaccination with the SARS-CoV-2 vaccines ChAdOx1 nCov-19 (Oxford-AstraZeneca) and Ad26.COV2.S (Janssen/Johnson & Johnson). Objective: To describe the clinical characteristics and outcome of patients with cerebral venous sinus thrombosis (CVST) after SARS-CoV-2 vaccination with and without TTS. Design, setting, and participants: This cohort study used data from an international registry of consecutive patients with CVST within 28 days of SARS-CoV-2 vaccination included between March 29 and June 18, 2021, from 81 hospitals in 19 countries. For reference, data from patients with CVST between 2015 and 2018 were derived from an existing international registry. Clinical characteristics and mortality rate were described for adults with (1) CVST in the setting of SARS-CoV-2 vaccine-induced immune thrombotic thrombocytopenia, (2) CVST after SARS-CoV-2 vaccination not fulling criteria for TTS, and (3) CVST unrelated to SARS-CoV-2 vaccination. Exposures: Patients were classified as having TTS if they had new-onset thrombocytopenia without recent exposure to heparin, in accordance with the Brighton Collaboration interim criteria. Main outcomes and measures: Clinical characteristics and mortality rate. Results: Of 116 patients with postvaccination CVST, 78 (67.2%) had TTS, of whom 76 had been vaccinated with ChAdOx1 nCov-19; 38 (32.8%) had no indication of TTS. The control group included 207 patients with CVST before the COVID-19 pandemic. A total of 63 of 78 (81%), 30 of 38 (79%), and 145 of 207 (70.0%) patients, respectively, were female, and the mean (SD) age was 45 (14), 55 (20), and 42 (16) years, respectively. Concomitant thromboembolism occurred in 25 of 70 patients (36%) in the TTS group, 2 of 35 (6%) in the no TTS group, and 10 of 206 (4.9%) in the control group, and in-hospital mortality rates were 47% (36 of 76; 95% CI, 37-58), 5% (2 of 37; 95% CI, 1-18), and 3.9% (8 of 207; 95% CI, 2.0-7.4), respectively. The mortality rate was 61% (14 of 23) among patients in the TTS group diagnosed before the condition garnered attention in the scientific community and 42% (22 of 53) among patients diagnosed later. Conclusions and relevance: In this cohort study of patients with CVST, a distinct clinical profile and high mortality rate was observed in patients meeting criteria for TTS after SARS-CoV-2 vaccination.info:eu-repo/semantics/publishedVersio

Utilization of mechanical power and associations with clinical outcomes in brain injured patients. a secondary analysis of the extubation strategies in neuro-intensive care unit patients and associations with outcome (ENIO) trial

BackgroundThere is insufficient evidence to guide ventilatory targets in acute brain injury (ABI). Recent studies have shown associations between mechanical power (MP) and mortality in critical care populations. We aimed to describe MP in ventilated patients with ABI, and evaluate associations between MP and clinical outcomes.MethodsIn this preplanned, secondary analysis of a prospective, multi-center, observational cohort study (ENIO, NCT03400904), we included adult patients with ABI (Glasgow Coma Scale <= 12 before intubation) who required mechanical ventilation (MV) >= 24 h. Using multivariable log binomial regressions, we separately assessed associations between MP on hospital day (HD)1, HD3, HD7 and clinical outcomes: hospital mortality, need for reintubation, tracheostomy placement, and development of acute respiratory distress syndrome (ARDS).ResultsWe included 1217 patients (mean age 51.2 years [SD 18.1], 66% male, mean body mass index [BMI] 26.3 [SD 5.18]) hospitalized at 62 intensive care units in 18 countries. Hospital mortality was 11% (n = 139), 44% (n = 536) were extubated by HD7 of which 20% (107/536) required reintubation, 28% (n = 340) underwent tracheostomy placement, and 9% (n = 114) developed ARDS. The median MP on HD1, HD3, and HD7 was 11.9 J/min [IQR 9.2-15.1], 13 J/min [IQR 10-17], and 14 J/min [IQR 11-20], respectively. MP was overall higher in patients with ARDS, especially those with higher ARDS severity. After controlling for same-day pressure of arterial oxygen/fraction of inspired oxygen (P/F ratio), BMI, and neurological severity, MP at HD1, HD3, and HD7 was independently associated with hospital mortality, reintubation and tracheostomy placement. The adjusted relative risk (aRR) was greater at higher MP, and strongest for: mortality on HD1 (compared to the HD1 median MP 11.9 J/min, aRR at 17 J/min was 1.22, 95% CI 1.14-1.30) and HD3 (1.38, 95% CI 1.23-1.53), reintubation on HD1 (1.64; 95% CI 1.57-1.72), and tracheostomy on HD7 (1.53; 95%CI 1.18-1.99). MP was associated with the development of moderate-severe ARDS on HD1 (2.07; 95% CI 1.56-2.78) and HD3 (1.76; 95% CI 1.41-2.22).ConclusionsExposure to high MP during the first week of MV is associated with poor clinical outcomes in ABI, independent of P/F ratio and neurological severity. Potential benefits of optimizing ventilator settings to limit MP warrant further investigation

«La relation de limitation et d’exception dans le français d’aujourd’hui : excepté, sauf et hormis comme pivots d’une relation algébrique »

L’analyse des emplois prépositionnels et des emplois conjonctifs d’ “excepté”, de “sauf” et d’ “hormis” permet d’envisager les trois prépositions/conjonctions comme le pivot d’un binôme, comme la plaque tournante d’une structure bipolaire. Placées au milieu du binôme, ces prépositions sont forcées par leur sémantisme originaire dûment métaphorisé de jouer le rôle de marqueurs d’inconséquence systématique entre l’élément se trouvant à leur gauche et celui qui se trouve à leur droite. L’opposition qui surgit entre les deux éléments n’est donc pas une incompatibilité naturelle, intrinsèque, mais extrinsèque, induite. Dans la plupart des cas (emplois limitatifs), cette opposition prend la forme d’un rapport entre une « classe » et le « membre (soustrait) de la classe », ou bien entre un « tout » et une « partie » ; dans d’autres (emplois exceptifs), cette opposition se manifeste au contraire comme une attaque de front portée par un « tout » à un autre « tout ». De plus, l’inconséquence induite mise en place par la préposition/conjonction paraît, en principe, tout à fait insurmontable. Dans l’assertion « les écureuils vivent partout, sauf en Australie » (que l’on peut expliciter par « Les écureuils vivent partout, sauf [qu’ils ne vivent pas] en Australie »), la préposition semble en effet capable d’impliquer le prédicat principal avec signe inverti, et de bâtir sur une telle implication une sorte de sous énoncé qui, à la rigueur, est totalement inconséquent avec celui qui le précède (si « les écureuils ne vivent pas en Australie », le fait qu’ils « vivent partout » est faux). Néanmoins, l’analyse montre qu’alors que certaines de ces oppositions peuvent enfin être dépassées, d’autres ne le peuvent pas. C’est, respectivement, le cas des relations limitatives et des relations exceptives. La relation limitative, impliquant le rapport « tout » - « partie », permet de résoudre le conflit dans les termes d’une somme algébrique entre deux sous énoncés pourvus de différent poids informatif et de signe contraire. Les valeurs numériques des termes de la somme étant déséquilibrées, le résultat est toujours autre que zéro. La relation exceptive, au contraire, qui n’implique pas le rapport « tout » - « partie », n’est pas capable de résoudre le conflit entre deux sous énoncés pourvus du même poids informatif et en même temps de signe contraire : les valeurs numériques des termes de la somme étant symétriques et égales, le résultat sera toujours équivalent à zéro