20,456 research outputs found

    Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription

    Full text link
    Circumscription is a representative example of a nonmonotonic reasoning inference technique. Circumscription has often been studied for first order theories, but its propositional version has also been the subject of extensive research, having been shown equivalent to extended closed world assumption (ECWA). Moreover, entailment in propositional circumscription is a well-known example of a decision problem in the second level of the polynomial hierarchy. This paper proposes a new Boolean Satisfiability (SAT)-based algorithm for entailment in propositional circumscription that explores the relationship of propositional circumscription to minimal models. The new algorithm is inspired by ideas commonly used in SAT-based model checking, namely counterexample guided abstraction refinement. In addition, the new algorithm is refined to compute the theory closure for generalized close world assumption (GCWA). Experimental results show that the new algorithm can solve problem instances that other solutions are unable to solve

    Mobility in the built environment: age-related changes in gait characteristics when walking on complex terrain

    Get PDF
    BACKGROUND: An understanding of how common features in the built environment influence how people walk is needed to maintain mobility for older people. METHODS: The study included 71 healthy subjects with an age range of 18 to 92 years. Using inertial measurement units, participants’ gaits were assessed while walking across a complex terrain created in a controlled laboratory environment. RESULTS: Participants found stair climbing and stepping on obstacles to be the most challenging activities, as judged by step time. These activities also showed the most significant age-related changes, with significant effects in both step time and shank angle at touch down being observed from around the age of 60 years. CONCLUSIONS: The changes observed in this study are consistent with decreasing muscle power causing limited ability to negotiate stairs

    Home Food Production Before, During and Since Start of the COVID-19 Pandemic in Northern New England

    Get PDF
    This brief details the results from three separate surveys of Northern New Englanders in Maine and Vermont in summer 2020, spring 2021, and spring 2022. A survey was conducted in summer of 2020 to understand the initial and continued impacts of the COVID-19 pandemic on food security, diet, and health outcomes. Two additional surveys were conducted using the same methods in spring 2021 and 2022 to continue to assess changes during the pandemic. All surveys were representative of the state populations on race and ethnicity and the data presented in this brief were weighted to be representative of income in both states. Collectively, the surveys represent more than 3,000 individuals. Key results include:1. Home Food Production (HFP) is common and has continued to increase among respondents since the beginning of the pandemic. Among respondents, 32% participated in HFP in 2020, 59% in 2021, and 65% in 2022. 2. The most common HFP activities in 2022 were gardening (48%) and food preservation (34%). 3. Food insecurity has been variable across years: 40% of households were food insecure in 2020, 31% of households were food insecure in 2021, and 39% of respondents were food insecure in 2022. 4. Food insecure households were more likely to participate in HFP (especially fishing, foraging, hunting, and raising animals for meat, dairy or eggs) compared to food secure households across all three surveys. 5. Pests (63%), weather (60%), and money for equipment or supplies (58%) were the biggest barriers for people participating in any HFP

    A hydrodynamical halo model for weak-lensing cross correlations

    Get PDF
    On the scale of galactic haloes, the distribution of matter in the cosmos is affected by energetic, non-gravitational processes; so-called baryonic feedback. A lack of knowledge about the details of how feedback processes redistribute matter is a source of uncertainty for weak-lensing surveys, which accurately probe the clustering of matter in the Universe over a wide range of scales. We develop a cosmology-dependent model for the matter distribution that simultaneously accounts for the clustering of dark matter, gas and stars. We inform our model by comparing it to power spectra measured from the BAHAMAS suite of hydrodynamical simulations. As well as considering matter power spectra, we also consider spectra involving the electron-pressure field, which directly relates to the thermal Sunyaev-Zel'dovich (tSZ) effect. We fit parameters in our model so that it can simultaneously model both matter and pressure data and such that the distribution of gas as inferred from tSZ has influence on the matter spectrum predicted by our model. We present two variants; one that matches the feedback-induced suppression seen in the matter-matter power spectrum at the per-cent level and a second that matches the matter-matter data slightly less well (~2 per cent), but that is able to simultaneously model the matter-electron pressure spectrum at the ~15 per-cent level. We envisage our models being used to simultaneously learn about cosmological parameters and the strength of baryonic feedback using a combination of tSZ and lensing auto- and cross-correlation data

    Dust-forming molecules in VY Canis Majoris (and Betelgeuse)

    Full text link
    The formation of inorganic dust in circumstellar environments of evolved stars is poorly understood. Spectra of molecules thought to be most important for the nucleation, i.e. AlO, TiO, and TiO2, have been recently detected in the red supergiant VY CMa. These molecules are effectively formed in VY CMa and the observations suggest that non-equilibrium chemistry must be involved in their formation and nucleation into dust. In addition to exploring the recent observations of VY CMa, we briefly discuss the possibility of detecting these molecules in the dust-poor circumstellar environment of Betelgeuse.Comment: contribution to Betelgeuse Workshop 2012: "The physics of Red Supergiants: recent advances and open questions", 26-29 Nov 2012 Paris (France

    Trend in ice moistening the stratosphere – constraints from isotope data of water and methane

    Get PDF
    Water plays a major role in the chemistry and radiative budget of the stratosphere. Air enters the stratosphere predominantly in the tropics, where the very low temperatures around the tropopause constrain water vapour mixing ratios to a few parts per million. Observations of stratospheric water vapour show a large positive long-term trend, which can not be explained by change in tropopause temperatures. Trends in the partitioning between vapour and ice of water entering the stratosphere have been suggested to resolve this conundrum. We present measurements of stratospheric H_(2)O, HDO, CH_4 and CH_(3)D in the period 1991–2007 to evaluate this hypothesis. Because of fractionation processes during phase changes, the hydrogen isotopic composition of H_(2)O is a sensitive indicator of changes in the partitioning of vapour and ice. We find that the seasonal variations of H_(2)O are mirrored in the variation of the ratio of HDO to H_(2)O with a slope of the correlation consistent with water entering the stratosphere mainly as vapour. The variability in the fractionation over the entire observation period is well explained by variations in H_(2)O. The isotopic data allow concluding that the trend in ice arising from particulate water is no more than (0.01±0.13) ppmv/decade in the observation period. Our observations suggest that between 1991 and 2007 the contribution from changes in particulate water transported through the tropopause plays only a minor role in altering in the amount of water entering the stratosphere
    • 

    corecore