Miracle-dz/UniFAR-FTUs huggingface dataset:
Uncertainty-Aware Natural Language Inference with Stochastic Weight Averaging

This paper introduces Bayesian uncertainty modeling using Stochastic Weight Averaging-Gaussian (SWAG) in Natural Language Understanding (NLU) tasks. We apply the approach to standard tasks in natural language inference (NLI) and demonstrate the effectiveness of the method in terms of prediction accuracy and correlation with human annotation disagreements. We argue that the uncertainty representations in SWAG better reflect subjective interpretation and the natural variation that is also present in human language understanding. The results reveal the importance of uncertainty modeling, an often neglected aspect of neural language modeling, in NLU tasks.
SLowcal-SGD: Slow Query Points Improve Local-SGD for Stochastic Convex Optimization

We consider distributed learning scenarios where M machines interact with a parameter server along several communication rounds in order to minimize a joint objective function. Focusing on the heterogeneous case, where different machines may draw samples from different data-distributions, we design the first local update method that provably benefits over the two most prominent distributed baselines: namely Minibatch-SGD and Local-SGD. Key to our approach is a slow querying technique that we customize to the distributed setting, which in turn enables a better mitigation of the bias caused by local updates.
Elemental Abundances of the Super-Neptune WASP-107b’s Host Star Using High-resolution, Near-infrared Spectroscopy

We present the first elemental abundance measurements of the K dwarf (K7V) exoplanet-host star WASP-107 using high-resolution (R ≃45,000), near-infrared (H- and K-band) spectra taken from Gemini-S/IGRINS. We use the previously determined physical parameters of the star from the literature and infer the abundances of 15 elements—C, N, O, Na, Mg, Al, Si, K, Ca, Ti, V, Cr, Mn, Fe, and Ni, all with precision < 0.1 dex—based on model fitting using MARCS model atmospheres and the Turbospectrum spectral synthesis code. Our results show near-solar abundances and a carbon-to-oxygen ratio (C/O) of 0.50 ± 0.10, which is consistent with the solar value of 0.54 ± 0.09. The orbiting planet, WASP-107b, is a super-Neptune with a mass in the Neptune regime (=1.8 M Nep) and a radius close to Jupiter's (=0.94 R Jup). This planet is also being targeted by four JWST Cycle 1 programs in transit and eclipse, which should provide highly precise measurements of atmospheric abundances. This will enable us to properly compare the planetary and stellar chemical abundances, which is essential in understanding the formation mechanisms, internal structure, and chemical composition of exoplanets. Our study is a proof-of-concept that will pave the way for such measurements to be made for all of JWST’s cooler exoplanet-host stars.
Antistars as possible sources of antihelium cosmic rays

A minor population of antistars in galaxies has been predicted by some of non-standard models of baryogenesis and nucleosynthesis in the early Universe, and their presence is not yet excluded by the currently available observations. Detection of an unusually high abundance of antinuclei in cosmic rays can probe the baryogenesis scenarios in the early Universe. Recent report of the AMS-02 collaboration on the tentative detection of a few antihelium nuclei in GeV cosmic rays provided a great hope on the progress in this issue. We discuss possible sources of antinuclei in cosmic rays from antistars which are predicted in a modified Affleck-Dine baryogenesis scenario by Dolgov and Silk (1993). The model allows us to estimate the expected fluxes and isotopic content of antinuclei in the GeV cosmic rays produced in scenarios involving antistars. We show that the flux of antihelium CRs reported by the AMS-02 experiment can be explained by Galactic anti-nova outbursts, thermonuclear anti-SN Ia explosions, a collection of flaring antistars, or an extragalactic source with abundances not violating existing gamma-ray and microlensing constraints on the antistar population.
Intricate Role of Thermal Properties and Volatility in Droplet Spreading: A Generalization to Tanner's Law

Droplet spreading is ubiquitous and plays a significant role in liquid-based energy systems, thermal management devices, and microfluidics. While the spreading of non-volatile droplets is quantitatively understood, the spreading and flow transition in volatile droplets remains elusive due to the complexity added by interfacial phase change and non-equilibrium thermal transport. Here we show, using both mathematical modeling and experiments, that the wetting dynamics of volatile droplets can be scaled by the spatial-temporal interplay between capillary, evaporation, and thermal Marangoni effects. We elucidate and quantify these complex interactions using phase diagrams based on systematic theoretical and experimental investigations. A spreading law of evaporative droplets is derived by generalizing Tanner's law (valid for non-volatile liquids) to a full range of liquids with saturation vapor pressure spanning from 10^1 to 10^4 Pa and on substrates with thermal conductivity from 10^{-1} to 10^3 W/m/K. Besides its importance in fluid-based industries, the conclusions also enable a unifying explanation to a series of individual works including the criterion of flow reversal and the state of dynamic wetting, making it possible to control liquid transport in diverse application scenarios.
Three-dimensional soft streaming

Abstract Viscous streaming is an efficient rectification mechanism to exploit flow inertia at small scales for fluid and particle manipulation. It typically entails a fluid vibrating around an immersed solid feature that, by concentrating stresses, modulates the emergence of steady flows of useful topology. Motivated by its relevance in biological and artificial settings characterized by soft materials, recent studies have theoretically elucidated, in two dimensions, the impact of body elasticity on streaming flows. Here, we generalize those findings to three dimensions, via the minimal case of an immersed soft sphere. We first improve existing solutions for the rigid-sphere limit, by considering previously unaccounted terms. We then enable body compliance, exposing a three-dimensional, elastic streaming process available even in Stokes flows. Such effect, consistent with two-dimensional analyses but analytically distinct, is validated against direct numerical simulations and shown to translate to bodies of complex geometry and topology, paving the way for advanced forms of flow control.
Point-SLAM: Dense Neural Point Cloud-based SLAM

We propose a dense neural simultaneous localization and mapping (SLAM) approach for monocular RGBD input which anchors the features of a neural scene representation in a point cloud that is iteratively generated in an input-dependent data-driven manner. We demonstrate that both tracking and mapping can be performed with the same point-based neural scene representation by minimizing an RGBD-based re-rendering loss. In contrast to recent dense neural SLAM methods which anchor the scene features in a sparse grid, our point-based approach allows dynamically adapting the anchor point density to the information density of the input. This strategy reduces runtime and memory usage in regions with fewer details and dedicates higher point density to resolve fine details. Our approach performs either better or competitive to existing dense neural RGBD SLAM methods in tracking, mapping and rendering accuracy on the Replica, TUM-RGBD and Scan-Net datasets. The source code is available at https://github.com/eriksandstroem/Point-SLAM.
Fourier-Gegenbauer Pseudospectral Method for Solving Periodic Fractional Optimal Control Problems

This paper introduces a new accurate model for periodic fractional optimal control problems (PFOCPs) using Riemann-Liouville (RL) and Caputo fractional derivatives (FDs) with sliding fixed memory lengths. The paper also provides a novel numerical method for solving PFOCPs using Fourier and Gegenbauer pseudospectral methods. By employing Fourier collocation at equally spaced nodes and Fourier and Gegenbauer quadratures, the method transforms the PFOCP into a simple constrained nonlinear programming problem (NLP) that can be treated easily using standard NLP solvers. We propose a new transformation that largely simplifies the problem of calculating the periodic FDs of periodic functions to the problem of evaluating the integral of the first derivatives of their trigonometric Lagrange interpolating polynomials, which can be treated accurately and efficiently using Gegenbauer quadratures. We introduce the notion of the {\alpha}th-order fractional integration matrix with index L based on Fourier and Gegenbauer pseudospectral approximations, which proves to be very effective in computing periodic FDs. We also provide a rigorous priori error analysis to predict the quality of the Fourier-Gegenbauer-based approximations to FDs. The numerical results of the benchmark PFOCP demonstrate the performance of the proposed pseudospectral method.
On digamma series convertible into hypergeometric series

Series containing the digamma function arise when calculating the parametric derivatives of the hypergeometric functions and play a role in evaluation of Feynman diagrams. As these series are typically non-hypergeometric, a few instances when they are summable in terms of hypergeometric functions are of importance. In this paper, we convert multi-term identities for the generalized hypergeometric functions evaluated at unity into identities connecting them to the digamma series via the appropriate limiting process. The resulting formulas can be viewed as hypergeometric expressions for the $1$-norm of the gradient of the generalized hypergeometric function with respect to all its parameters and seem to have no direct analogues in the literature.
On Robustness in Multimodal Learning

Multimodal learning is defined as learning over multiple heterogeneous input modalities such as video, audio, and text. In this work, we are concerned with understanding how models behave as the type of modalities differ between training and deployment, a situation that naturally arises in many applications of multimodal learning to hardware platforms. We present a multimodal robustness framework to provide a systematic analysis of common multimodal representation learning methods. Further, we identify robustness short-comings of these approaches and propose two intervention techniques leading to $1.5\times$-$4\times$ robustness improvements on three datasets, AudioSet, Kinetics-400 and ImageNet-Captions. Finally, we demonstrate that these interventions better utilize additional modalities, if present, to achieve competitive results of $44.2$ mAP on AudioSet 20K.
HOW-MHD: A High-order WENO-based Magnetohydrodynamic Code with a High-order Constrained Transport Algorithm for Astrophysical Applications

Due to the prevalence of magnetic fields in astrophysical environments, magnetohydrodynamic (MHD) simulation has become a basic tool for studying astrophysical fluid dynamics. To further advance the precision of MHD simulations, we have developed a new simulation code that solves ideal adiabatic or isothermal MHD equations with high-order accuracy. The code is based on the finite-difference weighted essentially nonoscillatory (WENO) scheme and the strong stability-preserving Runge–Kutta (SSPRK) method. Most of all, the code implements a newly developed, high-order constrained transport (CT) algorithm for the divergence-free constraint of magnetic fields, completing its high-order competence. In this paper, we present the version in Cartesian coordinates, which includes a fifth-order WENO and a fourth-order five-stage SSPRK, along with extensive tests. With the new CT algorithm, fifth-order accuracy is achieved in convergence tests involving the damping of MHD waves in 3D space. And substantially improved results are obtained in magnetic loop advection and magnetic reconnection tests, indicating a reduction in numerical diffusivity. In addition, the reliability and robustness of the code, along with its high accuracy, are demonstrated through several tests involving shocks and complex flows. Furthermore, tests of turbulent flows reveal the advantages of high-order accuracy and show that the adiabatic and isothermal codes have similar accuracy. With its high-order accuracy, our new code would provide a valuable tool for studying a wide range of astrophysical phenomena that involve MHD processes.
Inferring Fluid Dynamics via Inverse Rendering

Humans have a strong intuitive understanding of physical processes such as fluid falling by just a glimpse of such a scene picture, i.e., quickly derived from our immersive visual experiences in memory. This work achieves such a photo-to-fluid-dynamics reconstruction functionality learned from unannotated videos, without any supervision of ground-truth fluid dynamics. In a nutshell, a differentiable Euler simulator modeled with a ConvNet-based pressure projection solver, is integrated with a volumetric renderer, supporting end-to-end/coherent differentiable dynamic simulation and rendering. By endowing each sampled point with a fluid volume value, we derive a NeRF-like differentiable renderer dedicated from fluid data; and thanks to this volume-augmented representation, fluid dynamics could be inversely inferred from the error signal between the rendered result and ground-truth video frame (i.e., inverse rendering). Experiments on our generated Fluid Fall datasets and DPI Dam Break dataset are conducted to demonstrate both effectiveness and generalization ability of our method.
Relatively geometric actions of K\"ahler groups on CAT(0) cube complexes

We prove that for $n\geq 2$, a non-uniform lattice in $\text{PU}(n,1)$ does not admit a relatively geometric action on a $\mathrm{CAT}(0)$ cube complex, in the sense of Einstein and Groves. As a consequence, if $\Gamma$ is a non-uniform lattice in a non-compact semisimple Lie group $G$ without compact factors that admits a relatively geometric action on a $\mathrm{CAT}(0)$ cube complex, then $G$ is commensurable with $\text{SO}(n,1)$. We also prove that if a K\"ahler group is hyperbolic relative to residually finite parabolic subgroups, and acts relatively geometrically on a $\mathrm{CAT}(0)$ cube complex, then it is virtually a surface group.
A General and Unified Method to prove the Uniqueness of Ground State Solutions and the Existence/Non-existence, and Multiplicity of Normalized Solutions with applications to various NLS

We first give an abstract framework to show the uniqueness of Ground State Solutions (GSS) for a large class of PDEs. To the best of our knowledge, all the existing results in the literature only addressed particular cases. Moreover, our self-contained approach offers a general framework to study the existence/non-existence and multiplicity of normalized solutions. We will exhibit concrete examples to which our method applies, and verify all the assumptions we need. Our approach is applicable to a wide range of operators and domains provided that our hypotheses are verified. Additionally, we prove new results about the non-degeneracy and uniqueness of positive GSS in a general setting. Our findings are applicable to fractional nonlinear Schrodinger equations with non-autonomous nonlinearities. In particular, we were able to extend the main results of [13, 14] to general non-autonomous and mixed nonlinearities. This does not seem possible by using the approach developed by the authors of the above breakthrough papers. The orbital stability/instability of the standing waves will be addressed thanks to the non-degeneracy.
Validation of the prognostic scoring system for in-hospital mortality prediction in cardiogenic shock patients requiring veno-arterial extracorporeal membrane oxygenation

Background A few prognostic scoring systems have been developed for predicting mortality in patients with cardiogenic shock requiring veno-arterial extracorporeal membrane oxygenation (VA-ECMO), albeit with variations in performance. This study aimed to assess and compare various mortality prediction models in a cohort of patients receiving VA-ECMO following cardiogenic shock or arrest. Methods We retrospectively analyzed 77 patients with cardiogenic shock who were placed on VA-ECMO support between March 2014 and August 2021. The APACHE II, SAPS II, SAVE, Modified SAVE, ENCOURAGE, and ECMO-ACCEPTS scores were calculated for each patient to predict the in-hospital mortality. Results Fifty-six (72.7%) patients died. All prediction model scores, except the ECMO-ACCEPTS, differed significantly between non-survivors and survivors as follows: ENCOURAGE, 23 versus 16 (p < 0.001); SAVE, −6 versus −3 (p = 0.008); Modified SAVE, −5 versus 0 (p = 0.005); APACHE II, 32 versus 22 (p = 0.009); and SAPS II, 67 versus 49 (p = 0.002). The ENCOURAGE score demonstrated the best discriminatory ability with an area under the receiver–operating characteristic curve of 0.81 (95% confidence interval: 0.7–0.81). All prognostic scoring systems possessed limited calibration ability. However, the SAPS II, SAVE, and ENCOURAGE scores had lower Akaike and Bayesian information criteria values, which were consistent with the results of the Hosmer–Lemeshow C statistic test, indicating better performance than the other scores. Conclusions The ENCOURAGE score can help predict in-hospital mortality in all subsets of VA-ECMO patients, even though it was originally designed to predict intensive care unit mortality in the post-acute myocardial infarction setting.
Association between body mass index, metabolic syndrome and common urologic conditions: a cross-sectional study using a large multi-institutional database from the United States

Abstract Introduction The study aims to determine whether body mass index (BMI), metabolic syndrome (MS) or its individual components (primary hypertension, type 2 diabetes mellitus and dyslipidemias) are risk factors for common urological diseases. Materials and methods Cross-sectional study with data collected on February 28, 2022 from the TriNetX Research Network. Patients were divided in cohorts according to their BMI, presence of MS (BMI > 30 kg/m2, type 2 diabetes mellitus, primary hypertension and disorders of lipoprotein metabolism) and its individual components and its association with common urological conditions was determined. For each analysis, odds ratio (OR) with 95% confidence intervals were calculated. Statistical significance was assessed at p < . 05. Results BMI > 30 kg/m2 was associated with increased risk of lithiasis, kidney cancer, overactive bladder, male hypogonadism, benign prostatic hyperplasia, and erectile dysfunction (p < .05). On the contrary, BMI was inversely associated with ureteral, bladder and prostate cancer (p < .05). In all urological diseases, MS was the strongest risk factor, with prostate cancer (OR = 2.53) showing the weakest and male hypogonadism the strongest (OR = 13.00) associations. Conclusions MS and its individual components were significant risk factors for common urological conditions. Hence holistic approaches with lifestyle modification might prevent common urological disease. Key messages Overall, metabolic syndrome is the strongest risk factor for all the analysed urological diseases. Abnormally high body mass index can be a risk or protective factor depending on the threshold and urological disease that are being evaluated. Metabolic syndrome and increased BMI should be considered important factors associated to the prevalence of common urological diseases.
Prognostic models to predict complete resolution of hypertension after adrenalectomy in primary aldosteronism: A systematic review and meta‐analysis

Complete resolution of hypertension (CRH) after adrenalectomy for primary aldosteronism is far from a certainty. Although several prognostic models have been proposed to predict outcome after adrenalectomy, studies have not clarified which of the available models can be used reliably in clinical practice. To identify, describe and appraise all prognostic models developed to predict CRH, and meta‐analyse their predictive performances. We searched MEDLINE, Embase and Web of Science for development and validation studies of prognostic models. After selection, we extracted descriptive statistics and aggregated area under the receiver operator curve (AUC) using meta‐analysis. From 25 eligible studies, we identified 12 prognostic models used for predicting CRH after total adrenalectomy in primary aldosteronism. We report the results for 3 models that had available data from at least 3 external validation studies: the primary aldosteronism surgical outcome (PASO) score (AUC: 0.81; 95% confidence interval [CI]: 0.74‒0.86; 95% predictive interval [PI]: 0.04‒1.00), Utsumi nomogram (AUC: 0.79; 95% CI: 0.72‒0.85; 95% PI: 0.03‒1.00) and the aldosteronoma resolution score (ARS) model (AUC: 0.77; 95% CI: 0.74‒0.80; 95% PI: 0.59‒0.86 for all studies and AUC: 0.80; 95% CI: 0.75‒0.85; 95% PI: 0.57‒0.93 for the studies with the same adrenal vein sampling‐guided adrenalectomy rate compared to the models meta‐analysed). The PASO score, Utsumi nomogram and ARS model showed comparable discrimination performance to predict CRH in primary aldosteronism. Unlike the ARS model, the number of external validation studies for the PASO score and the Utsumi nomogram was relatively low to draw definite conclusions.
Early orthognathic surgery with postsurgical bone-anchored retention in unilateral cleft lip and palate: A case report

We present a case report of early Le Fort I osteotomy with maxillary advancement retained postoperatively by Class III elastics anchored on miniplates in a growing patient with complete unilateral cleft lip and palate (UCLP). A 14-year-old boy who underwent orthognathic surgery at the pubertal growth spurt was presented. During surgery, Bollard miniplates were installed in the posterior region of the maxilla and in the anterior region of the mandible. Class III elastics anchored on miniplates were used at night (8–10 h) starting 60 days after surgery. The force of the elastics progressively increased from 100 g to 250 g. The elastics were replaced daily. The positive overjet remained stable over 15 months of postoperative follow-up. Maxillary advancement was adequately retained using Bollard miniplates and the facial profile remained stable until the end of facial growth.
Detecting tidal disruption events of massive black holes in normal galaxies with the Einstein Probe

Abstract Stars are tidally disrupted and accreted when they approach massive black holes (MBHs) closely, producing a flare of electromagnetic radiation. The majority of the (approximately two dozen) tidal disruption events (TDEs) identified so far have been discovered by their luminous, transient X-ray emission. Once TDEs are detected in much larger numbers, in future dedicated transient surveys, a wealth of new applications will become possible. Here, we present the proposed Einstein Probe mission, which is a dedicated time-domain soft X-ray all-sky monitor aiming at detecting X-ray transients including TDEs in large numbers. The mission consists of a wide-field micro-pore Lobster-eye imager (60° × 60°), and is designed to carry out an all-sky transient survey at energies of 0.5-4 keV. It will also carry a more sensitive telescope for X-ray follow-ups, and will be capable of issuing public transient alerts rapidly. Einstein Probe is expected to revolutionise the field of TDE research by detecting several tens to hundreds of events per year from the early phase of flares, many with long-term, well sampled lightcurves.