bluuebunny/crossref_metadata_2025_split huggingface dataset:
Temporal Logic and Model Checking for Operator Precedence Languages: Theory and Applications
Authors: Chiari Michele 
Published: November 2022

AbstractTemporal logic is an established tool for writing requirement specifications for computer systems, thanks to its balance between expressive power and efficiency of verification algorithms. Linear Temporal Logic (LTL), one of the most commonly used, allows for naturally expressingsafetyandlivenessrequirements on a linear timeline, but incurs into some limitations when utilized to express requirements of procedural programs. In fact, such programs exhibit a typically context-free behavior, which LTL formulas cannot represent. Precedence Oriented Temporal Logic (POTL), a temporal logic based on Operator Precedence Languages (OPLs), a subclass of Deterministic Context-Free Languages. With POTL, we can express requirements involving Hoare-style pre/post-conditions, stack inspection, and others, also in the presence of exception-like constructs. We prove that POTL is as expressive as First-Order Logic (FOL) on its algebraic structure, and devise and implement an explicit-state satisfiability and model-checking algorithm for it, obtaining some promising experimental results.
Post-cloud Computing: Addressing Resource Management in the Resource Continuum
Authors: Zanella Michele 
Published: November 2022

AbstractThe exponential growth of interconnected IoT devices, highlights the infrastructure limitations of Cloud-based computing approaches. In this context, novel solutions (i.e., Fog and Edge computing) aim to exploit a continuum resource space composed of nearby and mobile devices as a single heterogeneous and distributed system to move part of the computation closer to data sources. In this regard, the heterogeneous nature of these devices (performance, features, capabilities...) requires proper programming models and run-time management layers. This chapter proposes an overview of recent modeling premises and quantitative results in a resource management perspective through the BarMan framework, which combines a task-based programming model, a run-time resource manager, and the BeeR task distribution software to deploy use-case applications-modules across the boards of a real Fog cluster.
The Ferrara Manuscript: A Discussion of Destreza and Vulgar Fencing Traditions in Spain
Authors: Valle-Ortiz Manuel 
Published: November 2022

AbstractThe destreza was a characteristic fencing system present in Hispanic countries during the Golden centuries. Contemporarily, there were other fencing systems of possible European origin known as common or vulgar fencing. Even with striking differences, both systems share some technical terms and concepts. We present the Ferrara manuscript, a recently discovered item which, although written from the perspective of verdadera destreza, also covers many features of both systems. This book was written on behalf of an Austrian nobleman present at the Spanish court, probably Johan Ferdinand von Kueburg. It includes some basic destreza techniques as well as a description of a number of vulgar techniques and their counters. It also contains a nice set of illustrations, which is uncommon for destreza manuals.
Longobard Warriors in the Seprio Judicaria
Authors: Brandolini Cristiano 
Published: November 2022

AbstractTheSeprio is an ancient territory with a history of millennia in which we find five important Longobardcenters: Sibrium(Castelseprio), Pagus Artiaco (Arsago Seprio), Castrum Novate (Castelnovate), and, further north, Stabulum (presently Stabio in the Swiss Canton of Ticino) and Campiliorum (now Campione d’Italia, an Italian exclave in Switzerland). The elements present in the grave goods of the Seprio have allowed us to understand that the Longobardwarrior held a shield, brandished a spatha (sword), and carried a scramasax (short weapon to a single cut), a spear, and in some cases even an axor bow and arrows, while the most important warriors were equipped with mailor lamellar armorand helmet. From the type of accoutrements (harnesses, belt elements, personal objects, pottery, golden crosses), it is possible to trace the owner’s position in the hierarchy of nobility, in the same way, that the degree of sophistication of the weapons and the shield indicated the social position of the warrior who wore them. The spatha and the scramasax were status symbols of the Longobardwarrior; they brought to the fore and underlined his status as a nobleman and free man. The Seprio has always played a leading role in the geopolitical events that have affected ancient Insubria in all its historical phases. In the last fifty years, many relics of the Arimannia of the Seprio have been unearthed and studied, but much still lies buried which scientific research is only slowly bringing to the surface.
The Dynamic Sphere: Thesis on the Third State of the Vitruvian Man
Authors: Gotti Roberto 
Published: November 2022

AbstractThe subject of this paper is the basic principles of a martial art that has been perfected over millennia of social strata, skirmishes, and settlements, and is the amalgamation of different cultures and traditions which flourished during the Renaissance. We can learn this art today thanks to the texts written and printed during that period. In his most famous drawing, Leonardo da Vinci (1452–1519) shows a man drawn inside two geometrical shapes: the square with the center at his groin and the circle with the center at his navel. But there is another possible representation that provides an anthropometric revelation with his center at the solar plexus. That is the man I define as dynamic. Many traces of him may be found in the Masters’ texts and we have magnificent examples of him in daily life: the man who, through performing perfect combat moves, is able to move and “become” a sphere, the “Palla,” or ball, as Camillo Agrippa calls it, with changing circumference and surface. He can move his center within his own body and outside of it, to the palm of his hand, to the blade of his sword, and even to inside his enemy. The dynamic man represents the development upon both the natural man, depicted in a square with his groin at the center and the speculative man, depicted in a circle with his navel at the center. This man creates a sphere around himself, with the solar plexus at its center. He has the ability to move that center to any part of his body, even to his blade and as far as the blade’s end, thus modifying the circumference of his sphere as he pleases. The findings presented here are the fruit of over twenty years of research and practice, reflecting my own progression in the theoretical and practical understanding of Italian martial arts.
Evolution of the “Crescent Guard” in Chinese Swords
Authors: Jian Gong 
Published: November 2022

AbstractIron and steel arms appeared in China during the late Warring States while guards on Han dynasty jian (double-edged sword) mainly continued Warring States designs. Single-edged ring-pommel sword (huanshoudao) which appeared during the same period did not have a guard. During the Jin dynasty, a type of V-shape sword guard appeared, which continued into the Southern and Northern dynasties. In the Tang dynasty, on the one hand, arms design continued Northern Zhou and Sui trends; at the same time, it absorbed Turkic and Sassanid influences from the west, which gave rise to a unique Tang sword aesthetic. From then on, V-shape guards started to gain popularity in China. Developments of this style were to have a major influence on sword guard designs during the Song, as well as among the Mongols and Tibetans until it finally attained the familiar form of zoomorphic guard during the Ming and Qing dynasties.
Martial Arts Knowledge on and Beyond the Page: From Visual Mantras to Hyperrealism with Words and Brushes
Authors: Jaquet Daniel 
Published: November 2022

AbstractMartial arts are cultural phenomena shaped by the societies in which they develop. They were—and still are—transmitted through interpersonal exchanges, from body to body. Martial arts experts use speech for devising these martial skills into complex systems of bodily knowledge. Once the systems are complex or vast enough to be verbalized, they are transmitted through bodies and speech with mnemotechnical texts such as poems, codified knowledge canons or a constellation of technical words associated with metaphors or images. Some of these mantras (mnemonic devices) found their way into writing or depiction. This process is a translation (transcription) from speech to the page, or to depiction. The written word or the depiction of bodies fighting on a wall, a painted canvas, or embedded into a sculpture, endures through time and survives the masters who created them. However, in most cases, those who wrote the words painted the images, or sculpted the stone were not the martial art experts themselves. The documents, depictions, and sculptures preserved for the study of martial arts culture of the past must be explored while taking into account the perspective of those who created them. Based on previous research about the circulation of knowledge based on the dissemination of European fight books, this contribution allows for a new approach to categorization of martial arts knowledge, on and beyond the page, with a focus on early modern fight books.
Form-factors and complete basis of observables via separation of variables for higher rank spin chains
Authors: Gromov Nikolay , Primi Nicolò , Ryan Paul 
Published: November 2022

Abstract
Integrable $$ \mathfrak{sl} $$
sl
(N) spin chains, which we consider in this paper, are not only the prototypical example of quantum integrable systems but also systems with a wide range of applications. For these models we use the Functional Separation of Variables (FSoV) technique with a new tool called Character Projection to compute all matrix elements of a complete set of operators, which we call principal operators, in the basis diagonalising the tower of conserved charges as determinants in Q-functions. Building up on these results we then derive similar determinant forms for the form-factors of combinations of multiple principal operators between arbitrary factorizable states, which include, in particular, off-shell Bethe vectors and Bethe vectors with arbitrary twists. We prove that the set of principal operators generates the complete spin chain Yangian. Furthermore, we derive the representation of these operators in the SoV bases allowing one to compute correlation functions with an arbitrary number of principal operators. Finally, we show that the available combinations of multiple insertions includes Sklyanin’s SoV B operator. As a result, we are able to derive the B operator for $$ \mathfrak{sl} $$
sl
(N) spin chains using a minimal set of ingredients, namely the FSoV method and the structure of the SoV basis.
Rindler bulk reconstruction and subregion duality in AdS/CFT
Authors: Sugishita Sotaro , Terashima Seiji 
Published: November 2022

Abstract
In this paper, we study the AdS-Rindler reconstruction. The CFT operators naively given by the holographic dictionary for the AdS-Rindler reconstruction contain tachyonic modes, which are inconsistent with the causality and unitarity of the CFT. Therefore, the subregion duality and the entanglement wedge reconstruction do not hold. We also find that the tachyonic modes in the AdS-Rindler patch lead to arbitrary high-energy or trans-Planckian modes in the global AdS. It means that the mode expansion of the Rindler patch is sensitive to the UV limit of the theory, that is, quantum gravity. In addition, the tachyonic modes are related to the existence of null geodesics connecting the past and future horizons.
Machine learning the trilinear and light-quark Yukawa couplings from Higgs pair kinematic shapes
Authors: Alasfar Lina , Gröber Ramona , Grojean Christophe , Paul Ayan , Qian Zhuoni 
Published: November 2022

Abstract
Revealing the Higgs pair production process is the next big challenge in high energy physics. In this work, we explore the use of interpretable machine learning and cooperative game theory for extraction of the trilinear Higgs self-coupling in Higgs pair production. In particular, we show how a topological decomposition of the gluon-gluon fusion Higgs pair production process can be used to simplify the machine learning analysis flow. Furthermore, we extend the analysis to include $$ q\overline{q} $$
q

q
¯

→ hh production, which is strongly suppressed in the Standard Model, to extract the trilinear Higgs coupling and to bound large deviations of the light-quark Yukawa couplings from the Standard Model values. The constraints on the rescaling of the trilinear Higgs self-coupling, κλ, and the rescaling of light-quark Yukawa couplings, κu and κd, at HL-LHC (FCC-hh) from single parameter fits are:$$ {\displaystyle \begin{array}{c}{\kappa}_{\lambda }=\left[0.53,1.7\right]\ \left(\left[0.97,1.03\right]\right)\\ {}{\kappa}_u=\left[-470,430\right]\ \left(\left[-58,55\right]\right)\\ {}{\kappa}_d=\left[-360,360\right]\ \left(\left[-26,28\right]\right)\end{array}} $$

κ
λ

=

0.53
1.7

0.97
1.03

κ
u

=

−
470

430

−
58

55

κ
d

=

−
360

360

−
26

28

We show that the simultaneous modification of the Yukawa couplings can dilute the constraints on the trilinear coupling significantly. We perform similar analyses for FCC-hh. We discuss some motivated flavourful new physics scenarios where such an analysis prevails.
Abstract Integration with Respect to Measures and Applications to Modular Convergence in Vector Lattice Setting
Authors: Boccuto Antonio , Sambucini Anna Rita 
Published: November 2022

AbstractA “Bochner-type” integral for vector lattice-valued functions with respect to (possibly infinite) vector lattice-valued measures is presented with respect to abstract convergences, satisfying suitable axioms, and some fundamental properties are studied. Moreover, by means of this integral, some convergence results on operators in vector lattice-valued modulars are proved. Some applications are given to moment kernels and to the Brownian motion.
Baire Category Lower Density Operators with Borel Values
Authors: Balcerzak Marek , Hejduk Jacek , Wachowicz Artur 
Published: November 2022

AbstractWe prove that the lower density operator associated with the Baire category density points in the real line has Borel values of class $$\pmb \Pi ^0_3$$

Π

3
0

which is analogous to the measure case. We also introduce the notion of the Baire category density point of a subset with the Baire property of the Cantor space, and we prove that it generates a lower density operator with Borel values of class $$\pmb \Pi ^0_3$$

Π

3
0

.
Self-efficacy and application of skills in the workplace after multidisciplinary trauma masterclass participation: a mixed methods survey and interview study
Authors: Haverkamp Frederike J. C. , Rahim Idris , Hoencamp Rigo , Fluit Cornelia R. M. G. , Van Laarhoven Kees J. H. M. , Tan Edward C. T. H. 
Published: November 2022

AbstractPurposeThe most complex injuries are usually least often encountered by trauma team members, limiting learning opportunities at work. Identifying teaching formats that enhance trauma skills can guide future curricula. This study evaluates self-assessed technical and nontechnical trauma skills and their integration into novel work situations for multidisciplinary trauma masterclass participants.MethodsThis mixed methods study included participants of a multidisciplinary 3-day trauma masterclass. Ratings of trauma skills were collected through pre- and postcourse questionnaires with 1-year follow-up. Qualitative semi-structured interviews 9 months postcourse focused on the course format and self-perceived association with technical and nontechnical skills applied at work.ResultsResponse rates of pre- and postcourse questionnaires after 1 day, 3 months, and 1 year were respectively 72% (51/71), 85% (60/71), 34% (24/71), and 14% (10/71). Respondents were surgeons (58%), anesthesiologists (31%), and scrub nurses (11%). Self-efficacy in nontechnical (mean 3.4, SD 0.6 vs. mean 3.8, SD 0.5) and technical (mean 2.9, SD 0.6 vs. mean 3.6, SD 0.6) skills significantly increased postcourse (n = 40,p < 0.001). Qualitative interviews (n = 11) demonstrated that increased self-efficacy in trauma skills was the greatest benefit experienced at work. Innovative application of skills and enhanced reflection demonstrate adaptive expertise. Small-group case discussions and the operative porcine laboratory were considered the most educational working formats. The experienced faculty and unique focus on multidisciplinary teamwork were highly valued.ConclusionCourse participants’ self-assessed work performance mostly benefited from greater self-efficacy and nontechnical skills. Future trauma curricula should consider aligning the teaching strategies accordingly.
Did the dislocation risk after primary total hip arthroplasty decrease over time? A meta-analysis across six decades
Authors: van Erp J. H. J. , Hüsken M. F. T. , Filipe M. D. , Snijders T. E. , Kruyt M. C. , de Gast A. , Schlösser T. P. C. 
Published: November 2022

Abstract
Background
While continuous optimization is attempted to decrease the incidence of dislocation after total hip arthroplasty (THA), dislocation remains a major complication. This meta-analysis aims to analyze the evolution of the dislocation risk after primary THA over the decades and to evaluate its potential publication bias.

Patients and methods
A systematic search was performed according to the PRISMA guidelines for this meta-analysis in the literature published between 1962 and 2020. MEDLINE, Cochrane and Embase databases were searched for studies reporting the dislocation risk and length of follow-up. Studies that reported on revision rates only and did not mention separate dislocations were excluded. All study designs were eligible. Study quality was assessed by existing quality assessment tools adjusted for arthroplasty research. Overall risk and yearly dislocation rates were calculated and related to historical time frame, study design, sample size and length of follow-up.

Results
In total, 174 studies were included with an overall moderate quality. In total there were 85.209 dislocations reported in 5.030.293 THAs, showing an overall dislocation risk of 1.7%, with a median follow-up of 24 months. The overall dislocation risk classified per decade decreased from 3.7% in 1960–1970 to 0.7% in 2010–2020. The yearly dislocation rate decreased from 1.8 to 0.7% within these same decades. There was no significant correlation between the reported dislocation risk and the duration of follow-up (p = 0.903) or sample size (p = 0.755). The reported dislocation risk was higher in articles with registry data compared to other study designs (p = 0.021).

Conclusion
The dislocation risk in THA has been decreasing over the past decades to 0.7%. Non-selective registry studies reported a higher dislocation risk compared to studies with selective cohorts and RCTs. This indicates that the actual dislocation risk is higher than often reported and ‘real-world data’ are reflected better in large-scale cohorts and registries.
Atypical wound trajectory after a tangential pistol shot
Authors: Lux Constantin , Kettner Mattias , Federspiel Jan M. , Ramsthaler Frank , Verhoff Marcel A. 
Published: November 2022

AbstractThree intermediate-range shots from a Browning, model 1955, 7.65 mm caliber, pistol were fired from the driver’s seat of a car at a woman in the passenger seat. She sustained three wounds: An, ultimately fatal, penetrating head wound, a graze wound across her forehead, and a tangential, perforating, wound, with bullet entry over the medial sternum and exit through the right flank. Neither postmortem CT nor forensic autopsy discovered bony thoracic injuries or perforations of the thoracoabdominal cavities. There was pulmonary contusion in the medial lobe of the right lung and hemorrhage in the adipose tissue around the right kidney. The tangential bullet had left an almost 40-cm-long wound channel through a pronounced layer of subcutaneous fat. Based on 3D reconstructed CT-data determinations, a straight bullet trajectory between entry and exit wounds would have traversed the abdominothoracic cavities, right lung, and liver. The actual trajectory, however, described a prominent curve, without signs of deflection by bone. Postulated explanations for this unusual bullet track are that the woman was twisting her body in a dynamic scene when the bullet struck; further, due to its shallow angle of incidence on the skin, the bullet was deflected to an intracutaneous path. Additionally, soft tissue resistance may have caused the bullet to yaw. Caution should, thus, be exercised when reconstructing bullet trajectories solely from entry and exist wounds, also for bullet wounds through basically homogenous soft tissues.
Retrospective investigation of the 3D effects of the Carriere Motion 3D appliance using model and cephalometric superimposition
Authors: Schmid-Herrmann Carmen Ulrike , Delfs Jesper , Mahaini Luai , Schumacher Eliane , Hirsch Christian , Koehne Till , Kahl-Nieke Bärbel 
Published: November 2022

Abstract
Objectives
Carriere Motion 3D™ appliance (CMA) represents a method for molar distalization and correction of class II malocclusion. The aim was to investigate the 3D effects of the CMA by superimposing digital models and cephalometric X-rays.

Materials and methods
We retrospectively examined 16 patients treated with CMA in combination with class II elastics. We compared digitized models and cephalometric X-rays of records taken before therapy and after the removal of CMA. The records were superimposed to assess the skeletal and dentoalveolar changes. The results of the cephalometric X-ray analysis were compared to an untreated age- and gender-matched sample.

Results
Class II occlusion was corrected after 11.85 ± 4.70 months by 3.45 ± 2.33 mm. The average distalization of the upper first molars was 0.96 ± 0.80 mm. The analysis of the cephalometric X-rays confirmed a distalization of the upper first molars with distal tipping and revealed a mesialization of the lower first molars of 1.91 ± 1.72 mm. Importantly, CMA resulted in a mild correction of the skeletal class II relationship (ANB: − 0.71 ± 0.77°; Wits: − 1.99 ± 1.74 mm) and a protrusion of the lower incisors (2.94 ± 2.52°). Compared to the untreated control group, there was significant distalization of the upper first molars and canines with mesialization and extrusion of the lower first molars.

Conclusion and clinical relevance
CMA is an efficient method for treating class II malocclusions. However, the class II correction is only partially caused by a distalization of the upper molars.
Optimal pit site selection in antlion larvae: the relationship between prey availability and pit maintenance costs
Authors: Hayashi Taka , Hayashi Kina , Hayashi Noriko , Hayashi Fumio 
Published: November 2022

AbstractTraps are an efficient method of capturing prey for ambush predators, but trap building and maintenance are costly. We describe suitable hunting sites for pit-building antlion larvae living in sand dunes based on its cost–benefit relationship. In the field, antlion pits were located near natural barriers, such as cliffs, rocks and vegetation, but not closest to these barriers. Our results show that this pattern of pit location did not differ between populations; neither with or without the influence of a specific dipteran parasitoid of antlion larvae. Artificial pitfall traps deployed in their habitats revealed that invertebrates move along barriers, likely through thigmotaxis (wall hugging or wall-following), and drop sands in the traps set at barrier edges. In the laboratory, repeated artificial destruction of pits from larval antlions induced frequent pit relocation and rebuilding. This task reduces life history parameters, such as the larval growth and food conversion rates, suggesting a high cost of pit maintenance. Thus, antlion pits might shift away from barrier edges where more prey is available but pit destruction occurs more frequently due to wall-following invertebrates. Such disturbance may explain why antlions are not located closest to these barriers.