bluuebunny/crossref_metadata_2025_split huggingface dataset:
More on holographic correlators: twisted and dimensionally reduced structures
Authors: Behan Connor , Ferrero Pietro , Zhou Xinan 
Published: April 2021

Abstract
Recently four-point holographic correlators with arbitrary external BPS operators were constructively derived in [1, 2] at tree-level for maximally superconformal theories. In this paper, we capitalize on these theoretical data, and perform a detailed study of their analytic properties. We point out that these maximally supersymmetric holographic correlators exhibit a hidden dimensional reduction structure à la Parisi and Sourlas. This emergent structure allows the correlators to be compactly expressed in terms of only scalar exchange diagrams in a dimensionally reduced spacetime, where formally both the AdS and the sphere factors have four dimensions less. We also demonstrate the superconformal properties of holographic correlators under the chiral algebra and topological twistings. For AdS5× S5 and AdS7× S4, we obtain closed form expressions for the meromorphic twisted correlators from the maximally R-symmetry violating limit of the holographic correlators. The results are compared with independent field theory computations in 4d $$ \mathcal{N} $$
N
= 4 SYM and the 6d (2, 0) theory, finding perfect agreement. For AdS4× S7, we focus on an infinite family of near-extremal four-point correlators, and extract various protected OPE coefficients from supergravity. These OPE coefficients provide new holographic predictions to be matched by future supersymmetric localization calculations. In deriving these results, we also develop many technical tools which should have broader applicability beyond studying holographic correlators.
O(D, D) and the string α′ expansion: an obstruction
Authors: Hronek Stanislav , Wulff Linus 
Published: April 2021

Abstract
Double Field Theory (DFT) is an attempt to make the O(d, d) T-duality symmetry of string theory manifest, already before reducing on a d-torus. It is known that supergravity can be formulated in an O(D, D) covariant way, and remarkably this remains true to the first order in α′. We set up a systematic way to analyze O(D, D) invariants, working order by order in fields, which we carry out up to order α′3. At order α′ we recover the known Riemann squared invariant, while at order α′2 we find no independent invariant. This is compatible with the α′ expansion in string theory. However, at order α′3 we show that there is again no O(D, D) invariant, in contradiction to the fact that all string theories have quartic Riemann terms with coefficient proportional to ζ (3). We conclude that DFT and similar frameworks cannot capture the full α′ expansion in string theory.
CP violation in rare lepton-number-violating W decays at the LHC
Authors: Najafi Fatemeh , Kumar Jacky , London David 
Published: April 2021

Abstract
Some models of leptogenesis involve a quasi-degenerate pair of heavy neutrinos N1,2 whose masses can be small, O(GeV). Such neutrinos can contribute to the rare lepton-number-violating (LNV) decay $$ {W}^{\pm}\to {\mathrm{\ell}}_1^{\pm }{\mathrm{\ell}}_2^{\pm }{\left({q}^{\prime}\overline{q}\right)}^{\mp } $$

W
±

→

ℓ
1
±

ℓ
2
±

q
′

q
¯

∓

. If both N1 and N2 contribute, there can be a CP-violating rate difference between the LNV decay of a W− and its CP-conjugate decay. In this paper, we examine the prospects for measuring such a CP asymmetry ACP at the LHC. We assume a value for the heavy-light neutrino mixing parameter |BℓN|2 = 10−5, which is allowed by the present experimental constraints, and consider 5 GeV ≤ MN≤ 80 GeV. We consider three versions of the LHC — HL-LHC, HE-LHC, FCC-hh — and show that small values of the CP asymmetry can be measured at 3σ, in the range 1% ≲ ACP ≲ 15%.
Symmetry structure of the interactions in near-BPS corners of $$ \mathcal{N} $$ = 4 super-Yang-Mills
Authors: Baiguera Stefano , Harmark Troels , Lei Yang , Wintergerst Nico 
Published: April 2021

Abstract
We consider limits of $$ \mathcal{N} $$
N
= 4 super-Yang-Mills (SYM) theory that approach BPS bounds. These limits result in non-relativistic near-BPS theories that describe the effective dynamics near the BPS bounds and upon quantization are known as Spin Matrix theories. The near-BPS theories can be obtained by reducing $$ \mathcal{N} $$
N
= 4 SYM on a three-sphere and integrating out the fields that become non-dynamical in the limits. We perform the sphere reduction for the near-BPS limit with SU(1, 2|2) symmetry, which has several new features compared to the previously considered cases with SU(1) symmetry, including a dynamical gauge field. We discover a new structure in the classical limit of the interaction term. We show that the interaction term is built from certain blocks that comprise an irreducible representation of the SU(1, 2|2) algebra. Moreover, the full interaction term can be interpreted as a norm in the linear space of this representation, explaining its features including the positive definiteness. This means one can think of the interaction term as a distance squared from saturating the BPS bound. The SU(1, 1|1) near-BPS theory, and its subcases, is seen to inherit these features. These observations point to a way to solve the strong coupling dynamics of these near-BPS theories.
Old and new vacua of 5D maximal supergravity
Authors: Dall’Agata G. , Inverso G. , Partipilo D. 
Published: April 2021

Abstract
We look for critical points with U(2) residual symmetry in 5-dimensional maximally supersymmetric gauged supergravity, by varying the embedding tensor, rather than directly minimizing the scalar potential. We recover all previously known vacua and we find four new vacua, with different gauge groups and cosmological constants. We provide the first example of a maximal supergravity model in D ≥ 4 having critical points with both positive and vanishing cosmological constant. For each vacuum we also compute the full mass spectrum. All results are analytic.
CLUSTER ALGEBRAS FROM SURFACES AND EXTENDED AFFINE WEYL GROUPS
Authors: FELIKSON ANNA , LAWSON JOHN W. , SHAPIRO MICHAEL , TUMARKIN PAVEL 
Published: April 2021

AbstractWe characterize mutation-finite cluster algebras of rank at least 3 using positive semi-definite quadratic forms. In particular, we associate with every unpunctured bordered surface a positive semi-definite quadratic space V , and with every triangulation a basis in V , such that any mutation of a cluster (i.e., a flip of a triangulation) transforms the corresponding bases into each other by partial reflections. Furthermore, every triangulation gives rise to an extended affine Weyl group of type A, which is invariant under flips. The construction is also extended to exceptional skew-symmetric mutation-finite cluster algebras of types E.
Characterisation of hardwood fibres used for wood fibre insulation boards (WFIB)
Authors: Imken Arne A. P. , Plinke Burkhard , Mai Carsten 
Published: April 2021

AbstractWood fibre insulation boards (WFIB) are typically made from softwood fibres. However, due to the rapid decrease in softwood stands in Germany, the industry will be forced to adapt to the wood market. Therefore, alternative approaches for the substitution of softwood with hardwood will be needed in the fibre industry. The objective of this paper is to address the characterisation of hardwood fibres regarding their availability for the WFIB industry. The physico-mechanical properties of WFIB are significantly determined by the length of the fibres. Longer softwood fibres usually generate higher strength properties and a lower thermal conductivity than shorter hardwood fibres. In this paper, the potential application of hardwood fibres (up to 20,500 μm long) produced in a refiner by thermo-mechanical pulping (TMP) to WFIB production was examined. The scanner-based system FibreShape was used for the automatic optical analysis of the geodesic length distribution of fibres. The analysed hardwood fibres contained significantly more dust and were shorter than respectively produced softwood fibres, limiting their applicability for WFIB production. Thus, two analytical approaches were chosen to receive longer fibres and less dust: (1) blending hardwood fibres with supporting softwood fibres (20%, 50 and 80% proportion of softwood), and (2) mathematical fractionation of hardwood fibres based on the fibre length to remove all particles smaller than 500 μm. It was concluded that the practical fractionation seems to be economically and ecologically challenging and that blending hardwood fibres with at least 50% softwood fibres offers a promising approach, which should be further studied.
Obesity and its impact on COVID-19
Authors: de Leeuw Angélica J. M. , Oude Luttikhuis Maureen A. M. , Wellen Annemarijn C. , Müller Christine , Calkhoven Cornelis F. 
Published: April 2021

AbstractThe severe acute respiratory syndrome-coronavirus-2 (SARS-CoV-2) pandemic has proven a challenge to healthcare systems since its first appearance in late 2019. The global spread and devastating effects of coronavirus disease 2019 (COVID-19) on patients have resulted in countless studies on risk factors and disease progression. Overweight and obesity emerged as one of the major risk factors for developing severe COVID-19. Here we review the biology of coronavirus infections in relation to obesity. In particular, we review literature about the impact of adiposity-related systemic inflammation on the COVID-19 disease severity, involving cytokine, chemokine, leptin, and growth hormone signaling, and we discuss the involvement of hyperactivation of the renin-angiotensin-aldosterone system (RAAS). Due to the sheer number of publications on COVID-19, we cannot be completed, and therefore, we apologize for all the publications that we do not cite.
Model-based Safety Assessment of a Triple Modular Generator with xSAP
Authors: Bozzano Marco , Cimatti Alessandro , Gario Marco , Jones David , Mattarei Cristian 
Published: April 2021

Abstract
The system design process needs to cope with the increasing complexity and size of systems,motivating the replacement of labor intensivemanual techniques with automated and semi-automated approaches.Recently, formal methods techniques, such as model-based verification and safety assessment, have been increasingly used to model systems under fault and to analyze them, generating artifacts such as fault trees and FMEA tables. In this paper, we show how to apply model-based techniques to a realistic case study from the avionics domain: a high integrity power distribution system, the Triple Modular Generator (TMG). The TMG is composed of a redundant and reconfigurable plant and a controller that must guarantee a high level of reliability. The case study is a significant challenge, from the modeling perspective, since it implements a complex reconfiguration policy, specified via a number of requirements in natural language, including a set of mutually dependent and potentially conflicting priority constraints. Moreover, from the verification standpoint, the controller must be able to handle an exponential number of possible faulty configurations. Our contribution is twofold. First, we formalize and validate the requirements and, using a constraint-based modeling style, we synthesize a correct by construction controller, avoiding the enumeration of all possible fault configurations, as is currently done by manual approaches. Second, we describe a comprehensive methodology and process, supported by the xSAP safety analysis platform that targets the modeling and safety assessment of faulty systems. Using xSAP, we are able to automatically extract minimal cut sets for the TMG. We demonstrate the scalability of our approach by analyzing a parametric version of the TMG case study that contains more than 700 variables and 90 faults.
Novel nucleic acid origami structures and conventional molecular beacon–based platforms: a comparison in biosensing applications
Authors: Bellassai Noemi , D’Agata Roberta , Spoto Giuseppe 
Published: April 2021

AbstractNucleic acid nanotechnology designs and develops synthetic nucleic acid strands to fabricate nanosized functional systems. Structural properties and the conformational polymorphism of nucleic acid sequences are inherent characteristics that make nucleic acid nanostructures attractive systems in biosensing. This review critically discusses recent advances in biosensing derived from molecular beacon and DNA origami structures. Molecular beacons belong to a conventional class of nucleic acid structures used in biosensing, whereas DNA origami nanostructures are fabricated by fully exploiting possibilities offered by nucleic acid nanotechnology. We present nucleic acid scaffolds divided into conventional hairpin molecular beacons and DNA origami, and discuss some relevant examples by focusing on peculiar aspects exploited in biosensing applications. We also critically evaluate analytical uses of the synthetic nucleic acid structures in biosensing to point out similarities and differences between traditional hairpin nucleic acid sequences and DNA origami.Graphical abstract
Informatikunterricht in Deutschland – eine Übersicht
Authors: Schwarz Richard , Hellmig Lutz , Friedrich Steffen 
Published: April 2021

ZusammenfassungNunmehr 10 Jahre nach der letzten Synopse zur Situation des Informatikunterrichts in Deutschland wird mit dieser Untersuchung ein aktuelles Bild der informatischen Bildung in den 16 Bundesländern gezeichnet. Dem allgemeinbildenden Charakter der informatischen Bildung entsprechend liegt der Fokus auf Angeboten für einen verbindlichen – durch die Existenz eines curricularen Rahmens abgesicherten – Informatikunterrichts für alle Schülerinnen und Schüler in allen Schularten weiterführender Schulen. Die Grundlage für die Erhebungen bildeten sowohl umfangreiche Analysen bildungspolitischer Dokumente, Stundentafeln und curricularer Vorgaben als auch eine Verifikation der erhobenen Daten durch Expertinnen und Experten in den jeweiligen Bundesländern. Neben einer vergleichbaren Darstellung für jedes Bundesland machen die Übersichten zum Sekundarbereich I und II über alle Bundesländer deutlich, welche Defizite in der Grundlagenbildung zur Informatik noch immer vorhanden sind und das Vorankommen in der Digitalisierung in Schulen zusätzlich hemmen.
Irreversible electroporation (IRE) in renal cell carcinoma (RCC): a mid-term clinical experience
Authors: Wah Tze Min , Lenton James , Smith Jonathan , Bassett Paul , Jagdev Satinder , Ralph Christy , Vasudev Naveen , Bhattarai Selina , Kimuli Michael , Cartledge Jon 
Published: April 2021

Abstract
Objectives
To evaluate the safety and efficacy of CT-guided IRE of clinical T1a (cT1a) renal tumours close to vital structures and to assess factors that may influence the technical success and early oncological durability.

Methods
CT-guided IRE (2015–2020) was prospectively evaluated. Patients’ demographics, technical details/success, Clavien-Dindo (CD) classification of complications (I–V) and oncological outcome were collated. Statistical analysis was performed to determine variables associated with complications. The overall 2- and 3-year cancer-specific (CS), local recurrence-free (LRF) and metastasis-free (MF) survival rates are presented using the Kaplan-Meier curves.

Results
Thirty cT1a RCCs (biopsy-proven/known VHL disease) in 26 patients (age 32–81 years) were treated with IRE. The mean tumour size was 2.5 cm and the median follow-up was 37 months. The primary technical success rate was 73.3%, where 22 RCCs were completely IRE ablated. Seven residual diseases were successfully ablated with cryoablation, achieving an overall technical success rate of 97%. One patient did not have repeat treatment as he died from unexpected stroke at 4-month post-IRE. One patient had CD-III complication with a proximal ureteric injury. Five patients developed > 25% reduction of eGFR immediately post-IRE. All patients have preservation of renal function without the requirement for renal dialysis. The overall 2- and 3-year CS, LRF and MF survival rates are 89%, 96%, 91% and 87%.

Conclusion
CT-guided IRE in cT1a RCC is safe with acceptable complications. The primary technical success rate was suboptimal due to the early operator’s learning curve, and long-term follow-up is required to validate the IRE oncological durability.

Key Points
• Irreversible electroporation should only be considered when surgery or image-guided thermal ablation is not an option for small renal cancer.
• This non-thermal technique is safe in the treatment of small renal cancer and the primary technical success rate was 73.3%.
• This can be used when renal cancer is close to important structure.
Deep learning in forensic gunshot wound interpretation—a proof-of-concept study
Authors: Oura Petteri , Junno Alina , Junno Juho-Antti 
Published: April 2021

AbstractWhile the applications of deep learning are considered revolutionary within several medical specialties, forensic applications have been scarce despite the visual nature of the field. For example, a forensic pathologist may benefit from deep learning-based tools in gunshot wound interpretation. This proof-of-concept study aimed to test the hypothesis that trained neural network architectures have potential to predict shooting distance class on the basis of a simple photograph of the gunshot wound. A dataset of 204 gunshot wound images (60 negative controls, 50 contact shots, 49 close-range shots, and 45 distant shots) was constructed on the basis of nineteen piglet carcasses fired with a .22 Long Rifle pistol. The dataset was used to train, validate, and test the ability of neural net architectures to correctly classify images on the basis of shooting distance. Deep learning was performed using the AIDeveloper open-source software. Of the explored neural network architectures, a trained multilayer perceptron based model (MLP_24_16_24) reached the highest testing accuracy of 98%. Of the testing set, the trained model was able to correctly classify all negative controls, contact shots, and close-range shots, whereas one distant shot was misclassified. Our study clearly demonstrated that in the future, forensic pathologists may benefit from deep learning-based tools in gunshot wound interpretation. With these data, we seek to provide an initial impetus for larger-scale research on deep learning approaches in forensic wound interpretation.
Photo-CIDNP in Solid State
Authors: Matysik Jörg , Ding Yonghong , Kim Yunmi , Kurle Patrick , Yurkovskaya Alexandra , Ivanov Konstantin , Alia A. 
Published: April 2021

AbstractPhoto-CIDNP (photo-chemically induced dynamic nuclear polarization) refers to nuclear polarization created by the spin-chemical evolution of spin-correlated radical pairs (SCRPs). This phenomenon occurs in gases, liquids and solids. Based on the solid-state photo-CIDNP effect observed under magic-angle spinning (MAS), photo-CIDNP MAS NMR has been developed as analytical method. Here we report the origin, the theory and the state of the art of this method.
Mechanisms and cell lineages in lymphatic vascular development
Authors: Jafree Daniyal J. , Long David A. , Scambler Peter J. , Ruhrberg Christiana 
Published: April 2021

AbstractLymphatic vessels have critical roles in both health and disease and their study is a rapidly evolving area of vascular biology. The consensus on how the first lymphatic vessels arise in the developing embryo has recently shifted. Originally, they were thought to solely derive by sprouting from veins. Since then, several studies have uncovered novel cellular mechanisms and a diversity of contributing cell lineages in the formation of organ lymphatic vasculature. Here, we review the key mechanisms and cell lineages contributing to lymphatic development, discuss the advantages and limitations of experimental techniques used for their study and highlight remaining knowledge gaps that require urgent attention. Emerging technologies should accelerate our understanding of how lymphatic vessels develop normally and how they contribute to disease.
Rely-guarantee bound analysis of parameterized concurrent shared-memory programs
Authors: Pani Thomas , Weissenbacher Georg , Zuleger Florian 
Published: April 2021

AbstractWe present a thread-modular proof method for complexity and resource bound analysis of concurrent, shared-memory programs. To this end, we lift Jones’ rely-guarantee reasoning to assumptions and commitments capable of expressing bounds. The compositionality (thread-modularity) of this framework allows us to reason about parameterized programs, i.e., programs that execute arbitrarily many concurrent threads. We automate reasoning in our logic by reducing bound analysis of concurrent programs to the sequential case. As an application, we automatically infer time complexity for a family of fine-grained concurrent algorithms, lock-free data structures, to our knowledge for the first time.
Estimation Method for Roof‐damaged Buildings from Aero-Photo Images During Earthquakes Using Deep Learning
Authors: Fujita Shono , Hatayama Michinori 
Published: April 2021

AbstractIssuing a disaster certificate, which is used to decide the contents of a victim’s support, requires accuracy and rapidity. However, in Japan at large, issuing of damage certificates has taken a long time in past earthquake disasters. Hence, the government needs a more efficient mechanism for issuing damage certificates. This study developed an estimation system of roof-damaged buildings to obtain an overview of earthquake damage based on aero-photo images using deep learning. To provide speedy estimation, this system utilized the trimming algorithm, which automatically generates roof image data using the location information of building polygons on GIS (Geographic Information System). Consequently, the proposed system can estimate, if a house is covered with a blue sheet with 97.57 % accuracy and also detect whether a house is damaged, with 93.51 % accuracy. It would therefore be worth considering the development of an image recognition model and a method of collecting aero-photo data to operate this system during a real earthquake.
Investigation of Mg–xLi–Zn alloys for potential application of biodegradable bone implant materials
Authors: Li Jingan , Zhou Panyu , Wang Liguo , Hou Yachen , Zhang Xueqi , Zhu Shijie , Guan Shaokang 
Published: April 2021

AbstractImplant therapy after osteosarcoma surgery is a major clinical challenge currently, especially the requirements for mechanical properties, degradability of the implants, and their inhibition of residual tumor cells. Biodegradable magnesium (Mg) alloy as medical bone implant material has full advantages and huge potential development space. Wherein, Mg–lithium (Li) based alloy, as an ultra-light alloy, has good properties for implants under certain conditions, and both Mg and Li have inhibitory effects on tumor cells. Therefore, Mg–Li alloy is expected to be applied in bone implant materials for mechanical supporting and inhibiting tumor cells simultaneously. In this contribution, the Mg–xLi–Zinc (Zn) series alloys (x = 3 wt%, 6 wt%, 9 wt%) were prepared to study the influence of different elements and contents on the structure and properties of the alloy, and the biosafety of the alloy was also evaluated. Our data showed that the yield strength, tensile strength, and elongation of as-cast Mg–xLi–Zn alloy were higher than those of as-cast Mg–Zn alloy; Mg–xLi–Zn alloy can kill osteosarcoma cells (MG-63) in a concentration-dependent manner, wherein Mg–3Li–Zn alloy (x = 3 wt%) and Mg–6Li–Zn alloy (x = 6 wt%) promoted the proliferation of osteoblasts (MC3T3) at a certain concentration of Li. In summary, our study demonstrated that the Mg–6Li–Zn alloy could be potentially applied as a material of orthopedic implant for its excellent multi-functions.