Solving Parity Games in Scala

Parity games are two-player games, played on directed graphs, whose nodes are labeled with priorities. Along a play, the maximal priority occurring infinitely often determines the winner. In the last two decades, a variety of algorithms and successive optimizations have been proposed. The majority of them have been implemented in PGSolver, written in OCaml, which has been elected by the community as the de facto platform to solve efficiently parity games as well as evaluate their performance in several specific cases. PGSolver includes the Zielonka Recursive Algorithm that has been shown to perform better than the others in randomly generated games. However, even for arenas with a few thousand of nodes (especially over dense graphs), it requires minutes to solve the corresponding game. In this paper, we deeply revisit the implementation of the recursive algorithm introducing several improvements and making use of Scala Programming Language. These choices have been proved to be very successful, gaining up to two orders of magnitude in running time

Synchronization of moving integrate and fire oscillators

We present a model of integrate and fire oscillators that move on a plane. The phase of the oscillators evolves linearly in time and when it reaches a threshold value they fire choosing their neighbors according to a certain interaction range. Depending on the velocity of the ballistic motion and the average number of neighbors each oscillator fires to, we identify different regimes shown in a phase diagram. We characterize these regimes by means of novel parameters as the accumulated number of contacted neighbors.Comment: 9 pages, 5 figure

Stochastic cash flows modelled by homogeneous and non-homogeneous discrete time backward semi-Markov reward processes

The main aim of this paper is to give a systematization on the stochastic cash flows evolution. The tools that are used for this purpose are discrete time semi-Markov reward processes. The paper is directed not only to semi-Markov researchers but also to a wider public, presenting a full treatment of these tools both in homogeneous and non-homogeneous environment. The main result given in the paper is the natural correspondence of the stochastic cash flows with the semi-Markov reward processes. Indeed, the semi-Markov environment gives the possibility to follow a multi-state random system in which the randomness is not only in the transition to the next state but also in the time of transition. Furthermore, rewards permit the introduction of a financial environment into the model. Considering all these properties, any stochastic cash flow can be naturally modelled by means of semi-Markov reward processes. The backward case offers the possibility of considering in a complete way the duration inside a state of the studied system and this fact can be very useful in the evaluation of insurance contract

Tuning synchronization of integrate-and-fire oscillators through mobility

We analyze the emergence of synchronization in a population of moving integrate-and-fire oscillators. Oscillators, while moving on a plane, interact with their nearest neighbor upon firing time. We discover a nonmonotonic dependence of the synchronization time on the velocity of the agents. Moreover, we find that mechanisms that drive synchronization are different for different dynamical regimes. We report the extreme situation where an interplay between the time scales involved in the dynamical processes completely inhibits the achievement of a coherent state. We also provide estimators for the transitions between the different regimes

Extracting topological features from dynamical measures in networks of Kuramoto oscillators

The Kuramoto model for an ensemble of coupled oscillators provides a paradigmatic example of non-equilibrium transitions between an incoherent and a synchronized state. Here we analyze populations of almost identical oscillators in arbitrary interaction networks. Our aim is to extract topological features of the connectivity pattern from purely dynamical measures, based on the fact that in a heterogeneous network the global dynamics is not only affected by the distribution of the natural frequencies, but also by the location of the different values. In order to perform a quantitative study we focused on a very simple frequency distribution considering that all the frequencies are equal but one, that of the pacemaker node. We then analyze the dynamical behavior of the system at the transition point and slightly above it, as well as very far from the critical point, when it is in a highly incoherent state. The gathered topological information ranges from local features, such as the single node connectivity, to the hierarchical structure of functional clusters, and even to the entire adjacency matrix.Comment: 11 pages, 10 figure

Campylobacter jejuni fatal sepsis in a patient with non-Hodgkin’s lymphoma: Case report and literature review of a difficult diagnosis

Campylobacter jejuni (C. jejuni) bacteremia is difficult to diagnose in individuals with hematological disorders undergoing chemotherapy. The cause can be attributed to the rarity of this infection, to the variable clinical presentation, and to the partial overlapping symptoms underlying the disease. Here, we report a case of a fatal sepsis caused by C. jejuni in a 76-year-old Caucasian man with non-Hodgkin's lymphoma. After chemotherapeutic treatment, the patient experienced fever associated with severe neutropenia and thrombocytopenia without hemodynamic instability, abdominal pain, and diarrhea. The slow growth of C. jejuni in the blood culture systems and the difficulty in identifying it with conventional biochemical phenotyping methods contributed to the delay of administering a targeted antimicrobial treatment, leading to a fatal outcome. Early recognition and timely intervention are critical for the successful management of C. jejuni infection. Symptoms may be difficult to recognize in immunocompromised patients undergoing chemotherapy. Thus, it is important to increase physician awareness regarding the clinical manifestations of C. jejuni to improve therapeutic efficacy. Moreover, the use of more aggressive empirical antimicrobial treatments with aminoglycosides and/or carbapenems should be considered in immunosuppressed patients, in comparison to those currently indicated in the guidelines for cancer-related infections supporting the use of cephalosporins as monotherapy

The Emerging Role of Microbial Biofilm in Lyme Neuroborreliosis

Lyme borreliosis (LB) is the most common tick-borne disease caused by the spirochete Borrelia burgdorferi in North America and Borrelia afzelii or Borrelia garinii in Europe and Asia, respectively. The infection affects multiple organ systems, including the skin, joints, and the nervous system. Lyme neuroborreliosis (LNB) is the most dangerous manifestation of Lyme disease, occurring in 10-15% of infected individuals. During the course of the infection, bacteria migrate through the host tissues altering the coagulation and fibrinolysis pathways and the immune response, reaching the central nervous system (CNS) within 2 weeks after the bite of an infected tick. The early treatment with oral antimicrobials is effective in the majority of patients with LNB. Nevertheless, persistent forms of LNB are relatively common, despite targeted antibiotic therapy. It has been observed that the antibiotic resistance and the reoccurrence of Lyme disease are associated with biofilm-like aggregates in B. burgdorferi, B. afzelii, and B. garinii, both in vitro and in vivo, allowing Borrelia spp. to resist to adverse environmental conditions. Indeed, the increased tolerance to antibiotics described in the persisting forms of Borrelia spp., is strongly reminiscent of biofilm growing bacteria, suggesting a possible role of biofilm aggregates in the development of the different manifestations of Lyme disease including LNB

Biofilm is a major virulence determinant in bacterial colonization of chronic skin ulcers independently from the multidrug resistant phenotype

Bacterial biofilm is a major factor in delayed wound healing and high levels of biofilm production have been repeatedly described in multidrug resistant organisms (MDROs). Nevertheless, a quantitative correlation between biofilm production and the profile of antimicrobial drug resistance in delayed wound healing remains to be determined. Microbial identification, antibiotic susceptibility and biofilm production were assessed in 135 clinical isolates from 87 patients. Gram-negative bacteria were the most represented microorganisms (60.8%) with MDROs accounting for 31.8% of the total isolates. Assessment of biofilm production revealed that 80% of the strains were able to form biofilm. A comparable level of biofilm production was found with both MDRO and not-MDRO with no significant differences between groups. All the methicillin-resistant Staphylococcus aureus (MRSA) and 80% of Pseudomonas aeruginosa MDR strains were found as moderate/high biofilm producers. Conversely, less than 17% of Klebsiella pneumoniae extended-spectrum beta-lactamase (ESBL), Escherichia coli-ESBL and Acinetobacter baumannii were moderate/high biofilm producers. Notably, those strains classified as non-biofilm producers, were always associated with biofilm producer bacteria in polymicrobial colonization. This study shows that biofilm producers were present in all chronic skin ulcers, suggesting that biofilm represents a key virulence determinant in promoting bacterial persistence and chronicity of ulcerative lesions independently from the MDRO phenotype