Formal Framework Research Articles

The ‘urgencies’ of implementing an RRI approach in EU-funded law enforcement technology development: between frameworks and practice

ABSTRACT RRI aspirations are complicated by two kinds of ‘urgency' in the field of EU-funded security research: the timeframe and requirements for such technologies often present researchers with ‘urgency' due to the sensitive nature of the security domain and it is ‘urgent' for building societal trust in security technology that RRI approaches shall be introduced and effectively implemented in the lifecycle of developing such technologies. Drawing on experience from an H2020-multidisciplinary project, this article presents the gap between the top-down formal frameworks and bottom-up practice of designing and implementing RRI approaches under conditions of ‘urgency’ and time pressure. In the case of EU-funded security research, it is argued, there are still significant practical challenges which hinder the effective implementation of RRI approaches, potentially limiting the extent to which such approaches deliver meaningful impact. The paper reflects on these challenges, as well as on potential strategies to overcome them in the future.

Production Cross-Section of γ-Rays from (p,p′γ) Reactions: Measurements and Theoretical Analysis

This paper reviews our work on the measurements of absolute production cross sections of γ-rays from the (p,p′γ) reactions on 12C and 16O. The measurements cover a range of 8–16 MeV for the incident proton beam. The angular distributions of the γ-rays have been measured. A detailed phenomenological analysis within the framework of optical model formalism has been carried out to reproduce the experimental data. The existing global set of elastic, polarization and total reaction data for protons and neutrons have been used to generate the optical model potential. The nuclear structure effects have been included in the calculations by considering the roles of coupling of the low-lying states, the presence of resonances and nuclear deformations. The potentials so generated have been used to calculate the differential and total cross sections for both (p,p′) and (p,p′γ) reactions. The results of the analysis are in good agreement with the measured data for the observed γ-rays. However, discrepancies still exist in reproducing the finer details of the cross sections. The existing discrepancies between our phenomenological analysis and the experimental data demonstrate the rather complex roles of channel couplings, resonances in the compound nuclear system and target deformation. The significant contribution of nuclear structure effects in light mass nucleus like 12C and 16O, leads to an apparent loss of predictive power of the theoretical calculation for low-energy region (less than 10 MeV) of the projectile energy.

A systematic literature review of attitudes, intentions and behaviours of teaching academics pertaining to AI and generative AI (GenAI) in higher education: An analysis of GenAI adoption using the UTAUT framework

The rapid advancement of artificial intelligence (AI) has outpaced existing research and regulatory frameworks in higher education, leading to varied institutional responses. Although some educators and institutions have embraced AI and generative AI (GenAI), other individuals remain cautious. This systematic literature review explored teaching academics' attitudes, perceptions and intentions towards AI and GenAI, identifying perceived benefits and obstacles. Utilising the unified theory of acceptance and use of technology framework, this study reveals positive attitudes towards AI's efficiency and teaching enhancement, but also significant concerns about academic integrity, accuracy, reliability, skill development and the need for comprehensive training and policies. These findings underscore the necessity for institutional support to navigate the integration of AI and GenAI in tertiary education. Implications for practice or policy: Attitudes towards AI and GenAI integration are diverse with educators recognising benefits but raising ethical and practical concerns. These concerns indicate a need for a more comprehensive understanding and dialogue within academic communities. Academics' intentions to use these technologies are contingent upon the development of robust ethical guidelines and supportive institutional policies. Institutional support and training shape behaviours. The scarcity of formal training, systematic guidelines and policy frameworks currently limits effective integration.

Reconciling Conflicting Data Curation Actions: Transparency Through Argumentation

We propose a new approach for modeling and reconciling conflicting data cleaning actions. Such conflicts arise naturally in collaborative data curation settings where multiple experts work independently and then aim to put their efforts together to improve and accelerate data cleaning. The key idea of our approach is to model conflicting updates as a formal argumentation framework (AF). Such argumentation frameworks can be automatically analyzed and solved by translating them to a logic program PAF whose declarative semantics yield a transparent solution with many desirable properties, e.g., uncontroversial updates are accepted, unjustified ones are rejected, and the remaining ambiguities are exposed and presented to users for further analysis. After motivating the problem, we introduce our approach and illustrate it with a detailed running example introducing both well-founded and stable semantics to help understand the AF solutions. We have begun to develop open source tools and Jupyter notebooks that demonstrate the practicality of our approach. In future work we plan to develop a toolkit for conflict resolution that can be used in conjunction with OpenRefine, a popular interactive data cleaning tool.

Declarative Approaches to Outcome Determination in Judgment Aggregation

Judgment aggregation (JA) offers a generic formal framework for modeling various set- tings involving information aggregation by social choice mechanisms. For many judgment aggregation rules, computing collective judgments is computationally notoriously hard. The central outcome determination problem, in particular, is often complete for higher levels of the polynomial hierarchy. This complexity barrier makes it challenging to de- velop practical exact algorithms to outcome determination. Taking on this challenge, in this work we develop practical exact algorithms for outcome determination under a range of the most central JA rules—namely Kemeny, Slater, MaxHamming, Young, Dodgson, Reversal scoring, Condorcet, Ranked agenda, and LexiMax—by harnessing the declarative approach, in particular, Boolean satisfiability (SAT) and integer programming techniques. For the Kemeny, Slater, MaxHamming, Young, and Dodgson rules, we detail direct ap- proaches based on maximum satisfiability (MaxSAT) and integer programming. For the Reversal scoring, Condorcet, Ranked agenda, and LexiMax rules, we develop iterative al- gorithms, including algorithms based on the counterexample-guided abstraction refinement (CEGAR) paradigm, making use of recent advances in incremental MaxSAT solving and preferential SAT-based reasoning. We provide an open-source implementation of the algo- rithms, and empirically evaluate them using real-world preference data. We compare the performance of our implementation to a recent approach which makes use of declarative solver technology for answer set programming (ASP). The results demonstrate that our approaches scale significantly beyond the reach of the ASP-based algorithms for all of the judgment aggregation rules considered.

Original position arguments: an axiomatic characterization

Abstract We study original position arguments in the context of social choice under ignorance. First, we present a general formal framework for such arguments. Next, we provide an axiomatic characterization of social choice rules that can be supported by original position arguments. We illustrate this characterization in terms of various well-known social choice rules, some of which do and some of which do not satisfy the axioms in question. Depending on the perspective one takes, our results can be used to argue against certain rules, against Rawlsian theories of procedural fairness, or in support of richer, multidimensional models of individual choice.

Multi-subject human activities: A survey of recognition and evaluation methods based on a formal framework

Multi-subject human activities: A survey of recognition and evaluation methods based on a formal framework

Advance Care Planning in Palliative Care in Asia: Barriers and Implications.

Advance care planning (ACP) in palliative care is essential for patient autonomy and quality of dying. This review explores ACP practices in South Korea, Japan, and Taiwan, highlighting how legislation and cultural values shape those practices. In these three sectors, which are influenced by Confucian values, family involvement plays a significant role in decision-making. In South Korea, the Life-Sustaining Treatment Decisions Act made ACP processes mandatory at all healthcare institutions and rapidly created advance directive registration agencies nationwide, with a national web-based system for legal documentation. The Act's narrow focus on terminal illness and dying phase may inadvertently delay end-of-life discussions. A broader social consensus is needed to allocate end-of-life care resources in a way that reflects patients' and families' wishes. Japan's family-based approach highlights relational autonomy, with ACP timing varying and no formal legal frameworks for advance directives. Expanded palliative care, ACP guidelines, systemic support, and public awareness drive progress in Japan. Taiwan's two relevant legislative frameworks-the Hospice Palliative Care Act and Patient Right to Autonomy Act-expand palliative care services for terminal illnesses and non-cancer diseases such as severe dementia, irreversible coma, and a persistent vegetative state. Misunderstandings of ACP and family-led decision-making may hinder ACP uptake. ACP referral based on patient care needs rather than terminal diagnoses is suggested. Overcoming common barriers in Asia necessitates open dialogues about death and public education. A standardized legal framework and comprehensive training for healthcare providers are equally important. Further international collaboration will suggest culturally sensitive ACP conversations across Asia.

An Explainable and Formal Framework for Hypertension Monitoring Using ECG and PPG

An Explainable and Formal Framework for Hypertension Monitoring Using ECG and PPG

Fine structure of current noise spectra in nanoelectromechanical resonators

We study the frequency-dependent noise of a suspended carbon nanotube quantum dot nanoelectromechanical resonator induced by electron-vibration coupling. Using a rigorous Keldysh diagrammatic technique, we establish a formal framework connecting the vibrational properties to electrical measurements. We find that the noise power spectrum exhibits a narrow resonant peak at the frequency of the vibrational modes. However, this fine structure tends to disappear due to a coherent cancellation effect when the tunneling barriers are tuned to a symmetric point. Notably, measuring the electrical current noise spectra provides a sensitive alternative method for detecting the damping and dephasing of quantum vibrational modes.

Exploring regular black holes within the framework of the TFD formalism

Exploring regular black holes within the framework of the TFD formalism

Proton Relays in Molecular Catalysis for Hydrogen Evolution and Oxidation: Lessons From the Mimicry of Hydrogenases and Electrochemical Kinetic Analyses

AbstractThe active sites of metalloenzymes involved in small molecules activation often contain pendant bases that act as proton relay promoting proton‐coupled electron‐transfer processes. Here we focus on hydrogenases and on the reactions they catalyze, i. e. the hydrogen evolution and oxidation reactions. After a short description of these enzymes, we review some of the various biomimetic and bioinspired molecular systems that contain proton relays. We then provide the formal electrochemical framework required to decipher the key role of such proton relay to enhance catalysis in a single direction and discuss the few systems active for H2 evolution for which quantitative kinetic data are available. We finally highlight key parameters required to reach bidirectional catalysis (both hydrogen evolution and hydrogen oxidation catalyzed) and then transition to reversible catalysis (both reactions catalyzed in a narrow potential range) as well as illustrate these features on few systems from the literature.

Proton Relays in Molecular Catalysis for Hydrogen Evolution and Oxidation: Lessons From the Mimicry of Hydrogenases and Electrochemical Kinetic Analyses.

The active sites of metalloenzymes involved in small molecules activation often contain pendant bases that act as proton relay promoting proton-coupled electron-transfer processes. Here we focus on hydrogenases and on the reactions they catalyze, i. e. the hydrogen evolution and oxidation reactions. After a short description of these enzymes, we review some of the various biomimetic and bioinspired molecular systems that contain proton relays. We then provide the formal electrochemical framework required to decipher the key role of such proton relay to enhance catalysis in a single direction and discuss the few systems active for H2 evolution for which quantitative kinetic data are available. We finally highlight key parameters required to reach bidirectional catalysis (both hydrogen evolution and hydrogen oxidation catalyzed) and then transition to reversible catalysis (both reactions catalyzed in a narrow potential range) as well as illustrate these features on few systems from the literature.

Organic Communities, Atomistic Societies and Loneliness

The article distinguishes two models of human organization: the organic community and the atomistic society. It maintains that the organic paradigm stresses (a) the ideal unity of the whole; (b) internal relations; (c) teleological or dialectical processes; (d) co- or inter-dependent members (e. g. the human body or face); (e) a role-orientation; (f) living functions; (g) freedom defined as doing as you should; and (h) qualitative factors prevail. By contrast, the atomistic model emphasizes (a) the value of individual freedom; (b) external relations; (c) mechanical or causal explanations; (d) separate “parts”(e.g. a machine); (e) a rule orientation; (f) formal, legal, or artificial frameworks; (g) freedom defined as doing as you please; and (h) quantitative factors prevail. The article contends that the sense of individual loneliness or alienation experienced is generally much greater in the atomistic society. And since both the American family and its surrounding society are, in the main, atomisticly-structured, it follows that loneliness is more pronounced and prevalent in American society. The article concludes by offering some programmatic ideals and measures to reverse and mitigate the present tendency toward increasing loneliness in the United States.

Predecisional information search adaptively reduces three types of uncertainty

How do people search for information when they are given the opportunity to freely explore their options? Previous research has suggested that people focus on reducing uncertainty before making a decision, but it remains unclear how exactly they do so and whether they do so consistently. We present an analysis of over 1,000,000 information-search decisions made by over 2,500 individuals in a decisions-from-experience setting that cleanly separates information search from choice. Using a data-driven approach supported by a formal measurement framework, we examine how people allocate samples to options and how they decide to terminate search. Three major insights emerge. First, predecisional information search has at least three drivers that can be interpreted as reducing three types of uncertainty: structural, estimation, and computational. Second, the selection of these drivers of information search is adaptive, sequential, and guided by environmental knowledge that integrates prior expectations, task instructions, and personal experiences. Third, predecisional information search exhibits substantial interindividual heterogeneity, with individuals recruiting different drivers of information search. Together, these insights suggest that human information search is complex in ways that cannot be fully explained by monolithic accounts of information search, including proposals focused on estimation uncertainty or cost-benefit analysis. We conclude that broader theories of human information-search behavior are necessary.

Goal-hiding information-seeking dialogues: A formal framework

We consider a type of information-seeking dialogue between a seeker agent and a respondent agent, where the seeker estimates the respondent to not be willing to share a particular set of sought-after information. Hence, the seeker postpones (hides) its goal topic, related to the respondent's sensitive information, until the respondent is perceived as willing to talk about it. In the intermediate process, the seeker opens other topics to steer the dialogue tactfully towards the goal. Such dialogue strategies, which we refer to as goal-hiding strategies, are common in diverse contexts such as criminal interrogations and medical assessments, involving sensitive topics. Conversely, in malicious online interactions like social media extortion, similar strategies might aim to manipulate individuals into revealing information or agreeing to unfavorable terms. This paper proposes a formal dialogue framework for understanding goal-hiding strategies. The dialogue framework uses Quantitative Bipolar Argumentation Frameworks (QBAFs) to assign willingness scores to topics. An initial willingness for each topic is modified by considering how topics promote (support) or demote (attack) other topics. We introduce a method to identify relations among topics by considering a respondent's shared information. Finally, we introduce a gradual semantics to estimate changes in willingness as new topics are opened. Our formal analysis and empirical evaluation show the system's compliance with privacy-preserving safety properties. A formal understanding of goal-hiding strategies opens up a range of practical applications; For instance, a seeker agent may plan with goal-hiding to enhance privacy in human-agent interactions. Similarly, an observer agent (third-party) may be designed to enhance social media security by detecting goal-hiding strategies employed by users' interlocutors.

Striking the balance: anti-money laundering goals and legal privilege in Australia

ABSTRACT Criminals engage legal professionals for their skills and services to facilitate laundering of proceeds from crime. Despite this risk, Australia remains one of the few countries globally that is non-compliant with international anti-money laundering (‘AML’) standards set by the Financial Action Task Force (‘FATF’) which urge States to impose preventative measures on legal professionals to provide intelligence to assist law enforcement in detecting financial crime. Representatives of the legal community have vehemently opposed regulating legal professionals under Australia’s AML laws since the inception of Australia’s formal AML framework, fearing that it would cause irreconcilable tension with lawyers’ ethical duties to uphold legal professional privilege (‘LPP’). Although Australia is among the last countries to impose AML duties on legal professionals, its lawmakers can benefit from examining best practices in comparable, globally compliant jurisdictions. Through consideration of the regulatory frameworks in the United Kingdom and New Zealand, this article derives practical insights and offers actionable recommendations for Australian lawmakers and international stakeholders on how to preserve LPP to the greatest extent possible while advancing AML goals. While LPP is not a barrier to AML regulation, it is an important consideration for lawmakers.

Zero coupon yield curve dynamics in the Russian sovereign bond market

Yield curve is a graphical representation of a relationship between interest rates and maturity. Shape of yield curve often attracts attention of analysts, because it represents market implied expectation of future interest rate path. However, the analysis of the yield curve shape often lacks theoretical foundation. It is based either on review of term spreads or on a simple visual investigation. In this article we formally define the shape of the yield curve in terms of function invariants. We use Nelson–Siegel model as a backbone for our classification and show that there exists only six possible shapes of yield curve. They are: a normal upward slopping yield curve, inverted yield curve, humped upward slopping, dipped upward slopping, humped inverted and dipped inverted. We analyze dynamics of zero coupon yield curve in Russian market based on real historical data. We show that transition from an upward slopping curve to an inverted one was always preceded by a hump at mid-tem maturities, while the transition back was always done through the dip. This highlights the importance of mid-term rates in reshapening the curve. We explain this behavior by short end of the curve being linked to the key rate and thus being more sticky. The contribution of the paper is twofold. First, it provides a formal framework to analyze the shape of the yield curve. Second, it describes the patterns in dynamic of the ruble yield curve that can be useful for bond investors in the Russian market.

Implementation of Cognitive (Neuropsychological) Interventions for Older Adults in Clinical or Community Settings: A Scoping Review.

Despite compelling evidence that cognitive interventions for older adults improve cognition, mood, and everyday function, few are implemented in clinical or community practice. This scoping review aims to understand the implementation frameworks and methods used and their contribution to implementation success of cognitive interventions for older adults. We followed the Preferred Reporting Items for Systematic Reviews and Meta-analysis extension for Scoping Reviews (PRISMA-ScR), and searched CINAHL, EMBASE, MEDLINE, and PSYCINFO databases, using terms related to cognitive interventions, implementation, and older adults. This resulted in 5002 studies, of which 29 were included following an iterative process. Most studies reported on implementation of cognitive stimulation for people with dementia. Only four studies used formal implementation frameworks, with three using RE-AIM, and one a process evaluation using complexity theory. The most frequently addressed implementation concepts were Acceptability, Feasibility, and Effectiveness, while Cost, Cost-Effectiveness, and Maintenance were rarely reported. Solutions to common barriers included the importance of good stakeholder relationships and engagement, a manualised intervention flexible enough to adapt to the context, and ensuring facilitators were well-trained, confident, and enthusiastic.

Expected First Occurrence Time of Uncertain Future Events in One-Dimensional Linear Systems

The rapid advancement of machine learning algorithms has significantly enhanced tools for monitoring system health, making data-driven approaches predominant in Prognostics and Health Management (PHM). In contrast, model-based approaches have seen modest progress, as they are often constrained by the need for prior knowledge of specific governing equations, limiting their applicability to a wide range of problems. Recently, rigorous theoretical foundations have been established to extend dynamical systems theory by incorporating prognosis of uncertain events. This article leverages this formal framework to introduce and demonstrate a fundamental mathematical result for one-dimensional linear dynamical systems. The presented theorem offers an exact expression for calculating the expected time at which an event will first occur in the future. Unlike typical thresholds, this event is triggered by a hazard zone, defined as an uncertain event likelihood function over the system's state space. Applications of this theorem can be found in implementing real-time prognostic frameworks, where it is crucial to quickly estimate the magnitude of impending failures. Emphasis is placed on minimizing computational burden to facilitate prognostic decision-making.