bluuebunny/crossref_metadata_2025_split huggingface dataset:
Semantic analysis of normalisation by evaluation for typed lambda calculus
Authors: Fiore Marcelo 
Published: November 2022

AbstractThis paper studies normalisation by evaluation for typed lambda calculus from a categorical and algebraic viewpoint. The first part of the paper analyses the lambda definability result of Jung and Tiuryn via Kripke logical relations and shows how it can be adapted to unify definability and normalisation, yielding an extensional normalisation result. In the second part of the paper, the analysis is refined further by considering intensional Kripke relations (in the form of Artin–Wraith glueing) and shown to provide a function for normalising terms, casting normalisation by evaluation in the context of categorical glueing. The technical development includes an algebraic treatment of the syntax and semantics of the typed lambda calculus that allows the definition of the normalisation function to be given within a simply typed metatheory. A normalisation-by-evaluation program in a dependently typed functional programming language is synthesised.
Rewriting in Gray categories with applications to coherence
Authors: Forest Simon , Mimram Samuel 
Published: November 2022

AbstractOver the recent years, the theory of rewriting has been used and extended in order to provide systematic techniques to show coherence results for strict higher categories. Here, we investigate a further generalization to Gray categories, which are known to be equivalent to tricategories. This requires us to develop the theory of rewriting in the setting of precategories, which are adapted to mechanized computations and include Gray categories as particular cases. We show that a finite rewriting system in precategories admits a finite number of critical pairs, which can be efficiently computed. We also extend Squier’s theorem to our context, showing that a convergent rewriting system is coherent, which means that any two parallel 3-cells are necessarily equal. This allows us to prove coherence results for several well-known structures in the context of Gray categories: monoids, adjunctions, and Frobenius monoids.
Investigation of the Receiving United States National Disaster Medical System (NDMS) Disaster Medical Assistant Team (DMAT) in Japan: Development of Standard Operation Procedures for Receiving International Medical Teams
Authors: Koido Yuichi , Kubo Tatsuhiko , Toyokuni Yoshiki , Matsuzawa Yuki , Yano Yoshiteru , Katsube Tsukasa 
Published: November 2022

Background/Introduction:Japan DMAT and US DMAT have been collaborating in the past to prepare for expected and unexpected disasters in Japan. Japan is predicting overwhelming disasters on Japanese soil soon, which needs efficient and optimum use of resources in medical assistance, including additional support from overseas, particularly from the US. The Japanese government established a large-scale Earthquake/Tsunami Disaster Emergency Response protocol in 2020. However, this protocol does not include any standard operation procedure (SOP) to receive an international medical team.Objectives:Establishing the SOP of receiving medical assistance from US-DMAT based on the WHO International Emergency Team (EMT) initiative.Method/Description:Collaborated with the Office of the Assistant Secretary for Preparedness and Response (ASPR) of the United States Health and Human Services, tabletop exercises assuming that a large-scale earthquake occurred during hosting the 2025 Osaka Expo was conducted online meeting system.Results/Outcomes:Provisional SOP was formed by the Japan research team and ASPR representatives. Even though Japan had several disaster medical assistance collaborations with US DMAT and is well-familiarized with the Classification and Minimum Standards for Emergency Medical Teams, many issues need to be prepared to accept US DMAT.Conclusion:Numerous procedures need to be conducted to receive US DMAT assistance during a large-scale earthquake in Japan. With this SOP, receiving US medical team assistance will be conducted promptly, eventually saving many lives. This SOP can be modified for other international teams’ acceptance in Japan. It could reference other countries seeking to have SOPs for receiving international medical team assistance in the near future.
Export Fraud in India
Authors: Bussy Adrien , Jagil Mehtab Ahmed 
Published: November 2022

AbstractWe investigate tax fraud in a major export-promotion program in India – the Duty Drawback scheme – which enables exporting firms to claim a cash rebate proportional to the value of their exports, at a product-specific drawback rate. We detect fraud based on two approaches. First, we show that bilateral trade asymmetries between reported exports by India and reported imports by trading partners of the same trade flows are systematically correlated with the rate of drawback, suggesting that exporting firms over-report exports to unduly gain duty drawback. Second, we find evidence of excess bunching in the distribution of unit values reported by India at kinks in the per-unit drawback schedule, relative to the distribution of unit values reported by importing countries. Our results suggest that fraud currently detected by customs represents only 3.8%–6% of actual fraud.
Place-based pedagogies of hope
Authors: Morgan Bronwen , Thorpe Amelia 
Published: November 2022

AbstractThe need to engage students in thinking about the politics of law, especially in a time of escalating climate and other crises, is increasingly urgent. In this paper, we discuss a series of place-based teaching strategies designed to foster critical legal thinking, but also hope and a sense of agency. Inspired by a range of scholars – Bruno Latour, Doreen Massey, Henry Giroux and J.K. Gibson-Graham – we use context in an effort to cultivate what Giroux calls ‘educated hope’. Our starting point is what the law does (and also what law does not do and what it could do), not what the law is. Instead of taking a field of law and then using examples to illustrate how it works in context, we discuss three courses that start with the context of a particular place. Our courses cover a range of laws that work together to shape that place, spanning multiple fields, and emphasise their peopled and place-based specificity. After discussing teaching and assessment strategies that we have found productive, we reflect on implications beyond our courses, and the potential for broader place-based legal pedagogies.
A New Method Applied for the Determination of Relative Weight Ratios Under the TensorFlow Platform When Estimating Coseismic Slip Distribution
Authors: Zhao Xiong , Xu Caijun , Zhou Lixuan , Wen Yangmao , Wang Jianjun , Zhao Yingwen 
Published: November 2022

AbstractWhen estimating a coseismic slip distribution with multiple observation types, the relative weight ratios (the contribution ratios of all kinds of actual observations in the joint inversion, which should be positive by default) and regularization parameter critically impact the inversion accuracy. In this paper, we propose a new method for determining the relative weights of multiple observations of jointing inversion slip distributions. This method regards the observations and the relative weight ratios as the training data sets and training parameters, respectively; in addition, the constructed function was optimized by the gradient descent method and the exponential decay learning rate method under the TensorFlow platform (GDED). We compared the GDED method with the Helmert variance component estimation method (HVCE) and Akaike's Bayesian information criterion method (ABIC) by designing eight simulation experiments. These simulations included changing the errors and resolutions of the observations, the grid size, the strike angle and the dip angle of the fault, the moment magnitudes of earthquakes, the number of observation types, and the complexity of subduction‐zone earthquakes. We analyzed and discussed the characteristics of the above three methods in determining the relative weight ratios during the joint inversion process. The results of these simulation experiments showed that the GDED method and the ABIC method perform much better than the HVCE method when negative variance occurs in the HVCE method, while the accuracies of the slip distributions produced by the three methods were similar when no negative variance occurred; the GDED method can be used to prevent the occurrence of negative variance compared to the HVCE method and is more time efficient than the ABIC method. Furthermore, we applied these methods to invert the source parameters of the 2015 Mw 8.3 Illapel earthquake (in Chile), and the inversion results showed that the slip of the Illapel earthquake was mainly distributed at depths of approximately 10–50 km. The maximum slip of the Illapel earthquake was approximately 7.9 m, distributed 50–70 km northwest of the epicenter at depths of approximately 10–20 km.
Single‐Crystal Elasticity of Phase E at High Pressure and Temperature: Implications for the Low‐Velocity Layer Atop the 410‐km Depth
Authors: Wang Baoyun , Zhang Yanyao , Fu Suyu , Ding Xing , Liang Wen , Takahashi Eiichi , Li Li , Tkachev Sergey N. , Prakapenka Vitali B. , Lin Jung‐Fu , Song Maoshuang 
Published: November 2022

AbstractDense hydrous magnesium silicate (DHMS) phase E is a potential water carrier in subducting slabs that can transport water to the Earth's deep mantle between the bottom of the upper mantle and the uppermost transition zone. Therefore, knowledge on the high pressure‒temperature (P‒T) full elastic moduli of phase E at relevant mantle conditions is important in deciphering the existence of DHMS phases and their influences on seismic profiles in the region; however, the high P‒T elasticity data of phase E still remains lacking. In this work, we determined the combined effect of P‒T on the single‐crystal elasticity of phase E up to 24 GPa and 900 K by in situ X‐ray diffraction and Brillouin scattering measurements in externally‐heated diamond anvil cells. The aggregate elastic moduli and compressional‐wave (VP) and shear‐wave (VS) velocities of phase E are then derived by analyzing the single‐crystal elasticity and density data using the third‐order finite‐strain equations. We found that phase E exhibits much lower bulk and shear moduli and acoustic velocities than the most abundant constituent minerals in the upper mantle and transition zone, such as olivine, clinopyroxene, garnet, and wadsleyite. The modeled results using the obtained elasticity results show that the existence of phase E in a hydrated pyrolite model can result in relatively lower Vp and Vs profiles and negative velocity anomalies in seismic observations. The existence of phase E with relatively lower velocity profiles could be a possible origin of the low‐velocity layers atop the 410‐km discontinuity in some cold and highly‐hydrated regions.
Changes in the Dominant Mode of Summer Precipitation Over the Central‐Eastern Tibetan Plateau Around the Mid‐1990s
Authors: Shang Wei , Duan Keqin , Ren Xuejuan , Guo Yuanyuan , Guan Weina , Li Shuangshuang 
Published: November 2022

AbstractThe interdecadal changes in the dominant mode of the summer precipitation over the central‐eastern Tibetan Plateau (TP) are investigated around the mid‐1990s. It is found that the leading empirical orthogonal function mode of the interannual variations of summer precipitation over the central‐eastern TP is shown an out‐of‐phase pattern, with opposite variation between the southeastern and northeastern TP during 1961–1996, while the dominant mode become an in‐phase pattern during 1997–2019. During 1961–1996, the dipole pattern of TP precipitation is mainly related to the North Atlantic Oscillation (NAO) and associated circulation anomalies. However, the impact of NAO on the dipole pattern of TP precipitation has weakened since the mid‐1990s. In contrast, during 1997–2019, more pronounced positive height anomalies in the upper troposphere are observed over the whole TP regions. Meanwhile, the southerly moisture flux from the Bay of Bengal and the Philippine Sea is prevalent significantly with strong moisture convergence. Further analysis demonstrates that this interdecadal spatial change is mainly linked to the significant increasing of the sea surface temperature in the North Atlantic, South Atlantic, and Indo‐Pacific warm pool, via wave trains propagation. The wave train‐related positive height anomalies over the TP regions are in favor of the strengthening of the South Asian high (SAH). Moreover, the zonal and meridional mean temperature advections by SAH‐related circulation anomalies are primarily responsible for the intense vertical flow anomalies. Consequently, the summer precipitation anomalies over the entire TP regions are largely enhanced and formed the mono‐sign pattern during 1997–2019.
Assessing Internal Variability of Global Mean Surface Temperature From Observational Data and Implications for Reaching Key Thresholds
Authors: Trewin Blair 
Published: November 2022

AbstractObserved global mean surface temperature (GMST) combines a forced response with internal variability, and quantifying internal variability is important in assessing the reaching of key thresholds, such as the 1.5°C warming threshold in the Paris Agreement. This study uses observational data to estimate internal variability. Since the current period of warming began in the 1970s, the 10‐year mean of GMST has been very close to the 30‐year mean for the period it is centred in and can therefore be considered as a robust indicator of the recent state of the climate. The range between the 5th and 95th percentile of annual residuals of observed GMST is 0.319°C, substantially less than the corresponding range of 0.4°C–0.6°C in large model ensembles, implying that the first individual year above 1.5°C may occur later than indicated by climate models. The largest annual residuals are mostly associated with large‐amplitude El Niño‐Southern Oscillation (ENSO) events or major volcanic eruptions, with the relationship between cool years and La Niña more consistent than that between warm years and El Niño. The relationship between multi‐year GMST means for differing periods indicates that the probability that the 1.5°C threshold has been crossed (using the IPCC definition of the midpoint of the first 20‐year period above the threshold) exceeds 50% once the most recent observed 11‐year mean reaches 1.43°C.
Quantification of Impact‐Induced Melt Production in Numerical Modeling Revisited
Authors: Manske Lukas , Wünnemann Kai , Kurosawa Kosuke 
Published: November 2022

AbstractMelting and vaporization of rocks in impact cratering is mostly attributed to be a consequence of shock compression. However, other mechanism such as plastic work and decompression by structural uplift also contribute to melt production. In this study we expand the commonly used method to determine shock‐induced melting in numerical models from the peak shock pressure by a new approach to account for additional heating due plastic work and internal friction. We compare our new approach with the straight‐forward method to simply quantify melting from the temperature relative to the solidus temperature at any arbitrary point in time in the course of crater formation. This much simpler method does account for plastic work but suffers from reduced accuracy due to numerical diffusion inherent to ongoing advection in impact crater formation models. We demonstrate that our new approach is more accurate than previous methods in particular for quantitative determination of impact melt distribution in final crater structures. In addition, we assess the contribution of plastic work to the overall melt volume and find, that melting is dominated by plastic work for impacts at velocities smaller than 7.5–12.5 km/s in rocks, depending on the material strength. At higher impact velocities shock compression is the dominating mechanism for melting. Here, the conventional peak shock pressure method provides similar results compared with our new model. Our method serves as a powerful tool to accurately determine impact‐induced heating in particular at relatively low‐velocity impacts.
Thermospheric Neutral Density Variation During the “SpaceX” Storm: Implications From Physics‐Based Whole Geospace Modeling
Authors: Lin Dong , Wang Wenbin , Garcia‐Sage Katherine , Yue Jia , Merkin Viacheslav , McInerney Joseph M. , Pham Kevin , Sorathia Kareem 
Published: November 2022

AbstractThe Starlink satellites launched on 3 February 2022 were lost before they fully arrived in their designated orbits. The loss was attributed to two moderate geomagnetic storms that occurred consecutively on 3–4 February. We investigate the thermospheric neutral mass density variation during these storms with the Multiscale Atmosphere‐Geospace Environment (MAGE) model, a first‐principles, fully coupled geospace model. Simulated neutral density enhancements are validated by Swarm satellite measurements at the altitude of 400–500 km. Comparison with standalone TIEGCM and empirical NRLMSIS 2.0 and DTM‐2013 models suggests better performance by MAGE in predicting the maximum density enhancement and resolving the gradual recovery process. Along the Starlink satellite orbit in the middle thermosphere (∼200 km altitude), MAGE predicts up to 150% density enhancement near the second storm peak while standalone TIEGCM, NRLMSIS 2.0, and DTM‐2013 suggest only ∼50% increase. MAGE also suggests altitudinal, longitudinal, and latitudinal variability of storm‐time percentage density enhancement due to height dependent Joule heating deposition per unit mass, thermospheric circulation changes, and traveling atmospheric disturbances. This study demonstrates that a moderate storm can cause substantial density enhancement in the middle thermosphere. Thermospheric mass density strongly depends on the strength, timing, and location of high‐latitude energy input, which cannot be fully reproduced with empirical models. A physics‐based, fully coupled geospace model that can accurately resolve the high‐latitude energy input and its variability is critical to modeling the dynamic response of thermospheric neutral density during storm time.
Ketamine impairs growth cone and synaptogenesis in human GABAergic projection neurons via GSK-3β and HDAC6 signaling
Authors: Li Xuan , Saiyin Hexige , Chen Xinyu , Yu Qiong , Ma Lixiang , Liang Weimin 
Published: November 2022

AbstractThe growth cone guides the axon or dendrite of striatal GABAergic projection neurons that protrude into the midbrain and cortex and form complex neuronal circuits and synaptic networks in a developing brain, aberrant projections and synaptic connections in the striatum related to multiple brain disorders. Previously, we showed that ketamine, an anesthetic, reduced dendritic growth, dendritic branches, and spine density in human striatal GABAergic neurons. However, whether ketamine affects the growth cone, the synaptic connection of growing striatal GABAergic neurons has not been tested. Using human GABAergic projection neurons derived from human inducible pluripotent stem cells (hiPSCs) and embryonic stem cells (ES) in vitro, we tested ketamine effects on the growth cones and synapses in developing GABAergic neurons by assessing the morphometry and the glycogen synthase kinase-3 (GSK-3) and histone deacetylase 6 (HDAC6) pathway. Ketamine exposure impairs growth cone formation, synaptogenesis, dendritic development, and maturation via ketamine-mediated activation of GSK-3 pathways and inhibiting HDAC6, an essential stabilizing protein for dendritic morphogenesis and synapse maturation. Our findings identified a novel ketamine neurotoxic pathway that depends on GSK-3β and HDAC6 signaling, suggesting that microtubule acetylation is a potential target for reducing ketamine’s toxic effect on GABAergic projection neuronal development.
Connectomic neuromodulation for Alzheimer’s disease: A systematic review and meta-analysis of invasive and non-invasive techniques
Authors: Cheyuo Cletus , Germann Jurgen , Yamamoto Kazuaki , Vetkas Artur , Loh Aaron , Sarica Can , Milano Vanessa , Zemmar Ajmal , Flouty Oliver , Harmsen Irene E. , Hodaie Mojgan , Kalia Suneil K. , Tang-Wai David , Lozano Andres M. 
Published: November 2022

AbstractDeep brain stimulation (DBS) and non-invasive neuromodulation are currently being investigated for treating network dysfunction in Alzheimer’s Disease (AD). However, due to heterogeneity in techniques and targets, the cognitive outcome and brain network connectivity remain unknown. We performed a systematic review, meta-analysis, and normative functional connectivity to determine the cognitive outcome and brain networks of DBS and non-invasive neuromodulation in AD. PubMed, Embase, and Web of Science were searched using three concepts: dementia, brain connectome, and brain stimulation, with filters for English, human studies, and publication dates 1980–2021. Additional records from clinicaltrials.gov were added. Inclusion criteria were AD study with DBS or non-invasive neuromodulation and a cognitive outcome. Exclusion criteria were less than 3-months follow-up, severe dementia, and focused ultrasound intervention. Bias was assessed using Centre for Evidence-Based Medicine levels of evidence. We performed meta-analysis, with subgroup analysis based on type and age at neuromodulation. To determine the patterns of neuromodulation-induced brain network activation, we performed normative functional connectivity using rsfMRI of 1000 healthy subjects. Six studies, with 242 AD patients, met inclusion criteria. On fixed-effect meta-analysis, non-invasive neuromodulation favored baseline, with effect size −0.40(95% [CI], −0.73, −0.06, p = 0.02), while that of DBS was 0.11(95% [CI] −0.34, 0.56, p = 0.63), in favor of DBS. In patients ≥65 years old, DBS improved cognitive outcome, 0.95(95% [CI] 0.31, 1.58, p = 0.004), whereas in patients <65 years old baseline was favored, −0.17(95% [CI] −0.93, 0.58, p = 0.65). Functional connectivity regions were in the default mode (DMN), salience (SN), central executive (CEN) networks, and Papez circuit. The subgenual cingulate and anterior limb of internal capsule (ALIC) showed connectivity to all targets of neuromodulation. This meta-analysis provides level II evidence of a difference in response of AD patients to DBS, based on age at intervention. Brain stimulation in AD may modulate DMN, SN, CEN, and Papez circuit, with the subgenual cingulate and ALIC as potential targets.