bluuebunny/crossref_metadata_2025_split huggingface dataset:
Kryptonite: Worst-Case Program Interference Estimation on Multi-Core Embedded Systems
Authors: Singh Nikhilesh , Renganathan Karthikeyan , Rebeiro Chester , Jose Jithin , Mader Ralph 
Published: September 2023

Due to the low costs and energy needed, cyber-physical systems are adopting multi-core processors for their embedded computing requirements. In order to guarantee safety when the application has real-time constraints, a critical requirement is to estimate the worst-case interference from other executing programs. However, the complexity of multi-core hardware inhibits precisely determining the Worst-Case Program Interference. Existing solutions are either prone to overestimate the interference or are not scalable to different hardware sizes and designs.

In this paper we present
Kryptonite
, an automated framework to synthesize Worst-Case Program Interference (WCPI) environments for multi-core systems. Fundamental to
Kryptonite
is a set of tiny hardware-specific code gadgets that are crafted to maximize interference locally. The gadgets are arranged using a greedy approach and then molded using a Reinforcement Learning algorithm to create the WCPI environment. We demonstrate
Kryptonite
on the automotive grade Infineon AURIX TC399 processor with a wide range of programs that includes a commercial real-time automotive application. We show that, while being easily scalable and tunable,
Kryptonite
creates WCPI environments
increasing the runtime by up to 58% for benchmark applications and 26% for the automotive application.
Mining Hyperproperties using Temporal Logics
Authors: Bartocci Ezio , Mateis Cristinel , Nesterini Eleonora , Ničković Dejan 
Published: September 2023

Formal specifications are essential to express precisely systems, but they are often difficult to define or unavailable. Specification mining aims to automatically infer specifications from system executions. The existing literature mainly focuses on learning properties defined on single system executions. However, many system characteristics, such as security policies and robustness, require relating two or more executions, and hence cannot be captured by properties. Hyperproperties address this limitation by allowing simultaneous reasoning about multiple executions with quantification over system traces.
In this paper, we propose an effective approach for mining Hyper Signal Temporal Logic (HyperSTL) specifications. Our approach is based on the syntax-guided synthesis framework and allows users to control the amount of prior knowledge embedded in the mining procedure. To the best of our knowledge, this is the first mining method for hyperproperties that does not require a pre-defined template as input and allows for quantifier alternation. We implemented our approach and demonstrated its applicability and versatility in several case studies where we showed that we can use the same method to mine specifications both with and without templates, but also to infer subsets of HyperSTL, including STL, HyperLTL, LTL and non-temporal specifications.
Predictive Value of Post-Percutaneous Coronary Intervention Quantitative Flow Ratio for Vessel-Oriented Composite Endpoint
Authors: Liu Weibin , Cai Huaxiu , Zheng Yin , Wen Yongkang , Chen Sicheng , Xie Xiuying , Zeng Huan , Zhu Hengqing , Ni Zhonghan , Pei Fang , Cao Jun , Cao Gang 
Published: September 2023

At present, there is a lack of indicators, which can accurately predict the post-percutaneous coronary intervention (post-PCI) vessel-oriented composite endpoint (VOCE). Recent studies showed that the post-PCI quantitative flow ratio (QFR) can predict post-PCI VOCE. PubMed, Embase, and Cochrane were searched from inception to March 27, 2022, and the cohort studies about that the post-PCI QFR predicts post-PCI VOCE were screened. Meta-analysis was performed, including 6 studies involving 4518 target vessels. The results of the studies included in this meta-analysis all showed that low post-PCI QFR was an independent risk factor for post-PCI VOCE after adjusting for other factors, HR (95% CI) ranging from 2.718 (1.347–5.486) to 6.53 (2.70–15.8). Our meta-analysis showed that the risk of post-PCI VOCE was significantly higher in the lower post-PCI QFR group than in the higher post-PCI QFR group (HR: 4.14, 95% CI: 3.00–5.70,

P

< 0.001, I2 = 27.9%). Post-PCI QFR has a good predictive value for post-PCI VOCE. Trial Registration. This trial is registered with CRD42022322001.
A Novel Broadband
±
45° Dual-Polarized Cross-Dipole Antenna with Multimode Resonance
Authors: Chen Yanzheng , Raza Ali 
Published: September 2023

A novel

broadband
±
45

° dual-polarized cross-dipole antenna is presented for application in 2G, 3G, 4G, and sub-6 GHz 5G base station. A bent structure with a coplanar transmission line is used in the antenna design, which achieves multimode resonance, broadening the impedance bandwidth tremendously. Especially, it can work at

3
λ
/
2

and

2
λ

resonant modes without the impact of reverse current. The antenna covers the frequency spectra from 1.7 GHz to 3.8 GHz with an enhanced impedance bandwidth of roughly 76.4% and

VSWRs
<
1.65

at two ports. A gain of

8.3
±
1.9

dBi and port-to-port

isolation
>
22.5

dB are attained in the operating frequency range. Additionally, the presented antenna has a very simple configuration and is easy to construct. A mechanical prototype of the antenna has been manufactured and measured. The experimental findings and the computational results are in good agreement.
SETD2 Deficiency Confers Sensitivity to Dual Inhibition of DNA Methylation and PARP in Kidney Cancer
Authors: Zhou Xinyi , Sekino Yohei , Li Hong-Tao , Fu Guanghou , Yang Zhi , Zhao Shuqing , Gujar Hemant , Zu Xiongbing , Weisenberger Daniel J. , Gill Inderbir S. , Tulpule Varsha , D’souza Anishka , Quinn David I. , Han Bo , Liang Gangning 
Published: September 2023

Abstract

SETD2 deficiency alters the epigenetic landscape by causing depletion of H3K36me3 and plays an important role in diverse forms of cancer, most notably in aggressive and metastatic clear-cell renal cell carcinomas (ccRCC). Development of an effective treatment scheme targeting SETD2-compromised cancer is urgently needed. Considering that SETD2 is involved in DNA methylation and DNA repair, a combination treatment approach using DNA hypomethylating agents (HMA) and PARP inhibitors (PARPi) could have strong antitumor activity in SETD2-deficient kidney cancer. We tested the effects of the DNA HMA 5-aza-2′-dexoxydytidine (DAC), the PARPi talazoparib (BMN-673), and both in combination in human ccRCC models with or without SETD2 deficiency. The combination treatment of DAC and BMN-673 synergistically increased cytotoxicity in vitro in SETD2-deficient ccRCC cell lines but not in SETD2-proficient cell lines. DAC and BMN-673 led to apoptotic induction, increased DNA damage, insufficient DNA damage repair, and increased genomic instability. Furthermore, the combination treatment elevated immune responses, upregulated STING, and enhanced viral mimicry by activating transposable elements. Finally, the combination effectively suppressed the growth of SETD2-deficient ccRCC in in vivo mouse models. Together, these findings indicate that combining HMA and PARPi is a promising potential therapeutic strategy for treating SETD2-compromised ccRCC.

Significance:
SETD2 deficiency creates a vulnerable epigenetic status that is targetable using a DNA hypomethylating agent and PARP inhibitor combination to suppress renal cell carcinoma, identifying a precision medicine–based approach for SETD2-compromised cancers.
KRASWild-Type Pancreatic Cancer: Decoding Genomics, Unlocking Therapeutic Potential
Authors: Kato Hiroyuki , Ellis Haley , Bardeesy Nabeel 
Published: September 2023

SummaryIn a landscape dominated by pivotal KRAS mutations, there has been limited exploration of KRAS wild-type pancreatic cancer. A recent study highlights other mitogen-activated kinase pathway alterations as alternative drivers in these tumors, which holds the key to unlocking a realm of targeted therapies for patients with this understudied cancer subtype.See related article by Singh et al., p. 4627
Effects of a Canine-Assisted Intervention in Perceived and Physiological Stress of Spanish University Students
Authors: Peña Gil Diana , Camilli Trujillo Celia , García Mercedes García 
Published: September 2023

Abstract
Many universities, concerned with finding methods to improve the academic environment and support their students, carry out animal-assisted interventions. This study measured the effect of a canine-assisted intervention program on the stress of first-year university students at the Complutense University of Madrid. A quasi-experimental pretest-posttest design was followed, with a follow-up measure. The instruments used were the Perceived Stress Questionnaire and salivary cortisol measures. The sample was 102 students. The program, called “Compludog,” consisted of one 45-minute session a week for three weeks. The results demonstrated significant improvements in physiological and perceived stress in the posttest and follow-up measure. In addition, analyses revealed that the sociodemographic variables had no influence on the effects of the program. It is concluded that a canine-assisted intervention program is effective. Therefore, Spanish universities should consider this kind of program to support their students and reduce their stress, even during exam time.
Human Rights Education and Religious Education: Design-based Research on Integrating HRE into RE Teacher Education
Authors: Trefzer Franziska M. , Pirner Manfred L. 
Published: September 2023

Abstract
This paper explicates the conceptual background, design and first results of the empirical research project “The Rights of the Child and the School Subject of Religious Education” that aims to integrate children’s rights into RE as well as into RE teacher education with a design-based research (DBR) approach. It starts by claiming a central significance of human rights for humanity and social cohesion in society and the world and therefore also for school education. It continues to clarify the relationship between human rights values and religious values and argues for a special potential and obligation of RE for promoting human rights and children’s rights – which is to date only partly fulfilled in German RE. Building upon this, the sub-project “Human Rights Education for Religious Educators” (HRE4RE) is introduced. This research demonstrates that it is necessary to establish human rights and children’s rights education for student teachers of RE, in order for them to be able to adequately integrate children’s rights perspectives into school culture as well as into RE for generations to come.
Adat Law-Making Process
Authors: Pradhani Sartika Intaning 
Published: September 2023

Abstract
This study aims to analyse the emerging need to change customary law (adat law in Indonesia) and identify the role of adat functionaries. The experience of the Mollo adat law community (indigenous people) from the south-eastern part of Indonesia, Timor Island, shows that the sudden and massive collection of haukonof (Usnea barbata), a non-timber forest product, has caused forest destruction. How do the adat functionaries respond to the situation? Is adat law sufficient to respond to the sudden change of their livelihood? If it is not, then what to do? Furthermore, what are the impacts on the functionaries? What are their difficulties, and how do they solve them? This article is based on an in-depth ethnographic study held in July—September 2021. Data are collected through interviews and observation. The adat functionaries want to restrict the people from picking and collecting haukonof, but there is no adat law specifically ruling on it. Only the adat functionaries should protect the environment. The pickers and the collectors of haukonof are the members of the communities. The kinship relation between the functionaries and the members complicates legal enforcement. The adat functionaries’ authority and the sustainability of the livelihoods are in danger. The immediate solution is borrowing state law which obliges a person who utilises non-timber forest products in the Protection Forest to hold a valid permit. It effectively reduces the number of haukonof picking and collection by the community members. Adat’s law-making process does not work in isolation. It is an interactive process that needs continuous foresight observation from the adat functionaries to find the appropriate solution to protect the environment and the people.
Singing Apart Together
Authors: Vogel Henk , Klomp Mirella , Barnard Marcel 
Published: September 2023

Abstract
Genemuider bovenstem is a particular style of psalm singing, originating from the town of Genemuiden in the Netherlands, in which a higher voice is added to the Genevan melody of the psalms. It has roots in liturgical contexts, and has been designated as Intangible Cultural Heritage. This article discusses the construction of singing communities in Genemuider bovenstem psalm singing as performed both in the Sunday worship practices of strictly Reformed church communities, and in collective regional singing events on weekdays that receive financial and practical support from the Dutch government. We present the results of empirical research in Genemuiden, demonstrating the existence of a mutually reinforcing overlap between church communities and the publics who attend psalm-singing events. Our work serves to further nuance extant theories that suggest that the eventization and heritagization of religious practices lead to a diminution in the status of church communities and of their control and ownership over their practices.
Adversarial Power-Sharing and “Forced Marriages”: Governing Coalitions in Lebanon and Yemen
Authors: Durac Vincent , Fakhoury Tamirace 
Published: September 2023

Abstract
How do power-sharing governing coalitions work in the context of politicized identities and external pressures? And how do they emerge, develop, and disintegrate when governing parties share power in the context of colliding agendas? Working on the premise that coalition governments may be messy constellations of power, rather than rational avenues for deliberation, this article explores the politics of coalitions in the Middle East as a case of adversarial power-sharing, or what we frame as ‘forced marriages.’ We focus on Yemen and Lebanon, two polities that have developed power-sharing arrangements in conflict-laden environments, albeit under different circumstances and logics of state-building. We argue that while both countries are different on a wide range of variables, they have broader lessons to convey on the ways coalition governments perform and the policy consequences they yield. Throughout both countries’ political history, coalition governance patterns have led to political fragmentation and policy gridlock. However, the puzzle is that notwithstanding antagonistic policy agendas and despite popular disaffection with ruling arrangements, coalition governments have kept re-emerging. This requires an incisive look into the relational and complex dynamics that sustain their logic.
TikTok as a Marketing Tool in the Hands of Publishers
Authors: Currenti Martina 
Published: September 2023

Abstract
This article analyses the impact that TikTok has on the publishing industry from the perspectives of professionals, content creators, and readers on the platform, as obtained through a series of interviews and an online questionnaire. It investigates why the BookTok community seems to be able to have a direct influence on book sales, and also enquires how publishers are reacting to this phenomenon. Thanks to the primary research, this study juxtaposes the performance on TikTok of its case studies (taken from the Big Five publishers) with the direct feedback of BookTok members, identifying common elements that indicate how the companies are perceived and which approach to the platform resonates the most with their young audiences. The article provides suggestions of how publishers can either improve their usage of TikTok or navigate it for the first time.
Using BookTok and Bookstagram as an Author
Authors: Nicoll Katie 
Published: September 2023

Abstract
This paper examines the benefits of the BookTok and Bookstagram communities for authors and explains how the latter can use the platforms to engage with readers and promote their work online. The first half of this article examines the importance of content creators in the book community. The second part explains how authors can use these platforms to grow their readership and, in turn, promote their books. The purpose of this paper is to emphasize the benefits to authors of utilizing social media and how the relationship between content creator and author can be highly useful in generating engagement and excitement around books.
Key Issues Affecting the Inclusion of Alt Text in Scholarly PDF Publications
Authors: Richard Beth 
Published: September 2023

Abstract
Alternative (alt) text descriptions for images in digital publications provide comparable information for people who cannot effectively see the visuals. They are relied upon by people who are blind or who have a moderate to severe visual impairment and who use assistive technologies. However, consistent provision of alt text is proving challenging for publishers because of the required changes in workflow, budgeting, and resourcing; in particular, scholarly publications contain high numbers of images requiring alt text. Most industry knowledge-sharing and studies on alt text in scholarly PDFs focus on large and medium-sized publishers and high JIF titles. To explore key issues affecting the consistent inclusion of alt text in publications produced by small and non-profit publishers this study uses the case of a UK-based independent research organization. Drawing on PDF analyses and a focus group discussion with publishing staff, the article makes recommendations for similar organizations seeking to publish alt text.
The Intellectual as Culture Warrior
Authors: Bures Eliah 
Published: September 2023

Abstract
A major development on the European far right since 1945 is the turn to a ‘metapolitics’ supposedly influenced by the Italian Marxist theorist Antonio Gramsci. Metapolitics, in this sense, deemphasizes electoral politics in favor of intellectual activism and the pursuit of ‘cultural hegemony’ as a prelude to seizing political power. This article examines the metapolitics of the European New Right (ENR) from a new theoretical and historical perspective. It argues that the literature of the US ‘culture wars’ better explains the ENR’s practice than any reception of Gramsci. And it presents ENR metapolitics not as the strategic reformulation of interwar fascism but as part of a broad transatlantic backlash against the leftist successes of the 1960s. This approach better accounts for ENR intellectuals’ function as ‘culture warriors’ specializing in demonization and mastery of the tools of public discourse.
Building the European ‘New Order’
Authors: Costa Pinto António 
Published: September 2023

Abstract
Military occupation is the maximum level of political intervention based on coercion, but even under Axis rule, the institutional design of dictatorships by their ‘collaborationist’ elites was influenced by different models and political families. Military occupation opened a window of opportunity for the takeover of power by different segments of authoritarian and fascist elites, and the tension and forced pacts between different projects of dictatorial institutionalizations were a clear sign of this dynamic process. This article examines how the complicated relationship between the radical right, authoritarian conservatives and fascists were present in the institutional crafting of new regimes.
The Flesh of Historicity
Authors: Keller Kurt Dauer 
Published: September 2023

Abstract
Corporeality and historicity in our very experience are focal points of the phenomenological movement as it becomes attentive to human existence. In existential and hermeneutic phenomenology, historicity is understood as experienced meaning: temporality. This actualizes the Aristotelian conception of historical development as the realization of power potentials, where culture and reason are associated with human nature. Of interest is also the post-Hegelian thinking of history as both de-centered and centered existence. In the face of contemporary difficulties (ever since Hegel) in grasping historicity as connected nature and reason, phenomenology points to the bodily intentionality, with which meaning as well as experience are structured on different levels of being in human existence: aesthetic presence, body-in-the-world, speech, praxis, action, and thinking.
Tuition Fees for International Students in Norway: A Policy-Debate
Authors: Liu Dian , Solheim Marte C.W. 
Published: September 2023

Abstract
The provision of equitable chances for students from all socioeconomic backgrounds to pursue higher education is a fundamental principle in Norway’s egalitarian educational system. Providing free higher education to domestic and international students, has long been praised. In accordance with this, the Norwegian government has long sought to internationalize higher education, to enhance the quality of higher education. Statistics reveal a rapid increase in the number of international students enrolled during the past decade, indicating that international student mobility, both inbound and outbound, has expanded significantly in Norway. However, the Norwegian government announced the imposition of tuition fees for foreign students attending higher education outside of the European Economic Area (eea) and Switzerland from August 2023. The fundamental free principle in Norwegian higher education has been viewed as being broken by this action, along with the government’s own political platform and party platforms. In relation to international higher education literature and tuition fee policies in other Nordic contexts and beyond, this article addresses the government’s justifications for enacting tuition fees for foreign students in Norway. Additionally, it investigates internationalization of the Higher Education system in Norway by shedding light on the status of internationalization as well as how the Norwegian society has responded to the imposition of tuition fees for international students. By considering elements like revenue generation, academic diversity, global competitiveness, and social inclusion, the article further emphasizes the potential implications for the landscape of Norwegian higher education and its position in the worldwide arena. With this policy debate, we aim to contribute to the continuing discussion about international students’ tuition fees and offer insightful information to policymakers, practitioners, and scholars working in international higher education.
Bringing Emotions Back to Research on stem Teachers and Teaching
Authors: Tsang Kwok Kuen 
Published: September 2023

Abstract
stem education is widely recognized as a means to equip students with generic competences to meet the challenges of the 21st century. Thus, researchers have explored the challenges to stem education implementation and recommended strategies to overcome these challenges to enhance the effectiveness and quality of stem education. However, stem teachers’ emotions are overlooked in the literature, although emotions have significant impacts on the quality of teaching and the implementation of stem education. This article aims to provide a conceptual analysis of stem teachers’ emotions by drawing on literature on teachers’ emotions. The analysis suggests that stem teachers’ emotions can be constructed at interpersonal, interactional, and institutional levels, with different mechanisms operating at each level. Since these levels are interrelated, researchers should be theoretically sensitive to the multilevel facets, although they may focus on one of these levels in their studies.