Browsing by Type "Preprint"
Now showing 1 - 20 of 105
Results Per Page
Sort Options
- A bootstrap functional central limit theorem for time-varying linear processes(2022)
; Document Type Preprint - A cognitive behavioural mHealth intervention for families in the postpartum period to enhance weight management, mental well-being and resilience : a study protocol for a randomised controlled trial (I‑PREGNO) : [version 1; peer review: awaiting peer review]
Document Type Preprint Introduction: The postpartum period goes along with an increased risk of unhealthy weight gain and numerous physical and psychological challenges, which are associated with mental well-being and resilience. Given the individual circumstances and the accompanying time constraints, evidence-based mHealth interventions may be useful for flexible, spot-on complementary care. Thus, the mHealth app I-PREGNO aims to enhance mental well-being and resilience by offering cognitive-behavioural and behaviour change skills training to prevent unhealthy weight development in this vulnerable life episode. In a randomised controlled trial, we will examine its effectiveness and acceptance. Protocol: Parents of infants between 0 and 12 months will be randomised to the intervention or control group. Both groups will take part in a baseline survey (t0) and further assessments after 12 weeks (intervention duration, t1), and 6 months (t2). The intervention group will use the self-guided mHealth app after t0 and both groups will get unlimited access after t2. The primary outcomes will be i) weight (difference of weight in kg after the intervention and pre-pregnancy); ii) mental well-being assessed through the Edinburgh-Postnatal-Depression-Scale and Parenting Stress Index; iii) resilience assessed through the General Self-Efficacy Scale and Difficulties in Emotion Regulation Scale. Secondary outcomes will be sociodemographic variables, eating behaviour, physical activity, relationship experiences, childhood trauma, postpartum bonding, regulatory disorders, and app usability. Gender differences between mothers and fathers will be considered. Conclusion: Positive effects on weight development in the postpartum period, mental well-being, and resilience due to the I-PREGNO intervention will support parental health in the critical postpartum phase. The study results will contribute to the growing field of evidence-based, highly scalable, low-cost, geographically independent, just-in-time mobile support for a target group that is restricted in time and resources. Trial registration: The trial has been registered at the German Clinical Trials Register (DRKS00031067) in January 2023 prospectively. - A note on language politics in Iraqi Kurdistan and their repercussions for pan-Kurdish cultural unity(2007)
Document Type Preprint - A Short Note on the Glagolitic Ornament in Pamvo Berynda’s Triod Cvetnaya (Kiev 1631)(2015)
Document Type Preprint In dem kurzen Artikel geht es um das glagolitische kryptographische Ornament von Pamvo Berynda, das er seinem "Triodion" (Kiev 1631) beifügte. - A test of independence under local stationarity based on the local characteristic function(2022)
Document Type Preprint - Are Wearables Good or Bad for Society? : An Exploration of Societal Benefits, Risks and Consequences of Augmented Reality Smart Glasses.
Document Type Preprint Recent market research forecasts predict that a new form of wearable devices will soon influence the media landscape: Augmented Reality Smart Glasses. While prior research highlights numerous potentials in personal and professional settings of smart glasses, this technology has also triggered several controversies in public discussions, for example, the risk of violating privacy and copyright laws. Yet, little research addresses the questions of whether smart glasses are good or bad for societies, and if yes, why. This study conducts exploratory research to contribute to narrowing this gap. Based on a survey among consumers, we identify several societal benefits and risks that determine consumers’ evaluation of the anticipated and desired success of smart glasses. These findings lead to numerous important implications for consumers, scholars, managers, and policy makers. - Authentische Quellen im Russischunterricht : vom Rohstoff zum Lernmaterial ; eine Handreichung für Lehrende(2023)
; Document Type Preprint In times of all-encompassing digitization, where learners have constant access to authentic language material through their presence on the Internet, the question arises as to how to move this material from the periphery of the learning process to the center. Such a shift raises a variety of problems for teachers in two ways: technically and content-wise. This paper deals with the search for and adaptation of authentic texts, videos, and audio and visual materials for teaching Russian at universities. It offers search assistance in a Russian media landscape that has changed after February 24, 2022, and shows possible solutions to the difficulties associated with converting authentic sources into learning materials that can be used in heterogeneous groups of learners consisting of foreign language learners and heritage language speakers. - Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy(2021)
; Document Type Preprint A shallow semantical embedding for public announcement logic with relativized common knowledge is presented. This embedding enables the first-time automation of this logic with off-the-shelf theorem provers for classical higher-order logic. It is demonstrated (i) how meta-theoretical studies can be automated this way, and (ii) how non-trivial reasoning in the target logic (public announcement logic), required e.g. to obtain a convincing encoding and automation of the wise men puzzle, can be realized. Key to the presented semantical embedding is that evaluation domains are mod- eled explicitly and treated as an additional parameter in the encodings of the con- stituents of the embedded target logic; in previous related works, e.g. on the em- bedding of normal modal logics, evaluation domains were implicitly shared between meta-logic and target logic. The work presented in this article constitutes an important addition to the pluralist LogiKEy knowledge engineering methodology, which enables experimen- tation with logics and their combinations, with general and domain knowledge, and with concrete use cases — all at the same time. - Background Uncertainty Can Increase Risk Aversion in Decision Making(2021)
; ; ; Document Type Preprint - Bayesian mortality modelling with pandemics : a vanishing jump approach(2023)
; ; Document Type Preprint - Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation
Document Type Preprint This paper presents meta-logical investigations based on category theory using the proof assistant Isabelle/HOL. We demonstrate the potential of a free logic based shallow semantic embedding of category theory by providing a formalization of the notion of elementary topoi. Additionally, we formalize symmetrical monoidal closed categories expressing the denotational semantic model of intuitionistic multiplicative linear logic. Next to these meta-logical-investigations, we contribute to building an Isabelle category theory library, with a focus on ease of use in the formalization beyond category theory itself. This work paves the way for future formalizations based on category theory and demonstrates the power of automated reasoning in investigating meta-logical questions. - Check News in One Click : NLP-Empowered Pro-Kremlin Propaganda Detection
Document Type Preprint Many European citizens become targets of the Kremlin propaganda campaigns, aiming to minimise public support for Ukraine, foster a climate of mistrust and disunity, and shape elections (Meister, 2022). To address this challenge, we developed ''Check News in 1 Click'', the first NLP-empowered pro-Kremlin propaganda detection application available in 7 languages, which provides the lay user with feedback on their news, and explains manipulative linguistic features and keywords. We conducted a user study, analysed user entries and models' behaviour paired with questionnaire answers, and investigated the advantages and disadvantages of the proposed interpretative solution.