This work explores some aspects of a new and natural semantical dimension that can be accommodated within the syntax of description logics which opens up when passing from the classical truth-value interpretation to a constructive interpretation. We argue that such a strengthened interpretation is essential to represent applications with partial information adequately and to achieve consistency under abstraction as well as robustness under refinement. We introduce a constructive version of ALC, called cALC, for which we give a sound and complete Hilbert axiomatisation and a Gentzen tableau calculus showing finite model property and decidability.
The complexity of many cases, such as public projects and programs, requires evaluation methods that acknowledge this complexity in order to facilitate learning. On the one hand, the complexity of the cases derives from their uniqueness and nested nature. On the other hand, there is a need to compare cases in such a way that lessons can be transferred to other (future) cases in a coherent and non-anecdotal way. One method that is making headway as a complexity-sensitive, comparative method is Qualitative Comparative Analysis (QCA). This contribution aims to explain to what extent QCA is complexity-informed, to show how it can be deployed as such, and to identify its strengths and weaknesses as an evaluation method. We will discuss the properties of complexity, provide an overview of evaluation literature about QCA, and present a simplified step-wise guide for utilizing QCA in evaluation studies.
Interface theories allow systems designers to reason about the composability and compatibility of concurrent system components. Such theories often extend both de Alfaro and Henzinger’s Interface Automata and Larsen’s Modal Transition Systems, which leads, however, to several issues that are undesirable in practice: an unintuitive treatment of specified unwanted behaviour, a binary compatibility concept that does not scale to multi-component assemblies, and compatibility guarantees that are insufficient for software product lines.
In this paper we show that communication mismatches are central to all these problems and, thus, the ability to represent such errors semantically is an important feature of an interface theory. Accordingly, we present the error-aware interface theory EMIA, where the above shortcomings are remedied by introducing explicit fatal error states. In addition, we prove via a Galois insertion that EMIA is a conservative generalisation of the established MIA (Modal Interface Automata) theory.
Domesticated animals need to
be treated as fellow citizens: Only if we conceive of domesticated animals as
full members of our political communities can we do justice to their moral
standing – or so Sue Donaldson and Will Kymlicka argue in their widely discussed
book Zoopolis. In this contribution, we pursue two objectives. Firstly, we
will reject Donaldson and Kymlicka’s appeal for animal citizenship. We will do
so by submitting that far from paying due heed to their moral status, regarding
animals as citizens misinterprets their moral qualities and thus risks
treating them unjustly. Secondly, we will suggest that Donaldson and
Kymlicka’s reinforced focus on membership should draw our attention to the
moral standing of a further ‘species’ living in our midst, namely robots. Developments
within artificial intelligence have advanced rapidly in recent
years. With robots gaining ever greater capacities and abilities, we need to ask
urgent questions about the moral ramifications of these technical advances.
Introduction: Recent meta-analysis showed that diabetes seems to be a
risk factor for incident depression. This prospective study examines the role
of elevated diabetes distress on the persistence or the recovery from elevated
depressive symptoms at a 6-month follow-up.Methods: Participants
completed the CES-D. A score of >=16 indicate elevated depressive symptoms.
The Problem Areas in Diabetes Scale (PAID) assessed diabetes related
distress; a PAID score of >=30 indicate moderate diabetes related distress.
Logistic regression models were performed. Persistence and recovery from
elevated depressive symptoms were the dependent variables. The independent
variable was diabetes related distress. The models were adjusted for
potential demographic (age, gender) or medial confounders (BMI, diabetes
duration, A1C, diabetes type and late complications).Results: 351 diabetic
patients were included (age 50,8 ±11.4 yrs, 52% female, 58% type 2 diabetic
patients, diabetes duration 12.9 ±11.1 yrs, BMI 29,9 ±6,9 kg/m², A1c
7.9 ±1.5%). At baseline 125 patients (35.6%) reported elevated depressive
symptoms. At follow up 96 patients (27.3%) still had an elevated depression
score. If diabetes related distress was present at baseline the hazard ratio
of having persistent elevated depressive symptoms at follow up was 6.67
(95% CI 3.79 - 11.72). Adjusting for confounding variables did not change
the hazard ratio substantially (HR 6.02 95% CI 3.32 - 10.89). In addition the
chance for recovery from elevated depressive symptoms was signifi cantly
reduced if diabetes related distress was present (Odds ratio 0.37 95% CI
0.17 - 0.77). Controlling for possible confounders did not change the odds
ratio (0.36 95% CI 0.16 - 0.82).Conclusion: Diabetes related distress seems
to play a decisive role for an unfavorable course of depressive symptoms.
Diabetes related distress may be a mediating factor between diabetes and
depression. Addressing diabetes related distress may be able to ameliorate
depression in people with diabetes.
A public-private partnership (PPP) is an organizational arrangement in which knowledge and resources are pooled in order to realize outcomes. Although PPPs have become common practice in spatial planning and development, there is a continuous search for their ideal organizational form and management. This is fueled by the often poor performance in terms of e.g. time delays and budget overruns. Whilst comparative studies have been conducted into the outcomes of certain organizational forms and management strategies, fewer comparative studies evaluate their combined effects. The goal of this study is to explore what configurations of certain organizational forms and management may produce good outcomes. This is done by conducting a fuzzy set qualitative comparative analysis (fsQCA) of survey data of 50 managers involved in urban regeneration companies (URCs) in the Netherlands.
An understudied aspect for the successful completion of PPP infrastructure projects is the extent to which they are satisfactorily implemented. Studying PPP implementation is important though, because well-planned projects can fail if project implementation is inadequately managed. This article aims to find out which management and public–private cooperation approaches produce satisfaction for public procurers in the implementation phase of different kinds of infrastructure projects. To this purpose, twenty-seven Dutch road construction projects are systematically analyzed with fuzzy set qualitative comparative analysis (fsQCA). The results show four configurations that produce satisfaction. It is concluded that externally-oriented management, which is characterized by a stakeholder-oriented project implementation approach, and close public–private cooperation, where public and private partners work together closely and interactively, are important for achieving satisfaction. In less complex projects with narrower scopes, however, the partners may rely on less interactive forms of cooperation, more characterized by monitoring contract compliance.