The heuristic strategies for assessing wireless sensor network: an event-based formal approach

Wireless Sensor Networks (WSNs) are increasingly being adopted in critical applications. In these networks undesired events may undermine the reliability level; thus their effects need to be properly assessed from the early stages of the development process onwards to minimize the chances of unexpected problems during use. In this paper we propose two heuristic strategies: what-if analysis and robustness checking. They allow to drive designers towards optimal WSN deployment solutions, from the point of view of the connection and data delivery resiliency, exploiting a formal approach based on the event calculus formal language. The heuristics are backed up by a support tool aimed to simplify their adoption by system designers. The tool allows to specify the target WSN in a user-friendly way and it is able to elaborate the two heuristic strategies by means of the event calculus specifications automatically generated. The WSN reliability is assessed computing a set of specific metrics. The effectiveness of the strategies is shown in the context of three case studies

Ultrasound imaging, a stethoscope for body composition assessment

Bone and muscle are two deeply interconnected organs and a strong relationship between them exists in their development and maintenance. The peak of both bone and muscle mass is achieved in early adulthood, followed by a progressive decline after the age of 40. The increase in life expectancy in developed countries resulted in an increase of degenerative diseases affecting the musculoskeletal system. Osteoporosis and sarcopenia represent a major cause of morbidity and mortality in the elderly population and are associated with a significant increase in healthcare costs. Several imaging techniques are currently available for the non-invasive investigation of bone and muscle mass and quality. Conventional radiology, dual energy X-ray absorptiometry (DXA), computed tomography (CT), magnetic resonance imaging (MRI) and ultrasound often play a complementary role in the study of osteoporosis and sarcopenia, depicting different aspects of the same pathology. This paper presents the different imaging modalities currently used for the investigation of bone and muscle mass and quality in osteoporosis and sarcopenia with special emphasis on the clinical applications and limitations of each technique and with the intent to provide interesting insights into recent advances in the field of conventional imaging, novel high-resolution techniques and fracture risk

Chemotherapeutic response to cisplatin-like drugs in human breast cancer cells probed by vibrational microspectroscopy

Studies of drug-cell interactions in cancer model systems are essential in the preclinical stage of rational drug design, which relies on a thorough understanding of the mechanisms underlying cytotoxic activity and biological effects, at a molecular level. This study aimed at applying complementary vibrational spectroscopy methods to evaluate the cellular impact of two Pt(ii) and Pd(ii) dinuclear chelates with spermine (Pt2Spm and Pd2Spm), using cisplatin (cis-Pt(NH3)2Cl2) as a reference compound. Their effects on cellular metabolism were monitored in a human triple-negative metastatic breast cancer cell line (MDA-MB-231) by Raman and synchrotron-radiation infrared microspectroscopies, for different drug concentrations (2-8 μM) at 48 h exposure. Multivariate data analysis was applied (unsupervised PCA), unveiling drug- and concentration-dependent effects: apart from discrimination between control and drug-treated cells, a clear separation was obtained for the different agents studied - mononuclear vs. polynuclear, and Pt(ii) vs. Pd(ii). Spectral biomarkers of drug action were identified, as well as the cellular response to the chemotherapeutic insult. The main effect of the tested compounds was found to be on DNA, lipids and proteins, the Pd(ii) agent having a more significant impact on proteins while its Pt(ii) homologue affected the cellular lipid content at lower concentrations, which suggests the occurrence of distinct and unconventional pathways of cytotoxicity for these dinuclear polyamine complexes. Raman and FTIR microspectroscopies were confirmed as powerful non-invasive techniques to obtain unique spectral signatures of the biochemical impact and physiological reaction of cells to anticancer agents

Improved Survival of HIV-1-Infected Patients with Progressive Multifocal Leukoencephalopathy Receiving Early 5-Drug Combination Antiretroviral Therapy

Progressive multifocal leukoencephalopathy (PML), a rare devastating demyelinating disease caused by the polyomavirus JC (JCV), occurs in severely immunocompromised patients, most of whom have advanced-stage HIV infection. Despite combination antiretroviral therapy (cART), 50% of patients die within 6 months of PML onset. We conducted a multicenter, open-label pilot trial evaluating the survival benefit of a five-drug cART designed to accelerate HIV replication decay and JCV-specific immune recovery.All the patients received an optimized cART with three or more drugs for 12 months, plus the fusion inhibitor enfuvirtide during the first 6 months. The main endpoint was the one-year survival rate. A total of 28 patients were enrolled. At entry, median CD4+ T-cell count was 53 per microliter and 86% of patients had detectable plasma HIV RNA and CSF JCV DNA levels. Seven patients died, all before month 4. The one-year survival estimate was 0.75 (95% confidence interval, 0.61 to 0.93). At month 6, JCV DNA was undetectable in the CSF of 81% of survivors. At month 12, 81% of patients had undetectable plasma HIV RNA, and the median CD4+ T-cell increment was 105 per microliter. In univariate analysis, higher total and naive CD4+ T-cell counts and lower CSF JCV DNA level at baseline were associated with better survival. JCV-specific functional memory CD4+ T-cell responses, based on a proliferation assay, were detected in 4% of patients at baseline and 43% at M12 (P = 0.008).The early use of five-drug cART after PML diagnosis appears to improve survival. This is associated with recovery of anti-JCV T-cell responses and JCV clearance from CSF. A low CD4+ T-cell count (particularly naive subset) and high JCV DNA copies in CSF at PML diagnosis appear to be risk factors for death.ClinicalTrials.gov NCT00120367

Coupling X-band dual-polarized mini-radars and hydro-meteorological forecast models: the HYDRORAD project

Abstract. Hydro-meteorological hazards like convective outbreaks leading to torrential rain and floods are among the most critical environmental issues world-wide. In that context weather radar observations have proven to be very useful in providing information on the spatial distribution of rainfall that can support early warning of floods. However, quantitative precipitation estimation by radar is subjected to many limitations and uncertainties. The use of dual-polarization at high frequency (i.e. X-band) has proven particularly useful for mitigating some of the limitation of operational systems, by exploiting the benefit of easiness to transport and deploy and the high spatial and temporal resolution achievable at small antenna sizes. New developments on X-band dual-polarization technology in recent years have received the interest of scientific and operational communities in these systems. New enterprises are focusing on the advancement of cost-efficient mini-radar network technology, based on high-frequency (mainly X-band) and low-power weather radar systems for weather monitoring and hydro-meteorological forecasting. Within the above context, the main objective of the HYDRORAD project was the development of an innovative \\mbox{integrated} decision support tool for weather monitoring and hydro-meteorological applications. The integrated system tool is based on a polarimetric X-band mini-radar network which is the core of the decision support tool, a novel radar products generator and a hydro-meteorological forecast modelling system that ingests mini-radar rainfall products to forecast precipitation and floods. The radar products generator includes algorithms for attenuation correction, hydrometeor classification, a vertical profile reflectivity correction, a new polarimetric rainfall estimators developed for mini-radar observations, and short-term nowcasting of convective cells. The hydro-meteorological modelling system includes the Mesoscale Model 5 (MM5) and the Army Corps of Engineers Hydrologic Engineering Center hydrologic and hydraulic modelling chain. The characteristics of this tool make it ideal to support flood monitoring and forecasting within urban environment and small-scale basins. Preliminary results, carried out during a field campaign in Moldova, showed that the mini-radar based hydro-meteorological forecasting system can constitute a suitable solution for local flood warning and civil flood protection applications

The role of morphological markedness in the processing of number and gender agreement in Spanish: an event-related potential investigation

Current morphological theory assumes that feature values, such as masculine and feminine or singular and plural, are asymmetrically represented. That is, one member of the opposition (e.g. feminine for gender, plural for number) is assumed to be marked, and the other one, unmarked. The present study examines how these asymmetries impact agreement resolution in Spanish. Agreement was manipulated between a noun acting as head of a relative clause and an adjective located inside the relative clause (e.g. catedral que parecía inmensa “cathedral that looked huge”). Half of the nouns were feminine (marked) and the other half, masculine (unmarked). Half of the nouns were used in the plural (marked) and the other half, in the singular (unmarked). Twenty-seven Spanish native speakers read 240 sentences while their brain activity was recorded with EEG and performed a grammaticality judgment. Results showed that both number and gender violations elicited a central-posterior P600, a component associated with syntactic repair, and a late anterior negativity, argued to reflect working memory costs. Only the P600 was affected by markedness. It started earlier for violations where the mismatching feature was marked. Moreover, it was larger for errors where the mismatching feature was marked, although this amplitude modulation only emerged for number, possibly due to differences in how number and gender cues were realized (i.e. both masculine and feminine showed overt inflection, but singular was uninflected relative to plural). These results suggest that the parser is sensitive to markedness asymmetries in the course of online processing

Impact of social determinants on antiretroviral therapy access and outcomes entering the era of universal treatment for people living with HIV in Italy

Background: Social determinants are known to be a driving force of health inequalities, even in high income countries. Aim of our study was to determine if these factors can limit antiretroviral therapy (ART) access, outcome and retention in care of people living with HIV (PLHIV) in Italy. Methods: All ART naïve HIV+ patients (pts) of Italian nationality enrolled in the ICONA Cohort from 2002 to 2016 were included. The association of socio-demographic characteristics (age, sex, risk factor for HIV infection, educational level, occupational status and residency area) with time to: ART initiation (from the first positive anti-HIV test), ART regimen discontinuation, and first HIV-RNA < 50 cp/mL, were evaluated by Cox regression analysis, Kaplan Meier method and log-rank test. Results: A total of 8023 HIV+ pts (82% males, median age at first pos anti-HIV test 36 years, IQR: 29-44) were included: 6214 (77.5%) started ART during the study period. Women, people who inject drugs (PWID) and residents in Southern Italy presented the lowest levels of education and the highest rate of unemployment compared to other groups. Females, pts aged > 50 yrs., unemployed vs employed, and people with lower educational levels presented the lowest CD4 count at ART initiation compared to other groups. The overall median time to ART initiation was 0.6 years (yrs) (IQR 0.1-3.7), with a significant decrease over time [2002-2006 = 3.3 yrs. (0.2-9.4); 2007-2011 = 1.0 yrs. (0.1-3.9); 2012-2016 = 0.2 yrs. (0.1-2.1), p < 0.001]. By multivariate analysis, females (p < 0.01) and PWID (p < 0.001), presented a longer time to ART initiation, while older people (p < 0.001), people with higher educational levels (p < 0.001), unemployed (p = 0.02) and students (p < 0.001) were more likely to initiate ART. Moreover, PWID, unemployed vs stable employed, and pts. with lower educational levels showed a lower 1-year probability of achieving HIV-RNA suppression, while females, older patients, men who have sex with men (MSM), unemployed had higher 1-year risk of first-line ART discontinuation. Conclusions: Despite median time to ART start decreased from 2002 to 2016, socio-demographic factors still contribute to disparities in ART initiation, outcome and durability

IFNβ Protects Neurons from Damage in a Murine Model of HIV-1 Associated Brain Injury.

Infection with human immunodeficiency virus-1 (HIV-1) causes brain injury. Type I interferons (IFNα/β) are critical mediators of any anti-viral immune response and IFNβ has been implicated in the temporary control of lentiviral infection in the brain. Here we show that transgenic mice expressing HIV-1 envelope glycoprotein 120 in their central nervous system (HIVgp120tg) mount a transient IFNβ response and provide evidence that IFNβ confers neuronal protection against HIVgp120 toxicity. In cerebrocortical cell cultures, neuroprotection by IFNβ against gp120 toxicity is dependent on IFNα receptor 1 (IFNAR1) and the β-chemokine CCL4, as IFNAR1 deficiency and neutralizing antibodies against CCL4, respectively, abolish the neuroprotective effects. We find in vivo that IFNβ mRNA is significantly increased in HIVgp120tg brains at 1.5, but not 3 or 6 months of age. However, a four-week intranasal IFNβ treatment of HIVgp120tg mice starting at 3.5 months of age increases expression of CCL4 and concomitantly protects neuronal dendrites and pre-synaptic terminals in cortex and hippocampus from gp120-induced damage. Moreover, in vivo and in vitro data suggests astrocytes are a major source of IFNβ-induced CCL4. Altogether, our results suggest exogenous IFNβ as a neuroprotective factor that has potential to ameliorate in vivo HIVgp120-induced brain injury

Infinitive Wh-relatives in romance : consequences for the truncation-versus-intervention debate

Romance clitic left dislocation is widespread across all kinds of nonroot contexts, but it is forbidden in infinitive wh-relatives. This article investigates the extent and nature of this restriction and the consequences it raises for the truncation and intervention analyses of the left periphery of embedded sentences. We will show that current proposals cannot account for the whole gamut of data. In consequence, we will propose that infinitive wh-relatives display a maximally syncretic left periphery, whereas infinitive wh-interrogatives have a full-fledged left periphery, crucially involving ForceP, because they are selected by a higher predicate. This crucial difference between infinitive relatives and interrogatives will also be shown to be consistent with the existence of specialized complementizers for the former but not the latte