Miracle-dz/UniFAR-FTUs huggingface dataset:
Temporal isotopic variations in the Kerguelen plume: evidence from the Kerguelen Archipelago

An understanding of the origin and evolution of mantle plumes and their interact ions with surrounding mantle is required in order to understand the evolution of the Earth's heterogeneous mantle. The Hawaiian and Kergnelen plumes are two major long-lived plumes that are geochemically very different and evolved in different tectonic settings. The Kerguelen plume is important because: (a) its Sr, Nd and Pb isotopic characteristics are near one of the extremes for ocean island basalts and (b) it has a very long record of volcanism beginning with a very large Cretaceous igneous province (the -85 to 115 Ma Kerguelen Plateau-Broken Ridge system), continuing with a ~82 to 38 Ma year hotspot track (Ninetyeast Ridge) and concluding with oceanic islands (the long-lived 38 myr Kerguelen Archipelago and the recent, 85% of the archipelago. Their compositions range from transitional in the oldest sections (~30 Ma) to slightly alkalic in the young sections (~22 Ma). At 100 samples includes that inferred for the Kerguelen Plume from studies of the youngest, Miocene to Pleistocene, lavas in the archipelago (Weis et al., 1993, 1998). Both parental and evolved lavas have similar isotopic ratios. Two sections from the north-central part of the archipelago contain a few lavas (-15%), the group D lavas (for depleted), with lower 87Sr/86Sr and higher 143Nd/144Nd; these lavas are interpreted to contain a component derived from older oceanic crust (Yang et al., 1998). One lava section (Mont Tourmente) from the central part of the archipelago has isotopically homogeneous transitional (older) and alkalic (younger) lavas that have lower 87Sr/86Sr (0.70476_+5) and higher 143Nd/144Nd (0.51272 _+ 1) than the dominant isotopic signature present in the other four sections. Despite the similarity of Sr and Nd isotopic ratios in four of the five sections, there are distinct differences between all sections in Pb isotopic ratios; each section has a distinct Pb signature. For example, basalts from the older and northernmost sections have lower 2~176 ( 18.3. Clearly, the Pb isotopic
Interpretable Diffusion via Information Decomposition

Denoising diffusion models enable conditional generation and density modeling of complex relationships like images and text. However, the nature of the learned relationships is opaque making it difficult to understand precisely what relationships between words and parts of an image are captured, or to predict the effect of an intervention. We illuminate the fine-grained relationships learned by diffusion models by noticing a precise relationship between diffusion and information decomposition. Exact expressions for mutual information and conditional mutual information can be written in terms of the denoising model. Furthermore, pointwise estimates can be easily estimated as well, allowing us to ask questions about the relationships between specific images and captions. Decomposing information even further to understand which variables in a high-dimensional space carry information is a long-standing problem. For diffusion models, we show that a natural non-negative decomposition of mutual information emerges, allowing us to quantify informative relationships between words and pixels in an image. We exploit these new relations to measure the compositional understanding of diffusion models, to do unsupervised localization of objects in images, and to measure effects when selectively editing images through prompt interventions.
Semantic-Forward Relaying: A Novel Framework Toward 6G Cooperative Communications

This letter proposes a novel relaying framework, semantic-forward (SF), for cooperative communications towards the sixth-generation (6G) wireless networks. The SF relay extracts and transmits the semantic features, which reduces forwarding payload, and also improves the network robustness against intra-link errors. Based on the theoretical basis for cooperative communications with side information and the turbo principle, we design a joint source-channel coding algorithm to iteratively exchange the extrinsic information for enhancing the decoding gains at the destination. Surprisingly, simulation results indicate that even in bad channel conditions, SF relaying can still effectively improve the recovered information quality.
The Geography of Knowledge Transfer and Innovation in Biotechnology: The Cases of Scotland, Sweden and Denmark1

Abstract This paper addresses themes at the heart of policy debates on innovation systems and concentrates on the process of progressive transformation that has been affecting the therapeutic and diagnostic sectors as a result of the application of molecular biology. The focus is on the relationship between firms' locational choices, innovation policy and industrial dynamics. The issue of knowledge transfer is explored and the discussion addresses the theoretical controversy between two contrasting approaches: while some describe open networks and collaboration as means of enhancing competences for learning, others argue that, as intellectual assets are protected by property rights, knowledge adheres to specific locations mainly as a consequence of scientists' immobility. Then it is assessed whether knowledge transfer, in its different forms, is prevalently local or tends to occur on a global scale. Finally, the perceived effectiveness of some policy measures directed to enhance connectivity among players holding complementary knowledges is examined. Countries such as Sweden, Denmark and Scotland, who have pioneered the implementation of cluster thinking in Europe, provides an ideal setting to conduct this empirical study.
A New Approach Towards Autoformalization

Verifying mathematical proofs is difficult, but can be automated with the assistance of a computer. Autoformalization is the task of automatically translating natural language mathematics into a formal language that can be verified by a program. This is a challenging task, and especially for higher-level mathematics found in research papers. Research paper mathematics requires large amounts of background and context. In this paper, we propose an avenue towards tackling autoformalization for research-level mathematics, by breaking the task into easier and more approachable subtasks: unlinked formalization (formalization with unlinked definitions and theorems), entity linking (linking to the proper theorems and definitions), and finally adjusting types so it passes the type checker. In addition, we present arXiv2Formal, a benchmark dataset for unlinked formalization consisting of 50 theorems formalized for the Lean theorem prover sampled from papers on arXiv.org. We welcome any contributions from the community to future versions of this dataset.
Characterizing climate pathways using feature importance on echo state networks

The 2022 National Defense Strategy of the United States listed climate change as a serious threat to national security. Climate intervention methods, such as stratospheric aerosol injection, have been proposed as mitigation strategies, but the downstream effects of such actions on a complex climate system are not well understood. The development of algorithmic techniques for quantifying relationships between source and impact variables related to a climate event (i.e., a climate pathway) would help inform policy decisions. Data-driven deep learning models have become powerful tools for modeling highly nonlinear relationships and may provide a route to characterize climate variable relationships. In this paper, we explore the use of an echo state network (ESN) for characterizing climate pathways. ESNs are a computationally efficient neural network variation designed for temporal data, and recent work proposes ESNs as a useful tool for forecasting spatio-temporal climate data. Like other neural networks, ESNs are non-interpretable black-box models, which poses a hurdle for understanding variable relationships. We address this issue by developing feature importance methods for ESNs in the context of spatio-temporal data to quantify variable relationships captured by the model. We conduct a simulation study to assess and compare the feature importance techniques, and we demonstrate the approach on reanalysis climate data. In the climate application, we select a time period that includes the 1991 volcanic eruption of Mount Pinatubo. This event was a significant stratospheric aerosol injection, which we use as a proxy for an artificial stratospheric aerosol injection. Using the proposed approach, we are able to characterize relationships between pathway variables associated with this event.
How would mobility-as-a-service (MaaS) platform survive as an intermediary? From the viewpoint of stability in many-to-many matching

Mobility-as-a-service (MaaS) provides seamless door-to-door trips by integrating different transport modes. Although many MaaS platforms have emerged in recent years, most of them remain at a limited integration level. This study investigates the assignment and pricing problem for a MaaS platform as an intermediary in a multi-modal transportation network, which purchases capacity from service operators and sells multi-modal trips to travelers. The analysis framework of many-to-many stable matching is adopted to decompose the joint design problem and to derive the stability condition such that both operators and travelers are willing to participate in the MaaS system. To maximize the flexibility in route choice and remove boundaries between modes, we design an origin-destination pricing scheme for MaaS trips. On the supply side, we propose a wholesale purchase price for service capacity. Accordingly, the assignment problem is reformulated and solved as a bi-level program, where MaaS travelers make multi-modal trips to minimize their travel costs meanwhile interacting with non-MaaS travelers in the multi-modal transport system. We prove that, under the proposed pricing scheme, there always exists a stable outcome to the overall many-to-many matching problem. Further, given an optimal assignment and under some mild conditions, a unique optimal pricing scheme is ensured. Numerical experiments conducted on the extended Sioux Falls network also demonstrate that the proposed MaaS system could create a win-win-win situation -- the MaaS platform is profitable and both traveler welfare and transit operator revenues increase from a baseline scenario without MaaS.
Nonlinear global Fr\'echet regression for random objects via weak conditional expectation

Random objects are complex non-Euclidean data taking value in general metric space, possibly devoid of any underlying vector space structure. Such data are getting increasingly abundant with the rapid advancement in technology. Examples include probability distributions, positive semi-definite matrices, and data on Riemannian manifolds. However, except for regression for object-valued response with Euclidean predictors and distribution-on-distribution regression, there has been limited development of a general framework for object-valued response with object-valued predictors in the literature. To fill this gap, we introduce the notion of a weak conditional Fr\'echet mean based on Carleman operators and then propose a global nonlinear Fr\'echet regression model through the reproducing kernel Hilbert space (RKHS) embedding. Furthermore, we establish the relationships between the conditional Fr\'echet mean and the weak conditional Fr\'echet mean for both Euclidean and object-valued data. We also show that the state-of-the-art global Fr\'echet regression developed by Petersen and Mueller, 2019 emerges as a special case of our method by choosing a linear kernel. We require that the metric space for the predictor admits a reproducing kernel, while the intrinsic geometry of the metric space for the response is utilized to study the asymptotic properties of the proposed estimates. Numerical studies, including extensive simulations and a real application, are conducted to investigate the performance of our estimator in a finite sample.
Slip Detection and Surface Prediction Through Bio-Inspired Tactile Feedback

High resolution tactile sensing has great potential in autonomous mobile robotics, particularly for legged robots. One particular area where it has significant promise is the traversal of challenging, varied terrain. Depending on whether an environment is slippery, soft, hard or dry, a robot must adapt its method of locomotion accordingly. Currently many multi-legged robots, such as Boston Dynamic's Spot robot, have preset gaits for different surface types, but struggle over terrains where the surface type changes frequently. Being able to automatically detect changes within an environment would allow a robot to autonomously adjust its method of locomotion to better suit conditions, without requiring a human user to manually set the change in surface type. In this paper we report on the first detailed investigation of the properties of a particular bio-inspired tactile sensor, the TacTip, to test its suitability for this kind of automatic detection of surface conditions. We explored different processing techniques and a regression model, using a custom made rig for data collection to determine how a robot could sense directional and general force on the sensor in a variety of conditions. This allowed us to successfully demonstrate how the sensor can be used to distinguish between soft, hard, dry and (wet) slippery surfaces. We further explored a neural model to classify specific surface textures. Pin movement (the movement of optical markers within the sensor) was key to sensing this information, and all models relied on some form of temporal information. Our final trained models could successfully determine the direction the sensor is heading in, the amount of force acting on it, and determine differences in the surface texture such as Lego vs smooth hard surface, or concrete vs smooth hard surface.
Direction-Oriented Visual-semantic Embedding Model for Remote Sensing Image-text Retrieval

Image-text retrieval has developed rapidly in recent years. However, it is still a challenge in remote sensing due to visual-semantic imbalance, which leads to incorrect matching of non-semantic visual and textual features. To solve this problem, we propose a novel Direction-Oriented Visual-semantic Embedding Model (DOVE) to mine the relationship between vision and language. Our highlight is to conduct visual and textual representations in latent space, directing them as close as possible to a redundancy-free regional visual representation. Concretely, a Regional-Oriented Attention Module (ROAM) adaptively adjusts the distance between the final visual and textual embeddings in the latent semantic space, oriented by regional visual features. Meanwhile, a lightweight Digging Text Genome Assistant (DTGA) is designed to expand the range of tractable textual representation and enhance global word-level semantic connections using less attention operations. Ultimately, we exploit a global visual-semantic constraint to reduce single visual dependency and serve as an external constraint for the final visual and textual representations. The effectiveness and superiority of our method are verified by extensive experiments including parameter evaluation, quantitative comparison, ablation studies and visual analysis, on two benchmark datasets, RSICD and RSITMD.
Hyp-UML: Hyperbolic Image Retrieval with Uncertainty-aware Metric Learning

Metric learning plays a critical role in training image retrieval and classification. It is also a key algorithm in representation learning, e.g., for feature learning and its alignment in metric space. Hyperbolic embedding has been recently developed. Compared to the conventional Euclidean embedding in most of the previously developed models, Hyperbolic embedding can be more effective in representing the hierarchical data structure. Second, uncertainty estimation/measurement is a long-lasting challenge in artificial intelligence. Successful uncertainty estimation can improve a machine learning model's performance, robustness, and security. In Hyperbolic space, uncertainty measurement is at least with equivalent, if not more, critical importance. In this paper, we develop a Hyperbolic image embedding with uncertainty-aware metric learning for image retrieval. We call our method Hyp-UML: Hyperbolic Uncertainty-aware Metric Learning. Our contribution are threefold: we propose an image embedding algorithm based on Hyperbolic space, with their corresponding uncertainty value; we propose two types of uncertainty-aware metric learning, for the popular Contrastive learning and conventional margin-based metric learning, respectively. We perform extensive experimental validations to prove that the proposed algorithm can achieve state-of-the-art results among related methods. The comprehensive ablation study validates the effectiveness of each component of the proposed algorithm.
Semi-classical asymptotics of Bergman and spectral kernels for $(0,q)$-forms

In this paper, we develop a new scaling method to study spectral and Bergman kernels for the k-th tensor power of a line bundle over a complex manifold under local spectral gap condition. In particular, we establish a simple proof of the pointwise asymptotics of spectral and Bergman kernels. As a new result, in the function case, we obtain the leading term of Bergman kernel under spectral gap with exponential decay. Moreover, in the general cases of (0,q)-forms, the asymptotics remain valid while the curvature of the line bundle is degenerate.
Beyond Traditional DoE: Deep Reinforcement Learning for Optimizing Experiments in Model Identification of Battery Dynamics

Model identification of battery dynamics is a central problem in energy research; many energy management systems and design processes rely on accurate battery models for efficiency optimization. The standard methodology for battery modelling is traditional design of experiments (DoE), where the battery dynamics are excited with many different current profiles and the measured outputs are used to estimate the system dynamics. However, although it is possible to obtain useful models with the traditional approach, the process is time consuming and expensive because of the need to sweep many different current-profile configurations. In the present work, a novel DoE approach is developed based on deep reinforcement learning, which alters the configuration of the experiments on the fly based on the statistics of past experiments. Instead of sticking to a library of predefined current profiles, the proposed approach modifies the current profiles dynamically by updating the output space covered by past measurements, hence only the current profiles that are informative for future experiments are applied. Simulations and real experiments are used to show that the proposed approach gives models that are as accurate as those obtained with traditional DoE but by using 85\% less resources.
Estimation of multiple scattering by iterative inversion; Part II, Practical aspects and examples

A surface-related multiple-elimination method can be formulated as an iterative procedure: the output of one iteration step is used as input for the next iteration step (part I of this paper). In this paper (part II) it is shown that the procedure can be made very efficient if a good initial estimate of the multiple-free data set can be provided in the first iteration, and in many situations, the Radon-based multiple-elimination method may provide such an estimate. It is also shown that for each iteration, the inverse source wavelet can be accurately estimated by a linear (least-squares) inversion process. Optionally, source and detector variations and directivity effects can be included, although the examples are given without these options. The iterative multiple elimination process, together with the source wavelet estimation, are illustrated with numerical experiments as well as with field data examples. The results show that the surface-related multiple-elimination process is very effective in time gates where the moveout properties of primaries and multiples are very similar (generally deep data), as well as for situations with a complex multiple-generating system.
XLuminA: An Auto-differentiating Discovery Framework for Super-Resolution Microscopy

Driven by human ingenuity and creativity, the discovery of super-resolution techniques, which circumvent the classical diffraction limit of light, represent a leap in optical microscopy. However, the vast space encompassing all possible experimental configurations suggests that some powerful concepts and techniques might have not been discovered yet, and might never be with a human-driven direct design approach. Thus, AI-based exploration techniques could provide enormous benefit, by exploring this space in a fast, unbiased way. We introduce XLuminA, an open-source computational framework developed using JAX, which offers enhanced computational speed enabled by its accelerated linear algebra compiler (XLA), just-in-time compilation, and its seamlessly integrated automatic vectorization, auto-differentiation capabilities and GPU compatibility. Remarkably, XLuminA demonstrates a speed-up of 4 orders of magnitude compared to well-established numerical optimization methods. We showcase XLuminA's potential by re-discovering three foundational experiments in advanced microscopy. Ultimately, XLuminA identified a novel experimental blueprint featuring sub-diffraction imaging capabilities. This work constitutes and important step in AI-driven scientific discovery of new concepts in optics and advanced microscopy.
CUTE: A Cryogenic Underground TEst facility at SNOLAB

Low-temperature cryogenics open the door for a range of interesting technologies based on features like superconductivity and superfluidity, low-temperature phase transitions or the low heat capacity of non-metals in the milli-Kelvin range. Devices based on these technologies are often sensitive to small energy depositions as can be caused by environmental radiation. The Cryogenic Underground TEst facility (CUTE) at SNOLAB is a platform for testing and operating cryogenic devices in an environment with low levels of background. The large experimental chamber (O(10) L) reaches a base temperature of ∼ 12 mK; it can hold a payload of up to ∼ 20 kg and provides a radiogenic background event rate as low as a few events/kg/keV/day in the energy range below about 100 keV, as well as a negligible muon rate (O1)/month). CUTE was designed and built in the context of the Super Cryogenic Dark Matter Search experiment (SuperCDMS) that uses cryogenic detectors to search for interactions of dark matter particles with ordinary matter. The facility has been used to test SuperCDMS detectors since its commissioning in 2019. In 2021, it was handed over to SNOLAB to become a SNOLAB user facility after the completion of the testing of detectors for SuperCDMS. The facility will be available for projects that benefit from these special conditions, based on proposals assessed for their scientific and technological merits. This article describes the main design features and operating parameters of CUTE.