title: The Importance of Discerning Flaky from Fault-triggering Test Failures: A Case Study on the Chromium CI

abstract: Flaky tests are tests that pass and fail on different executions of the same version of a program under test. They waste valuable developer time by making developers investigate false alerts (flaky test failures). To deal with this problem, many prediction methods that identify flaky tests have been proposed. While promising, the actual utility of these methods remains unclear since they have not been evaluated within a continuous integration (CI) process. In particular, it remains unclear what is the impact of missed faults, i.e., the consideration of fault-triggering test failures as flaky, at different CI cycles. To fill this gap, we apply state-of-the-art flakiness prediction methods at the Chromium CI and check their performance. Perhaps surprisingly, we find that, despite the high precision (99.2%) of the methods, their application leads to numerous faults missed, approximately 76.2% of all regression faults. To explain this result, we analyse the fault-triggering failures and show that flaky tests have a strong fault-revealing capability, i.e., they reveal more than 1/3 of all regression faults, indicating an inherent limitation of all methods focusing on identifying flaky tests, instead of flaky test failures. Going a step further, we build failure-focused prediction methods and optimize them by considering new features. Interestingly, we find that these methods perform better than the test-focused ones, with an MCC increasing from 0.20 to 0.42. Overall, our findings imply that on the one hand future research should focus on predicting flaky test failures instead of flaky tests and the need for adopting more thorough experimental methodologies when evaluating flakiness prediction methods, on the other.


title: The Swiss Gambit

abstract: In each round of a Swiss-system tournament, players of similar score are paired against each other. An intentional early loss therefore might lead to weaker opponents in later rounds and thus to a better final tournament result - a phenomenon known as the Swiss Gambit. To the best of our knowledge it is an open question whether this strategy can actually work. This paper provides answers based on an empirical agent-based analysis for the most prominent application area of the Swiss-system format, namely chess tournaments. We simulate realistic tournaments by employing the official FIDE pairing system for computing the player pairings in each round. We show that even though gambits are widely possible in Swiss-system chess tournaments, profiting from them requires a high degree of predictability of match results. Moreover, even if a Swiss Gambit succeeds, the obtained improvement in the final ranking is limited. Our experiments prove that counting on a Swiss Gambit is indeed a lot more of a risky gambit than a reliable strategy to improve the final rank.


title: Solar coronal magnetic field measurements using spectral lines available in Hinode/EIS observations: Strong and weak field techniques and temperature diagnostics

abstract: Recently, it has been proposed that the magnetic-field-induced transition (MIT) in Fe X can be used to measure coronal magnetic field strengths. Several techniques, the direct line ratio technique and the weak and strong magnetic field techniques, are developed to apply the MIT theory to spectroscopic observations taken by EUV Imaging Spectrometer (EIS) onboard Hinode. However, the suitability of coronal magnetic field measurements based on the weak and strong magnetic field techniques has not been evaluated. Besides, temperature diagnostics is also important for measuring coronal magnetic field based on the MIT theory, but how to determine the accurate formation temperature of the Fe X lines from EIS observations still needs investigation. In this study, we synthesized emissions of several spectral lines from a 3D radiation magnetohydrodynamic model of a solar active region, and then derived magnetic field strengths using different methods. We first compared the magnetic field strengths derived from the weak and strong magnetic field techniques to the values in the model. Our study suggests that both weak and strong magnetic field techniques underestimate the coronal magnetic field strength. Then we developed two methods to calculate the formation temperature of the Fe X lines. One is based on differential emission measure analyses, and the other is deriving temperature from the Fe IX and Fe XI line pairs. However, neither of the two methods can provide temperature determination for accurate coronal magnetic field measurements as those derived from the Fe X 174/175 and 184/345 {\AA} line ratios. More efforts are still needed for accurate coronal magnetic field measurements using EIS observations.


title: Can a Bohmian be a Rovellian for all practical purposes?

abstract: The aim of this article is to discuss the preferred basis problem in relational quantum mechanics (RQM). The issue is at the heart of quantum mechanics and we first show that the mathematical formalism of RQM is immune to recent critics concerning consistency. Moreover, we also analyse the notion of interaction in RQM and provide a For All Practical Purposes (FAPP) reading of RQM comparing it with Bohmian mechanics.


title: Multilinear Fourier Integral operators on modulation spaces

abstract: In this article, we study properties of multilinear Fourier integral operators on weighted modulation spaces. In particular, using the theory of Gabor frames, we study boundedness of multilinear Fourier integral operators on products of weighted modulation spaces. Further, we investigate the periodic multilinear Fourier integral operator. Finally, we study continuity of bilinear pseudo-differential operators on modulation spaces for certain symbol classes, namely $\textbf{SG}$-class.


title: The construction of ceRNAs network reveals the prognostic characteristics of prostate cancer

abstract: The dysregulation of transcripts is characterized as one of the main mechanisms in tumor pathogenesis. The recent discovery developed a new hypothesis, competitive endogenous RNAs (ceRNAs), which could regulate other RNA transcripts via competing for their shared miRNAs. The interaction of elements in ceRNAs network was involved in a large range of biological reactions and facilitate to cancer progression. In this study, we performed a comprehensive investigation on the regulatory mechanisms and functional roles of ceRNAs in prostate cancer (PCa) and constructed a ceRNAs network which could possess potential value in patient prognosis and be evaluated as therapeutic targets for PCa.


title: Texturize a GAN Using a Single Image

abstract: Can we customize a deep generative model which can generate images that can match the texture of some given image? When you see an image of a church, you may wonder if you can get similar pictures for that church. Here we present a method, for adapting GANs with one reference image, and then we can generate images that have similar textures to the given image. Specifically, we modify the weights of the pre-trained GAN model, guided by the reference image given by the user. We use a patch discriminator adversarial loss to encourage the output of the model to match the texture on the given image, also we use a laplacian adversarial loss to ensure diversity and realism, and alleviate the contradiction between the two losses. Experiments show that the proposed method can make the outputs of GANs match the texture of the given image as well as keep diversity and realism.


title: Few-shot Detection of Anomalies in Industrial Cyber-Physical System via Prototypical Network and Contrastive Learning

abstract: The rapid development of Industry 4.0 has amplified the scope and destructiveness of industrial Cyber-Physical System (CPS) by network attacks. Anomaly detection techniques are employed to identify these attacks and guarantee the normal operation of industrial CPS. However, it is still a challenging problem to cope with scenarios with few labeled samples. In this paper, we propose a few-shot anomaly detection model (FSL-PN) based on prototypical network and contrastive learning for identifying anomalies with limited labeled data from industrial CPS. Specifically, we design a contrastive loss to assist the training process of the feature extractor and learn more fine-grained features to improve the discriminative performance. Subsequently, to tackle the overfitting issue during classifying, we construct a robust cost function with a specific regularizer to enhance the generalization capability. Experimental results based on two public imbalanced datasets with few-shot settings show that the FSL-PN model can significantly improve F1 score and reduce false alarm rate (FAR) for identifying anomalous signals to guarantee the security of industrial CPS.


title: SU-Net: Pose estimation network for non-cooperative spacecraft on-orbit

abstract: Spacecraft pose estimation plays a vital role in many on-orbit space missions, such as rendezvous and docking, debris removal, and on-orbit maintenance. At present, space images contain widely varying lighting conditions, high contrast and low resolution, pose estimation of space objects is more challenging than that of objects on earth. In this paper, we analyzing the radar image characteristics of spacecraft on-orbit, then propose a new deep learning neural Network structure named Dense Residual U-shaped Network (DR-U-Net) to extract image features. We further introduce a novel neural network based on DR-U-Net, namely Spacecraft U-shaped Network (SU-Net) to achieve end-to-end pose estimation for non-cooperative spacecraft. Specifically, the SU-Net first preprocess the image of non-cooperative spacecraft, then transfer learning was used for pre-training. Subsequently, in order to solve the problem of radar image blur and low ability of spacecraft contour recognition, we add residual connection and dense connection to the backbone network U-Net, and we named it DR-U-Net. In this way, the feature loss and the complexity of the model is reduced, and the degradation of deep neural network during training is avoided. Finally, a layer of feedforward neural network is used for pose estimation of non-cooperative spacecraft on-orbit. Experiments prove that the proposed method does not rely on the hand-made object specific features, and the model has robust robustness, and the calculation accuracy outperforms the state-of-the-art pose estimation methods. The absolute error is 0.1557 to 0.4491 , the mean error is about 0.302 , and the standard deviation is about 0.065 .


title: Dangerously Driven Cars Need to Go First

abstract: We propose that dangerously driven vehicles take a higher priority in multiple access for vehicle-to-everything communications (V2X). As more vehicles communicate, it is one's easy anticipation that the air interface will be crowded and thus a high magnitude of interference occurs. In response to this issue, we propose to prioritize the multiple access according to the driver's risky behavior while driving. Specifically, we build a driving simulator that aims at capturing the driver's distraction. The level of distraction will be measured in terms of (i) eye movement and (ii) motion. We build a number of different traffic scenarios including suburban highway, urban junction, etc. This research features an open source-based, thus low-cost, implementation of the driving simulator. Then, we apply the quantified driver's distraction level to the optimization of V2X multiple access.


title: Invariant subspaces of $T$-palindromic pencils and algebraic $T$-Riccati equations

abstract: By exploiting the connection between solving algebraic $\top$-Riccati equations and computing certain deflating subspaces of $\top$-palindromic matrix pencils, we obtain theoretical and computational results on both problems. Theoretically, we introduce conditions to avoid the presence of modulus-one eigenvalues in a $\top$-palindromic matrix pencil and conditions for the existence of solutions of a $\top$-Riccati equation. Computationally, we improve the palindromic QZ algorithm with a new ordering procedure and introduce new algorithms for computing a deflating subspace of the $\top$-palindromic pencil, based on quadraticizations of the pencil or on an integral representation of the orthogonal projector on the sought deflating subspace.


title: Ultraluminous X-ray sources

abstract: The study of ultraluminous X-ray sources (ULXs) has changed dramatically over the last decade. In this review we first describe the most important observations of ULXs in various wavebands, and across multiple scales in space and time. We discuss recent progress and current unanswered questions. We consider the range of current theories of ULX properties in the light of this observational progress. Applying these models to neutron-star ULXs offers particularly stringent tests, as this is the unique case where the mass of the accretor is effectively fixed.


title: Giant Magneto-Optical Sch\"{a}fer-Hubert Effect in Two-Dimensional van der Waals Antiferromagnets \textit{M}PS$_3$ (\textit{M}=Mn, Fe, Ni)

abstract: The recent discovery of long-range magnetic order in atomically thin films has triggered particular interest in two-dimensional (2D) van der Waals (vdW) magnetic materials. In this paper, we perform a systematic theoretical study of the magneto-optical Sch\"{a}fer-Hubert effect (MOSHE) in 2D vdW antiferromagnetic \textit{M}PS$_3$ (\textit{M} = Mn, Fe, Ni) with multifold intralayer and interlayer magnetic orders. The formula for evaluating the MOSHE in 2D magnets is derived by considering the influence of a non-magnetic substrate. The MOSHE of monolayer and bilayer \textit{M}PS$_3$ are considerably large ($>2^{\circ}$), originating from the strong anisotropy of in-plane optical conductivity. The Sch\"{a}fer-Hubert rotation angles are surprisingly insensitive to the orientations of the N\'{e}el vector, while the Sch\"{a}fer-Hubert ellipticities are identified to be a good criterion to distinguish different interlayer magnetic orders. Our work establishes a theoretical framework for exploring novel 2D vdW magnets and facilitates the promising applications of the 2D \textit{M}PS$_3$ family in antiferromagnetic nanophotonic devices.


title: Differentiable Multi-Target Causal Bayesian Experimental Design

abstract: We introduce a gradient-based approach for the problem of Bayesian optimal experimental design to learn causal models in a batch setting -- a critical component for causal discovery from finite data where interventions can be costly or risky. Existing methods rely on greedy approximations to construct a batch of experiments while using black-box methods to optimize over a single target-state pair to intervene with. In this work, we completely dispose of the black-box optimization techniques and greedy heuristics and instead propose a conceptually simple end-to-end gradient-based optimization procedure to acquire a set of optimal intervention target-state pairs. Such a procedure enables parameterization of the design space to efficiently optimize over a batch of multi-target-state interventions, a setting which has hitherto not been explored due to its complexity. We demonstrate that our proposed method outperforms baselines and existing acquisition strategies in both single-target and multi-target settings across a number of synthetic datasets.


title: Argon, neon, and nitrogen impurity transport in the edge and SOL regions of a Tokamak

abstract: Numerical simulations of the interchange plasma turbulence in the presence of medium-Z impurities (N2 , Ne, Ar) seeding have been performed using BOUT++. These simulation results are used to study the impurity transport mechanism in the edge and scrape-off layer (SOL) regions. An analytical relation for the impurity ion density with the vorticity, sources and sinks, and mass to charge ratio has also been derived. Simulation shows that Ar+ moves more strongly inward compared to N+ and Ne+ that has been verified from the analytical relation. The most abundant species move both in the inward and outward directions, but on average they mainly move outward. These behaviors have been confirmed using cross-correlation techniques. The inward transport or negative flux of the impurity ions is found directly associated with the monopolar density holes in the presence of the electron temperature gradient whereas the outward transport is associated with the plasma blobs. The inward impurity transport has been analyzed using hole fraction analysis. ~44% of Ar+, ~28% of Ne+, and ~25% of N+ ions of their total impurity densities are transported inward mainly through the avalanche events of the turbulent plasma.


title: Exactly solvable complex PT symmetry potential $A[\mathrm{sech}({\lambda}x) + i\tanh({\lambda}x)]$

abstract: We obtained the exactly solutions of the $\mathcal{PT}$ symmetric potential $V(x)=A[\sech(\lambda x)+i \tanh(\lambda x)]$, and found this system has no bound-state. which $\mathcal{PT}$ symmetric potential was first studied in this article, and the handedness effect is showed from reflection coefficients. As the asymptotically non-vanishing imaginary potential component, when the direction of the incident wave is opposite, that the transmission coefficient will emerge a complex phase factor.


title: Stepdown SLOPE for Controlled Feature Selection

abstract: Sorted L-One Penalized Estimation (SLOPE) has shown the nice theoretical property as well as empirical behavior recently on the false discovery rate (FDR) control of high-dimensional feature selection by adaptively imposing the non-increasing sequence of tuning parameters on the sorted $\ell_1$ penalties. This paper goes beyond the previous concern limited to the FDR control by considering the stepdown-based SLOPE to control the probability of $k$ or more false rejections ($k$-FWER) and the false discovery proportion (FDP). Two new SLOPEs, called $k$-SLOPE and F-SLOPE, are proposed to realize $k$-FWER and FDP control respectively, where the stepdown procedure is injected into the SLOPE scheme. For the proposed stepdown SLOPEs, we establish their theoretical guarantees on controlling $k$-FWER and FDP under the orthogonal design setting, and also provide an intuitive guideline for the choice of regularization parameter sequence in much general setting. Empirical evaluations on simulated data validate the effectiveness of our approaches on controlled feature selection and support our theoretical findings.


title: Dissociation rates and recombination likelihood of bottomonium states in heavy-ion collisions at $\sqrt{s_{\rm NN}}$ = 5.02 TeV

abstract: In the medium of relativistic heavy-ion collisions, dissociation of the quarkonium and their survival have been studied to understand the properties of Quark Gluon Plasma (QGP). The coupled rates of dissociation and recombination reactions in QGP are commonly solved with the Boltzmann transport equation in which the formation and dissociation reactions compete with each other. Since the dissociation of newly formed bound-states is not accounted in the Boltzmann equation, a framework of decoupled rates is developed to assess the combined effect of gluon-induced dissociation and recombination (though it is small for $\Upsilon$) together with color screening on bottomonium production in heavy-ion collisions at center of mass energy ($\sqrt{s_{\rm NN}}$) = 5.02 TeV. To calculate the recombination rates, we have employed an effective method of Bateman solution which makes sure the correlated effect between the recombination and the dissociation of the newly combined bottomonium in the QGP medium. The modifications of bottomonium have been estimated in an inflating QGP with the constraints matching with the dynamics of Pb+Pb collision events at LHC.


title: Tree-Based Machine Learning Methods For Vehicle Insurance Claims Size Prediction

abstract: Vehicle insurance claims size prediction needs methods to efficiently handle these claims. Machine learning (ML) is one of the methods that solve this problem. Tree-based ensemble learning algorithms are highly effective and widely used ML methods. This study considers how vehicle insurance providers incorporate ML methods in their companies and explores how the models can be applied to insurance big data. We utilize various tree-based ML methods, such as bagging, random forest, and gradient boosting, to determine the relative importance of predictors in predicting claims size and to explore the relationships between claims size and predictors. Furthermore, we evaluate and compare these models' performances. The results show that tree-based ensemble methods are better than the classical least square method. Keywords: claims size prediction; machine learning; tree-based ensemble methods; vehicle insurance.


title: Approximating Bin Packing with Conflict Graphs via Maximization Techniques

abstract: We give a comprehensive study of bin packing with conflicts (BPC). The input is a set $I$ of items, sizes $s:I \rightarrow [0,1]$, and a conflict graph $G = (I,E)$. The goal is to find a partition of $I$ into a minimum number of independent sets, each of total size at most $1$. Being a generalization of the notoriously hard graph coloring problem, BPC has been studied mostly on polynomially colorable conflict graphs. An intriguing open question is whether BPC on such graphs admits the same best known approximation guarantees as classic bin packing. We answer this question negatively, by showing that (in contrast to bin packing) there is no asymptotic polynomial-time approximation scheme (APTAS) for BPC already on seemingly easy graph classes, such as bipartite and split graphs. We complement this result with improved approximation guarantees for BPC on several prominent graph classes. Most notably, we derive an asymptotic $1.391$-approximation for bipartite graphs, a $2.445$-approximation for perfect graphs, and a $\left(1+\frac{2}{e}\right)$-approximation for split graphs. To this end, we introduce a generic framework relying on a novel interpretation of BPC allowing us to solve the problem via maximization techniques. Our framework may find use in tackling BPC on other graph classes arising in applications.


title: Amplification and frequency conversion of spin waves using acoustic waves

abstract: We numerically study the acoustic parametric amplification of spin waves using surface acoustic waves (SAW) in a magnetic thin film. First, we illustrate how the process of parametric spin-wave generation using short-waved SAWs with a fixed frequency allows to tune frequencies of the generated spin waves by the applied magnetic field. We further present the amplification of microwave driven spin waves using this method. The decay length and the amplitude of the driven spin waves can be amplified up to approximately 2.5 and 10 times compared to the reference signal, respectively. More importantly, the proposed design can be used as a frequency converter, in which a low (high) frequency spin-wave mode stimulates the excitation of a high (low) frequency mode. Our results pave the way in designing highly flexible and efficient hybrid magnonic device architectures for microwave data transport and processing.


title: HST imaging of star-forming clumps in 6 GASP ram-pressure stripped galaxies

abstract: Exploiting broad- and narrow-band images of the Hubble Space Telescope from the near-UV to I-band rest frame, we study the star-forming clumps of six galaxies of the GASP sample undergoing strong ram pressure stripping. Clumps are detected in H alpha and near-UV, tracing star formation on different timescales. We consider clumps located in galaxy disks and stripped tails and formed in stripped gas but still close to the disk, called extraplanar. We detect 2406 H alpha-selected clumps (1708 in disks, 375 in extraplanar regions, and 323 in tails) and 3745 UV-selected clumps (2021 disk, 825 extraplanar, and 899 tail clumps). Only 15 per cent of star-forming clumps are spatially resolved, meaning that most are smaller than 140 pc. We study the luminosity and size distribution functions (LDFs and SDFs, respectively) and the luminosity-size relation. The average LDF slope is 1.79 +/- 0.09, while the average SDF slope is 3.1 +/- 0.5. The results suggest that the star formation is turbulence-driven and scale-free, as in main-sequence alaxies. All of the clumps, whether they are in the disks or tails, have an enhanced H alpha luminosity at a given size, compared to the clumps in main-sequence galaxies. Indeed, their H alpha luminosity is closer to that of clumps in starburst galaxies, indicating that ram pressure is able to enhance the luminosity. No striking differences are found among disk and tail clumps, suggesting that the different environments in which they are embedded play a minor role in influencing the star formation.


title: Joint Transceiver Beamforming and Reflecting Design for Active RIS-Aided ISAC Systems

abstract: Integrated sensing and communication (ISAC) is recognized as a promising technology with great potential in saving hardware and spectrum resources, since it simultaneously realizes radar detection and user communication functions in the fully-shared platform. Employing reconfigurable intelligent surface (RIS) in ISAC systems is able to provide a virtual line-of-sight (LoS) path to conquer blockage problem as well as introduce new degrees of freedom (DoFs) to further enhance system performance. Nevertheless, the multiplicative fading effect of passive RIS limits its applications in the absence of direct links, which promotes the development of active RIS. In this paper, we consider an active RIS-assisted ISAC system and aim to jointly design the transmit beamformer, the active RIS reflection and the radar receive filter to maximize the radar output signal-to-noise ratio (SNR) while guaranteeing pre-defined signal-to-interference-plus-noise ratios (SINRs) for communication users. To solve for this non-convex problem, an efficient algorithm is developed by leveraging the techniques of block coordinate descent (BCD), Dinkelbach's transform and majorization-minimization (MM). Simulation results verify the significant advancement of deploying active RIS in ISAC systems, which can achieve up to 32dB radar SNR enhancement compared with the passive RIS-assisted ISAC systems.


title: Weak Heffter Arrays and biembedding graphs on non-orientable surfaces

abstract: In 2015, Archdeacon proposed the notion of Heffter arrays in view of its connection to several other combinatorial objects. In the same paper he also presented the following variant. A weak Heffter array $\mathrm{W}\mathrm{H}(m,n;h,k)$ is an $m \times n$ matrix $A$ such that: each row contains $h$ filled cells and each column contains $k$ filled cells; for every $x \in \mathbb{Z}_{2nk+1} \setminus \{0\}$, there is exactly one cell of $A$ whose element is one of the following: $x,-x,\pm x,\mp x$, where the upper sign on $\pm$ or $\mp$ is the row sign and the lower sign is the column sign; the elements in every row and column (with the corresponding sign) sum to $0$ in $\mathbb{Z}_{2nk+1}$. Also the ``weak concept'', as the classical one, is related to several other topics, such as difference families, cycle systems and biembeddings. Many papers on Heffter arrays have been published, while no one on weak Heffter arrays has been written. This is the first one and here we explore necessary conditions, existence and non-existence results, and connections to biembeddings into non-orientable surfaces.


title: Attractors for Flow Observables in 2+1D Bjorken Flow

abstract: We examine the capabilities of second-order Israel-Stewart-type hydrodynamics to capture the early-time behaviour of the quark-gluon plasma created in heavy-ion collisions. We point out that at very early times, the dynamics of the fireball is governed by the local 0+1-D Bjorken flow attractor due to the rapid expansion along the longitudinal direction. Discrepancies between hydrodynamics and kinetic theory in this far-from-equilibrium regime leads to disagreement at the level of late-time observables, such as elliptic flow. We show that rescaling the initial energy-density profile for hydrodynamics accounts for such discrepancies, restoring agreement with kinetic theory for large opacities (small shear viscosity / large system size / high energy).


title: Singularity resolution by holonomy corrections: Spherical charged black holes in cosmological backgrounds

abstract: We study spherical charged black holes in the presence of a cosmological constant with corrections motivated by the theory of loop quantum gravity. The effective theory is constructed at the Hamiltonian level by introducing certain correction terms under the condition that the modified constraints form a closed algebra. The corresponding metric tensor is then carefully constructed ensuring that the covariance of the theory is respected, that is, in such a way that different gauge choices on phase space simply correspond to different charts of the same spacetime solution. The resulting geometry is characterized by four parameters: the three usual ones that appear in the general relativistic limit (describing the mass, the charge, and the cosmological constant), as well as a polymerization parameter, which encodes the quantum-gravity corrections. Contrary to general relativity, where this family of solutions is generically singular, in this effective model the presence of the singularity depends on the values of the parameters. The specific ranges of values that define the family of singularity-free spacetimes are explicitly found, and their global structure is analyzed. In particular, the mass and the cosmological constant need to be nonnegative to provide a nonsingular geometry, while there can only be a bounded, relatively small, amount of charge. These conditions are suited for any known spherical astrophysical black hole in the de Sitter cosmological background, and thus this model provides a globally regular description for them.


title: Modelling Fatigue Behaviours and Lifetimes of Novel GLARE Laminates under Random Loading Spectrum

abstract: This paper aims to experimentally and numerically probe fatigue behaviours and lifetimes of novel GLARE (glass laminate aluminium reinforced epoxy) laminates under random loading spectrum. A mixed algorithm based on fatigue damage concepts of three-phase materials was proposed for modelling progressive fatigue damage mechanisms and fatigue life of fibre metal laminates (FML) under random loading spectrum. To validate the proposed modelling algorithm, fatigue tests were conducted on the GLARE 2/1 and GLARE 3/2 laminates subjected to random loading spectrum, and fatigue mechanisms were discussed by using scanning electron microscope (SEM) analysis. It is shown that predominant fatigue failure of the GLARE laminate depends on the reference load level of random loading spectrum. Specifically, dominant fatigue failure of the GLARE laminate is dependent on fatigue strength of fibre layer at a high reference load level, but metal layer at a low reference load level. Numerical predictions agree well with experimental results, demonstrating that the proposed mixed modelling algorithm can effectively simulate fatigue behaviours and lives of the GLARE laminate under random loading spectrum.


title: The Dark Side of Using Dark Sirens to Constrain the Hubble-Lema\^itre Constant

abstract: Dark sirens, i.e., gravitational-wave (GW) sources without electromagnetic counterparts, are new probes of the expansion of the universe. The efficacy of this method relies on correctly localizing the host galaxies. However, recent theoretical studies have shown that astrophysical environments could mislead the spatial localization by distorting the GW signals. It is unclear whether and to what degree the incorrect spatial localizations of dark sirens would impair the accuracy of the measurement of the cosmological parameters. To address this issue, we consider the future observations of dark sirens using the Cosmic Explorer and the Einstein Telescope, and we design a Bayesian framework to access the precision of measuring the Hubble-Lema\^itre constant $H_0$. Interestingly, we find that the precision is not compromised when the number of well-localized dark sirens is significantly below $300$, even in the extreme scenario that all the dark sirens are localized incorrectly. As the number exceeds $300$, the incorrect spatial localizations start to produce statistically noticeable effects, such as a slow convergence of the posterior distribution of $H_0$. We propose several tests that can be used in future observations to verify the spatial localizations of dark sirens. Simulations of these tests suggest that incorrect spatial localizations will dominate a systematic error of $H_0$ if as much as $10\%$ of a sample of $300$ well-localized dark sirens are affected by their environments. Our results have important implications for the long-term goal of measuring $H_0$ to a precision of $<1\%$ using dark sirens.


title: Single-Stage Stellarator Optimization: Combining Coils with Fixed Boundary Equilibria

abstract: We introduce a novel approach for the simultaneous optimization of plasma physics and coil engineering objectives using fixed-boundary equilibria that is computationally efficient and applicable to a broad range of vacuum and finite plasma pressure scenarios. Our approach treats the plasma boundary and coil shapes as independently optimized variables, penalizing the mismatch between the two using a quadratic flux term in the objective function. Four use cases are presented to demonstrate the effectiveness of the approach, including simple and complex stellarator geometries. As shown here, this method outperforms previous 2-stage approaches, achieving smaller plasma objective function values when coils are taken into account.


title: The Gaussian kernel on the circle and spaces that admit isometric embeddings of the circle

abstract: On Euclidean spaces, the Gaussian kernel is one of the most widely used kernels in applications. It has also been used on non-Euclidean spaces, where it is known that there may be (and often are) scale parameters for which it is not positive definite. Hope remains that this kernel is positive definite for many choices of parameter. However, we show that the Gaussian kernel is not positive definite on the circle for any choice of parameter. This implies that on metric spaces in which the circle can be isometrically embedded, such as spheres, projective spaces and Grassmannians, the Gaussian kernel is not positive definite for any parameter.


title: Self-improving object detection via disagreement reconciliation

abstract: Object detectors often experience a drop in performance when new environmental conditions are insufficiently represented in the training data. This paper studies how to automatically fine-tune a pre-existing object detector while exploring and acquiring images in a new environment without relying on human intervention, i.e., in a self-supervised fashion. In our setting, an agent initially explores the environment using a pre-trained off-the-shelf detector to locate objects and associate pseudo-labels. By assuming that pseudo-labels for the same object must be consistent across different views, we devise a novel mechanism for producing refined predictions from the consensus among observations. Our approach improves the off-the-shelf object detector by 2.66% in terms of mAP and outperforms the current state of the art without relying on ground-truth annotations.


title: Estimating long-term causal effects from short-term experiments and long-term observational data with unobserved confounding

abstract: Understanding and quantifying cause and effect is an important problem in many domains. The generally-agreed solution to this problem is to perform a randomised controlled trial. However, even when randomised controlled trials can be performed, they usually have relatively short duration's due to cost considerations. This makes learning long-term causal effects a very challenging task in practice, since the long-term outcome is only observed after a long delay. In this paper, we study the identification and estimation of long-term treatment effects when both experimental and observational data are available. Previous work provided an estimation strategy to determine long-term causal effects from such data regimes. However, this strategy only works if one assumes there are no unobserved confounders in the observational data. In this paper, we specifically address the challenging case where unmeasured confounders are present in the observational data. Our long-term causal effect estimator is obtained by combining regression residuals with short-term experimental outcomes in a specific manner to create an instrumental variable, which is then used to quantify the long-term causal effect through instrumental variable regression. We prove this estimator is unbiased, and analytically study its variance. In the context of the front-door causal structure, this provides a new causal estimator, which may be of independent interest. Finally, we empirically test our approach on synthetic-data, as well as real-data from the International Stroke Trial.


title: Lightweight-Yet-Efficient: Revitalizing Ball-Tree for Point-to-Hyperplane Nearest Neighbor Search

abstract: Finding the nearest neighbor to a hyperplane (or Point-to-Hyperplane Nearest Neighbor Search, simply P2HNNS) is a new and challenging problem with applications in many research domains. While existing state-of-the-art hashing schemes (e.g., NH and FH) are able to achieve sublinear time complexity without the assumption of the data being in a unit hypersphere, they require an asymmetric transformation, which increases the data dimension from $d$ to $\Omega(d^2)$. This leads to considerable overhead for indexing and incurs significant distortion errors. In this paper, we investigate a tree-based approach for solving P2HNNS using the classical Ball-Tree index. Compared to hashing-based methods, tree-based methods usually require roughly linear costs for construction, and they provide different kinds of approximations with excellent flexibility. A simple branch-and-bound algorithm with a novel lower bound is first developed on Ball-Tree for performing P2HNNS. Then, a new tree structure named BC-Tree, which maintains the Ball and Cone structures in the leaf nodes of Ball-Tree, is described together with two effective strategies, i.e., point-level pruning and collaborative inner product computing. BC-Tree inherits both the low construction cost and lightweight property of Ball-Tree while providing a similar or more efficient search. Experimental results over 16 real-world data sets show that Ball-Tree and BC-Tree are around 1.1$\sim$10$\times$ faster than NH and FH, and they can reduce the index size and indexing time by about 1$\sim$3 orders of magnitudes on average. The code is available at \url{https://github.com/HuangQiang/BC-Tree}.


title: On consistency of perturbed generalised minimal models

abstract: We consider the massive {perturbation} of the Generalised Minimal Model introduced by Al. Zamolodchikov. The one-point functions in this case are supposed to be described by certain function $\omega(\z,\xi)$. We prove that this function satisfies several properties which are necessary for consistency of the entire procedure.


title: 3D Koch-type crystals

abstract: We consider the construction of a family $\{K_N\}$ of $3$-dimensional Koch-type surfaces, with a corresponding family of $3$-dimensional Koch-type ``snowflake analogues" $\{\mathcal{C}_N\}$, where $N>1$ are integers with $N \not\equiv 0 \,(\bmod\,\, 3)$. We first establish that the Koch surfaces $K_N$ are $s_N$-sets with respect to the $s_N$-dimensional Hausdorff measure, for $s_N=\log(N^2+2)/\log(N)$ the Hausdorff dimension of each Koch-type surface $K_N$. Using self-similarity, one deduces that the same result holds for each Koch-type crystal $\mathcal{C}_N$. We then develop lower and upper approximation monotonic sequences converging to the $s_N$-dimensional Hausdorff measure on each Koch-type surface $K_N$, and consequently, one obtains upper and lower bounds for the Hausdorff measure for each set $\mathcal{C}_N$. As an application, we consider the realization of Robin boundary value problems over the Koch-type crystals $\mathcal{C}_N$, for $N>2$.


title: Observation of the $B^0_s\rightarrow \chi_{c1}(3872)\pi^+\pi^-$ decay

abstract: The first observation of the $B^0_s \rightarrow \left( \chi_{c1}(3872) \rightarrow J/\psi\pi^+\pi^-\right) \pi^+ \pi^-$ decay is reported using proton-proton collision data, corresponding to integrated luminosities of 1, 2 and 6fb$^{-1}$, collected by the LHCb experiment at centre-of-mass energies of 7, 8 and 13TeV, respectively. The ratio of branching fractions relative to the $B^0_s \rightarrow \left( \psi(2S) \rightarrow J\psi\pi^+\pi^- \right) \pi^+ \pi^-$ decay is measured to be $$ \frac{ \mathcal{B} \left( B^0_s \rightarrow \chi_{c1}(3872) \pi^+\pi^-\right) \times \mathcal{B} \left( \chi_{c1}(3872) \rightarrow J\psi\pi^+\pi^-\right)} { \mathcal{B} \left( B^0_s \rightarrow \psi(2S) \pi^+ \pi^- \right) \times \mathcal{B} \left( \psi(2S) \rightarrow J\psi\pi^+\pi^-\right) } = \left( 6.8 \pm 1.1 \pm 0.2 \right) \times 10^{-2} , $$ where the first uncertainty is statistical and the second systematic. The mass spectrum of the $\pi^+\pi^-$ system recoiling against the $\chi_{c1}(3872)$ meson exhibits a large contribution from $B^0_s \rightarrow \chi_{c1}(3872) \left( f_0(980) \rightarrow \pi^+ \pi^-\right)$ decays.


title: LIT-Former: Linking In-plane and Through-plane Transformers for Simultaneous CT Image Denoising and Deblurring

abstract: This paper studies 3D low-dose computed tomography (CT) imaging. Although various deep learning methods were developed in this context, typically they focus on 2D images and perform denoising due to low-dose and deblurring for super-resolution separately. Up to date, little work was done for simultaneous in-plane denoising and through-plane deblurring, which is important to obtain high-quality 3D CT images with lower radiation and faster imaging speed. For this task, a straightforward method is to directly train an end-to-end 3D network. However, it demands much more training data and expensive computational costs. Here, we propose to link in-plane and through-plane transformers for simultaneous in-plane denoising and through-plane deblurring, termed as LIT-Former, which can efficiently synergize in-plane and through-plane sub-tasks for 3D CT imaging and enjoy the advantages of both convolution and transformer networks. LIT-Former has two novel designs: efficient multi-head self-attention modules (eMSM) and efficient convolutional feedforward networks (eCFN). First, eMSM integrates in-plane 2D self-attention and through-plane 1D self-attention to efficiently capture global interactions of 3D self-attention, the core unit of transformer networks. Second, eCFN integrates 2D convolution and 1D convolution to extract local information of 3D convolution in the same fashion. As a result, the proposed LIT-Former synergize these two subtasks, significantly reducing the computational complexity as compared to 3D counterparts and enabling rapid convergence. Extensive experimental results on simulated and clinical datasets demonstrate superior performance over state-of-the-art models. The source code is made available at https://github.com/hao1635/LIT-Former.


title: FedST: Secure Federated Shapelet Transformation for Time Series Classification

abstract: This paper explores how to customize time series classification (TSC) methods with the help of external data in a privacy-preserving federated learning (FL) scenario. To the best of our knowledge, we are the first to study on this essential topic. Achieving this goal requires us to seamlessly integrate the techniques from multiple fields including Data Mining, Machine Learning, and Security. In this paper, we systematically investigate existing TSC solutions for the centralized scenario and propose FedST, a novel FL-enabled TSC framework based on a shapelet transformation method. We recognize the federated shapelet search step as the kernel of FedST. Thus, we design a basic protocol for the FedST kernel that we prove to be secure and accurate. However, we identify that the basic protocol suffers from efficiency bottlenecks and the centralized acceleration techniques lose their efficacy due to the security issues. To speed up the federated protocol with security guarantee, we propose several optimizations tailored for the FL setting. Our theoretical analysis shows that the proposed methods are secure and more efficient. We conduct extensive experiments using both synthetic and real-world datasets. Empirical results show that our FedST solution is effective in terms of TSC accuracy, and the proposed optimizations can achieve three orders of magnitude of speedup.


title: Multi-Modal Self-Supervised Learning for Recommendation

abstract: The online emergence of multi-modal sharing platforms (eg, TikTok, Youtube) is powering personalized recommender systems to incorporate various modalities (eg, visual, textual and acoustic) into the latent user representations. While existing works on multi-modal recommendation exploit multimedia content features in enhancing item embeddings, their model representation capability is limited by heavy label reliance and weak robustness on sparse user behavior data. Inspired by the recent progress of self-supervised learning in alleviating label scarcity issue, we explore deriving self-supervision signals with effectively learning of modality-aware user preference and cross-modal dependencies. To this end, we propose a new Multi-Modal Self-Supervised Learning (MMSSL) method which tackles two key challenges. Specifically, to characterize the inter-dependency between the user-item collaborative view and item multi-modal semantic view, we design a modality-aware interactive structure learning paradigm via adversarial perturbations for data augmentation. In addition, to capture the effects that user's modality-aware interaction pattern would interweave with each other, a cross-modal contrastive learning approach is introduced to jointly preserve the inter-modal semantic commonality and user preference diversity. Experiments on real-world datasets verify the superiority of our method in offering great potential for multimedia recommendation over various state-of-the-art baselines. The implementation is released at: https://github.com/HKUDS/MMSSL.


title: Generalization Bounds for Adversarial Contrastive Learning

abstract: Deep networks are well-known to be fragile to adversarial attacks, and adversarial training is one of the most popular methods used to train a robust model. To take advantage of unlabeled data, recent works have applied adversarial training to contrastive learning (Adversarial Contrastive Learning; ACL for short) and obtain promising robust performance. However, the theory of ACL is not well understood. To fill this gap, we leverage the Rademacher complexity to analyze the generalization performance of ACL, with a particular focus on linear models and multi-layer neural networks under $\ell_p$ attack ($p \ge 1$). Our theory shows that the average adversarial risk of the downstream tasks can be upper bounded by the adversarial unsupervised risk of the upstream task. The experimental results validate our theory.


title: A Deep Learning-Based and Fully Automated Pipeline for Regurgitant Mitral Valve Anatomy Analysis from 3D Echocardiography

abstract: 3D transesophageal echocardiography (3DTEE), is the recommended method for diagnosing mitral regurgitation (MR). 3DTEE provides a high-quality 3D image of the mitral valve (MV), allowing for precise segmentation and measurement of the regurgitant valve anatomy. However, manual TEE segmentations are time-consuming and prone to intra-operator variability, affecting the reliability of the measurements. To address this, we developed a fully automated pipeline using a 3D convolutional neural network (CNN) to segment MV substructures (annulus, anterior leaflet, and posterior leaflet) and quantify MV anatomy. The 3D CNN, based on a multi-decoder residual U-Net architecture, was trained and tested on a dataset comprising 100 3DTEE images with corresponding segmentations. Within the pipeline, a custom algorithm refines the CNN-based segmentations and extracts MV models, from which anatomical landmarks and features are quantified. The accuracy of the proposed method was assessed using Dice score and mean surface distance (MSD) against ground truth segmentations, and the extracted anatomical parameters were compared against a semiautomated commercial software TomTec Image Arena. The trained 3D CNN achieved an average Dice score of 0.79 and MSD of 0.47 mm for the combined segmentation of the annulus, anterior and posterior leaflet. The proposed CNN architecture outperformed a baseline residual U-Net architecture in MV substructure segmentation, and the refinement of the predicted annulus segmentation improved MSD by 8.36%. The annular and leaflet linear measurements differed by less than 7.94 mm and 3.67 mm, respectively, compared to the 3D measurements obtained with TomTec Image Arena. The proposed pipeline was faster than the commercial software, with a modeling time of 12.54 s and a quantification time of 54.42 s.


title: Semantic Segmentation of Urban Textured Meshes Through Point Sampling

abstract: Textured meshes are becoming an increasingly popular representation combining the 3D geometry and radiometry of real scenes. However, semantic segmentation algorithms for urban mesh have been little investigated and do not exploit all radiometric information. To address this problem, we adopt an approach consisting in sampling a point cloud from the textured mesh, then using a point cloud semantic segmentation algorithm on this cloud, and finally using the obtained semantic to segment the initial mesh. In this paper, we study the influence of different parameters such as the sampling method, the density of the extracted cloud, the features selected (color, normal, elevation) as well as the number of points used at each training period. Our result outperforms the state-of-the-art on the SUM dataset, earning about 4 points in OA and 18 points in mIoU.


title: $\omega$PAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs

abstract: We introduce a new setting, the category of $\omega$PAP spaces, for reasoning denotationally about expressive differentiable and probabilistic programming languages. Our semantics is general enough to assign meanings to most practical probabilistic and differentiable programs, including those that use general recursion, higher-order functions, discontinuous primitives, and both discrete and continuous sampling. But crucially, it is also specific enough to exclude many pathological denotations, enabling us to establish new results about both deterministic differentiable programs and probabilistic programs. In the deterministic setting, we prove very general correctness theorems for automatic differentiation and its use within gradient descent. In the probabilistic setting, we establish the almost-everywhere differentiability of probabilistic programs' trace density functions, and the existence of convenient base measures for density computation in Monte Carlo inference. In some cases these results were previously known, but required detailed proofs with an operational flavor; by contrast, all our proofs work directly with programs' denotations.


title: A Survey of Trustworthy Federated Learning with Perspectives on Security, Robustness, and Privacy

abstract: Trustworthy artificial intelligence (AI) technology has revolutionized daily life and greatly benefited human society. Among various AI technologies, Federated Learning (FL) stands out as a promising solution for diverse real-world scenarios, ranging from risk evaluation systems in finance to cutting-edge technologies like drug discovery in life sciences. However, challenges around data isolation and privacy threaten the trustworthiness of FL systems. Adversarial attacks against data privacy, learning algorithm stability, and system confidentiality are particularly concerning in the context of distributed training in federated learning. Therefore, it is crucial to develop FL in a trustworthy manner, with a focus on security, robustness, and privacy. In this survey, we propose a comprehensive roadmap for developing trustworthy FL systems and summarize existing efforts from three key aspects: security, robustness, and privacy. We outline the threats that pose vulnerabilities to trustworthy federated learning across different stages of development, including data processing, model training, and deployment. To guide the selection of the most appropriate defense methods, we discuss specific technical solutions for realizing each aspect of Trustworthy FL (TFL). Our approach differs from previous work that primarily discusses TFL from a legal perspective or presents FL from a high-level, non-technical viewpoint.


title: ATA-Cache: Contention Mitigation for GPU Shared L1 Cache with Aggregated Tag Array

abstract: GPU shared L1 cache is a promising architecture while still suffering from high resource contentions. We present a GPU shared L1 cache architecture with an aggregated tag array that minimizes the L1 cache contentions and takes full advantage of inter-core locality. The key idea is to decouple and aggregate the tag arrays of multiple L1 caches so that the cache requests can be compared with all tag arrays in parallel to probe the replicated data in other caches. The GPU caches are only accessed by other GPU cores when replicated data exists, filtering out unnecessary cache accesses that cause high resource contentions. The experimental results show that GPU IPC can be improved by 12% on average for applications with a high inter-core locality.


title: Handling Long and Richly Constrained Tasks through Constrained Hierarchical Reinforcement Learning

abstract: Safety in goal directed Reinforcement Learning (RL) settings has typically been handled through constraints over trajectories and have demonstrated good performance in primarily short horizon tasks. In this paper, we are specifically interested in the problem of solving temporally extended decision making problems such as robots cleaning different areas in a house while avoiding slippery and unsafe areas (e.g., stairs) and retaining enough charge to move to a charging dock; in the presence of complex safety constraints. Our key contribution is a (safety) Constrained Search with Hierarchical Reinforcement Learning (CoSHRL) mechanism that combines an upper level constrained search agent (which computes a reward maximizing policy from a given start to a far away goal state while satisfying cost constraints) with a low-level goal conditioned RL agent (which estimates cost and reward values to move between nearby states). A major advantage of CoSHRL is that it can handle constraints on the cost value distribution (e.g., on Conditional Value at Risk, CVaR) and can adjust to flexible constraint thresholds without retraining. We perform extensive experiments with different types of safety constraints to demonstrate the utility of our approach over leading approaches in constrained and hierarchical RL.


title: An Elementary Formal Proof of the Group Law on Weierstrass Elliptic Curves in any Characteristic

abstract: Elliptic curves are fundamental objects in number theory and algebraic geometry, whose points over a field form an abelian group under a geometric addition law. Any elliptic curve over a field admits a Weierstrass model, but prior formal proofs that the addition law is associative in this model involve either advanced algebraic geometry or tedious computation, especially in characteristic two. We formalise in the Lean theorem prover, the type of nonsingular points of a Weierstrass curve over a field of any characteristic and a purely algebraic proof that it forms an abelian group.


title: A3S: Adversarial learning of semantic representations for Scene-Text Spotting

abstract: Scene-text spotting is a task that predicts a text area on natural scene images and recognizes its text characters simultaneously. It has attracted much attention in recent years due to its wide applications. Existing research has mainly focused on improving text region detection, not text recognition. Thus, while detection accuracy is improved, the end-to-end accuracy is insufficient. Texts in natural scene images tend to not be a random string of characters but a meaningful string of characters, a word. Therefore, we propose adversarial learning of semantic representations for scene text spotting (A3S) to improve end-to-end accuracy, including text recognition. A3S simultaneously predicts semantic features in the detected text area instead of only performing text recognition based on existing visual features. Experimental results on publicly available datasets show that the proposed method achieves better accuracy than other methods.


title: Dynamical environments of (486958) Arrokoth: prior evolution and present state

abstract: We consider dynamical environments of (486958) Arrokoth, focusing on both their present state and their long-term evolution, starting from the KBO's formation. Both analytical (based on an upgraded Kepler-map formalism) and numerical (based on massive simulations and construction of stability diagrams in the 3D setting of the problem) approaches to the problem are used. The debris removal is due to either absorption by the KBO or by leaving the Hill sphere; the interplay of these processes is considered. The clearing mechanisms are explored, and the debris removal timescales are estimated. We assess survival opportunities for any debris orbiting around Arrokoth. The generic chaotization of Arrokoth's circumbinary debris disk's inner zone and generic cloudization of the disk's periphery, which is shown to be essential in the general 3D case, naturally explains the current absence of any debris in its vicinities.


title: New Width Parameters for Independent Set: One-sided-mim-width and Neighbor-depth

abstract: We study the tractability of the maximum independent set problem from the viewpoint of graph width parameters, with the goal of defining a width parameter that is as general as possible and allows to solve independent set in polynomial-time on graphs where the parameter is bounded. We introduce two new graph width parameters: one-sided maximum induced matching-width (o-mim-width) and neighbor-depth. O-mim-width is a graph parameter that is more general than the known parameters mim-width and tree-independence number, and we show that independent set and feedback vertex set can be solved in polynomial-time given a decomposition with bounded o-mim-width. O-mim-width is the first width parameter that gives a common generalization of chordal graphs and graphs of bounded clique-width in terms of tractability of these problems. The parameter o-mim-width, as well as the related parameters mim-width and sim-width, have the limitation that no algorithms are known to compute bounded-width decompositions in polynomial-time. To partially resolve this limitation, we introduce the parameter neighbor-depth. We show that given a graph of neighbor-depth $k$, independent set can be solved in time $n^{O(k)}$ even without knowing a corresponding decomposition. We also show that neighbor-depth is bounded by a polylogarithmic function on the number of vertices on large classes of graphs, including graphs of bounded o-mim-width, and more generally graphs of bounded sim-width, giving a quasipolynomial-time algorithm for independent set on these graph classes. This resolves an open problem asked by Kang, Kwon, Str{\o}mme, and Telle [TCS 2017].


title: Safety Evaluation of Robot Systems via Uncertainty Quantification

abstract: In this paper, we present an approach for quantifying the propagated uncertainty of robot systems in an online and data-driven manner. Especially in Human-Robot Collaboration, keeping track of the safety compliance during run time is essential: Misclassifying dangerous situations as safe might result in severe accidents. According to official regulations (eg, ISO standards), safety in industrial robot applications depends on critical parameters, such as the distance and relative velocity between humans and robots. However, safety can only be assured given a measure for the reliability of these parameters. While different risk detection and mitigation approaches exist in literature, a measure that can be used to evaluate safety limits online, and succinctly implies whether a situation is safe or dangerous, is missing to date. Motivated by this, we introduce a generalizable method for calculating the propagated measurement uncertainty of arbitrary parameters, that captures the accumulated uncertainty originating from sensory devices and environmental disturbances of the system. To show that our approach delivers correct results, we perform validation experiments in simulation. In addition, we employ our method in two real-world settings and demonstrate how quantifying the propagated uncertainty of critical parameters facilitates assessing safety online in Human-Robot Collaboration.


title: BrackishMOT: The Brackish Multi-Object Tracking Dataset

abstract: There exist no publicly available annotated underwater multi-object tracking (MOT) datasets captured in turbid environments. To remedy this we propose the BrackishMOT dataset with focus on tracking schools of small fish, which is a notoriously difficult MOT task. BrackishMOT consists of 98 sequences captured in the wild. Alongside the novel dataset, we present baseline results by training a state-of-the-art tracker. Additionally, we propose a framework for creating synthetic sequences in order to expand the dataset. The framework consists of animated fish models and realistic underwater environments. We analyse the effects of including synthetic data during training and show that a combination of real and synthetic underwater training data can enhance tracking performance. Links to code and data can be found at https://www.vap.aau.dk/brackishmot


title: Playing the Werewolf game with artificial intelligence for language understanding

abstract: The Werewolf game is a social deduction game based on free natural language communication, in which players try to deceive others in order to survive. An important feature of this game is that a large portion of the conversations are false information, and the behavior of artificial intelligence (AI) in such a situation has not been widely investigated. The purpose of this study is to develop an AI agent that can play Werewolf through natural language conversations. First, we collected game logs from 15 human players. Next, we fine-tuned a Transformer-based pretrained language model to construct a value network that can predict a posterior probability of winning a game at any given phase of the game and given a candidate for the next action. We then developed an AI agent that can interact with humans and choose the best voting target on the basis of its probability from the value network. Lastly, we evaluated the performance of the agent by having it actually play the game with human players. We found that our AI agent, Deep Wolf, could play Werewolf as competitively as average human players in a villager or a betrayer role, whereas Deep Wolf was inferior to human players in a werewolf or a seer role. These results suggest that current language models have the capability to suspect what others are saying, tell a lie, or detect lies in conversations.


title: Coronal Magnetic Fields derived with Images acquired during the 21 August 2017 Total Solar Eclipse

abstract: The coronal magnetic field, despite its overwhelming importance to the physics and dynamics of the corona, has only rarely been measured. Here, the electron density maps derived from images acquired during the total solar eclipse of August 21st, 2017 are employed to demonstrate a new technique to measure the coronal magnetic fields. The strength of the coronal magnetic fields is derived with a semiempirical formula relating the plasma magnetic energy density to the gravitational potential energy. The resulting values are compared with those provided by more advanced coronal field reconstruction methods based on MHD simulations of the whole corona starting from photospheric field measurements, finding a very good agreement. Other parameters such as the plasma-$\beta$ and Alfv\'en velocity are also derived and compared with those of MHD simulations. Moreover, the plane-of-sky (POS) orientation of the coronal magnetic fields is derived from the observed inclination of the coronal features in the filtered images, also finding a close agreement with magnetic field reconstructions. Hence, this work demonstrates for the first time that the 2D distribution of coronal electron densities measured during total solar eclipses is sufficient to provide the coronal magnetic field strengths and inclinations projected on the POS. These are among the main missing pieces of information that limited so far our understanding of physical phenomena going on in the solar corona.


title: Multi-Target Tobit Models for Completing Water Quality Data

abstract: Monitoring microbiological behaviors in water is crucial to manage public health risk from waterborne pathogens, although quantifying the concentrations of microbiological organisms in water is still challenging because concentrations of many pathogens in water samples may often be below the quantification limit, producing censoring data. To enable statistical analysis based on quantitative values, the true values of non-detected measurements are required to be estimated with high precision. Tobit model is a well-known linear regression model for analyzing censored data. One drawback of the Tobit model is that only the target variable is allowed to be censored. In this study, we devised a novel extension of the classical Tobit model, called the \emph{multi-target Tobit model}, to handle multiple censored variables simultaneously by introducing multiple target variables. For fitting the new model, a numerical stable optimization algorithm was developed based on elaborate theories. Experiments conducted using several real-world water quality datasets provided an evidence that estimating multiple columns jointly gains a great advantage over estimating them separately.


title: On the minimum spin period of accreting pulsars

abstract: The distribution of the spin frequencies of neutron stars in low-mass X-ray binaries exhibits a cut-off at 730 Hz, below the break-up frequency (mass-shedding limit) of neutron stars. The absence of the sub-millisecond pulsars presents a problem, given that these systems are older than the spin-up timescale. We confront models of disc-magnetosphere interaction near torque equilibrium balanced by the torque due to gravitational wave emission. We note that field lines penetrating the disc beyond the inner radius reduce the maximum rotation frequency of the star, a result well-known since the seminal work of Ghosh & Lamb. We show that the polar cap area corresponds to about half the neutron star surface area at the cut-off frequency if the inner radius is slightly smaller than the corotation radius. We then include the change in the moment of inertia of the star due to the accretion of mass and find that this effect further reduces the maximum rotation frequency of the star. Finally, we include the torque due to gravitational wave emission and calculate its contribution to the torque equilibrium. Our results suggest that all three processes are significant at the cut-off frequency, and all of them must be considered in addressing the absence of sub-millisecond pulsars.


title: Predicting Privacy Preferences for Smart Devices as Norms

abstract: Smart devices, such as smart speakers, are becoming ubiquitous, and users expect these devices to act in accordance with their preferences. In particular, since these devices gather and manage personal data, users expect them to adhere to their privacy preferences. However, the current approach of gathering these preferences consists in asking the users directly, which usually triggers automatic responses failing to capture their true preferences. In response, in this paper we present a collaborative filtering approach to predict user preferences as norms. These preference predictions can be readily adopted or can serve to assist users in determining their own preferences. Using a dataset of privacy preferences of smart assistant users, we test the accuracy of our predictions.


title: Encoding and multiplexing information signals in magnetic multilayers with fractional skyrmion tubes

abstract: Tailored magnetic multilayers (MMLs) provide skyrmions with enhanced thermal stability, leading to the possibility of skyrmion-based devices for room temperature applications. At the same time, the search for additional stable topological spin textures has been under intense research focus. Besides their fundamental importance, such textures may expand the information encoding capability of spintronic devices. However, fractional spin texture states within MMLs in the vertical dimension have yet to be investigated. In this work, we demonstrate numerically fractional skyrmion tubes (FSTs) in a tailored MML system. We subsequently propose to encode sequences of information signals with fractional skyrmion tubes (FSTs) as information bits in a tailored MML device. Micromagnetic simulations and theoretical calculations are used to verify the feasibility of hosting distinct FST states within a single device, and their thermal stability is investigated. A multilayer multiplexing device is proposed, where multiple sequences of the information signals can be encoded and transmitted based on the nucleation and propagation of packets of FSTs. Finally, pipelined information transmission and automatic demultiplexing is demonstrated by exploiting the skyrmion Hall effect and introducing voltage-controlled synchronizers and width-based track selectors. The findings indicate that FSTs can be potential candidates as information carriers for future spintronic applications.


title: Unfolding the Hong-Ou-Mandel interference between heralded photons from narrowband twin beams

abstract: The Hong-Ou-Mandel (HOM) interference is one of the most intriguing quantum optical phenomena and crucial in performing quantum optical communication and computation tasks. Lately, twin beam emitters such as those relying on the process of parametric down-conversion (PDC) have become confident sources of heralded single photons. However, if the pump power is high enough, the pairs produced via PDC -- often called signal and idler -- incorporate multiphoton contributions that usually distort the investigated quantum features. Here, we derive the temporal characteristics of the HOM interference between heralded states from two independent narrowband PDC sources. Apart from the PDC multiphoton content, our treatment also takes into account effects arriving from an unbalanced beam splitter ratio and optical losses. We perform a simulation in the telecommunication wavelength range and provide a useful tool for finding the optimal choice for PDC process parameters. Our results offer insight in the properties of narrowband PDC sources and turn useful when driving quantum optical applications with them.


title: Invariable generation of certain groups of piecewise projective homeomorphisms of the real line

abstract: We show that the following groups are invariably generated; the group of piecewise projective homeomorphisms of the real line, the group of piecewise $\mathrm{PSL}(2,\mathbb{Z})$ homeomorphisms of the real line, Monod's group $H(\mathbb{Z})$, the group of piecewise $\mathrm{PSL}(2,\mathbb{Q})$ homeomorphisms of the real line with rational breakpoints. We also show that the Higman--Thompson group $F_n$ for every $n \in \mathbb{Z}_{\geq 3}$ and the golden ratio Thompson group $F_{\tau}$ are invariably generated.


title: On the rate of normal approximation for Poisson continuum percolation

abstract: It is known that the number of points in the largest cluster of a percolating Poisson process restricted to a large finite box is asymptotically normal. In this note, we establish a rate of convergence for the statement. As each point in the largest cluster is determined by points as far as the diameter of the box, known results in the literature of normal approximation for Poisson functionals cannot be directly applied. To disentangle the long-range dependence of the largest cluster, we use the fact that the second largest cluster has comparatively shorter range of dependence to restrict the range of dependence, apply a recently established result in Chen, R\"ollin and Xia (2021) to obtain a Berry-Esseen type bound for the normal approximation of the number of points belonging to clusters that have a restricted range of dependence, and then estimate the gap between this quantity and the number of points in the largest cluster.


title: Density Ratio Estimation and Neyman Pearson Classification with Missing Data

abstract: Density Ratio Estimation (DRE) is an important machine learning technique with many downstream applications. We consider the challenge of DRE with missing not at random (MNAR) data. In this setting, we show that using standard DRE methods leads to biased results while our proposal (M-KLIEP), an adaptation of the popular DRE procedure KLIEP, restores consistency. Moreover, we provide finite sample estimation error bounds for M-KLIEP, which demonstrate minimax optimality with respect to both sample size and worst-case missingness. We then adapt an important downstream application of DRE, Neyman-Pearson (NP) classification, to this MNAR setting. Our procedure both controls Type I error and achieves high power, with high probability. Finally, we demonstrate promising empirical performance both synthetic data and real-world data with simulated missingness.


title: Chirality selective magnon-phonon hybridization and magnon-induced chiral phonons in a layered zigzag antiferromagnet

abstract: Two-dimensional (2D) magnetic systems possess versatile magnetic order and can host tunable magnons carrying spin angular momenta. Recent advances show angular momentum can also be carried by lattice vibrations in the form of chiral phonons. However, the interplay between magnons and chiral phonons as well as the details of chiral phonon formation in a magnetic system are yet to be explored. Here, we report the observation of magnon-induced chiral phonons and chirality selective magnon-phonon hybridization in a layered zigzag antiferromagnet (AFM) FePSe$_3$. With a combination of magneto-infrared and magneto-Raman spectroscopy, we observe chiral magnon polarons (chiMP), the new hybridized quasiparticles, at zero magnetic field. The hybridization gap reaches 0.25~meV and survives down to the quadrilayer limit. Via first principle calculations, we uncover a coherent coupling between AFM magnons and chiral phonons with parallel angular momenta, which arises from the underlying phonon and space group symmetries. This coupling lifts the chiral phonon degeneracy and gives rise to an unusual Raman circular polarization of the chiMP branches. The observation of coherent chiral spin-lattice excitations at zero magnetic field paves the way for angular momentum-based hybrid phononic and magnonic devices.


title: DasFormer: Deep Alternating Spectrogram Transformer for Multi/Single-Channel Speech Separation

abstract: For the task of speech separation, previous study usually treats multi-channel and single-channel scenarios as two research tracks with specialized solutions developed respectively. Instead, we propose a simple and unified architecture - DasFormer (Deep alternating spectrogram transFormer) to handle both of them in the challenging reverberant environments. Unlike frame-wise sequence modeling, each TF-bin in the spectrogram is assigned with an embedding encoding spectral and spatial information. With such input, DasFormer is then formed by multiple repetition of simple blocks each of which integrates 1) two multi-head self-attention (MHSA) modules alternately processing within each frequency bin & temporal frame of the spectrogram 2) MBConv before each MHSA for modeling local features on the spectrogram. Experiments show that DasFormer has a powerful ability to model the time-frequency representation, whose performance far exceeds the current SOTA models in multi-channel speech separation, and also achieves single-channel SOTA in the more challenging yet realistic reverberation scenario.


title: Extremal points of the quantum set in the CHSH scenario: conjectured analytical solution

abstract: Quantum mechanics may revolutionise many aspects of modern information processing as it promises significant advantages in several fields such as cryptography, computing and metrology. Quantum cryptography for instance allows us to implement protocols which are device-independent, i.e. they can be proven security under fewer assumptions. These protocols rely on using devices producing non-local statistics and ideally these statistics would correspond to extremal points of the quantum set in the probability space. However, even in the CHSH scenario (the simplest non-trivial Bell scenario) we do not have a full understanding of the extremal quantum points. In fact, there are only a couple of analytic families of such points. Our first contribution is to introduce two new families of analytical quantum extremal points by providing solutions to two new families of Bell functionals. In the second part we focus on developing an analytical criteria for extremality in the CHSH scenario. A well-known Tsirelson-Landau-Masanes criterion only applies to points with uniform marginals, but a generalisation has been suggested in a sequence of works by Satoshi Ishizaka. We combine these conditions into a standalone conjecture, explore their technical details and discuss their suitability. Based on the understanding acquired, we propose a new set of conditions with an elegant mathematical form and an intuitive physical interpretation. Finally, we verify that both sets of conditions give correct predictions on the new families of quantum extremal points.


title: Atomic Scale Surface Segregation in Copper-Gold Nanoparticles

abstract: In this work, we combine electron microscopy measurements of the surface compositions in Cu-Au nanoparticles and atomistic simulations to investigate the effect of gold segregation. While this mechanism has been extensively investigated within Cu-Au in the bulk state, it was never studied at the atomic level in nanoparticles. By using energy dispersive X-ray analysis across the (100) and (111) facets of nanoparticles, we provide evidence of gold segregation in Cu$_{3}$Au and CuAu$_{3}$ nanoparticles in the 10 nm size range grown by epitaxy on a salt surface with high control of the nanoparticles morphology. To get atomic-scale insights into the segregation properties in Cu-Au nanoparticles on the whole composition range, we perform Monte Carlo calculations employing $N$-body interatomic potentials. These simulations confirm this effect by showing a complete segregation of Au in the (100) and (111) faces of a truncated octahedron for gold nominal composition of the alloy above 70\% and 60\% respectively. Furthermore, we show that there is no size effect on the segregation behaviour since we evidence the same oscillating concentration profile from surface to the nanoparticles core as in the bulk. These results can shed new lights in the interpretation of the enhanced reactivity, selectivity and stability of Cu-Au nanoparticles in various catalytic reactions.


title: A Quantum Algorithmic Approach to Multiconfigurational Valence Bond Theory: Insights from Interpretable Circuit Design

abstract: Efficient ways to prepare fermionic ground states on quantum computers are in high demand and different techniques have been developed over the last years. Despite having a vast set of methods, it is still unclear which method performs well for which system. In this work, we combine interpretable circuit designs with an effective basis approach in order to optimize a multiconfigurational valence bond wavefunction. Based on selected model systems, we show how this leads to explainable performance. We demonstrate that the developed methodology outperforms related methods in terms of the size of the effective basis as well as individual quantum resources for the involved circuits.


title: Clinically Acceptable Segmentation of Organs at Risk in Cervical Cancer Radiation Treatment from Clinically Available Annotations

abstract: Deep learning models benefit from training with a large dataset (labeled or unlabeled). Following this motivation, we present an approach to learn a deep learning model for the automatic segmentation of Organs at Risk (OARs) in cervical cancer radiation treatment from a large clinically available dataset of Computed Tomography (CT) scans containing data inhomogeneity, label noise, and missing annotations. We employ simple heuristics for automatic data cleaning to minimize data inhomogeneity and label noise. Further, we develop a semi-supervised learning approach utilizing a teacher-student setup, annotation imputation, and uncertainty-guided training to learn in presence of missing annotations. Our experimental results show that learning from a large dataset with our approach yields a significant improvement in the test performance despite missing annotations in the data. Further, the contours generated from the segmentation masks predicted by our model are found to be equally clinically acceptable as manually generated contours.


title: Snakes and Ladders: a Treewidth Story

abstract: Let $G$ be an undirected graph. We say that $G$ contains a ladder of length $k$ if the $2 \times (k+1)$ grid graph is an induced subgraph of $G$ that is only connected to the rest of $G$ via its four cornerpoints. We prove that if all the ladders contained in $G$ are reduced to length 4, the treewidth remains unchanged (and that this bound is tight). Our result indicates that, when computing the treewidth of a graph, long ladders can simply be reduced, and that minimal forbidden minors for bounded treewidth graphs cannot contain long ladders. Our result also settles an open problem from algorithmic phylogenetics: the common chain reduction rule, used to simplify the comparison of two evolutionary trees, is treewidth-preserving in the display graph of the two trees.


title: RealFusion: 360{\deg} Reconstruction of Any Object from a Single Image

abstract: We consider the problem of reconstructing a full 360{\deg} photographic model of an object from a single image of it. We do so by fitting a neural radiance field to the image, but find this problem to be severely ill-posed. We thus take an off-the-self conditional image generator based on diffusion and engineer a prompt that encourages it to "dream up" novel views of the object. Using an approach inspired by DreamFields and DreamFusion, we fuse the given input view, the conditional prior, and other regularizers in a final, consistent reconstruction. We demonstrate state-of-the-art reconstruction results on benchmark images when compared to prior methods for monocular 3D reconstruction of objects. Qualitatively, our reconstructions provide a faithful match of the input view and a plausible extrapolation of its appearance and 3D shape, including to the side of the object not visible in the image.


title: TOI-1055 b: Neptunian planet characterised with HARPS, TESS, and CHEOPS

abstract: TOI-1055 is a Sun-like star known to host a transiting Neptune-sized planet on a 17.5-day orbit (TOI-1055 b). Radial velocity (RV) analyses carried out by two independent groups using nearly the same set of HARPS spectra have provided measurements of planetary masses that differ by $\sim$ 2$\sigma$. Our aim in this work is to solve the inconsistency in the published planetary masses by significantly extending the set of HARPS RV measurements and employing a new analysis tool that is able to account and correct for stellar activity. Our further aim was to improve the precision on measurements of the planetary radius by observing two transits of the planet with the CHEOPS space telescope. We fit a skew normal (SN) function to each cross correlation function extracted from the HARPS spectra to obtain RV measurements and hyperparameters to be used for the detrending. We evaluated the correlation changes of the hyperparameters along the RV time series using the breakpoint technique. We performed a joint photometric and RV analysis using a Markov chain Monte Carlo (MCMC) scheme to simultaneously detrend the light curves and the RV time series. We firmly detected the Keplerian signal of TOI-1055 b, deriving a planetary mass of $M_b=20.4_{-2.5}^{+2.6} M_{\oplus}$ ($\sim$12%). This value is in agreement with one of the two estimates in the literature, but it is significantly more precise. Thanks to the TESS transit light curves combined with exquisite CHEOPS photometry, we also derived a planetary radius of $R_b=3.490_{-0.064}^{+0.070} R_{\oplus}$ ($\sim$1.9%). Our mass and radius measurements imply a mean density of $\rho_b=2.65_{-0.35}^{+0.37}$ g cm$^{-3}$ ($\sim$14%). We further inferred the planetary structure and found that TOI-1055 b is very likely to host a substantial gas envelope with a mass of $0.41^{+0.34}_{-0.20}$ M$_\oplus$ and a thickness of $1.05^{+0.30}_{-0.29}$ R$_\oplus$.


title: LoS sensing-based superimposed CSI feedback for UAV-Assisted mmWave systems

abstract: In unmanned aerial vehicle (UAV)-assisted millimeter wave (mmWave) systems, channel state information (CSI) feedback is critical for the selection of modulation schemes, resource management, beamforming, etc. However, traditional CSI feedback methods lead to significant feedback overhead and energy consumption of the UAV transmitter, therefore shortening the system operation time. To tackle these issues, inspired by superimposed feedback and integrated sensing and communications (ISAC), a line of sight (LoS) sensing-based superimposed CSI feedback scheme is proposed. Specifically, on the UAV transmitter side, the ground-to-UAV (G2U) CSI is superimposed on the UAVto-ground (U2G) data to feed back to the ground base station (gBS). At the gBS, the dedicated LoS sensing network (LoSSenNet) is designed to sense the U2G CSI in LoS and NLoS scenarios. With the sensed result of LoS-SenNet, the determined G2U CSI from the initial feature extraction will work as the priori information to guide the subsequent operation. Specifically, for the G2U CSI in NLoS, a CSI recovery network (CSI-RecNet) and superimposed interference cancellation are developed to recover the G2U CSI and U2G data. As for the LoS scenario, a dedicated LoS aid network (LoS-AidNet) is embedded before the CSI-RecNet and the block of superimposed interference cancellation to highlight the feature of the G2U CSI. Compared with other methods of superimposed CSI feedback, simulation results demonstrate that the proposed feedback scheme effectively improves the recovery accuracy of the G2U CSI and U2G data. Besides, against parameter variations, the proposed feedback scheme presents its robustness.


title: Supervisory Control of Modular Discrete-Event Systems under Partial Observation: Normality

abstract: Complex systems are often composed of many small communicating components called modules. We investigate the synthesis of supervisory controllers for modular systems under partial observation that, as the closed-loop system, realize the supremal normal sublanguage of the specification. We call such controllers maximally permissive normal supervisors. The challenge in modular systems is to find conditions under which the global nonblocking and maximally permissive normal supervisor can be achieved locally as the parallel composition of local normal supervisors. We show that a structural concept of hierarchical supervisory control called modified observation consistency (MOC) is such a condition. However, the algorithmic verification of MOC is an open problem, and therefore it is necessary to find easily-verifiable conditions that ensure MOC. We show that the condition that all shared events are observable is such a condition. Considering specifications, we examine both local specifications, where each module has its own specification, and global specifications. We combine our results for normality with the existing results for controllability to locally synthesize the nonblocking and maximally permissive controllable and normal supervisor. Finally, we illustrate the results on an industrial case study of the patient table of an MRI scanner.


title: Reinforcement Learning in a Birth and Death Process: Breaking the Dependence on the State Space

abstract: In this paper, we revisit the regret of undiscounted reinforcement learning in MDPs with a birth and death structure. Specifically, we consider a controlled queue with impatient jobs and the main objective is to optimize a trade-off between energy consumption and user-perceived performance. Within this setting, the \emph{diameter} $D$ of the MDP is $\Omega(S^S)$, where $S$ is the number of states. Therefore, the existing lower and upper bounds on the regret at time$T$, of order $O(\sqrt{DSAT})$ for MDPs with $S$ states and $A$ actions, may suggest that reinforcement learning is inefficient here. In our main result however, we exploit the structure of our MDPs to show that the regret of a slightly-tweaked version of the classical learning algorithm {\sc Ucrl2} is in fact upper bounded by $\tilde{\mathcal{O}}(\sqrt{E_2AT})$ where $E_2$ is related to the weighted second moment of the stationary measure of a reference policy. Importantly, $E_2$ is bounded independently of $S$. Thus, our bound is asymptotically independent of the number of states and of the diameter. This result is based on a careful study of the number of visits performed by the learning algorithm to the states of the MDP, which is highly non-uniform.


title: $PC^2$: Projection-Conditioned Point Cloud Diffusion for Single-Image 3D Reconstruction

abstract: Reconstructing the 3D shape of an object from a single RGB image is a long-standing and highly challenging problem in computer vision. In this paper, we propose a novel method for single-image 3D reconstruction which generates a sparse point cloud via a conditional denoising diffusion process. Our method takes as input a single RGB image along with its camera pose and gradually denoises a set of 3D points, whose positions are initially sampled randomly from a three-dimensional Gaussian distribution, into the shape of an object. The key to our method is a geometrically-consistent conditioning process which we call projection conditioning: at each step in the diffusion process, we project local image features onto the partially-denoised point cloud from the given camera pose. This projection conditioning process enables us to generate high-resolution sparse geometries that are well-aligned with the input image, and can additionally be used to predict point colors after shape reconstruction. Moreover, due to the probabilistic nature of the diffusion process, our method is naturally capable of generating multiple different shapes consistent with a single input image. In contrast to prior work, our approach not only performs well on synthetic benchmarks, but also gives large qualitative improvements on complex real-world data.


title: UAV Path Planning Employing MPC- Reinforcement Learning Method Considering Collision Avoidance

abstract: In this paper, we tackle the problem of Unmanned Aerial (UA V) path planning in complex and uncertain environments by designing a Model Predictive Control (MPC), based on a Long-Short-Term Memory (LSTM) network integrated into the Deep Deterministic Policy Gradient algorithm. In the proposed solution, LSTM-MPC operates as a deterministic policy within the DDPG network, and it leverages a predicting pool to store predicted future states and actions for improved robustness and efficiency. The use of the predicting pool also enables the initialization of the critic network, leading to improved convergence speed and reduced failure rate compared to traditional reinforcement learning and deep reinforcement learning methods. The effectiveness of the proposed solution is evaluated by numerical simulations.


title: The Word Problem for Finitary Automaton Groups

abstract: A finitary automaton group is a group generated by an invertible, deterministic finite-state letter-to-letter transducer whose only cycles are self-loops at an identity state. We show that, for this presentation of finite groups, the uniform word problem is coNP-complete. Here, the input consists of a finitary automaton together with a finite state sequence and the question is whether the sequence acts trivially on all input words. Additionally, we also show that the respective compressed word problem, where the state sequence is given as a straight-line program, is PSpace-complete. In both cases, we give a direct reduction from the satisfiability problem for (quantified) boolean formulae and we further show that the problems remain complete for their respective classes if we restrict the input alphabet of the automata to a binary one.


title: Directive Explanations for Monitoring the Risk of Diabetes Onset: Introducing Directive Data-Centric Explanations and Combinations to Support What-If Explorations

abstract: Explainable artificial intelligence is increasingly used in machine learning (ML) based decision-making systems in healthcare. However, little research has compared the utility of different explanation methods in guiding healthcare experts for patient care. Moreover, it is unclear how useful, understandable, actionable and trustworthy these methods are for healthcare experts, as they often require technical ML knowledge. This paper presents an explanation dashboard that predicts the risk of diabetes onset and explains those predictions with data-centric, feature-importance, and example-based explanations. We designed an interactive dashboard to assist healthcare experts, such as nurses and physicians, in monitoring the risk of diabetes onset and recommending measures to minimize risk. We conducted a qualitative study with 11 healthcare experts and a mixed-methods study with 45 healthcare experts and 51 diabetic patients to compare the different explanation methods in our dashboard in terms of understandability, usefulness, actionability, and trust. Results indicate that our participants preferred our representation of data-centric explanations that provide local explanations with a global overview over other methods. Therefore, this paper highlights the importance of visually directive data-centric explanation method for assisting healthcare experts to gain actionable insights from patient health records. Furthermore, we share our design implications for tailoring the visual representation of different explanation methods for healthcare experts.


title: Importance of methodological choices in data manipulation for validating epileptic seizure detection models

abstract: Epilepsy is a chronic neurological disorder that affects a significant portion of the human population and imposes serious risks in the daily life of patients. Despite advances in machine learning and IoT, small, nonstigmatizing wearable devices for continuous monitoring and detection in outpatient environments are not yet available. Part of the reason is the complexity of epilepsy itself, including highly imbalanced data, multimodal nature, and very subject-specific signatures. However, another problem is the heterogeneity of methodological approaches in research, leading to slower progress, difficulty comparing results, and low reproducibility. Therefore, this article identifies a wide range of methodological decisions that must be made and reported when training and evaluating the performance of epilepsy detection systems. We characterize the influence of individual choices using a typical ensemble random-forest model and the publicly available CHB-MIT database, providing a broader picture of each decision and giving good-practice recommendations, based on our experience, where possible.


title: A Framework for UAV-based Distributed Sensing Under Half-Duplex Operation

abstract: This paper proposes an unmanned aerial vehicle (UAV)-based distributed sensing framework that uses frequency-division multiplexing (OFDM) waveforms to detect the position of a ground target under half-duplex operation. The area of interest, where the target is located, is sectioned into a grid of cells, where the radar cross-section (RCS) of every cell is jointly estimated by the UAVs, and a central node acts as a fusion center by receiving all the estimations and performing information-level fusion. For local estimation at each UAV, the periodogram approach is utilised, and a digital receive beamformer is assumed. The fused RCS estimates of the grid are used to estimate the cell containing the target. Monte Carlo simulations are performed to obtain the detection probability of the proposed framework, and our results show that the proposed framework attains improved accuracy for the detection of a target than other OFDM bi-static radar approaches proposed in the literature.