Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce

Modern complex software systems produce a large amount of execution data, often stored in logs. These logs can be analyzed using trace checking techniques to check whether the system complies with its requirements specifications. Often these specifications express quantitative properties of the system, which include timing constraints as well as higher-level constraints on the occurrences of significant events, expressed using aggregate operators. In this paper we present an algorithm that exploits the MapReduce programming model to check specifications expressed in a metric temporal logic with aggregating modalities, over large execution traces. The algorithm exploits the structure of the formula to parallelize the evaluation, with a significant gain in time. We report on the assessment of the implementation - based on the Hadoop framework - of the proposed algorithm and comment on its scalability.Comment: 16 pages, 6 figures, Extended version of the SEFM 2014 pape

AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications

We present AIOCJ, a framework for programming distributed adaptive applications. Applications are programmed using AIOC, a choreographic language suited for expressing patterns of interaction from a global point of view. AIOC allows the programmer to specify which parts of the application can be adapted. Adaptation takes place at runtime by means of rules, which can change during the execution to tackle possibly unforeseen adaptation needs. AIOCJ relies on a solid theory that ensures applications to be deadlock-free by construction also after adaptation. We describe the architecture of AIOCJ, the design of the AIOC language, and an empirical validation of the framework.Comment: Technical Repor

Blocking Zika virus vertical transmission.

The outbreak of the Zika virus (ZIKV) has been associated with increased incidence of congenital malformations. Although recent efforts have focused on vaccine development, treatments for infected individuals are needed urgently. Sofosbuvir (SOF), an FDA-approved nucleotide analog inhibitor of the Hepatitis C (HCV) RNA-dependent RNA polymerase (RdRp) was recently shown to be protective against ZIKV both in vitro and in vivo. Here, we show that SOF protected human neural progenitor cells (NPC) and 3D neurospheres from ZIKV infection-mediated cell death and importantly restored the antiviral immune response in NPCs. In vivo, SOF treatment post-infection (p.i.) decreased viral burden in an immunodeficient mouse model. Finally, we show for the first time that acute SOF treatment of pregnant dams p.i. was well-tolerated and prevented vertical transmission of the virus to the fetus. Taken together, our data confirmed SOF-mediated sparing of human neural cell types from ZIKV-mediated cell death in vitro and reduced viral burden in vivo in animal models of chronic infection and vertical transmission, strengthening the growing body of evidence for SOF anti-ZIKV activity

Comparative study: the effect of annealing conditions on the properties of P3HT:PCBM blends

This paper presents a detailed study on the role of various annealing treatments on organic poly(3-hexylthiophene) and [6]-phenyl-C61-butyric acid methyl ester blends under different experimental conditions. A combination of analytical tools is used to study the alteration of the phase separation, structure and photovoltaic properties of the P3HT:PCBM blend during the annealing process. Results showed that the thermal annealing yields PCBM ‘‘needle-like’’ crystals and that prolonged heat treatment leads to extensive phase separation, as demonstrated by the growth in the size and quantity of PCBM crystals. The substrate annealing method demonstrated an optimal morphology by eradicating and suppressing the formation of fullerene clusters across the film, resulting in longer P3HT fibrils with smaller diameter. Improved optical constants, PL quenching and a decrease in the P3HT optical bad-gap were demonstrated for the substrate annealed films due to the limited diffusion of the PCBM molecules. An effective strategy for determining an optimized morphology through substrate annealing treatment is therefore revealed for improved device efficiency.Web of Scienc

Active Coordination in Ad Hoc Networks

Abstract. The increasing ubiquity of communicating mobile devices and vastly different mobile application needs have led to the emergence of middleware models for ad hoc networks that simplify application pro-gramming. One such system, EgoSpaces, addresses specific needs of indi-vidual applications, allowing them to define what data is included in their operating context using declarative specifications constraining properties of data, agents that own the data, hosts on which those agents are run-ning, and attributes of the ad hoc network. In the resulting coordination model, application agents interact with a dynamically changing environ-ment through a set of views, or custom defined projections of the set of data present in the surrounding ad hoc network. This paper builds on EgoSpaces by allowing agents to assign behaviors to their personal-ized views. Behaviors consist of actions that are automatically performed in response to specified changes in a view. Behaviors discussed in this paper encompass reactive programming, transparent data migration, au-tomatic data duplication, and event capture. Formal semantic definitions and programming examples are given for each behavior.

Author Correction: Blocking Zika virus vertical transmission.

A correction to this article has been published and is linked from the HTML and PDF versions of this paper. The error has not been fixed in the paper

Query Rewriting in RDF Stream Processing

Querying and reasoning over RDF streams are two increasingly relevant areas in the broader scope of processing structured data on the Web. While RDF Stream Processing (RSP) has focused so far on extending SPARQL for continuous query and event processing, stream reasoning has concentrated on ontology evolution and incremental materialization. In this paper we propose a different approach for querying RDF streams over ontologies, based on the combination of query rewriting and stream processing. We show that it is possible to rewrite continuous queries over streams of RDF data, while maintaining efficiency for a wide range of scenarios. We provide a detailed description of our approach, as well as an implementation, StreamQR, which is based on the kyrie rewriter, and can be coupled with a native RSP engine, namely CQELS. Finally, we show empirical evidence of the performance of StreamQR in a series of experiments based on the SRBench query set

Survival and Recurrence of Endocarditis following Mechanical vs. Biological Aortic Valve Replacement for Endocarditis in Patients Aged 40 to 65 Years: Data from the INFECT-Registry

Background: Infective endocarditis (IE) is a serious disease, and in many cases, surgery is necessary. Whether the type of prosthesis implanted for aortic valve replacement (AVR) for IE impacts patient survival is a matter of debate. The aim of the present study is to quantify differences in long-term survival and recurrence of endocarditis AVR for IE according to prosthesis type among patients aged 40 to 65 years. Methods: This was an analysis of the INFECT-REGISTRY. Trends in proportion to the use of mechanical prostheses versus biological ones over time were tested by applying the sieve bootstrapped t-test. Confounders were adjusted using the optimal full-matching propensity score. The difference in overall survival was compared using the Cox model, whereas the differences in recurrence of endocarditis were evaluated using the Gray test. Results: Overall, 4365 patients were diagnosed and operated on for IE from 2000 to 2021. Of these, 549, aged between 40 and 65 years, underwent AVR. A total of 268 (48.8%) received mechanical prostheses, and 281 (51.2%) received biological ones. A significant trend in the reduction of implantation of mechanical vs. biological prostheses was observed during the study period (p < 0.0001). Long-term survival was significantly higher among patients receiving a mechanical prosthesis than those receiving a biological prosthesis (hazard ratio [HR] 0.546, 95% CI: 0.322–0.926, p = 0.025). Mechanical prostheses were associated with significantly less recurrent endocarditis after AVR than biological prostheses (HR 0.268, 95%CI: 0.077–0.933, p = 0.039). Conclusions: The present analysis of the INFECT-REGISTRY shows increased survival and reduced recurrence of endocarditis after a mechanical aortic valve prosthesis implant for IE in middle-aged patients