5,653 research outputs found

    Inter-individual variation of the human epigenome & applications

    Get PDF

    Undergraduate Catalog of Studies, 2023-2024

    Get PDF

    Graduate Catalog of Studies, 2023-2024

    Get PDF

    Musculoskeletal complaints in primary care:Constraining healthcare costs, rethinking the deployment of healthcare professionals

    Get PDF
    Worldwide policy makers are challenged to account for rising healthcare costs and increased healthcare demand. Also, in the Netherlands there is a growing concern how to maintain high-quality and accessible care while keeping costs in check. Access to care is under pressure as the demand for care is rising fast, due to an aging population and an increasing number of chronically ill people. Not only at the policy level, but also in clinical practice challenges exist. The workload in the health care sector is high, causing health workers, such as general practitioners (GPs), to leave this sector. To keep costs in check available resources need be allocated as efficiently as possible. A good starting point for evaluating healthcare costs may be assessing large patient groups that are responsible for high resource use and costs, such as patients with musculoskeletal conditions treated in general practice. Another point may be identifying prognostic factors for higher healthcare costs. Besides lowering costs, it is also of importance to keep GP care accessible by lowering GPs’ workload. One of the ways to address GPs’ high workload is task reallocation. Internationally, positive effects have been found for an Advanced Physiotherapy Practitioner (APP) model of care, in which APPs take over tasks from a physician in the care for patients with musculoskeletal conditions. This model of care could potentially be of value in reducing the workload of Dutch GPs and keeping GP care accessible. Besides lowering healthcare cost and decreasing GPs’ workload maintaining good quality care is essential. One of the most widely used Patient Reported Outcome Measures (PROMs) in assessing quality of healthcare is the EQ-5D, a preference-based measurement instrument that measures health related quality of life and is used to estimate utility values that represent the preferences of the general population of a country for given health states. These utility values are needed for estimating Quality-Adjusted Life-Years (QALYs) in cost effectiveness analysis. However, quality-of-life measurements are generally not available when data are collected for clinical purposes, such as data from GP electronic medical records. Therefore, researchers are exploring ways to estimate EQ-5D based utility values by means of outcomes on other available health related outcome measures. This thesis aimed to explore some of the challenges in Dutch primary care by evaluating 1) healthcare utilization and associated cost of GP-guided care in patients with musculoskeletal complaints, 2) the introduction of an APP model of care, and 3) different approaches to estimate missing EQ-5D based utility values

    Graduate Catalog of Studies, 2023-2024

    Get PDF

    Algorithms and complexity for approximately counting hypergraph colourings and related problems

    Get PDF
    The past decade has witnessed advancements in designing efficient algorithms for approximating the number of solutions to constraint satisfaction problems (CSPs), especially in the local lemma regime. However, the phase transition for the computational tractability is not known. This thesis is dedicated to the prototypical problem of this kind of CSPs, the hypergraph colouring. Parameterised by the number of colours q, the arity of each hyperedge k, and the vertex maximum degree Δ, this problem falls into the regime of Lovász local lemma when Δ ≲ qᵏ. In prior, however, fast approximate counting algorithms exist when Δ ≲ qᵏ/³, and there is no known inapproximability result. In pursuit of this, our contribution is two-folded, stated as follows. • When q, k ≥ 4 are evens and Δ ≥ 5·qᵏ/², approximating the number of hypergraph colourings is NP-hard. • When the input hypergraph is linear and Δ ≲ qᵏ/², a fast approximate counting algorithm does exist

    Natural and Technological Hazards in Urban Areas

    Get PDF
    Natural hazard events and technological accidents are separate causes of environmental impacts. Natural hazards are physical phenomena active in geological times, whereas technological hazards result from actions or facilities created by humans. In our time, combined natural and man-made hazards have been induced. Overpopulation and urban development in areas prone to natural hazards increase the impact of natural disasters worldwide. Additionally, urban areas are frequently characterized by intense industrial activity and rapid, poorly planned growth that threatens the environment and degrades the quality of life. Therefore, proper urban planning is crucial to minimize fatalities and reduce the environmental and economic impacts that accompany both natural and technological hazardous events

    LIPIcs, Volume 251, ITCS 2023, Complete Volume

    Get PDF
    LIPIcs, Volume 251, ITCS 2023, Complete Volum

    Investigations into Proof Structures

    Full text link
    We introduce and elaborate a novel formalism for the manipulation and analysis of proofs as objects in a global manner. In this first approach the formalism is restricted to first-order problems characterized by condensed detachment. It is applied in an exemplary manner to a coherent and comprehensive formal reconstruction and analysis of historical proofs of a widely-studied problem due to {\L}ukasiewicz. The underlying approach opens the door towards new systematic ways of generating lemmas in the course of proof search to the effects of reducing the search effort and finding shorter proofs. Among the numerous reported experiments along this line, a proof of {\L}ukasiewicz's problem was automatically discovered that is much shorter than any proof found before by man or machine.Comment: This article is a continuation of arXiv:2104.1364
    corecore