Complex delay dynamics on railway networks: from universal laws to realistic modelling

Railways are a key infrastructure for any modern country. The reliability and resilience of this peculiar transportation system may be challenged by different shocks such as disruptions, strikes and adverse weather conditions. These events compromise the correct functioning of the system and trigger the spreading of delays into the railway network on a daily basis. Despite their importance, a general theoretical understanding of the underlying causes of these disruptions is still lacking. In this work, we analyse the Italian and German railway networks by leveraging on the train schedules and actual delay data retrieved during the year 2015. We use {these} data to infer simple statistical laws ruling the emergence of localized delays in different areas of the network and we model the spreading of these delays throughout the network by exploiting a framework inspired by epidemic spreading models. Our model offers a fast and easy tool for the preliminary assessment of the {effectiveness of} traffic handling policies, and of the railway {network} criticalities.Comment: 32 pages (with appendix), 28 Figures (with appendix), 2 Table

Worldwide Workshop on Youth Involvement as a Strategy for Social, Economic and Democratic Development

Summarizes January 2000 discussions on building capacity in the field of youth service. Explores connections with social capital, economic productivity, adolescent development, marginalized youth, civic engagement, and policy. Includes country summaries

Classical Tensors and Quantum Entanglement I: Pure States

The geometrical description of a Hilbert space asociated with a quantum system considers a Hermitian tensor to describe the scalar inner product of vectors which are now described by vector fields. The real part of this tensor represents a flat Riemannian metric tensor while the imaginary part represents a symplectic two-form. The immersion of classical manifolds in the complex projective space associated with the Hilbert space allows to pull-back tensor fields related to previous ones, via the immersion map. This makes available, on these selected manifolds of states, methods of usual Riemannian and symplectic geometry. Here we consider these pulled-back tensor fields when the immersed submanifold contains separable states or entangled states. Geometrical tensors are shown to encode some properties of these states. These results are not unrelated with criteria already available in the literature. We explicitly deal with some of these relations.Comment: 16 pages, 1 figure, to appear in Int. J. Geom. Meth. Mod. Phy

Coxiella burnetii Blocks Intracellular Interleukin-17 Signaling in Macrophages

Coxiella burnetii is an obligate intracellular bacterium and the etiological agent of Q fever. Successful host cell infection requires the Coxiella type IVB secretion system (T4BSS), which translocates bacterial effector proteins across the vacuole membrane into the host cytoplasm, where they manipulate a variety of cell processes. To identify host cell targets of Coxiella T4BSS effector proteins, we determined the transcriptome of murine alveolar macrophages infected with a Coxiella T4BSS effector mutant. We identified a set of inflammatory genes that are significantly upregulated in T4BSS mutant-infected cells compared to mock-infected cells or cells infected with wild-type (WT) bacteria, suggesting that Coxiella T4BSS effector proteins downregulate the expression of these genes. In addition, the interleukin-17 (IL-17) signaling pathway was identified as one of the top pathways affected by the bacteria. While previous studies demonstrated that IL-17 plays a protective role against several pathogens, the role of IL-17 during Coxiella infection is unknown. We found that IL-17 kills intracellular Coxiella in a dose-dependent manner, with the T4BSS mutant exhibiting significantly more sensitivity to IL-17 than WT bacteria. In addition, quantitative PCR confirmed the increased expression of IL-17 downstream signaling genes in T4BSS mutant-infected cells compared to WT- or mock-infected cells, including the proinflammatory cytokine genes Il1a, Il1b, and Tnfa, the chemokine genes Cxcl2 and Ccl5, and the antimicrobial protein gene Lcn2 We further confirmed that the Coxiella T4BSS downregulates macrophage CXCL2/macrophage inflammatory protein 2 and CCL5/RANTES protein levels following IL-17 stimulation. Together, these data suggest that Coxiella downregulates IL-17 signaling in a T4BSS-dependent manner in order to escape the macrophage immune response

Assessment of Vessel Density on Non-Contrast Computed Tomography to Detect Basilar Artery Occlusion

Introduction: Basilar artery occlusion (BAO) may be clinically occult due to variable and non-specific symptomatology. We evaluated the qualitative and quantitative determination of a hyperdense basilar artery (HDBA) on non-contrast computed tomography (NCCT) brain for the diagnosis of BAO.Methods: We conducted a case control study of patients with confirmed acute BAO vs a control group of suspected acute stroke patients without BAO. Two EM attending physicians, one third-year EM resident, and one medical student performed qualitative and quantitative assessments for the presence of a HDBA on axial NCCT images. Our primary outcome measures were sensitivity and specificity for BAO. Our secondary outcomes were inter-rater and intra-rater reliability of the qualitative and quantitative assessments.Results: We included 60 BAO and 65 control patients in our analysis. Qualitative assessment of the hyperdense basilar artery sign was poorly sensitive (54%–72%) and specific (55%–89%). Quantitative measurement improved the specificity of hyperdense basilar artery assessment for diagnosing BAO, with a threshold of 61.0–63.8 Hounsfield units demonstrating relatively high specificity of 85%–94%. There was moderate inter-rater agreement for the qualitative assessment of HDBA (Fleiss’ kappa statistic 0.508, 95% confidence interval: 0.435–0.581). Agreement improved for quantitative assessments, but still fell in the moderate range (Shrout-Fleiss intraclass correlation coefficient: 0.635). Intra-rater reliability for the quantitative assessments of the two attending physician reviewers demonstrated substantial consistency.Conclusion: Our results highlight the importance of carefully examining basilar artery density when interpreting the NCCT of patients with altered consciousness or other signs and symptoms concerning for an acute basilar artery occlusion. If the Hounsfield unit density of the basilar artery exceeds 61 Hounsfield units, BAO should be highly suspected

Using step width to compare locomotor biomechanics between extinct, non-avian theropod dinosaurs and modern obligate bipeds

How extinct, non-avian theropod dinosaurs locomoted is a subject of considerable interest, as is the manner in which it evolved on the line leading to birds. Fossil footprints provide the most direct evidence for answering these questions. In this study, step width—the mediolateral (transverse) distance between successive footfalls—was investigated with respect to speed (stride length) in non-avian theropod trackways of Late Triassic age. Comparable kinematic data were also collected for humans and 11 species of ground-dwelling birds. Permutation tests of the slope on a plot of step width against stride length showed that step width decreased continuously with increasing speed in the extinct theropods (p < 0.001), as well as the five tallest bird species studied (p < 0.01). Humans, by contrast, showed an abrupt decrease in step width at the walk–run transition. In the modern bipeds, these patterns reflect the use of either a discontinuous locomotor repertoire, characterized by distinct gaits (humans), or a continuous locomotor repertoire, where walking smoothly transitions into running (birds). The non-avian theropods are consequently inferred to have had a continuous locomotor repertoire, possibly including grounded running. Thus, features that characterize avian terrestrial locomotion had begun to evolve early in theropod history

Advanced Automata Minimization

We present an efficient algorithm to reduce the size of nondeterministic Buchi word automata, while retaining their language. Additionally, we describe methods to solve PSPACE-complete automata problems like universality, equivalence and inclusion for much larger instances (1-3 orders of magnitude) than before. This can be used to scale up applications of automata in formal verification tools and decision procedures for logical theories. The algorithm is based on new transition pruning techniques. These use criteria based on combinations of backward and forward trace inclusions. Since these relations are themselves PSPACE-complete, we describe methods to compute good approximations of them in polynomial time. Extensive experiments show that the average-case complexity of our algorithm scales quadratically. The size reduction of the automata depends very much on the class of instances, but our algorithm consistently outperforms all previous techniques by a wide margin. We tested our algorithm on Buchi automata derived from LTL-formulae, many classes of random automata and automata derived from mutual exclusion protocols, and compared its performance to the well-known automata tool GOAL.Comment: 15 page

Post-Prior discrepancies in CDW-EIS calculations for ion impact ionization fully differential cross sections

In this work we present fully differential cross sections (FDCSs) calculations using post and prior version of CDW--EIS theory for helium single ionization by 100 MeV C$^{6+}$ amu$^{-1}$ and 3.6 MeV amu$^{-1}$ Au$^{24+}$ and Au$^{53+}$ ions. We performed our calculations for different momentum transfer and ejected electron energies. The influence of internuclear potential on the ejected electron spectra is taken into account in all cases. We compare our calculations with absolute experimental measurements. It is shown that prior version calculations give better agreement with experiments in almost all studied cases.Comment: 9 pages, 7 figure