The Cost of Monitoring Alone

We compare the succinctness of two monitoring systems for properties of infinite traces, namely parallel and regular monitors. Although a parallel monitor can be turned into an equivalent regular monitor, the cost of this transformation is a double-exponential blowup in the syntactic size of the monitors, and a triple-exponential blowup when the goal is a deterministic monitor. We show that these bounds are tight and that they also hold for translations between corresponding fragments of Hennessy-Milner logic with recursion over infinite traces.Comment: 22 page

Robustness of Equations Under Operational Extensions

Sound behavioral equations on open terms may become unsound after conservative extensions of the underlying operational semantics. Providing criteria under which such equations are preserved is extremely useful; in particular, it can avoid the need to repeat proofs when extending the specified language. This paper investigates preservation of sound equations for several notions of bisimilarity on open terms: closed-instance (ci-)bisimilarity and formal-hypothesis (fh-)bisimilarity, both due to Robert de Simone, and hypothesis-preserving (hp-)bisimilarity, due to Arend Rensink. For both fh-bisimilarity and hp-bisimilarity, we prove that arbitrary sound equations on open terms are preserved by all disjoint extensions which do not add labels. We also define slight variations of fh- and hp-bisimilarity such that all sound equations are preserved by arbitrary disjoint extensions. Finally, we give two sets of syntactic criteria (on equations, resp. operational extensions) and prove each of them to be sufficient for preserving ci-bisimilarity.Comment: In Proceedings EXPRESS'10, arXiv:1011.601

Fixation of genetic variation and optimization of gene expression: The speed of evolution in isolated lizard populations undergoing Reverse Island Syndrome

The ecological theory of island biogeography suggests that mainland populations should be more genetically divergent from those on large and distant islands rather than from those on small and close islets. Some island populations do not evolve in a linear way, but the process of divergence occurs more rapidly because they undergo a series of phenotypic changes, jointly known as the Island Syndrome. A special case is Reversed Island Syndrome (RIS), in which populations show drastic phenotypic changes both in body shape, skin colouration, age of sexual maturity, aggressiveness, and food intake rates. The populations showing the RIS were observed on islets nearby mainland and recently raised, and for this they are useful models to study the occurrence of rapid evolutionary change. We investigated the timing and mode of evolution of lizard populations adapted through selection on small islets. For our analyses, we used an ad hoc model system of three populations: wild-type lizards from the mainland and insular lizards from a big island (Capri, Italy), both Podarcis siculus siculus not affected by the syndrome, and a lizard population from islet (Scopolo) undergoing the RIS (called P. s. coerulea because of their melanism). The split time of the big (Capri) and small (Scopolo) islands was determined using geological events, like sea-level rises. To infer molecular evolution, we compared five complete mitochondrial genomes for each population to reconstruct the phylogeography and estimate the divergence time between island and mainland lizards. We found a lower mitochondrial mutation rate in Scopolo lizards despite the phenotypic changes achieved in approximately 8,000 years. Furthermore, transcriptome analyses showed significant differential gene expression between islet and mainland lizard populations, suggesting the key role of plasticity in these unpredictable environments

Diagnosis of centrocestus formosanus infection in zebrafish (Danio rerio) in Italy: A window to a new globalization-derived invasive microorganism

Centrocestus formosanus is a digenetic trematode with a complex life cycle, involving invertebrate and vertebrate hosts, humans included. In particular, it causes gill lesions and mortality in freshwater fish species, and gastrointestinal symptoms in infected humans. Here, we describe the occurrence of C. formosanus infection in zebrafish imported in Italy and propose a newly designed species-specific primer pair to ameliorate the diagnostic investigations for C. formosanus. Gill arches of 30 zebrafish were examined for the presence of encysted metacercariae under a stereomicroscope and processed through molecular analyses targeting the ribosomal internal transcribed sequence 2 (ITS2). Although C. formosanus distribution was originally restricted to Asia, it has been subsequently reported in new countries, revealing itself as an invasive species and raising important concerns for biodiversity, economy, scientific research, as well as animal and public health. Given the crucial role played by the ornamental fish industry in spreading this parasite, there is an urgent need for control measures to prevent the introduction and establishment of C. formosanus in non-endemic areas, including Europe. We also suggest developing new strategies in microbiology and epidemiology to better explore this new globalization-derived invasive species

Relationship between blood remifentanil concentration and stress hormone levels during pneumoperitoneum in patients undergoing laparoscopic cholecystectomy

The effect of remifentanil on stress response to surgery is unclear. However, there are not clinical studies investigating the relationship between blood remifentanil concentrations and stress hormones. Therefore, the aim of the present study was to assess the association between blood remifentanil concentrations measured after pneumoperitoneum and cortisol (CORT) or prolactin (PRL) ratio (intraoperative/preoperative value), in patients undergoing laparoscopic cholecystectom

CONCUR Test-Of-Time Award 2020 Announcement

This short article announces the recipients of the CONCUR Test-of-Time Award 2020