Forgotten as data – remembered through information. Social memory institutions in the digital age: the case of the Europeana Initiative

The study of social memory has emerged as a rich field of research closely linked to cultural artefacts, communication media and institutions as carriers of a past that transcends the horizon of the individual’s lifetime. Within this domain of research, the dissertation focuses on memory institutions (libraries, archives, museums) and the shifts they are undergoing as the outcome of digitization and the diffusion of online media. Very little is currently known about the impact that digitality and computation may have on social memory institutions, specifically, and social memory, more generally – an area of study that would benefit from but, so far, has been mostly overlooked by information systems research. The dissertation finds its point of departure in the conceptualization of information as an event that occurs through the interaction between an observer and the observed – an event that cannot be stored as information but merely as data. In this context, memory is conceived as an operation that filters, thus forgets, the singular details of an information event by making it comparable to other events according to abstract classification criteria. Against this backdrop, memory institutions are institutions of forgetting as they select, order and preserve a canon of cultural heritage artefacts. Supported by evidence from a case study on the Europeana initiative (a digitization project of European libraries, archives and museums), the dissertation reveals a fundamental shift in the field of memory institutions. The case study demonstrates the disintegration of 1) the cultural heritage artefact, 2) its standard modes of description and 3) the catalogue as such into a steadily accruing assemblage of data and metadata. Dismembered into bits and bytes, cultural heritage needs to be re-membered through the emulation of recognizable cultural heritage artefacts and momentary renditions of order. In other words, memory institutions forget as binary-based data and remember through computational information

Planning, developing, and pilot testing a mobile health promotion program to prevent type 2 diabetes after gestational diabetes mellitus

Background: Gestational diabetes mellitus (GDM) is associated with an increased risk for type 2 diabetes (T2D) and related cardiometabolic disturbances. A healthy lifestyle with sufficient physical activity, a balanced nutrition, and psychosocial wellbeing decreases the risk of developing these conditions in the years following delivery. Current prevention programs for women after GDM insufficiently address the needs of a flexible, accessible, and practical tool for daily life in this target group. The aim of this dissertation project was to create a theory- and evidence-based scalable mobile health (mHealth) application that fulfils both academic and industrial standards, supports behavior change, and addresses the specific needs of women post-GDM. Methods: The Intervention Mapping approach was implemented to structure the development process. In the scope of this thesis, Intervention Mapping Steps 1 to 4 were applied as blueprint and analytical tool for planning, developing, and pilot testing the smartphone-based TRANGLE program to prevent T2D and related cardiometabolic disturbances in women post-GDM. In the Steps 1 to 3, we designed a theory- and evidence-based intervention model. In Step 4, we cooperated with industry to secure a high technological standard when translating the model into a practical intervention based on a smartphone app. For the associated user study and the clinical pilot trial, we used a mixed methods design based on validated questionnaires on user acceptance and lifestyle behavior, user logs, think alouds with semi-structured interviews, nutrition protocols, and clinical assessments. Results: The resulting TRIANGLE program is among the first mHealth apps for personalized stepwise habit change in the areas of physical activity, nutrition, and psychosocial wellbeing. The interactive app allows for self-pacing, addresses 11 behavioral determinants, and offers 39 behavior change methods to support individual lifestyle change. An associated online platform for healthcare practitioners allows for human coaching while a unique challenge system fosters habit change and education. Once a beta-version of the app and the coaching platform was available, the iterative development process comprised a user study with women post-GDM, followed by adaptations before the full program production. Lastly, a German multicenter randomized controlled pilot trial of the TRIANGLE program indicated first clinical effects for behavior change after six months of intervention. Women post-GDM showed a high acceptance and a high perceived impact of the program on their behavior. Conclusions: Using the Intervention Mapping approach, we developed an innovative mHealth solution for women post-GDM. The novel TRIANGLE program has the potential to prevent cardiometabolic disease as an easy to deliver technological support for behavior change. The program needs to be further refined and tested at a large scale. Intervention Mapping Steps 5 and 6 may support this implementation and evaluation process

Energy Research Governance in the European Union

A major share of Europe’s knowledge about its incumbent energy cultures is pre-defined in closed spaces of negotiations. One such space are the negotiations surrounding the European Union´s research and innovation Framework Programmes, which are the focus of this thesis. With these programmes, the European Union not only funds energy research across Europe, but likewise produces guiding energy research narratives that act beyond their scope into the research agendas of its Member States. Energy research governance, considered as the wider scope surrounding the Framework Programmes negotiations in the European Union, takes place in hybrid spaces, were science and politics meet and are influencing each other, inheriting limiting, and enabling effects on both sides. This study aims to determine how these spaces are organised, who is participating under which conditions, and how decisions on energy research agendas and research funding conditions are taken. Therefore, this thesis enfolds the emergence history of energy policy, research policy and the governance of its overlap, namely energy research. It then examines in depth the negotiations that took place during the reform process of the Frame-work Programmes between its seventh and eighth repetition. The perspective of scientific, political and hybrid social worlds is taken to draw an encompassing picture of the situation of energy research governance of the European Union. The methodological background of this study is a situational analysis, which was conducted based on narrative expert interviews, participant observations and documents, drawing on sensitizing concepts from the fields of Science and Technology Studies, sociology, and political sciences. The investigated hybrid spaces revealed the importance of historical rooted (energy) re-search narratives, that are combined with a set of standards and standardized governance practices making the Framework Programmes a robust governance tool, despite changing political climates. Moreover, the role of so far largely overlooked boundary social worlds became apparent. Whereas strategies of narrative governance were found to be a structuring element across all social worlds and hybrid spaces. The newly developed continuum of implicatedness disclosed movements of visibility and agency among the participating negotiators of energy research governance. These results have in common that they bear diverse forms of ambivalences a collective, an individual or a group of collectives is confronted with. The author concludes that these the ambivalences must be met with strategies of disclosure and debate, rather than with vain attempts to resolve irresolvable contradictions

Designing, delivering, and evaluating novel interventions to support dietary change for weight management

Background: Recent empirical research and theoretical models acknowledge that impulsive processes, can often undermine peoples’ attempts to lose weight despite currently available and effective support (Chapter 2). Aim: To develop, deliver, and evaluate an impulse management intervention to support weight loss in adults. Methods: A systematic review was conducted to identify available impulse management techniques for influencing eating behaviour (Chapter 3). Intervention Mapping was used to develop the intervention (Chapter 4) which drew on various sources including the findings from the systematic review, stakeholder consultations, existing guidance, and qualitative interviews. A two-arm randomised controlled feasibility trial (Chapter 5), with nested mixed-methods process evaluation and two cycles of intervention delivery and data collection (Chapter 6), was conducted. This assessed the feasibility and acceptability of, and informed refinements to, both the intervention and trial procedures in preparation for a full-scale effectiveness evaluation. Weight was measured as the proposed primary outcome for a full-scale trial at baseline, one-month, and three-months of follow-up, app usage data were collected at both follow-up time points, and semi-structured interviews were conducted at one-month with a subsample of intervention group participants only. Results: The systematic review critically appraised and synthesised evidence on 17 identified techniques which were categorised as Impulse-focused or Reflective techniques. Promising changes in eating behaviour and craving were found for the techniques of visuospatial loading, physical activity, and implementation intentions. Intervention Mapping resulted in development of a novel smartphone app-based intervention (ImpulsePal) aimed to reduce unhealthy snacking, overeating, and alcoholic and sugary drink consumption using impulse management techniques identified in the systematic review. Eighty-eight adults with a Body Mass Index of ≥25kg/m2 and wishing to lose weight, were recruited and randomised in a 2:1 ratio to use ImpulsePal (n=58) or to a waiting list control (n=30) group. Data were available for 74 participants (84%) at one-month and 67 (76%) at three months. Exploratory analyses suggest that the ImpulsePal group (n=43) lost 1.03kg (95% CI 0.33 to 1.74) more than controls (n=26) at one-month, and 1.01kg (95% CI -0.45 to 2.47) more at three months. Participants reported high satisfaction with the intervention and trial procedures. The process evaluation suggests that ImpulsePal and the impulse management techniques are feasible to deliver and acceptable to users. Interviews with twenty-two participants suggest that they valued having access to in-the-moment support, felt more aware of their own eating behaviour and influences on it, and felt an increased ability to resist temptations. Conclusions: This work has developed a novel, theory- and evidence-informed, person-centred app which showed potential to improve impulse management, promote healthier eating, and support weight loss. ImpulsePal is acceptable to overweight and obese adults who want to lose weight and is now ready for evaluation in a full-scale trial. The thesis discusses theoretical, methodological, and practical implications for the future development, evaluation, and implementation of digital behaviour change interventions.UEM

Oblivionism

The book offers a fundamental view on the problem of forgetting in sociology in general and within sociology of knowledge. Furthermore it focuses – as a case study – on the field of modern science. With recourse to the term ‚oblivionism‘, originally introduced with ironic-critical intent by the german romance scholar Harald Weinrich, it analyzes the fundamental and multifaceted problem of the loss of knowledge in the field of science. A declarative-reflective, an incorporated-practical and an objectified-technical memory motif is at the centre. These form the basis for the development of the three forms of forgetting that are also central to modern science: forgetfulness, wanting to forget and, ultimately, making one forget

Causality-based verification

Program verification is one of the central research topics in computer science since its inception – we can consider the field to be initiated as early as in 1949, with Alan Turing’s pioneering paper “Checking a Large Routine.” Yet, we are still far from the dream of automatically proving every computer program correct. Two aspects make this problem particularly challenging: concurrent program execution on parallel processors, and large, or even infinite, state spaces of data-manipulating programs. Nowadays, with concurrency entering everywhere, from smartphones to aircrafts, proving the correctness of infinite-state concurrent programs becomes increasingly more important: we do want to be sure that the program that controls the airplane we are flying in is correct. In this thesis we propose a new approach to the verification of infinitestate concurrent programs. We call it causality-based, because it captures in an automatic proof system the “cause-effect” reasoning principles, which are often used informally in manual correctness proofs. While traditionally automatic methods are based on the state space exploration, our method is based on a new concurrency model, called concurrent traces, which are the abstractions of the history of a concurrent program to some key events and the relationships between them. Causality-based proof rules relate concurrent traces with each other, by formally tracking what are the necessary consequences (the “effects”) from a particular analysis situation (the “cause”). The full correctness proof is then a composition of such primitive proof steps. We study the syntactic and language-based properties of concurrent traces, and characterize the complexity of such operations as emptiness checking and language inclusion. Regarding the program correctness, we develop proof systems for the broad classes of safety and liveness properties, and provide algorithms for the automatic construction of correctness proofs. We demonstrate that for practically relevant classes of programs, such as multi-threaded programs with binary semaphores, the constructed proofs are of polynomial size, and can be also checked in polynomial time. The methods of the thesis have been implemented in Arctor, the first scalable termination prover for concurrent programs, which is able to handle programs with hundreds of non-trivial threads.Die Programmverifikation ist seit den Anfängen der Informatik eines ihrer zentralen Forschungsfelder. Als Beginn dieser Forschungsrichtung kann bereits das Jahr 1949 betrachtet werden, in dem Alan Turings bahnbrechende Arbeit “Checking a Large Routine” erschien. Der Traum, die Korrektheit von Programmen stets automatisch beweisen zu können, ist aber auch heute noch weit davon entfernt, Realität zu sein. Es gibt zwei Aspekte, die dieses Problem zu einer solch großen Herausforderung machen: die nebenläufige Ausführung von Programmen auf Parallelrechnern, und die großen, oder sogar unendlichen, Zustandsräume von datenverarbeitenden Programmen. Nebenläufige Programme werden in immer mehr Anwendungsbereichen, von Handys bis zur Luftfahrt, eingesetzt. Automatische Korrektheitsbeweise werden daher immer wichtiger: wenn wir mit dem Flugzeug reisen, möchten wir sicher sein, dass das Programm, das das Flugzeug steuert, auch tatsachlich korrekt ist. In dieser Arbeit schlagen wir einen neuen Ansatz für die Verifikation von nebenläufigen Programmen mit unendlichem Zustandsraum vor. Wir nennen den Ansatz “kausalitätsbasiert”, weil er im Rahmen eines automatischen Beweissystems die “Ursache-Wirkung”-Beziehungen erfasst, die sonst eher informell in manuellen Korrektheitsbeweisen benutzt werden. Anders als traditionelle automatische Methoden, die den Zustandsraums explorieren, baut unser Ansatz auf einem neuen nebenläufigen Berechnungsmodell, dem der “nebenläufigen Spuren”, auf. Eine nebenläufige Spur ist eine Abstraktion der Vergangenheit eines nebenläufigen Programms im Hinblick auf bestimmte Schlüsselereignisse und die Beziehungen zwischen diesen Ereignissen. Kausalitätsbasierte Beweis-regeln setzen nebenläufige Spuren zueinander in Bezug, indem die Konsequenzen (die “Wirkungen”) einer bestimmten analytischen Situation (der “Ursache”) auf eine formale Art und Weise verfolgt werden. Der vollständige Korrektheitsbeweis setzt sich dann aus solchen einfachen Beweisschritten zusammen. Wir untersuchen die syntaktischen und sprachtheoretischen Eigenschaften von nebenläufigen Spuren, und charakterisieren die Komplexität von Operationen wie den Tests auf leere Sprache und Sprachinklusion. Wir entwickeln Beweissysteme zum Nachweis der Programmkorrektheit für die allgemeinen Klassen der Sicherheits- und Lebendigkeitseigenschaften, und stellen Algorithmen vor, die solche Beweise automatisch konstruieren. Für aus praktischer Sicht relevante Klassen von Programmen, wie Multi-Thread Programme mit binären Semaphoren, zeigen wir, dass die konstruierten Beweise polynomiell groß sind und auch in polynomieller Zeit geprüft werden können. Die in der Arbeit vorgestellten Methoden wurden im Verifikationswerkzeug Arctor implementiert. Arctor is der erste skalierbare Terminierungsbeweiser für nebenläufige Programme. Arctor kann Programme mit Hunderten nicht-trivialer Threads verarbeiten