A dependent nominal type theory

Nominal abstract syntax is an approach to representing names and binding pioneered by Gabbay and Pitts. So far nominal techniques have mostly been studied using classical logic or model theory, not type theory. Nominal extensions to simple, dependent and ML-like polymorphic languages have been studied, but decidability and normalization results have only been established for simple nominal type theories. We present a LF-style dependent type theory extended with name-abstraction types, prove soundness and decidability of beta-eta-equivalence checking, discuss adequacy and canonical forms via an example, and discuss extensions such as dependently-typed recursion and induction principles

Healthcare use for acute gastrointestinal illness in two Inuit communities: Rigolet and Iqaluit, Canada

Background. The incidence of self-reported acute gastrointestinal illness (AGI) in Rigolet, Nunatsiavut, and Iqaluit, Nunavut, is higher than reported elsewhere in Canada; as such, understanding AGI-related healthcare use is important for healthcare provision, public health practice and surveillance of AGI. Objectives: This study described symptoms, severity and duration of self-reported AGI in the general population and examined the incidence and factors associated with healthcare utilization for AGI in these 2 Inuit communities. Design: Cross-sectional survey data were analysed using multivariable exact logistic regression to examine factors associated with individuals’ self-reported healthcare and over-the-counter (OTC) medication utilization related to AGI symptoms. Results: In Rigolet, few AGI cases used healthcare services [4.8% (95% CI=1.5-14.4%)]; in Iqaluit, some cases used healthcare services [16.9% (95% CI=11.2-24.7%)]. Missing traditional activities due to AGI (OR=3.8; 95% CI=1.18-12.4) and taking OTC medication for AGI symptoms (OR=3.8; 95% CI=1.2-15.1) were associated with increased odds of using healthcare services in Iqaluit. In both communities, AGI severity and secondary symptoms (extreme tiredness, headache, muscle pains, chills) were significantly associated with increased odds of taking OTC medication. Conclusions: While rates of self-reported AGI were higher in Inuit communities compared to non-Inuit communities in Canada, there were lower rates of AGI-related healthcare use in Inuit communities compared to other regions in Canada. As such, the rates of healthcare use for a given disease can differ between Inuit and non-Inuit communities, and caution should be exercised in making comparisons between Inuit and non-Inuit health outcomes based solely on clinic records and healthcare use

A Discrete Event Simulation model to evaluate the treatment pathways of patients with Cataract in the United Kingdom

Background The number of people affected by cataract in the United Kingdom (UK) is growing rapidly due to ageing population. As the only way to treat cataract is through surgery, there is a high demand for this type of surgery and figures indicate that it is the most performed type of surgery in the UK. The National Health Service (NHS), which provides free of charge care in the UK, is under huge financial pressure due to budget austerity in the last decade. As the number of people affected by the disease is expected to grow significantly in coming years, the aim of this study is to evaluate whether the introduction of new processes and medical technologies will enable cataract services to cope with the demand within the NHS funding constraints. Methods We developed a Discrete Event Simulation model representing the cataract services pathways at Leicester Royal Infirmary Hospital. The model was inputted with data from national and local sources as well as from a surgery demand forecasting model developed in the study. The model was verified and validated with the participation of the cataract services clinical and management teams. Results Four scenarios involving increased number of surgeries per half-day surgery theatre slot were simulated. Results indicate that the total number of surgeries per year could be increased by 40% at no extra cost. However, the rate of improvement decreases for increased number of surgeries per half-day surgery theatre slot due to a higher number of cancelled surgeries. Productivity is expected to improve as the total number of doctors and nurses hours will increase by 5 and 12% respectively. However, non-human resources such as pre-surgery rooms and post-surgery recovery chairs are under-utilized across all scenarios. Conclusions Using new processes and medical technologies for cataract surgery is a promising way to deal with the expected higher demand especially as this could be achieved with limited impact on costs. Non-human resources capacity need to be evenly levelled across the surgery pathway to improve their utilisation. The performance of cataract services could be improved by better communication with and proactive management of patients.Peer reviewedFinal Published versio

Discrete-Event Simulation for Performance Evaluation and Improvement of Gynecology Outpatient Departments: A Case Study in the Public Sector

Gynecology outpatient units are in charge of treating different gynecological diseases such as tumorous, cancer, urinary incontinence, gynecological pain, and abnormal discharge. On-time attention is thus needed to avoid severe complications, patient dissatisfaction, and elevated healthcare costs. There is then an urgent need for assessing whether the gynecology outpatient departments are cost-effective and what interventions are required for improving clinical outcomes. Despite this context, the studies directly concentrating on diagnosis and improvement of these departments are widely limited. To address these concerns, this paper aims to provide a Discrete-event Simulation (DES) modelling framework to help healthcare managers gain a better understanding of the gynecology outpatient services and evaluate improvement strategies. First, the patient journey through the gynecology outpatient service is mapped. To correctly represent the system uncertainty, collected data is then processed through input analysis. Third, the data is used to model and simulate the real gynecology outpatient unit. This model is later validated to determine whether it is statistically equivalent to the real system. After this, using performance metrics derived from the simulation model, the gynecology outpatient department is analyzed to identify potential improvements. We finally pretest potential interventions to define their viability during implementation. A case study of a mixed-patient type environment in a public gynecology outpatient unit is presented to verify the applicability of the proposed methodology. The results evidenced that appointment lead times could be efficiently reduced using this approach. © 2019, Springer Nature Switzerland AG

The assessment of neuromuscular fatigue during 120 min of simulated soccer exercise

Purpose This investigation examined the development of neuromuscular fatigue during a simulated soccer match incorporating a period of extra time (ET) and the reliability of these responses on repeated test occasions. Methods Ten male amateur football players completed a 120 min soccer match simulation (SMS). Before, at half time (HT), full time (FT), and following a period of ET, twitch responses to supramaximal femoral nerve and transcranial magnetic stimulation (TMS) were obtained from the knee-extensors to measure neuromuscular fatigue. Within 7 days of the first SMS, a second 120 min SMS was performed by eight of the original ten participants to assess the reliability of the fatigue response. Results At HT, FT, and ET, reductions in maximal voluntary force (MVC; −11, −20 and −27%, respectively, P ≤ 0.01), potentiated twitch force (−15, −23 and −23%, respectively, P < 0.05), voluntary activation (FT, −15 and ET, −18%, P ≤ 0.01), and voluntary activation measured with TMS (−11, −15 and −17%, respectively, P ≤ 0.01) were evident. The fatigue response was robust across both trials; the change in MVC at each time point demonstrated a good level of reliability (CV range 6–11%; ICC2,1 0.83–0.94), whilst the responses identified with motor nerve stimulation showed a moderate level of reliability (CV range 5–18%; ICC2,1 0.63–0.89) and the data obtained with motor cortex stimulation showed an excellent level of reliability (CV range 3–6%; ICC2,1 0.90–0.98). Conclusion Simulated soccer exercise induces a significant level of fatigue, which is consistent on repeat tests, and involves both central and peripheral mechanisms

Creating comprehensive, youth-centered culturally appropriate sex education: What do young gay, bisexual and questioning men want?

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/106604/1/Creating comprehensive, youth-centered culturally appropriate sex education What do young gay, bisexual and questioning men want.pd

A new hammer to crack an old nut : interspecific competitive resource capture by plants is regulated by nutrient supply, not climate

Peer reviewedPublisher PD

The Menin Tumor Suppressor Protein Is Phosphorylated in Response to DNA Damage

Multiple endocrine neoplasia type 1 (MEN1) is a heritable cancer syndrome characterized by tumors of the pituitary, pancreas and parathyroid. Menin, the product of the MEN1 gene, is a tumor suppressor protein that functions in part through the regulation of transcription mediated by interactions with chromatin modifying enzymes.Here we show menin association with the 5' regions of DNA damage response genes increases after DNA damage and is correlated with RNA polymerase II association but not with changes in histone methylation. Furthermore, we were able to detect significant levels of menin at the 3' regions of CDKN1A and GADD45A under conditions of enhanced transcription following DNA damage. We also demonstrate that menin is specifically phosphorylated at Ser394 in response to several forms of DNA damage, Ser487 is dynamically phosphorylated and Ser543 is constitutively phosphorylated. Phosphorylation at these sites however does not influence the ability to interact with histone methyltransferase activity. In contrast, the interaction between menin and RNA polymerase II is influenced by phosphorylation, whereby a phospho-deficient mutant had a higher affinity for the elongating form of RNA polymerase compared to wild type. Additionally, a subset of MEN1-associated missense point mutants, fail to undergo DNA damage dependent phosphorylation.Together, our findings suggest that the menin tumor suppressor protein undergoes DNA damage induced phosphorylation and participates in the DNA damage transcriptional response

A review on the relation between simulation and improvement in hospitals

<p>Abstract</p> <p>Background</p> <p>Simulation applications on operations management in hospitals are frequently published and claim to support decision-making on operations management subjects. However, the reported implementation rates of recommendations are low and the actual impact of the changes recommended by the modeler has hardly been examined. This paper examines: 1) the execution rate of simulation study recommendations, 2) the research methods used to evaluate implementation of recommendations, 3) factors contributing to implementation, and 4) the differences regarding implementation between literature and practice.</p> <p>Results</p> <p>Altogether 16 hospitals executed the recommendations (at least partially). Implementation results were hardly reported upon; 1 study described a before-and-after design, 2 a partial before and after design. Factors that help implementation were grouped according to 1) technical quality, of which data availability, validation/verification with historic data/expert opinion, and the development of the conceptual model were mentioned most frequently 2) process quality, with client involvement and 3) outcome quality with, presentation of results. The survey response rate of traceable authors was 61%, 18 authors implemented the results at least partially. Among these responses, evaluation methods were relatively better with 3 time series designs and 2 before-and-after designs.</p> <p>Conclusions</p> <p>Although underreported in literature, implementation of recommendations seems limited; this review provides recommendations on project design, implementation conditions and evaluation methods to increase implementation.</p> <p>Methods</p> <p>A literature review in PubMed and Business Source Elite on stochastic simulation applications on operations management in individual hospitals published between 1997 and 2008. From those reporting implementation, cross references were added. In total, 89 papers were included. A scoring list was used for data extraction. Two reviewers evaluated each paper separately; in case of discrepancies, they jointly determined the scores. The findings were validated with a survey to the original authors.</p

Predicted Disappearance of Cephalantheropsis obcordata in Luofu Mountain Due to Changes in Rainfall Patterns

<div><h3>Background</h3><p>In the past century, the global average temperature has increased by approximately 0.74°C and extreme weather events have become prevalent. Recent studies have shown that species have shifted from high-elevation areas to low ones because the rise in temperature has increased rainfall. These outcomes challenge the existing hypothesis about the responses of species to climate change.</p> <h3>Methodology/Principal Findings</h3><p>With the use of data on the biological characteristics and reproductive behavior of <em>Cephalantheropsis obcordata</em> in Luofu Mountain, Guangdong, China, trends in the population size of the species were predicted based on several factors. The response of <em>C. obcordata</em> to climate change was verified by integrating it with analytical findings on meteorological data and an artificially simulated environment of water change. The results showed that <em>C. obcordata</em> can grow only in waterlogged streams. The species can produce fruit with many seeds by insect pollination; however, very few seeds can burgeon to become seedlings, with most of those seedlings not maturing into the sexually reproductive phase, and grass plants will die after reproduction. The current population's age pyramid is kettle-shaped; it has a Deevey type I survival curve; and its net reproductive rate, intrinsic rate of increase, as well as finite rate of increase are all very low. The population used in the artificial simulation perished due to seasonal drought.</p> <h3>Conclusions</h3><p>The change in rainfall patterns caused by climate warming has altered the water environment of <em>C. obcordata</em> in Luofu Mountain, thereby restricting seed burgeoning as well as seedling growth and shortening the life span of the plant. The growth rate of the <em>C. obcordata</em> population is in descending order, and models of population trend predict that the population in Luofu Mountain will disappear in 23 years.</p> </div