bluuebunny/crossref_metadata_2025_split huggingface dataset:
Determinants of motivation and adherence to a web application for health behaviour change: A qualitative study with cancer survivors
Authors: Delestre Fabienne , Debailly Renaud , Galiby Laurie‐Anne , Hansel Boris 
Published: June 2023

AbstractBackgroundGiven the increasing number of cancer survivors, eHealth may be an effective means to improve lifestyle‐related behaviours. Limited data are available on the use of eHealth by post‐cancer patients. The present study aimed to analyse the contexts of use to identify the determinants of cancer survivors’ adherence and motivation to use a web application offering nutrition and physical activity coaching.MethodsIndividual semi‐structured interviews were conducted with cancer survivors who participated in an 8‐week online program for health behaviour change. The interviews were analysed using thematic analysis.ResultsFifteen patients with a mean (SD) age of 62 (4.2) years completed the interview. Four themes relating to the environment and context of use were identified: digital use, social relations, health, and digital health interventions. Participants were familiar with digital tools through their professional work. Their motivation and adherence to the program improved through social relations; notably, a supportive family in addition to a trusted prescriber, continuity in the care pathway, and an appropriate choice of design features in the digital health intervention. With cancer survivorship, individuals no longer define themselves as sick but still need support to envisage the future more serenely.ConclusionsCancer survivorship plays a special role in people's adherence to online interventions for health behaviour change in addition to the influence of their social relations and health environment.
Cyberbullying in Sport
Authors: MacPherson Ellen , Kerr Gretchen 
Published: June 2023

Despite over 30 years of scholarly attention devoted to bullying and cyberbullying behaviors in school settings, research related to these experiences in the sport context remains limited. Yet, numerous anecdotal examples and preliminary evidence suggests cyberbullying exists in the sport domain and must be addressed given the potential adverse psychosocial outcomes for athletes. This commentary reviews research related to bullying and cyberbullying in the sport literature. To advance our understanding of cyberbullying in sport, recommendations are made to clarify conceptual issues around the central defining features (i.e., power, repetition, intent) commonly used to operationalize these experiences. Further, methodological issues to be addressed are discussed, including, the use of more diverse methods; adoption of an intersectional lens to all research; and the development, implementation, and evaluation of interdisciplinary evidence-based prevention and intervention strategies. Only through a research base that addresses these conceptual and methodological challenges, will empirically-informed prevention and intervention strategies be developed to advance safe, healthy, and inclusive sport environments.
Association between breastfeeding duration and educational achievement in England: results from the Millennium Cohort Study
Authors: Pereyra-Elías Reneé , Carson Claire , Quigley Maria A 
Published: June 2023

ObjectiveTo evaluate the association between breastfeeding duration and educational outcomes at the end of secondary education among children from the Millennium Cohort Study.DesignCohort study comparing school results at age 16 according to breastfeeding duration.SettingEngland.ParticipantsChildren born in 2000–2002 (nationally representative sample).ExposureSelf-reported breastfeeding duration (categorised).Main outcome measuresStandardised school assessments taken at the end of secondary education (General Certificate of Secondary Education (GCSEs), marked 9–1) in English and Mathematics, categorised as: ‘fail, marks <4’, ‘low pass, marks 4–6’ and ‘high pass, marks ≥7 (equivalent to A–A*)’. Additionally, overall achievement was measured using the ‘attainment 8’ score (adding the marks of eight GCSEs, English and Mathematics double weighted; 0–90).ResultsApproximately 5000 children were included. Longer breastfeeding was associated with better educational outcomes. For example, after full adjustment for socioeconomic markers and maternal cognitive ability, in comparison with children who were never breastfed, those who were breastfed for longer were more likely to have a high pass in their English and Mathematics GCSEs, and less likely to fail the English GCSE (but not the Mathematics GCSE). Additionally, compared with those never breastfed, those breastfed for at least 4 months had, on average, a 2–3 point higher attainment 8 score (coefficients: 2.10, 95% CI 0.06 to 4.14 at 4–6 months; 2.56, 95% CI 0.65 to 4.47 at 6–12 months and 3.09, 95% CI 0.84 to 5.35 at ≥12 months).ConclusionsA longer breastfeeding duration was associated with modest improvements in educational outcomes at age 16, after controlling for important confounders.
The Chinese and American Military Installations in Djibouti: National and Regional Security Implications
Authors: Melese Abebe Alemu 
Published: June 2023

This qualitative case study examines American and Chinese military installations in Djibouti and their regional security implications. Data were collected from secondary sources. Besides, I relied on key informant interviews and media reports to generate qualitative data. What emerges from this analysis is that the two great powers have competing interests in the Horn of Africa. America is working to limit Chinese presence in the region. On the other hand, in 2013, China introduced its Belt and Road Initiative (BRI) projects that serve as economic means of political interventions. The advent of great power rivalries in the Horn of Africa presents a major regional security challenge. First, the presence of rival powers in the Horn of Africa has exacerbated regional tensions. The protracted civil war in Ethiopia is a case in point. Second, the military engagements of the two great powers have brought securitization of ports and militarization of the Horn region. And third, U.S.–China rivalry at the systemic level has been reflected in the Horn of Africa. The integration of Indo-Pacific security space with the Horn of Africa has cast its long shadow in the Horn of Africa.
Leveraging Rust Types for Program Synthesis
Authors: Fiala Jonáš , Itzhaky Shachar , Müller Peter , Polikarpova Nadia , Sergey Ilya 
Published: June 2023

The Rust type system guarantees memory safety and data-race freedom. However, to satisfy Rust's type rules, many familiar implementation patterns must be adapted substantially. These necessary adaptations complicate programming and might hinder language adoption. In this paper, we demonstrate that, in contrast to manual programming, automatic synthesis is not complicated by Rust's type system, but rather benefits in two major ways. First, a Rust synthesizer can get away with significantly simpler specifications. While in more traditional imperative languages, synthesizers often require lengthy annotations in a complex logic to describe the shape of data structures, aliasing, and potential side effects, in Rust, all this information can be inferred from the types, letting the user focus on specifying functional properties using a slight extension of Rust expressions. Second, the Rust type system reduces the search space for synthesis, which improves performance.
In this work, we present the first approach to automatically synthesizing correct-by-construction programs in safe Rust. The key ingredient of our synthesis procedure is Synthetic Ownership Logic, a new program logic for deriving programs that are guaranteed to satisfy both a user-provided functional specification and, importantly, Rust's intricate type system. We implement this logic in a new tool called RusSOL. Our evaluation shows the effectiveness of RusSOL, both in terms of annotation burden and performance, in synthesizing provably correct solutions to common problems faced by new Rust developers.
Merging Inductive Relations
Authors: Prinz Jacob , Lampropoulos Leonidas 
Published: June 2023

Inductive relations offer a powerful and expressive way of writing
program specifications while facilitating compositional reasoning.
Their widespread use by proof assistant users has made them a
particularly attractive target for proof engineering tools such as
QuickChick, a property-based testing tool for Coq which can
automatically derive generators for values satisfying an inductive
relation.
However, while such generators are generally efficient, there is
an infrequent yet seemingly inevitable situation where their
performance greatly degrades: when multiple inductive relations
constrain the same piece of data.
In this paper, we introduce an algorithm for merging two such
inductively defined properties that share an index. The algorithm
finds shared structure between the two relations, and creates a
single merged relation that is provably equivalent to the
conjunction of the two.
We demonstrate, through a series of case studies,
that the merged relations can improve the performance of automatic
generation by orders of magnitude, as well as simplify mechanized
proofs by getting rid of the need for nested induction and tedious
low-level book-keeping.
Identification of a ΔNp63-Dependent Basal-Like A Subtype-Specific Transcribed Enhancer Program (B-STEP) in Aggressive Pancreatic Ductal Adenocarcinoma
Authors: Wang Xin , Kutschat Ana P. , Aggrey-Fynn Joana , Hamdan Feda H. , Graham Rondell P. , Wixom Alexander Q. , Souto Yara , Ladigan-Badura Swetlana , Yonkus Jennifer A. , Abdelrahman Amro M. , Alva-Ruiz Roberto , Gaedcke Jochen , Ströbel Philipp , Kosinsky Robyn Laura , Wegwitz Florian , Hermann Patrick , Truty Mark J. , Siveke Jens T. , Hahn Stephan A. , Hessmann Elisabeth , Johnsen Steven A. , Najafova Zeynab 
Published: June 2023

Abstract

A major hurdle to the application of precision oncology in pancreatic cancer is the lack of molecular stratification approaches and targeted therapy for defined molecular subtypes. In this work, we sought to gain further insight and identify molecular and epigenetic signatures of the Basal-like A pancreatic ductal adenocarcinoma (PDAC) subgroup that can be applied to clinical samples for patient stratification and/or therapy monitoring. We generated and integrated global gene expression and epigenome mapping data from patient-derived xenograft models to identify subtype-specific enhancer regions that were validated in patient-derived samples. In addition, complementary nascent transcription and chromatin topology (HiChIP) analyses revealed a Basal-like A subtype-specific transcribed enhancer program in PDAC characterized by enhancer RNA (eRNA) production that is associated with more frequent chromatin interactions and subtype-specific gene activation. Importantly, we successfully confirmed the validity of eRNA detection as a possible histologic approach for PDAC patient stratification by performing RNA-ISH analyses for subtype-specific eRNAs on pathologic tissue samples. Thus, this study provides proof-of-concept that subtype-specific epigenetic changes relevant for PDAC progression can be detected at a single-cell level in complex, heterogeneous, primary tumor material.

Implications:
Subtype-specific enhancer activity analysis via detection of eRNAs on a single-cell level in patient material can be used as a potential tool for treatment stratification.
Heidegger’s Concept of Authenticity and the Aristotelian σπουδαῖος
Authors: Patsioti-Tsacpounidis Ioanna 
Published: June 2023

Abstract
In this paper, we try to establish a connection between Heidegger’s conception of authenticity and the Aristotelian σπουδαῖος. Through an exploration of Heidegger’s reference to authenticity, Aristotle’s concept of σπουδαῖος, and a reinterpretation of Heidegger’s reappropriation of certain Aristotelian concepts, such as αἴσθησις, πίστις and προαίρεσις, we wish to show that the authentic Dasein has assumed full responsibility of its role in life, and it has developed ontologically, in the same way a σπουδαῖος man acknowledges one’s full potentiality in purposeful action. The σπουδαῖος as the authentic Dasein grasps the moment, gives rise to the occasion by directing one’s judgement towards the praxis, and comes to provide its own stance in the facticity of life. In fact, the σπουδαῖος, like an authentic Dasein, in a way, comes to reflect the synthesis between θεωρία and πράξις as well as an implicit effort for Dasein to uncover itself to the world and to allow the world to uncover to it.
Historical Origins of the State’s Exploitative System of Peasant Farmers in Malawi from 1926 to 2000
Authors: Nkhono-Mvula Tamani , Kayuni Happy M. , Mulwafu Wapulumuka O. 
Published: June 2023

Abstract
This paper traces the historical origins of the state’s exploitative agricultural market system in Malawi with a case of Agricultural Development and Marketing Corporation (admarc), a post-colonial agriculture marketing board established in 1971. The study analyses how its initial intention of facilitating the transformation of agriculture got thwarted by political interest and structural adjustment and recently globalization processes. The study goes further to explain the changes that had taken place from early colonial era agricultural marketing institutions to the present days of admarc, covering a period from 1926 to 2000. This period has been chosen as present day admarc directly traces its origin to the Native Tobacco Board that was established in 1926. The paper explores how these marketing boards, which were initially created in the colonial era to facilitate the participation of the peasant farmers in organized markets, turned to be instruments of exploitation and vehicles of marginalization of the peasantry. Furthermore, as this paper notes, after the country gained independence, admarc continued to be a post-colonial era instrument for peasant farmers’ systematic oppression through intrinsic taxation that further compromised the development of the peasant farmers. The institution was further used to strengthen agricultural sector dualism in Malawi as the surplus extracted from the peasant smallholder farmers was used to develop the capitalist estates sector.
Social Inclusivity in Security Governance: the Case of Community Policing in Bangladesh
Authors: Biswas Niloy Ranjan 
Published: June 2023

Abstract
This paper aims to examine the dynamics of social inclusivity of the local people in the civil security governance of Bangladesh with a particular reference to the functions of community policing in the urban areas of the state. The broader framework of the sdg 16 informs the conceptual analysis of this paper – promoting peaceful and inclusive societies in establishing local ownership and an inclusive and improved security situation through community policing in Bangladesh. The empirical discussions in this paper include the findings of in-depth interviews with the civilian members of the community policing forums and members of the local police stations. The discussion aims to highlight – how and in what ways the community policing system, both forums and officers in police stations, has adopted an inclusive framework to ensure the participation of local community citizens. Furthermore, the discussion also highlights the challenges of including locals and civil society organisations in the security governance of the state. Finally, this paper argues that political patronage is a critical factor obstructing social inclusivity in the community policing system.
Exploring Students’ Use of Gestures to Create Scientific Models during Geological Field Trips and Modeling Activities
Authors: Choi Yoon-Sung , Kim Chan-Jong , Choe Seung-Urn 
Published: June 2023

Abstract
This study contributes to the literature by shedding light on students’ learning by examining and comparing students’ gestures in two educational contexts: geological field trips and classroom-based modeling activities. This study engaged 10 middle-school students in two different geological field trips and two classroom-based modeling activities and employed a hermeneutic approach to understand students’ use of gestures in both settings. Using multimodal interaction analysis (MIA) students’ gestures were explored to understand how students created and conveyed meaning using verbal and nonverbal interactions. The study found students’ gestures conveyed scientific content and differing social roles in the two settings. The results suggest the frequency and type of gestures used in each setting may be complementary to students’ development of accurate models. This study presents new classification criteria and characteristics to identify students’ gestures. This study demonstrates gestures can be an important resource for learning when students are engaging in modeling activities.
Losing an Empire: Fascist Italy’s Defeat in the Horn of Africa 1940–1941 and its Memory
Authors: Scianna Bastian Matteo 
Published: June 2023

Abstract
This article analyses the campaign in Italian East Africa from an Italian point of view. It starts by setting out the grim strategic situation the commander in chief, the Duke of Aosta, was facing at the outbreak of hostilities. It then proceeds to cover the three phases of the campaign: the period from June 1940 until the end of the year, the second phase between January and May 1941, including the fall of Keren and Addis Ababa, and the third and final period until November 1941. This contribution will highlight the problems the Italian military struggled with, its shortcomings, but also its dogged defence, e.g. at the battle of Keren. The second part of this article looks at how the memory of the campaign was formed after the Second World War and how it related to more general aspects of Italian colonial history.
Fairy moths of the genus Nemophora Hoffmannsegg, 1798 (Lepidoptera: Adelidae) of India and Sri Lanka
Authors: KOZLOV MIKHAIL V. 
Published: June 2023

This study provides a comprehensive account of 40 species of the genus Nemophora Hoffmannsegg, 1798 described or recorded from India and Sri Lanka. A key to the species based on external characters and on male genitalia is provided; twelve new species are described: Nemophora angustialata Kozlov, sp. nov., N. ceylonella Kozlov, sp. nov., N. costimaculella Kozlov, sp. nov., N. ferruginea Kozlov, sp. nov., N. fletcherella Kozlov, sp. nov., N. fuscomaculella Kozlov, sp. nov., N. kashmirella Kozlov, sp. nov., N. manipurella Kozlov, sp. nov., N. nitidulella Kozlov, sp. nov., N. ornamentella Kozlov, sp. nov., N. phryganeella Kozlov, sp. nov. and N. tenuitella Kozlov, sp. nov. Lectotypes are designated for 19 species, including four junior synonyms. The following new synonyms of seven species are proposed: Nemotois pollinaris (Meyrick, 1907), syn. nov. of Nemophora engraptes (Meyrick, 1907); Adela suavis Caradja, 1938, syn. nov. of Nemophora fluorites (Meyrick, 1907); Adela latifasciella Warren, 1888, syn. nov. of Nemophora gemmella (Walsingham, 1880); Nemotois chrysogona Meyrick, 1922, syn. nov. of Nemophora indica (Walker, 1863); Nemotois xanthargyra Meyrick, 1922, syn. nov. of Nemophora scitulella (Walker, 1864); Nemotois zonoreas Meyrick, 1924, syn. nov. of Nemophora solstitiella (Walsingham in Walsingham & Durrant, 1900); and Nemotois xanthophracta Meyrick, 1930, syn. nov. of Nemophora athlophora (Meyrick, 1912). Eleven new combinations are introduced: Nemophora sporodesma (Meyrick, 1928), comb. nov., N. engraptes (Meyrick, 1907), comb. nov., N. chalcomis (Meyrick, 1907), comb. nov., N. neurias (Meyrick, 1922), comb. nov., N. gemmella (Walsingham, 1880), comb. nov., N. indica (Walker, 1863), comb. nov., N. scitulella (Walker, 1864), comb. nov., N. amphimetalla (Meyrick, 1912), comb. nov., N. pyrotechna (Meyrick, 1912), comb. nov., N. chrysidias (Meyrick, 1928), comb. nov., and N. athlophora (Meyrick, 1912), comb. nov. Nemophora chalcomis (Meyrick, 1907) and N. mediseorsa Sun et Li, 2023 are for the first time reported from India; N. smaragdaspis (Meyrick, 1924) is for the first time reported from Nepal; N. chrysoprasias (Meyrick, 1922) is for the first time reported from Myanmar; N. solstitiella (Walsingham in Walsingham & Durrant, 1900) is for the first time reported from Pakistan and China (Taiwan); and N. augantha (Meyrick, 1907) is for the first time reported from Vietnam. The previous records of Adela croesella (Scopoli, 1763), N. satrapodes (Meyrick, 1894) and N. degeerella (Linnaeus, 1758) from India are dismissed as based on misidentifications. Currently, the fairy moth faunas of India and Sri Lanka include 38 and four species, respectively.
Assessing North Atlantic Tropical Cyclone Rainfall Hazard Using Engineered-Synthetic Storms and a Physics-Based Tropical Cyclone Rainfall Model
Authors: Xi Dazhi , Lin Ning , Nadal-Caraballo Norberto C. , Yawn Madison C. 
Published: June 2023

Abstract
In this study, we design a statistical method to couple observations with a physics-based tropical cyclone (TC) rainfall model (TCR) and engineered-synthetic storms for assessing TC rainfall hazard. We first propose a bias-correction method to minimize the errors induced by TCR via matching the probability distribution of TCR-simulated historical TC rainfall with gauge observations. Then we assign occurrence probabilities to engineered-synthetic storms to reflect local climatology, through a resampling method that matches the probability distribution of a newly proposed storm parameter named rainfall potential (POT) in the synthetic dataset with that in the observation. POT is constructed to include several important storm parameters for TC rainfall such as TC intensity, duration, and distance and environmental humidity near landfall, and it is shown to be correlated with TCR-simulated rainfall. The proposed method has a satisfactory performance in reproducing the rainfall hazard curve in various locations in the continental United States; it is an improvement over the traditional joint probability method (JPM) for TC rainfall hazard assessment.
Weakened Subtropical Westerlies Reduced Early Spring Precipitation in the Southeast Tibetan Plateau
Authors: Yuan Xu , Yang Kun , Lu Hui , Sun Jing , Wang Yan , Liu Yubo , Tang Qiuhong 
Published: June 2023

Abstract
The Southeast Tibetan Plateau (SETP) is a major region where many low-latitude glaciers are located, with spring precipitation being a major input of the glacier mass balance. This study shows that early spring precipitation has decreased significantly since 1999, which is attributed to declined moisture contribution from the far-field sources (west of 70°E) induced by the weakened subtropical westerlies. The possible physical mechanism underlying this change has also been revealed. It is found that snow-cover extent (SCE) in March reduced in midlatitude Eurasia after 1999; meanwhile, strong solar radiation during this month may have exacerbated snow melting through snow albedo–radiation interactions. These two processes led to warming and caused a strong anticyclone over midlatitude Eurasia that weakened the subtropical westerlies near 30°N. This decadal change in the subtropical westerlies led to a decrease in moisture transport upstream. As a result, the windward slopes of large terrain along the latitudinal belt near 30°N received less precipitation, and the decrease in SETP precipitation was part of this change. A further analysis shows that the positive correlation between the westerlies and precipitation has weakened since 1999.

Significance Statement
The purpose of this study is to reveal the decreased early spring precipitation and explore its possible physical mechanism in the Southeast Tibetan Plateau (SETP), which is crucial to understand the shrinkage of the local glacier. Our results indicate that the reduction of snow cover in midlatitude Eurasia since 1999 and the strong solar radiation in March contributed to the weakening subtropical westerlies, which further resulted in the decreasing precipitation in the SETP and other windward slopes of large terrain along the latitudinal 30°N belt in Eurasia.