bluuebunny/crossref_metadata_2025_split huggingface dataset:
Adoption of additive manufacturing in oral and maxillofacial surgery among university and non-university hospitals in Sweden: findings from a nationwide survey
Authors: Zheng Xuewei , Wang Ruilin , Brantnell Anders , Thor Andreas 
Published: March 2023

Abstract
Purpose
Additive manufacturing (AM) is an innovative printing technology that can manufacture 3-dimensional solid objects by adding layers of material from model data. AM in oral and maxillofacial surgery (OMFS) provides several clinical applications such as surgical guides and implants. However, the adoption of AM in OMFS is not well covered. The purpose was to study the adoption of AM in OMFS in university and non-university hospitals in Sweden. Three research questions were addressed: What is the degree of using AM solutions in university and non-university hospitals?; What are AM solutions used?; How are the AM solutions accessed (production mode) in university hospitals and non-university hospitals?

Methods
A survey was distributed to OMF surgeons in Sweden. The questionnaire consisted of 16 questions. Data were analyzed through descriptive and content analysis.

Results
A total of 14 university and non-university hospitals were captured. All 14 hospitals have adopted AM technology and 11 of the hospitals adopted AM in OMFS. Orthognathic and trauma surgery are two major types of surgery that involve AM technology where material extrusion and vat polymerization are the two most used AM technologies in OMFS. The primary application of AM was in medical models and guides.

Conclusion
Majority of Swedish university hospitals and non-university hospitals have adopted AM in OMFS. The type of hospital (university or non-university hospital) has no impact on AM adoption. AM in OMFS in Sweden can be perceived to be a mature clinical application.
Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY
Authors: Abbasi Rosa , Schiffl Jonas , Darulova Eva , Ulbrich Mattias , Ahrendt Wolfgang 
Published: March 2023

AbstractDeductive verification has been successful in verifying interesting properties of real-world programs. One notable gap is the limited support for floating-point reasoning. This is unfortunate, as floating-point arithmetic is particularly unintuitive to reason about due to rounding as well as the presence of the special values infinity and ‘Not a Number’ (NaN). In this article, we present the first floating-point support in a deductive verification tool for the Java programming language. Our support in the KeY verifier handles floating-point arithmetics, transcendental functions, and potentially rounding-type casts. We achieve this with a combination of delegation to external SMT solvers on the one hand, and KeY-internal, rule-based reasoning on the other hand, exploiting the complementary strengths of both worlds. We evaluate this integration on new benchmarks and show that this approach is powerful enough to prove the absence of floating-point special values—often a prerequisite for correct programs—as well as functional properties, for realistic benchmarks.
Der Einfluss von Frequent Usern auf das Rettungsfachpersonal: Ergebnisse einer Umfrage
Authors: Schodlok Mia , Langeloh Jule , Kreinfeldt Hanna , Scheel Arlene , Kubacki Saskia , Kroll Anna , Ludwig Christoph , Möckel Luis , Hofmann Thomas 
Published: March 2023

Zusammenfassung
Hintergrund
Frequent User (FU) nutzen den Rettungsdienst vermehrt in kürzester Zeit und können so direkten Einfluss auf Einsatzaufkommen und -charakter nehmen. Aus diesem Grund war das Ziel dieser Studie, die Wahrnehmung von Rettungskräften zu FU in Deutschland zu untersuchen.

Methoden
Es wurde eine deutschlandweite Querschnittstudie als Befragung von Rettungskräften durchgeführt. Die Auswertung der Daten erfolgte deskriptiv unter Berechnung von Häufigkeiten. Unterschiede zu FU im ländlichen und städtischen Bereich wurden mittels Chi2-Test und unter Berechnung von Odds Ratios (OR) und dazugehörigen 95 %-Konfidenzintervallen (95 %-KI) ermittelt.

Ergebnisse
Insgesamt wurden 1142 Rettungskräfte (36,69 % Frauen, 62,87 % Männer) in die Studie eingeschlossen. Die beiden häufigsten wahrgenommenen Einsatzorte im Zusammenhang mit FU waren bestimmte Privatadressen (32,75 %) und Pflegeheime (29,99 %), so wie die häufigsten Ursachen für Rettungsdiensteinsätze Versorgungsprobleme (44,66 %) und Intoxikationen (24,34 %) sind. Auf dem Land waren ebenfalls bestimmte Privatadressen (42,51 %) die häufigsten Einsatzorte, wohingegen in der Stadt bestimmte Stadtteile im Vordergrund standen (34,94 %). FU hatten einen negativen Einfluss auf das Verhalten, die Stimmung und die Geduld der Rettungskräfte. Im ländlichen Raum war zudem die Tendenz zu einer weniger sorgfältigen Untersuchung der FU niedriger (OR: 0,61 [95 %-KI: 0,48; 0,78]) und dass FU keine Versorgung wünschen, da die Alarmierung durch Dritte erfolgte (OR: 0,67 [95 %-KI: 0,53; 0,84]). Dagegen schätzen die FU ihre Symptome auf dem Land häufiger bedrohlicher ein als notwendig (OR: 1,95 [95 %-KI: 1,37; 2,77]) und Einsätze zu FU waren häufiger außerhalb der Öffnungszeiten von Versorgungseinrichtungen (OR: 1,65 [95 %-KI: 1,30; 2,09]).

Schlussfolgerung
Diese Studie zeigt, dass Frequent User sich negativ auf die Stimmung sowie die Arbeitsweise der Rettungskräfte auswirken und dass sowohl in dieser Hinsicht als auch bezogen auf die häufigsten Einsatzorte Unterschiede in der Stadt- und Landrettung bestehen.
Staphylococcus aureus bacteraemia, cardiac implantable electronic device, and the risk of endocarditis: a retrospective population–based cohort study
Authors: Berge Andreas , Carlsén Casper , Petropoulos Alexandros , Gadler Fredrik , Rasmussen Magnus 
Published: March 2023

AbstractPatients with cardiac implantable electronic device (CIED) and Staphylococcus aureus bacteraemia (SAB) are at risk of having infective endocarditis (IE). The objectives were to describe a Swedish population-based cohort of patients with CIED and SAB, to identify risk factors, and to construct a predictive score for IE. Patients over 18 years old in the Stockholm Region identified to have SAB in the Karolinska Laboratory database from January 2015 through December 2019 were matched to the Swedish Pacemaker and Implantable Cardioverter-Defibrillator ICD Registry to identify the study cohort. Data were collected from study of medical records. A cohort of 274 patients with CIED and SAB was identified and in 38 episodes (14%) IE were diagnosed, 19 with changes on the CIED, and 35 with changes on the left side of the heart. The risk factors predisposition for IE, community acquisition, embolization, time to positivity of blood cultures, and growth in blood culture after start of therapy in blood cultures were independently associated to IE. A score to identify patients with IE was constructed, the CTEPP score, and the chosen cut-off generated a sensitivity of 97%, specificity of 25%, and a negative predictive value of 98%. The score was externally validated in a population-based cohort of patients with CIED and SAB from another Swedish region. We found that 14% of patients with CIED and SAB had definite IE diagnosed. The CTEPP-score can be used to predict the risk of IE and, when negative, the risk is negligible.
Should fiscal policies be centralized in a monetary union? A dynamic game approach
Authors: Blueschke Dmitri , Blueschke-Nikolaeva Viktoria , Neck Reinhard 
Published: March 2023

AbstractIn this paper we analyze dynamic interactions in a monetary union with three fiscal players (the governments of the countries concerned) and a common central bank in the presence of exogenous shocks. The model is calibrated for the euro area and includes a fiscally more solid core block denoted as country 1 as well as a fiscally less solid periphery block represented by countries 2 and 3. Introducing two periphery countries allows us to capture different attitudes of the periphery countries towards the goal of sustainable fiscal performance. Moreover, different coalition scenarios are modelled in this study including a fiscal union, a coalition of periphery countries and a coalition of fiscal-stability oriented countries. The exogenous shocks are calibrated in such a way as to describe the last major crises in the euro area, namely the financial crisis, the European sovereign debt crisis, the Covid-19 crisis, and the Ukraine war (energy price) crisis. Using the OPTGAME algorithm we calculate a cooperative Pareto and non-cooperative feedback Nash equilibrium solutions for the modelled scenarios. The fully cooperative solution yields the best results. The different non-cooperative scenarios allow insights into the underlying trade-off between economic growth, price stability and fiscal stability.
Automated database design for document stores with multicriteria optimization
Authors: Hewasinghage Moditha , Nadal Sergi , Abelló Alberto , Zimányi Esteban 
Published: March 2023

AbstractDocument stores have gained popularity among NoSQL systems mainly due to the semi-structured data storage structure and the enhanced query capabilities. The database design in document stores expands beyond the first normal form by encouraging de-normalization through nesting. This hinders the process, as the number of alternatives grows exponentially with multiple choices in nesting (including different levels) and referencing (including the direction of the reference). Due to this complexity, document store data design is mostly carried out in trial-and-error or ad-hoc rule-based approaches. However, the choices affect multiple, often conflicting, aspects such as query performance, storage space, and complexity of the documents. To overcome these issues, in this paper, we apply multicriteria optimization. Our approach is driven by a query workload and a set of optimization objectives. First, we formalize a canonical model to represent alternative designs and introduce an algebra of transformations that can systematically modify a design. Then, using these transformations, we implement a local search algorithm driven by a loss function that can propose near-optimal designs with high probability. Finally, we compare our prototype against an existing document store data design solution purely driven by query cost, where our proposed designs have better performance and are more compact with less redundancy.
Clinical outcomes of patients diagnosed with cancer of unknown primary or malignancy of undefined primary origin who were referred to a regional cancer center
Authors: Ando Masashi , Honda Kazunori , Hosoda Waki , Matsubara Yuki , Kumanishi Ryosuke , Nakazawa Taiko , Ogata Takatsugu , Nakata Akinobu , Kodama Hiroyuki , Masuishi Toshiki , Narita Yukiya , Taniguchi Hiroya , Kadowaki Shigenori , Muro Kei 
Published: March 2023

AbstractBackgroundA regional cancer hospital has been identified to be crucial in the management of malignancies of undefined primary origin (MUO) and cancer of unknown primary (CUP). This hospital primarily consists of oncologists with expertise in CUP, pathologists, and interventional radiologists. Early consultation or referral of MUO and CUP to a cancer hospital is deemed important.MethodsThis study retrospectively collected and analyzed the clinical, pathological, and outcome data of all patients (n = 407) referred to the Aichi Cancer Center Hospital (ACCH) in Japan over an 8-year period.ResultsIn total, 30% of patients were referred for a second opinion. Among 285 patients, 13% had non-neoplastic disease or confirmed primary site and 76% had confirmed CUP (cCUP), with 29% of cCUP being identified as favorable risk. In 155 patients with unfavorable-risk CUP, 73% had primary sites predicted by immunohistochemistry (IHC) and distribution of metastatic sites, whereas 66% of them received site-specific therapies based on the predicted primary sites. The median overall survival (OS) was found to be poor in patients with MUO (1 month) and provisional CUP (6 months). In addition, the median OS of 206 patients with cCUP treated at the ACCH was 16 months (favorable risk, 27 months; unfavorable risk, 12 months). No significant difference was noted in OS between patients with non-predictable and predictable primary-sites (13 vs 12 months,p = 0.411).ConclusionThe outcome of patients with unfavorable-risk CUP remains to be poor. Site-specific therapy based on IHC is not recommended for all patients with unfavorable-risk CUP.
A novel frame switching model based on virtual MAC in SDN
Authors: Song Guangjia , Hu Jianhua , Wang Hui 
Published: March 2023

AbstractMAC address spoofing has plagued LAN communication for a long time. Many attacks use it as a springboard to carry out subsequent attacks. The main reason for this kind of attack is the exposure of MAC address. If the source MAC address of the node can be hidden during frame forwarding, this kind of attack can be effectively prevented. This study proposes virtual MAC switching (VMS) as a solution to this problem. VMS uses multi-address hopping technology to make the MAC address of the frame change continuously in the forwarding process. Its unique address generation format makes other nodes unable to record or speculate the real MAC address of the node, so it cannot launch an attack. Experiments show that VMS is close to typical SDN switches in terms of delay, throughput, and overhead and has a higher security level.
The effect of different kinematics on apical debris extrusion with a single-file system
Authors: Al Omari Taher M. N. , La Rosa Giusy Rita Maria , Albanna Rami Haitham Issa , Tabnjh Abedelmalek , Papale Flavia , Pedullà Eugenio 
Published: March 2023

AbstractTo compare the amount of extruded debris caused by different motions using a single-file system. Fifty mandibular first molar teeth were randomized into 5 groups (n = 10) according to the motion tested: Optimize Torque Reverse (OTR), TF Adaptive Motion (TFA), continuous rotation (CR), reciprocation motion (+ 150°, −30°) (REC), and Jeni motion (Jeni). One Curve single file 25/06 (Micro-Mega, Besançon, France) was used in all experimental groups. The root canals were irrigated with 2.5% NaOCl, and the extruded debris were collected at pre-weighted glass vials. The glass vials were kept inside an incubator for one week at 70 °C to dry out the irrigating solution. The extruded debris was quantified by subtracting the pre-instrumentation from the post-instrumentation weight of the glass vials. The time required for each instrumentation procedure was digitally recorded. All data were analyzed statistically with one way ANOVA and post hoc Tukey test (P < 0.05). All the motions extruded apically debris with Jeni mode caused significantly less debris extrusion than TFA, REC, and CR (P < 0.05) while no significant difference emerged with OTR. Preparation time was not significantly different in all groups. Within the limits of the present study, all the kinematics produced apically debris extrusion, with Jeni reporting a similar amount of debris compared with OTR and significantly less than TFA, REC, and CR. Preparation time was similar among the tested kinematics.
Deep Learning Body Region Classification of MRI and CT Examinations
Authors: Raffy Philippe , Pambrun Jean-François , Kumar Ashish , Dubois David , Patti Jay Waldron , Cairns Robyn Alexandra , Young Ryan 
Published: March 2023

Abstract
This study demonstrates the high performance of deep learning in identification of body regions covering the entire human body from magnetic resonance (MR) and computed tomography (CT) axial images across diverse acquisition protocols and modality manufacturers. Pixel-based analysis of anatomy contained in image sets can provide accurate anatomic labeling. For this purpose, a convolutional neural network (CNN)–based classifier was developed to identify body regions in CT and MRI studies. Seventeen CT (18 MRI) body regions covering the entire human body were defined for the classification task. Three retrospective datasets were built for the AI model training, validation, and testing, with a balanced distribution of studies per body region. The test datasets originated from a different healthcare network than the train and validation datasets. Sensitivity and specificity of the classifier was evaluated for patient age, patient sex, institution, scanner manufacturer, contrast, slice thickness, MRI sequence, and CT kernel. The data included a retrospective cohort of 2891 anonymized CT cases (training, 1804 studies; validation, 602 studies; test, 485 studies) and 3339 anonymized MRI cases (training, 1911 studies; validation, 636 studies; test, 792 studies). Twenty-seven institutions from primary care hospitals, community hospitals, and imaging centers contributed to the test datasets. The data included cases of all sexes in equal proportions and subjects aged from 18 years old to + 90 years old. Image-level weighted sensitivity of 92.5% (92.1–92.8) for CT and 92.3% (92.0–92.5) for MRI and weighted specificity of 99.4% (99.4–99.5) for CT and 99.2% (99.1–99.2) for MRI were achieved. Deep learning models can classify CT and MR images by body region including lower and upper extremities with high accuracy.
From RTK to PPP-RTK: towards real-time kinematic precise point positioning to support autonomous driving of inland waterway vessels
Authors: An Xiangdong , Ziebold Ralf , Lass Christoph 
Published: March 2023

AbstractPPP-RTK is Precise Point Positioning (PPP) using corrections from a ground reference network, which enables single-receiver users with integer ambiguity resolution thereby improving its performance. However, most of the PPP-RTK studies are investigated and evaluated in a static situation or a post-processing mode because of the complexity of implementation in real-time practical applications. Moreover, although PPP-RTK achieves a faster convergence than PPP, it typically needs 30 s or even longer to derive high-accuracy results. We have implemented a real-time PPP-RTK approach based on undifferenced observations and State-Space Representation corrections with a fast convergence of less than 30 s to support autonomous driving of inland waterway vessels. The PPP-RTK performances and their feasibility to support autonomous driving have been evaluated and validated in a real-time inland waterway navigation. It proves the PPP-RTK approach can realize a precise positioning of less than 10 cm in horizontal with a rapid convergence. The convergence time is within 10 s after a normal bridge passing and less than 30 s after a complicated bridge passing. Moreover, the PPP-RTK approach can be extended to outside of the GNSS station network. Even if the location is 100 km away from the border of the GNSS station network, the PPP-RTK convergence time after a bridge passing is also normally less than 30 s. We have realized the first automated entry into a waterway lock for a vessel supported by PPP-RTK and taken the first step toward autonomous driving of inland vessels based on PPP-RTK.
Assessing flank instability of Stromboli volcano (Italy) by reappraising the 30 December 2002 tsunamigenic landslides
Authors: Di Traglia F. , Calvari S. , Borselli L. , Cassanego L. , Giudicepietro F. , Macedonio G. , Nolesini T. , Casagli N. 
Published: March 2023

Abstract
Bearing in mind the destructive potential of tsunamis induced by volcanic landslides, the tsunamigenic event occurring at Stromboli volcano in Italy on 30 December 2002 has been re-examined here, by means of visible images and slope stability analysis. This was one of the few examples in the world of a flank collapse occurring at a volcano that was directly observed. We present the results of stability analyses, together with a sequence of photos collected from a helicopter a few minutes before the collapse. The result of this study is that the sequence of landslides triggering the 2002 Stromboli tsunami can be defined as the final stage of a lateral magma intrusion that exerted a high thrust at high altitude, destabilizing the entire slope. This study allows a more complete understanding of the event that took place on Stromboli on 30 December 2002. Furthermore, the approach used here, if appropriately modified, can be used in other contexts, contributing to the understanding of the condition that leads to tsunamigenic landslides.
Musculotendon Parameters in Lower Limb Models: Simplifications, Uncertainties, and Muscle Force Estimation Sensitivity
Authors: Chen Ziyu , Franklin David W. 
Published: March 2023

AbstractMusculotendon parameters are key factors in the Hill-type muscle contraction dynamics, determining the muscle force estimation accuracy of a musculoskeletal model. Their values are mostly derived from muscle architecture datasets, whose emergence has been a major impetus for model development. However, it is often not clear if such parameter update indeed improves simulation accuracy. Our goal is to explain to model users how these parameters are derived and how accurate they are, as well as to what extent errors in parameter values might influence force estimation. We examine in detail the derivation of musculotendon parameters in six muscle architecture datasets and four prominent OpenSim models of the lower limb, and then identify simplifications which could add uncertainties to the derived parameter values. Finally, we analyze the sensitivity of muscle force estimation to these parameters both numerically and analytically. Nine typical simplifications in parameter derivation are identified. Partial derivatives of the Hill-type contraction dynamics are derived. Tendon slack length is determined as the musculotendon parameter that muscle force estimation is most sensitive to, whereas pennation angle is the least impactful. Anatomical measurements alone are not enough to calibrate musculotendon parameters, and the improvement on muscle force estimation accuracy will be limited if the source muscle architecture datasets are the only main update. Model users may check if a dataset or model is free of concerning factors for their research or application requirements. The derived partial derivatives may be used as the gradient for musculotendon parameter calibration. For model development, we demonstrate that it is more promising to focus on other model parameters or components and seek alternative strategies to further increase simulation accuracy.
Efficient and certified solution of parametrized one-way coupled problems through DEIM-based data projection across non-conforming interfaces
Authors: Zappon Elena , Manzoni Andrea , Quarteroni Alfio 
Published: March 2023

AbstractOne of the major challenges of coupled problems is to manage nonconforming meshes at the interface between two models and/or domains, due to different numerical schemes or domain discretizations employed. Moreover, very often complex submodels depend on (e.g., physical or geometrical) parameters, thus making the repeated solutions of the coupled problem through high-fidelity, full-order models extremely expensive, if not unaffordable. In this paper, we propose a reduced order modeling (ROM) strategy to tackle parametrized one-way coupled problems made by a first,mastermodel and a second,slavemodel; this latter depends on the former through Dirichlet interface conditions. We combine a reduced basis method, applied to each subproblem, with the discrete empirical interpolation method to efficiently interpolate or project Dirichlet data across either conforming or non-conforming meshes at the domains interface, building a low-dimensional representation of the overall coupled problem. The proposed technique is numerically verified by considering a series of test cases involving both steady and unsteady problems, after deriving a posteriori error estimates on the solution of the coupled problem in both cases. This work arises from the need to solve staggered cardiac electrophysiological models and represents the first step towards the setting of ROM techniques for the more general two-way Dirichlet-Neumann coupled problems solved with domain decomposition sub-structuring methods, when interface non-conformity is involved.