1,738 research outputs found

    Equality of Corecursive Streams Defined by Finitary Equational Systems

    Get PDF
    In recent work, non-regular streams have been defined corecursively, by representing them with finitary equational systems built on top of various operators, besides the standard constructor. With finitary equational systems based only on the stream constructor, one can use the free theory of regular (a.k.a. rational) trees to get a sound and complete procedure to decide whether two streams are equal. However, this is not the case if one allows other operators in equations, since the underlying equational theory becomes non-trivial, hence equality of regular trees is too strong to guarantee termination of corecursive functions defined even only with the constructor and tail operators. To overcome this problem, we provide a weaker definition of equality between streams denoted by finitary equational systems built on different stream operators, including tail operator and constructor, and prove its soundness

    Enhancing Expressivity of Checked Corecursive Streams

    Get PDF
    We propose a novel approach to stream definition and manipulation. Our solution is based on two key ideas. Regular corecursion, which avoids non termination by detecting cyclic calls, is enhanced, by allowing in equations defining streams other operators besides the stream constructor. In this way, some non-regular streams are definable. Furthermore, execution includes a runtime check to ensure that the stream generated by a function call is well-defined, in the sense that access to an arbitrary index always succeeds. We extend the technique beyond the simple stream operators considered in previous work, notably by adding an interleaving combinator which has a non-trivial recursion scheme

    Biomarkers of aging in HIV: inflammation and the microbiome

    Get PDF
    Purpose: HIV-infected subjects present increased levels of inflammatory cytokines and T cell activation in the peripheral blood despite suppressive combination antiretroviral therapy which renders them susceptible to premature aging. The purpose of the present work was to review existing evidence on the ways in which the anatomical and microbiological abnormalities of the gastrointestinal tract can represent a major cause of organ disease in HIV infection. Methods: We conducted a systematic review of the Pubmed database for articles published from 2014 to 2018. We included studies on inflammatory/activation biomarkers associated with cardiovascular and bone disease, neurocognitive impairment and serious non-AIDS events in HIV-infected subjects. We also included researches which linked peripheral inflammation/activation to the anatomical, immune and microbiological alterations of the gastrointestinal tract. Results: Recent literature data confirm the association between non-infectious comorbidities and inflammation in HIV infection which may be driven by gastrointestinal tract abnormalities, specifically microbial translocation and dysbiosis. Furthermore, there is mounting evidence on the possible role of metabolic functions of the microbiota in the pathogenesis of premature aging in the HIV-infected population. Conclusions: Biomarkers need to be validated for their use in the management of HIV infection. Compounds which counteract microbial translocation, inflammation and dysbiosis have been investigated as alternative therapeutic strategies in viro-suppressed HIV-infected individuals, but appear to have limited efficacy, probably due to the multifactorial pathogenesis of non-infectious comorbidities in this setting

    Corecursive featherweight Java revisited

    Get PDF
    We describe a Java-like calculus which supports cyclic data structures, and offers a mechanism of flexible regular corecursion for their manipulation. The calculus enhances an earlier proposal by a more sophisticated reduction semantics, which filters out, by an additional check, some spurious results which were obtained in the previous model

    First record of Ozognathus cornutus (LeConte, 1859) (Coleoptera Ptinidae) from Sardinia, Italy.

    Get PDF
    Ozognathus cornutus (LeConte, 1859) is recorded on the invasive alien tree Robinia pseudocacia L. (Fabaceae) in an urban area in Italy. The species has already been reported in two other Italian regions, but this is the first record for the Sardinian fauna. Due to the great adaptability of this alien species and the increasingly cosmopolitan trend, we suggest monitoring it with caution for early detection and to plan an appropriate rapid management response

    Perceived Readiness for Hospital Discharge in Adult Medical-Surgical Patients

    Get PDF
    Purpose: The purpose of the study was to identify predictors and outcomes of adult medical-surgical patients\u27 perceptions of their readiness for hospital discharge. Design: A correlational, prospective, longitudinal design with path analyses was used to explore relationships among transition theory-related variables. Setting: Midwestern tertiary medical center. Sample: 147 adult medical-surgical patients. Methods: Predictor variables included patient characteristics, hospitalization factors, and nursing practices that were measured prior to hospital discharge using a study enrollment form, the Quality of Discharge Teaching Scale, and the Care Coordination Scale. Discharge readiness was measured using the Readiness for Hospital Discharge Scale administered within 4 hours prior to discharge. Outcomes were measured 3 weeks postdischarge with the Post-Discharge Coping Difficulty Scale and self-reported utilization of health services. Findings: Living alone, discharge teaching (amount of content received and nurses\u27 skill in teaching delivery), and care coordination explained 51% of readiness for discharge score variance. Patient age and discharge readiness explained 16% of variance in postdischarge coping difficulty. Greater readiness for discharge was predictive of fewer readmissions. Conclusions: Quality of the delivery of discharge teaching was the strongest predictor of discharge readiness. Study results provided support for Meleis\u27 transitions theory as a useful model for conceptualizing and investigating the discharge transition. Implications for Practice: The study results have implications for the CNS role in patient and staff education, system building for the postdischarge transition, and measurement of clinical care outcomes

    Discovering granger-causal features from deep learning networks

    Full text link
    © Springer Nature Switzerland AG 2018. In this research, we propose deep networks that discover Granger causes from multivariate temporal data generated in financial markets. We introduce a Deep Neural Network (DNN) and a Recurrent Neural Network (RNN) that discover Granger-causal features for bivariate regression on bivariate time series data distributions. These features are subsequently used to discover Granger-causal graphs for multivariate regression on multivariate time series data distributions. Our supervised feature learning process in proposed deep regression networks has favourable F-tests for feature selection and t-tests for model comparisons. The experiments, minimizing root mean squared errors in the regression analysis on real stock market data obtained from Yahoo Finance, demonstrate that our causal features significantly improve the existing deep learning regression models

    Focusing on the role of abiotic and biotic drivers on cross-taxon congruence

    Get PDF
    Diversity patterns can show congruence across taxonomic groups. Consistent diversity patterns allow the identification of indicator surrogates potentially representative of unobserved taxa or the broader biodiversity patterns. However, the effective use of biodiversity surrogates depends on underlying mechanisms driving the strength of the relationship among taxonomic groups. Here, we explored congruence patterns in community composition among taxa occupying different trophic levels, accounting for abiotic and biotic factors: vascular plants and six groups of ground-dwelling arthropods (pseudoscorpions, spiders, darkling beetles, rove beetles, ground beetles and ants) were chosen as potential indicator surrogates. We evaluated the cross-taxon relationships using Mantel test; subsequently, we investigated if these relationships could partially depend on abiotic drivers, using partial Mantel tests; then, we evaluated the partial contributions of abiotic and biotic drivers in explaining these relationships through a series of variation partitioning analyses. Our results showed that a consistent cross-taxon congruence pattern was evident across almost all group pairs: pseudoscorpions, spiders, ground beetles and vascular plants showed the largest number of significant correlations with other taxa. Environmental gradients resulted as drivers of cross-taxon congruence, shaping composition patterns. However, they were not the only ones. Biotic drivers account for part of cross-taxon congruence among vascular plants and arthropod predators (i.e., pseudoscorpions and spiders, but also ground beetles), as well as among taxa at high trophic levels. Almost all strictly predatory taxa, known as biological control agents, emerged as the best predictors of plant community composition even when the role of environmental factors was considered. Spiders/ants and spiders/ground beetles showed close relationships and congruent composition patterns, irrespective of environmental parameters. Relationships among taxa might be driven by several complex biotic interactions (e.g., non-trophic and trophic interactions, direct and indirect interactions). Bottom-up and top-down forces, consumptive and non-consumptive interactions may play a role in influencing the community composition of taxa and driving the observed relationships. Future studies should broaden knowledge about the role of these forces and interactions in determining the congruence across taxa. The multi-trophic perspective in cross-taxon studies can be promising for identifying biodiversity surrogates and their application in conservation planning
    corecore