Characterizing Van Kampen Squares via Descent Data

Categories in which cocones satisfy certain exactness conditions w.r.t. pullbacks are subject to current research activities in theoretical computer science. Usually, exactness is expressed in terms of properties of the pullback functor associated with the cocone. Even in the case of non-exactness, researchers in model semantics and rewriting theory inquire an elementary characterization of the image of this functor. In this paper we will investigate this question in the special case where the cocone is a cospan, i.e. part of a Van Kampen square. The use of Descent Data as the dominant categorical tool yields two main results: A simple condition which characterizes the reachable part of the above mentioned functor in terms of liftings of involved equivalence relations and (as a consequence) a necessary and sufficient condition for a pushout to be a Van Kampen square formulated in a purely algebraic manner.Comment: In Proceedings ACCAT 2012, arXiv:1208.430

Unfolding-based Diagnosis of Systems with an Evolving Topology

We propose a framework for model-based diagnosis of systems with mobility and variable topologies, modelled as graph transformation systems. Generally speaking, model-based diagnosis is aimed at constructing explanations of observed faulty behaviours on the basis of a given model of the system. Since the number of possible explanations may be huge, we exploit the unfolding as a compact data structure to store them, along the lines of previous work dealing with Petri net models. Given a model of a system and an observation, the explanations can be constructed by unfolding the model constrained by the observation, and then removing incomplete explanations in a pruning phase. The theory is formalised in a general categorical setting: constraining the system by the observation corresponds to taking a product in the chosen category of graph grammars, so that the correctness of the procedure can be proved by using the fact that the unfolding is a right adjoint and thus it preserves products. The theory should hence be easily applicable to a wide class of system models, including graph grammars and Petri nets

Hierarchical Graph Transformation

If systems are specified by graph transformation, large graphs should be structured in order to be comprehensible. In this paper, we present an approach for the rule-based transformation of hierarchically structured (hyper)graphs. In these graphs, distinguished hyperedges contain graphs that can be hierarchical again. Our framework extends the well-known double-pushout approach from at to hierarchical graphs. In particular, we show how pushouts and pushout complements of hierarchical graphs and graph morphisms can be constructed recursively. Moreover, we make rules more expressive by introducing variables which allow to copy and to remove hierarchical subgraphs in a single rule application

Addressing social issues in a universal HIV test and treat intervention trial (ANRS 12249 TasP) in South Africa: methods for appraisal

Background: The Universal HIV Test and Treat (UTT) strategy represents a challenge for science, but is also a challenge for individuals and societies. Are repeated offers of provider-initiated HIV testing and immediate antiretroviral therapy (ART) socially-acceptable and can these become normalized over time? Can UTT be implemented without potentially adding to individual and community stigma, or threatening individual rights? What are the social, cultural and economic implications of UTT for households and communities? And can UTT be implemented within capacity constraints and other threats to the overall provision of HIV services? The answers to these research questions will be critical for routine implementation of UTT strategies. Methods/design: A social science research programme is nested within the ANRS 12249 Treatment-as-Prevention (TasP) cluster-randomised trial in rural South Africa. The programme aims to inform understanding of the (i) social, economic and environmental factors affecting uptake of services at each step of the continuum of HIV prevention, treatment and care and (ii) the causal impacts of the TasP intervention package on social and economic factors at the individual, household, community and health system level. We describe a multidisciplinary, multi-level, mixed-method research protocol that includes individual, household, community and clinic surveys, and combines quantitative and qualitative methods. Discussion: The UTT strategy is changing the overall approach to HIV prevention, treatment and care, and substantial social consequences may be anticipated, such as changes in social representations of HIV transmission, prevention, HIV testing and ART use, as well as changes in individual perceptions and behaviours in terms of uptake and frequency of HIV testing and ART initiation at high CD4. Triangulation of social science studies within the ANRS 12249 TasP trial will provide comprehensive insights into the acceptability and feasibility of the TasP intervention package at individual, community, patient and health system level, to complement the trial's clinical and epidemiological outcomes. It will also increase understanding of the causal impacts of UTT on social and economic outcomes, which will be critical for the long-term sustainability and routine UTT implementation. Trial registration: Clinicaltrials.gov: NCT01509508; South African Trial Register: DOH-27-0512-3974

Rationale, design and conduct of a randomised controlled trial evaluating a primary care-based complex intervention to improve the quality of life of heart failure patients: HICMan (Heidelberg Integrated Case Management) : study protocol

Background: Chronic congestive heart failure (CHF) is a complex disease with rising prevalence, compromised quality of life (QoL), unplanned hospital admissions, high mortality and therefore high burden of illness. The delivery of care for these patients has been criticized and new strategies addressing crucial domains of care have been shown to be effective on patients' health outcomes, although these trials were conducted in secondary care or in highly organised Health Maintenance Organisations. It remains unclear whether a comprehensive primary care-based case management for the treating general practitioner (GP) can improve patients' QoL. Methods/Design: HICMan is a randomised controlled trial with patients as the unit of randomisation. Aim is to evaluate a structured, standardized and comprehensive complex intervention for patients with CHF in a 12-months follow-up trial. Patients from intervention group receive specific patient leaflets and documentation booklets as well as regular monitoring and screening by a prior trained practice nurse, who gives feedback to the GP upon urgency. Monitoring and screening address aspects of disease-specific selfmanagement, (non)pharmacological adherence and psychosomatic and geriatric comorbidity. GPs are invited to provide a tailored structured counselling 4 times during the trial and receive an additional feedback on pharmacotherapy relevant to prognosis (data of baseline documentation). Patients from control group receive usual care by their GPs, who were introduced to guidelineoriented management and a tailored health counselling concept. Main outcome measurement for patients' QoL is the scale physical functioning of the SF-36 health questionnaire in a 12-month follow-up. Secondary outcomes are the disease specific QoL measured by the Kansas City Cardiomyopathy questionnaire (KCCQ), depression and anxiety disorders (PHQ-9, GAD-7), adherence (EHFScBS and SANA), quality of care measured by an adapted version of the Patient Chronic Illness Assessment of Care questionnaire (PACIC) and NTproBNP. In addition, comprehensive clinical data are collected about health status, comorbidity, medication and health care utilisation. Discussion: As the targeted patient group is mostly cared for and treated by GPs, a comprehensive primary care-based guideline implementation including somatic, psychosomatic and organisational aspects of the delivery of care (HICMAn) is a promising intervention applying proven strategies for optimal care. Trial registration: Current Controlled Trials ISRCTN30822978

The ANTOP study: focal psychodynamic psychotherapy, cognitive-behavioural therapy, and treatment-as-usual in outpatients with anorexia nervosa - a randomized controlled trial

<p>Abstract</p> <p>Background</p> <p>Anorexia nervosa is a serious eating disorder leading to high morbidity and mortality as a result of both malnutrition and suicide. The seriousness of the disorder requires extensive knowledge of effective treatment options. However, evidence for treatment efficacy in this area is remarkably weak. A recent Cochrane review states that there is an urgent need for large, well-designed treatment studies for patients with anorexia nervosa. The aim of this particular multi-centre study is to evaluate the efficacy of two standardized outpatient treatments for patients with anorexia nervosa: focal psychodynamic (FPT) and cognitive behavioural therapy (CBT). Each therapeutic approach is compared to a "treatment-as-usual" control group.</p> <p>Methods/Design</p> <p>237 patients meeting eligibility criteria are randomly and evenly assigned to the three groups – two intervention groups (CBT and FPT) and one control group. The treatment period for each intervention group is 10 months, consisting of 40 sessions respectively. Body weight, eating disorder related symptoms, and variables of therapeutic alliance are measured during the course of treatment. Psychotherapy sessions are audiotaped for adherence monitoring. The treatment in the control group, both the dosage and type of therapy, is not regulated in the study protocol, but rather reflects the current practice of established outpatient care. The primary outcome measure is the body mass index (BMI) at the end of the treatment (10 months after randomization).</p> <p>Discussion</p> <p>The study design surmounts the disadvantages of previous studies in that it provides a randomized controlled design, a large sample size, adequate inclusion criteria, an adequate treatment protocol, and a clear separation of the treatment conditions in order to avoid contamination. Nevertheless, the study has to deal with difficulties specific to the psychopathology of anorexia nervosa. The treatment protocol allows for dealing with the typically occurring medical complications without dropping patients from the protocol. However, because patients are difficult to recruit and often ambivalent about treatment, a drop-out rate of 30% is assumed for sample size calculation. Due to the ethical problem of denying active treatment to patients with anorexia nervosa, the control group is defined as "treatment-as-usual".</p> <p>Trial registration</p> <p>Current Controlled Trials ISRCTN72809357</p