bluuebunny/crossref_metadata_2025_split huggingface dataset:
Knor: reactive synthesis using Oink
Authors: van Dijk Tom , van Abbema Feije , Tomov Naum 
Published: April 2024

AbstractWe present an innovative approach to the reactive synthesis of parity automaton specifications, which plays a pivotal role in the synthesis of linear temporal logic. We find that our method efficiently solves the SYNTCOMP synthesis competition benchmarks for parity automata from LTL specifications, solving all 288 models in under a minute. We therefore direct our attention to optimizing the circuit size and propose several methods to reduce the size of the constructed circuits: (1) leveraging different parity game solvers, (2) applying bisimulation minimisation to the winning strategy, (3) using alternative encodings from the strategy to an and-inverter graph, (4) integrating post-processing with the ABC tool. We implement these methods in the Knor tool, which has secured us multiple victories in the PGAME track of the SYNTCOMP competition.
On Dependent Variables in Reactive Synthesis
Authors: Akshay S. , Basa Eliyahu , Chakraborty Supratik , Fried Dror 
Published: April 2024

AbstractGiven a Linear Temporal Logic (LTL) formula over input and output variables, reactive synthesis requires us to design a deterministic Mealy machine that gives the values of outputs at every time step for every sequence of inputs, such that the LTL formula is satisfied. In this paper, we investigate the notion of dependent variables in the context of reactive synthesis. Inspired by successful pre-processing techniques in Boolean functional synthesis, we define dependent variables in reactive synthesis as output variables that are uniquely assigned, given an assignment to all other variables and the history so far. We describe an automata-based approach for finding a set of dependent variables. Using this, we show that dependent variables are surprisingly common in reactive synthesis benchmarks. Next, we develop a novel synthesis framework that exploits dependent variables to construct an overall synthesis solution. By implementing this framework using the widely used library , we show that reactive synthesis that exploits dependent variables can solve some problems beyond the reach of existing techniques. Furthermore, we observe that among benchmarks with dependent variables, if the count of non-dependent variables is low ($$\le 3$$≤3in our experiments), our method outperforms state-of-the-art tools for synthesis.
Daily ranging and den usage patterns structure the spatiotemporal properties of social encounters in spotted hyenas
Authors: Strauss Eli D. , Jensen Frants H. , Gersick Andrew S. , Thomas Mara , Holekamp Kay E. , Strandburg-Peshkin Ariana 
Published: April 2024

AbstractFission–fusion dynamics describe the tendency for members of some animal societies to associate in subgroups that change size and structure fluidly over time. These dynamics shape social complexity and social structure, but are difficult to study because they unfold simultaneously over large spatial scales. Here we use simultaneous, fine-scale GPS data from spotted hyenas to examine fission–fusion dynamics through a dyadic analysis of merge-split events between pairs of individuals. We introduce a species-agnostic framework for identifying merge-split events and discretizing them into three phases (merging, together, and splitting), enabling analysis of each phase as well as the connections among phases. Applying this framework to the hyena data, we examine the temporal and spatial properties of merges and splits between dyads and test the extent to which social encounters are driven by key locations. Specifically, we focus on communal dens—shelters for juvenile hyenas where classical observational studies often report large aggregations of adults. We find that overall, 62% of merges occurred at communal dens, supporting the idea that dens facilitate meet-ups and subsequent social behavior. Social encounters most commonly involved close approaches within a few meters between hyenas, while co-travel together occurred in only 11% of events. Comparison to permutation-based reference models suggests that independent movement decisions structure broad-scale patterns of social encounters but do not explain the fine-scale dynamics of interactions that unfold during these encounters. We reflect on how physical features such as dens can become social hotspots, causing social and spatial processes to become fundamentally intertwined.
A family of condorcet domains that are single-peaked on a circle
Authors: Slinko Arkadii 
Published: April 2024

AbstractFishburn’s alternating scheme domains occupy a special place in the theory of Condorcet domains. Karpov (2023) generalised these domains and made an interesting observation proving that all of them are single-peaked on a circle. However, an important point that all generalised Fishburn domains are maximal Condorcet domain remained unproved. We fill this gap and suggest a new combinatorial interpretation of generalised Fishburn’s domains which provide a constructive proof of single-peakedness of these domains on a circle. We show that classical single-peaked domains and single-dipped domains as well as Fishburn’s alternating scheme domains belong to this family of domains while single-crossing domains do not.
Comparison of revision rates and epidemiological data of a single total knee arthroplasty system of different designs (cruciate retaining, posterior stabilized, mobile bearing, and fixed bearing): a meta-analysis and systematic review of clinical trials and national arthroplasty registries
Authors: Wagner Anton , Wittig Ulrike , Leitner Lukas , Vielgut Ines , Hauer Georg , Ortmaier Reinhold , Leithner Andreas , Sadoghi Patrick 
Published: April 2024

Abstract
Background
This study aimed to meta-analyze epidemiological data, revision rates, and incidences of different designs of a single Total Knee Arthroplasty System and compare these factors across different countries.

Methods
A systematic review was conducted on clinical studies and arthroplasty registries of ATTUNE TKA from 1999 to 2020. The main endpoints analyzed were revision rates and epidemiological data.

Results
The average age of patients was 67.8 years, with a gender distribution of 60% female and 40% male. The pooled average BMI was 29.4 kg/m2. Eight clinical studies showed a pooled revision rate per 100 observed CY of 0.5 (n = 1343 cases). Cumulative revision rates after 1, 3, and 5 years varied among registries, with the Swiss registry having the highest revision data (after 5 years: 6.3%) and the American registry having the lowest revision data (after 5 years: 1.7%). A comparison of the revision rates of mobile bearing and fixed bearing (41,200 cases) as well as cruciate retaining and posterior stabilized (n = 123,361 cases) showed no significant advantage in the first 5 years after implantation.

Conclusion
In conclusion, pooled data from 41,200 cases of TKA with a single Total Knee Arthroplasty System in two arthroplasty registries revealed that there was no significant difference in revision rates between the mobile bearing and fixed bearing design within the first 5 years after implantation. In addition, a comparison of the revision rates in n = 123,361 cases showed no significant advantage for cruciate retaining or posterior stabilized in the first 5 years after implantation.
Skin simulants for wound ballistic investigation – an experimental study
Authors: Fischer Victoria K. S. , Rothschild Markus A. , Kneubuehl Beat P. , Kamphausen Thomas 
Published: April 2024

AbstractGunshot wound analysis is an important part of medicolegal practice, in both autopsies and examinations of living persons. Well-established and studied simulants exist that exhibit both physical and biomechanical properties of soft-tissues and bones. Current research literature on ballistic wounds focuses on the biomechanical properties of skin simulants. In our extensive experimental study, we tested numerous synthetic and natural materials, regarding their macromorphological bullet impact characteristics, and compared these data with those from real bullet injuries gathered from medicolegal practice. Over thirty varieties of potential skin simulants were shot perpendicularly, and at 45°, at a distance of 10 m and 0.3 m, using full metal jacket (FMJ) projectiles (9 × 19 mm Luger). Simulants included ballistic gelatine at various concentrations, dental silicones with several degrees of hardness, alginates, latex, chamois leather, suture trainers for medical training purposes and various material compound models. In addition to complying to the general requirements for a synthetic simulant, results obtained from dental silicones shore hardness 70 (backed with 20 % by mass gelatine), were especially highly comparable to gunshot entry wounds in skin from real cases. Based on these results, particularly focusing on the macroscopically detectable criteria, we can strongly recommend dental silicone shore hardness 70 as a skin simulant for wound ballistics examinations.
Association of preoperative sarcopenia with the long-term prognosis of patients with bladder cancer undergoing radical cystectomy
Authors: Lee Sangmin , Yoon Youngjoon , Suh Jungyo , You Dalsan , Hong Bumsik , Hong Jun Hyuk , Ahn Hanjong , Jeong In Gab , Lim Bumjin 
Published: April 2024

Abstract
Purpose
This retrospective study aimed to assess the correlation between preoperative sarcopenia and long-term oncologic outcomes in patients undergoing radical cystectomy for bladder cancer.

Methods
We included 528 patients who underwent radical cystectomy for bladder cancer between 2000 and 2010 at Asan Medical Center, Seoul, Korea. Preoperative skeletal muscle mass was quantified by analyzing computed tomography images at the third lumbar vertebra. Sarcopenia was defined based on the skeletal muscle index. We evaluated various clinical and pathological factors to analyze the association between sarcopenia and long-term oncologic outcomes.

Results
The median follow-up time was 104 months. Sarcopenia was identified in 37.9% of the patients. Although no significant differences were observed in traditional pathological factors between the sarcopenic and non-sarcopenic groups, sarcopenia was significantly associated with worse oncologic outcomes. Compared to the non-sarcopenic groups, the sarcopenic group had lower overall survival rates (52.0% vs. 67.1% at 5 years, 35.5% vs. 52.7% at 10 years) and higher cancer-specific mortality (63.3% vs. 74.3% at 5 years, 50.7% vs. 67.4% at 10 years). Multivariable Cox regression analysis demonstrated that sarcopenia was an independent predictor of cancer-specific survival (hazard ratio: 1.49, 95% confidence interval: 1.11–2.01, p = 0.008), alongside body mass index, tumor stage, lymph node metastasis, and lymphovascular invasion.

Conclusion
Sarcopenia was significantly associated with poor cancer-specific survival in patients undergoing radical cystectomy for bladder cancer. Detecting sarcopenia may assist in preoperative risk stratification and long-term management after radical cystectomy.
The diagnostic yield of inferior petrosal sinus sampling in Cushing syndrome in the era of ovine CRH shortage
Authors: Andereggen Lukas , Gralla Jan , Christ Emanuel 
Published: April 2024

Abstract

Purpose
The ovine corticotropin-releasing hormone (oCRH) stimulation test has been routinely used in the diagnostic work-up of ACTH-dependent Cushing syndrome (CS). With oCRH currently being out-of-stock in Europe, we aimed at evaluating the diagnostic performance of inferior petrosal sinus sampling (IPSS) without oCRH stimulation.

Methods
We compared the values of 40 patients with ACTH-dependent CS and negative MRI findings in whom ACTH was measured before and after oCRH stimulation.

Results
The ratio of central-to-peripheral ACTH measurement (IPS:P) before the combined 3, 5, and 10 min of oCRH stimulation yielded diminished sensitivity (85% vs. 97%), alongside markedly decreased specificity (57% vs. 71%), as well as reduced positive and negative predictive values (90% vs. 94% and 44% vs. 83%), respectively.

Conclusions
With the current drug shortages in Europe, ACTH measurements without oCRH stimulation in IPSS cannot be recommended. Thus, we call for desmopressin or the commercially available human CRH as a potential alternative in the confirmation of ACTH excess by IPSS in equivocal MRI findings.
Bernstein flows for flexible posteriors in variational Bayes
Authors: Dürr Oliver , Hörtling Stefan , Dold Danil , Kovylov Ivonne , Sick Beate 
Published: April 2024

AbstractBlack-box variational inference (BBVI) is a technique to approximate the posterior of Bayesian models by optimization. Similar to MCMC, the user only needs to specify the model; then, the inference procedure is done automatically. In contrast to MCMC, BBVI scales to many observations, is faster for some applications, and can take advantage of highly optimized deep learning frameworks since it can be formulated as a minimization task. In the case of complex posteriors, however, other state-of-the-art BBVI approaches often yield unsatisfactory posterior approximations. This paper presents Bernstein flow variational inference (BF-VI), a robust and easy-to-use method flexible enough to approximate complex multivariate posteriors. BF-VI combines ideas from normalizing flows and Bernstein polynomial-based transformation models. In benchmark experiments, we compare BF-VI solutions with exact posteriors, MCMC solutions, and state-of-the-art BBVI methods, including normalizing flow-based BBVI. We show for low-dimensional models that BF-VI accurately approximates the true posterior; in higher-dimensional models, BF-VI compares favorably against other BBVI methods. Further, using BF-VI, we develop a Bayesian model for the semi-structured melanoma challenge data, combining a CNN model part for image data with an interpretable model part for tabular data, and demonstrate, for the first time, the use of BBVI in semi-structured models.
Existence and Exponential Decay for a Contact Problem Between Two Dissipative Beams
Authors: Muñoz Rivera Jaime E. , Naso Maria Grazia 
Published: April 2024

AbstractWe deal with the Signorini contact problem between two Timoshenko beams. In this work we use the theory of semigroups to show the existence of solutions that decay uniformly to zero. This method is new and more effective than the widely used energy method. This is because in particular we obtain uniform decay of the solutions to zero for any boundary condition. A second important point is that we can take advantage of stabilization results of others linear dynamic systems with different dissipative mechanisms and apply them through our method for Contact Problems (see Sect. 4). Finally, thanks to Lipschitzian perturbations we can generalize the Signorini problem to more general semi linear problems in a simple way (see Sect. 4.3).
Clinical pharmacy key performance indicators for hospital inpatient setting: a systematic review
Authors: Magedanz Lucas , Silva Hiolanda Lêdo , Galato Dayani , Fernandez-Llimos Fernando 
Published: April 2024

Abstract
Background
Key performance indicators (KPIs) are quantifiable measures used to monitor the quality of health services. Implementation guidelines for clinical pharmacy services (CPS) do not specify KPIs.

Aim
To assess the quality of the studies that have developed KPIs for CPS in inpatient hospital settings.

Method
A systematic review was conducted by searching in Web of Science, Scopus, and PubMed, supplemented with citation analyses and grey literature searches, to retrieve studies addressing the development of KPIs in CPS for hospital inpatients. Exclusions comprised drug- or disease-specific studies and those not written in English, French, Portuguese, or Spanish. The Appraisal of Indicators through Research and Evaluation (AIRE) instrument assessed methodological quality. Domain scores and an overall score were calculated using an equal-weight principle. KPIs were classified into structure, process, and outcome categories. The protocol is available at https://doi.org/10.17605/OSF.IO/KS2G3.

Results
We included thirteen studies that collectively developed 225 KPIs. Merely five studies scored over 50% on the AIRE instrument, with domains #3 (scientific evidence) and #4 (formulation and usage) displaying low scores. Among the KPIs, 8.4% were classified as structure, 85.8% as process, and 5.8% as outcome indicators. The overall methodological quality did not exhibit a clear association with a major focus on outcomes. None of the studies provided benchmarking reference values.

Conclusion
The KPIs formulated for evaluating CPS in hospital settings primarily comprised process measures, predominantly suggested by pharmacists, with inadequate evidence support, lacked piloting or validation, and consequently, were devoid of benchmarking reference values.
Superconditioning
Authors: Huttegger Simon M. 
Published: April 2024

AbstractWhen can a shift from a prior to a posterior be represented by conditionalization? A well-known result, known as “superconditioning” and going back to work by Diaconis and Zabell, gives a sharp answer. This paper extends the result and connects it to the reflection principle and common priors. I show that a shift from a prior to a set of posteriors can be represented within a conditioning model if and only if the prior and the posteriors are connected via a general form of the reflection principle. Common priors can be characterized by principles that require a certain kind of coherence between distinct sets of posteriors. I discuss the implications these results have for diachronic and synchronic modes of updating, learning experiences, the common prior assumption of game theory, and time-slice epistemology.
Unveiling the core elements of platform ecosystem development: a systemic lens for value co-creation in small and medium enterprises and orchestrators
Authors: Mbanefo Chibuike C. , Grobbelaar Sara S. 
Published: April 2024

AbstractValue conceptualisation has shifted from a firm’s standpoint to the ecosystem perspective involving multiple actors who integrate resources for value co-creation. This paper presents a structured review of the current state of knowledge, identifying and synthesising a conceptual framework of core elements for SMEs and orchestrators in developing platform ecosystems. The study adopts the PRISMA approach, bibliometric and thematic analysis to synthesise a conceptual framework for platform ecosystem development from the literature. Following the analysis, we identify seven core elements required in platform ecosystem development. The study also describes the interdependencies and interactions between platform orchestrators and SMEs and their implications for ecosystem development. Our paper advances theoretical understanding by shifting focus from a firm-centric to a multi-actor perspective in platform ecosystem development, highlighting the significance of actor-to-actor engagement practices. The proposed CIPP framework offers practical guidance for ecosystem managers, facilitating strategic navigation of complexities and fostering collaborative relationships among diverse actors while also providing insights for policymakers to design inclusive governance frameworks promoting transparency and trust within platform ecosystems. As with qualitative reviews, we acknowledge a possible bias in our choice of primary studies following our search terms and keywords targeted at actor-to-actor engagements in the platform ecosystem. The study was also limited by excluding non-English studies at the selection and outcome levels.
How a liquidity saving mechanism affects bank behavior in interconnected payment networks
Authors: Hayakawa Hitoshi 
Published: April 2024

Abstract
A surge in banks’ liquidity needs increases settlement costs that could burden the functioning of the real economy through its impact on banks’ lending behavior. A liquidity saving mechanism (LSM) can help reduce banks’ liquidity needs, but it could also affect banks’ strategic behavior. To understand how an LSM affects banks’ behavior in a real-time gross settlement system, this study models settlements in a day as a timing game in which banks decide when to make payments, thereby trading off the cost of delaying payments against the cost of borrowing liquidity. An LSM provides a partial offsetting service, whose direct effect is to decrease the cost of liquidity associated with payments that are offset. The study’s stylized analyses reveal that an LSM indirectly affects banks’ strategic behavior in a network context. Without an LSM, a positive strategic spillover effect can arise through the network of payments, which an LSM can dismiss by cutting off the underlying payment network. To demonstrate its welfare impact along with the network structures, this study theoretically analyzes a class of core-periphery networks. The density of the network is shown to have implications on the welfare consequence of adding an LSM. From a policy perspective, the implications on a policy mix between an LSM and the fee setting for intraday lending are discussed.
Lattice 123 pattern for automated Alzheimer’s detection using EEG signal
Authors: Dogan Sengul , Barua Prabal Datta , Baygin Mehmet , Tuncer Turker , Tan Ru-San , Ciaccio Edward J. , Fujita Hamido , Devi Aruna , Acharya U. Rajendra 
Published: April 2024

AbstractThis paper presents an innovative feature engineering framework based on lattice structures for the automated identification of Alzheimer's disease (AD) using electroencephalogram (EEG) signals. Inspired by the Shannon information entropy theorem, we apply a probabilistic function to create the novel Lattice123 pattern, generating two directed graphs with minimum and maximum distance-based kernels. Using these graphs and three kernel functions (signum, upper ternary, and lower ternary), we generate six feature vectors for each input signal block to extract textural features. Multilevel discrete wavelet transform (MDWT) was used to generate low-level wavelet subbands. Our proposed model mirrors deep learning approaches, facilitating feature extraction in frequency and spatial domains at various levels. We used iterative neighborhood component analysis to select the most discriminative features from the extracted vectors. An iterative hard majority voting and a greedy algorithm were used to generate voted vectors to select the optimal channel-wise and overall results. Our proposed model yielded a classification accuracy of more than 98% and a geometric mean of more than 96%. Our proposed Lattice123 pattern, dynamic graph generation, and MDWT-based multilevel feature extraction can detect AD accurately as the proposed pattern can extract subtle changes from the EEG signal accurately. Our prototype is ready to be validated using a large and diverse database.
Recent Developments in the Regulation of Heritable Human Genome Editing
Authors: Soni S. 
Published: April 2024

AbstractIn 2018, the Chinese scientist He Jiankui presented his research at the Second International Summit on Human Genome Editing in Hong Kong. While it was intended that he facilitate a workshop, he was instead called on to present his research in heritable human genome editing, where he made the announcement that he had taken great strides in advancement of his research, to the extent that he had gene-edited human embryos and that this had resulted in the live births of two children. While his research ethic and methodology was interrogated, he insisted that two children, twin girls, had been born healthy and that there was another pregnancy (at the time) where birth of a third gene edited child would be imminent. This announcement generated a ripple effect in the scientific community and exposed the gaps in regulation and absence of law relating to the technology. This resulted in a flurry of activity and conversation around regulation of the technology, which scientists stated was not ready for human trials. This article reviews the Third Summit which was held in London in March 2023 and comments on the latest developments in the regulation of heritable human genome editing.