Modeling Time in Computing: A Taxonomy and a Comparative Survey

The increasing relevance of areas such as real-time and embedded systems, pervasive computing, hybrid systems control, and biological and social systems modeling is bringing a growing attention to the temporal aspects of computing, not only in the computer science domain, but also in more traditional fields of engineering. This article surveys various approaches to the formal modeling and analysis of the temporal features of computer-based systems, with a level of detail that is suitable also for non-specialists. In doing so, it provides a unifying framework, rather than just a comprehensive list of formalisms. The paper first lays out some key dimensions along which the various formalisms can be evaluated and compared. Then, a significant sample of formalisms for time modeling in computing are presented and discussed according to these dimensions. The adopted perspective is, to some extent, historical, going from "traditional" models and formalisms to more modern ones.Comment: More typos fixe

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

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