Evidence for the cognitive behavioral therapy for insomnia

non

Making Implicit Safety Requirements Explicit. An AUTOSAR Safety Case

Safety standards demand stringent requirements on embedded systems used in safety-critical applications such as automotive, railways, and aerospace. In the automotive domain, the AUTOSAR software architecture provides some mechanisms to fulfill the ISO26262 requirements. The verification of these mechanisms is a challenging problem and it is not always clear in which context the safety requirements are supposed to be met. In this paper, we report on a case study developed in the SafeCer project, where we combined contract-based design and model-based testing. A contract-based approach has been used to formalize the safety requirements to detect communication failures. The formal specification shows under which assumptions the AUTOSAR protection mechanism fulfills these requirements. A model-based testing approach has been used to test the software implementing such protection mechanism. The model used for testing has been model checked against the contract specification ensuring that the system-level safety requirements are met

Teoria degli stakeholder

Il lavoro, frutto della collaborazione con Edward Freeman, principale studioso mondiale della teoria degli stakeholder, comprende la traduzione dei saggi fondamentali sull'argomento più alcuni saggi original

SARS-CoV-2 antibody dynamics and transmission from community-wide serological testing in the Italian municipality of Vo'

none36In February and March 2020, two mass swab testing campaigns were conducted in Vo', Italy. In May 2020, we tested 86% of the Vo' population with three immuno-assays detecting antibodies against the spike and nucleocapsid antigens, a neutralisation assay and Polymerase Chain Reaction (PCR). Subjects testing positive to PCR in February/March or a serological assay in May were tested again in November. Here we report on the results of the analysis of the May and November surveys. We estimate a seroprevalence of 3.5% (95% Credible Interval (CrI): 2.8-4.3%) in May. In November, 98.8% (95% Confidence Interval (CI): 93.7-100.0%) of sera which tested positive in May still reacted against at least one antigen; 18.6% (95% CI: 11.0-28.5%) showed an increase of antibody or neutralisation reactivity from May. Analysis of the serostatus of the members of 1,118 households indicates a 26.0% (95% CrI: 17.2-36.9%) Susceptible-Infectious Transmission Probability. Contact tracing had limited impact on epidemic suppression.restrictedDorigatti, Ilaria; Lavezzo, Enrico; Manuto, Laura; Ciavarella, Constanze; Pacenti, Monia; Boldrin, Caterina; Cattai, Margherita; Saluzzo, Francesca; Franchin, Elisa; Del Vecchio, Claudia; Caldart, Federico; Castelli, Gioele; Nicoletti, Michele; Nieddu, Eleonora; Salvadoretti, Elisa; Labella, Beatrice; Fava, Ludovico; Guglielmo, Simone; Fascina, Mariateresa; Grazioli, Marco; Alvisi, Gualtiero; Vanuzzo, Maria Cristina; Zupo, Tiziano; Calandrin, Reginetta; Lisi, Vittoria; Rossi, Lucia; Castagliuolo, Ignazio; Merigliano, Stefano; Unwin, H Juliette T; Plebani, Mario; Padoan, Andrea; Brazzale, Alessandra R; Toppo, Stefano; Ferguson, Neil M; Donnelly, Christl A; Crisanti, AndreaDorigatti, Ilaria; Lavezzo, Enrico; Manuto, Laura; Ciavarella, Constanze; Pacenti, Monia; Boldrin, Caterina; Cattai, Margherita; Saluzzo, Francesca; Franchin, Elisa; Del Vecchio, Claudia; Caldart, Federico; Castelli, Gioele; Nicoletti, Michele; Nieddu, Eleonora; Salvadoretti, Elisa; Labella, Beatrice; Fava, Ludovico; Guglielmo, Simone; Fascina, Mariateresa; Grazioli, Marco; Alvisi, Gualtiero; Vanuzzo, Maria Cristina; Zupo, Tiziano; Calandrin, Reginetta; Lisi, Vittoria; Rossi, Lucia; Castagliuolo, Ignazio; Merigliano, Stefano; Unwin, H Juliette T; Plebani, Mario; Padoan, Andrea; Brazzale, Alessandra R; Toppo, Stefano; Ferguson, Neil M; Donnelly, Christl A; Crisanti, Andre

Suppression of a SARS-CoV-2 outbreak in the Italian municipality of Vo'

On the 21st of February 2020 a resident of the municipality of Vo', a small town near Padua, died of pneumonia due to SARS-CoV-2 infection1. This was the first COVID-19 death detected in Italy since the emergence of SARS-CoV-2 in the Chinese city of Wuhan, Hubei province2. In response, the regional authorities imposed the lockdown of the whole municipality for 14 days3. We collected information on the demography, clinical presentation, hospitalization, contact network and presence of SARS-CoV-2 infection in nasopharyngeal swabs for 85.9% and 71.5% of the population of Vo' at two consecutive time points. On the first survey, which was conducted around the time the town lockdown started, we found a prevalence of infection of 2.6% (95% confidence interval (CI) 2.1-3.3%). On the second survey, which was conducted at the end of the lockdown, we found a prevalence of 1.2% (95% Confidence Interval (CI) 0.8-1.8%). Notably, 42.5% (95% CI 31.5-54.6%) of the confirmed SARS-CoV-2 infections detected across the two surveys were asymptomatic (i.e. did not have symptoms at the time of swab testing and did not develop symptoms afterwards). The mean serial interval was 7.2 days (95% CI 5.9-9.6). We found no statistically significant difference in the viral load of symptomatic versus asymptomatic infections (p-values 0.62 and 0.74 for E and RdRp genes, respectively, Exact Wilcoxon-Mann-Whitney test). This study sheds new light on the frequency of asymptomatic SARS-CoV-2 infection, their infectivity (as measured by the viral load) and provides new insights into its transmission dynamics and the efficacy of the implemented control measures

L’impresa significante

Since 2008, a research team of Management Department (Ca’ Foscari University of Venice) has been conducting various action-research projects to support the strategy reconsideration of many businesses, with the supervision of the author of the present paper. These experiences lead to the Significant Business Manifesto, which aspires to imagine a new entrepreneurial model for all the Italian businesses, but inspiring even for the single one. The proposed model is structured on gradually more actionable levels: vision, mission, strategy, and business model. Such levels should characterize the ideal type of Italian business and should guide the related questions which every actual business needs to answer