title: Using cluster theory to calculate the experimental structure factors of antibody solutions

abstract: Monoclonal antibody solutions are set to become a major therapeutic tool in the years to come, capable of targeting various diseases by clever designing their antigen binding site. However, the formulation of stable solutions suitable for patient self-administration typically presents challenges, as a result of the increase in viscosity that often occurs at high concentrations. Here, we establish a link between the microscopic molecular details and the resulting properties of an antibody solution through the characterization of clusters, which arise in the presence of self-associating antibodies. In particular, we find that experimental small-angle X-ray scattering data can be interpreted by means of analytical models previously exploited for the study of polymeric and colloidal objects, based on the presence of such clusters. The latter are determined by theoretical calculations and supported by computer simulations of a coarse-grained minimal model, in which antibodies are treated as Y-shaped colloidal molecules and attractive domains are designed as patches. Using the theoretically-predicted cluster size distributions, we are able to describe the experimental structure factors over a wide range of concentration and salt conditions. We thus provide microscopic evidence for the well-established fact that the concentration-dependent increase in viscosity is originated by the presence of clusters. Our findings bring new insights on the self-assembly of monoclonal antibodies, which can be exploited for guiding the formulation of stable and effective antibody solutions.


title: Ultra-High Q Nanomechanical Resonators for Force Sensing

abstract: Nanomechanical resonators with ultra-high quality factors have become a central element in fundamental research, enabling measurements below the standard quantum limit and the preparation of long-lived quantum states. Here, I propose that such resonators will allow the detection of electron and nuclear spins with high spatial resolution, paving the way to future nanoscale magnetic resonance imaging instruments. The article lists the challenges that must be overcome before this vision can become reality, and indicates potential solutions.


title: Evidence of exchange-striction and charge disproportionation in the magneto-electric material Ni3TeO6

abstract: The chiral magneto-electric compound Ni3TeO6 is investigated through temperature-dependent synchrotron-based powder x-ray diffraction and x-ray absorption spectroscopy between 15 to 300 K. Our work provides direct evidence for the exchange-striction in the material around the concomitant onset point of collinear antiferromagnetic and magneto-electric phases. The x-ray absorption near edge spectra and x-ray photoelectron spectra show that the sample consists of both Ni2+ and Ni3+ ions in the lattice. The ionic state of Ni is found to be quite robust, and it is largely independent of the preparation route. Additionally, the minority Te4+ state is found to coexist with the majority Te6+ state, which may arise from the charge disproportionation between Ni and Te ions (Ni2+ + Te6+ --> Ni3+ + Te4+). The observed mixed valency of Ni is also confirmed by the total paramagnetic moment per Ni atom in the system. This mixed valency in the metal ions and the exchange-striction may be attributed to the observed magneto-electric effect in the system.


title: Open-Domain Dialog Evaluation using Follow-Ups Likelihood

abstract: Automatic evaluation of open-domain dialogs remains an unsolved problem. Moreover, existing methods do not correlate strongly with human annotations. This paper presents a new automated evaluation method using follow-ups: we measure the probability that a language model will continue the conversation with a fixed set of follow-ups (e.g., not really relevant here, what are you trying to say). When compared against twelve existing methods, our new evaluation achieves the highest correlation with human evaluations.


title: Statistical Estimation of Confounded Linear MDPs: An Instrumental Variable Approach

abstract: In an Markov decision process (MDP), unobservable confounders may exist and have impacts on the data generating process, so that the classic off-policy evaluation (OPE) estimators may fail to identify the true value function of the target policy. In this paper, we study the statistical properties of OPE in confounded MDPs with observable instrumental variables. Specifically, we propose a two-stage estimator based on the instrumental variables and establish its statistical properties in the confounded MDPs with a linear structure. For non-asymptotic analysis, we prove a $\mathcal{O}(n^{-1/2})$-error bound where $n$ is the number of samples. For asymptotic analysis, we prove that the two-stage estimator is asymptotically normal with a typical rate of $n^{1/2}$. To the best of our knowledge, we are the first to show such statistical results of the two-stage estimator for confounded linear MDPs via instrumental variables.


title: Learning Obstacle-Avoiding Lattice Paths using Swarm Heuristics: Exploring the Bijection to Ordered Trees

abstract: Lattice paths are functional entities that model efficient navigation in discrete/grid maps. This paper presents a new scheme to generate collision-free lattice paths with utmost efficiency using the bijective property to rooted ordered trees, rendering a one-dimensional search problem. Our computational studies using ten state-of-the-art and relevant nature-inspired swarm heuristics in navigation scenarios with obstacles with convex and non-convex geometry show the practical feasibility and efficiency in rendering collision-free lattice paths. We believe our scheme may find use in devising fast algorithms for planning and combinatorial optimization in discrete maps.


title: A Note on the Efficient Evaluation of PAC-Bayes Bounds

abstract: When utilising PAC-Bayes theory for risk certification, it is usually necessary to estimate and bound the Gibbs risk of the PAC-Bayes posterior. Many works in the literature employ a method for this which requires a large number of passes of the dataset, incurring high computational cost. This manuscript presents a very general alternative which makes computational savings on the order of the dataset size.


title: SPHM: a MATLAB package for Smoothed Particle Hydrodynamics simulations

abstract: We present a MATLAB code that implements the Smoothed Particle Hydrodynamics (SPH) method. The paper reviews the continuous Navier-Stokes equations as well as their SPH approximation, adopting a coherent notation that allows to make easy reference to the code. The MATLAB implementation was heavily inspired by the earlier FORTRAN code of G. R. Liu and M. B. Liu, 2003. The code can be used for simple computational fluid dynamics simulations. Two classical benchmark problems are used to validate the algorithm: a one-dimensional shock tube and a two-dimensional shear cavity problem.


title: Complex Organic Molecules Formation in Cold Cores on Stochastically Heated Grains

abstract: We investigate the roles of stochastic grain heating in the formation of complex organic molecules (COMs) in cold cores, where COMs have been detected. Two different types of grain-size distributions are used in the chemical models. The first one is the MRN distribution, and the second one considers grain coagulation to study its effects on the chemical evolution in these environments. The macroscopic Monte Carlo method is used to perform the two-phase chemical model simulations. We find that (1) grain coagulation can affect certain gas-phase species, such as CO$_2$ and N$_2$H$^+$, in the cold core environments, which can be attributed to the volatile precursors originating from the small grains with temperature fluctuations; (2) grains with radii around 4.6 $\times$ 10$^{-3}$ $\mu$m contribute most to the production of COMs on dust grains under cold core conditions, while few species can be formed on even smaller grains with radii less than 2 $\times$ 10$^{-3}$ $\mu$m; (3) COMs formed on stochastically heated grains could help explain the observed abundances of gas-phase COMs in cold cores.


title: Deep Reinforcement Learning for Online Latency Aware Workload Offloading in Mobile Edge Computing

abstract: Owing to the resource-constrained feature of Internet of Things (IoT) devices, offloading tasks from IoT devices to the nearby mobile edge computing (MEC) servers can not only save the energy of IoT devices but also reduce the response time of executing the tasks. However, offloading a task to the nearest MEC server may not be the optimal solution due to the limited computing resources of the MEC server. Thus, jointly optimizing the offloading decision and resource management is critical, but yet to be explored. Here, offloading decision refers to where to offload a task and resource management implies how much computing resource in an MEC server is allocated to a task. By considering the waiting time of a task in the communication and computing queues (which are ignored by most of the existing works) as well as tasks priorities, we propose the \ul{D}eep reinforcement l\ul{E}arning based offloading de\ul{C}ision and r\ul{E}source manageme\ul{NT} (DECENT) algorithm, which leverages the advantage actor critic method to optimize the offloading decision and computing resource allocation for each arriving task in real-time such that the cumulative weighted response time can be minimized. The performance of DECENT is demonstrated via different experiments.


title: Pair binding and enhancement of pairing correlations in asymmetric Hubbard ladders

abstract: Asymmetric two-leg Hubbard ladders with different on-site interactions $U_y$ and hoppings $t_y$ on each leg are investigated using the density matrix renormalization group method and exact diagonalizations. The pairing found in symmetric ladders is robust against the introduction of the leg asymmetry. When studying pairing, one-band Hubbard ladder models are better described as one-dimensional correlated two-band models than as sublattices of higher dimensional systems. The asymmetric Hubbard ladder provides us with a simple model for studying pairing in the crossover regime between charge transfer and Mott insulators.


title: Robust parallel nonlinear solvers for implicit time discretizations of the Bidomain equations

abstract: In this work, we study the convergence and performance of nonlinear solvers for the Bidomain equations after decoupling the ordinary and partial differential equations of the cardiac system. Firstly, we provide a rigorous proof of the global convergence of Quasi-Newton methods, such as BFGS, and nonlinear Conjugate-Gradient methods, such as Fletcher--Reeves, for the Bidomain system, by analyzing an auxiliary variational problem under physically reasonable hypotheses. Secondly, we compare several nonlinear Bidomain solvers in terms of execution time, robustness with respect to the data and parallel scalability. Our findings indicate that Quasi-Newton methods are the best choice for nonlinear Bidomain systems, since they exhibit faster convergence rates compared to standard Newton-Krylov methods, while maintaining robustness and scalability. Furthermore, first-order methods also demonstrate competitiveness and serve as a viable alternative, particularly for matrix-free implementations that are well-suited for GPU computing.


title: Graphing the Future: Activity and Next Active Object Prediction using Graph-based Activity Representations

abstract: We present a novel approach for the visual prediction of human-object interactions in videos. Rather than forecasting the human and object motion or the future hand-object contact points, we aim at predicting (a)the class of the on-going human-object interaction and (b) the class(es) of the next active object(s) (NAOs), i.e., the object(s) that will be involved in the interaction in the near future as well as the time the interaction will occur. Graph matching relies on the efficient Graph Edit distance (GED) method. The experimental evaluation of the proposed approach was conducted using two well-established video datasets that contain human-object interactions, namely the MSR Daily Activities and the CAD120. High prediction accuracy was obtained for both action prediction and NAO forecasting.


title: Neural-network quantum states for a two-leg Bose-Hubbard ladder under magnetic flux

abstract: Quantum gas systems are ideal analog quantum simulation platforms for tackling some of the most challenging problems in strongly correlated quantum matter. However, they also expose the urgent need for new theoretical frameworks. Simple models in one dimension, well studied with conventional methods, have received considerable recent attention as test cases for new approaches. Ladder models provide the logical next step, where established numerical methods are still reliable, but complications of higher dimensional effects like gauge fields can be introduced. In this paper, we investigate the application of the recently developed neural-network quantum states in the two-leg Bose-Hubbard ladder under strong synthetic magnetic fields. Based on the restricted Boltzmann machine and feedforward neural network, we show that variational neural networks can reliably predict the superfluid-Mott insulator phase diagram in the strong coupling limit comparable with the accuracy of the density-matrix renormalization group. In the weak coupling limit, neural networks also diagnose other many-body phenomena such as the vortex, chiral, and biased-ladder phases. Our work demonstrates that the two-leg Bose-Hubbard model with magnetic flux is an ideal test ground for future developments of neural-network quantum states.


title: Transition to hyperchaos: Sudden expansion of attractor and intermittent large-amplitude events in dynamical systems

abstract: Hyperchaos is distinguished from chaos by the presence of at least two positive Lyapunov exponents instead of just one in dynamical systems. A general scenario is presented here that shows emergence of hyperchaos with a sudden large expansion of the attractor of continuous dynamical systems at a critical parameter when the temporal dynamics shows intermittent large-amplitude spiking or bursting events. The distribution of local maxima of the temporal dynamics is non-Gaussian with a tail, confirming a rare occurrence of the large-amplitude events. We exemplify our results on the sudden emergence of hyperchaos in three paradigmatic models, namely, a coupled Hindmarsh-Rose model, three coupled Duffing oscillators, and a hyperchaotic model.


title: Salient signatures of entanglement in the surrounding environment

abstract: We develop a model in which presence of entanglement in a quantum system can be confirmed through coarse observations of the environment surrounding the system. This counter-intuitive effect becomes possible when interaction between the system and its environment is proportional to an observable being an entanglement witness. While presenting intuitive examples we show that: i) a cloud of an ideal gas, when subject to a linear potential coupled with the entanglement witness, accelerates in the direction dictated by the sign of the witness; ii) when the environment is a radiation field, the direction of dielectric polarization depends on the presence of entanglement; iii) quadratures of electromagnetic field in a cavity coupled with two qubits (or a four-level atom) are displaced in the same manner.


title: Origin of superconductivity in hole doped SrBiO3 bismuth oxide perovskite from parameter-free first-principles simulations

abstract: The recent discovery nickel oxides superconductors have highlighted the importance of first-principles simulations for understanding the formation of the bound electrons at the core of superconductivity. Nevertheless, superconductivity in oxides is often ascribed to strong electronic correlation effects that Density Functional Theory (DFT) cannot properly take into account, thereby disqualifying this technique. Being isostructural to nickel oxides, Sr1-xKxBiO3 superconductors form an ideal testbed for unveiling (i) the lowest theory level needed to model complex superconductors and (ii) the underlying pairing mechanism yielding superconductivity. Here I show that parameter-free DFT simulations capture all the experimental features and related quantities of Sr1-xKxBiO3 superconductors, encompassing the prediction of an insulating to metal phase transition upon increasing the K doping content and of an electron-phonon coupling constant of 1.22 in sharp agreement with the experimental value of 1.3 +/- 0.2. Proximity of a disproportionated phase is further demonstrated to be a prerequisite for superconductivity in bismuthates. This work highlights that appropriately executed DFT is a sufficient platform for studying superconductivity in complex oxides.


title: Graphene-based chemiresistive gas sensors

abstract: Gas sensors are an indispensable ingredient of the modern society, finding their use across a range of industries that include manufacturing, environmental protection and control, automotive and others. Novel applications have been arising, requiring new materials. Here we outline the principles of gas sensing with a focus on chemiresistive-type devices. We follow up with a summary of the advantages and use of graphene as a gas sensing material, discussing the properties of different graphene production methods. Finally, we showcase some recent results that point to novel applications of graphene-based gas sensors, including respiration monitoring and finger proximity detection.


title: Study the Bifurcations of a 2DoF Mechanical Impacting System

abstract: Impacting mechanical systems with suitable parameter settings exhibit a large amplitude chaotic oscillation close to the grazing with the impacting surface. The cause behind this uncertainty is the square root singularity and the occurrence of dangerous border collision bifurcation. In the case of one degree of freedom mechanical systems, it has already been shown that this phenomenon occurs under certain conditions. This paper proposes the same uncertainty of a two-degree freedom mechanical impacting system under specific requirements. This paper shows that the phenomena earlier reported in the case of one degree of freedom mechanical systems (like narrow band chaos, finger-shaped attractor, etc.) also occur in the two degrees of freedom mechanical impacting system. We have numerically predicted the narrowband chaos ensues under specific parameter settings. We have also shown that the narrowband chaos can be avoided under some parameter settings. At last, we demonstrate the numerical predictions experimentally by constructing an equivalent electronic circuit of the mechanical rig.


title: Proof-Stitch: Proof Combination for Divide and Conquer SAT Solvers

abstract: With the increasing availability of parallel computing power, there is a growing focus on parallelizing algorithms for important automated reasoning problems such as Boolean satisfiability (SAT). Divide-and-Conquer (D&C) is a popular parallel SAT solving paradigm that partitions SAT instances into independent sub-problems which are then solved in parallel. For unsatisfiable instances, state-of-the-art D&C solvers generate DRAT refutations for each sub-problem. However, they do not generate a single refutation for the original instance. To close this gap, we present Proof-Stitch, a procedure for combining refutations of different sub-problems into a single refutation for the original instance. We prove the correctness of the procedure and propose optimizations to reduce the size and checking time of the combined refutations by invoking existing trimming tools in the proof-combination process. We also provide an extensible implementation of the proposed technique. Experiments on instances from last year's SAT competition show that the optimized refutations are checkable up to seven times faster than unoptimized refutations.


title: Report of the Topical Group on Micro-Pattern Gaseous Detectors for Snowmass 2021

abstract: This report summarizes white papers on micro-pattern gaseous detectors (MPGDs) that were submitted to the Instrumentation Frontier Topical Group IF05, as part of the Snowmass 2021 decadal survey of particle physics.

categories: physics.ins-det astro-ph.IM hep-ex nucl-ex


title: Learning the black hole metric from holographic conductivity

abstract: We construct a neural network to learn the RN-AdS black hole metric based on the data of optical conductivity by holography. The linear perturbative equation for the Maxwell field is rewritten in terms of the optical conductivity such that the neural network is constructed based on the discretization of this differential equation. In contrast to all previous models in AdS/DL (deep learning) duality, the derivative of the metric function appears in the equation of motion and we propose distinct finite difference methods to discretize this function. The notion of the reduced conductivity is also proposed to avoid the divergence of the optical conductivity near the horizon.The dependence of the training outcomes on the location of the cutoff, the temperature as well as the frequency range is investigated in detail. This work provides a concrete example for the reconstruction of the bulk geometry with the given data on the boundary by deep learning.


title: Supernova 2009ip outbursts in 2012: From scenario to model

abstract: Spherical and aspherical models are presented for two outbursts in 2012 of supernova 2009ip. Models are based on a scenario which suggests that the August 2012 outburst is caused by the explosive shell ejection from LBV-presupernova. The model predicts an emergence of an unobserved outburst in late July 2012 related to a shock breakout and a subsequent diffusive radiative cooling of the ejected envelope. The luminosity of the first observed outburst in August 2012 was presumably powered by the central source, whereas the second, more powerful outburst in late September 2012, was caused by the ejecta interaction with the circumstellar envelope. Models provide estimates of the ejecta energy and mass along with the mass of the circumstellar shell.


title: The KOBE experiment: K-dwarfs Orbited By habitable Exoplanets. Project goals, target selection and stellar characterization

abstract: The detection of habitable worlds is one of humanity's greatest endeavors. So far, astrobiological studies show that one of the most critical components for life development is liquid water. Its chemical properties and its capacity to dissolve and hence transport other substances makes this constituent a key piece in the development of life. As a consequence, looking for life as we know it is directly related to the search for liquid water. For a remote detection of life in distant planetary systems, this means looking for planets in the so-called habitable zone. In this sense, K-dwarf stars are the perfect hosts. Contrary to G-dwarfs, the habitable zone is closer, thus making planet detection easier using transit or radial velocity techniques. Contrary to M-dwarfs, the stellar activity is much smaller, hence having a smaller impact in both the detectability and in the true habitability of the planet. Also, K-dwarfs are the quietest in terms of oscillations, and granulation noise. Despite this, there is a dearth of planets in the habitable zone of K-dwarfs due to a lack of observing programs devoted to this parameter space. In response to a call for Legacy Programs of the Calar Alto observatory, we have started the first dedicated and systematic search for habitable planets around K-dwarfs, the K-dwarfs Orbited By habitable Exoplanets (KOBE). This survey is monitoring the radial velocity of 50 carefully pre-selected K-dwarfs with the CARMENES instrument along 5 semesters with an average of 90 data points per target. Based on planet occurrence rates convolved with our detectability limits, we expect to find $1.68\pm 0.25$ planets per star in the KOBE sample and in half of the sample we expect to find one of those planets within the habitable zone. In this paper, we describe the project motivation, goals and target selection and preliminary stellar characterization.


title: A Differentiable Loss Function for Learning Heuristics in A*

abstract: Optimization of heuristic functions for the A* algorithm, realized by deep neural networks, is usually done by minimizing square root loss of estimate of the cost to goal values. This paper argues that this does not necessarily lead to a faster search of A* algorithm since its execution relies on relative values instead of absolute ones. As a mitigation, we propose a L* loss, which upper-bounds the number of excessively expanded states inside the A* search. The L* loss, when used in the optimization of state-of-the-art deep neural networks for automated planning in maze domains like Sokoban and maze with teleports, significantly improves the fraction of solved problems, the quality of founded plans, and reduces the number of expanded states to approximately 50%


title: More on entanglement properties of $Lif_4^{(2)}\times {S}^1\times S^5$ spacetime with string excitations

abstract: The $Lif_{4}^{(2)} \times S^1 \times S^5$ spacetime is an exact solution of $F1-D2-D8$ configuration in type IIA supergravity and can accommodate charged excitations of the fundamental string. By gauge/gravity duality, it is related to an excited state of a non-relativistic QFT with anisotropic Lifshitz scaling symmetry. We study mutual and tripartite information and entanglement wedge cross-section in bulk gravity for boundary subsystems that are disjoint strips of very narrow width. Our work helps understand the nature of entanglement in the QFT excited state, which is in general a mixed one.


title: Graph Neural Modeling of Network Flows

abstract: Network flow problems, which involve distributing traffic such that the underlying infrastructure is used effectively, are ubiquitous in transportation and logistics. Among them, the general Multi-Commodity Network Flow (MCNF) problem concerns the distribution of multiple flows of different sizes between several sources and sinks, while achieving effective utilization of the links. Due to the appeal of data-driven optimization, these problems have increasingly been approached using graph learning methods. In this paper, we propose a novel graph learning architecture for network flow problems called Per-Edge Weights (PEW). This method builds on a Graph Attention Network and uses distinctly parametrized message functions along each link. We extensively evaluate the proposed solution through an Internet flow routing case study using $17$ Service Provider topologies and $2$ routing schemes. We show that PEW yields substantial gains over architectures whose global message function constrains the routing unnecessarily. We also find that an MLP is competitive with other standard architectures. Furthermore, we analyze the relationship between graph structure and predictive performance for data-driven routing of flows, an aspect that has not been considered by existing work in the area.


title: Emergent magnetic states and tunable exchange bias at all 3d nitride heterointerfaces

abstract: Interfacial magnetism stimulates the discovery of giant magnetoresistance and spin-orbital coupling across the heterointerfaces, facilitating the intimate correlation between spin transport and complex magnetic structures. Over decades, functional heterointerfaces composed of nitrides are seldomly explored due to the difficulty in synthesizing high-quality and correct composition nitride films. Here we report the fabrication of single-crystalline ferromagnetic Fe3N thin films with precisely controlled thickness. As film thickness decreasing, the magnetization deteriorates dramatically, and electronic state transits from metallic to insulating. Strikingly, the high-temperature ferromagnetism maintains in a Fe3N layer with a thickness down to 2 u. c. (~ 8 {\AA}). The magnetoresistance exhibits a strong in-plane anisotropy and meanwhile the anomalous Hall resistance reserves its sign when Fe3N layer thickness exceeds 5 u. c. Furthermore, we observe a sizable exchange bias at the interfaces between a ferromagnetic Fe3N and an antiferromagnetic CrN. The exchange bias field and saturation moment strongly depend on the controllable bending curvature using cylinder diameter engineering (CDE) technique, implying the tunable magnetic states under lattice deformation. This work provides a guideline for exploring functional nitride films and applying their interfacial phenomena for innovative perspectives towards the practical applications.


title: Data-enabled predictive control with instrumental variables: the direct equivalence with subspace predictive control

abstract: Direct data-driven control has attracted substantial interest since it enables optimization-based control without the need for a parametric model. This paper presents a new Instrumental Variable~(IV) approach to Data-enabled Predictive Control (DeePC) that results in favorable noise mitigation properties, and demonstrates the direct equivalence between DeePC and Subspace Predictive Control (SPC). The methodology relies on the derivation of the characteristic equation in DeePC along the lines of subspace identification algorithms. A particular choice of IVs is presented that is uncorrelated with future noise, but at the same time highly correlated with the data matrix. A simulation study demonstrates the improved performance of the proposed algorithm in the presence of process and measurement noise.


title: Convex Risk Measures for the Aggregation of Multiple Information Sources and Applications in Insurance

abstract: We propose a novel class of convex risk measures, based on the concept of the Fr\'echet mean, designed in order to handle uncertainty which arises from multiple information sources regarding the risk factors of interest. The proposed risk measures robustly characterize the exposure of the firm, by filtering out appropriately the partial information available in individual sources into an aggregate model for the risk factors of interest. Importantly, the proposed risks can be expressed in closed analytic forms allowing for interesting qualitative interpretations as well as comparative statics and thus facilitate their use in the everyday risk management process of the insurance firms. The potential use of the proposed risk measures in insurance is illustrated by two concrete applications, capital risk allocation and premia calculation under uncertainty.


title: Structured Recognition for Generative Models with Explaining Away

abstract: A key goal of unsupervised learning is to go beyond density estimation and sample generation to reveal the structure inherent within observed data. Such structure can be expressed in the pattern of interactions between explanatory latent variables captured through a probabilistic graphical model. Although the learning of structured graphical models has a long history, much recent work in unsupervised modelling has instead emphasised flexible deep-network-based generation, either transforming independent latent generators to model complex data or assuming that distinct observed variables are derived from different latent nodes. Here, we extend amortised variational inference to incorporate structured factors over multiple variables, able to capture the observation-induced posterior dependence between latents that results from ``explaining away'' and thus allow complex observations to depend on multiple nodes of a structured graph. We show that appropriately parametrised factors can be combined efficiently with variational message passing in rich graphical structures. We instantiate the framework in nonlinear Gaussian Process Factor Analysis, evaluating the structured recognition framework using synthetic data from known generative processes. We fit the GPFA model to high-dimensional neural spike data from the hippocampus of freely moving rodents, where the model successfully identifies latent signals that correlate with behavioural covariates.


title: Learning Dense Visual Descriptors using Image Augmentations for Robot Manipulation Tasks

abstract: We propose a self-supervised training approach for learning view-invariant dense visual descriptors using image augmentations. Unlike existing works, which often require complex datasets, such as registered RGBD sequences, we train on an unordered set of RGB images. This allows for learning from a single camera view, e.g., in an existing robotic cell with a fix-mounted camera. We create synthetic views and dense pixel correspondences using data augmentations. We find our descriptors are competitive to the existing methods, despite the simpler data recording and setup requirements. We show that training on synthetic correspondences provides descriptor consistency across a broad range of camera views. We compare against training with geometric correspondence from multiple views and provide ablation studies. We also show a robotic bin-picking experiment using descriptors learned from a fix-mounted camera for defining grasp preferences.


title: Steady-state dc transport through an Anderson impurity coupled to leads with spin-orbit coupling

abstract: We study the steady-state dc transport characteristics of a system comprised of an interacting quantum dot, modelled as an Anderson impurity, coupled to two metallic non-interacting leads with Rashba SOC, using an interpolative perturbative approach (IPA). The single-particle spectra, current and differential conductance are obtained in weak and strong coupling regimes over a wide range of SOC and bias values. Extensive benchmarking of the IPA validates the method in the linear as well as non-linear response regime. The universal, zero bias ($V_{sd}=0$) peak with a width proportional to the Kondo scale ($T_K$) and two non-universal finite bias peaks around $V_{sd}=\pm U$ in the zero temperature differential conductance show a clear separation with increasing $U$ or increasing SOC. In the strong coupling regime, increasing temperature induces melting of the zero bias peak leading to a crossover from a three-peak conductance to a two-peak conductance. Recent experiments find the emergence of a two-peak structure by increasing SOC at a fixed temperature. Our results appear to provide a qualitative explanation of these observations as a SOC tuned crossover from weak/intermediate to strong coupling, and a simultaneous crossover from low $T/T_K$ to high $T/T_K$ ratio. We also reproduce the experimentally observed temperature dependence of the zero bias conductance.


title: Jordan classes and Lusztig strata in disconnected reductive groups

abstract: Let $G$ be a non-connected reductive algebraic group over an algebraically closed field $\mathbb{K}$ and let $D$ be a connected component of $G$. We investigate Jordan classes of $D$ and we obtain a description of the regular part of the closure of a Jordan class in terms of induction of $G^{\circ}$-orbits. We use this result to show that Lusztig strata in a non-connected reductive algebraic group are locally closed.


title: Millimetre-wave spectroscopy of 2-hydroxyprop-2-enal and an astronomical search with ALMA

abstract: The molecule studied in this work, 2-hydroxyprop-2-enal, is among the candidates to be searched for in the interstellar medium (ISM), as it is a dehydration product of C3 sugars and contains structural motifs typical for some interstellar molecules. The aim of this work is to deepen knowledge about the millimetre-wave spectrum of 2-hydroxyprop-2-enal in the region enabling its search towards astronomical objects. We target the solar-type protostar IRAS16293-2422 and star-forming region Sagittarius (Sgr) B2(N). The rotational spectrum of 2-hydroxyprop-2-enal was measured and analysed in the frequency regions of 128-166 GHz and 285-329 GHz. The interstellar exploration towards IRAS16293-2422 was based on the Atacama Large Millimeter/submillimeter Array (ALMA) data of the Protostellar Interferometric Line Survey. We also used the imaging spectral line survey ReMoCA performed with ALMA toward Sgr B2(N). We modelled the astronomical spectra under the assumption of local thermodynamic equilibrium. We provide analysis of hundreds of rotational transitions of 2-hydroxyprop-2-enal in the ground state and the lowest lying excited vibrational state. We report its nondetection towards IRAS16293 B. The 2-hydroxyprop-2-enal/3-hydroxypropenal abundance ratio is estimated to be less-than or similar to 0.9-1.3 in agreement with the predicted value of 1.4. We also report the nondetection of 2-hydroxyprop-2-enal toward the hot molecular core Sgr B2(N1). We did not detect the related aldehydes 2-hydroxypropanal and 3-hydroxypropenal either. We find that these three molecules are at least 9, 4, and 10 times less abundant than acetaldehyde in this source, respectively. Despite the nondetections, the results of this work represent a significant improvement on previous investigations in the microwave region and meets the requirements for further searches of this molecule in the ISM.


title: Towards Reliable and Scalable Linux Kernel CVE Attribution in Automated Static Firmware Analyses

abstract: In vulnerability assessments, software component-based CVE attribution is a common method to identify possibly vulnerable systems at scale. However, such version-centric approaches yield high false-positive rates for binary distributed Linux kernels in firmware images. Not filtering included vulnerable components is a reason for unreliable matching, as heterogeneous hardware properties, modularity, and numerous development streams result in a plethora of vendor-customized builds. To make a step towards increased result reliability while retaining scalability of the analysis method, we enrich version-based CVE matching with kernel-specific build data from binary images using automated static firmware analysis. We open source an attribution pipeline that gathers kernel configuration and target architecture to dry build the present kernel version and filter CVEs based on affected file references in record descriptions. In a case study with 127 router firmware images, we show that in comparison to naive version matching, our approach identifies 68% of all version CVE matches as false-positives and reliably removes them from the result set. For 12% of all matches it provides additional evidence of issue applicability. For 19.4%, our approach does not improve reliability because required file references in CVEs are missing.


title: Tight Cram\'{e}r-Rao type bounds for multiparameter quantum metrology through conic programming

abstract: In the quest to unlock the maximum potential of quantum sensors, it is of paramount importance to have practical measurement strategies that can estimate incompatible parameters with best precisions possible. However, it is still not known how to find practical measurements with optimal precisions, even for uncorrelated measurements over probe states. Here, we give a concrete way to find uncorrelated measurement strategies with optimal precisions. We solve this fundamental problem by introducing a framework of conic programming that unifies the theory of precision bounds for multiparameter estimates for uncorrelated and correlated measurement strategies under a common umbrella. Namely, we give precision bounds that arise from linear programs on various cones defined on a tensor product space of matrices, including a particular cone of separable matrices. Subsequently, our theory allows us to develop an efficient algorithm that calculates both upper and lower bounds for the ultimate precision bound for uncorrelated measurement strategies, where these bounds can be tight. In particular, the uncorrelated measurement strategy that arises from our theory saturates the upper bound to the ultimate precision bound. Also, we show numerically that there is a strict gap between the previous efficiently computable bounds and the ultimate precision bound.


title: On the co-orbital asteroids in the solar system: medium-term timescale analysis of the quasi-coplanar objects

abstract: The focus of this work is the current distribution of asteroids in co-orbital motion with Venus, Earth and Jupiter, under a quasi-coplanar configuration and for a medium-term timescale of the order of 900 years. A co-orbital trajectory is a heliocentric orbit trapped in a 1:1 mean-motion resonance with a given planet. As such, to model it this work considers the Restricted Three-Body Problem in the circular-planar case with the help of averaging techniques. The domain of each co-orbital regime, that is, the quasi-satellite motion, the horseshoe motion and the tadpole motion, can be neatly defined by means of an integrable model and a simple bi-dimensional map, that is invariant with respect to the mass parameter of the planet, and turns out to be a remarkable tool to investigate the distribution of the co-orbitals objects of interest. The study is based on the data corresponding to the ephemerides computed by the JPL Horizons system for asteroids with a sufficient low orbital inclination with respect to the Sun-planet orbital plane. These objects are cataloged according to their current dynamics, together with the transitions that occur in the given time frame from a given type of co-orbital motion to another. The results provide a general catalog of co-orbital asteroids in the solar system, the first one to our knowledge, and an efficient mean to study transitions.


title: Using auxiliary marginal distributions in imputations for nonresponse while accounting for survey weights, with application to estimating voter turnout

abstract: The Current Population Survey is the gold-standard data source for studying who turns out to vote in elections. However, it suffers from potentially nonignorable unit and item nonresponse. Fortunately, after elections, the total number of voters is known from administrative sources and can be used to adjust for potential nonresponse bias. We present a model-based approach to utilize this known voter turnout rate, as well as other population marginal distributions of demographic variables, in multiple imputation for unit and item nonresponse. In doing so, we ensure that the imputations produce design-based estimates that are plausible given the known margins. We introduce and utilize a hybrid missingness model comprising a pattern mixture model for unit nonresponse and selection models for item nonresponse. Using simulation studies, we illustrate repeated sampling performance of the model under different assumptions about the missingness mechanisms. We apply the model to examine voter turnout by subgroups using the 2018 Current Population Survey for North Carolina. As a sensitivity analysis, we examine how results change when we allow for over-reporting, i.e., individuals self-reporting that they voted when in fact they did not.


title: Local parameter selection in the $C^0$ interior penalty method for the biharmonic equation

abstract: The symmetric $C^0$ interior penalty method is one of the most popular discontinuous Galerkin methods for the biharmonic equation. This paper introduces an automatic local selection of the involved stability parameter in terms of the geometry of the underlying triangulation for arbitrary polynomial degrees. The proposed choice ensures a stable discretization with guaranteed discrete ellipticity constant. Numerical evidence for uniform and adaptive mesh-refinement and various polynomial degrees supports the reliability and efficiency of the local parameter selection and recommends this in practice. The approach is documented in 2D for triangles, but the methodology behind can be generalized to higher dimensions, to non-uniform polynomial degrees, and to rectangular discretizations. Two appendices present the realization of our proposed parameter selection in various established finite element software packages as well as a detailed documentation of a self-contained MATLAB program for the lowest-order $C^0$ interior penalty method.


title: A Review on Visual-SLAM: Advancements from Geometric Modelling to Learning-based Semantic Scene Understanding

abstract: Simultaneous Localisation and Mapping (SLAM) is one of the fundamental problems in autonomous mobile robots where a robot needs to reconstruct a previously unseen environment while simultaneously localising itself with respect to the map. In particular, Visual-SLAM uses various sensors from the mobile robot for collecting and sensing a representation of the map. Traditionally, geometric model-based techniques were used to tackle the SLAM problem, which tends to be error-prone under challenging environments. Recent advancements in computer vision, such as deep learning techniques, have provided a data-driven approach to tackle the Visual-SLAM problem. This review summarises recent advancements in the Visual-SLAM domain using various learning-based methods. We begin by providing a concise overview of the geometric model-based approaches, followed by technical reviews on the current paradigms in SLAM. Then, we present the various learning-based approaches to collecting sensory inputs from mobile robots and performing scene understanding. The current paradigms in deep-learning-based semantic understanding are discussed and placed under the context of Visual-SLAM. Finally, we discuss challenges and further opportunities in the direction of learning-based approaches in Visual-SLAM.


title: FCNC $B$ and $K$ Meson Decays with Light Bosonic Dark Matter

abstract: We consider decays of $B$ and $K$ mesons into a pseudo-scalar or vector meson plus missing energy. Within the SM, these modes originate from flavor changing neutral current (FCNC) processes with two neutrinos in the final state. In this paper we consider the experimental upper bounds on these modes and interpret the difference between these bounds and the SM prediction as a window into new light invisible particles. In particular we consider the case where some new symmetry requires the new particles to be produced in pairs. We first construct the general low energy effective Lagrangian coupling an FCNC with two dark sector particles of spin zero, one-half and one. We then present numerical estimates for the constraints that can be placed on these interactions, finding that an effective new physics scale from ${\cal O}(10)$-${\cal O}(10^{11})$ GeV can be probed, with the exact value strongly depending on the interaction structure as well as the mass of the invisible particle. For $K^+\to \pi^+ \displaystyle{\not} E$ we incorporate into our constraints the effect of using only the signal regions of NA62, and for $B^+\to K^+ \displaystyle{\not} E$ the $q^2$-dependent efficiency of Belle II.


title: Toward Inclusion and Accessibility in Visualization Research: Speculations on Challenges, Solution Strategies, and Calls for Action (Position Paper)

abstract: Inclusion and accessibility in visualization research have gained increasing attention in recent years. However, many challenges still remain to be solved on the road toward a more inclusive, shared-experience-driven visualization design and evaluation process. In this position paper, we discuss challenges and speculate about potential solutions, based on related work, our own research, as well as personal experiences. The goal of this paper is to start discussions on the role of accessibility and inclusion in visualization design and evaluation.


title: Rethinking Generalized Beta Family of Distributions

abstract: We approach the Generalized Beta (GB) family of distributions using a mean-reverting stochastic differential equation (SDE) for a power of the variable, whose steady-state (stationary) probability density function (PDF) is a modified GB (mGB) distribution. The SDE approach allows for a lucid explanation of Generalized Beta Prime (GB2) and Generalized Beta (GB1) limits of GB distribution and, further down, of Generalized Inverse Gamma (GIGa) and Generalized Gamma (GGa) limits, as well as describe the transition between the latter two. We provide an alternative form to the "traditional" GB PDF to underscore that a great deal of usefulness of GB distribution lies in its allowing a long-range power-law behavior to be ultimately terminated at a finite value. We derive the cumulative distribution function (CDF) of the "traditional" GB, which belongs to the family generated by the regularized beta function and is crucial for analysis of the tails of the distribution. We analyze fifty years of historical data on realized market volatility, specifically for S\&P500, as a case study of the use of GB/mGB distributions and show that its behavior is consistent with that of negative Dragon Kings.


title: Efficient Customer Service Combining Human Operators and Virtual Agents

abstract: The prospect of combining human operators and virtual agents (bots) into an effective hybrid system that provides proper customer service to clients is promising yet challenging. The hybrid system decreases the customers' frustration when bots are unable to provide appropriate service and increases their satisfaction when they prefer to interact with human operators. Furthermore, we show that it is possible to decrease the cost and efforts of building and maintaining such virtual agents by enabling the virtual agent to incrementally learn from the human operators. We employ queuing theory to identify the key parameters that govern the behavior and efficiency of such hybrid systems and determine the main parameters that should be optimized in order to improve the service. We formally prove, and demonstrate in extensive simulations and in a user study, that with the proper choice of parameters, such hybrid systems are able to increase the number of served clients while simultaneously decreasing their expected waiting time and increasing satisfaction.


title: DUET: A Tuning-Free Device-Cloud Collaborative Parameters Generation Framework for Efficient Device Model Generalization

abstract: Device Model Generalization (DMG) is a practical yet under-investigated research topic for on-device machine learning applications. It aims to improve the generalization ability of pre-trained models when deployed on resource-constrained devices, such as improving the performance of pre-trained cloud models on smart mobiles. While quite a lot of works have investigated the data distribution shift across clouds and devices, most of them focus on model fine-tuning on personalized data for individual devices to facilitate DMG. Despite their promising, these approaches require on-device re-training, which is practically infeasible due to the overfitting problem and high time delay when performing gradient calculation on real-time data. In this paper, we argue that the computational cost brought by fine-tuning can be rather unnecessary. We consequently present a novel perspective to improving DMG without increasing computational cost, i.e., device-specific parameter generation which directly maps data distribution to parameters. Specifically, we propose an efficient Device-cloUd collaborative parametErs generaTion framework DUET. DUET is deployed on a powerful cloud server that only requires the low cost of forwarding propagation and low time delay of data transmission between the device and the cloud. By doing so, DUET can rehearse the device-specific model weight realizations conditioned on the personalized real-time data for an individual device. Importantly, our DUET elegantly connects the cloud and device as a 'duet' collaboration, frees the DMG from fine-tuning, and enables a faster and more accurate DMG paradigm. We conduct an extensive experimental study of DUET on three public datasets, and the experimental results confirm our framework's effectiveness and generalisability for different DMG tasks.


title: Multigoal-oriented a posteriori error control for heated material processing using a generalized Boussinesq model

abstract: In this work, we develop a posteriori error control for a generalized Boussinesq model in which thermal conductivity and viscosity are temperature-dependent. Therein, the stationary Navier-Stokes equations are coupled with a stationary heat equation. The coupled problem is modeled and solved in a monolithic fashion. The focus is on multigoal-oriented error estimation with the dual-weighted residual method in which an adjoint problem is utilized to obtain sensitivity measures with respect to several goal functionals. The error localization is achieved with the help of a partition-of-unity in a weak formulation, which is specifically convenient for coupled problems as we have at hand. The error indicators are used to employ adaptive algorithms, which are substantiated with several numerical tests such as one benchmark and two further experiments that are motivated from laser material processing. Therein, error reductions and effectivity indices are consulted to establish the robustness and efficiency of our framework.


title: Resilience of small PAHs in interstellar clouds: Efficient stabilization of cyanonaphthalene by fast radiative cooling

abstract: After decades of speculation and searching, astronomers have recently identified specific Polycyclic Aromatic Hydrocarbons (PAHs) in space. Remarkably, the observed abundance of cyanonaphthalene (CNN, C10H7CN) in the Taurus Molecular Cloud (TMC-1) is six orders of magnitude higher than expected from astrophysical modeling. Here, we report absolute unimolecular dissociation and radiative cooling rate coefficients of the 1-CNN isomer in its cationic form. These results are based on measurements of the time-dependent neutral product emission rate and Kinetic Energy Release distributions produced from an ensemble of internally excited 1-CNN + studied in an environment similar to that in interstellar clouds. We find that Recurrent Fluorescence - radiative relaxation via thermally populated electronic excited states - efficiently stabilizes 1-CNN+ , owing to a large enhancement of the electronic transition probability by vibronic coupling. Our results help explain the anomalous abundance of CNN in TMC-1 and challenge the widely accepted picture of rapid destruction of small PAHs in space.


title: Study of uranium oxide milling in order to obtain nanostructured UCx target

abstract: A R&D program is developed at the ALTO facility to provide new beams of exotic neutron-rich nuclei, as intense as possible. In the framework of European projects, it has been shown that the use of refractory targets with nanometric structure allows us to obtain beams of nuclei unreachable until now. The first parameter to be controlled in the processing to obtain targets with a homogeneous nanostructure is the grinding of uranium dioxide, down to 100 nm grain size. In this study, dry and wet grinding routes are studied and the powders are analyzed in terms of phase stabilization, specific surface area and grain morphology. It appears that the grinding, as well dry as wet, leads to the decrease of the particle size. The oxidation of UO2 is observed whatever the grinding. However, the dry grinding is the most efficient and leads to the oxidation of UO2 into U4O9 and U3O7 whose quantities increase with the grinding time while crystallite sizes decrease.


title: Bisimulations Respecting Duration and Causality for the Non-interleaving Applied $\pi$-Calculus

abstract: This paper shows how we can make use of an asynchronous transition system, whose transitions are labelled with events and which is equipped with a notion of independence of events, to define non-interleaving semantics for the applied $\pi$-calculus. The most important notions we define are: Start-Termination or ST-bisimilarity, preserving duration of events; and History-Preserving or HP- bisimilarity, preserving causality. We point out that corresponding similarity preorders expose clearly distinctions between these semantics. We draw particular attention to the distinguishing power of HP failure similarity, and discuss how it affects the attacker threat model against which we verify security and privacy properties. We also compare existing notions of located bisimilarity to the definitions we introduce.


title: From CCS to CSP: the m-among-n Synchronisation Approach

abstract: We present an alternative translation from CCS to an extension of CSP based on m-among-n synchronisation (called CSPmn). This translation is correct up to strong bisimulation. Unlike the g-star renaming approach ([4]), this translation is not limited by replication (viz., recursion with no nested parallel composition). We show that m-among-n synchronisation can be implemented in CSP based on multiway synchronisation and renaming.


title: At-the-edge Data Processing for Low Latency High Throughput Machine Learning Algorithms

abstract: High throughput and low latency data processing is essential for systems requiring live decision making, control, and machine learning-optimized data reduction. We focus on two distinct use cases for in-flight streaming data processing for a) X-ray pulse reconstruction at SLAC's LCLS-II Free-Electron Laser and b) control diagnostics at the DIII-D tokamak fusion reactor. Both cases exemplify high throughput and low latency control feedback and motivate our focus on machine learning at the edge where data processing and machine learning algorithms can be implemented in field programmable gate array based hardware immediately after the diagnostic sensors. We present our recent work on a data preprocessing chain which requires fast featurization for information encoding. We discuss several options for such algorithms with the primary focus on our discrete cosine and sine transform-based approach adapted for streaming data. These algorithms are primarily aimed at implementation in field programmable gate arrays, favoring linear algebra operations that are also aligned with the recent advances in inference accelerators for the computational edge.


title: Low rank prior and l0 norm to remove impulse noise in images

abstract: Patch-based low rank is an important prior assumption for image processing. Moreover, according to our calculation, the optimization of l0 norm corresponds to the maximum likelihood estimation under random-valued impulse noise. In this article, we thus combine exact rank and l0 norm for removing the noise. It is solved formally using the alternating direction method of multipliers (ADMM), with our previous patch-based weighted filter (PWMF) producing initial images. Since this model is not convex, we consider it as a Plug-and-Play ADMM, and do not discuss theoretical convergence properties. Experiments show that this method has very good performance, especially for weak or medium contrast images.


title: Style Variable and Irrelevant Learning for Generalizable Person Re-identification

abstract: Recently, due to the poor performance of supervised person re-identification (ReID) to an unseen domain, Domain Generalization (DG) person ReID has attracted a lot of attention which aims to learn a domain-insensitive model and can resist the influence of domain bias. In this paper, we first verify through an experiment that style factors are a vital part of domain bias. Base on this conclusion, we propose a Style Variable and Irrelevant Learning (SVIL) method to eliminate the effect of style factors on the model. Specifically, we design a Style Jitter Module (SJM) in SVIL. The SJM module can enrich the style diversity of the specific source domain and reduce the style differences of various source domains. This leads to the model focusing on identity-relevant information and being insensitive to the style changes. Besides, we organically combine the SJM module with a meta-learning algorithm, maximizing the benefits and further improving the generalization ability of the model. Note that our SJM module is plug-and-play and inference cost-free. Extensive experiments confirm the effectiveness of our SVIL and our method outperforms the state-of-the-art methods on DG-ReID benchmarks by a large margin.


title: On the distality and expansivity of certain maps on spheres

abstract: Any affine map on the (n+1)-dimensional Euclidean space gives rise to a natural map on the n-dimensional sphere whose dynamical aspects are not so well-studied in the literature. We explore the dynamical aspects of these maps by investigating about their distality and expansivity.


title: Equivalence of Collet-Eckmann conditions for slowly recurrent rational maps

abstract: In this short note we observe that within the family of slowly recurrent rational maps on the Riemann sphere, the Collet-Eckmann, second Collet-Eckmann, and topological Collet-Eckmann conditions are equivalent and also invariant under topological conjugacy.


title: A characterization of atomicity

abstract: In [Math. Proc. Cambridge Philos. Soc. 64 (1968), 251-264], P.M. Cohn famously claimed that a commutative domain is atomic if and only if it satisfies the ascending chain condition on principal ideals (ACCP). Some years later, a counterexample was provided by A. Grams in [Math. Proc. Cambridge Philos. Soc. 75 (1974), 321-329]: Every commutative domain with the ACCP is atomic, but not vice versa. This has led to the question of finding a sensible (ideal-theoretic) characterization of atomicity. The question (explicitly stated on p. 3 of A. Geroldinger and F. Halter-Koch's 2006 monograph on factorization) is still open. We settle it using the language of monoids and preorders.


title: $\beta$-CapsNet: Learning Disentangled Representation for CapsNet by Information Bottleneck

abstract: We present a framework for learning disentangled representation of CapsNet by information bottleneck constraint that distills information into a compact form and motivates to learn an interpretable factorized capsule. In our $\beta$-CapsNet framework, hyperparameter $\beta$ is utilized to trade-off disentanglement and other tasks, variational inference is utilized to convert the information bottleneck term into a KL divergence that is approximated as a constraint on the mean of the capsule. For supervised learning, class independent mask vector is used for understanding the types of variations synthetically irrespective of the image class, we carry out extensive quantitative and qualitative experiments by tuning the parameter $\beta$ to figure out the relationship between disentanglement, reconstruction and classfication performance. Furthermore, the unsupervised $\beta$-CapsNet and the corresponding dynamic routing algorithm is proposed for learning disentangled capsule in an unsupervised manner, extensive empirical evaluations suggest that our $\beta$-CapsNet achieves state-of-the-art disentanglement performance compared to CapsNet and various baselines on several complex datasets both in supervision and unsupervised scenes.


title: Dynamics of COVID-19 models with asymptomatic infections and quarantine measures

abstract: Considering the propagation characteristics of COVID-19 in different regions, the dynamics analysis and numerical demonstration of long-term and short-term models of COVID-19 are carried out, respectively. The long-term model is devoted to investigate the global stability of COVID-19 model with asymptomatic infections and quarantine measures. By using the limit system of the model and Lyapunov function method, it is shown that the COVID-19-free equilibrium $V^0$ is globally asymptotically stable if the control reproduction number $\mathcal{R}_{c}<1$ and globally attractive if $\mathcal{R}_{c}=1$, which means that COVID-19 will die out; the COVID-19 equilibrium $V^{\ast}$ is globally asymptotically stable if $\mathcal{R}_{c}>1$, which means that COVID-19 will be persistent. In particular, to obtain the local stability of $V^{\ast}$, we use proof by contradiction and the properties of complex modulus with some novel details, and we prove the weak persistence of the system to obtain the global attractivity of $V^{\ast}$. Moreover, the final size of the corresponding short-term model is calculated and the stability of its multiple equilibria is analyzed. Numerical simulations of COVID-19 cases show that quarantine measures and asymptomatic infections have a non-negligible impact on the transmission of COVID-19.


title: Robust design optimization for enhancing delamination resistance of composites

abstract: Recent developments in the field of computational modeling of fracture have opened up possibilities for designing structures against failure. A special case, called interfacial fracture or delamination, can occur in loaded composite structures where two or more materials are bonded together at comparatively weak interfaces. Due to the potential crack growth along these interfaces, the structural problem suffers from snap-back/snap-through instabilities and bifurcations with respect to the model parameters, leading to noisy and discontinuous responses. For such a case, the design optimization problem for a selected quantity of interest is ill-posed, since small variations in the design parameters can lead to large jumps in the structural response. To this end, this paper presents a stochastic optimization approach to maximize delamination resistance that is less sensitive to small perturbations of the design and thereby leads to a robust solution. To overcome the intractability of Monte Carlo methods for estimating the expected value of the expensive-to-evaluate response function, a global, piecewise-constant surrogate is constructed based on nearest-neighbor interpolation that is iteratively refined during the optimization run. We found that by taking a large stochastic region at the beginning of the optimization and gradually reducing it to the desired one can help overcome poor local optima. Our results demonstrate the effectiveness of the proposed framework using an example of shape optimization of hard inclusions embedded in a double-cantilever beam, which significantly enhances delamination resistance.


title: Rotation Measure Variations and Reversals of Repeating Fast Radio Bursts in Massive Binary Systems

abstract: Recent observations discovered that some repeating fast radio bursts (FRBs) show complicated variations and reversals of Faraday rotation measures (RMs), indicating that the sources of these FRBs are embedded in a dynamically magnetized environment. One possible scenario is that repeating FRBs are generated by pulsars in binary systems, especially containing a high-mass companion with strong stellar outflows. Here, we study the RM variations caused by stellar winds, and a possible stellar disc. If the magnetic field is radial in the stellar wind, RM will not reverse except if the magnetic axis inclination angle is close to $90 ^\circ$. For the toroidal magnetic field in the wind, RM will reverse at the super conjunction. For the case of the toroidal field in the disc, the RM variations may have a multimodal and multiple reversal profile because the radio signals travel through different components of the disc during periastron passage. We also apply this model to FRB 20180916B. By assuming its 16.35-day period is from a slowly rotating or freely precessing magnetar, we find that the secular RM variation can be explained by the periastron passage of a magnetar in a massive binary system. In addition, the clumps in the stellar wind and disc can cause short time-scale ($< 1$ day) variations or reversals of RM. Therefore, long-term monitoring of RM variations can reveal the environments of repeating FRBs.


title: SmartKex: Machine Learning Assisted SSH Keys Extraction From The Heap Dump

abstract: Digital forensics is the process of extracting, preserving, and documenting evidence in digital devices. A commonly used method in digital forensics is to extract data from the main memory of a digital device. However, the main challenge is identifying the important data to be extracted. Several pieces of crucial information reside in the main memory, like usernames, passwords, and cryptographic keys such as SSH session keys. In this paper, we propose SmartKex, a machine-learning assisted method to extract session keys from heap memory snapshots of an OpenSSH process. In addition, we release an openly available dataset and the corresponding toolchain for creating additional data. Finally, we compare SmartKex with naive brute-force methods and empirically show that SmartKex can extract the session keys with high accuracy and high throughput. With the provided resources, we intend to strengthen the research on the intersection between digital forensics, cybersecurity, and machine learning.


title: Universal Backdoor Attacks Detection via Adaptive Adversarial Probe

abstract: Extensive evidence has demonstrated that deep neural networks (DNNs) are vulnerable to backdoor attacks, which motivates the development of backdoor attacks detection. Most detection methods are designed to verify whether a model is infected with presumed types of backdoor attacks, yet the adversary is likely to generate diverse backdoor attacks in practice that are unforeseen to defenders, which challenge current detection strategies. In this paper, we focus on this more challenging scenario and propose a universal backdoor attacks detection method named Adaptive Adversarial Probe (A2P). Specifically, we posit that the challenge of universal backdoor attacks detection lies in the fact that different backdoor attacks often exhibit diverse characteristics in trigger patterns (i.e., sizes and transparencies). Therefore, our A2P adopts a global-to-local probing framework, which adversarially probes images with adaptive regions/budgets to fit various backdoor triggers of different sizes/transparencies. Regarding the probing region, we propose the attention-guided region generation strategy that generates region proposals with different sizes/locations based on the attention of the target model, since trigger regions often manifest higher model activation. Considering the attack budget, we introduce the box-to-sparsity scheduling that iteratively increases the perturbation budget from box to sparse constraint, so that we could better activate different latent backdoors with different transparencies. Extensive experiments on multiple datasets (CIFAR-10, GTSRB, Tiny-ImageNet) demonstrate that our method outperforms state-of-the-art baselines by large margins (+12%).


title: Continual learning benefits from multiple sleep mechanisms: NREM, REM, and Synaptic Downscaling

abstract: Learning new tasks and skills in succession without losing prior learning (i.e., catastrophic forgetting) is a computational challenge for both artificial and biological neural networks, yet artificial systems struggle to achieve parity with their biological analogues. Mammalian brains employ numerous neural operations in support of continual learning during sleep. These are ripe for artificial adaptation. Here, we investigate how modeling three distinct components of mammalian sleep together affects continual learning in artificial neural networks: (1) a veridical memory replay process observed during non-rapid eye movement (NREM) sleep; (2) a generative memory replay process linked to REM sleep; and (3) a synaptic downscaling process which has been proposed to tune signal-to-noise ratios and support neural upkeep. We find benefits from the inclusion of all three sleep components when evaluating performance on a continual learning CIFAR-100 image classification benchmark. Maximum accuracy improved during training and catastrophic forgetting was reduced during later tasks. While some catastrophic forgetting persisted over the course of network training, higher levels of synaptic downscaling lead to better retention of early tasks and further facilitated the recovery of early task accuracy during subsequent training. One key takeaway is that there is a trade-off at hand when considering the level of synaptic downscaling to use - more aggressive downscaling better protects early tasks, but less downscaling enhances the ability to learn new tasks. Intermediate levels can strike a balance with the highest overall accuracies during training. Overall, our results both provide insight into how to adapt sleep components to enhance artificial continual learning systems and highlight areas for future neuroscientific sleep research to further such systems.


title: 3D radiative transfer kilonova modelling for binary neutron star merger simulations

abstract: The detection of GW170817 and the accompanying electromagnetic counterpart, AT2017gfo, have provided an important set of observational constraints for theoretical models of neutron star mergers, nucleosynthesis, and radiative transfer for kilonovae. We apply the 3D Monte Carlo radiative transfer code ARTIS to produce synthetic light curves of the dynamical ejecta from a neutron star merger, which has been modelled with 3D smooth-particle hydrodynamics (SPH) and included neutrino interactions. Nucleosynthesis calculations provide the energy released from radioactive decays of r-process nuclei, and radiation transport is performed using grey opacities given as functions of the electron fraction. We present line-of-sight dependent bolometric light curves, and find the emission along polar lines of sight to be up to a factor of ~2 brighter than along equatorial lines of sight. Instead of a distinct emission peak, our bolometric light curve exhibits a monotonic decline, characterised by a shoulder at the time when the bulk ejecta becomes optically thin. We show approximate band light curves based on radiation temperatures and compare these to the observations of AT2017gfo. We find that the rapidly declining temperatures lead to a blue to red colour evolution similar to that shown by AT2017gfo. We also investigate the impact of an additional, spherically symmetric secular ejecta component, and we find that the early light curve remains nearly unaffected, while after about 1 day the emission is strongly enhanced and dominated by the secular ejecta, leading to the shift of the shoulder from 1-2 to 6-10 days.


title: TrackletMapper: Ground Surface Segmentation and Mapping from Traffic Participant Trajectories

abstract: Robustly classifying ground infrastructure such as roads and street crossings is an essential task for mobile robots operating alongside pedestrians. While many semantic segmentation datasets are available for autonomous vehicles, models trained on such datasets exhibit a large domain gap when deployed on robots operating in pedestrian spaces. Manually annotating images recorded from pedestrian viewpoints is both expensive and time-consuming. To overcome this challenge, we propose TrackletMapper, a framework for annotating ground surface types such as sidewalks, roads, and street crossings from object tracklets without requiring human-annotated data. To this end, we project the robot ego-trajectory and the paths of other traffic participants into the ego-view camera images, creating sparse semantic annotations for multiple types of ground surfaces from which a ground segmentation model can be trained. We further show that the model can be self-distilled for additional performance benefits by aggregating a ground surface map and projecting it into the camera images, creating a denser set of training annotations compared to the sparse tracklet annotations. We qualitatively and quantitatively attest our findings on a novel large-scale dataset for mobile robots operating in pedestrian areas. Code and dataset will be made available at http://trackletmapper.cs.uni-freiburg.de.


title: Inertia and spectral symmetry of eccentricity matrices of some clique trees

abstract: The eccentricity matrix $\mathcal E(G)$ of a connected graph $G$ is obtained from the distance matrix of $G$ by leaving unchanged the largest nonzero entries in each row and each column, and replacing the remaining ones with zeros. In this paper, we consider the set $\mathcal C \mathcal T$ of clique trees whose blocks have at most two cut-vertices \textcolor{blue}{of the clique tree}. After proving the irreducibility of the eccentricity matrix of a clique tree in $\mathcal C \mathcal T$ and finding its inertia indices, we show that every graph in $\mathcal C \mathcal T$ with more than $4$ vertices and odd diameter has two positive and two negative $\mathcal E$-eigenvalues. Positive $\mathcal E$-eigenvalues and negative $\mathcal E$-eigenvalues turn out to be equal in number even for graphs in $\mathcal C \mathcal T$ with even diameter; that shared cardinality also counts the \textcolor{blue}{`diametrally distinguished'} vertices. Finally, we prove that the spectrum of the eccentricity matrix of a clique tree $G$ in $\mathcal C \mathcal T$ is symmetric with respect to the origin if and only if $G$ has an odd diameter and exactly two adjacent central vertices.


title: Electrically charged multi-field configurations

abstract: In this work we investigate the presence of electrically charged structures that are localized in two and three spatial dimensions. We use the Maxwell-scalar Lagrangian to describe several systems with distinct interactions for the scalar fields. The procedure relies on finding first order differential equations that solve the equations of motion and ensure stability of the corresponding minimum energy solutions. We illustrate the many possibilities in two and in three spatial dimensions, examining different examples of electrically charged solutions that engender internal structure


title: Looplets: A Language For Structured Coiteration

abstract: Real world arrays often contain underlying structure, such as sparsity, runs of repeated values, or symmetry. Specializing for structure yields significant speedups. But automatically generating efficient code for structured data is challenging, especially when arrays with different structure interact. We show how to abstract over array structures so that the compiler can generate code to coiterate over any combination of them. Our technique enables new array formats (such as 1DVBL for irregular clustered sparsity), new iteration strategies (such as galloping intersections), and new operations over structured data (such as concatenation or convolution).


title: Spotting Virus from Satellites: Modeling the Circulation of West Nile Virus Through Graph Neural Networks

abstract: The occurrence of West Nile Virus (WNV) represents one of the most common mosquito-borne zoonosis viral infections. Its circulation is usually associated with climatic and environmental conditions suitable for vector proliferation and virus replication. On top of that, several statistical models have been developed to shape and forecast WNV circulation: in particular, the recent massive availability of Earth Observation (EO) data, coupled with the continuous advances in the field of Artificial Intelligence, offer valuable opportunities. In this paper, we seek to predict WNV circulation by feeding Deep Neural Networks (DNNs) with satellite images, which have been extensively shown to hold environmental and climatic features. Notably, while previous approaches analyze each geographical site independently, we propose a spatial-aware approach that considers also the characteristics of close sites. Specifically, we build upon Graph Neural Networks (GNN) to aggregate features from neighbouring places, and further extend these modules to consider multiple relations, such as the difference in temperature and soil moisture between two sites, as well as the geographical distance. Moreover, we inject time-related information directly into the model to take into account the seasonality of virus spread. We design an experimental setting that combines satellite images - from Landsat and Sentinel missions - with ground truth observations of WNV circulation in Italy. We show that our proposed Multi-Adjacency Graph Attention Network (MAGAT) consistently leads to higher performance when paired with an appropriate pre-training stage. Finally, we assess the importance of each component of MAGAT in our ablation studies.


title: ErgoExplorer: Interactive Ergonomic Risk Assessment from Video Collections

abstract: Ergonomic risk assessment is now, due to an increased awareness, carried out more often than in the past. The conventional risk assessment evaluation, based on expert-assisted observation of the workplaces and manually filling in score tables, is still predominant. Data analysis is usually done with a focus on critical moments, although without the support of contextual information and changes over time. In this paper we introduce ErgoExplorer, a system for the interactive visual analysis of risk assessment data. In contrast to the current practice, we focus on data that span across multiple actions and multiple workers while keeping all contextual information. Data is automatically extracted from video streams. Based on carefully investigated analysis tasks, we introduce new views and their corresponding interactions. These views also incorporate domain-specific score tables to guarantee an easy adoption by domain experts. All views are integrated into ErgoExplorer, which relies on coordinated multiple views to facilitate analysis through interaction. ErgoExplorer makes it possible for the first time to examine complex relationships between risk assessments of individual body parts over long sessions that span multiple operations. The newly introduced approach supports analysis and exploration at several levels of detail, ranging from a general overview, down to inspecting individual frames in the video stream, if necessary. We illustrate the usefulness of the newly proposed approach applying it to several datasets.


title: Transfer Learning and Vision Transformer based State-of-Health prediction of Lithium-Ion Batteries

abstract: In recent years, significant progress has been made in transportation electrification. And lithium-ion batteries (LIB), as the main energy storage devices, have received widespread attention. Accurately predicting the state of health (SOH) can not only ease the anxiety of users about the battery life but also provide important information for the management of the battery. This paper presents a prediction method for SOH based on Vision Transformer (ViT) model. First, discrete charging data of a predefined voltage range is used as an input data matrix. Then, the cycle features of the battery are captured by the ViT which can obtain the global features, and the SOH is obtained by combining the cycle features with the full connection (FC) layer. At the same time, transfer learning (TL) is introduced, and the prediction model based on source task battery training is further fine-tuned according to the early cycle data of the target task battery to provide an accurate prediction. Experiments show that our method can obtain better feature expression compared with existing deep learning methods so that better prediction effect and transfer effect can be achieved.


title: Analysis of an Induction Machine Fed by a Space Vector Modulated VSI

abstract: This paper describes the analysis and simulation performed on a three phase squirrel cage induction motor, fed by a Voltage Source Inverter (VSI), modulated using the space vector modulation scheme. The study mainly focused on analyzing the motor performance when fed by a space vector modulated voltage source inverter. The effect of switching frequency on the motor current ripple as well as the frequency spectra of motor current, voltage and torque were studied. The transient response of the inverter-fed motor for a sudden load change was studied and compared to that of a motor fed with an ideal AC source. Results from these studies performed as computer simulations are presented and analyzed.


title: A Causal-based Approach to Explain, Predict and Prevent Failures in Robotic Tasks

abstract: Robots working in real environments need to adapt to unexpected changes to avoid failures. This is an open and complex challenge that requires robots to timely predict and identify the causes of failures to prevent them. In this paper, we present a causal method that will enable robots to predict when errors are likely to occur and prevent them from happening by executing a corrective action. First, we propose a causal-based method to detect the cause-effect relationships between task executions and their consequences by learning a causal Bayesian network (BN). The obtained model is transferred from simulated data to real scenarios to demonstrate the robustness and generalization of the obtained models. Based on the causal BN, the robot can predict if and why the executed action will succeed or not in its current state. Then, we introduce a novel method that finds the closest state alternatives through a contrastive Breadth-First-Search if the current action was predicted to fail. We evaluate our approach for the problem of stacking cubes in two cases; a) single stacks (stacking one cube) and; b) multiple stacks (stacking three cubes). In the single-stack case, our method was able to reduce the error rate by 97%. We also show that our approach can scale to capture multiple actions in one model, allowing to measure timely shifted action effects, such as the impact of an imprecise stack of the first cube on the stacking success of the third cube. For these complex situations, our model was able to prevent around 75% of the stacking errors, even for the challenging multiple-stack scenario. Thus, demonstrating that our method is able to explain, predict, and prevent execution failures, which even scales to complex scenarios that require an understanding of how the action history impacts future actions.


title: Lyapunov stabilization for nonlocal traffic flow models

abstract: Using a nonlocal second-order traffic flow model we present an approach to control the dynamics towards a steady state. The system is controlled by the leading vehicle driving at a prescribed velocity and also determines the steady state. Thereby, we consider both, the microscopic and macroscopic scales. We show that the fixed point of the microscopic traffic flow model is asymptotically stable for any kernel function. Then, we present Lyapunov functions for both, the microscopic and macroscopic scale, and compute the explicit rates at which the vehicles influenced by the nonlocal term tend towards the stationary solution. We obtain the stabilization effect for a constant kernel function and arbitrary initial data or concave kernels and monotone initial data. Numerical examples demonstrate the theoretical results.


title: TruVR: Trustworthy Cybersickness Detection using Explainable Machine Learning

abstract: Cybersickness can be characterized by nausea, vertigo, headache, eye strain, and other discomforts when using virtual reality (VR) systems. The previously reported machine learning (ML) and deep learning (DL) algorithms for detecting (classification) and predicting (regression) VR cybersickness use black-box models; thus, they lack explainability. Moreover, VR sensors generate a massive amount of data, resulting in complex and large models. Therefore, having inherent explainability in cybersickness detection models can significantly improve the model's trustworthiness and provide insight into why and how the ML/DL model arrived at a specific decision. To address this issue, we present three explainable machine learning (xML) models to detect and predict cybersickness: 1) explainable boosting machine (EBM), 2) decision tree (DT), and 3) logistic regression (LR). We evaluate xML-based models with publicly available physiological and gameplay datasets for cybersickness. The results show that the EBM can detect cybersickness with an accuracy of 99.75% and 94.10% for the physiological and gameplay datasets, respectively. On the other hand, while predicting the cybersickness, EBM resulted in a Root Mean Square Error (RMSE) of 0.071 for the physiological dataset and 0.27 for the gameplay dataset. Furthermore, the EBM-based global explanation reveals exposure length, rotation, and acceleration as key features causing cybersickness in the gameplay dataset. In contrast, galvanic skin responses and heart rate are most significant in the physiological dataset. Our results also suggest that EBM-based local explanation can identify cybersickness-causing factors for individual samples. We believe the proposed xML-based cybersickness detection method can help future researchers understand, analyze, and design simpler cybersickness detection and reduction models.


title: On the Energy Consumption of Different Dataframe Processing Libraries -- An Exploratory Study

abstract: Background: The energy consumption of machine learning and its impact on the environment has made energy efficient ML an emerging area of research. However, most of the attention stays focused on the model creation and the training and inferencing phase. Data oriented stages like preprocessing, cleaning and exploratory analysis form a critical part of the machine learning workflow. However, the energy efficiency of these stages have gained little attention from the researchers. Aim: Our study aims to explore the energy consumption of different dataframe processing libraries as a first step towards studying the energy efficiency of the data oriented stages of the machine learning pipeline. Method: We measure the energy consumption of 3 popular libraries used to work with dataframes, namely Pandas, Vaex and Dask for 21 different operations grouped under 4 categories on 2 datasets. Results: The results of our analysis show that for a given dataframe processing operation, the choice of library can indeed influence the energy consumption with some libraries consuming 202 times lesser energy over others. Conclusion: The results of our study indicates that there is a potential for optimizing the energy consumption of the data oriented stages of the machine learning pipeline and further research is needed in the direction.


title: Every graph with no $\mathcal{K}_9^{-6}$ minor is $8$-colorable

abstract: For positive integers $t$ and $s$, let $\mathcal{K}_t^{-s}$ denote the family of graphs obtained from the complete graph $K_t$ by removing $s$ edges. A graph $G$ has no $\mathcal{K}_t^{-s}$ minor if it has no $H$ minor for every $H\in \mathcal{K}_t^{-s}$. Motivated by the famous Hadwiger's Conjecture, Jakobsen in 1971 proved that every graph with no $\mathcal{K}_7^{-2}$ minor is $6$-colorable; very recently the present authors proved that every graph with no $\mathcal{K}_8^{-4}$ minor is $7$-colorable. In this paper we continue our work and prove that every graph with no $\mathcal{K}_9^{-6}$ minor is $8$-colorable. Our result implies that $H$-Hadwiger's Conjecture, suggested by Paul Seymour in 2017, is true for all graphs $H$ on nine vertices such that $H$ is a subgraph of every graph in $ \mathcal{K}_9^{-6}$.


title: NuSmear: Fast Simulation of Energy Smearing and Angular Smearing for Neutrino-Nucleon Scattering Events in the GENIE Event Generator

abstract: Complete Monte Carlo (MC) simulation of a neutrino experiment typically involves the lengthy and CPU-intensive process of integrating models of incoming neutrino fluxes, event generation, and detector setup. We describe a fast, geometry-independent, GENIE-based system known as NuSmear which provides preliminary simulation of energy smearing and angular smearing for neutrino-nucleon interactions. We discuss NuSmear's simulation methodology, explaining its calculation of reconstructed values through its model-based resolution computation, smearing distributions, and particle detection dependencies. We go on to validate NuSmear's performance as a fast simulation system through a series of internal and external comparisons testing its predictive accuracy and model-adherence. Finally, we briefly explore the potential for future user-customization in NuSmear.


title: Interstellar absorption and dust scattering

abstract: The study of the interstellar medium (ISM) in the X-rays has entered a golden age with the advent of the X-ray observatories XMM-Newton and Chandra. High-energy resolution allowed to study dust spectroscopic features with unprecedented detail. At the same time, the X-ray imaging capabilities offered a new perspective of dust scattering halos. Both spectroscopy and imaging rely on a simple geometry, where a distant X-ray source, usually a bright X-ray binary system, lies behind a multi-layered ISM. X-ray binaries can be found in different regions in the Galaxy, providing the unique chance to study the ISM in distinct environments. In the following we will describe how X-rays can be used as a tool to study gas and dust along the line of sight, revealing elemental abundances and depletion. The study of interstellar dust spectroscopic and imaging features can be used to extract the chemical and physical properties of the intervening dust, as well as its distribution along the line of sight.


title: Squeezed spectra and elliptic flow of bosons and anti-bosons with in-medium mass splitting

abstract: We study the impact of the in-medium mass splitting between bosons and anti-bosons on their spectra and elliptic flow. The in-medium mass splitting may cause a separation in the transverse momentum spectra, as well as a division in the elliptic flow between bosons and anti-bosons. The magnitude of this effect becomes greater as the in-medium mass splitting increases. With the increasing rapidity, the splitting effect of the spectra increases and the splitting effect of the elliptic flow decreases. These phenomena may provide a way to differentiate whether the influences on boson and anti-boson in the medium are consistent.


title: A new hazard event classification model via deep learning and multifractal

abstract: Hazard and operability analysis (HAZOP) is the paradigm of industrial safety that can reveal the hazards of process from its node deviations, consequences, causes, measures and suggestions, and such hazards can be considered as hazard events (HaE). The classification research on HaE has much irreplaceable pragmatic values. In this paper, we present a novel deep learning model termed DLF through multifractal to explore HaE classification where the motivation is that HaE can be naturally regarded as a kind of time series. Specifically, first HaE is vectorized to get HaE time series by employing BERT. Then, a new multifractal analysis method termed HmF-DFA is proposed to win HaE fractal series by analyzing HaE time series. Finally, a new hierarchical gating neural network (HGNN) is designed to process HaE fractal series to accomplish the classification of HaE from three aspects: severity, possibility and risk. We take HAZOP reports of 18 processes as cases, and launch the experiments on this basis. Results demonstrate that compared with other classifiers, DLF classifier performs better under metrics of precision, recall and F1-score, especially for the severity aspect. Also, HmF-DFA and HGNN effectively promote HaE classification. Our HaE classification system can serve application incentives to experts, engineers, employees, and other enterprises. We hope our research can contribute added support to the daily practice in industrial safety.


title: The 4-player gambler's ruin problem

abstract: This work explains how to utilize earlier results by P. Diaconis, K. Houston-Edwards and the second author to estimate probabilities related to the 4-player gambler ruin problem. For instance, we show that the probability that a very dominant player (i.e., a player starting with all but 3 chips distributed among the remaining players) is first to loose is of order $N^{-\alpha}$ where $\alpha$ is approximately $5.68$. In the $3$-player game, this probability is or order $N^{-3}$. We note it is futile to attempt to give heuristic/intuitive explanations for the value of $\alpha$. This value is obtained via an explicit formula relating $\alpha$ to the Dirichlet eigenvalue $\lambda$ (zero boundary condition) of the spherical Laplacian in the equilateral spherical triangle on the unit sphere $\mathbb S^2$ that corresponds to a unit simplex with one vertex placed at the origin in Euclidean $3$-space. The value of $\lambda$ is estimated using a finite-difference-type algorithm developed by Grady Wright.


title: Emulation and History Matching using the hmer Package

abstract: Modelling complex real-world situations such as infectious diseases, geological phenomena, and biological processes can present a dilemma: the computer model (referred to as a simulator) needs to be complex enough to capture the dynamics of the system, but each increase in complexity increases the evaluation time of such a simulation, making it difficult to obtain an informative description of parameter choices that would be consistent with observed reality. While methods for identifying acceptable matches to real-world observations exist, for example optimisation or Markov chain Monte Carlo methods, they may result in non-robust inferences or may be infeasible for computationally intensive simulators. The techniques of emulation and history matching can make such determinations feasible, efficiently identifying regions of parameter space that produce acceptable matches to data while also providing valuable information about the simulator's structure, but the mathematical considerations required to perform emulation can present a barrier for makers and users of such simulators compared to other methods. The hmer package provides an accessible framework for using history matching and emulation on simulator data, leveraging the computational efficiency of the approach while enabling users to easily match to, visualise, and robustly predict from their complex simulators.


title: Force-dependent elasticity of nucleic acids

abstract: The functioning of double-stranded (ds) nucleic acids (NAs) in cellular processes is strongly mediated by their elastic response. These processes involve proteins that interact with dsDNA or dsRNA and distort their structures. The perturbation of the elasticity of NAs arising from these deformations is not properly considered by most theoretical frameworks. In this work, we introduce a novel method to assess the impact of mechanical stress on the elastic response of dsDNA and dsRNA through the analysis of the fluctuations of the double helix. Application of this approach to atomistic simulations reveals qualitative differences in the force dependence of the mechanical properties of dsDNA with respect to those of dsRNA, which we relate to structural features of these molecules by means of physically-sound minimalistic models.

categories: physics.bio-ph cond-mat.soft physics.chem-ph q-bio.BM