129 research outputs found

    An index for assessment of oral health in the edentulous population

    Full text link
    Success or failure of prosthodontic treatment, in terms of comfort and function, is linked to tissue health. To date, no baseline indication of inflammatory status hzs been available to objectively evaluate preprosthetic tissue preparation. The Prosthodontic Tissue Index (PTI) was developed in a manner similar to periodontal indexes, to provide objective clinical evaluation of basal supporting tissueS. At the University of Michigan, 150 patients who were edentulous in one or both arches were examined and asked a series of questions relating to their prosthetic history. The inflammatory status of basal seat tissues was scored according t o defined observable inflammatory changes. Inflammation status was charted on a grid delineated by major areas of denture support for each arch. In 97% of patients examined, inflammatory changes requiring some degree of preprosthetic management were found. Tissue abnormalities other than inflammation that required specific management were noted in 62% of the patientS. Although nearly all patients registered problems relative t o their prostheses, most were not aware of the extent of their tis-sue changes. Dental care should be concerned with the preservation of health and function in the middle and older ageS. Principal epidemiological characteristics of the edentulous population showed that: most patients with complete dentures have pathologic tissue changes that require treatment; and tissue changes have little relation t o a patient's perception of denture success or personal oral health status.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/73468/1/j.1754-4505.1982.tb01298.x.pd

    The edentulous patient: attitudes toward oral health status

    Full text link
    Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/75662/1/j.1754-4505.1983.tb01340.x.pd

    Multiplayer Cost Games with Simple Nash Equilibria

    Full text link
    Multiplayer games with selfish agents naturally occur in the design of distributed and embedded systems. As the goals of selfish agents are usually neither equivalent nor antagonistic to each other, such games are non zero-sum games. We study such games and show that a large class of these games, including games where the individual objectives are mean- or discounted-payoff, or quantitative reachability, and show that they do not only have a solution, but a simple solution. We establish the existence of Nash equilibria that are composed of k memoryless strategies for each agent in a setting with k agents, one main and k-1 minor strategies. The main strategy describes what happens when all agents comply, whereas the minor strategies ensure that all other agents immediately start to co-operate against the agent who first deviates from the plan. This simplicity is important, as rational agents are an idealisation. Realistically, agents have to decide on their moves with very limited resources, and complicated strategies that require exponential--or even non-elementary--implementations cannot realistically be implemented. The existence of simple strategies that we prove in this paper therefore holds a promise of implementability.Comment: 23 page

    Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis

    Full text link
    The classic approaches to synthesize a reactive system from a linear temporal logic (LTL) specification first translate the given LTL formula to an equivalent omega-automaton and then compute a winning strategy for the corresponding omega-regular game. To this end, the obtained omega-automata have to be (pseudo)-determinized where typically a variant of Safra's determinization procedure is used. In this paper, we show that this determinization step can be significantly improved for tool implementations by replacing Safra's determinization by simpler determinization procedures. In particular, we exploit (1) the temporal logic hierarchy that corresponds to the well-known automata hierarchy consisting of safety, liveness, Buechi, and co-Buechi automata as well as their boolean closures, (2) the non-confluence property of omega-automata that result from certain translations of LTL formulas, and (3) symbolic implementations of determinization procedures for the Rabin-Scott and the Miyano-Hayashi breakpoint construction. In particular, we present convincing experimental results that demonstrate the practical applicability of our new synthesis procedure

    Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited

    Full text link
    We study nondeterministic strategies in parity games with the aim of computing a most permissive winning strategy. Following earlier work, we measure permissiveness in terms of the average number/weight of transitions blocked by the strategy. Using a translation into mean-payoff parity games, we prove that the problem of computing (the permissiveness of) a most permissive winning strategy is in NP intersected coNP. Along the way, we provide a new study of mean-payoff parity games. In particular, we prove that the opponent player has a memoryless optimal strategy and give a new algorithm for solving these games.Comment: 30 pages, revised versio

    A Consensus Set of Outcomes for Parkinson's Disease from the International Consortium for Health Outcomes Measurement

    Get PDF
    Background: Parkinson's disease (PD) is a progressive neurodegenerative condition that is expected to double in prevalence due to demographic shifts. Value-based healthcare is a proposed strategy to improve outcomes and decrease costs. To move towards an actual value-based health care system, condition-specific outcomes that are meaningful to patients are essential. Objective: Propose a global consensus standard set of outcome measures for PD. Methods: Established methods for outcome measure development were applied, as outlined and used previously by the International Consortium for Health Outcomes Measurement (ICHOM). An international group, representing both patients and experts from the fields of neurology, psychiatry, nursing, and existing outcome measurement efforts, was convened. The group participated in six teleconferences over a six-month period, reviewed existing data and practices, and ultimately proposed a standard set of measures by which patients should be tracked, and how often data should be collected. Results: The standard set applies to all cases of idiopathic PD, and includes assessments of motor and non-motor symptoms, ability to work, PD-related health status, and hospital admissions. Baseline demographic and clinical variables are included to enable case mix adjustment. Conclusions: The Standard Set is now ready for use and pilot testing in the clinical setting. Ultimately, we believe that using the set of outcomes proposed here will allow clinicians and scientists across the world to document, report, and compare PD-related outcomes in a standardized fashion. Such international benchmarks will improve our understanding of the disease course and allow for identification of 'best practices', ultimately leading to better informed treatment decisions.This project was funded by the International Consortium for Health Outcome Measurement.S

    Experimental Aspects of Synthesis

    Full text link
    We discuss the problem of experimentally evaluating linear-time temporal logic (LTL) synthesis tools for reactive systems. We first survey previous such work for the currently publicly available synthesis tools, and then draw conclusions by deriving useful schemes for future such evaluations. In particular, we explain why previous tools have incompatible scopes and semantics and provide a framework that reduces the impact of this problem for future experimental comparisons of such tools. Furthermore, we discuss which difficulties the complex workflows that begin to appear in modern synthesis tools induce on experimental evaluations and give answers to the question how convincing such evaluations can still be performed in such a setting.Comment: In Proceedings iWIGP 2011, arXiv:1102.374

    Potential impact of invasive alien species on ecosystem services provided by a tropical forested ecosystem: a case study from Montserrat

    Get PDF
    Local stakeholders at the important but vulnerable Centre Hills on Montserrat consider that the continued presence of feral livestock (particularly goats and pigs) may lead to widespread replacement of the reserve’s native vegetation by invasive alien trees (Java plum and guava), and consequent negative impacts on native animal species. Since 2009, a hunting programme to control the feral livestock has been in operation. However long-term funding is not assured. Here, we estimate the effect of feral livestock control on ecosystem services provided by the forest to evaluate whether the biodiversity conservation rationale for continuation of the control programme is supported by an economic case. A new practical tool (Toolkit for Ecosystem Service Site-based Assessment) was employed to measure and compare ecosystem service provision between two states of the reserve (i.e. presence and absence of feral livestock control) to estimate the net consequences of the hunting programme on ecosystem services provided by the forest. Based on this we estimate that cessation of feral livestock management would substantially reduce the net benefits provided by the site, including a 46 % reduction in nature-based tourism (from 419,000to419,000 to 228,000) and 36 % reduction in harvested wild meat (from 205,000to205,000 to 132,000). The overall net benefit generated from annual ecosystem service flows associated with livestock control in thereserve, minus the management cost, was $214,000 per year. We conclude that continued feral livestock control is important for maintaining the current level of ecosystem services provided by the reserve

    Fall risk in an active elderly population – can it be assessed?

    Get PDF
    BACKGROUND: Falls amongst elderly people are often associated with fractures. Training of balance and physical performance can reduce fall risk; however, it remains a challenge to identify individuals at increased risk of falling to whom this training should be offered. It is believed that fall risk can be assessed by testing balance performance. In this study a test battery of physiological parameters related to balance and falls was designed to address fall risk in a community dwelling elderly population. RESULTS: Ninety-four elderly males and females between 70 and 80 years of age were included in a one year follow-up study. A fall incidence of 15% was reported. The test battery scores were not different between the fallers and non-fallers. Test scores were, however, related to self-reported health. In spite of inclusion of dynamic tests, the test battery had low fall prediction rates, with a sensitivity and specificity of 50% and 43% respectively. CONCLUSION: Individuals with poor balance were identified but falls were not predicted by this test battery. Physiological balance characteristics can apparently not be used in isolation as adequate indicators of fall risk in this population of community dwelling elderly. Falling is a complex phenomenon of multifactorial origin. The crucial factor in relation to fall risk is the redundancy of balance capacity against the balance demands of the individuals levels of fall-risky lifestyle and behavior. This calls for an approach to fall risk assessment in which the physiological performance is evaluated in relation to the activity profile of the individual

    Root morphology and seed and leaf ionomic traits in a Brassica napus L. diversity panel show wide phenotypic variation and are characteristic of crop habit

    Get PDF
    Background: Mineral nutrient uptake and utilisation by plants are controlled by many traits relating to root morphology, ion transport, sequestration and translocation. The aims of this study were to determine the phenotypic diversity in root morphology and leaf and seed mineral composition of a polyploid crop species, Brassica napus L., and how these traits relate to crop habit. Traits were quantified in a diversity panel of up to 387 genotypes: 163 winter, 127 spring, and seven semiwinter oilseed rape (OSR) habits, 35 swede, 15 winter fodder, and 40 exotic/unspecified habits. Root traits of 14 d old seedlings were measured in a ‘pouch and wick’ system (n = ~24 replicates per genotype). The mineral composition of 3–6 rosette-stage leaves, and mature seeds, was determined on compost-grown plants from a designed experiment (n = 5) by inductively coupled plasma-mass spectrometry (ICP-MS). Results: Seed size explained a large proportion of the variation in root length. Winter OSR and fodder habits had longer primary and lateral roots than spring OSR habits, with generally lower mineral concentrations. A comparison of the ratios of elements in leaf and seed parts revealed differences in translocation processes between crop habits, including those likely to be associated with crop-selection for OSR seeds with lower sulphur-containing glucosinolates. Combining root, leaf and seed traits in a discriminant analysis provided the most accurate characterisation of crop habit, illustrating the interdependence of plant tissues. Conclusions: High-throughput morphological and composition phenotyping reveals complex interrelationships between mineral acquisition and accumulation linked to genetic control within and between crop types (habits) in B. napus. Despite its recent genetic ancestry (<10 ky), root morphology, and leaf and seed composition traits could potentially be used in crop improvement, if suitable markers can be identified and if these correspond with suitable agronomy and quality traits
    corecore