bluuebunny/crossref_metadata_2025_split huggingface dataset:
Let us misinvoice more? The effect ofde jurecapital controls on trade misinvoicing
Authors: Lai Mianshan , Hou Jia 
Published: January 2023

AbstractThis paper quantifies how the likelihood of trade misinvoicing responds tode jurecapital controls by using a cross‐country panel data set covering 1995–2017. On one hand, capital controls incentivise firms to misinvoice to circumvent the controls. On the other hand, the controls discourage these firms from misinvoicing by imposing punishments. Under the assumption of no interplay of a given country's capital controls and the misinvoicing behaviours of firms from other countries,de jurecapital controls imposed by importing countries on outflows are shown to increase the likelihood of trade misinvoicing by importing firms. However, capital controls imposed by exporting countries are shown to significantly decrease trade misinvoicing by exporting firms.
On the eigenvalues of the biharmonic operator with Neumann boundary conditions on a thin set
Authors: Ferraresso Francesco , Provenzano Luigi 
Published: January 2023

AbstractLet be a bounded domain in with smooth boundary , and let be the set of points in whose distance from the boundary is smaller than . We prove that the eigenvalues of the biharmonic operator on with Neumann boundary conditions converge to the eigenvalues of a limiting problem in the form of a system of differential equations on .
Quantum tilting modules over local rings
Authors: Fiebig Peter 
Published: January 2023

AbstractWe show that tilting modules for quantum groups over local Noetherian domains of quantum characteristic 0 exist and the indecomposable tilting modules are parametrized by their highest weight. For this, we introduce a model category associated with a Noetherian ‐domain and a root system . We show that if is of quantum characteristic , the model category contains all ‐modules that admit a Weyl filtration. If is in addition local, we study torsion phenomena in the model category. This leads to a construction of torsion free, or “maximal” objects in . We show that these correspond to tilting modules for the quantum group associated with and .
Slope inequalities for KSB‐stable and K‐stable families
Authors: Codogni Giulio , Tasin Luca , Viviani Filippo 
Published: January 2023

AbstractWe prove some higher dimensional generalizations of the slope inequality originally due to G. Xiao, and to M. Cornalba and J. Harris. We give applications to families of KSB‐stable and K‐stable pairs, as well as to the study of the ample cone of the moduli space of KSB‐stable varieties. Our proofs rely on the study of the Harder–Narasimhan filtration, and some generalizations of Castelnuovo's and Noether's inequalities.
Improve Hydrogel Adhesion by Introducing Pillar Structures at the Interface
Authors: Jiang Xiaochun , Lu Tongqing , Wang Tiejun 
Published: January 2023

Abstract
Introducing inelastic dissipaters can enhance the adhesion of hydrogels. However, the adhesion energy enhanced by inelastic dissipaters dramatically decreases when the adhesion interface is loaded repeatedly. Here, we achieve tough adhesion of hydrogels by introducing a structure of a pillar array to the adhesion interface as elastic dissipaters. Each pillar undergoes large deformation before debonding. Once debonded, all the elastic energy stored in the pillars is released, and the adhesion energy is greatly improved. As a proof of concept, we adhere a piece of polyacrylamide hydrogel to a piece of polyacrylic acid hydrogel and measure the adhesion energy by a 90-degree peel test. The adhesion energy is 56 J/m2 for the adhesion without structures and 249 J/m2 for the adhesion with structures. We apply the pull-off test on a pillar unit and estimate the adhesion energy enhanced by the pillars using a simplified model, which is in good agreement with the experimental results. We conduct experiments to study the influence of the height and width of the structures on the adhesion energy. The mechanism of enhancement as well as the influence of geometric parameters is further studied by finite element method. The proposed mechanism provides a simple method of structural design to enhance hydrogel adhesion.
Privileges & Pathways Through an Academic Career in Biomechanics: Appreciation for the 2022 ASME HR Lissner Medal
Authors: Setton Lori A. 
Published: January 2023

AbstractLet me begin by sharing my deepest appreciation to the ASME for honoring me with the HR Lissner Medal and to the Journal of Biomechanical Engineering for this opportunity to share my personal path through biomechanics. ASME has been an academic home for me since my days as a doctoral student where my PhD advisors, Van C. Mow and W. Michael Lai, first supported my presenting on original research in the poster sessions and student competition of the Winter Annual Meetings. ASME meetings were where I met so many career advisors including Bob Nerem, Shu Chien, Savio Woo, Sheldon Weinbaum, Mort Friedman, Steve Goldstein, and Larry Taber who shared insights and tips to support me in navigating the bio-engineering discipline. Each of these mentors and advisors previously received the HR Lissner Medal and to be added to this community brings me the greatest sense of belonging. As I hope to convey here and as I did in my 2022 talk, I very much share this honor with numerous talented trainees that have led and motivated much of the directions in my own research program. For more than 30 years, I benefited from this collective of individuals who provided energy, innovation, talent and shared wisdom that brings me to where I stand now and is a testament to the importance of mentoring in the community of Lissner Medalists and ASME.
Surface Line Integral Convolution-Based Vortex Detection Using Computer Vision
Authors: Abolholl Hazem Ashor Amran , Teschner Tom-Robin , Moulitsas Irene 
Published: January 2023

AbstractVortex cores in fluid mechanics are easy to visualize, yet difficult to detect numerically. Precise knowledge of these allows fluid dynamics researchers to study complex flow structures and allow for a better understanding of the turbulence transition process and the development and evolution of flow instabilities, to name but a few relevant areas. Various approaches such as the Q, delta, and swirling strength criterion have been proposed to visualize vortical flows, and these approaches can be used to detect vortex core locations. Using these methods can result in spuriously detected vortex cores and which can be balanced by a cutoff filter, making these methods lack robustness. To overcome this shortcoming, we propose a new approach using convolutional neural networks to detect flow structures directly from streamline plots, using the line integral convolution method. We show that our computer vision-based approach is able to reduce the number of false positives and negatives while removing the need for a cutoff. We validate our approach using the Taylor–Green vortex problem to generate input images for our network. We show that with an increasing number of images used for training, we are able to monotonically reduce the number of false positives and negatives. We then apply our trained network to a different flow problem where vortices are still reliably detected. Thus, our study presents a robust approach that allows for reliable vortex detection which is applicable to a wide range of flow scenarios.
Study on Machining Quality of Aluminum Honeycomb in Ultrasonic Cutting by Disc Cutter
Authors: Sun Jiansong , Kang Renke , Guo Jialin , Dong Zhigang , Wang Yidan 
Published: January 2023

Abstract
Aluminum honeycomb has been highlighted in aeronautics and astronautics in the form of the sandwich structure, but defects are easily generated during machining. Ultrasonic cutting for honeycomb material has received growing attention over the past years for improved machining quality and efficiency. In order to support the industrial application of the ultrasonic cutting for aluminum honeycomb by disc cutter, a finite element (FE) model is established and experimental investigations are conducted to study the influencing factors of the machining quality. The proposed FE model is verified by the comparison of cutting forces obtained from simulations and experiments. Based on the FE model and experiments, influences of tool orientation precisions, including lead angle and runout of disc cutter, are analyzed first. Moreover, cutting force, honeycomb morphology, the stress in the cutting zone, and cell wall deformation at different cutting parameters are investigated. Results show that the lead angle should be set as a slightly positive value, and the axial runout of the disc cutter should be controlled to an extremely small value to avoid machining defects. Meanwhile, the cutting forces decrease significantly with the application of the ultrasonic vibration and increase with the increases in the feed speed and the cutting depth. Therefore, a well-machined surface can be obtained by applying ultrasonic vibration, cutting at a lower feed speed, and a smaller cutting depth.
Contact Path Method of Generating Spherical Conjugated Curves as Bevel Gearing Tooth Profiles
Authors: Leeheng Chan Cody 
Published: January 2023

Abstract
This paper proposes a general method to generate spherical conjugated curves based on their contact path. The main objective of generating conjugated curves is to use them as gearing tooth profiles. The derivation is based on the prescribed spherical contact path, the equation of meshing, and the rigid body motion between two bodies. This paper demonstrates the method by assigning great circle and small circle contact paths in circular pitch pair transmission to generate conjugated curves. With the great circle contact path, the conjugated curves are exact spherical involute, and with the small circle contact path, the conjugated curves are spherical cycloid. The contact properties of the conjugated curves, such as induced curvature and the sliding ratio, are also provided with mathematical equations. Based on the results, the procedures and the geometries between the planar and spherical contact path methods have corresponding relationships. In contrast to the Camus theorem, the exact spherical involute could be generated from a similar procedure of planar involute cases. The ultimate goal of this research topic is to propose a general approach to generating conjugated profiles in planar, spherical, and spatial cases. The successful derivation of the spherical cases in this paper paves the way for spatial cases in the future.
Design of a New Family of Kinematically Redundant Parallel Mechanisms With Two Rotations and One Translation
Authors: Wu Zhen , Li Qinchuan , Ye Wei 
Published: January 2023

Abstract
This article presents a new family of kinematically redundant parallel mechanisms (KR-PMs) with two rotations and one translation (2R1T) based on the Lie group method. Compared with the 2-UPR/RPU PM, these PMs have two main advantages, namely, larger reachable workspaces of the moving platforms and higher motion/force transmission performance, as verified by three typical cases. The inverse kinematics, velocities, singularities, and workspaces of the 2-UPR/PRPU PM are analyzed in detail. A new method for motion/force transmission performance evaluation of KR-PMs in accordance with the indices for nonredundant PMs is proposed. Moreover, the local and global motion/force transmission performances of the 2-UPR/PRPU PM are determined using the new method.
Kinematics Analysis of 6-Degrees-of-Freedom Parallel + Serial Type Hybrid Mechanisms Containing Parallel Mechanism With High Coupling Motions
Authors: Hu Bo , Liu Zhiyong , Zhao Jinjun , Zhao Jingyu , Yao Jiantao 
Published: January 2023

AbstractThe existing displacement of parallel + serial type hybrid mechanisms is mainly solved by the equivalent serial mechanism (SM) method. However, a large number of lower mobility parallel mechanisms (PMs) that have high coupled motions at the end-effector cannot be equivalent to SMs. Thus, the displacement problem especially for the inverse displacement of this type of hybrid mechanisms has not been well solved. On the basis of this situation, this article takes a 6-degrees-of-freedom (DOFs) 3-UPU + 3R hybrid mechanism as an example to give a general method to solve the displacement problem. First, based on the inverse displacement and pose coupling relationship of the 3-UPU PM, its forward displacement is solved by Sylvester’s dialytic elimination method, and then the forward displacement of the 3-UPU + 3R hybrid mechanism is obtained by the superposition method. Second, by skillfully dealing with the relationship between coupling motions of the 3-UPU PM and the motion of hybrid mechanism, three nonlinear equations containing three unknown motion parameters are obtained, and the inverse displacement problem is solved using Sylvester’s dialytic elimination. The research in this article is valuable in the kinematics modeling of hybrid mechanisms.
Design and Analysis of an Active Swing Decoupling Compliant Mechanism With Multiple Co-Directional Input Branches
Authors: Liu Guoshuai , Liu Pengbo , Yan Peng , Shi Yushu 
Published: January 2023

AbstractIn this work, we propose a novel bio-inspired swing decoupling mechanism supporting high precision motion systems, which is composed of multiple co-directional input branches with a rigid swing unit and an anti-rotational guiding unit. By actively adjusting the input displacements, the decoupling mechanism can switch between the swing and translational modes, where the parasitic rotations can be significantly suppressed by the anti-rotational guiding unit. With this, fully decoupled X and Y linear motions are obtained in the presence of co-directional input branches. A theoretical model of the decoupling mechanism is also established to accurately describe the decoupling behavior, which is verified by finite element simulations. A prototype of the proposed swing decoupling mechanism is fabricated and instrumented with comprehensive experimental apparatus, where the experimental results effectively validate the excellent decoupling performance and demonstrate good potentials to precision engineering applications.
Modeling an Evaporative Cooling System to Improve Gas Turbines Performance
Authors: de Oliveira Silva Carlos Rafaello , Bringhenti Cleverson , Tomita Jesuíno Takachi , Lindquist Whitacker Luiz Henrique 
Published: January 2023

Abstract
Evaporative cooling systems are commonly used in thermoelectric plants to cool the air at gas turbines inlet, improving the performance of these engines. Normally, the evaporative cooling is modeled as adiabatic saturation and, in this case, the water-air equilibrium temperature depends only on the atmospheric air properties. However, other factors such as the water temperature that supplies the equipment and the ratio between the mass flow rates of water and air, also affect the equilibrium conditions of these systems. This work presents three methodologies to calculate the air temperature in equilibrium state, considering all the factors mentioned. The methodologies were implemented in a computer program written in fortran. In all cases tested, the results obtained by the three models showed high convergence. As an example, for 70 different sets of inputs, the absolute and relative differences of the results were below 0.3236 °C and 1.2480%, respectively. A statistical study, also on this sample of results, revealed that, for a confidence level of 99%, the hypothesis of the equivalence between the methods cannot be rejected.
Direct age constraints on the magnetism of Jack Hills zircon
Authors: Taylor Richard J. M. , Reddy Steven M. , Saxey David W. , Rickard William D. A. , Tang Fengzai , Borlina Cauê S. , Fu Roger R. , Weiss Benjamin P. , Bagot Paul , Williams Helen M. , Harrison Richard J. 
Published: January 2023

A potential record of Earth’s magnetic field going back 4.2 billion years (Ga) ago is carried by magnetite inclusions in zircon grains from the Jack Hills. This magnetite may be secondary in nature, however, meaning that the magnetic record is much younger than the zircon crystallization age. Here, we use atom probe tomography to show that Pb-bearing nanoclusters in magnetite-bearing Jack Hills zircons formed during two discrete events at 3.4 and <2 Ga. The older population of clusters contains no detectable Fe, whereas roughly half of the younger population of clusters is Fe bearing. This result shows that the Fe required to form secondary magnetite entered the zircon sometime after 3.4 Ga and that remobilization of Pb and Fe during an annealing event occurred more than 1 Ga after deposition of the Jack Hills sediment at 3 Ga. The ability to date Fe mobility linked to secondary magnetite formation provides new possibilities to improve our knowledge of the Archean geodynamo.
Solid Earth–atmosphere interaction forces during the 15 January 2022 Tonga eruption
Authors: Garza-Girón Ricardo , Lay Thorne , Pollitz Frederick , Kanamori Hiroo , Rivera Luis 
Published: January 2023

Rapid venting of volcanic material during the 15 January 2022 Tonga eruption generated impulsive downward reaction forces on the Earth of ~2.0 × 10
13
N that radiated seismic waves observed throughout the planet, with ~25 s source bursts persisting for ~4.5 hours. The force time history is determined by analysis of teleseismic
P
waves and Rayleigh waves with periods approximately <50 s, providing insight into the overall volcanic eruption process. The atmospheric acoustic-gravity Lamb wave expanding from the eruption produced broadband ground motions when transiting land, along with driven and conventional tsunami waves. Atmospheric standing acoustic waves near the source produced oscillatory peak forces as large as 4 × 10
12
N, exciting resonant solid Earth Rayleigh wave motions at frequencies of 3.7 and 4.6 mHz.
Impact of different magnetic materials added to silver–magnetite nanoparticles on the structural, magnetic and antimicrobial properties
Authors: El-Bassuony Asmaa. A. H. , Gamal W. M. , Abdelsalam H. K. 
Published: January 2023

AbstractDifferent magnetic materials of spinel copper and cobalt nanoferrites added to silver–magnetite nanoparticles were fabricated by a facile, low cost, and rapid auto-combustion method to form a nanocomposite. X-ray diffraction patterns and atomic force microscopy were studied for the investigated samples and confirmed their nanosize range. Adding cobalt nanoferrite to silver–magnetite (CoAF) yielded a more pronounced effect in the magnetic measurements than adding copper nanoferrite (CuAF). This result was attributed to the much higher coercivity Hc and saturation magnetization Ms (5.7-fold and 2.8-fold, respectively) of CoAF than CuAF; accordingly, the CoAF nanocomposite can be applied to a permanent magnet. Next, the operating frequencies of the nanocomposites were calculated from the magnetic measurements. The CoAF and CuAF nanocomposites were applicable in the microwave super-high-frequency C-band and the microwave super-high-frequency S-band, respectively. Both nanocomposites were ineffective against the tested fungi but showed strong antimicrobial activities against the tested Gram-positive and Gram-negative bacteria. Thus, CoAF and CuAF nanocomposites are potential antibacterial nanomaterials for biomedical applications.
Dargent: A Silver Bullet for Verified Data Layout Refinement
Authors: Chen Zilin , Lafont Ambroise , O'Connor Liam , Keller Gabriele , McLaughlin Craig , Jackson Vincent , Rizkallah Christine 
Published: January 2023

Systems programmers need fine-grained control over the memory layout of data structures, both to produce performant code and to comply with well-defined interfaces imposed by existing code, standardised protocols or hardware. Code that manipulates these low-level representations in memory is hard to get right. Traditionally, this problem is addressed by the implementation of tedious marshalling code to convert between compiler-selected data representations and the desired compact data formats. Such marshalling code is error-prone and can lead to a significant runtime overhead due to excessive copying. While there are many languages and systems that address the correctness issue, by automating the generation and, in some cases, the verification of the marshalling code, the performance overhead introduced by the marshalling code remains. In particular for systems code, this overhead can be prohibitive. In this work, we address both the correctness and the performance problems.
We present a data layout description language and data refinement framework, called Dargent, which allows programmers to declaratively specify how algebraic data types are laid out in memory. Our solution is applied to the Cogent language, but the general ideas behind our solution are applicable to other settings. The Dargent framework generates C code that manipulates data directly with the desired memory layout, while retaining the formal proof that this generated C code is correct with respect to the functional semantics. This added expressivity removes the need for implementing and verifying marshalling code, which eliminates copying, smoothens interoperability with surrounding systems, and increases the trustworthiness of the overall system.
Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification
Authors: Unno Hiroshi , Terauchi Tachio , Gu Yu , Koskinen Eric 
Published: January 2023

We present a novel approach to deciding the validity of formulas in first-order fixpoint logic with background theories and arbitrarily nested inductive and co-inductive predicates defining least and greatest fixpoints. Our approach is constraint-based, and reduces the validity checking problem of the given first-order-fixpoint logic formula (formally, an instance in a language called µCLP) to a constraint satisfaction problem for a recently introduced predicate constraint language.Coupled with an existing sound-and-relatively-complete solver for the constraint language, this novel reduction alone already gives a sound and relatively complete method for deciding µCLP validity, but we further improve it to a novelmodular primal-dualmethod. The key observations are (1) µCLP is closed under complement such that each (co-)inductive predicate in the originalprimalinstance has a corresponding (co-)inductive predicate representing its complement in thedualinstance obtained by taking the standard De Morgan’s dual of the primal instance, and (2)partial solutionsfor (co-)inductive predicates synthesized during the constraint solving process of the primal side can be used as sound upper-bounds of the corresponding (co-)inductive predicates in the dual side, and vice versa. By solving the primal and dual problems in parallel and exchanging each others’ partial solutions as sound bounds, the two processes mutually reduce each others’ solution spaces, thus enabling rapid convergence. The approach is alsomodularin that the bounds are synthesized and exchanged at granularity of individual (co-)inductive predicates.We demonstrate the utility of our novel fixpoint logic solving by encoding a wide variety of temporal verification problems in µCLP, including termination/non-termination, LTL, CTL, and even the full modal µ-calculus model checking of infinite state programs. The encodings exploit the modularity in both the program and the property by expressing each loops and (recursive) functions in the program and sub-formulas of the property as individual (possibly nested) (co-)inductive predicates. Together with our novel modular primal-dual µCLP solving, we obtain a novel approach to efficiently solving a wide range of temporal verification problems.
Corpo, narcisismo e performance do gênero masculino no Instagram
Authors: Anjos Lucas Wesley Kelly dos 
Published: January 2023

Este artigo tem o intuito de analisar a influência do Instagram na construção da masculinidade heteronormativa como modelo hegemônico a ser seguido pelos sujeitos. A partir da etnografia virtual, conceito criado por Christine Hine, sete perfis de homens que propagam a cultura fitness no Instagram foram estudados para entender como ocorrem os processos representacionais das performances de gênero e corpo.