A Theory of Sampling for Continuous-time Metric Temporal Logic

This paper revisits the classical notion of sampling in the setting of real-time temporal logics for the modeling and analysis of systems. The relationship between the satisfiability of Metric Temporal Logic (MTL) formulas over continuous-time models and over discrete-time models is studied. It is shown to what extent discrete-time sequences obtained by sampling continuous-time signals capture the semantics of MTL formulas over the two time domains. The main results apply to "flat" formulas that do not nest temporal operators and can be applied to the problem of reducing the verification problem for MTL over continuous-time models to the same problem over discrete-time, resulting in an automated partial practically-efficient discretization technique.Comment: Revised version, 43 pages

Appropriateness of frequent use of emergency departments: A retrospective analysis in Rome, Italy

Background: Frequent users (FUs) are patients who repeatedly and inappropriately visit the emergency department (ED) for low-grade symptoms that could be treated outside the hospital setting. This study aimed to investigate the phenomenon of the FU in Rome by profiling such users and analyzing ED attendance by FUs. Methods: The analysis was carried out for attendance in 2021 at 15 EDs in the Local Health Authority Roma 1 geographical area. A digital app collected data, including information on the following variables: number of attendance, demographic characteristics, emergency medical service (EMS) usage, triage code, and appropriateness of attendance. COVID-19 diagnosis was also studied to analyze any possible influence on ED attendance. Differences between FUs and non-FUs were investigated statistically by t-test and chi-square test. Univariate analysis and multivariable logistic regression were performed to analyze the associated factors. Results: A total of 122,762 ED attendance and 89,036 users were registered. The FU category represented 2.9% of all users, comprising 11.9% of total ED attendance. There was a three times higher frequency of non-urgent codes in attendance of FU patients (FU: 9.7%; non-FU: 3.2%). FUs were slightly more likely to have used the EMS (13.6% vs. 11.4%) and had a lower frequency of appropriate ED attendance (23.8% vs. 27.0%). Multivariate logistic analysis confirmed a significant effect of triage code, gender, age, EMS usage, and COVID-19 diagnosis for the appropriateness of attendance. The results were statistically significant (p < 0.001). Conclusion: The FU profile describes mostly non-urgent and inappropriate attendance at the ED, including during the COVID-19 pandemic. This study represents an important tool for strengthening preventive policies outside the hospital setting. The Italian National Recovery and Resilience Plan represents an excellent opportunity for the development of new strategies to mitigate the phenomenon of FUs

Results from the European Union MAPEC_LIFE cohort study on air pollution and chromosomal damage in children: are public health policies sufficiently protective?

Background: Children are at high risk of suffering health consequences of air pollution and childhood exposure can increase the risk of developing chronic diseases in adulthood. This study, part of the MAPEC_LIFE project (LIFE12 ENV/IT/000614), aimed to investigate the associations between exposure to urban air pollutants and micronucleus (MN) frequency, as a biomarker of chromosomal damage, in buccal cells of children for supporting implementation and updating of environmental policy and legislation. Methods: This prospective epidemiological cohort study was carried out on 6- to 8-year-old children living in five Italian towns with different levels and features of air pollution. Exfoliated buccal cells of the children were sampled twice, in winter and spring, obtaining 2139 biological samples for genotoxicological investigation. Micronucleus (MN) frequency was investigated in buccal cells of children and its association with air pollution exposure was assessed applying multiple Poisson regression mixed models, including socio-demographic and lifestyle factors as confounders. We also dichotomize air pollutants\u2019 concentration according to the EU Ambient Air Quality Directives and WHO Air Quality Guidelines in all Poisson regression models to assess their risk predictive capacity. Results: Positive and statistically significant associations were found between MN frequency and PM10, PM2.5, benzene, SO2 and ozone. The increment of the risk of having MN in buccal cells for each \u3bcg/m3 increase of pollutant concentration was maximum for benzene (18.9%, 95% CIs 2.2\u201338.4%) and modest for the other pollutants (between 0.2 and 1.4%). An increased risk (between 17.9% and 59.8%) was found also for exposure to PM10, benzene and benzo(a)pyrene levels higher than the threshold limits. Conclusions: Some air pollutants are able to induce chromosomal damage in buccal cells of children even at concentrations below present EU/WHO limits. This type of biological effects may be indicative of the environmental pressure which populations are exposed to in urban areas

LNCS

Imprecision in timing can sometimes be beneficial: Metric interval temporal logic (MITL), disabling the expression of punctuality constraints, was shown to translate to timed automata, yielding an elementary decision procedure. We show how this principle extends to other forms of dense-time specification using regular expressions. By providing a clean, automaton-based formal framework for non-punctual languages, we are able to recover and extend several results in timed systems. Metric interval regular expressions (MIRE) are introduced, providing regular expressions with non-singular duration constraints. We obtain that MIRE are expressively complete relative to a class of one-clock timed automata, which can be determinized using additional clocks. Metric interval dynamic logic (MIDL) is then defined using MIRE as temporal modalities. We show that MIDL generalizes known extensions of MITL, while translating to timed automata at comparable cost

The economic impact of moderate stage Alzheimer's disease in Italy: Evidence from the UP-TECH randomized trial

Background: There is consensus that dementia is the most burdensome disease for modern societies. Few cost-of-illness studies examined the complexity of Alzheimer's disease (AD) burden, considering at the same time health and social care, cash allowances, informal care, and out-of-pocket expenditure by families. Methods: This is a comprehensive cost-of-illness study based on the baseline data from a randomized controlled trial (UP-TECH) enrolling 438 patients with moderate AD and their primary caregiver living in the community. Results: The societal burden of AD, composed of public, patient, and informal care costs, was about �20,000/yr. Out of this, the cost borne by the public sector was �4,534/yr. The main driver of public cost was the national cash-for-care allowance (�2,324/yr), followed by drug prescriptions (�1,402/yr). Out-of-pocket expenditure predominantly concerned the cost of private care workers. The value of informal care peaked at �13,590/yr. Socioeconomic factors do not influence AD public cost, but do affect the level of out-of-pocket expenditure. Conclusion: The burden of AD reflects the structure of Italian welfare. The families predominantly manage AD patients. The public expenditure is mostly for drugs and cash-for-care benefits. From a State perspective in the short term, the advantage of these care arrangements is clear, compared to the cost of residential care. However, if caregivers are not adequately supported, savings may be soon offset by higher risk of caregiver morbidity and mortality produced by high burden and stress. The study has been registered on the website www.clinicaltrials.org (Trial Registration number: NCT01700556). Copyright � International Psychogeriatric Association 2015

Molecular control of HIV-1 postintegration latency: implications for the development of new therapeutic strategies

The persistence of HIV-1 latent reservoirs represents a major barrier to virus eradication in infected patients under HAART since interruption of the treatment inevitably leads to a rebound of plasma viremia. Latency establishes early after infection notably (but not only) in resting memory CD4+ T cells and involves numerous host and viral trans-acting proteins, as well as processes such as transcriptional interference, RNA silencing, epigenetic modifications and chromatin organization. In order to eliminate latent reservoirs, new strategies are envisaged and consist of reactivating HIV-1 transcription in latently-infected cells, while maintaining HAART in order to prevent de novo infection. The difficulty lies in the fact that a single residual latently-infected cell can in theory rekindle the infection. Here, we review our current understanding of the molecular mechanisms involved in the establishment and maintenance of HIV-1 latency and in the transcriptional reactivation from latency. We highlight the potential of new therapeutic strategies based on this understanding of latency. Combinations of various compounds used simultaneously allow for the targeting of transcriptional repression at multiple levels and can facilitate the escape from latency and the clearance of viral reservoirs. We describe the current advantages and limitations of immune T-cell activators, inducers of the NF-κB signaling pathway, and inhibitors of deacetylases and histone- and DNA- methyltransferases, used alone or in combinations. While a solution will not be achieved by tomorrow, the battle against HIV-1 latent reservoirs is well- underway

Socioeconomic Predictors of the Employment of Migrant Care Workers by Italian Families Assisting Older Alzheimer's Disease Patients: Evidence from the Up-Tech Study

Background: The availability of family caregivers of older people is decreasing in Italy as the number of migrant care workers (MCWs) hired by families increases. There is little evidence on the influence of socioeconomic factors in the employment of MCWs. Method: We analyzed baseline data from 438 older people with moderate Alzheimer's disease (AD), and their family caregivers enrolled in the Up-Tech trial. We used bivariate analysis and multilevel regressions to investigate the association between independent variables - education, social class, and the availability of a care allowance - and three outcomes - employment of a MCW, hours of care provided by the primary family caregiver, and by the family network (primary and other family caregivers). Results: The availability of a care allowance and the educational level were independently associated with employing MCWs. A significant interaction between education and care allowance was found, suggesting that more educated families are more likely to spend the care allowance to hire a MCW. Discussion: Socioeconomic inequalities negatively influenced access both to private care and to care allowance, leading disadvantaged families to directly provide more assistance to AD patients. Care allowance entitlement needs to be reformed in Italy and in countries with similar long-term care and migration systems. � 2015 The Author 2015. Published by Oxford University Press on behalf of The Gerontological Society of America. All rights reserved