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

Abrupt and spontaneous strategy switches emerge in simple regularised neural networks

Humans sometimes have an insight that leads to a sudden and drastic performance improvement on the task they are working on. Sudden strategy adaptations are often linked to insights, considered to be a unique aspect of human cognition tied to complex processes such as creativity or meta-cognitive reasoning. Here, we take a learning perspective and ask whether insight-like behaviour can occur in simple artificial neural networks, even when the models only learn to form input-output associations through gradual gradient descent. We compared learning dynamics in humans and regularised neural networks in a perceptual decision task that included a hidden regularity to solve the task more efficiently. Our results show that only some humans discover this regularity, whose behaviour was marked by a sudden and abrupt strategy switch that reflects an aha-moment. Notably, we find that simple neural networks with a gradual learning rule and a constant learning rate closely mimicked behavioural characteristics of human insight-like switches, exhibiting delay of insight, suddenness and selective occurrence in only some networks. Analyses of network architectures and learning dynamics revealed that insight-like behaviour crucially depended on a regularised gating mechanism and noise added to gradient updates, which allowed the networks to accumulate "silent knowledge" that is initially suppressed by regularised (attentional) gating. This suggests that insight-like behaviour can arise naturally from gradual learning in simple neural networks, where it reflects the combined influences of noise, gating and regularisation.Comment: 17 pages, 5 figure

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