Hans Küng: "Projekt Weltethos "

Bei dieser Arbeit werde ich mich vor Allem auf zwei Werke beziehen: Küng,Hans:Projekt Weltethos.Piper.München 1990. Küng,Hans;Kuschel,Karl-Josef (Hg.):Weltfrieden durch Religionsfrieden.Die unter Punkt Acht aufgeführte Stellungnahme wurde ausschließlich von mir verfasst

Enabling the Collaborative Definition of DSMLs

International audienceSoftware development processes are collaborative in nature. Neglecting the key role of end-users leads to software that does not satisfy their needs. This collaboration becomes specially important when creating Domain-Specific Modeling Languages (DSMLs), which are (modeling) languages specifically designed to carry out the tasks of a particular domain. While end-users are actually the experts of the domain for which a DSML is developed, their participation in the DSML specification process is still rather limited nowadays. In this paper we propose a more community-aware language development process by enabling the active participation of all community members (both developers and end-users of the DSML) from the very beginning. Our proposal is based on a DSML itself, called Collaboro, which allows representing change proposals on the DSML design and discussing (and tracing back) possible solutions, comments and decisions arisen during the collaboration

THE OUTCOME OF PSYCHIATRIC REHABILITATION TREATMENT DEPENDS ON AFFECTIVE STATE AT THE TIME OF ADMISSION

Background: In Austria, new approaches of rehabilitation programs focus on the prevention of mental illness and offer treatment not only for acute psychiatric patients, but also for those who are at risk of developing a mental disorder or have recovered from one.The aim of this study was to determine the effects of a psychiatric rehabilitation program on individuals with different mood states. Subjects and methods: 600 patients with a history of affective disorder were tested at the time of admission to an Austrian inpatient psychiatric rehabilitation center. Data of extreme groups - patients who were depressed (n=59; BDI-II <9 and HAMD <8) or euthymic (n=59; BDI 19) at the time of therapy start - were analyzed. The participants completed the Maslach Burnout Inventory - General Survey, the Symptom Checklist - Revised and the Stress Coping Questionnaire at the beginning and the end of the 6-weeks rehabilitation program. Results: After 6 weeks, both groups showed significantly less psychiatric symptoms (BDI-II, HAMD, SCL-90, and negative coping strategies (SVF). Importantly, work-related stress symptoms (“burnout” symptoms) improved significantly in the euthymic group. Conclusions: Euthymic patients seem to be able to focus on work-related stress symptoms including reduced emotional exhaustion through treatment, while currently depressed patients primarily benefit by an improvement in general psychiatric symptomatology. The results indicate the crucial role of mood state validated with standardized psychological questionnaires BDI-II and HAMD at time of admission to such programs. These findings could have implications on treatment decisions for psychiatric patients and assist in making a forecast concerning ability to recover and treatment prognosis

Automated Model Merge by Design Space Exploration

Industrial applications of model-driven engineering to develop large and complex systems resulted in an increasing demand for collaboration features. However, use cases such as model differencing and merging have turned out to be a difficult challenge, due to (i) the graph-like nature of models, and (ii) the complexity of certain operations (e.g. hierarchy refactoring) that are common today. In the paper, we present a novel search-based automated model merge approach where rule-based design space exploration is used to search the space of solution candidates that represent conflict-free merged models. Our method also allows engineers to easily incorporate domain-specific knowledge into the merge process to provide better solutions. The merge process automatically calculates multiple merge candidates to be presented to domain experts for final selection. Furthermore, we propose to adopt a generic synthetic benchmark to carry out an initial scalability assessment for model merge with large models and large change sets

"Die Gefangenen der Grünen Insel"

Diese wissenschaftliche Arbeit berichtet von den vielen Schritten und Überlegungen die zur Entscheidung für die Neutralität Irlands während des zweiten Weltkrieges beitrugen, sowie von den weiteren Auswirkungen der neutralen Position Irlands auf die nationale Geschichte. In diesem Spannungsfeld der irischen Neutralität, das einerseits von Deutschland und andererseits von Großbritannien erzeugt worden war, finden sich in Irland gestrandete „Prisoners of War“ in einem Internierungslager wieder. Die Analyse dieses Internierungslagers mit dem Namen Curragh Camp in der Grafschaft Kildare, sowie besonders dessen deutsche und österreichische Insassen im Hintergrund des neutralen Irlands, stehen im Mittelpunkt der wissenschaftlichen Abhandlung. Im Speziellen wird hier auf die historische Entwicklung des Curragh Camps, das alltägliche Leben der Inhaftierten im Lager, etwaige Ausbruchsversuche und das laufende Kommen und Gehen im Camp, eingegangen. Um einen tieferen Einblick in diesen Abschnitt der Geschichte Irlands zu gewinnen, fiel die Entscheidung, Recherchen direkt vor Ort während des Erasmus-Aufenthaltes in Dublin durchzuführen. Eine zentrale Methodik, neben der klassischen Literaturrecherche- und reflexion, stellten folglich Archivrecherchen in den „National Archives“ und den „Military Archives“ in Dublin, sowie im österreichischen Staatsarchiv dar. Anhand der Nachforschungen zeigte sich, dass die Entscheidung für die irische Neutralität wesentlich zur weiteren Unabhängigkeit von Großbritannien beitrug. Nichts desto trotz verhielt sich Irland gegenüber England während des Krieges als „friendly neutral“. Überdies gelang es ein annähernd vollständiges Bild der deutschen und österreichischen Insassen des Curragh Camps, sowie deren Leben dort, zu zeichen. Nach Kriegsende gelang es lediglich vier von 266 deutschen und österreichischen Inhaftierten in Irland bleiben zu dürfen und später die irische Staatsbürgerschaft zu erhalten. Die Umstände die zu dieser Entscheidung führten, sowie ein Blick auf die Vergangenheit von zwei der vier Auserwählten, bilden den Abschluss dieser Arbeit.This scientific paper deals with the several steps and processes which led to Ireland’s decision to become neutral during World War II and the effects of Ireland’s neutral position on its national history. Prisoners of war stranded in an internment camp in Ireland found themselves caught in the midst of the tensions caused by the Irish neutrality; a double-edged sword which sought to appease both Germany and Great Britain. The main focus of my research is the Curragh Camp of County Kildare and especially the German and Austrian internees in neutral Ireland. Especially documented have been the historical developments of the Curragh Camp, the daily life of the internees, several attempts to breakout and the continuous fluctuations of internees. To gain a deeper insight in this particular section of Irish history, intensive literature and archive research had to be done during the Erasmus exchange semester in Dublin. A central method for conducting my research, apart from reading and analysing literature on this subject, was carrying out archive research in the National Archives and the Military Archives in Dublin as well as in the Austrian National Archives. My research proved that the decision for Irish neutrality contributed to the further independence from Great Britain, even though Ireland acted as a “friendly neutral” towards the United Kingdom throughout World War II. With the aid of the researched data, it was possible to reconstruct an almost complete picture of the lives of the German and Austrian Internees at the Curragh Camp. After the end of World War II only four out of 266 German and Austrian internees manage to obtain the right to stay in Ireland and receive the Irish citizenship later on. Circumstances leading up to that particular decision, as well as a brief view on the history of two of the four favoured few, conclude the paper

Effiziente Überprüfung von DRAT Beweisen

Abweichender Titel nach Übersetzung der Verfasserin/des VerfassersDas klauselbasierte Beweisformat DRAT ist der De-Facto-Standard, um Unerfüllbarkeitsergebnisse von SAT-Gleichungslösern zu verifizieren. DRAT-Beweise bestehen aus Lemmas, die Klauseln hinzufügen, und Klauseleliminierungen. Moderne DRAT-Beweisprüfer ignorieren Eliminierungsinstruktionen von sogenannten Unit-Klauseln, was bedeutet, dass sich die Semantik der Beweisprüfer von der DRAT-Spezifikation unterscheidet; infolgedessen können sie manche, von SAT-Lösern verwendete Vereinfachungstechniken, die Unit-Klauseln eliminieren unter Umständen nicht verifizieren. Moderne SAT-Löser generieren Beweise die von diesen DRAT-Prüfern akzeptiert werden, jedoch bezüglich der DRAT-Spezifikation inkorrekt sind, da sie Eliminierungsinstruktionen enthalten, die nicht-redundante Informationen löschen. Wir schlagen Korrekturen für prämierte SAT-Löser vor, wodurch diese in der Lage sind, Beweise ohne ebenjene kontraproduktiven Eliminierungen zu generieren, die ergo im Sinne der Spezifikation korrekt sind. Dennoch können Unit-Eliminierungen in Beweisen in Anbetracht der Verwendung von fortgeschrittenen Vereinfachungstechniken wohl kaum ausgeschlossen werden, sofern der Löseaufwand nicht darunter leiden soll. Die Durchführung von Unit-Eliminierungen in Beweisprüfern kann viel Rechenzeit beanspruchen. Wir haben den ersten wettbewerbsfähigen Prüfer implementiert, der Unit-Eliminierungen berücksichtigt and präsentieren unsere Versuchsergebnisse, die darauf hindeuten, dass der Rechenaufwand für das Überprüfen eines durchschnittlichen Beweises mit oder ohne Unit-Eliminierungen gleich ist. Weiters führen wir das SICK-Format ein, das, vergleichsweise kleine und effizient überprüfbare Gegenbeispiele zu DRAT-Beweisen beschreibt. Indem wir diese Gegenbeispiele mit einem unabhängigen Programm überprüfen, stärken wir das Vertrauen in die Stichhaltigkeit der Inkorrektheits-Ergebnisse. Außerdem kann diese Technik von Nutzen sein um Fehler in (der Beweisgenerierung von) SAT-Lösern und Prüfern zu finden.Clausal proof format DRAT is the de facto standard way to certify SAT solvers' unsatisfiability results. DRAT proofs consist of lemmas (clause introductions) and clause deletions. State-of-the-art DRAT proof checkers ignore deletions of unit clauses, which means that they are checking against a proof system that differs from the specification of DRAT and they may not be able to verify inprocessing techniques that use unit deletions. State-of-the-art SAT solvers produce proofs that are accepted by those DRAT checkers, but are incorrect under the DRAT specification, because they contain spurious deletions of unit clauses. We present patches for award-winning SAT solvers to produce proofs without those deletions that are thus correct with respect to the specification. However, handling unit deletions is still desirable, as they can be a byproduct of advanced inprocessing techniques in a solver that is hard to avoid without extra costs. Performing unit deletions in a proof checker can be computationally expensive. We implemented the first competitive checker that honors unit deletions and provide experimental results suggesting that, on average, checking costs are the same as when not applying unit deletions. As it is also expensive to determine the incorrectness of a proof, we introduce the SICK format which describes small and efficiently checkable certificates of the incorrectness of a DRAT proof. By checking this independently, we are able to increase trust in our incorrectness results. Additionally it can be useful when debugging solvers and checkers.3

Hans Küng: "Projekt Weltethos "

Bei dieser Arbeit werde ich mich vor Allem auf zwei Werke beziehen: Küng,Hans:Projekt Weltethos.Piper.München 1990. Küng,Hans;Kuschel,Karl-Josef (Hg.):Weltfrieden durch Religionsfrieden.Die unter Punkt Acht aufgeführte Stellungnahme wurde ausschließlich von mir verfasst