title: Baseline correction for FAST radio recombination lines: a modified penalized least squares smoothing technique

abstract: A pilot project has been proceeded to map 1 deg$^2$ on the Galactic plane for radio recombination lines (RRLs) using the Five hundred meter Aperture Spherical Telescope (FAST). The motivation is to verify the techniques and reliabilities for a large-scale Galactic plane RRL survey with FAST aiming to investigate the ionized environment in the Galaxy. The data shows that the bandpass of the FAST 19 beam L-band is severely affected by radio frequency interferences (RFIs) and standing wave ripples, which can hardly be corrected by traditional low order polynomials. In this paper, we investigate a series of penalized least square (PLS) based baseline correction methods for radio astronomical spectra that usually contain weak signals with high level of noise. Three promising penalized least squares based methods, AsLS, arPLS, and asPLS are evaluated. Adopting their advantages, a modified method named rrlPLS is developed to optimize the baseline fitting to our RRL spectra. To check their effectiveness, the four methods are tested by simulations and further verified using observed data sets. It turns out that the rrlPLS method, with optimized parameter $\lambda = 2 \times 10^8$ , reveals the most sensitive and reliable emission features in the RRL map. By injecting artificial line profiles into the real data cube, a further evaluation of profile distortion is conducted for rrlPLS. Comparing to simulated signals, the processed lines with low signal-to-noise ratio are less affected, of which the uncertainties are mainly caused by the rms noise. The rrlPLS method will be applied for baseline correction in future data processing pipeline of FAST RRL survey. Configured with proper parameters, the rrlPLS technique verified in this work may also be used for other spectroscopy projects.


title: CoV-TI-Net: Transferred Initialization with Modified End Layer for COVID-19 Diagnosis

abstract: This paper proposes transferred initialization with modified fully connected layers for COVID-19 diagnosis. Convolutional neural networks (CNN) achieved a remarkable result in image classification. However, training a high-performing model is a very complicated and time-consuming process because of the complexity of image recognition applications. On the other hand, transfer learning is a relatively new learning method that has been employed in many sectors to achieve good performance with fewer computations. In this research, the PyTorch pre-trained models (VGG19\_bn and WideResNet -101) are applied in the MNIST dataset for the first time as initialization and with modified fully connected layers. The employed PyTorch pre-trained models were previously trained in ImageNet. The proposed model is developed and verified in the Kaggle notebook, and it reached the outstanding accuracy of 99.77% without taking a huge computational time during the training process of the network. We also applied the same methodology to the SIIM-FISABIO-RSNA COVID-19 Detection dataset and achieved 80.01% accuracy. In contrast, the previous methods need a huge compactional time during the training process to reach a high-performing model. Codes are available at the following link: github.com/dipuk0506/SpinalNet


title: CANflict: Exploiting Peripheral Conflicts for Data-Link Layer Attacks on Automotive Networks

abstract: Current research in the automotive domain has proven the limitations of the CAN protocol from a security standpoint. Application-layer attacks, which involve the creation of malicious packets, are deemed feasible from remote but can be easily detected by modern IDS. On the other hand, more recent link-layer attacks are stealthier and possibly more disruptive but require physical access to the bus. In this paper, we present CANflict, a software-only approach that allows reliable manipulation of the CAN bus at the data link layer from an unmodified microcontroller, overcoming the limitations of state-of-the-art works. We demonstrate that it is possible to deploy stealthy CAN link-layer attacks from a remotely compromised ECU, targeting another ECU on the same CAN network. To do this, we exploit the presence of pin conflicts between microcontroller peripherals to craft polyglot frames, which allows an attacker to control the CAN traffic at the bit level and bypass the protocol's rules. We experimentally demonstrate the effectiveness of our approach on high-, mid-, and low-end microcontrollers, and we provide the ground for future research by releasing an extensible tool that can be used to implement our approach on different platforms and to build CAN countermeasures at the data link layer.


title: From Dual Connections to Almost Contact Structures

abstract: A dualistic structure on a smooth Riemaniann manifold $M$ is a triple $(M,g,\nabla)$ with $g$ a Riemaniann metric and $\nabla$ an affine connection, generally assumed to be torsionless. From $g$ and $\nabla$, the dual connection $\nabla^*$ can be defined and the triple $(M, \nabla,\nabla^*)$ is called a statistical manifold, a basic object in information geometry. In this work, we give conditions based on this notion for a manifold to admit an almost contact structure and some related structures: almost contact metric,contact, contact metric, cosymplectic, and coK\"ahler in the three-dimensional case.


title: Spectroscopic detection of Altair's non-radial pulsations

abstract: Context: Rapid rotation is a common feature of early-type stars but which remains a challenge for the models. The understanding of its effect on stellar evolution is however imperative to interpret the observed properties of numerous stars. Aims: We wish to bring more observational constraints on the properties of fast rotating stars, especially on their oscillation modes. Methods: We focus on the nearby star Altair which is known as a very rapidly rotating star with an equatorial velocity estimated recently at 313 km/s. We observed this star with the high-resolution spectropolarimeter Neo-Narval during six nights, with one night of interruption, in September 2020. Results: We detect significant line profile variations on the mean line profile of the spectra. Their time-frequency analysis shows that these variations are induced by gravito-inertial waves propagating at Altair's surface with azimuthal wavenumbers of order $m=10-15$. With a preliminary computation of the eigenspectrum using the most recent concordance model of Altair we can give a first modelling of the observed waves. Conclusions: Altair was known as the brightest $\delta$ Scuti star. We now see that it is the brightest hybrid oscillating star with excited gravito-inertial waves and acoustic waves. Clearly, more observations and more advanced models are needed to explain the observations in greater details


title: Portable Resistive Plate Chambers for Muography in confined environments

abstract: Muography (or muon radiography) is an imaging technique that relies on the use of cosmogenic muons as a free and safe radiation source. It can be applied in various fields such as archaeology, civil engineering, geology, nuclear reactor monitoring, nuclear waste characterization, underground surveys, etc. In such applications, sometimes deploying muon detectors is challenging due to logistics, e.g. in a narrow underground tunnel or mine. Therefore, we are developing muon detectors whose design goals include portability, robustness, autonomy, versatility, and safety. Our portable muon detectors (or ``muoscopes'') are based on Resistive Plate Chambers (RPC), planar detectors that use ionization in a thin gas gap to detect cosmic muons. Prototype RPCs of active area $16 \times 16~cm^2$ and $28 \times 28~cm^2$ were built in our laboratories at Louvain-la-Neuve (UCLouvain) and Ghent (UGent) to test and compare various design options. Benefiting from the experience gained in building and operating these prototypes, we are proceeding towards the development of improved prototypes with more advanced technical layout and readiness. In this paper we provide the status of our performance studies, including the cross-validation of the two types of prototypes in a joint data taking, and an outline of the direction ahead.


title: Challenges in the thermal modeling of highly porous carbon foams

abstract: The heat pulse experiment is a well-known method for determining thermal diffusivity. However, neither the measurement nor the evaluation methodologies are straightforward for heterogeneous, highly porous materials. In the present paper, we focus on two open-cell carbon foam types, differing in their porosity but having the same size. Recent experiments showed that a non-Fourier behaviour, called 'over-diffusive' propagation, is probably present for such a complex structure. The (continuum) Guyer-Krumhansl equation stands as a promising candidate to model such transient thermal behaviour. In order to obtain a reliable evaluation and thus reliable thermal parameters, we utilize a novel, state-of-the-art evaluation procedure developed recently using an analytical solution of the Guyer-Krumhansl equation. Based on our observations, it turned out that the presence of high porosity alone is necessary but not satisfactory for non-Fourier behaviour. Additionally, the mentioned non-Fourier effects are porosity-dependent. However, porous samples can also follow the Fourier law. These data serve as a basis to correctly identify the characteristic heat transfer mechanisms and their corresponding time scales, which altogether result in the present non-Fourier behaviour. Keywords: flash experiments, non-Fourier heat conduction, highly porous carbon foams.


title: Age of Information: Can CR-NOMA Help?

abstract: The aim of this paper is to exploit cognitive-ratio inspired NOMA (CR-NOMA) transmission to reduce the age of information in wireless networks. In particular, two CR-NOMA transmission protocols are developed by utilizing the key features of different data generation models and applying CR-NOMA as an add-on to a legacy orthogonal multiple access (OMA) based network. The fact that the implementation of CR-NOMA causes little disruption to the legacy OMA network means that the proposed CR-NOMA protocols can be practically implemented in various communication systems which are based on OMA. Closed-form expressions for the AoI achieved by the proposed NOMA protocols are developed to facilitate performance evaluation, and asymptotic studies are carried out to identify two benefits of using NOMA to reduce the AoI in wireless networks. One is that the use of NOMA provides users more opportunities to transmit, which means that the users can update their base station more frequently. The other is that the use of NOMA can reduce access delay, i.e., the users are scheduled to transmit earlier than in the OMA case, which is useful to improve the freshness of the data available in the wireless network.


title: Calibrating Ensembles for Scalable Uncertainty Quantification in Deep Learning-based Medical Segmentation

abstract: Uncertainty quantification in automated image analysis is highly desired in many applications. Typically, machine learning models in classification or segmentation are only developed to provide binary answers; however, quantifying the uncertainty of the models can play a critical role for example in active learning or machine human interaction. Uncertainty quantification is especially difficult when using deep learning-based models, which are the state-of-the-art in many imaging applications. The current uncertainty quantification approaches do not scale well in high-dimensional real-world problems. Scalable solutions often rely on classical techniques, such as dropout, during inference or training ensembles of identical models with different random seeds to obtain a posterior distribution. In this paper, we show that these approaches fail to approximate the classification probability. On the contrary, we propose a scalable and intuitive framework to calibrate ensembles of deep learning models to produce uncertainty quantification measurements that approximate the classification probability. On unseen test data, we demonstrate improved calibration, sensitivity (in two out of three cases) and precision when being compared with the standard approaches. We further motivate the usage of our method in active learning, creating pseudo-labels to learn from unlabeled images and human-machine collaboration.


title: Stabilizer Approximation

abstract: We propose a heuristic method to obtain the approximate groundstate for a Hamiltonian in the qubit form, based on the stabilizer formalism. These states may serve as proper initial states for further refined computation. It would be interesting to assess the efficiency and scalability of the method.

categories: quant-ph cond-mat.str-el physics.atom-ph physics.chem-ph


title: Completely Independent Spanning Trees in Line Graphs

abstract: Completely independent spanning trees in a graph $G$ are spanning trees of $G$ such that for any two distinct vertices of $G$, the paths between them in the spanning trees are pairwise edge-disjoint and internally vertex-disjoint. In this paper, we present a tight lower bound on the maximum number of completely independent spanning trees in $L(G)$, where $L(G)$ denotes the line graph of a graph $G$. Based on a new characterization of a graph with $k$ completely independent spanning trees, we also show that for any complete graph $K_n$ of order $n \geq 4$, there are $\lfloor \frac{n+1}{2} \rfloor$ completely independent spanning trees in $L(K_n)$ where the number $\lfloor \frac{n+1}{2} \rfloor$ is optimal, such that $\lfloor \frac{n+1}{2} \rfloor$ completely independent spanning trees still exist in the graph obtained from $L(K_n)$ by deleting any vertex (respectively, any induced path of order at most $\frac{n}{2}$) for $n = 4$ or odd $n \geq 5$ (respectively, even $n \geq 6$). Concerning the connectivity and the number of completely independent spanning trees, we moreover show the following, where $\delta(G)$ denotes the minimum degree of $G$. $\ $ $\bullet$ Every $2k$-connected line graph $L(G)$ has $k$ completely independent spanning trees if $G$ is not super edge-connected or $\delta(G) \geq 2k$. $\ $ $\bullet$ Every $(4k-2)$-connected line graph $L(G)$ has $k$ completely independent spanning trees if $G$ is regular. $\ $ $\bullet$ Every $(k^2+2k-1)$-connected line graph $L(G)$ with $\delta(G) \geq k+1$ has $k$ completely independent spanning trees.


title: Constraining leptonic emission scenarios for the PeVatron candidate HESS J1702-420 with deep XMM-Newton observations

abstract: The unidentified TeV source HESS J1702-420 has recently been proposed as a new hadronic PeVatron candidate, based on the discovery of a small-scale emission sub-region with extremely hard gamma-ray spectrum up to 100 TeV (named HESS J1702-420A). Given the difficulty to discriminate between a hadronic or leptonic origin of the TeV emission, based on the H.E.S.S. measurement alone, we opted for a multi-wavelength approach. A deep X-ray observation was carried out using the XMM-Newton satellite, with the goal of probing a possible association with a hidden leptonic accelerator. No evidence of a clear counterpart for HESS J1702-420A was found in the X-ray data. After excluding an association with all nearby X-ray point sources, we derived strict upper limits on the diffuse X-ray emission and average magnetic field in the HESS J1702-420A region. We additionally report the serendipitous discovery of a new extended X-ray source, whose association with HESS J1702-420A is not obvious but cannot be ruled out either. A set of scripts dedicated to the multi-wavelength modeling of X-ray and gamma-ray data, based on Gammapy, Naima and Xspec, was developed in the context of this work and is made publicly available along with this paper.


title: Vlasov Simulation of Emissive Plasma Sheath with Energy-Dependent Secondary Emission Coefficient and Improved Modeling for Dielectric Charging Effects

abstract: A one dimensional Vlasov Poisson simulation code is employed to investigate the plasma sheath considering electron induced secondary electron emission (SEE) and backscattering. The SEE coefficient is commonly treated as constant in a range of plasma simulations, here improved SEE model of a charged dielectric wall is constructed which includes the wall charging effect on SEE coefficient and the energy dependency of SEE coefficient. Pertinent algorithms to implement above SEE model in plasma simulation are studied in detail. It is found that the SEE coefficient increases with the amount of negative wall charges, which in turn reduces the emissive sheath potential. With energy dependent SEE coefficient, the sheath potential is a nonlinear function of the plasma electron temperature, as opposed to the linear relation predicted by classic emissive sheath theory. Simulation combining both wall charging effect and SEE coefficient energy dependency suggests that the space charged limited sheath is formed at high plasma electron temperature levels, where both sheath potential and surface charging saturate. Additionally, different algorithms to implement the backscattering in kinetic simulation are tested and compared. Converting backscattered electron to secondary electron via an effective SEE coefficient barely affects the sheath properties. The simulation results are shown to be commensurate with the upgraded sheath theory predictions.


title: The fate of the critical endpoint at large $N_c$

abstract: The phase diagram of QCD is investigated by varying number of colors $N_c$ within a Polyakov loop quark-meson chiral model. In particular, our attention is focused on the critical point(s): the critical point present for $N_c=3$ moves toward the $\mu_q$-axis and disappears as soon as the number of color is increased. Yet, a distinct critical point emerges along the temperature axis for $N_c = 53$ and moves toward finite density when increasing $N_c$ further. Thus, the phase diagram at large $N_c$ looks specular w.r.t. the $N_c = 3$ results, with the first order transition in the upper-left and crossover in the down-right regions of the the $(\mu_q,T)$-plane. The pressure is also evaluated in dependence of $N_c$, showing a scaling with $N_c^0$ in the confined and chirally broken phase and with $N_c^2$ in the deconfined one. Moreover, the presence of a chirally symmetric but confined `quarkyonic phase' at large density and moderate temperature with a pressure proportional to $N_c$ is confirmed.


title: Disentangling structural and kinetic components of the {\alpha}-relaxation in supercooled metallic liquids

abstract: The particle motion associated to the {\alpha}-relaxation in supercooled liquids is still challenging scientists due to its difficulty to be probed experimentally. By combining synchrotron techniques, we found the existence of microscopic structure-dynamics relationships in Pt42.5Cu27Ni9.5P21 and Pd42.5Cu27Ni9.5P21 liquids which allows us to disentangle structural and kinetic contributions to the {\alpha}-process. While the two alloys show similar kinetic fragilities, their structural fragilities differ and correlate with the temperature dependence of the stretching parameter describing the decay of the density fluctuations. This implies that the evolution of dynamical heterogeneities in supercooled alloys is determined by the rigidity of the melt structure. We find also that the atomic motion not only reflects the topological order but also the chemical short-range order, which can lead to a surprising slowdown of the {\alpha}-process at the mesoscopic length scale. These results will contribute to the comprehension of the glass transition, which is still missing.


title: Adaptable Butterfly Accelerator for Attention-based NNs via Hardware and Algorithm Co-design

abstract: Attention-based neural networks have become pervasive in many AI tasks. Despite their excellent algorithmic performance, the use of the attention mechanism and feed-forward network (FFN) demands excessive computational and memory resources, which often compromises their hardware performance. Although various sparse variants have been introduced, most approaches only focus on mitigating the quadratic scaling of attention on the algorithm level, without explicitly considering the efficiency of mapping their methods on real hardware designs. Furthermore, most efforts only focus on either the attention mechanism or the FFNs but without jointly optimizing both parts, causing most of the current designs to lack scalability when dealing with different input lengths. This paper systematically considers the sparsity patterns in different variants from a hardware perspective. On the algorithmic level, we propose FABNet, a hardware-friendly variant that adopts a unified butterfly sparsity pattern to approximate both the attention mechanism and the FFNs. On the hardware level, a novel adaptable butterfly accelerator is proposed that can be configured at runtime via dedicated hardware control to accelerate different butterfly layers using a single unified hardware engine. On the Long-Range-Arena dataset, FABNet achieves the same accuracy as the vanilla Transformer while reducing the amount of computation by 10 to 66 times and the number of parameters 2 to 22 times. By jointly optimizing the algorithm and hardware, our FPGA-based butterfly accelerator achieves 14.2 to 23.2 times speedup over state-of-the-art accelerators normalized to the same computational budget. Compared with optimized CPU and GPU designs on Raspberry Pi 4 and Jetson Nano, our system is up to 273.8 and 15.1 times faster under the same power budget.


title: A system of cosine-sine functional equations on a semigroup generated by its squares

abstract: Given a semigroup $S$ generated by its squares, we determine the complex-valued solutions of the following system of cosine-sine functional equations \begin{align*} f(xy)=f(x)g_{1}(y)+g_{1}(x)f(y)+\lambda_{1}^{2}\,h(x)h(y),\; x,y\in S,\\ h(xy)=h(x)g_{2}(y)+g_{2}(x)h(y)+\lambda_{2}^{2}\,f(x)f(y),\; x,y\in S, \end{align*} where $\lambda_{1},\lambda_{2}\in\mathbb{C}$ are given constants and $f,g_{1},g_{2},h:S\to\mathbb{C}$ are unknown functions.


title: A Spiking Neural Network Learning Markov Chain

abstract: In this paper, the question how spiking neural network (SNN) learns and fixes in its internal structures a model of external world dynamics is explored. This question is important for implementation of the model-based reinforcement learning (RL), the realistic RL regime where the decisions made by SNN and their evaluation in terms of reward/punishment signals may be separated by significant time interval and sequence of intermediate evaluation-neutral world states. In the present work, I formalize world dynamics as a Markov chain with unknown a priori state transition probabilities, which should be learnt by the network. To make this problem formulation more realistic, I solve it in continuous time, so that duration of every state in the Markov chain may be different and is unknown. It is demonstrated how this task can be accomplished by an SNN with specially designed structure and local synaptic plasticity rules. As an example, we show how this network motif works in the simple but non-trivial world where a ball moves inside a square box and bounces from its walls with a random new direction and velocity.


title: Exploiting ideal-sparsity in the generalized moment problem with application to matrix factorization ranks

abstract: We explore a new type of sparsity for the generalized moment problem (GMP) that we call ideal-sparsity. This sparsity exploits the presence of equality constraints requiring the measure to be supported on the variety of an ideal generated by bilinear monomials modeled by an associated graph. We show that this enables an equivalent sparse reformulation of the GMP, where the single (high dimensional) measure variable is replaced by several (lower-dimensional) measure variables supported on the maximal cliques of the graph. We explore the resulting hierarchies of moment-based relaxations for the original dense formulation of GMP and this new, equivalent ideal-sparse reformulation, when applied to the problem of bounding nonnegative- and completely positive matrix factorization ranks. We show that the ideal-sparse hierarchies provide bounds that are at least as good (and often tighter) as those obtained from the dense hierarchy. This is in sharp contrast to the situation when exploiting correlative sparsity, as is most common in the literature, where the resulting bounds are weaker than the dense bounds. Moreover, while correlative sparsity requires the underlying graph to be chordal, no such assumption is needed for ideal-sparsity. Numerical results show that the ideal-sparse bounds are often tighter and much faster to compute than their dense analogs.


title: Sampling Agnostic Feature Representation for Long-Term Person Re-identification

abstract: Person re-identification is a problem of identifying individuals across non-overlapping cameras. Although remarkable progress has been made in the re-identification problem, it is still a challenging problem due to appearance variations of the same person as well as other people of similar appearance. Some prior works solved the issues by separating features of positive samples from features of negative ones. However, the performances of existing models considerably depend on the characteristics and statistics of the samples used for training. Thus, we propose a novel framework named sampling independent robust feature representation network (SirNet) that learns disentangled feature embedding from randomly chosen samples. A carefully designed sampling independent maximum discrepancy loss is introduced to model samples of the same person as a cluster. As a result, the proposed framework can generate additional hard negatives/positives using the learned features, which results in better discriminability from other identities. Extensive experimental results on large-scale benchmark datasets verify that the proposed model is more effective than prior state-of-the-art models.


title: Quantum annealing with symmetric subspaces

abstract: Quantum annealing (QA) is a promising approach for not only solving combinatorial optimization problems but also simulating quantum many-body systems such as those in condensed matter physics. However, non-adiabatic transitions constitute a key challenge in QA. The choice of the drive Hamiltonian is known to affect the performance of QA because of the possible suppression of non-adiabatic transitions. Here, we propose the use of a drive Hamiltonian that preserves the symmetry of the problem Hamiltonian for more efficient QA. Owing to our choice of the drive Hamiltonian, the solution is searched in an appropriate symmetric subspace during QA. As non-adiabatic transitions occur only inside the specific subspace, our approach can potentially suppress unwanted non-adiabatic transitions. To evaluate the performance of our scheme, we employ the XY model as the drive Hamiltonian in order to find the ground state of problem Hamiltonians that commute with the total magnetization along the $z$ axis. We find that our scheme outperforms the conventional scheme in terms of the fidelity between the target ground state and the states after QA.


title: Stochastic Verification Theorem for Infinite Dimensional Stochastic Control Systems

abstract: The verification theorem serving as an optimality condition for the optimal control problem, has been expected and studied for a long time. The purpose of this paper is to establish this theorem for control systems governed by stochastic evolution equations in infinite dimensions, in which both the drift and the diffusion terms depend on the controls.


title: Understanding Real-world Threats to Deep Learning Models in Android Apps

abstract: Famous for its superior performance, deep learning (DL) has been popularly used within many applications, which also at the same time attracts various threats to the models. One primary threat is from adversarial attacks. Researchers have intensively studied this threat for several years and proposed dozens of approaches to create adversarial examples (AEs). But most of the approaches are only evaluated on limited models and datasets (e.g., MNIST, CIFAR-10). Thus, the effectiveness of attacking real-world DL models is not quite clear. In this paper, we perform the first systematic study of adversarial attacks on real-world DNN models and provide a real-world model dataset named RWM. Particularly, we design a suite of approaches to adapt current AE generation algorithms to the diverse real-world DL models, including automatically extracting DL models from Android apps, capturing the inputs and outputs of the DL models in apps, generating AEs and validating them by observing the apps' execution. For black-box DL models, we design a semantic-based approach to build suitable datasets and use them for training substitute models when performing transfer-based attacks. After analyzing 245 DL models collected from 62,583 real-world apps, we have a unique opportunity to understand the gap between real-world DL models and contemporary AE generation algorithms. To our surprise, the current AE generation algorithms can only directly attack 6.53% of the models. Benefiting from our approach, the success rate upgrades to 47.35%.


title: MultiMediate '22: Backchannel Detection and Agreement Estimation in Group Interactions

abstract: Backchannels, i.e. short interjections of the listener, serve important meta-conversational purposes like signifying attention or indicating agreement. Despite their key role, automatic analysis of backchannels in group interactions has been largely neglected so far. The MultiMediate challenge addresses, for the first time, the tasks of backchannel detection and agreement estimation from backchannels in group conversations. This paper describes the MultiMediate challenge and presents a novel set of annotations consisting of 7234 backchannel instances for the MPIIGroupInteraction dataset. Each backchannel was additionally annotated with the extent by which it expresses agreement towards the current speaker. In addition to a an analysis of the collected annotations, we present baseline results for both challenge tasks.


title: Microscopic observation of two-level systems in a metallic glass model

abstract: The low-temperature quasi-universal behavior of amorphous solids has been attributed to the existence of spatially-localized tunneling defects found in the low-energy regions of the potential energy landscape. Computational models of glasses can be studied to elucidate the microscopic nature of these defects. Recent simulation work has demonstrated the means of generating stable glassy configurations for models that mimic metallic glasses using the swap Monte Carlo algorithm. Building on these studies, we present an extensive exploration of the glassy metabasins of the potential energy landscape of a variant of the most widely used model of metallic glasses. We carefully identify tunneling defects and reveal their depletion with increased glass stability. The density of tunneling defects near the experimental glass transition temperature appears to be in good agreement with experimental measurements.


title: Carbon: An Asynchronous Voting-Based Payment System for a Client-Server Architecture

abstract: We present Carbon, an asynchronous payment system. To the best of our knowledge, Carbon is the first asynchronous payment system designed specifically for a client-server architecture. Namely, besides being able to make payments, clients of Carbon are capable of changing the set of running servers using a novel voting mechanism -- asynchronous, balance-based voting.


title: Unbiased time-average estimators for Markov chains

abstract: We consider a time-average estimator $f_{k}$ of a functional of a Markov chain. Under a coupling assumption, we show that the expectation of $f_{k}$ has a limit $\mu$ as the number of time-steps goes to infinity. We describe a modification of $f_{k}$ that yields an unbiased estimator $\hat f_{k}$ of $\mu$. It is shown that $\hat f_{k}$ is square-integrable and has finite expected running time. Under certain conditions, $\hat f_{k}$ can be built without any precomputations, and is asymptotically at least as efficient as $f_{k}$, up to a multiplicative constant arbitrarily close to $1$. Our approach provides an unbiased estimator for the bias of $f_{k}$. We study applications to volatility forecasting, queues, and the simulation of high-dimensional Gaussian vectors. Our numerical experiments are consistent with our theoretical findings.


title: Simultaneous segmentation and classification of the retinal arteries and veins from color fundus images

abstract: The study of the retinal vasculature is a fundamental stage in the screening and diagnosis of many diseases. A complete retinal vascular analysis requires to segment and classify the blood vessels of the retina into arteries and veins (A/V). Early automatic methods approached these segmentation and classification tasks in two sequential stages. However, currently, these tasks are approached as a joint semantic segmentation task, as the classification results highly depend on the effectiveness of the vessel segmentation. In that regard, we propose a novel approach for the simultaneous segmentation and classification of the retinal A/V from eye fundus images. In particular, we propose a novel method that, unlike previous approaches, and thanks to a novel loss, decomposes the joint task into three segmentation problems targeting arteries, veins and the whole vascular tree. This configuration allows to handle vessel crossings intuitively and directly provides accurate segmentation masks of the different target vascular trees. The provided ablation study on the public Retinal Images vessel Tree Extraction (RITE) dataset demonstrates that the proposed method provides a satisfactory performance, particularly in the segmentation of the different structures. Furthermore, the comparison with the state of the art shows that our method achieves highly competitive results in A/V classification, while significantly improving vascular segmentation. The proposed multi-segmentation method allows to detect more vessels and better segment the different structures, while achieving a competitive classification performance. Also, in these terms, our approach outperforms the approaches of various reference works. Moreover, in contrast with previous approaches, the proposed method allows to directly detect the vessel crossings, as well as preserving the continuity of A/V at these complex locations.


title: A probabilistic deep learning model of inter-fraction anatomical variations in radiotherapy

abstract: In radiotherapy, the internal movement of organs between treatment sessions causes errors in the final radiation dose delivery. Motion models can be used to simulate motion patterns and assess anatomical robustness before delivery. Traditionally, such models are based on principal component analysis (PCA) and are either patient-specific (requiring several scans per patient) or population-based, applying the same deformations to all patients. We present a hybrid approach which, based on population data, allows to predict patient-specific inter-fraction variations for an individual patient. We propose a deep learning probabilistic framework that generates deformation vector fields (DVFs) warping a patient's planning computed tomography (CT) into possible patient-specific anatomies. This daily anatomy model (DAM) uses few random variables capturing groups of correlated movements. Given a new planning CT, DAM estimates the joint distribution over the variables, with each sample from the distribution corresponding to a different deformation. We train our model using dataset of 312 CT pairs from 38 prostate cancer patients. For 2 additional patients (22 CTs), we compute the contour overlap between real and generated images, and compare the sampled and ground truth distributions of volume and center of mass changes. With a DICE score of 0.86 and a distance between prostate contours of 1.09 mm, DAM matches and improves upon PCA-based models. The distribution overlap further indicates that DAM's sampled movements match the range and frequency of clinically observed daily changes on repeat CTs. Conditioned only on a planning CT and contours of a new patient without any pre-processing, DAM can accurately predict CTs seen during following treatment sessions, which can be used for anatomically robust treatment planning and robustness evaluation against inter-fraction anatomical changes.


title: Non-Disclosing Credential On-chaining for Blockchain-based Decentralized Applications

abstract: Many service systems rely on verifiable identity-related information of their users. Manipulation and unwanted exposure of this privacy-relevant information, however, must at the same time be prevented and avoided. Peer-to-peer blockchain-based decentralization with a smart contract-based execution model and verifiable off-chain computations leveraging zero-knowledge proofs promise to provide the basis for next-generation, non-disclosing credential management solutions. In this paper, we propose a novel credential on-chaining system that ensures blockchain-based transparency while preserving pseudonymity. We present a general model compliant to the W3C verifiable credential recommendation and demonstrate how it can be applied to solve existing problems that require computational identity-related attribute verification. Our zkSNARKs-based reference implementation and evaluation show that, compared to related approaches based on, e.g., CL-signatures, our approach provides significant performance advantages and more flexible proof mechanisms, underpinning our vision of increasingly decentralized, transparent, and trustworthy service systems.


title: On the $ R_{K} $ Theory Error

abstract: To quantify the theory error on $R_K$, essentially means to quantify the uncertainty due to QED corrections since the latter breaks lepton flavour universality through the lepton masses. Since experiment uses photon shower programs, e.g. \texttt{PHOTOS}, to capture QED effects, assessing the uncertainty involves investigating effects not captured by the specific use of these tools. This includes structure-dependent corrections, potentially large non-logarithmic terms and charmonium resonances entering the lower bin by migration of radiation. We are able to close in on these loopholes. For example, using gauge invariance, we show that structure-dependent QED corrections do not lead to additional (sizeable) hard-collinear logs of the form ${\cal O}(\alpha) \ln m_\ell/m_B$. Hence, from the theory point of view $R_K$ is a safe observable.


title: Effects of Influential Points and Sample Size on the Selection and Replicability of Multivariable Fractional Polynomial Models

abstract: The multivariable fractional polynomial (MFP) procedure combines variable selection with a function selection procedure (FSP). For continuous variables, a closed test procedure is used to decide between no effect, linear, FP1 or FP2 functions. Influential observations (IPs) and small sample size can both have an impact on a selected fractional polynomial model. In this paper, we used simulated data with six continuous and four categorical predictors to illustrate approaches which can help to identify IPs with an influence on function selection and the MFP model. Approaches use leave-one or two-out and two related techniques for a multivariable assessment. In seven subsamples we also investigated the effects of sample size and model replicability. For better illustration, a structured profile was used to provide an overview of all analyses conducted. The results showed that one or more IPs can drive the functions and models selected. In addition, with a small sample size, MFP might not be able to detect non-linear functions and the selected model might differ substantially from the true underlying model. However, if the sample size is sufficient and regression diagnostics are carefully conducted, MFP can be a suitable approach to select variables and functional forms for continuous variables.


title: Some classes of composition operators on Orlicz spaces

abstract: The notions of expansivity and positive expansivity for composition operators on Orlicz spaces are investigated. In particular, necessary and sufficient conditions are given for a composition operator to be expansive, positively expansive, and uniformly expansive. Additionally, equivalent conditions for these concepts are provided in the case that the system is dissipative.


title: An asymptotic version of Cobham's theorem

abstract: We introduce the notion of an asymptotically automatic sequence, which generalises the notion of an automatic sequence, and we prove a variant of Cobham's theorem for the newly introduced class of sequences.


title: Superheterodyne Microwave System for the Detection of Bioparticles with Coplanar Electrodes on a Microfluidic Platform

abstract: The combination of microwave and microfluidic technologies has the potential to enable wireless monitoring and interaction with bioparticles, facilitating in this way the exploration of a still largely uncharted territory at the intersection of biology, communication engineering and microscale physics. Opportunely, the scientific and technical requirements of microfluidics and microwave techniques converge to the need of system miniaturization to achieve the required sensitivity levels. This work, therefore, presents the design and optimization of a measurement system for the detection of bioparticles over the frequency range $0.01$ to $10$ $\mathrm{GHz}$, with different coplanar electrodes configurations on a microfluidic platform. The design of the measurement signal-chain setup is optimized for a novel real-time superheterodyne microwave detection system. In particular, signal integrity is achieved by means of a microwave-shielded chamber, which is protected from external electromagnetic interference that may potentially impact the coplanar electrodes mounted on the microfluidic device. Additionally, analytical expressions and experimental validation of the system-level performance are provided and discussed for the different designs of the coplanar electrodes. This technique is applied to measure the electrical field perturbation produced by $10$ $\mathrm{\mu m}$ polystyrene beads with a concentration of $10^5$ $\mathrm{beads/mL}$, and flowing at a rate of $10$ $\mathrm{\mu L/m}$. The achieved SNR is in the order of $40$ $\mathrm{dB}$ for the three coplanar electrodes considered.


title: On The Complete Description Of Entangled Systems Part I: Hidden Variables And The Context Communication Cost of Simulating Quantum Correlations

abstract: Some forms of classical simulations of quantum type probabilities and correlations are capable of violating Boole's conditions of possible experience, such as the Clauser-Horne-Shimony-Holt inequality, even beyond the Tsirelson bound. This can be achieved by communicating a single bit encoding the measurement context.


title: Cubic Dirac operator for $U_q(\mathfrak{sl}_2)$

abstract: We construct the $q$-deformed Clifford algebra of $\mathfrak{sl}_2$ and study its properties. This allows us to define the $q$-deformed noncommutative Weil algebra $\mathcal{W}_q(\mathfrak{sl}_2)$ for $U_q(\mathfrak{sl}_2)$ and the corresponding cubic Dirac operator $D_q$. In the classical case it was done by Alekseev and Meinrenken. We show that the cubic Dirac operator $D_q$ is invariant with respect to the $U_q(\mathfrak{sl}_2)$-action and *-structures on $\mathcal{W}_q(\mathfrak{sl}_2)$, moreover, the square of $D_q$ is central in $\mathcal{W}_q(\mathfrak{sl}_2)$. We compute the spectrum of the cubic element on finite-dimensional and Verma modules of~$U_q(\mathfrak{sl}_2)$ and the corresponding Dirac cohomology.


title: Closing the Gender Wage Gap: Adversarial Fairness in Job Recommendation

abstract: The goal of this work is to help mitigate the already existing gender wage gap by supplying unbiased job recommendations based on resumes from job seekers. We employ a generative adversarial network to remove gender bias from word2vec representations of 12M job vacancy texts and 900k resumes. Our results show that representations created from recruitment texts contain algorithmic bias and that this bias results in real-world consequences for recommendation systems. Without controlling for bias, women are recommended jobs with significantly lower salary in our data. With adversarially fair representations, this wage gap disappears, meaning that our debiased job recommendations reduce wage discrimination. We conclude that adversarial debiasing of word representations can increase real-world fairness of systems and thus may be part of the solution for creating fairness-aware recommendation systems.


title: EffEval: A Comprehensive Evaluation of Efficiency for MT Evaluation Metrics

abstract: Efficiency is a key property to foster inclusiveness and reduce environmental costs, especially in an era of LLMs. In this work, we provide a comprehensive evaluation of efficiency for MT evaluation metrics. Our approach involves replacing computation-intensive transformers with lighter alternatives and employing linear and quadratic approximations for alignment algorithms on top of LLM representations. We evaluate six (reference-free and reference-based) metrics across three MT datasets and examine 16 lightweight transformers. In addition, we look into the training efficiency of metrics like COMET by utilizing adapters. Our results indicate that (a) TinyBERT provides the optimal balance between quality and efficiency, (b) CPU speed-ups are more substantial than those on GPU; (c) WMD approximations yield no efficiency gains while reducing quality and (d) adapters enhance training efficiency (regarding backward pass speed and memory requirements) as well as, in some cases, metric quality. These findings can help to strike a balance between evaluation speed and quality, which is essential for effective NLG systems. Furthermore, our research contributes to the ongoing efforts to optimize NLG evaluation metrics with minimal impact on performance. To our knowledge, ours is the most comprehensive analysis of different aspects of efficiency for MT metrics conducted so far.


title: Mirror Prox Algorithm for Large-Scale Cell-Free Massive MIMO Uplink Power Control

abstract: We consider the problem of max-min fairness for uplink cell-free massive multiple-input multiple-output (MIMO) subject to per-user power constraints. The standard framework for solving the considered problem is to separately solve two subproblems: the receiver filter coefficient design and the power control problem. While the former has a closed-form solution, the latter has been solved using either second-order methods of high computational complexity or a first-order method that provides an approximate solution. To deal with these drawbacks of the existing methods, we propose a mirror prox based method for the power control problem by equivalently reformulating it as a convex-concave problem and applying the mirror prox algorithm to find a saddle point. The simulation results establish the optimality of the proposed solution and demonstrate that it is more efficient than the known methods. We also conclude that for large-scale cell-free massive MIMO, joint optimization of linear receive combining and power control provides significantly better user fairness than the power control only scheme in which receiver coefficients are fixed to unity.


title: High-harmonic generation in the Rice-Mele model: Role of intraband current originating from interband transition

abstract: We consider high-harmonic generation (HHG) in the Rice-Mele model to study the role of the intraband current originating from the change of the intraband dipole via interband transition. This contribution, which has been often neglected in previous works, is necessary for the consistent theoretical formulation of the light-matter coupling. We demonstrate that the contribution becomes crucial when the gap is smaller than or comparable to the excitation frequency and the system is close to the half filling.


title: Synapse: Interactive Guidance by Demonstration with Trial-and-Error Support for Older Adults to Use Smartphone Apps

abstract: As smartphones are widely adopted, mobile applications (apps) are emerging to provide critical services such as food delivery and telemedicine. While bring convenience to everyday life, this trend may create barriers for older adults who tend to be less tech-savvy than young people. In-person or screen sharing support is helpful but limited by the help-givers' availability. Video tutorials can be useful but require users to switch contexts between watching the tutorial and performing the corresponding actions in the app, which is cumbersome to do on a mobile phone. Although interactive tutorials have been shown to be promising, none was designed for older adults. Furthermore, the trial-and-error approach has been shown to be beneficial for older adults, but they often lack support to use the approach. Inspired by both interactive tutorials and trial-and-error approach, we designed an app-independent mobile service, \textit{Synapse}, for help-givers to create a multimodal interactive tutorial on a smartphone and for help-receivers (e.g., older adults) to receive interactive guidance with trial-and-error support when they work on the same task. We conducted a user study with 18 older adults who were 60 and over. Our quantitative and qualitative results show that Synapse provided better support than the traditional video approach and enabled participants to feel more confident and motivated. Lastly, we present further design considerations to better support older adults with trial-and-error on smartphones.


title: TESS discovery of a super-Earth and two sub-Neptunes orbiting the bright, nearby, Sun-like star HD 22946

abstract: We report the Transiting Exoplanet Survey Satellite (TESS) discovery of a three-planet system around the bright Sun-like star HD~22946(V=8.3 mag),also known as TIC~100990000, located 63 parsecs away.The system was observed by TESS in Sectors 3, 4, 30 and 31 and two planet candidates, labelled TESS Objects of Interest (TOIs) 411.01 (planet $c$) and 411.02 (planet $b$), were identified on orbits of 9.57 and 4.04 days, respectively. In this work, we validate the two planets and recover an additional single transit-like signal in the light curve, which suggests the presence of a third transiting planet with a longer period of about 46 days.We assess the veracity of the TESS transit signals and use follow-up imaging and time series photometry to rule out false positive scenarios, including unresolved binary systems, nearby eclipsing binaries or background/foreground stars contaminating the light curves. Parallax measurements from Gaia EDR3, together with broad-band photometry and spectroscopic follow-up by TFOP allowed us to constrain the stellar parameters of TOI-411, including its radius of$1.157\pm0.025R_\odot$. Adopting this value, we determined the radii for the three exoplanet candidates and found that planet $b$ is a super-Earth, with a radius of $1.72\pm0.10R_\oplus$, while planet $c$ and $d$ are sub-Neptunian planets, with radii of$2.74\pm0.14R_\oplus$ and $3.23\pm0.19R_\oplus$ respectively. By using dynamical simulations, we assessed the stability of the system and evaluated the possibility of the presence of other undetected, non-transiting planets by investigating its dynamical packing. We find that the system is dynamically stable and potentially unpacked, with enough space to host at least one more planet between $c$ and $d$.(Abridged)


title: Complement Avoidance in Binary Words

abstract: The complement $\overline{x}$ of a binary word $x$ is obtained by changing each $0$ in $x$ to $1$ and vice versa. We study infinite binary words $\bf w$ that avoid sufficiently large complementary factors; that is, if $x$ is a factor of $\bf w$ then $\overline{x}$ is not a factor of $\bf w$. In particular, we classify such words according to their critical exponents.


title: Tunneling processes between Yu-Shiba-Rusinov bound states

abstract: Very recent experiments have reported the tunneling between Yu-Shiba-Rusinov (YSR) bound states at the atomic scale. These experiments have been realized with the help of a scanning tunneling microscope where a superconducting tip is functionalized with a magnetic impurity and is used to probe another magnetic impurity deposited on a superconducting substrate. In this way it has become possible to study for the first time the spin-dependent transport between individual superconducting bound states. Motivated by these experiments, we present here a comprehensive theoretical study of the tunneling processes between YSR bound states in a system in which two magnetic impurities are coupled to superconducting leads. Our theory is based on a combination of an Anderson model with broken spin degeneracy to describe the impurities and nonequilibrium Green's function techniques to compute the current-voltage characteristics. This combination allows us to describe the spin-dependent transport for an arbitrary strength of the tunnel coupling between the impurities. We first focus on the tunnel regime and show that our theory naturally explains the experimental observations of the appearance of current peaks in the subgap region due to both the direct and thermal tunneling between the YSR states in both impurities. Then, we study in detail the case of junctions with increasing transparency, which has not been experimentally explored yet, and predict the occurrence of a large variety of (multiple) Andreev reflections mediated by YSR states that give rise to a very rich structure in the subgap current. In particular, we predict the occurrence of multiple Andreev reflections that involve YSR states in different impurities. These processes have no analogue in single-impurity junctions and they are manifested as current peaks with negative differential conductance for subgap voltages.


title: Magnetic Reconnection in Magnetohydrodynamics

abstract: We provide examples of periodic solutions (in both 2 and 3 dimension) of the Magnetohydrodynamics equations such that the topology of the magnetic lines changes during the evolution. This phenomenon, known as magnetic reconnection, is relevant for physicists, in particular in the study of highly conducting plasmas. Although numerical and experimental evidences exist, analytical examples of magnetic reconnection were not known.

categories: math.AP math-ph math.MP physics.plasm-ph


title: CHEX-MATE: pressure profiles of 6 galaxy clusters as seen by SPT and Planck

abstract: Pressure profiles are sensitive probes of the thermodynamic conditions and the internal structure of galaxy clusters. The intra-cluster gas resides in hydrostatic equilibrium within the Dark Matter gravitational potential. However, this equilibrium may be perturbed, e.g. as a consequence of thermal energy losses, feedback and non-thermal pressure supports. Accurate measures of the gas pressure over the cosmic times are crucial to constrain the cluster evolution as well as the contribution of astrophysical processes. In this work we presented a novel algorithm to derive the pressure profiles of galaxy clusters from the Sunyaev-Zeldovich (SZ) signal measured on a combination of Planck and South Pole Telescope (SPT) observations. The synergy of the two instruments made it possible to track the profiles on a wide range of spatial scales. We exploited the sensitivity to the larger scales of the Planck High-Frequency Instrument to observe the faint peripheries, and the higher spatial resolution of SPT to solve the innermost regions. We developed a two-step pipeline to take advantage of the specifications of each instrument. We first performed a component separation on the two data-sets separately to remove the background (CMB) and foreground (galactic emission) contaminants. Then we jointly fitted a parametric pressure profile model on a combination of Planck and SPT data. We validated our technique on a sample of 6 CHEX-MATE clusters detected by SPT. We compare the results of the SZ analysis with profiles derived from X-ray observations with XMM-Newton. We find an excellent agreement between these two independent probes of the gas pressure structure.


title: Comparing Shape-Constrained Regression Algorithms for Data Validation

abstract: Industrial and scientific applications handle large volumes of data that render manual validation by humans infeasible. Therefore, we require automated data validation approaches that are able to consider the prior knowledge of domain experts to produce dependable, trustworthy assessments of data quality. Prior knowledge is often available as rules that describe interactions of inputs with regard to the target e.g. the target must be monotonically decreasing and convex over increasing input values. Domain experts are able to validate multiple such interactions at a glance. However, existing rule-based data validation approaches are unable to consider these constraints. In this work, we compare different shape-constrained regression algorithms for the purpose of data validation based on their classification accuracy and runtime performance.


title: Deep Dive into the IoT Backend Ecosystem

abstract: Internet of Things (IoT) devices are becoming increasingly ubiquitous, e.g., at home, in enterprise environments, and in production lines. To support the advanced functionalities of IoT devices, IoT vendors as well as service and cloud companies operate IoT backends -- the focus of this paper. We propose a methodology to identify and locate them by (a) compiling a list of domains used exclusively by major IoT backend providers and (b) then identifying their server IP addresses. We rely on multiple sources, including IoT backend provider documentation, passive DNS data, and active scanning. For analyzing IoT traffic patterns, we rely on passive network flows from a major European ISP. Our analysis focuses on the top IoT backends and unveils diverse operational strategies -- from operating their own infrastructure to utilizing the public cloud. We find that the majority of the top IoT backend providers are located in multiple locations and countries. Still, a handful are located only in one country, which could raise regulatory scrutiny as the client IoT devices are located in other regions. Indeed, our analysis shows that up to 35% of IoT traffic is exchanged with IoT backend servers located in other continents. We also find that at least six of the top IoT backends rely on other IoT backend providers. We also evaluate if cascading effects among the IoT backend providers are possible in the event of an outage, a misconfiguration, or an attack.


title: The JCMT BISTRO Survey: Multi-wavelength polarimetry of bright regions in NGC 2071 in the far-infrared/submillimetre range, with POL-2 and HAWC+

abstract: Polarized dust emission is a key tracer in the study of interstellar medium and of star formation. The observed polarization, however, is a product of magnetic field structure, dust grain properties and grain alignment efficiency, as well as their variations in the line of sight, making it difficult to interpret polarization unambiguously. The comparison of polarimetry at multiple wavelengths is a possible way of mitigating this problem. We use data from HAWC+/SOFIA and from SCUBA-2/POL-2 (from the BISTRO survey) to analyse the NGC 2071 molecular cloud at 154, 214 and 850 $\mu$m. The polarization angle changes significantly with wavelength over part of NGC 2071, suggesting a change in magnetic field morphology on the line of sight as each wavelength best traces different dust populations. Other possible explanations are the existence of more than one polarization mechanism in the cloud or scattering from very large grains. The observed change of polarization fraction with wavelength, and the 214-to-154 $\mu$m polarization ratio in particular, are difficult to reproduce with current dust models under the assumption of uniform alignment efficiency. We also show that the standard procedure of using monochromatic intensity as a proxy for column density may produce spurious results at HAWC+ wavelengths. Using both long-wavelength (POL-2, 850 $\mu$m) and short-wavelength (HAWC+, $\lesssim 200\, \mu$m) polarimetry is key in obtaining these results. This study clearly shows the importance of multi-wavelength polarimetry at submillimeter bands to understand the dust properties of molecular clouds and the relationship between magnetic field and star formation.


title: A Survey on UAV-Aided Maritime Communications: Deployment Considerations, Applications, and Future Challenges

abstract: Maritime activities represent a major domain of economic growth with several emerging maritime Internet of Things use cases, such as smart ports, autonomous navigation, and ocean monitoring systems. The major enabler for this exciting ecosystem is the provision of broadband, low-delay, and reliable wireless coverage to the ever-increasing number of vessels, buoys, platforms, sensors, and actuators. Towards this end, the integration of unmanned aerial vehicles (UAVs) in maritime communications introduces an aerial dimension to wireless connectivity going above and beyond current deployments, which are mainly relying on shore-based base stations with limited coverage and satellite links with high latency. Considering the potential of UAV-aided wireless communications, this survey presents the state-of-the-art in UAV-aided maritime communications, which, in general, are based on both conventional optimization and machine-learning-aided approaches. More specifically, relevant UAV-based network architectures are discussed together with the role of their building blocks. Then, physical-layer, resource management, and cloud/edge computing and caching UAV-aided solutions in maritime environments are discussed and grouped based on their performance targets. Moreover, as UAVs are characterized by flexible deployment with high re-positioning capabilities, studies on UAV trajectory optimization for maritime applications are thoroughly discussed. In addition, aiming at shedding light on the current status of real-world deployments, experimental studies on UAV-aided maritime communications are presented and implementation details are given. Finally, several important open issues in the area of UAV-aided maritime communications are given, related to the integration of sixth generation (6G) advancements.


title: Semi-automatic Data Annotation System for Multi-Target Multi-Camera Vehicle Tracking

abstract: Multi-target multi-camera tracking (MTMCT) plays an important role in intelligent video analysis, surveillance video retrieval, and other application scenarios. Nowadays, the deep-learning-based MTMCT has been the mainstream and has achieved fascinating improvements regarding tracking accuracy and efficiency. However, according to our investigation, the lacking of datasets focusing on real-world application scenarios limits the further improvements for current learning-based MTMCT models. Specifically, the learning-based MTMCT models training by common datasets usually cannot achieve satisfactory results in real-world application scenarios. Motivated by this, this paper presents a semi-automatic data annotation system to facilitate the real-world MTMCT dataset establishment. The proposed system first employs a deep-learning-based single-camera trajectory generation method to automatically extract trajectories from surveillance videos. Subsequently, the system provides a recommendation list in the following manual cross-camera trajectory matching process. The recommendation list is generated based on side information, including camera location, timestamp relation, and background scene. In the experimental stage, extensive results further demonstrate the efficiency of the proposed system.


title: Using a modified version of the Tavis-Cummings-Hubbard model to simulate the formation of neutral hydrogen molecule

abstract: A finite-dimensional chemistry model with two two-level artificial atoms on quantum dots positioned in optical cavities, called the association-dissociation model of neutral hydrogen molecule, is described. The initial circumstances that led to the formation of the synthetic neutral hydrogen molecule are explained. In quantum form, nuclei's mobility is portrayed. The association of atoms in the molecule is simulated through a quantum master equation, incorporating hybridization of atomic orbitals into molecular - depending on the position of the nuclei. Consideration is also given to electron spin transitions. Investigated are the effects of temperature variation of various photonic modes on quantum evolution and neutral hydrogen molecule formation. Finally, a more precise model including covalent bond and simple harmonic oscillator (phonon) is proposed.


title: Graph Value Iteration

abstract: In recent years, deep Reinforcement Learning (RL) has been successful in various combinatorial search domains, such as two-player games and scientific discovery. However, directly applying deep RL in planning domains is still challenging. One major difficulty is that without a human-crafted heuristic function, reward signals remain zero unless the learning framework discovers any solution plan. Search space becomes \emph{exponentially larger} as the minimum length of plans grows, which is a serious limitation for planning instances with a minimum plan length of hundreds to thousands of steps. Previous learning frameworks that augment graph search with deep neural networks and extra generated subgoals have achieved success in various challenging planning domains. However, generating useful subgoals requires extensive domain knowledge. We propose a domain-independent method that augments graph search with graph value iteration to solve hard planning instances that are out of reach for domain-specialized solvers. In particular, instead of receiving learning signals only from discovered plans, our approach also learns from failed search attempts where no goal state has been reached. The graph value iteration component can exploit the graph structure of local search space and provide more informative learning signals. We also show how we use a curriculum strategy to smooth the learning process and perform a full analysis of how graph value iteration scales and enables learning.


title: Star and Cluster Formation in the Sh2-112 Filamentary Cloud Complex

abstract: We present the star formation activity around the emission nebula Sh2-112. At a distance of $\sim2.1$~kpc, this \ion{H}{2} complex, itself 3~pc in radius, is illuminated by the massive star (O8\,V) BD$+$45\,3216. The associated molecular cloud extends in angular scales of $2\fdg0\times0\fdg83$, corresponding to linear sizes of 73~pc by 30~pc, along the Galactic longitude. The high-resolution ($30\arcsec$) extinction map reveals a chain of dust clumps aligned with the filament-like structure with an average extinction of $A_{V} \sim 2.78$~mag, varying up to a maximum of $\sim17$~mag. Our analysis led to identification of a rich population ($\sim 500$) of young (average age of $\sim 1$~Myr) stars, plus a numerous number ($\sim 350$) of H$\alpha$ emitters, spatially correlated with the filamentary clouds. Located near the edge of the cloud, the luminous star BD$+$45\,3216 has created an arc-like pattern as the ionizing radiation encounters the dense gas, forming a blister-shaped morphology. We found three distinct young stellar groups, all coincident with relatively dense parts of the cloud complex, signifying ongoing star formation. Moreover, the cloud filament (excitation temperature $\sim 10$~K) traced by the CO isotopologues and extending nearly $\sim 80$~pc is devoid of ionized gas except at the dense cores (excitation temperature $\sim$ 28--32~K) wherein significant ionized emission excited by OB stars (dynamical age $\sim$ 0.18--1.0~Myr) pertains. The radial velocity is dynamic (median $\sim -3.65$~km~s$^{-1}$) along the main filament, increasing from Galactic east to west, features mass flow to form the massive stars/clusters at the central hubs.


title: Generalisability of fetal ultrasound deep learning models to low-resource imaging settings in five African countries

abstract: Most artificial intelligence (AI) research have concentrated in high-income countries, where imaging data, IT infrastructures and clinical expertise are plentiful. However, slower progress has been made in limited-resource environments where medical imaging is needed. For example, in Sub-Saharan Africa the rate of perinatal mortality is very high due to limited access to antenatal screening. In these countries, AI models could be implemented to help clinicians acquire fetal ultrasound planes for diagnosis of fetal abnormalities. So far, deep learning models have been proposed to identify standard fetal planes, but there is no evidence of their ability to generalise in centres with limited access to high-end ultrasound equipment and data. This work investigates different strategies to reduce the domain-shift effect for a fetal plane classification model trained on a high-resource clinical centre and transferred to a new low-resource centre. To that end, a classifier trained with 1,792 patients from Spain is first evaluated on a new centre in Denmark in optimal conditions with 1,008 patients and is later optimised to reach the same performance in five African centres (Egypt, Algeria, Uganda, Ghana and Malawi) with 25 patients each. The results show that a transfer learning approach can be a solution to integrate small-size African samples with existing large-scale databases in developed countries. In particular, the model can be re-aligned and optimised to boost the performance on African populations by increasing the recall to $0.92\pm0.04$ and at the same time maintaining a high precision across centres. This framework shows promise for building new AI models generalisable across clinical centres with limited data acquired in challenging and heterogeneous conditions and calls for further research to develop new solutions for usability of AI in countries with less resources.


title: Exploring the structure of hadronic showers and the hadronic energy reconstruction with highly granular calorimeters

abstract: Prototypes of electromagnetic and hadronic imaging calorimeters developed and operated by the CALICE collaboration provide an unprecedented wealth of highly granular data of hadronic showers for a variety of active sensor elements and different absorber materials. In this presentation, we discuss detailed measurements of the spatial and the time structure of hadronic showers to characterise the different stages of hadronic cascades in the calorimeters, which are then confronted with GEANT4-based simulations using different hadronic physics models. These studies also extend to the two different absorber materials, steel and tungsten, used in the prototypes. The high granularity of the detectors is exploited in the reconstruction of hadronic energy, both in individual detectors and combined electromagnetic and hadronic systems, making use of software compensation and semi-digital energy reconstruction. The results include new simulation studies that predict the reliable operation of granular calorimeters. Further we show how granularity and the application of multivariate analysis algorithms enable the separation of close-by particles. We will report on the performance of these reconstruction techniques for different electromagnetic and hadronic calorimeters, with silicon, scintillator and gaseous active elements. Granular calorimeters are also an ideal testing ground for the application of machine learning techniques. We will outline how these techniques are applied to CALICE data and in the CALICE simulation framework.


title: Analysis Of The Anytime MAPF Solvers Based On The Combination Of Conflict-Based Search (CBS) and Focal Search (FS)

abstract: Conflict-Based Search (CBS) is a widely used algorithm for solving multi-agent pathfinding (MAPF) problems optimally. The core idea of CBS is to run hierarchical search, when, on the high level the tree of solutions candidates is explored, and on the low-level an individual planning for a specific agent (subject to certain constraints) is carried out. To trade-off optimality for running time different variants of bounded sub-optimal CBS were designed, which alter both high- and low-level search routines of CBS. Moreover, anytime variant of CBS does exist that applies Focal Search (FS) to the high-level of CBS - Anytime BCBS. However, no comprehensive analysis of how well this algorithm performs compared to the naive one, when we simply re-invoke CBS with the decreased sub-optimality bound, was present. This work aims at filling this gap. Moreover, we present and evaluate another anytime version of CBS that uses FS on both levels of CBS. Empirically, we show that its behavior is principally different from the one demonstrated by Anytime BCBS. Finally, we compare both algorithms head-to-head and show that using Focal Search on both levels of CBS can be beneficial in a wide range of setups.


title: MAC: A Meta-Learning Approach for Feature Learning and Recombination

abstract: Optimization-based meta-learning aims to learn an initialization so that a new unseen task can be learned within a few gradient updates. Model Agnostic Meta-Learning (MAML) is a benchmark algorithm comprising two optimization loops. The inner loop is dedicated to learning a new task and the outer loop leads to meta-initialization. However, ANIL (almost no inner loop) algorithm shows that feature reuse is an alternative to rapid learning in MAML. Thus, the meta-initialization phase makes MAML primed for feature reuse and obviates the need for rapid learning. Contrary to ANIL, we hypothesize that there may be a need to learn new features during meta-testing. A new unseen task from non-similar distribution would necessitate rapid learning in addition reuse and recombination of existing features. In this paper, we invoke the width-depth duality of neural networks, wherein, we increase the width of the network by adding extra computational units (ACU). The ACUs enable the learning of new atomic features in the meta-testing task, and the associated increased width facilitates information propagation in the forwarding pass. The newly learnt features combine with existing features in the last layer for meta-learning. Experimental results show that our proposed MAC method outperformed existing ANIL algorithm for non-similar task distribution by approximately 13% (5-shot task setting)


abstract: The capability to adapt compliance by varying muscle stiffness is crucial for dexterous manipulation skills in humans. Incorporating compliance in robot motor control is crucial to performing real-world force interaction tasks with human-level dexterity. This work presents a Deep Model Predictive Variable Impedance Controller for compliant robotic manipulation which combines Variable Impedance Control with Model Predictive Control (MPC). A generalized Cartesian impedance model of a robot manipulator is learned using an exploration strategy maximizing the information gain. This model is used within an MPC framework to adapt the impedance parameters of a low-level variable impedance controller to achieve the desired compliance behavior for different manipulation tasks without any retraining or finetuning. The deep Model Predictive Variable Impedance Control approach is evaluated using a Franka Emika Panda robotic manipulator operating on different manipulation tasks in simulations and real experiments. The proposed approach was compared with model-free and model-based reinforcement approaches in variable impedance control for transferability between tasks and performance.


title: Fast Ion Gates Outside the Lamb-Dicke Regime by Robust Quantum Optimal Control

abstract: We present a robust quantum optimal control framework for implementing fast entangling gates on ion-trap quantum processors. The framework leverages tailored laser pulses to drive the multiple vibrational sidebands of the ions to create phonon-mediated entangling gates and, unlike the state of the art, requires neither weak-coupling Lamb-Dicke approximation nor perturbation treatment. With the application of gradient-based optimal control, it enables finding amplitude- and phase-modulated laser control protocols that work beyond the Lamb-Dicke regime, promising gate speed at the order of microseconds comparable to the characteristic trap frequencies. Also, robustness requirements on the temperature of the ions and initial optical phase can be conveniently included to pursue high-quality fast gates against experimental imperfections. Our approach represents a step in speeding up quantum gates to achieve larger quantum circuits for quantum computation and simulation, and thus can find applications in near-future experiments.


title: Provably Uncertainty-Guided Universal Domain Adaptation

abstract: Universal domain adaptation (UniDA) aims to transfer the knowledge from a labeled source domain to an unlabeled target domain without any assumptions of the label sets, which requires distinguishing the unknown samples from the known ones in the target domain. A main challenge of UniDA is that the nonidentical label sets cause the misalignment between the two domains. Moreover, the domain discrepancy and the supervised objectives in the source domain easily lead the whole model to be biased towards the common classes and produce overconfident predictions for unknown samples. To address the above challenging problems, we propose a new uncertainty-guided UniDA framework. Firstly, we introduce an empirical estimation of the probability of a target sample belonging to the unknown class which fully exploits the distribution of the target samples in the latent space. Then, based on the estimation, we propose a novel neighbors searching scheme in a linear subspace with a $\delta$-filter to estimate the uncertainty score of a target sample and discover unknown samples. It fully utilizes the relationship between a target sample and its neighbors in the source domain to avoid the influence of domain misalignment. Secondly, this paper well balances the confidences of predictions for both known and unknown samples through an uncertainty-guided margin loss based on the confidences of discovered unknown samples, which can reduce the gap between the intra-class variances of known classes with respect to the unknown class. Finally, experiments on three public datasets demonstrate that our method significantly outperforms existing state-of-the-art methods.


title: Seq2Seq Surrogates of Epidemic Models to Facilitate Bayesian Inference

abstract: Epidemic models are powerful tools in understanding infectious disease. However, as they increase in size and complexity, they can quickly become computationally intractable. Recent progress in modelling methodology has shown that surrogate models can be used to emulate complex epidemic models with a high-dimensional parameter space. We show that deep sequence-to-sequence (seq2seq) models can serve as accurate surrogates for complex epidemic models with sequence based model parameters, effectively replicating seasonal and long-term transmission dynamics. Once trained, our surrogate can predict scenarios a several thousand times faster than the original model, making them ideal for policy exploration. We demonstrate that replacing a traditional epidemic model with a learned simulator facilitates robust Bayesian inference.


title: On a Uniform Causality Model for Industrial Automation

abstract: The increasing complexity of Cyber-Physical Systems (CPS) makes industrial automation challenging. Large amounts of data recorded by sensors need to be processed to adequately perform tasks such as diagnosis in case of fault. A promising approach to deal with this complexity is the concept of causality. However, most research on causality has focused on inferring causal relations between parts of an unknown system. Engineering uses causality in a fundamentally different way: complex systems are constructed by combining components with known, controllable behavior. As CPS are constructed by the second approach, most data-based causality models are not suited for industrial automation. To bridge this gap, a Uniform Causality Model for various application areas of industrial automation is proposed, which will allow better communication and better data usage across disciplines. The resulting model describes the behavior of CPS mathematically and, as the model is evaluated on the unique requirements of the application areas, it is shown that the Uniform Causality Model can work as a basis for the application of new approaches in industrial automation that focus on machine learning.


title: Personal Attribute Prediction from Conversations

abstract: Personal knowledge bases (PKBs) are critical to many applications, such as Web-based chatbots and personalized recommendation. Conversations containing rich personal knowledge can be regarded as a main source to populate the PKB. Given a user, a user attribute, and user utterances from a conversational system, we aim to predict the personal attribute value for the user, which is helpful for the enrichment of PKBs. However, there are three issues existing in previous studies: (1) manually labeled utterances are required for model training; (2) personal attribute knowledge embedded in both utterances and external resources is underutilized; (3) the performance on predicting some difficult personal attributes is unsatisfactory. In this paper, we propose a framework DSCGN based on the pre-trained language model with a noise-robust loss function to predict personal attributes from conversations without requiring any labeled utterances. We yield two categories of supervision, i.e., document-level supervision via a distant supervision strategy and contextualized word-level supervision via a label guessing method, by mining the personal attribute knowledge embedded in both unlabeled utterances and external resources to fine-tune the language model. Extensive experiments over two real-world data sets (i.e., a profession data set and a hobby data set) show our framework obtains the best performance compared with all the twelve baselines in terms of nDCG and MRR.


title: Riemannian Geometry Framed as a Generalized Lie Algebra to Incorporate General Relativity with Quantum Theory 1

abstract: This paper reframes Riemannian geometry as a generalized Lie algebra allowing the equations of both RG and then General Relativity to be expressed as commutation relations among fundamental operators. We begin with an Abelian Lie algebra of n operators, X, whose simultaneous eigenvalues, y, define a real n-dimensional space. Then with n new operators defined as independent functions, we define contravariant and covariant tensors in terms of their eigenvalues, on a Hilbert space representation. We then define n additional operators, D, whose exponential map is to translate X as defined by a noncommutative algebra of operators (observables) where the structure constants are shown to be the metric functions of the X operators thus allowing for spatial curvature resulting in a noncommutativity among the D operators. The D operators then have a Hilbert space position-diagonal representation as generalized differential operators plus an arbitrary vector function A(X), which, with the metric, written as a commutator, can express the Christoffel symbols, and the Riemann, Ricci and other tensors as commutators in this representation. Traditional RG and GR are obtained in a position diagonal representation of this noncommutative algebra of 2n+1 operators. We seek to provide a more general framework for RG to support an integration of GR, QT, and the SM by generalizing Lie algebras as described.


title: Scaling and compressing melodies using geometric similarity measures

abstract: Melodic similarity measurement is of key importance in music information retrieval. In this paper, we use geometric matching techniques to measure the similarity between two melodies. We represent music as sets of points or sets of horizontal line segments in the Euclidean plane and propose efficient algorithms for optimization problems inspired in two operations on melodies; linear scaling and audio compression. In the scaling problem, an incoming query melody is scaled forward until the similarity measure between the query and a reference melody is minimized. The compression problem asks for a subset of notes of a given melody such that the matching cost between the selected notes and the reference melody is minimized.


title: The cylindrical shock at underwater wire explosion

abstract: New analytical solution of the piston and shock evolution for the wire electrical explosion in water is obtained. This is provided on the base of the compressible Euler equations without usually a prior introduction of any self-similarity hypothesis. It is shown that diverging cylindrical shock is transformed into acoustic wave in a finite time, even without taking into account of dissipation. The correspondence with experimental data on underwater electrical explosion of thin wire is represented.


title: Application of Group Method of Data Handling and New Optimization Algorithms for Predicting Sediment Transport Rate under Vegetation Cover

abstract: Planting vegetation is one of the practical solutions for reducing sediment transfer rates. Increasing vegetation cover decreases environmental pollution and sediment transport rate (STR). Since sediments and vegetation interact complexly, predicting sediment transport rates is challenging. This study aims to predict sediment transport rate under vegetation cover using new and optimized versions of the group method of data handling (GMDH). Additionally, this study introduces a new ensemble model for predicting sediment transport rates. Model inputs include wave height, wave velocity, density cover, wave force, D50, the height of vegetation cover, and cover stem diameter. A standalone GMDH model and optimized GMDH models, including GMDH honey badger algorithm (HBA) GMDH rat swarm algorithm (RSOA)vGMDH sine cosine algorithm (SCA), and GMDH particle swarm optimization (GMDH-PSO), were used to predict sediment transport rates. As the next step, the outputs of standalone and optimized GMDH were used to construct an ensemble model. The MAE of the ensemble model was 0.145 m3/s, while the MAEs of GMDH-HBA, GMDH-RSOA, GMDH-SCA, GMDH-PSOA, and GMDH in the testing level were 0.176 m3/s, 0.312 m3/s, 0.367 m3/s, 0.498 m3/s, and 0.612 m3/s, respectively. The Nash Sutcliffe coefficient (NSE) of ensemble model, GMDH-HBA, GMDH-RSOA, GMDH-SCA, GMDH-PSOA, and GHMDH were 0.95 0.93, 0.89, 0.86, 0.82, and 0.76, respectively. Additionally, this study demonstrated that vegetation cover decreased sediment transport rate by 90 percent. The results indicated that the ensemble and GMDH-HBA models could accurately predict sediment transport rates. Based on the results of this study, sediment transport rate can be monitored using the IMM and GMDH-HBA. These results are useful for managing and planning water resources in large basins.


title: Robust Online and Distributed Mean Estimation Under Adversarial Data Corruption

abstract: We study robust mean estimation in an online and distributed scenario in the presence of adversarial data attacks. At each time step, each agent in a network receives a potentially corrupted data point, where the data points were originally independent and identically distributed samples of a random variable. We propose online and distributed algorithms for all agents to asymptotically estimate the mean. We provide the error-bound and the convergence properties of the estimates to the true mean under our algorithms. Based on the network topology, we further evaluate each agent's trade-off in convergence rate between incorporating data from neighbors and learning with only local observations.


title: Fuzzy strong $\phi$-b-normed linear space for fuzzy bounded linear operators

abstract: In this paper, concept of fuzzy continuous operator, fuzzy bounded linear operator are introduced in fuzzy strong $\phi$-b-normed linear spaces and their relations are studied. Idea of operator fuzzy norm is developed and completeness of BF(X,Y) is established.


title: Sequence Learning Using Equilibrium Propagation

abstract: Equilibrium Propagation (EP) is a powerful and more bio-plausible alternative to conventional learning frameworks such as backpropagation. The effectiveness of EP stems from the fact that it relies only on local computations and requires solely one kind of computational unit during both of its training phases, thereby enabling greater applicability in domains such as bio-inspired neuromorphic computing. The dynamics of the model in EP is governed by an energy function and the internal states of the model consequently converge to a steady state following the state transition rules defined by the same. However, by definition, EP requires the input to the model (a convergent RNN) to be static in both the phases of training. Thus it is not possible to design a model for sequence classification using EP with an LSTM or GRU like architecture. In this paper, we leverage recent developments in modern hopfield networks to further understand energy based models and develop solutions for complex sequence classification tasks using EP while satisfying its convergence criteria and maintaining its theoretical similarities with recurrent backpropagation. We explore the possibility of integrating modern hopfield networks as an attention mechanism with convergent RNN models used in EP, thereby extending its applicability for the first time on two different sequence classification tasks in natural language processing viz. sentiment analysis (IMDB dataset) and natural language inference (SNLI dataset).


title: Droplet charging in stratiform clouds

abstract: The role of droplet charge in stratiform clouds is one of the least well understood areas in cloud microphysics and is thought to affect cloud radiative and precipitation processes. Layer clouds cover a large proportion of the Earth's surface and are important in regulating the planetary radiation budget. Using a new remote sensing method developed at our University Observatory, we demonstrate that charge in the base of stratiform clouds is typically of negative polarity, as expected from theory considering the vertical current flow into and out of the cloud. More detailed vertical charge structure of layer clouds can be found using balloon-carried instruments. Our previous research using in situ balloon observations has demonstrated that, on average, the bulk charge polarity and location agrees with theoretical predictions of positive charge at the upper edge and negative charge at the lower edge. Here we present optical and charge measurements of droplets from a variety of stratiform clouds, demonstrating the typical variability which is observed.


title: The Thresholding Greedy Algorithm versus Approximations with Sizes Bounded by Certain Functions $f$

abstract: Let $X$ be a Banach space and $(e_n)_{n=1}^\infty$ be a basis. For a function $f$ in a large collection $\mathcal{F}$ (closed under composition), we define and characterize $f$-greedy and $f$-almost greedy bases. We study relations among these bases as $f$ varies and show that while a basis is not almost greedy, it can be $f$-greedy for some $f\in \mathcal{F}$. Furthermore, we prove that for all non-identity function $f\in \mathcal{F}$, we have the surprising equivalence $$f\mbox{-greedy}\ \Longleftrightarrow \ f\mbox{-almost greedy}.$$ We give various examples of Banach spaces to illustrate our results.


title: Boundary conditions for the quantum Hall effect

abstract: We formulate a self-consistent model of the integer quantum Hall effect on an infinite strip, using boundary conditions to investigate the influence of finite-size effects on the Hall conductivity. By exploiting the translation symmetry along the strip, we determine both the general spectral properties of the system for a large class of boundary conditions respecting such symmetry, and the full spectrum for (fibered) Robin boundary conditions. In particular, we find that the latter introduce a new kind of states with no classical analogues, and add a finer structure to the quantization pattern of the Hall conductivity. Moreover, our model also predicts the breakdown of the quantum Hall effect at high values of the applied electric field.

categories: cond-mat.mes-hall math-ph math.MP quant-ph


title: Detection of Malicious Websites Using Machine Learning Techniques

abstract: In detecting malicious websites, a common approach is the use of blacklists which are not exhaustive in themselves and are unable to generalize to new malicious sites. Detecting newly encountered malicious websites automatically will help reduce the vulnerability to this form of attack. In this study, we explored the use of ten machine learning models to classify malicious websites based on lexical features and understand how they generalize across datasets. Specifically, we trained, validated, and tested these models on different sets of datasets and then carried out a cross-datasets analysis. From our analysis, we found that K-Nearest Neighbor is the only model that performs consistently high across datasets. Other models such as Random Forest, Decision Trees, Logistic Regression, and Support Vector Machines also consistently outperform a baseline model of predicting every link as malicious across all metrics and datasets. Also, we found no evidence that any subset of lexical features generalizes across models or datasets. This research should be relevant to cybersecurity professionals and academic researchers as it could form the basis for real-life detection systems or further research work.


title: De-Identification of French Unstructured Clinical Notes for Machine Learning Tasks

abstract: Unstructured textual data are at the heart of health systems: liaison letters between doctors, operating reports, coding of procedures according to the ICD-10 standard, etc. The details included in these documents make it possible to get to know the patient better, to better manage him or her, to better study the pathologies, to accurately remunerate the associated medical acts\ldots All this seems to be (at least partially) within reach of today by artificial intelligence techniques. However, for obvious reasons of privacy protection, the designers of these AIs do not have the legal right to access these documents as long as they contain identifying data. De-identifying these documents, i.e. detecting and deleting all identifying information present in them, is a legally necessary step for sharing this data between two complementary worlds. Over the last decade, several proposals have been made to de-identify documents, mainly in English. While the detection scores are often high, the substitution methods are often not very robust to attack. In French, very few methods are based on arbitrary detection and/or substitution rules. In this paper, we propose a new comprehensive de-identification method dedicated to French-language medical documents. Both the approach for the detection of identifying elements (based on deep learning) and their substitution (based on differential privacy) are based on the most proven existing approaches. The result is an approach that effectively protects the privacy of the patients at the heart of these medical documents. The whole approach has been evaluated on a French language medical dataset of a French public hospital and the results are very encouraging.


title: A Reference Model for Common Understanding of Capabilities and Skills in Manufacturing

abstract: In manufacturing, many use cases of Industry 4.0 require vendor-neutral and machine-readable information models to describe, implement and execute resource functions. Such models have been researched under the terms capabilities and skills. Standardization of such models is required, but currently not available. This paper presents a reference model developed jointly by members of various organizations in a working group of the Plattform Industrie 4.0. This model covers definitions of most important aspects of capabilities and skills. It can be seen as a basis for further standardization efforts.


title: Assessment of active dopants and p-n junction abruptness using in-situ biased 4D-STEM

abstract: A key issue in the development of high-performance semiconductor devices is the ability to properly measure active dopants at the nanometer scale. 4D scanning transmission electron microscopy and off-axis electron holography have opened up the possibility of studying the electrostatic properties of a p-n junction with nm-scale spatial resolution. The complete description of a p-n junction must take into account the precise evolution of the concentration of dopants around the junction, since the sharpness of the dopant transition directly influences the built-in potential and the maximum electric field. Here, a contacted silicon p-n junction is studied through in-situ biased 4D-STEM. Measurements of electric field, built-in voltage, depletion region width and charge density in the space charge region are combined with analytical equations as well as finite-element simulations in order to evaluate the quality of the junction interface. The nominally-symmetric, highly doped ($N_A = N_D = 9\space x \space10^{18} cm^{-3}$) junction presents an electric field and built-in voltage much lower than expected for an abrupt junction. These experimental results are consistent with electron holography data. All measured junction parameters are compatible with the presence of an intermediate region with a graded profile of the dopants at the p-n interface. This hypothesis is also consistent with the evolution of the electric field with bias. These results demonstrate that in-situ biased 4D-STEM enables a better understanding of the electrical properties of semiconductor p-n junctions with nm-scale resolution.