bluuebunny/crossref_metadata_2025_split huggingface dataset:
Tuning the Magnetic Anisotropy of Lanthanides on a Metal Substrate by Metal–Organic Coordination
Authors: Parreiras Sofia O. , Moreno Daniel , Cirera Borja , Valbuena Miguel A. , Urgel José I. , Paradinas Markos , Panighel Mirco , Ajejas Fernando , Niño Miguel A. , Gallego José M. , Valvidares Manuel , Gargiani Pierluigi , Kuch Wolfgang , Martínez José I. , Mugarza Aitor , Camarero Julio , Miranda Rodolfo , Perna Paolo , Écija David 
Published: July 2021

AbstractTaming the magnetic anisotropy of lanthanides through coordination environments is crucial to take advantage of the lanthanides properties in thermally robust nanomaterials. In this work, the electronic and magnetic properties of Dy‐carboxylate metal–organic networks on Cu(111) based on an eightfold coordination between Dy and ditopic linkers are inspected. This surface science study based on scanning probe microscopy and X‐ray magnetic circular dichroism, complemented with density functional theory and multiplet calculations, reveals that the magnetic anisotropy landscape of the system is complex. Surface‐supported metal–organic coordination is able to induce a change in the orientation of the easy magnetization axis of the Dy coordinative centers as compared to isolated Dy atoms and Dy clusters, and significantly increases the magnetic anisotropy. Surprisingly, Dy atoms coordinated in the metallosupramolecular networks display a nearly in‐plane easy magnetization axis despite the out‐of‐plane symmetry axis of the coordinative molecular lattice. Multiplet calculations highlight the decisive role of the metal–organic coordination, revealing that the tilted orientation is the result of a very delicate balance between the interaction of Dy with O atoms and the precise geometry of the crystal field. This study opens new avenues to tailor the magnetic anisotropy and magnetic moments of lanthanide elements on surfaces.
A Silurian ophiuroid with soft‐tissue preservation
Authors: Carter Reece P. , Sutton Mark D. , Briggs Derek E. G. , Rahman Imran A. , Siveter David J. , Siveter Derek J. 
Published: July 2021

AbstractMost Palaeozoic brittle stars lack the fused arm ossicles (vertebrae) that facilitate the remarkable mode of walking that characterizes living forms. Here we describe a stem ophiuroid from the Herefordshire Lagerstätte (Silurian, Wenlock Series), which is exceptional in preserving the body cavity uncompacted and the long tube feet. We assign the specimen to the order Oegophiurida. The morphology of the arms and attitude of the specimen suggest that locomotion may have been achieved by arm propulsion combined with podial walking. This ophiuroid increases the diversity of echinoderm higher taxa with preserved soft parts represented in the Herefordshire Lagerstätte.
Microstructural analysis of recycled brick aggregate concrete modified by silane
Authors: Ge Pei , Huang Wei , Zhang Jiarui , Quan Wenli , Guo Yuting 
Published: July 2021

AbstractThere are essential differences between recycled brick aggregate (RBA) and recycled concrete aggregate (RCA). The weak area of RCA is the old mortar attached to the aggregate surface, while the weak area of RBA is its own larger porosity. Silane has a small molecular structure, which can penetrate into the concrete with water as the medium and react with the active functional groups in the concrete to form a network structure of silane polymer. In this paper, 8% silane solution was used to modify recycled brick aggregate concrete (RBAC) in two schemes. The first scheme was that RBA was soaked in 8% silane solution, and the second scheme was that 8% silane solution was added in the mixing process of RBAC instead of water. The results showed that compared with the unmodified RBA, after silane modification of RBA its apparent density increased by 5.48%, water absorption decreased by 61.12%, crushing index decreased by 11.09%. The average compressive strength of RBAC with RBA modified by silane was 11.72% higher than that of unmodified RBAC, and the average compressive strength of RBAC mixed with silane was 9.12% lower than that of unmodified RBAC. The pores and cracks on the surface of RBA were significantly reduced and the interface transition zone (ITZ) of RBA was compacted after silane modification of RBA. RBA contained Si, Fe, Al, Ca elements and a small amount of Na, K, Mg elements brought by mineral powder; the content of Ca, O, Si elements in ITZ and cement mortar were rich, which indicated that there were a large amount of calcium silicate hydrate (C‐S‐H) in ITZ and cement mortar; ITZ and cement mortar contained Al elements, which indicated that there were ettringite and monosulfate; the content of Ca element in RBA and ITZ increased after silane modification of RBA, which indicated that silane hydrolyzed and reacted with free calcium ions to form calcium silicate.
Treatment of coronavirus disease 2019 with saikatsugekito: A case series
Authors: Irie Yasuhito , Nakae Hajime , Fukui Shin 
Published: July 2021

ABSTRACTAimCoronavirus disease 2019 (COVID‐19) is a serious disease that has spread worldwide. In the absence of any effective treatment for mild‐to‐moderate‐stage COVID‐19, we report that treating patients with Kampo medicines could reduce or prevent disease progression. Herein, we report the current status of COVID‐19 treatment with a Kampo medicine, saikatsugekito.MethodsThe clinical course of COVID‐19 in patients treated with saikatsugekito was retrospectively investigated from January 2020 to January 2021 at a hospital designated for infectious diseases in Akita City.ResultsSaikatsugekito was administered to 30 COVID‐19 patients, but the nine patients with infections caused by other pathogens or no symptoms and treated with steroids were excluded; finally, 21 patients were included in the study. Patients with symptoms such as fever and nasal discharge/obstruction were relieved about a week after hospitalization following treatment with saikatsugekito. However, hyposmia and ageusia persisted for a long time.ConclusionMost patients recovered within a week without worsening. Our study suggests that saikatsugekito may be considered a treatment choice to relieve symptoms of mild‐to‐moderate‐stage COVID‐19.
Seroprevalence of bovine foot and mouth disease (FMD) and its associated risk factors in selected districts of Afar region, Ethiopia
Authors: Dubie Teshager , Negash Wossene 
Published: July 2021

AbstractBackgroundA cross‐sectional study was conducted from November 2018 to May 2019 to estimate seroprevalence of foot and mouth disease virus for cattle and assess associated risk factors in selected districts of afar region. Simple random sampling technique was employed to select the study areas. A total of 384 bovine sera were collected from 72 herds and seroprevalence of the disease was determined using 3ABC‐ELISA technique. Data were recorded and coded using Microsoft Excel spread sheet and analysed using STATA. Potential risk factors of the disease were also assessed using logistic regression analysis.ResultsOut of 384 sera tested at National Veterinary Institute, the overall seroprevalence of foot and mouth disease (FMD) virus was 19.8% (n = 76; 95% CI = 15.8‐23.79) at animal level and 56.94% at herd level. The herd level seroprevalence was higher in animals tested from Dubti (85%, n = 17) than Asayita (48.13%, n = 13) and Chifra (44%, n = 11). Among the associated risk factors, age, herd size, district and contact with wild life were statistically associated with foot and mouth disease serostatus (p < 0.05). Medium and large herd size animals were 2.49 (95% CI: 1.33‐6.63) and 6.05 (95% CI: 2.54‐14.43) times more likely to develop the disease as compared to animals from small herd size, respectively.ConclusionsThe current study finding revealed that FMD was more prevalent and economically significant disease in the study districts. Hence, further studies ought to be conducted to estimate the region wise serostatus magnitude of the disease, to assess its economic impact and to identify the circulating serotypes and strains in the areas.
Intramuscular adipocyte and fatty acid differences between high‐fat and control rabbit groups subject to a restricted diet
Authors: Li YanHong , Gan Mingchuan , Tang Tao , Shao Jiahao , Lai Tianfu , Ma Yuan , Elzo Mauricio A. , Jia Xianbo , Hu Shenqiang , Wang Jie , Lai SongJia 
Published: July 2021

AbstractFatty acids of intramuscular fat (IMF) in rabbits can influence meat quality, but it is unclear which fatty acids benefit to human health. A rabbit model of weight gain and weight loss was constructed using two rabbit groups and two growth stages. Stage 1 included control group1 fed a commercial diet(CG1) and experimental group1 fed a high fat diet (EG1). Stage 2 include control group2(CG2) and experimental group2 (EG2) both fed a restricted commercial diet. We detected differences in blood biochemical indicators as well as changes in intramuscular adipose cells and intramuscular fatty acid content in control and experiment groups at two stages. High fat induction can make rabbits become obese, have higher concentrations of glucose (GLU), total cholesterol (TC), triglyceride (TG), low density lipoprotein‐cholesterol (LDL‐C) and free fatty acid (FFA), and lower concentrations of insulin (INS). In addition, a high‐fat diet promotes hypertrophy of precursor adipocytes in femoral muscles. Conversely, a restricted diet causes weight loss, decreases the concentration of TG, FFA, and INS in CG2 and EG2, and increases the deposition of unsaturated fatty acids in the femoral muscle. The content of monounsaturated trans oleic acid (C18:1n‐9T) in EG2 was significantly higher than in CG2, whereas oleic acid (C18:1n‐9C) was significantly lower in EG2 than in CG2. The polyunsaturated fatty acids Linolenate (C18:3 n‐3) and cis‐5,8,11,14,17‐Eicosapentaenoate (C20:5 n‐3) increased in CG2 and EG2. The content of Linoleate (C18:2 n‐6) and γ‐Linolenic acid (C18:3 n‐6) significantly increased in CG2. The content of cis‐11,14‐Eicosatrienoic acid (C20:2) decreased significantly in CG2, but increased significantly in EG2.Thus, a high‐fat diet can increase the formation of unhealthy fatty acids. Conversely, weight loss due to a restricted diet leads to an increase in unsaturated fatty acids in the femoral muscle, indicating that it reduces obesity symptoms and it may improve meat quality in rabbit.
Value(s) Creation
Authors: Jonker Jan , Faber Niels 
Published: July 2021

AbstractThis is the most challenging building block of the Business Model Template (BMT), defining how you shape and use transactions in your business model. Our society can be looked at as an endless flow of transactions translated into daily activities. They are based on either money, or on time or energy (for example); the latter we call hybrid transactions. They are the operational acts that demonstrate an appreciation of the value created between parties. In this chapter, we present a typology of transactions and related strategies, which in turn we link to the concept of multiple (hybrid) values (e.g. sales, take-back, deposit, rent and use). What we want to explain as clearly and as unambiguously as possible is how multiple value(s) creation can be achieved within and through a broad variety of transactions. If this chapter shows anything, it is how difficult it is to make multiple value creation concrete.
Motive and Context
Authors: Jonker Jan , Faber Niels 
Published: July 2021

AbstractIn this chapter, we will address the motive to start developing a business model and the context in which you are doing so. It is important to use this first building block of the Business Model Template (BMT) to carefully look for the social and ecological components and the context of your idea. The idea of looking carefully at the context is essential because this will steer the possibilities and choices that you have at a later stage. In this way, you can also expand your line of reasoning and motivation into one in which sustainability is central. Looking at a context with respect to its complexity is of the essence: trying your best to discover what truly matters, as well as where you see the opportunities to do things. Getting clear about what motivates you to start working on a specific issue is, after all, the basis for all the steps that are still to come.
A Lean Framework for Starting a New Venture
Authors: Shepherd Dean A. , Patzelt Holger 
Published: July 2021

AbstractThe lean startup framework is one of the most popular contributions in the practitioner-oriented entrepreneurship literature. This chapter builds on a recent paper (Shepherd & Gruber in Entrepreneurship Theory and Practice. https://doi.org/10.1177/1042258719899415, 2020) to highlight new insights into how new ventures are started based on the lean startup framework. Specifically, we describe the origin of the lean startup framework and its five main building blocks—(1) identifying and evaluating market opportunities in startups, (2) designing business models, (3) engaging in validated learning (including customer development), (4) building minimum viable products, and (5) learning whether to persevere with or pivot from the current course of action. We organize these building blocks into a framework suggesting how considering the contextual characteristics of and the interdependencies between the building blocks can enrich our understanding of using the lean startup framework to start a new venture.
Scalable Polyhedral Verification of Recurrent Neural Networks
Authors: Ryou Wonryong , Chen Jiayu , Balunovic Mislav , Singh Gagandeep , Dan Andrei , Vechev Martin 
Published: July 2021

AbstractWe present a scalable and precise verifier for recurrent neural networks, calledProverbased on two novel ideas: (i) a method to compute a set of polyhedral abstractions for the non-convex and non-linear recurrent update functions by combining sampling, optimization, and Fermat’s theorem, and (ii) a gradient descent based algorithm for abstraction refinement guided by the certification problem that combines multiple abstractions for each neuron. UsingProver, we present the first study of certifying a non-trivial use case of recurrent neural networks, namely speech classification. To achieve this, we additionally develop custom abstractions for the non-linear speech preprocessing pipeline. Our evaluation shows thatProversuccessfully verifies several challenging recurrent models in computer vision, speech, and motion sensor data classification beyond the reach of prior work.
Balancing Automation and Control for Formal Verification of Microprocessors
Authors: Goel Shilpi , Slobodova Anna , Sumners Rob , Swords Sol 
Published: July 2021

AbstractFormal methods are becoming an indispensable part of the design process in software and hardware industry. It takes robust tools and proofs to make formal validation of large scale projects reliable. In this paper, we will describe the current status of formal verification at Centaur Technology. We will explain our challenges and our methodology—how various proofs and verification artifacts are interconnected and how we keep them consistent over the duration of a project. We also describe our main engine—a powerful symbolic simulator with rewriting capabilities that is integrated in a theorem prover and proven correct.
An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems via Barrier Certificate Generation
Authors: Yang Zhengfeng , Zhang Yidan , Lin Wang , Zeng Xia , Tang Xiaochao , Zeng Zhenbing , Liu Zhiming 
Published: July 2021

AbstractIn this paper, we propose a safe reinforcement learning approach to synthesize deep neural network (DNN) controllers for nonlinear systems subject to safety constraints. The proposed approach employs an iterative scheme where alearnerand averifierinteract to synthesize safe DNN controllers. Thelearnertrains a DNN controller via deep reinforcement learning, and theverifiercertifies the learned controller through computing a maximal safe initial region and its corresponding barrier certificate, based on polynomial abstraction and bilinear matrix inequalities solving. Compared with the existing verification-in-the-loop synthesis methods, our iterative framework is a sequential synthesis scheme of controllers and barrier certificates, which can learn safe controllers with adaptive barrier certificates rather than user-defined ones. We implement the tool SRLBC and evaluate its performance over a set of benchmark examples. The experimental results demonstrate that our approach efficiently synthesizes safe DNN controllers even for a nonlinear system with dimension up to 12.
Hybrid SynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL
Authors: Lee Jaehun , Kim Sharon , Bae Kyungmin , Ölveczky Peter Csaba 
Published: July 2021

AbstractWe present the$$\textsc {Hybrid}\textsc {Synch}\textsc {AADL}$$HYBRIDSYNCHAADLmodeling language and formal analysis tool for virtually synchronous cyber-physical systems with complex control programs, continuous behaviors, bounded clock skews, network delays, and execution times. We leverage the Hybrid PALS equivalence, so that it is sufficient to model and verify the simpler underlying synchronous designs. We define the$$\textsc {Hybrid}\textsc {Synch}\textsc {AADL}$$HYBRIDSYNCHAADLlanguage as a sublanguage of the avionics modeling standard AADL for modeling such designs in AADL, and demonstrate the effectiveness of$$\textsc {Hybrid}\textsc {Synch}\textsc {AADL}$$HYBRIDSYNCHAADLon a number of applications.
Pre-deployment Security Assessment for Cloud Services Through Semantic Reasoning
Authors: Cauli Claudia , Li Meng , Piterman Nir , Tkachuk Oksana 
Published: July 2021

Abstract

Over the past ten years, the adoption of cloud services has grown rapidly, leading to the introduction of automated deployment tools to address the scale and complexity of the infrastructure companies and users deploy. Without the aid of automation, ensuring the security of an ever-increasing number of deployments becomes more and more challenging. To the best of our knowledge, no formal automated technique currently exists to verify cloud deployments during the design phase. In this case study, we show that Description Logic modeling and inference capabilities can be used to improve the safety of cloud configurations. We focus on the Amazon Web Services (AWS) proprietary declarative language, CloudFormation, and develop a tool to encode template files into logic. We query the resulting models with properties related to security posture and report on our findings. By extending the models with dataflow-specific knowledge, we use more comprehensive semantic reasoning to further support security reviews. When applying the developed toolchain to publicly available deployment files, we find numerous violations of widely-recognized security best practices, which suggests that streamlining the methodologies developed for this case study would be beneficial.
Program Sketching by Automatically Generating Mocks from Tests
Authors: Bragg Nate F. F. , Foster Jeffrey S. , Roux Cody , Solar-Lezama Armando 
Published: July 2021

AbstractSketch is a popular program synthesis tool that solves for unknowns in a sketch or partial program. However, while Sketch is powerful, it does not directly support modular synthesis of dependencies, potentially limiting scalability. In this paper, we introduce Sketcham, a new technique that modularizes a regular sketch by automatically generating mocks—functions that approximate the behavior of complete implementations—from the sketch’s test suite. For example, if the function f originally calls g, Sketcham creates a mock $$g_m$$

g
m

from g’s tests and augments the sketch with a version of f that calls $$g_m$$

g
m

. This change allows the unknowns in f and g to be solved separately, enabling modular synthesis with no extra work from the Sketch user. We evaluated Sketcham on ten benchmarks, performing enough runs to show at a 95% confidence level that Sketcham improves median synthesis performance on six of our ten benchmarks by a factor of up to 5$$\times $$
×
compared to plain Sketch, including one benchmark that times out on Sketch, while exhibiting similar performance on the remaining four. Our results show that Sketcham can achieve modular synthesis by automatically generating mocks from tests.
(Un)doing masculinity in der Kita
Authors: Bockstaller Tobias 
Published: July 2021

ZusammenfassungDer Beruf der Fachperson Betreuung zeichnet sich aktuell in der Schweiz, trotz vielseitiger Bestrebungen dies zu ändern, durch seine einseitige Verteilung der Geschlechter aus. Mehrheitlich prägen weibliche Fachpersonen den Alltag in Kindertagesstätten. Deshalb sind männliche Fachkräfte – bezüglich der Herstellung männlicher Geschlechtsidentität – in ihrem Arbeitsalltag mit besonderen Herausforderungen konfrontiert. Während bereits einige Arbeiten zu diesem Thema auf der Grundlage von Aussagen betroffener männlicher Fachpersonen existieren, ist der unbewusste, non-verbale Ausdruck von Geschlechterkonstruktionen noch weitgehend unerforscht. Mittels rekonstruktiver videobasierter Beobachtung wird untersucht, wie männliche Fachpersonen in ihren körperlichen Handlungen Männlichkeiten konstruieren.
Jenseits der rhetorischen Modernisierung? Geschlechterwissen zwischen Essenzialismus und Konstruktivismus
Authors: Wustmann Julia 
Published: July 2021

ZusammenfassungDa Kinder innerhalb von Kindertageseinrichtungen Vorstellungen zu Geschlechterverhältnissen, -typisierungen oder auch -gerechtigkeit erfahren, erlernen und erproben, kommt dem Wissen, das die pädagogischen Fachkräfte zum Thema Geschlecht haben eine bedeutende Rolle zu. Der Beitrag präsentiert die Konzeption und Ergebnisse einer qualitativen Analyse von beruflichem Ausbildungsmaterial pädagogischer Fachkräfte. Es wird aufgezeigt, welches Geschlechterwissen im Material vermittelt wird und wie pädagogische Fachkräfte auf den Umgang mit Geschlechterthematiken in der beruflichen Praxis im Rahmen der Ausbildung vorbereitet werden.
Bound of diffusion constants from pole-skipping points: spontaneous symmetry breaking and magnetic field
Authors: Jeong Hyun-Sik , Kim Keun-Young , Sun Ya-Wen 
Published: July 2021

Abstract
We investigate the properties of pole-skipping of the sound channel in which the translational symmetry is broken explicitly or spontaneously. For this purpose, we analyze, in detail, not only the holographic axion model, but also the magnetically charged black holes with two methods: the near-horizon analysis and quasi-normal mode computations. We find that the pole-skipping points are related with the chaotic properties, Lyapunov exponent (λL) and butterfly velocity (vB), independently of the symmetry breaking patterns. We show that the diffusion constant (D) is bounded by $$ D\ge {v}_B^2/{\lambda}_L $$
D
≥

v
B
2

/

λ
L

, where D is the energy diffusion (crystal diffusion) bound for explicit (spontaneous) symmetry breaking. We confirm that the lower bound is obtained by the pole-skipping analysis in the low temperature limit.
Effective field theory interpretation of lepton magnetic and electric dipole moments
Authors: Aebischer Jason , Dekens Wouter , Jenkins Elizabeth E. , Manohar Aneesh V. , Sengupta Dipan , Stoffer Peter 
Published: July 2021

Abstract
We perform a model-independent analysis of the magnetic and electric dipole moments of the muon and electron. We give expressions for the dipole moments in terms of operator coefficients of the low-energy effective field theory (LEFT) and the Standard Model effective field theory (SMEFT). We use one-loop renormalization group improved perturbation theory, including the one-loop matching from SMEFT onto LEFT, and one-loop lepton matrix elements of the effective-theory operators. Semileptonic four-fermion operators involving light quarks give sizable non-perturbative contributions to the dipole moments, which are included in our analysis. We find that only a very limited set of the SMEFT operators is able to generate the current deviation of the magnetic moment of the muon from its Standard Model expectation.