title: Charge-separated electron-hole liquid in transition metal dichalcogenide heterostructures

abstract: The possibility of the formation of an electron-hole liquid in the type II heterostructures based on monolayers (bilayers) of transition metal dichalcogenides is considered. It is indicated that additional valleys in the conduction band, which are present in bilayers, are required for its observation. The binding energy of the interlayer exciton is found by the variation method. An analytical formula is found for the shape of the recombination line of the electron-hole liquid.


title: Aligned with Whom? Direct and social goals for AI systems

abstract: As artificial intelligence (AI) becomes more powerful and widespread, the AI alignment problem - how to ensure that AI systems pursue the goals that we want them to pursue - has garnered growing attention. This article distinguishes two types of alignment problems depending on whose goals we consider, and analyzes the different solutions necessitated by each. The direct alignment problem considers whether an AI system accomplishes the goals of the entity operating it. In contrast, the social alignment problem considers the effects of an AI system on larger groups or on society more broadly. In particular, it also considers whether the system imposes externalities on others. Whereas solutions to the direct alignment problem center around more robust implementation, social alignment problems typically arise because of conflicts between individual and group-level goals, elevating the importance of AI governance to mediate such conflicts. Addressing the social alignment problem requires both enforcing existing norms on their developers and operators and designing new norms that apply directly to AI systems.


title: TGANet: Text-guided attention for improved polyp segmentation

abstract: Colonoscopy is a gold standard procedure but is highly operator-dependent. Automated polyp segmentation, a precancerous precursor, can minimize missed rates and timely treatment of colon cancer at an early stage. Even though there are deep learning methods developed for this task, variability in polyp size can impact model training, thereby limiting it to the size attribute of the majority of samples in the training dataset that may provide sub-optimal results to differently sized polyps. In this work, we exploit size-related and polyp number-related features in the form of text attention during training. We introduce an auxiliary classification task to weight the text-based embedding that allows network to learn additional feature representations that can distinctly adapt to differently sized polyps and can adapt to cases with multiple polyps. Our experimental results demonstrate that these added text embeddings improve the overall performance of the model compared to state-of-the-art segmentation methods. We explore four different datasets and provide insights for size-specific improvements. Our proposed text-guided attention network (TGANet) can generalize well to variable-sized polyps in different datasets.


title: Siamese Object Tracking for Unmanned Aerial Vehicle: A Review and Comprehensive Analysis

abstract: Unmanned aerial vehicle (UAV)-based visual object tracking has enabled a wide range of applications and attracted increasing attention in the field of intelligent transportation systems because of its versatility and effectiveness. As an emerging force in the revolutionary trend of deep learning, Siamese networks shine in UAV-based object tracking with their promising balance of accuracy, robustness, and speed. Thanks to the development of embedded processors and the gradual optimization of deep neural networks, Siamese trackers receive extensive research and realize preliminary combinations with UAVs. However, due to the UAV's limited onboard computational resources and the complex real-world circumstances, aerial tracking with Siamese networks still faces severe obstacles in many aspects. To further explore the deployment of Siamese networks in UAV-based tracking, this work presents a comprehensive review of leading-edge Siamese trackers, along with an exhaustive UAV-specific analysis based on the evaluation using a typical UAV onboard processor. Then, the onboard tests are conducted to validate the feasibility and efficacy of representative Siamese trackers in real-world UAV deployment. Furthermore, to better promote the development of the tracking community, this work analyzes the limitations of existing Siamese trackers and conducts additional experiments represented by low-illumination evaluations. In the end, prospects for the development of Siamese tracking for UAV-based intelligent transportation systems are deeply discussed. The unified framework of leading-edge Siamese trackers, i.e., code library, and the results of their experimental evaluations are available at https://github.com/vision4robotics/SiameseTracking4UAV .


title: Anatomy-aware Self-supervised Learning for Anomaly Detection in Chest Radiographs

abstract: Large numbers of labeled medical images are essential for the accurate detection of anomalies, but manual annotation is labor-intensive and time-consuming. Self-supervised learning (SSL) is a training method to learn data-specific features without manual annotation. Several SSL-based models have been employed in medical image anomaly detection. These SSL methods effectively learn representations in several field-specific images, such as natural and industrial product images. However, owing to the requirement of medical expertise, typical SSL-based models are inefficient in medical image anomaly detection. We present an SSL-based model that enables anatomical structure-based unsupervised anomaly detection (UAD). The model employs the anatomy-aware pasting (AnatPaste) augmentation tool. AnatPaste employs a threshold-based lung segmentation pretext task to create anomalies in normal chest radiographs, which are used for model pretraining. These anomalies are similar to real anomalies and help the model recognize them. We evaluate our model on three opensource chest radiograph datasets. Our model exhibit area under curves (AUC) of 92.1%, 78.7%, and 81.9%, which are the highest among existing UAD models. This is the first SSL model to employ anatomical information as a pretext task. AnatPaste can be applied in various deep learning models and downstream tasks. It can be employed for other modalities by fixing appropriate segmentation. Our code is publicly available at: https://github.com/jun-sato/AnatPaste.


title: Statistical inference with regularized optimal transport

abstract: Optimal transport (OT) is a versatile framework for comparing probability measures, with many applications to statistics, machine learning, and applied mathematics. However, OT distances suffer from computational and statistical scalability issues to high dimensions, which motivated the study of regularized OT methods like slicing, smoothing, and entropic penalty. This work establishes a unified framework for deriving limit distributions of empirical regularized OT distances, semiparametric efficiency of the plug-in empirical estimator, and bootstrap consistency. We apply the unified framework to provide a comprehensive statistical treatment of: (i) average- and max-sliced $p$-Wasserstein distances, for which several gaps in existing literature are closed; (ii) smooth distances with compactly supported kernels, the analysis of which is motivated by computational considerations; and (iii) entropic OT, for which our method generalizes existing limit distribution results and establishes, for the first time, efficiency and bootstrap consistency. While our focus is on these three regularized OT distances as applications, the flexibility of the proposed framework renders it applicable to broad classes of functionals beyond these examples.


title: Machine Learning Based Propagation Loss Module for Enabling Digital Twins of Wireless Networks in ns-3

abstract: The creation of digital twins of experimental testbeds allows the validation of novel wireless networking solutions and the evaluation of their performance in realistic conditions, without the cost, complexity and limited availability of experimental testbeds. Current trace-based simulation approaches for ns-3 enable the repetition and reproduction of the same exact conditions observed in past experiments. However, they are limited by the fact that the simulation setup must exactly match the original experimental setup, including the network topology, the mobility patterns and the number of network nodes. In this paper, we propose the Machine Learning based Propagation Loss (MLPL) module for ns-3. Based on network traces collected in an experimental testbed, the MLPL module estimates the propagation loss as the sum of a deterministic path loss and a stochastic fast-fading loss. The MLPL module is validated with unit tests. Moreover, we test the MLPL module with real network traces, and compare the results obtained with existing propagation loss models in ns-3 and real experimental results. The results obtained show that the MLPL module can accurately predict the propagation loss observed in a real environment and reproduce the experimental conditions of a given testbed, enabling the creation of digital twins of wireless network environments in ns-3.


title: A fourth moment phenomenon for asymptotic normality of monochromatic subgraphs

abstract: Given a graph sequence $\{G_n\}_{n\ge1}$ and a simple connected subgraph $H$, we denote by $T(H,G_n)$ the number of monochromatic copies of $H$ in a uniformly random vertex coloring of $G_n$ with $c \ge 2$ colors. In this article, we prove a central limit theorem for $T(H,G_n)$ with explicit error rates. The error rates arise from graph counts of collections formed by joining copies of $H$ that we call good joins. Counts of good joins are closely related to the fourth moment of a normalized version of $T(H,G_{n})$, and that connection allows us to show a fourth moment phenomenon for the central limit theorem. Precisely, for $c\ge 30$, we show that $T(H,G_n)$ (appropriately centered and rescaled) converges in distribution to $\mathcal{N}(0,1)$ whenever its fourth moment converges to 3 (the fourth moment of the standard normal distribution). We show the convergence of the fourth moment is necessary to obtain a normal limit when $c\ge 2$. The combination of these results implies that the fourth moment condition characterizes the limiting normal distribution of $T(H,G_n)$ for all subgraphs $H$, whenever $c\ge 30$.


title: Metal-insulator transition in type II heterostructures based on transition metal dichalcogenides

abstract: The problem of screening the Coulomb interaction between charge carriers in type II heterostructures based on transition metal dichalcogenides is Analytically solved. At a sufficiently high density of charge carriers, the density dependence of the interlayer exciton energy is obtained. The energy of the interlayer exciton tends to zero in the metal--insulator transition point. The presented scheme of calculations makes it possible to find the temperature dependence of the density of this transition.


title: A Regular and Complete Notion of Delay for Streaming String Transducers

abstract: The notion of delay between finite transducers is a core element of numerous fundamental results of transducer theory. The goal of this work is to provide a similar notion for more complex abstract machines: we introduce a new notion of delay tailored to measure the similarity between streaming string transducers (SST). We show that our notion is regular: we design a finite automaton that can check whether the delay between any two SSTs executions is smaller than some given bound. As a consequence, our notion enjoys good decidability properties: in particular, while equivalence between non-deterministic SSTs is undecidable, we show that equivalence up to fixed delay is decidable. Moreover, we show that our notion has good completeness properties: we prove that two SSTs are equivalent if and only if they are equivalent up to some (computable) bounded delay. Together with the regularity of our delay notion, it provides an alternative proof that SSTs equivalence is decidable. Finally, the definition of our delay notion is machine-independent, as it only depends on the origin semantics of SSTs. As a corollary, the completeness result also holds for equivalent machine models such as deterministic two-way transducers, or MSO transducers.


title: Optimal Responses to Constrained Bolus Inputs to Models of T1D

abstract: We characterise the bolus insulin input which minimises the maximum plasma glucose concentration predicted by the Magdelaine and Bergman minimal models in response to any positive bounded disturbance whilst remaining above a fixed lower plasma glucose concentration. This characterisation is in terms of the maxima and minima of the plasma glucose concentration and limits the controllability of such systems. Any further attempt to lower the maximum plasma glucose concentration will result in hypoglycaemia.


title: A Majorization-Minimization Based Method for Nonconvex Inverse Rig Problems in Facial Animation: Algorithm Derivation

abstract: Automated methods for facial animation are a necessary tool in the modern industry since the standard blendshape head models consist of hundreds of controllers and a manual approach is painfully slow. Different solutions have been proposed that produce output in real-time or generalize well for different face topologies. However, all these prior works consider a linear approximation of the blendshape function and hence do not provide a high-enough level of details for modern realistic human face reconstruction. We build a method for solving the inverse rig in blendshape animation using quadratic corrective terms, which increase accuracy. At the same time, due to the proposed construction of the objective function, it yields a sparser estimated weight vector compared to the state-of-the-art methods. The former feature means lower demand for subsequent manual corrections of the solution, while the latter indicates that the manual modifications are also easier to include. Our algorithm is iterative and employs a Majorization Minimization paradigm to cope with the increased complexity produced by adding the corrective terms. The surrogate function is easy to solve and allows for further parallelization on the component level within each iteration. This paper is complementary to an accompanying paper, Rackovi\'c et al. (2023), where we provide detailed experimental results and discussion, including highly-realistic animation data, and show a clear superiority of the results compared to the state-of-the-art methods.


title: Bitcoin Returns and Public Attention to COVID-19: Do Timing and Individualism Matter?

abstract: The evolution of the pandemic and people's concern over it have an impact on the Bitcoin market, while the extent of individualism could differentiate investor behaviors in the financial market during the pandemic. This paper examines whether public attention to COVID-19 in individualistic countries versus collectivistic countries Granger causes Bitcoin returns between February 11, 2020 and May 09, 2022. To this end, eight large economies with a individualistic or collectivistic tradition are chosen for analyses. By using rolling and recursive-evolving algorithms, it accounts for the timing of COVID-19 issues that vary by country and circumvents the potential estimation bias that a traditional Granger causality test may suffer due largely to Google's sampling variation for different time frames. In general, collectivistic countries are found to have stronger causal impacts on Bitcoin returns than individualistic countries.


title: On the faintest solar coronal hard X-rays observed with FOXSI

abstract: Solar nanoflares are small eruptive events releasing magnetic energy in the quiet corona. If nanoflares follow the same physics as their larger counterparts, they should emit hard X-rays (HXRs) but with a rather faint intensity. A copious and continuous presence of nanoflares would deliver enormous amounts of energy into the solar corona, possibly accounting for its high temperatures. To date, there has not been any direct observation of such sustained and persistent HXRs from the quiescent Sun. However, Hannah et al. in 2010 constrained the quiet Sun HXR emission using almost 12 days of quiescent solar-off-pointing observations by RHESSI. These observations set upper limits at $3.4\times 10^{-2}$ photons$^{-1}$ s$^{-1}$ cm$^{-2}$ keV$^{-1}$ and $9.5\times 10^{-4}$ photons$^{-1}$ s$^{-1}$ cm$^{-2}$ keV$^{-1}$ for the 3-6 keV and 6-12 keV energy ranges, respectively. Observing feeble HXRs is challenging because it demands high sensitivity and dynamic range instruments in HXRs. The Focusing Optics X-ray Solar Imager (FOXSI) sounding rocket experiment excels in these two attributes. Particularly, FOXSI completed its third successful flight (FOXSI-3) on September 7th, 2018. During FOXSI-3's flight, the Sun exhibited a fairly quiet configuration, displaying only one aged non-flaring active region. Using the entire $\sim$6.5 minutes of FOXSI-3 data, we constrained the quiet Sun emission in HXRs. We found $2\sigma$ upper limits in the order of $\sim 10^{-3}$ photons$^{-1}$ s$^{-1}$ cm$^{-2}$ keV$^{-1}$ for the 5-10 keV energy range. FOXSI-3's upper limit is consistent with what was reported by Hannah et al., 2010, but FOXSI-3 achieved this result using $\sim$1/2640 less time than RHESSI. A possible future spacecraft using FOXSI's concept would allow enough observation time to constrain the current HXR quiet Sun limits further or perhaps even make direct detections.


title: Updating non-standard neutrinos properties with Planck-CMB data and full-shape analysis of BOSS and eBOSS galaxies

abstract: Using the latest observational data from Planck-CMB and its combination with the pre-reconstructed full-shape (FS) galaxy power spectrum measurements from the BOSS DR12 sample and eBOSS LRG DR16 sample, we report the observational constraints on the cosmic neutrino properties given by the extended $\Lambda$CDM scenario: $\Lambda$CDM + $N_{\rm eff}$ + $\sum m_{\nu}$ + $c^2_{\rm eff}$ + $c^2_{\rm vis}$ + $\xi_{\nu}$, and its particular case $\Lambda$CDM + $c^2_{\rm eff}$ + $c^2_{\rm vis}$ + $\xi_{\nu}$, where $N_{\rm eff}$, $\sum m_{\nu}$, $c^2_{\rm eff}$, $c^2_{\rm vis}$, $\xi_{\nu}$ are the effective number of species, the total neutrino mass, the sound speed in the neutrinos rest frame, the viscosity parameter and the degeneracy parameter quantifying a cosmological leptonic asymmetry, respectively. We observe that the combination of FS power spectrum measurements with the CMB data significantly improves the parametric space of the models compared to the CMB data alone case. We find no evidence for neutrinos properties other than the ones predicted by the standard cosmological theory. Our most robust observational constraints are given by CMB + BOSS analysis. For the generalized extended $\Lambda$CDM scenario, we find $c^2_{\rm eff}=0.3304^{+0.0064}_{-0.0075}$, $c^2_{\rm vis}=0.301^{+0.037}_{-0.033}$, $\xi_{\nu} < 0.05$, $N_{\rm eff}=2.90 \pm 0.15$ at 68\% CL, with $\sum m_{\nu} < 0.116$ eV at 95\% CL. These are the strongest limits ever reported for these extended $\Lambda$CDM scenarios.


title: Do You Think You Can Hold Me? The Real Challenge of Problem-Space Evasion Attacks

abstract: Android malware is a spreading disease in the virtual world. Anti-virus and detection systems continuously undergo patches and updates to defend against these threats. Most of the latest approaches in malware detection use Machine Learning (ML). Against the robustifying effort of detection systems, raise the \emph{evasion attacks}, where an adversary changes its targeted samples so that they are misclassified as benign. This paper considers two kinds of evasion attacks: feature-space and problem-space. \emph{Feature-space} attacks consider an adversary who manipulates ML features to evade the correct classification while minimizing or constraining the total manipulations. \textit{Problem-space} attacks refer to evasion attacks that change the actual sample. Specifically, this paper analyzes the gap between these two types in the Android malware domain. The gap between the two types of evasion attacks is examined via the retraining process of classifiers using each one of the evasion attack types. The experiments show that the gap between these two types of retrained classifiers is dramatic and may increase to 96\%. Retrained classifiers of feature-space evasion attacks have been found to be either less effective or completely ineffective against problem-space evasion attacks. Additionally, exploration of different problem-space evasion attacks shows that retraining of one problem-space evasion attack may be effective against other problem-space evasion attacks.


title: Regularized phase-space volume for the three-body problem

abstract: The micro-canonical phase-space volume for the three-body problem is an elementary quantity of intrinsic interest, and within the flux-based statistical theory, it sets the scale of the disintegration time. While the bare phase-volume diverges, we show that a regularized version can be defined by subtracting a reference phase-volume, which is associated with hierarchical configurations. The reference quantity, also known as a counter-term, can be chosen from a 1-parameter class. The regularized phase-volume of a given (negative) total energy, $\bar\sigma(E)$, is evaluated. First, it is reduced to a function of the masses only, which is sensitive to the choice of a regularization scheme only through an additive constant. Then, analytic integration is used to reduce the integration to a sphere, known as shape sphere. Finally, the remaining integral is evaluated numerically, and presented by a contour plot in parameter space. Regularized phase-volumes are presented for both the planar three-body system and the full 3d system. In the test mass limit, the regularized phase-volume is found to become negative, thereby signalling the breakdown of the non-hierarchical statistical theory. This work opens the road to the evaluation of $\bar\sigma(E,L)$, where $L$ is the total angular momentum, and it turn, to comparison with simulation determined disintegration times.


title: A modular software framework for the design and implementation of ptychography algorithms

abstract: Computational methods are driving high impact microscopy techniques such as ptychography. However, the design and implementation of new algorithms is often a laborious process, as many parts of the code are written in close-to-the-hardware programming constructs to speed up the reconstruction. In this paper, we present SciComPty, a new ptychography software framework aiming at simulating ptychography datasets and testing state-of-the-art and new reconstruction algorithms. Despite its simplicity, the software leverages GPU accelerated processing through the PyTorch CUDA interface. This is essential to design new methods that can readily be employed. As an example, we present an improved position refinement method based on Adam and a new version of the rPIE algorithm, adapted for partial coherence setups. Results are shown on both synthetic and real datasets. The software is released as open-source.

categories: cs.CV physics.app-ph physics.comp-ph physics.data-an


title: AODisaggregation: toward global aerosol vertical profiles

abstract: Aerosol-cloud interactions constitute the largest source of uncertainty in assessments of the anthropogenic climate change. This uncertainty arises in part from the difficulty in measuring the vertical distributions of aerosols, and only sporadic vertically resolved observations are available. We often have to settle for less informative vertically aggregated proxies such as aerosol optical depth (AOD). In this work, we develop a framework for the vertical disaggregation of AOD into extinction profiles, i.e. the measure of light extinction throughout an atmospheric column, using readily available vertically resolved meteorological predictors such as temperature, pressure or relative humidity. Using Bayesian nonparametric modelling, we devise a simple Gaussian process prior over aerosol vertical profiles and update it with AOD observations to infer a distribution over vertical extinction profiles. To validate our approach, we use ECHAM-HAM aerosol-climate model data which offers self-consistent simulations of meteorological covariates, AOD and extinction profiles. Our results show that, while very simple, our model is able to reconstruct realistic extinction profiles with well-calibrated uncertainty, outperforming by an order of magnitude the idealized baseline which is typically used in satellite AOD retrieval algorithms. In particular, the model demonstrates a faithful reconstruction of extinction patterns arising from aerosol water uptake in the boundary layer. Observations however suggest that other extinction patterns, due to aerosol mass concentration, particle size and radiative properties, might be more challenging to capture and require additional vertically resolved predictors.


title: Learning A Simulation-based Visual Policy for Real-world Peg In Unseen Holes

abstract: This paper proposes a learning-based visual peg-in-hole that enables training with several shapes in simulation, and adapting to arbitrary unseen shapes in real world with minimal sim-to-real cost. The core idea is to decouple the generalization of the sensory-motor policy to the design of a fast-adaptable perception module and a simulated generic policy module. The framework consists of a segmentation network (SN), a virtual sensor network (VSN), and a controller network (CN). Concretely, the VSN is trained to measure the pose of the unseen shape from a segmented image. After that, given the shape-agnostic pose measurement, the CN is trained to achieve generic peg-in-hole. Finally, when applying to real unseen holes, we only have to fine-tune the SN required by the simulated VSN+CN. To further minimize the transfer cost, we propose to automatically collect and annotate the data for the SN after one-minute human teaching. Simulated and real-world results are presented under the configurations of eye-to/in-hand. An electric vehicle charging system with the proposed policy inside achieves a 10/10 success rate in 2-3s, using only hundreds of auto-labeled samples for the SN transfer.


title: On the characteristic polynomial of the eigenvalue moduli of random normal matrices

abstract: We study the characteristic polynomial $p_{n}(x)=\prod_{j=1}^{n}(|z_{j}|-x)$ where the $z_{j}$ are drawn from the Mittag-Leffler ensemble, i.e. a two-dimensional determinantal point process which generalizes the Ginibre point process. We obtain precise large $n$ asymptotics for the moment generating function $\mathbb{E}[e^{\frac{u}{\pi} \, \mathrm{Im} \ln p_{n}(r)}e^{a \, \mathrm{Re} \ln p_{n}(r)}]$, in the case where $r$ is in the bulk, $u \in \mathbb{R}$ and $a \in \mathbb{N}$. This expectation involves an $n \times n$ determinant whose weight is supported on the whole complex plane, is rotation-invariant, and has both jump- and root-type singularities along the circle centered at $0$ of radius $r$. This "circular" root-type singularity differs from earlier works on Fisher-Hartwig singularities, and surprisingly yields a new kind of ingredient in the asymptotics, the so-called associated Hermite polynomials.


title: Enhanced Change-Point Detection in Functional Means

abstract: A new dimension reduction methodology for change-point detection in functional means is developed in this paper. The major advantage and novelty of the proposed method is its efficiency in selecting basis functions that capture the change, or jump, of functional means, leading to higher detection power, especially when the functions cannot be sufficiently explained by a small number of basis functions or are contaminated by random noises. The throughly developed theoretical results demonstrate that, even when the change shrinks to zero, the proposed approach can still detect the change asymptotically almost surely. The numerical simulation studies justify the superiority of the proposed approach to the method based on functional principal components and the fully functional approach without dimension reduction. An application to annual humidity trajectories was also included to illustrate the practical superiority of the developed approach.


title: Multi-modal Semantic SLAM for Complex Dynamic Environments

abstract: Simultaneous Localization and Mapping (SLAM) is one of the most essential techniques in many real-world robotic applications. The assumption of static environments is common in most SLAM algorithms, which however, is not the case for most applications. Recent work on semantic SLAM aims to understand the objects in an environment and distinguish dynamic information from a scene context by performing image-based segmentation. However, the segmentation results are often imperfect or incomplete, which can subsequently reduce the quality of mapping and the accuracy of localization. In this paper, we present a robust multi-modal semantic framework to solve the SLAM problem in complex and highly dynamic environments. We propose to learn a more powerful object feature representation and deploy the mechanism of looking and thinking twice to the backbone network, which leads to a better recognition result to our baseline instance segmentation model. Moreover, both geometric-only clustering and visual semantic information are combined to reduce the effect of segmentation error due to small-scale objects, occlusion and motion blur. Thorough experiments have been conducted to evaluate the performance of the proposed method. The results show that our method can precisely identify dynamic objects under recognition imperfection and motion blur. Moreover, the proposed SLAM framework is able to efficiently build a static dense map at a processing rate of more than 10 Hz, which can be implemented in many practical applications. Both training data and the proposed method is open sourced at https://github.com/wh200720041/MMS_SLAM.


title: Dynamics of two interacting kinks for the $\phi^{6}$ model

abstract: We consider the nonlinear wave equation known as the $\phi^{6}$ model in dimension 1+1. We describe the long time behavior of all the solutions of this model close to a sum of two kinks with energy slightly larger than twice the minimum energy of non constant stationary solutions. We prove orbital stability of two moving kinks. We show for low energy excess $\epsilon$ that these solutions can be described for long time less o equivalent than $-\ln{(\epsilon)}\epsilon^{-\frac{1}{2}}$ as the sum of two moving kinks such that each kink's center is close to an explicit function which is a solution of an ordinary differential system. We give an optimal estimate in the energy norm of the remainder $(g(t),\partial_{t}g(t))$ and we prove that this estimate is achieved during a finite instant $t=T\lesssim -\ln{(\epsilon)}\epsilon^{-\frac{1}{2}}.$


title: Sobolev mappings and the spectral sequence for Rumin's filtration on the de Rham complex

abstract: We consider Rumin's filtration on the de Rham complex of a Carnot group. Although Pansu pullback by a Sobolev map is filtration preserving, it need not be a chain mapping. Nonetheless, we show that Pansu pullback induces a mapping of the associated spectral sequences. This gives an alternate interpretation of the Pullback Theorem from our previous paper.


title: Convergence and preservation of cyclicity

abstract: We prove the property that a function is cyclic (resp., non-cyclic) is not preserved by norm convergence in Dirichlet-type spaces $D_\alpha$, and show how other significant quantities for cyclicity do remain preserved under the limit of convergent sequences in $D_\alpha$, providing a quantitative view of this convergence issue.


title: CounterGeDi: A controllable approach to generate polite, detoxified and emotional counterspeech

abstract: Recently, many studies have tried to create generation models to assist counter speakers by providing counterspeech suggestions for combating the explosive proliferation of online hate. However, since these suggestions are from a vanilla generation model, they might not include the appropriate properties required to counter a particular hate speech instance. In this paper, we propose CounterGeDi - an ensemble of generative discriminators (GeDi) to guide the generation of a DialoGPT model toward more polite, detoxified, and emotionally laden counterspeech. We generate counterspeech using three datasets and observe significant improvement across different attribute scores. The politeness and detoxification scores increased by around 15% and 6% respectively, while the emotion in the counterspeech increased by at least 10% across all the datasets. We also experiment with triple-attribute control and observe significant improvement over single attribute results when combining complementing attributes, e.g., politeness, joyfulness and detoxification. In all these experiments, the relevancy of the generated text does not deteriorate due to the application of these controls


title: First results of the nuGeN experiment on coherent elastic neutrino-nucleus scattering

abstract: The nuGeN experiment is aimed to investigate neutrino properties using antineutrinos from the reactor of the Kalinin Nuclear Power Plant. The experimental setup is located at about 11 meters from the center of the 3.1 GWth reactor core. Scattering of the antineutrinos from the reactor is detected with low energy threshold high purity germanium detector. Passive and active shieldings are used to suppress all kinds of backgrounds coming from surrounding materials and cosmic radiation. The description of the experimental setup together with the first results is presented. The data taken in regimes with reactor ON (94.50 days) and reactor OFF (47.09 days) have been compared. No significant difference between spectra of two data sets is observed, i.e. no positive signals for coherent elastic neutrino-nucleus scattering are detected. Under Standard Model assumptions about coherent neutrino scattering an upper limit on a quenching parameter k < 0.26 (90 \% C.L.) in germanium has been set.


title: Lateral response of a layered material with interlayer friction

abstract: We investigate the mechanical properties of a layered material with interlayer friction. We propose a model that contains lateral elasticity and interlayer friction to obtain the response function both in the Fourier and real spaces. By investigating how the internal deformation is laterally induced due to the applied surface displacement, we find that it is transmitted into the material with an apparent phase difference. We also obtain the effective complex modulus of the layered material and show that it exhibits an intermediate power-law behavior in the low-frequency regime. Our result can be used to estimate the internal deformation of layered materials that exist on various different scales.


title: de Haas-van Alphen effect and the first-principles study of the possible topological stannide Cu$_3$Sn

abstract: The quest for quantum materials with diverse symmetry-protected topological states has been the focus of recent research interest, primarily due to their fascinating physical properties and the potential technological utility. In this work, we report on the magnetotransport, de Haas-van Alphen (dHvA) oscillations, and the first-principles calculations of the stannide Cu$_3$Sn that is isostructural with the recently reported topological semimetal Ag$_3$Sn. The magnetoresistance was found to vary quasi-linearly in field. Clear dHvA oscillations were observed under a field as low as 1 Tesla at 2 K, with three major oscillation frequencies $F_{\alpha}$=8.74 T, $F_{\beta}$=150.19 T and $F_{\gamma}$=229.66 T and extremely small effective masses. The analysis of dHvA quantum oscillations revealed a possible nonzero Berry phase, suggestive of the nontrivial band topology. The corroborating evidence for the nontrivial electronic topology also comes from the first-principles calculations which yield a nonzero $\mathbb{Z}_2$ topological index. These results collectively suggest that Cu$_3$Sn, in analogy to its homologue Ag$_3$Sn, may be another intermetallic stannide hosting topological Dirac fermions.


title: Visualizing WSPDs and their applications

abstract: Introduced by Callahan and Kosaraju back in 1995, the concept of well-separated pair decomposition (WSPD) has occupied a special significance in computational geometry when it comes to solving distance problems in $d$-space. We present an in-browser tool that can be used to visualize WSPDs and several of their applications in $2$-space. Apart from research, it can also be used by instructors for introducing WSPDs in a classroom setting. The tool will be permanently maintained by the third author at https://wisno33.github.io/VisualizingWSPDsAndTheirApplications/.


title: Characterizing Positionality in Games of Infinite Duration over Infinite Graphs

abstract: We study turn-based quantitative games of infinite duration opposing two antagonistic players and played over graphs. This model is widely accepted as providing the adequate framework for formalizing the synthesis question for reactive systems. This important application motivates the question of strategy complexity: which valuations (or payoff functions) admit optimal positional strategies (without memory)? Valuations for which both players have optimal positional strategies have been characterized by Gimbert and Zielonka for finite graphs and by Colcombet and Niwi\'nski for infinite graphs. However, for reactive synthesis, existence of optimal positional strategies for the opponent (which models an antagonistic environment) is irrelevant. Despite this fact, not much is known about valuations for which the protagonist admits optimal positional strategies, regardless of the opponent. In this work, we characterize valuations which admit such strategies over infinite game graphs. Our characterization uses the vocabulary of universal graphs, which has also proved useful in understanding recent breakthrough results regarding the complexity of parity games. More precisely, we show that a valuation admitting universal graphs which are monotone and well-ordered is positional over all game graphs, and -- more surprisingly -- that the converse is also true for valuations admitting neutral colors. We prove the applicability and elegance of the framework by unifying a number of known positionality results, proving new ones, and establishing closure under lexicographical products. Finally, we discuss a class of prefix-independent positional objectives which is closed under countable unions.


title: Earth satellite dynamics by Picard iterations

abstract: The main effects of the Earth's oblateness on the motion of artificial satellites are usually derived from the variation of parameters equations of an average representation of the oblateness disturbing function. Rather, we approach their solution under the strict mathematical assumptions of Picard's iterative method. Our approach recovers the known linear trends of the right ascension of the ascending node and the argument of the perigee, but differs from the accepted solution in the value of the mean motion. This amended rate radically improves the in-track errors of typical orbit propagations. In addition, our truncation of the Picard iterations solution to its secular terms includes the corrections that must be applied to the osculating initial conditions in the right propagation of the mean dynamics.


title: Non trivial dynamics in the FizHugh-Rinzel model and non-homogeneous oscillatory-excitable reaction-diffusions systems

abstract: In this article, we discuss the dynamics of the 3-dimensional FitzHugh-Rinzel (FHR) model and a class of non-homogeneous FitzHugh-Nagumo (Nh-FHN) Reaction-Diffusion systems. The Nh-FHN models can be used to generate relevant wave propagation phenomena in Neuroscience context. This gives raise locally to complex dynamics such as canards, Mixed Mode Oscillations, Hopf-Bifurcations some of which can be observed in the FHR model.


title: In-medium polarization tensor in strong magnetic fields (I): Magneto-birefringence at finite temperature and density

abstract: We investigate in-medium polarization effects of the fermion and antifermion pairs at finite temperature and density in strong magnetic fields within the lowest Landau level approximation. Inspecting the integral representation of the polarization tensor by analytic and numerical methods, we provide both the real and imaginary parts of the polarization tensor obtained after delicate interplay between the vacuum and medium contributions essentially due to the Pauli-blocking effect. Especially, we provide a complete analytic form of the polarization tensor at zero temperature and finite density that exhibits an exact cancellation and associated relocation of the singular threshold behaviors for a single photon decay to a fermion and antifermion pair. As a physical application of the in-medium polarization tensor, we discuss the magneto-birefringence that is polarization-dependent dispersion relations of photons induced by the strong magnetic fields.


title: Structural and electromechanical characterization of lead magnesium niobate-lead titanate (PMN-0.3PT) piezoceramic for energy harvesting applications

abstract: Efficient mechanical energy harvesting using the principle of piezoelectric effect demands specific material-property requirements. This includes a combination of large piezoelectric charge coefficient (dij), large elastic strain ({\epsilon}y), small elastic compliance (Sij), and small dielectric permittivity (\k{appa}ij). The present work undertakes structural, electrical, mechanical, and electromechanical characterization of pyrochlore-free lead magnesium niobate-lead titanate (1-x)[Pb(Mg(1/3)Nb(2/3)O3)]-xPbTiO3 at x = 0.3 or PMN-0.3PT, to estimate the above critical parameters for mechanical energy harvesting. Pyrochlore-free PMN-0.3PT ceramic with co-existing monoclinic (Pm and Cm) phases was synthesized using solid-state reaction method. Piezoelectric charge coefficient (d33), dielectric permittivity (\k{appa}33^T), elastic compliance (s33^E), and electromechanical coupling factor (k33), were estimated to be, 200 pC/N (approx), 1.06 (approx) x 10^-8 F/m, 13.16 (approx) x 10^-12 m2/N, and 0.54 (approx), respectively, using room temperature impedance measurement on a poled sample with specified dimensions (EN 50324-1:2002 and CEI/IEC 60483:1976). Polarization leakage due to transport of various charged defects was identified to be responsible for the reduced electromechanical properties compared to those reported for single crystals. Elastic strain ({\epsilon}y) vis-\`a-vis flexibility (fFOM) of the PMN-0.3PT was estimated to be 4.5 x 10-4. Energy harvesting under dynamic mechanical loading shows a maximum short-circuit current density, 95 nA/cm2, and an open-circuit electric field, 98 V/cm. With its impressive performance, PMN-0.3PT ceramic constitutes an important material for piezoelectric energy harvesting.


title: Extensions of the General Solution Families for the Inverse Problem of the Calculus of Variations for Sixth- and Eighth-order Ordinary Differential Equations

abstract: New third- and fourth-order Lagrangian hierarchies are derived in this paper. The free coefficients in the leading terms satisfy the most general differential geometric criteria currently known for the existence of a variational formulation, as derived by solution of the full inverse problem of the Calculus of Variations for scalar sixth- and eighth-order ordinary differential equations (ODEs). The Lagrangians obtained here have greater freedom since they require conditions only on individual coefficients. In particular, they contain four arbitrary functions, so that some investigations based on the existing general criteria for a variational representation are particular cases of our families of models. The variational equations resulting from our generalized Lagrangians may also represent traveling waves of various nonlinear evolution equations, some of which recover known physical models. For a typical member of our generalized variational ODEs, families of regular and embedded solitary waves are also derived in appropriate parameter regimes. As usual, the embedded solitons are found to occur only on isolated curves in the part of parameter space where they exist.


title: Integrating Social Media into the Design Process

abstract: Social media captures examples of people's behaviors, actions, beliefs, and sentiments. As a result, it can be a valuable source of information and inspiration for HCI research and design. Social media technologies can improve, inform, and strengthen insights to better understand and represent user populations. To understand the position of social media research and analysis in the design process, this paper seeks to highlight shortcomings of using traditional research methods (e.g., interviews, focus groups) that ignore or don't adequately reflect relevant social media, and this paper speculates about the importance and benefits of leveraging social media for establishing context in supplement with these methods. We present examples that guide our thinking and introduce discussion around concerns related to using social media data.


title: Implications of non-extensivity on Gamow theory

abstract: Relying on the quantum tunneling concept and the Maxwell-Boltzmann-Gibbs statistics, Gamow shows that the star burning process happens at temperatures comparable to a critical value, called the Gamow temperature ($\texttt{T}$) and less than the prediction of the classical framework. In order to highlight the role of the equipartition theorem in the Gamow argument, a thermal length scale is defined and thereinafter, the effects of non-extensivity on the Gamow temperature have been investigated focusing on the Tsallis and Kaniadakis statistics. The results attest that while the Gamow temperature decreases in the framework of the Kaniadakis statistics, it can be bigger or smaller than $\texttt{T}$ when the Tsallis statistics is employed.


title: Comment on 'Erratum: 'Two-dimensional porous graphitic carbon nitride C6N7 monolayer: First-principles calculations' [Appl. Phys. Lett. 119, 142102 (2021)]'

abstract: Recently, Bafekry et al. [Appl. Phys. Lett. 120, 189901 (2022)] reported their density functional theory (DFT) results on the elastic constants of C6N7 monolayer. They predicted non-zero elastic constants along the out-of-plane direction for a single-layered material, which contradicts with basic physics of the stiffness tensor for plane stress condition. Moreover, in their work Young's modulus is erroneously calculated. On the basis of DFT calculations, herein we predicted the C11, C12 and C66 of the C6N7 monolayer to be 286, 73 and 107 GPa, respectively, equivalent with an in-plane Youngs modulus of 267 GPa. Using DFT calculations and a machine learning interatomic potential, we also show that C6N7 monolayer shows isotropic elasticity.


title: Ultrafast transport mediated homogenization of photoexcited electrons governs the softening of the $A_\mathrm{1g}$ phonon in bismuth

abstract: In order to determine the role of non-thermal transport of hot carriers which is decisive for the dissipation of energy in condensed matter we performed time-resolved broadband femtosecond transient reflectivity measurements on $7-197 \mathrm{nm}$ thick Bi(111) films epitaxially grown on Si(111). We monitored the behavior of the Fourier amplitude and the central frequency of the coherent $A_\mathrm{1g}$ phonon mode as function of the incident fluence, film thickness, and probe wavelength in the range of $580 -700 \mathrm{nm}$. The frequency redshift that follows photoexcitation was used as a robust quantity to determine the effective distribution of excited carriers that governs the displacive excitation mechanism of coherent $A_\mathrm{1g}$ phonons in Bi. For Bi films up to $50 \mathrm{nm}$ thickness a homogeneous excitation due to the ultrafast transport of hot charge carriers is observed, limited by a carrier penetration depth of $60 \mathrm{nm}$ independent of the totally deposited laser energy.


title: Competition and Cooperation of Autonomous Ridepooling Services: Game-Based Simulation of a Broker Concept

abstract: Autonomous mobility on demand services have the potential to disrupt the future mobility system landscape. Ridepooling services in particular can decrease land consumption and increase transportation efficiency by increasing the average vehicle occupancy. Nevertheless, because ridepooling services require a sufficient user base for pooling to take effect, their performance can suffer if multiple operators offer such a service and must split the demand. This study presents a simulation framework for evaluating the impact of competition and cooperation among multiple ridepooling providers. Two different kinds of interaction via a broker platform are compared with the base cases of a single monopolistic operator and two independent operators with divided demand. In the first, the broker presents trip offers from all operators to customers (similar to a mobility-as-a-service platform), who can then freely choose an operator. In the second, a regulated broker platform can manipulate operator offers with the goal of shifting the customer-operator assignment from a user equilibrium towards a system optimum. To model adoptions of the service design depending on the different interaction scenario, a game setting is introduced. Within alternating turns between operators, operators can adapt parameters of their service (fleet size and objective function) to maximize profit. Results for a case study based on Manhattan taxi data, show that operators generate the highest profit in the broker setting while operating the largest fleet. Additionally, pooling efficiency can nearly be maintained compared to a single operator. With the resulting increased service rate, the regulated competition benefits not only operators (profit) and cities (increased pooling efficiency), but also customers. Contrarily, when users can decide freely, the lowest pooling efficiency and operator profit is observed.


title: NEPTUNE: Network- and GPU-aware Management of Serverless Functions at the Edge

abstract: Nowadays a wide range of applications is constrained by low-latency requirements that cloud infrastructures cannot meet. Multi-access Edge Computing (MEC) has been proposed as the reference architecture for executing applications closer to users and reduce latency, but new challenges arise: edge nodes are resource-constrained, the workload can vary significantly since users are nomadic, and task complexity is increasing (e.g., machine learning inference). To overcome these problems, the paper presents NEPTUNE, a serverless-based framework for managing complex MEC solutions. NEPTUNE i) places functions on edge nodes according to user locations, ii) avoids the saturation of single nodes, iii) exploits GPUs when available, and iv) allocates resources (CPU cores) dynamically to meet foreseen execution times. A prototype, built on top of K3S, was used to evaluate NEPTUNE on a set of experiments that demonstrate a significant reduction in terms of response time, network overhead, and resource consumption compared to three state-of-the-art approaches.


title: Evaluating the Fairness Impact of Differentially Private Synthetic Data

abstract: Differentially private (DP) synthetic data is a promising approach to maximizing the utility of data containing sensitive information. Due to the suppression of underrepresented classes that is often required to achieve privacy, however, it may be in conflict with fairness. We evaluate four DP synthesizers and present empirical results indicating that three of these models frequently degrade fairness outcomes on downstream binary classification tasks. We draw a connection between fairness and the proportion of minority groups present in the generated synthetic data, and find that training synthesizers on data that are pre-processed via a multi-label undersampling method can promote more fair outcomes without degrading accuracy.


title: ISA-bEL: Intelligent Search Algorithm based on Entity Linking

abstract: Nowadays, the way in which the people interact with computers has changed. Text- or voice-based interfaces are being widely applied in different industries. Among the most used ways of processing the user input are those based on intents or retrieval algorithms. In these solutions, important information of the user could be lost in the process. For the proposed natural language processing pipeline the entities are going to take a principal role, under the assumption that entities are where the purpose of the user resides. Entities fed with context will be projected to a specific domain supported by a knowledge graph, resulting in what has been named as linked entities. These linked entities serve then as a key for searching a top level aggregation concept within our knowledge graph.


title: The $h$-Principle for Maps Transverse to Bracket-Generating Distributions

abstract: Given a smooth bracket-generating distribution $\mathcal{D}$ of constant growth on a manifold $M$, we prove that maps from an arbitrary manifold $\Sigma$ to $M$, which are transverse to $\mathcal{D}$, satisfy the complete $h$-principle. This partially settles a question posed by M. Gromov.


title: On a wider class of prior distributions for graphical models

abstract: Gaussian graphical models are useful tools for conditional independence structure inference of multivariate random variables. Unfortunately, Bayesian inference of latent graph structures is challenging due to exponential growth of $\mathcal{G}_n$, the set of all graphs in $n$ vertices. One approach that has been proposed to tackle this problem is to limit search to subsets of $\mathcal{G}_n$. In this paper, we study subsets that are vector subspaces with the cycle space $\mathcal{C}_n$ as main example. We propose a novel prior on $\mathcal{C}_n$ based on linear combinations of cycle basis elements and present its theoretical properties. Using this prior, we implement a Markov chain Monte Carlo algorithm, and show that (i) posterior edge inclusion estimates computed with our technique are comparable to estimates from the standard technique despite searching a smaller graph space, and (ii) the vector space perspective enables straightforward implementation of MCMC algorithms.


title: The Detection of Deuterated Water in the Large Magellanic Cloud with ALMA

abstract: We report the first detection of deuterated water (HDO) toward an extragalactic hot core. The HDO 2$_{11}$-2$_{12}$ line has been detected toward hot cores N105-2A and 2B in the N105 star-forming region in the low-metallicity Large Magellanic Cloud (LMC) dwarf galaxy with the Atacama Large Millimeter/submillimeter Array (ALMA). We have compared the HDO line luminosity ($L_{\rm HDO}$) measured toward the LMC hot cores to those observed toward a sample of seventeen Galactic hot cores covering three orders of magnitude in $L_{\rm HDO}$, four orders of magnitude in bolometric luminosity ($L_{\rm bol}$), and a wide range of Galactocentric distances (thus metallicities). The observed values of $L_{\rm HDO}$ for the LMC hot cores fit very well into the $L_{\rm HDO}$ trends with $L_{\rm bol}$ and metallicity observed toward the Galactic hot cores. We have found that $L_{\rm HDO}$ seems to be largely dependent on the source luminosity, but metallicity also plays a role. We provide a rough estimate of the H$_2$O column density and abundance ranges toward the LMC hot cores by assuming that HDO/H$_2$O toward the LMC hot cores is the same as that observed in the Milky Way; the estimated ranges are systematically lower than Galactic values. The spatial distribution and velocity structure of the HDO emission in N105-2A is consistent with HDO being the product of the low-temperature dust grain chemistry. Our results are in agreement with the astrochemical model predictions that HDO is abundant regardless of the extragalactic environment and should be detectable with ALMA in external galaxies.


title: Deeply Supervised Skin Lesions Diagnosis with Stage and Branch Attention

abstract: Accurate and unbiased examinations of skin lesions are critical for the early diagnosis and treatment of skin diseases. Visual features of skin lesions vary significantly because the images are collected from patients with different lesion colours and morphologies by using dissimilar imaging equipment. Recent studies have reported that ensembled convolutional neural networks (CNNs) are practical to classify the images for early diagnosis of skin disorders. However, the practical use of these ensembled CNNs is limited as these networks are heavyweight and inadequate for processing contextual information. Although lightweight networks (e.g., MobileNetV3 and EfficientNet) were developed to achieve parameters reduction for implementing deep neural networks on mobile devices, insufficient depth of feature representation restricts the performance. To address the existing limitations, we develop a new lite and effective neural network, namely HierAttn. The HierAttn applies a novel deep supervision strategy to learn the local and global features by using multi-stage and multi-branch attention mechanisms with only one training loss. The efficacy of HierAttn was evaluated by using the dermoscopy images dataset ISIC2019 and smartphone photos dataset PAD-UFES-20 (PAD2020). The experimental results show that HierAttn achieves the best accuracy and area under the curve (AUC) among the state-of-the-art lightweight networks. The code is available at https://github.com/anthonyweidai/HierAttn.


title: Rydberg atom-enabled spectroscopy of polar molecules via F\"orster resonance energy transfer

abstract: Non-radiative energy transfer between a Rydberg atom and a polar molecule can be controlled by a DC electric field. Here we show how to exploit this control for state-resolved, non-destructive detection and spectroscopy of the molecules where the lineshape reflects the type of molecular transition. Using the example of ammonia, we identify the conditions for collision-mediated spectroscopy in terms of the required electric field strengths, relative velocities, and molecular densities. Rydberg atom-enabled spectroscopy is feasible with current experimental technology, providing a versatile detection method as basic building block for applications of polar molecules in quantum technologies and chemical reaction studies.


title: Insights on Modelling Physiological, Appraisal, and Affective Indicators of Stress using Audio Features

abstract: Stress is a major threat to well-being that manifests in a variety of physiological and mental symptoms. Utilising speech samples collected while the subject is undergoing an induced stress episode has recently shown promising results for the automatic characterisation of individual stress responses. In this work, we introduce new findings that shed light onto whether speech signals are suited to model physiological biomarkers, as obtained via cortisol measurements, or self-assessed appraisal and affect measurements. Our results show that different indicators impact acoustic features in a diverse way, but that their complimentary information can nevertheless be effectively harnessed by a multi-tasking architecture to improve prediction performance for all of them.


title: SAN-Net: Learning Generalization to Unseen Sites for Stroke Lesion Segmentation with Self-Adaptive Normalization

abstract: There are considerable interests in automatic stroke lesion segmentation on magnetic resonance (MR) images in the medical imaging field, as stroke is an important cerebrovascular disease. Although deep learning-based models have been proposed for this task, generalizing these models to unseen sites is difficult due to not only the large inter-site discrepancy among different scanners, imaging protocols, and populations, but also the variations in stroke lesion shape, size, and location. To tackle this issue, we introduce a self-adaptive normalization network, termed SAN-Net, to achieve adaptive generalization on unseen sites for stroke lesion segmentation. Motivated by traditional z-score normalization and dynamic network, we devise a masked adaptive instance normalization (MAIN) to minimize inter-site discrepancies, which standardizes input MR images from different sites into a site-unrelated style by dynamically learning affine parameters from the input; \ie, MAIN can affinely transform the intensity values. Then, we leverage a gradient reversal layer to force the U-net encoder to learn site-invariant representation with a site classifier, which further improves the model generalization in conjunction with MAIN. Finally, inspired by the ``pseudosymmetry'' of the human brain, we introduce a simple yet effective data augmentation technique, termed symmetry-inspired data augmentation (SIDA), that can be embedded within SAN-Net to double the sample size while halving memory consumption. Experimental results on the benchmark Anatomical Tracings of Lesions After Stroke (ATLAS) v1.2 dataset, which includes MR images from 9 different sites, demonstrate that under the ``leave-one-site-out'' setting, the proposed SAN-Net outperforms recently published methods in terms of quantitative metrics and qualitative comparisons.


title: Protecting Data from all Parties: Combining FHE and DP in Federated Learning

abstract: This paper tackles the problem of ensuring training data privacy in a federated learning context. Relying on Homomorphic Encryption (HE) and Differential Privacy (DP), we propose a framework addressing threats on the privacy of the training data. Notably, the proposed framework ensures the privacy of the training data from all actors of the learning process, namely the data owners and the aggregating server. More precisely, while HE blinds a semi-honest server during the learning protocol, DP protects the data from semi-honest clients participating in the training process as well as end-users with black-box or white-box access to the trained model. In order to achieve this, we provide new theoretical and practical results to allow these techniques to be rigorously combined. In particular, by means of a novel stochastic quantisation operator, we prove DP guarantees in a context where the noise is quantised and bounded due to the use of HE. The paper is concluded by experiments which show the practicality of the entire framework in terms of both model quality (impacted by DP) and computational overhead (impacted by HE).


title: Empirically Equivalent Distributions in Ontological Models of Quantum Mechanics

abstract: We consider ontological models of a quantum system, assuming that not all probability distributions over the space $\Lambda$ of ontic states are preparable, only those belonging to a certain set C. We assume further that every POVM with a finite value space can be measured and that for every density matrix there exists a distribution in C whose outcome statistics is given by the density matrix. We show that this mapping from C to the set of density matrices must be many-to-one, that is, that there must be empirically indistinguishable distributions in C. This shows that there must be limitations to knowledge in the sense of facts in nature that cannot be discovered empirically.


title: Robust parameter estimation from pulsar timing data

abstract: Recently, global pulsar timing arrays have released results from searching for a nano-Hertz gravitational wave background signal. Although there has not been any definite evidence of the presence of such a signal in residuals of pulsar timing data yet, with more and improved data in future, a statistically significant detection is expected to be made. Stochastic algorithms are used to sample a very large parameter space to infer results from data. In this paper, we attempt to rule out effects arising from the stochasticity of the sampler in the inference process. We compare different configurations of nested samplers and the more commonly used markov chain monte carlo method to sample the pulsar timing array parameter space and account for times taken by the different samplers on same data. Although we obtain consistent results on parameters from different sampling algorithms, we propose two different samplers for robustness checks on data in the future to account for cross-checks between sampling methods as well as realistic run-times.


title: Wavelet-Based Hybrid Machine Learning Model for Out-of-distribution Internet Traffic Prediction

abstract: Efficient prediction of internet traffic is essential for ensuring proactive management of computer networks. Nowadays, machine learning approaches show promising performance in modeling real-world complex traffic. However, most existing works assumed that model training and evaluation data came from identical distribution. But in practice, there is a high probability that the model will deal with data from a slightly or entirely unknown distribution in the deployment phase. This paper investigated and evaluated machine learning performances using eXtreme Gradient Boosting, Light Gradient Boosting Machine, Stochastic Gradient Descent, Gradient Boosting Regressor, CatBoost Regressor, and their stacked ensemble model using data from both identical and out-of distribution. Also, we proposed a hybrid machine learning model integrating wavelet decomposition for improving out-of-distribution prediction as standalone models were unable to generalize very well. Our experimental results show the best performance of the standalone ensemble model with an accuracy of 96.4%, while the hybrid ensemble model improved it by 1% for in-distribution data. But its performance dropped significantly when tested with three different datasets having a distribution shift than the training set. However, our proposed hybrid model considerably reduces the performance gap between identical and out-of-distribution evaluation compared with the standalone model, indicating the decomposition technique's effectiveness in the case of out-of-distribution generalization.


title: Panoptic Neural Fields: A Semantic Object-Aware Neural Scene Representation

abstract: We present Panoptic Neural Fields (PNF), an object-aware neural scene representation that decomposes a scene into a set of objects (things) and background (stuff). Each object is represented by an oriented 3D bounding box and a multi-layer perceptron (MLP) that takes position, direction, and time and outputs density and radiance. The background stuff is represented by a similar MLP that additionally outputs semantic labels. Each object MLPs are instance-specific and thus can be smaller and faster than previous object-aware approaches, while still leveraging category-specific priors incorporated via meta-learned initialization. Our model builds a panoptic radiance field representation of any scene from just color images. We use off-the-shelf algorithms to predict camera poses, object tracks, and 2D image semantic segmentations. Then we jointly optimize the MLP weights and bounding box parameters using analysis-by-synthesis with self-supervision from color images and pseudo-supervision from predicted semantic segmentations. During experiments with real-world dynamic scenes, we find that our model can be used effectively for several tasks like novel view synthesis, 2D panoptic segmentation, 3D scene editing, and multiview depth prediction.


title: Tensor rank bounds and explicit QTT representations for the inverses of circulant matrices

abstract: In this paper, we are concerned with the inversion of circulant matrices and their quantized tensor-train (QTT) structure. In particular, we show that the inverse of a complex circulant matrix $A$, generated by the first column of the form $(a_0,\dots,a_{m-1},0,\dots,0,a_{-n},\dots, a_{-1})^\top$ admits a QTT representation with the QTT ranks bounded by $(m+n)$. Under certain assumptions on the entries of $A$, we also derive an explicit QTT representation of $A^{-1}$. The latter can be used, for instance, to overcome stability issues arising when numerically solving differential equations with periodic boundary conditions in the QTT format.


title: Higman's lemma is stronger for better quasi orders

abstract: We prove that Higman's lemma is strictly stronger for better quasi orders than for well quasi orders, within the framework of reverse mathematics. In fact, we show a stronger result: the infinite Ramsey theorem (for tuples of all lengths) follows from the statement that any array $[\mathbb N]^{n+1}\to\mathbb N^n\times X$ for a well order $X$ and $n\in\mathbb N$ is good, over the base theory $\mathsf{RCA_0}$.


title: Energy decay analysis for Porous elastic system with microtemperature : A second spectrum approach

abstract: In this work, we analyze porous elastic system with microtemperature from second spectrum viewpoint. Indeed, by using the classical Faedo-Galerkin method combined with the a priori estimates, we prove the existence and uniqueness of a global solution of this problem. Then we prove that this solution is exponentially stable without assuming the condition of equal wave speeds. Then, we introduce a finite element approximation and we prove that the associated discrete energy decays. Finally, we obtain some a priori error estimates assuming additional regularity on the solution and we present some numerical results which demonstrate the accuracy of the approximation and the behaviour of the solution


title: On the Distribution of Partially Symmetric Codes for Automorphism Ensemble Decoding

abstract: Automorphism Ensemble (AE) decoding has recently drawn attention as a possible alternative to list decoding of polar codes. In this letter, we investigate the distribution of Partially-Symmetric Reed-Muller (PS-RM) codes, a family of polar codes yielding good performances under AE decoding. We prove the existence of these codes for almost all code dimensions for code lengths $N\leq 256$. Moreover, we analyze the absorption group of this family of codes under SC decoding, proving that valuable permutations in AE decoding always exist. Finally, we experimentally show that PS-RM codes can outperform state-of-the-art polar-code-construction algorithms in terms of error-correction performance for short code lengths, while reducing decoding latency.


title: Object Detection with Spiking Neural Networks on Automotive Event Data

abstract: Automotive embedded algorithms have very high constraints in terms of latency, accuracy and power consumption. In this work, we propose to train spiking neural networks (SNNs) directly on data coming from event cameras to design fast and efficient automotive embedded applications. Indeed, SNNs are more biologically realistic neural networks where neurons communicate using discrete and asynchronous spikes, a naturally energy-efficient and hardware friendly operating mode. Event data, which are binary and sparse in space and time, are therefore the ideal input for spiking neural networks. But to date, their performance was insufficient for automotive real-world problems, such as detecting complex objects in an uncontrolled environment. To address this issue, we took advantage of the latest advancements in matter of spike backpropagation - surrogate gradient learning, parametric LIF, SpikingJelly framework - and of our new \textit{voxel cube} event encoding to train 4 different SNNs based on popular deep learning networks: SqueezeNet, VGG, MobileNet, and DenseNet. As a result, we managed to increase the size and the complexity of SNNs usually considered in the literature. In this paper, we conducted experiments on two automotive event datasets, establishing new state-of-the-art classification results for spiking neural networks. Based on these results, we combined our SNNs with SSD to propose the first spiking neural networks capable of performing object detection on the complex GEN1 Automotive Detection event dataset.


title: Isomorphs in sheared binary Lennard-Jones glass: Transient response

abstract: We have studied shear deformation of binary Lennard-Jones glasses to investigate the extent to which the transient part of the stress strain curves is invariant when the thermodynamic state point is varied along an isomorph. Shear deformations were carried out on glass samples of varying stability, determined by cooling rate, and at varying strain rates, at a state point deep in the glass. Density changes up to and exceeding a factor of two were made. We investigated several different methods for generating isomorphs but none of the previously developed methods could generate sufficiently precise isomorphs given the large density changes and non-equilibrium situation. Instead, the temperatures for these higher densities were chosen to give state points isomorphic to the starting state point by requiring the steady state flow stress for isomorphic state points to be invariant in reduced units. In contrast to the steady state flow stress, we find that the peak stress on the stress strain curve is not invariant. The peak stress decreases by a few percent for each ten percent increase in density, although the differences decrease with increasing density. Analysis of strain profiles and non-affine motion during the transient phase suggests that the root of the changes in peak stress is a varying tendency to form shear bands, with the largest tendency occurring at the lowest densities. We argue that this reflects the effective steepness of the potential; a higher effective steepness gives a greater tendency to form shear bands.


title: Asymptotic comparison of identifying constraints for Bradley-Terry models

abstract: The Bradley-Terry model is widely used for pairwise comparison data analysis. In this paper, we analyze the asymptotic behavior of the maximum likelihood estimator of the Bradley-Terry model in its logistic parameterization, under a general class of linear identifiability constraints. We show that the constraint requiring the Bradley-Terry scores for all compared objects to sum to zero minimizes the sum of the variances of the estimated scores, and recommend using this constraint in practice.


title: Microfluidic cell engineering on high-density microelectrode arrays for assessing structure-function relationships in living neuronal networks

abstract: Neuronal networks in dissociated culture combined with cell engineering technology offer a pivotal platform to constructively explore the relationship between structure and function in living neuronal networks. Here, we fabricated defined neuronal networks possessing a modular architecture on high-density microelectrode arrays (HD-MEAs), a state-of-the-art electrophysiological tool for recording neural activity with high spatial and temporal resolutions. We first established a surface coating protocol using a cell-permissive hydrogel to stably attach polydimethylsiloxane microfluidic film on the HD-MEA. We then recorded the spontaneous neural activity of the engineered neuronal network, which revealed an important portrait of the engineered neuronal network--modular architecture enhances functional complexity by reducing the excessive neural correlation between spatially segregated modules. The results of this study highlight the impact of HD-MEA recordings combined with cell engineering technologies as a novel tool in neuroscience to constructively assess the structure-function relationships in neuronal networks.


title: Fatigue Prediction in Outdoor Running Conditions using Audio Data

abstract: Although running is a common leisure activity and a core training regiment for several athletes, between $29\%$ and $79\%$ of runners sustain an overuse injury each year. These injuries are linked to excessive fatigue, which alters how someone runs. In this work, we explore the feasibility of modelling the Borg received perception of exertion (RPE) scale (range: $[6-20]$), a well-validated subjective measure of fatigue, using audio data captured in realistic outdoor environments via smartphones attached to the runners' arms. Using convolutional neural networks (CNNs) on log-Mel spectrograms, we obtain a mean absolute error of $2.35$ in subject-dependent experiments, demonstrating that audio can be effectively used to model fatigue, while being more easily and non-invasively acquired than by signals from other sensors.


title: Transfer Learning Based Efficient Traffic Prediction with Limited Training Data

abstract: Efficient prediction of internet traffic is an essential part of Self Organizing Network (SON) for ensuring proactive management. There are many existing solutions for internet traffic prediction with higher accuracy using deep learning. But designing individual predictive models for each service provider in the network is challenging due to data heterogeneity, scarcity, and abnormality. Moreover, the performance of the deep sequence model in network traffic prediction with limited training data has not been studied extensively in the current works. In this paper, we investigated and evaluated the performance of the deep transfer learning technique in traffic prediction with inadequate historical data leveraging the knowledge of our pre-trained model. First, we used a comparatively larger real-world traffic dataset for source domain prediction based on five different deep sequence models: Recurrent Neural Network (RNN), Long Short-Term Memory (LSTM), LSTM Encoder-Decoder (LSTM_En_De), LSTM_En_De with Attention layer (LSTM_En_De_Atn), and Gated Recurrent Unit (GRU). Then, two best-performing models, LSTM_En_De and LSTM_En_De_Atn, from the source domain with an accuracy of 96.06% and 96.05% are considered for the target domain prediction. Finally, four smaller traffic datasets collected for four particular sources and destination pairs are used in the target domain to compare the performance of the standard learning and transfer learning in terms of accuracy and execution time. According to our experimental result, transfer learning helps to reduce the execution time for most cases, while the model's accuracy is improved in transfer learning with a larger training session.


title: Joint diagnostic test of regression discontinuity designs: multiple testing problem

abstract: Current diagnostic tests for regression discontinuity (RD) design face a multiple testing problem. We find a massive over-rejection of the identifying restriction among empirical RD studies published in top-five economics journals. Each test achieves a nominal size of 5%; however, the median number of tests per study is 12. Consequently, more than one-third of studies reject at least one of these tests and their diagnostic procedures are invalid for justifying the identifying assumption. We offer a joint testing procedure to resolve the multiple testing problem. Our procedure is based on a new joint asymptotic normality of local linear estimates and local polynomial density estimates. In simulation studies, our joint testing procedures outperform the Bonferroni correction. We implement the procedure as an R package, rdtest, with two empirical examples in its vignettes.


title: Towards Feature Selection for Ranking and Classification Exploiting Quantum Annealers

abstract: Feature selection is a common step in many ranking, classification, or prediction tasks and serves many purposes. By removing redundant or noisy features, the accuracy of ranking or classification can be improved and the computational cost of the subsequent learning steps can be reduced. However, feature selection can be itself a computationally expensive process. While for decades confined to theoretical algorithmic papers, quantum computing is now becoming a viable tool to tackle realistic problems, in particular special-purpose solvers based on the Quantum Annealing paradigm. This paper aims to explore the feasibility of using currently available quantum computing architectures to solve some quadratic feature selection algorithms for both ranking and classification. The experimental analysis includes 15 state-of-the-art datasets. The effectiveness obtained with quantum computing hardware is comparable to that of classical solvers, indicating that quantum computers are now reliable enough to tackle interesting problems. In terms of scalability, current generation quantum computers are able to provide a limited speedup over certain classical algorithms and hybrid quantum-classical strategies show lower computational cost for problems of more than a thousand features.


title: A neural network model for timing control with reinforcement

abstract: How do humans and animals perform trial-and-error learning when the space of possibilities is infinite? In a previous study, we used an interval timing production task and discovered an updating strategy in which the agent adjusted the behavioral and neuronal noise for exploration. In the experiment, human subjects proactively generated a series of timed motor outputs. We found that the sequential motor timing varied at two temporal scales: long-term correlation around the target interval due to memory drifts and short-term adjustments of timing variability according to feedback. We have previously described these features of timing variability with an augmented Gaussian process, termed reward sensitive Gaussian process (RSGP). Here we provide a mechanistic model and simulate the process by borrowing the architecture of recurrent neural networks. While recurrent connection provided the long-term serial correlation in motor timing, to facilitate reward-driven short-term variations, we introduced reward-dependent variability in the network connectivity, inspired by the stochastic nature of synaptic transmission in the brain. Our model was able to recursively generate an output sequence incorporating the internal variability and external reinforcement in a Bayesian framework. We show that the model can learn the key features of human behavior. Unlike other neural network models that search for unique network connectivity for the best match between the model prediction and observation, this model can estimate the uncertainty associated with each outcome and thus did a better job in teasing apart adjustable task-relevant variability from unexplained variability. The proposed artificial neural network model parallels the mechanisms of information processing in neural systems and can extend the framework of brain-inspired reinforcement learning in continuous state control.


title: Planar equilibria of an elastic rod wrapped around a circular capstan

abstract: We present a study on planar equilibria of a terminally loaded elastic rod wrapped around a rigid circular capstan. Both frictionless and frictional contact between the rod and the capstan are considered. We identify three cases of frictionless contact -- namely where the rod touches the capstan at one point, along a continuous arc, and at two points. We show that, in contrast to a fully flexible filament, an elastic rod of \emph{finite length} wrapped around a capstan does not require friction to support unequal loads at its two ends. Furthermore, we classify rod equilibria corresponding to the three aforementioned cases in a limit where the length of the rod is much larger than the radius of the capstan. In the same limit, we incorporate frictional interaction between the rod and the capstan, and compute limiting equilibria of the rod. Our solution to the frictional case fully generalizes the \emph{classic capstan problem} to include the effects of finite thickness and bending elasticity of a flexible filament wrapped around a circular capstan.


title: Stochastic gravitational waves from long cosmic strings

abstract: We compute the expected strain power spectrum and energy density parameter of the stochastic gravitational wave background (SGWB) created by a network of long cosmic strings evolving during the whole cosmic history. As opposed to other studies, the contribution of cosmic string loops is discarded and our result provides a robust lower bound of the expected signal that is applicable to most string models. Our approach uses Nambu-Goto numerical simulations, running during the radiation, transition and matter eras, in which we compute the two-point unequal-time anisotropic stress correlators. These ones act as source terms in the linearised equations of motion for the tensor modes, that we solve using an exact Green's function integrator. Today, we find that the rescaled strain power spectrum $(k/\mathcal{H}_0)^2 \mathcal{P}_h$ peaks on Hubble scales and exhibits, at large wavenumbers, high frequency oscillations around a plateau of amplitude $100 (GU)^2$. Most of the high frequency power is generated by the long strings present in the matter era, the radiation era contribution being smaller.


title: A Novel Augmented Reality Ultrasound Framework Using an RGB-D Camera and a 3D-printed Marker

abstract: Purpose. Ability to locate and track ultrasound images in the 3D operating space is of great benefit for multiple clinical applications. This is often accomplished by tracking the probe using a precise but expensive optical or electromagnetic tracking system. Our goal is to develop a simple and low cost augmented reality echography framework using a standard RGB-D Camera. Methods. A prototype system consisting of an Occipital Structure Core RGB-D camera, a specifically-designed 3D marker, and a fast point cloud registration algorithm FaVoR was developed and evaluated on an Ultrasonix ultrasound system. The probe was calibrated on a 3D-printed N-wire phantom using the software PLUS toolkit. The proposed calibration method is simplified, requiring no additional markers or sensors attached to the phantom. Also, a visualization software based on OpenGL was developed for the augmented reality application. Results. The calibrated probe was used to augment a real-world video in a simulated needle insertion scenario. The ultrasound images were rendered on the video, and visually-coherent results were observed. We evaluated the end-to-end accuracy of our AR US framework on localizing a cube of 5 cm size. From our two experiments, the target pose localization error ranges from 5.6 to 5.9 mm and from -3.9 to 4.2 degrees. Conclusion. We believe that with the potential democratization of RGB-D cameras integrated in mobile devices and AR glasses in the future, our prototype solution may facilitate the use of 3D freehand ultrasound in clinical routine. Future work should include a more rigorous and thorough evaluation, by comparing the calibration accuracy with those obtained by commercial tracking solutions in both simulated and real medical scenarios.


title: Monopole Floer homology and invariant theta characteristics

abstract: We describe a relationship between the monopole Floer homology of three-manifolds and the geometry of Riemann surfaces. Consider an automorphism $\varphi$ of a compact Riemann surface $\Sigma$ with quotient $\mathbb{P}^1$. There is a natural correspondence between theta characteristics $L$ on $\Sigma$ which are invariant under $\varphi$ and self-conjugate spin$^c$ structures $\mathfrak{s}_L$ on the mapping torus $M_{\varphi}$ of $\varphi$. We show that the monopole Floer homology groups of $(M_{\varphi},\mathfrak{s}_L)$ are explicitly determined by the eigenvalues of the (lift of the) action of $\varphi$ on $H^0(L)$, the space of holomorphic sections of $L$. Decategorifying our computation, we also obtain that the dimension of $H^0(L)$ equals the Reidemeister-Turaev torsion of $(M_{\varphi},\mathfrak{s}_L)$. Finally, we combine our description with the Atiyah-Bott $G$-spin theorem to provide explicit computations of the Floer homology groups for all automorphisms $\varphi$ of prime order in terms of ramification data.


title: Learning Self-adaptations for IoT Networks: A Genetic Programming Approach

abstract: Internet of Things (IoT) is a pivotal technology in application domains that require connectivity and interoperability between large numbers of devices. IoT systems predominantly use a software-defined network (SDN) architecture as their core communication backbone. This architecture offers several advantages, including the flexibility to make IoT networks self-adaptive through software programmability. In general, self-adaptation solutions need to periodically monitor, reason about, and adapt a running system. The adaptation step involves generating an adaptation strategy and applying it to the running system whenever an anomaly arises. In this paper, we argue that, rather than generating individual adaptation strategies, the goal should be to adapt the logic / code of the running system in such a way that the system itself would learn how to steer clear of future anomalies, without triggering self-adaptation too frequently. We instantiate and empirically assess this idea in the context of IoT networks. Specifically, using genetic programming (GP), we propose a self-adaptation solution that continuously learns and updates the control constructs in the data-forwarding logic of SDN-based IoT networks. Our evaluation, performed using open-source synthetic and industrial data, indicates that, compared to a baseline adaptation technique that attempts to generate individual adaptations, our GP-based approach is more effective in resolving network congestion, and further, reduces the frequency of adaptation interventions over time. In addition, we compare our approach against a standard data-forwarding algorithm from the network literature, demonstrating that our approach significantly reduces packet loss.


title: Coherent excitation energy transfer in model photosynthetic reaction center: Effects of non-Markovian quantum environment

abstract: Excitation energy transfer (EET) and electron transfer (ET) are crucially involved in photosynthetic processes. In reality, the photosynthetic reaction center constitutes an open quantum system of EET and ET, which manifests an interplay of pigments, solar light and phonon baths. So far theoretical studies have been mainly based on master equation approaches in the Markovian condition. The non-Markovian environmental effect, which may play a crucial role, has not been sufficiently considered. In this work, we propose a mixed dynamic approach to investigate this open system. The influence of phonon bath is treated via the exact dissipaton equation of motion (DEOM) while that of photon bath is via the Lindblad master equation. Specifically, we explore the effect of non-Markovian quantum phonon bath on the coherent transfer dynamics and its manipulation on the current-voltage behavior. Distinguished from the results of completely Markovian Lindblad equation and those adopting classical environment description, the mixed DEOM-Lindblad simulations exhibit transfer coherence up to a few hundreds femtoseconds and the related environmental manipulation effect on current. These non-Markovian quantum coherent effects be extended tomore complex and realistic systems and be helpful to the design of organic photovoltaic devices.


title: Role of liquid driving on the clogging of constricted particle suspensions

abstract: Forcing dense suspensions of non-cohesive particles through constrictions might either result in a continuous flow, an intermittent one, or indefinite interruption of flow, i.e., a clog. While one of the most important (and obvious) controlling parameters in such a system is the neck-to-particle size ratio, the role of the liquid driving method is not so obvious. On the one hand, wide-spread volume-controlled systems result in pressure and local liquid velocity increases upon eventual clogs. On the other hand, pressure-controlled systems result in a decrease of the flow through the constriction when a clog is developed. The root of the question therefore lies on the role of interparticle liquid flow and hydrodynamic forces on both the formation and stability of an arch blocking the particle transport through a constriction. In this work, we experimentally analyse a suspension of non-cohesive particles in channels undergoing intermittent regimes, in which they are most sensitive to parametric changes. By exploring the statistical distribution of arrest times and of discharged particles, we surprisingly find that the transport of non-cohesive suspensions through constrictions actually follows a "slower is faster" principle under certain conditions.


title: XSTEM: An exemplar-based stemming algorithm

abstract: Stemming is the process of reducing related words to a standard form by removing affixes from them. Existing algorithms vary with respect to their complexity, configurability, handling of unknown words, and ability to avoid under- and over-stemming. This paper presents a fast, simple, configurable, high-precision, high-recall stemming algorithm that combines the simplicity and performance of word-based lookup tables with the strong generalizability of rule-based methods to avert problems with out-of-vocabulary words.


title: Seamless Integration of Analysis and Design: Automatic CAD Reconstruction of Post-Analysis Geometries

abstract: A key step during industrial design is the passing of design information from computer aided design (CAD) to analysis tools (CAE) and vice versa. Here, one is faced with a severe incompatibility in geometry representation: While CAD is usually based on surface representations, analysis mostly relies on volumetric representations. The forward pass, i.e., converting CAD data to computational meshes, is well understood and established. However, the same does not hold for the inverse direction, i.e., CAD reconstruction of deformed geometries resulting, e.g., from shape optimization. The few reconstruction methods reported mainly rely on spline fitting, in particular methods that rely on creating new splines simililar to shape reconstruction from 3D imaging. In contrast, this paper studies a novel approach that reuses the CAD data given in the initial design. We show that this concept leads to precise shape reconstructions while also preserving the initial notion of features defined during design. Furthermore, reusing the initial CAD representation reduces the shape reconstruction problem to a shape modification problem. We study this unique feature and show that it enables the reconstruction of CAD data from computational meshes by composing each spline in the initial CAD data with a single, global deformation spline. While post-processing is needed for use in current CAD software, this novel approach not only allows creating watertight models, but also enables reconstructing complete CAD models even from defeatured computational meshes.


title: Unified Framework for Identity and Imagined Action Recognition from EEG patterns

abstract: We present a unified deep learning framework for the recognition of user identity and the recognition of imagined actions, based on electroencephalography (EEG) signals, for application as a brain-computer interface. Our solution exploits a novel shifted subsampling preprocessing step as a form of data augmentation, and a matrix representation to encode the inherent local spatial relationships of multi-electrode EEG signals. The resulting image-like data is then fed to a convolutional neural network to process the local spatial dependencies, and eventually analyzed through a bidirectional long-short term memory module to focus on temporal relationships. Our solution is compared against several methods in the state of the art, showing comparable or superior performance on different tasks. Specifically, we achieve accuracy levels above 90% both for action and user classification tasks. In terms of user identification, we reach 0.39% equal error rate in the case of known users and gestures, and 6.16% in the more challenging case of unknown users and gestures. Preliminary experiments are also conducted in order to direct future works towards everyday applications relying on a reduced set of EEG electrodes.


title: Towards Implementing Responsible AI

abstract: As the deployment of artificial intelligence (AI) is changing many fields and industries, there are concerns about AI systems making decisions and recommendations without adequately considering various ethical aspects, such as accountability, reliability, transparency, explainability, contestability, privacy, and fairness. While many sets of AI ethics principles have been recently proposed that acknowledge these concerns, such principles are high-level and do not provide tangible advice on how to develop ethical and responsible AI systems. To gain insight on the possible implementation of the principles, we conducted an empirical investigation involving semi-structured interviews with a cohort of AI practitioners. The salient findings cover four aspects of AI system design and development, adapting processes used in software engineering: (i) high-level view, (ii) requirements engineering, (iii) design and implementation, (iv) deployment and operation.


title: The Soft Skills of Software Learning Development: the Psychological Dimensions of Computing and Security Behaviours

abstract: When writing software code, developers typically prioritise functionality over security, either consciously or unconsciously through biases and heuristics. This is often attributed to tangible pressures such as client requirements, but little is understood about the psychological dimensions affecting security behaviours. There is an increasing demand for understanding how psychological skills affect secure software development and to understand how these skills themselves are developed during the learning process. This doctoral research explores this research space, with aims to identify important workplace-based skills for software developers; to identify and empirically investigate the soft skills behind these workplace skills in order to understand how soft skills can influence security behaviours; and, to identify ways to introduce and teach soft skills to computer science students to prepare the future generation of software developers. The motivations behind this research are presented alongside the work plan. Three distinct phases are introduced, along with planned analyses. Phase one is currently in the data collection stage, with the second phase in planning. Prior relevant work is highlighted, and the paper concludes with a presentation of preliminary results and the planned next steps.