title: SoftCloud: A Tool for Visualizing Software Artifacts as Tag Clouds

abstract: Software artifacts visualization helps software developers to manage the size and complexity of the software system. The tag cloud technique visualizes tags within the cloud according to their frequencies in software artifacts. A font size of the tag within the cloud indicates its frequency within a software artifact, while the color of a tag within the cloud uses just for aesthetic purposes. This paper suggests a new approach (SoftCloud) to visualize software artifacts as a tag cloud. The originality of SoftCloud is visualizing all the artifacts available to the software program as a tag cloud. Experiments have conducted on different software artifacts to validate SoftCloud and demonstrate its strengths. The results showed the ability of SoftCloud to correctly retrieve all tags and their frequencies from available software artifacts.


title: A generalization of the Bohr inequality for bounded analytic functions on simply connected domains and its applications

abstract: Bohr's classical theorem and its generalizations are now active areas of research and have been the source of investigations in numerous function spaces. In this article, we study a generalized Bohr's inequality for the class of bounded analytic functions defined on the simply connected domain $$ \Omega_{\gamma}:=\bigg\{z\in \mathbb{C}: \bigg|z+\frac{\gamma}{1-\gamma}\bigg|<\frac{1}{1-\gamma}\bigg\}, \,\ \text{for } 0\leq \gamma<1. $$ Part of its applications, we calculate the Bohr-type radii for some known integral operators.


title: On a multivariate copula-based dependence measure and its estimation

abstract: Working with so-called linkages allows to define a copula-based, $[0,1]$-valued multivariate dependence measure $\zeta^1(\boldsymbol{X},Y)$ quantifying the scale-invariant extent of dependence of a random variable $Y$ on a $d$-dimensional random vector $\boldsymbol{X}=(X_1,\ldots,X_d)$ which exhibits various good and natural properties. In particular, $\zeta^1(\boldsymbol{X},Y)=0$ if and only if $\boldsymbol{X}$ and $Y$ are independent, $\zeta^1(\boldsymbol{X},Y)$ is maximal exclusively if $Y$ is a function of $\boldsymbol{X}$, and ignoring one or several coordinates of $\boldsymbol{X}$ can not increase the resulting dependence value. After introducing and analyzing the metric $D_1$ underlying the construction of the dependence measure and deriving examples showing how much information can be lost by only considering all pairwise dependence values $\zeta^1(X_1,Y),\ldots,\zeta^1(X_d,Y)$ we derive a so-called checkerboard estimator for $\zeta^1(\boldsymbol{X},Y)$ and show that it is strongly consistent in full generality, i.e., without any smoothness restrictions on the underlying copula. Some simulations illustrating the small sample performance of the estimator complement the established theoretical results.


title: German Cities with Universities: Socioeconomic Position and University Performance

abstract: We investigated the role of universities in the prosperity of cities and regions. Performance characteristics of universities are derived from the Leiden Ranking 2020. The socioeconomic strength of a city is determined with the urban scaling methodology. Our study shows a significant relation between the presence of a university in a city and its socioeconomic indicators, particularly for larger cities, and that this is especially the case for universities with higher values of their output, impact and collaboration indicators.


title: Surface charges in Chern-Simons gravity with $T\bar{T}$ deformation

abstract: The $T\bar{T}$ deformed 2D CFTs correspond to AdS$_3$ gravity with Dirichlet boundary condition at finite cutoff or equivalently a mixed boundary condition at spatial infinity. In this work, we use the latter perspective and Chern-Simons formalism of AdS$_3$ gravity to construct the surface charges and associated algebra in $T\bar{T}$ deformed theories. Starting from the Ba\~nados geometry, we obtain the Chern-Simons gauge fields for the $T\bar{T}$ deformed geometry, which are parametrized by two independent charges. With help of the mixed boundary condition, the residual gauge symmetries of the deformed gauge fields and the associated surface charges were obtained respectively. The charge algebra turns out to be a non-linear deformed Virasoro algebra, which was obtained in different way by applying the cutoff perspective. Finally, we propose a way to construct the time-independent charges from these surface charges and they satisfy the field-dependent Virasoro algebra.


title: Nonlinear MPC for Quadrotor Fault-Tolerant Control

abstract: The mechanical simplicity, hover capabilities, and high agility of quadrotors lead to a fast adaption in the industry for inspection, exploration, and urban aerial mobility. On the other hand, the unstable and underactuated dynamics of quadrotors render them highly susceptible to system faults, especially rotor failures. In this work, we propose a fault-tolerant controller using nonlinear model predictive control (NMPC) to stabilize and control a quadrotor subjected to the complete failure of a single rotor. Differently from existing works, which either rely on linear assumptions or resort to cascaded structures neglecting input constraints in the outer-loop, our method leverages full nonlinear dynamics of the damaged quadrotor and considers the thrust constraint of each rotor. Hence, this method could effectively perform upset recovery from extreme initial conditions. Extensive simulations and real-world experiments are conducted for validation, which demonstrates that the proposed NMPC method can effectively recover the damaged quadrotor even if the failure occurs during aggressive maneuvers, such as flipping and tracking agile trajectories.


title: ICPE: An Item Cluster-Wise Pareto-Efficient Framework for Recommendation Debiasing

abstract: Recommender system based on historical user-item interactions is of vital importance for web-based services. However, the observed data used to train the recommender model suffers from severe bias issues. Practically, the item frequency distribution of the dataset is a highly skewed power-law distribution. Interactions of a small fraction of head items account for almost the whole training data. The normal training paradigm from such biased data tends to repetitively generate recommendations from the head items, which further exacerbates the biases and affects the exploration of potentially interesting items from the niche set. In this work, we innovatively explore the central theme of recommendation debiasing from an item cluster-wise multi-objective optimization perspective. Aiming to balance the learning on various item clusters that differ in popularity during the training process, we propose a model-agnostic framework namely Item Cluster-Wise Pareto-Efficient Recommendation (ICPE). In detail, we define our item cluster-wise optimization target as the recommender model should balance all item clusters that differ in popularity, thus we set the model learning on each item cluster as a unique optimization objective. To achieve this goal, we first explore items' popularity levels from a novel causal reasoning perspective. Then, we devise popularity discrepancy-based bisecting clustering to separate the item clusters. Next, we adaptively find the overall harmonious gradient direction for cluster-wise optimization objectives from a Pareto-efficient solver. Finally, in the prediction stage, we perform counterfactual inference to further eliminate the impact of global propensity. Extensive experimental results verify the superiorities of ICPE on overall recommendation performance and biases elimination.


title: Mixed Integer Neural Inverse Design

abstract: In computational design and fabrication, neural networks are becoming important surrogates for bulky forward simulations. A long-standing, intertwined question is that of inverse design: how to compute a design that satisfies a desired target performance? Here, we show that the piecewise linear property, very common in everyday neural networks, allows for an inverse design formulation based on mixed-integer linear programming. Our mixed-integer inverse design uncovers globally optimal or near optimal solutions in a principled manner. Furthermore, our method significantly facilitates emerging, but challenging, combinatorial inverse design tasks, such as material selection. For problems where finding the optimal solution is not desirable or tractable, we develop an efficient yet near-optimal hybrid optimization. Eventually, our method is able to find solutions provably robust to possible fabrication perturbations among multiple designs with similar performances.


title: A Lie theoretic categorification of the coloured Jones polynomial

abstract: We use the machinery of categorified Jones-Wenzl projectors to construct a categorification of a type A Reshetikhin-Turaev invariant of oriented framed tangles where each strand is labeled by an arbitrary finite-dimensional representation. As a special case, we obtain a categorification of the coloured Jones polynomial of links.


title: Thin films of the alpha-quartz SixGe1-xO2 solid-solution

abstract: SiO2 with the alpha-quartz structure is one of the most popular piezoelectrics. It is widely used in crystal oscillators, bulk acoustic wave (BAW) devices, surface acoustic wave (SAW) devices, and so on. GeO2 can also be crystallized into the alpha-quartz structure and it has better piezoelectric properties, with higher piezoelectric coefficient and electromechanical coupling coefficients, than SiO2. Experiments on bulk crystals and theoretical studies have shown that these properties can be tuned by varying the Si/Ge ratio in the SixGe1-xO2 solid solution. However, to the best of our knowledge, thin films of SixGe1-xO2 quartz have never been reported. Here we present the successful crystallization of SixGe1-xO2 thin films in the alpha-quartz phase on quartz substrates (SiO2) with x up to 0.75. Generally, the films grow semi-epitaxially, with the same orientation as the substrates. Interestingly, the Si0.75Ge0.25O2 composition grows fully strained by the quartz substrates and this leads to the formation of circular quartz domains with an ordered Dauphine twin structure. These studies represent a first step towards the optimization of piezoelectric quartz thin films for high frequency (> 5 GHz) applications.


title: One-dimensional optimal control problems for time-discrete constrained quasilinear diffusion equations of Allen--Cahn types

abstract: In this paper, we consider a class of optimal control problems for a one-dimensional time-discrete constrained quasilinear diffusion state-systems of singular Allen--Cahn types and its regularized approximating problems. We note that the control parameter for each system is given by physical temperature. The principal part of this paper is started with the verification of a Key-Theorem dealing with the decompositions of the subdifferentials of the governing convex energies of the state-systems. On this basis, we will prove five Main Theorems, concerned with: the solvability and precise regularity results of state-systems; the continuous-dependence of the solutions to state-systems including convergences in spatially $C^1$-topologies; the existence and parameter-dependence of optimal controls; the necessary optimality conditions for approximate optimal controls; precise characterizations of the approximating limit of the optimality conditions.


title: The Reidemeister spectrum of split metacyclic groups

abstract: Given a group $G$ and an automorphism $\varphi$ of $G$, two elements $x, y \in G$ are said to be $\varphi$-conjugate if $x = gy \varphi(g)^{-1}$ for some $g \in G$. The number of equivalence classes for this relation is the Reidemeister number $R(\varphi)$ of $\varphi$. The set $\{R(\psi) \mid \psi \in \mathrm{Aut}(G)\}$ is called the Reidemeister spectrum of $G$. We fully determine the Reidemeister spectrum of split metacyclic groups of the form $C_{n} \rtimes C_{p}$ where $p$ is a prime and the action is non-trivial.


title: Analysis of Proton Bunch Parameters in the AWAKE Experiment

abstract: A precise characterization of the incoming proton bunch parameters is required to accurately simulate the self-modulation process in the Advanced Wakefield Experiment (AWAKE). This paper presents an analysis of the parameters of the incoming proton bunches used in the later stages of the AWAKE Run 1 data-taking period. The transverse structure of the bunch is observed at multiple positions along the beamline using scintillating or optical transition radiation screens. The parameters of a model that describes the bunch transverse dimensions and divergence are fitted to represent the observed data using Bayesian inference. The analysis is tested on simulated data and then applied to the experimental data.


title: Training Spiking Neural Networks Using Lessons From Deep Learning

abstract: The brain is the perfect place to look for inspiration to develop more efficient neural networks. The inner workings of our synapses and neurons provide a glimpse at what the future of deep learning might look like. This paper serves as a tutorial and perspective showing how to apply the lessons learnt from several decades of research in deep learning, gradient descent, backpropagation and neuroscience to biologically plausible spiking neural neural networks. We also explore the delicate interplay between encoding data as spikes and the learning process; the challenges and solutions of applying gradient-based learning to spiking neural networks (SNNs); the subtle link between temporal backpropagation and spike timing dependent plasticity, and how deep learning might move towards biologically plausible online learning. Some ideas are well accepted and commonly used amongst the neuromorphic engineering community, while others are presented or justified for the first time here. The fields of deep learning and spiking neural networks evolve very rapidly. We endeavour to treat this document as a 'dynamic' manuscript that will continue to be updated as the common practices in training SNNs also change. A series of companion interactive tutorials complementary to this paper using our Python package, snnTorch, are also made available. See https://snntorch.readthedocs.io/en/latest/tutorials/index.html .


title: Deformed logarithms. Associated entropic divergences. Applications to linear inverse problems. Inversion algorithms

abstract: This work belongs to the framework of inverse problems with linear model. The resolution of this type of problem consists in minimizing (possibly under constraints) a function of discrepancy between the measurements and a physical model of the considered phenomenon. We will here extend this study to divergence functions based on forms of entropy developed in the field of Statistical Physics. These various forms of entropy are based on "the deformed algebra" [9] and in particularly on the notion of "Deformed Logarithm" [15][9].


title: Pricing multi-asset derivatives by finite difference method on a quantum computer

abstract: Following the recent great advance of quantum computing technology, there are growing interests in its applications to industries, including finance. In this paper, we focus on derivative pricing based on solving the Black-Scholes partial differential equation by finite difference method (FDM), which is a suitable approach for some types of derivatives but suffers from the {\it curse of dimensionality}, that is, exponential growth of complexity in the case of multiple underlying assets. We propose a quantum algorithm for FDM-based pricing of multi-asset derivative with exponential speedup with respect to dimensionality compared with classical algorithms. The proposed algorithm utilizes the quantum algorithm for solving differential equations, which is based on quantum linear system algorithms. Addressing the specific issue in derivative pricing, that is, extracting the derivative price for the present underlying asset prices from the output state of the quantum algorithm, we present the whole of the calculation process and estimate its complexity. We believe that the proposed method opens the new possibility of accurate and high-speed derivative pricing by quantum computers.


title: Topological power pumping in quantum circuits

abstract: In this article, we develop a description of topological pumps as slow classical dynamical variables coupled by a quantum system. We discuss the cases of quantum Hall pumps, Thouless pumps, and the more recent Floquet pumps based frequency converters. This last case corresponds to a quantum topological coupling between classical modes described by action-angle variables on which we focus. We propose a realization of such a topological coupler based on a superconducting qutrit suitably driven by three modulated drives. A detailed experimental protocol allowing to measure the quantized topological power transfer between the different modes of a superconducting circuit is discussed.


title: An Abelian Higgs model of pulsed field magnetization in superconductors

abstract: Pulsed field magnetization leads to trapped magnetic field persistent for long times.We present a one-dimensional model of the interaction between an electromagnetic wave and a superconducting slab based on the Maxwell-Ginzburg-Landau (Abelian Higgs) theory. We first derive the model starting from a Lagrangian coupling the electromagnetic field with the Ginzburg-Landau potential for the superconductor. Then we explore numerically its capabilities by applying a Gaussian vector potential pulse and monitoring usual quantities such as the modulus and the phase of the order parameter. We also introduce defects in the computational domain. We show that the presence of defects enhances the remanent vector potential and diminishes the modulus of the order parameter, in agreement with existing experiments.


title: Monte Carlo characterization of PETALO, a full-body liquid xenon-based PET detector

abstract: New detector approaches in Positron Emission Tomography imaging will play an important role in reducing costs, lowering administered radiation doses, and improving overall performance. PETALO employs liquid xenon as the active scintillating medium and UV-sensitive silicon photomultipliers for scintillation readout. The scintillation time in liquid xenon is fast enough to register time-of-flight information for each detected coincidence, and sufficient scintillation is produced with low enough fluctuations to obtain good energy resolution. The present simulation study examines a full-body-sized PETALO detector and evaluates its potential performance in PET image reconstruction.


title: How the Avengers Assembled? Analysis of Marvel Hero Social Network

abstract: The movies of Marvel universe are very popular among young people. Almost every young people nowadays know some of the heroes in Marvel universe, such as iron man and spider man. The data set named The Marvel Universe Social Network (MUSN) describe the social relationships of the heroes. By analyzing the MUSN, we establish a social network of Marvel heroes. We derive some basic statistics from the Marvel network, such as the number of nodes and links, the hubs, the components, the shortest path lengths and the diameter. In the next part, we analyze the structure of the Marvel network and obtain some results of the connectedness, the clustering, the degree distribution, the degree correlation. Meanwhile, we fit the power law and divide the network into different communities. In this process, we not only find that the network appears to have the small world nature, since it is obviously a scale-free network, but also find that it is very similar to the real-world social network. Further, based on the work of Loverkar et al., we do a hypothesis test on the small world nature of the network. We find that the Marvel network does have small world property. In the end, we visualize the Marvel network to give a better understanding of the network.


title: Information transmission in a two-step cascade: Interplay of activation and repression

abstract: We present an information-theoretic formalism to study signal transduction in four architectural variants of a model two-step cascade with increasing input population. Our results categorize these four types into two classes depending upon the effect played out by activation and repression on mutual information, net synergy, and signal-to-noise ratio. Within the Gaussian framework and using the linear noise approximation, we derive the analytic expressions for these metrics to establish their underlying relationships in terms of the biochemical parameters. We also verify our approximations through stochastic simulations.


title: Slice regular functions and orthogonal complex structures over $\mathbb{R}^8$

abstract: This work looks at the theory of octonionic slice regular functions through the lens of differential topology. It proves a full-fledged version of the Open Mapping Theorem for octonionic slice regular functions. Moreover, it opens the path for a possible use of slice regular functions in the study of almost-complex structures in eight dimensions.


title: Multiscale coupling of surface temperature with solid diffusion in large lithium-ion pouch cells

abstract: Untangling the relationship between reactions, mass transfer, and temperature within lithium-ion batteries enables control approaches that mitigate thermal hot spots and slow degradation. Here, we develop an efficient physics-based pouch-cell model to simulate lock-in thermography experiments, which synchronously record the applied current, cell voltage, and surface-temperature distribution. Prior modelling efforts have been confounded by experimental temperature profiles whose characteristics suggest anisotropic heat conduction. Accounting for a multiscale coupling between heat flow and solid-state diffusion rationalizes this surface-temperature nonuniformity. We extend an earlier streamlined model based on the popular Doyle--Fuller--Newman theory, augmented by a local heat balance. The reduced-order model is exploited to parametrize and simulate commercial 20 Ah lithium iron phosphate (LFP) cells at currents up to 80 A. This work highlights how microscopic intercalation processes produce distinctive macroscopic heat signatures in large-format cells, as well as how heat signatures can be exploited to fingerprint material properties.


title: Real valued functions for BFKL eigenvalue

abstract: We consider known expressions for the eigenvalue of the Balitsky-Fadin-Kuraev-Lipatov (BFKL) equation in $N=4$ super Yang-Mills theory as a real valued function of two variables anomalous dimension and the conformal spin. We define new real valued functions of two complex conjugate variables that have a definite complexity analogous to the weight of the nested harmonic sums. We argue that those functions span a general space of functions for the BFKL eigenvalue at any order of the perturbation theory.


title: Filtering electrons by mode coupling in finite semiconductor superlattices

abstract: Electron transmission through semiconductor superlattices is studied with transfer matrix method and resonance theory. The formation of electron band-pass transmission is ascribed to the coupling of different modes in those semiconductor superlattices with the symmetric unit cell. Upon Fabry-P\'erot resonance condition, Bloch modes and two other resonant modes are identified to be related to the nature of the superlattice and its unit cell, respectively. The bands related to the unit cell and the superlattice overlap spontaneously in the tunneling region due to the shared wells, and the coupling of perfectly resonances results in the band-pass tunneling. Our findings provide a promising way to study electronic systems with more complicated superlattices or even optical systems with photonic crystals.


title: Two-dimensional Brownian risk model for cumulative Parisian ruin probability

abstract: Let $(W_1(s), W_2(t)), s,t\ge 0$ be a bivariate Brownian motion with standard Brownian motion marginals and constant correlation $\rho \in (-1,1).$ In this contribution we derive precise approximations for cumulative Parisian ruin conditioned on the occurrence of the ruin of the aforementioned two-dimensional Brownian motion, i.e. $$\mathbb{P}\left(\begin{array}{ccc}\int_{[0,1]} \mathbf{1}(W_1^*(s)>u)ds>H_1(u) \\ \int_{[0,1]} \mathbf{1}(W_2^*(t)>au)dt>H_2(u)\end{array}\Bigg{|}\exists_{v,w \in [0,1]}\begin{array}{ccc} W_1(v)-c_1v>u \\ W_2(w)-c_2w>au \end{array}\right).$$ We study the asymptotics for specific functions $\boldsymbol{H}(u)$ for $u$ being proportional to initial position of the Brownian motion, which determines how long does the process need to spend over the barrier.


title: Expressing High-Level Scientific Claims with Formal Semantics

abstract: The use of semantic technologies is gaining significant traction in science communication with a wide array of applications in disciplines including the Life Sciences, Computer Science, and the Social Sciences. Languages like RDF, OWL, and other formalisms based on formal logic are applied to make scientific knowledge accessible not only to human readers but also to automated systems. These approaches have mostly focused on the structure of scientific publications themselves, on the used scientific methods and equipment, or on the structure of the used datasets. The core claims or hypotheses of scientific work have only been covered in a shallow manner, such as by linking mentioned entities to established identifiers. In this research, we therefore want to find out whether we can use existing semantic formalisms to fully express the content of high-level scientific claims using formal semantics in a systematic way. Analyzing the main claims from a sample of scientific articles from all disciplines, we find that their semantics are more complex than what a straight-forward application of formalisms like RDF or OWL account for, but we managed to elicit a clear semantic pattern which we call the 'super-pattern'. We show here how the instantiation of the five slots of this super-pattern leads to a strictly defined statement in higher-order logic. We successfully applied this super-pattern to an enlarged sample of scientific claims. We show that knowledge representation experts, when instructed to independently instantiate the super-pattern with given scientific claims, show a high degree of consistency and convergence given the complexity of the task and the subject. These results therefore open the door for expressing high-level scientific findings in a manner they can be automatically interpreted, which on the longer run can allow us to do automated consistency checking, and much more.


title: Relating three combinatorial formulas for type $A$ Whittaker functions

abstract: In this work we study the relationship between several combinatorial formulas for type $A$ spherical Whittaker functions. These are spherical functions on $p$-adic groups, which arise in the theory of automorphic forms. They depend on a parameter $t$, and are a specialization of Macdonald polynomials, and further specialize to Schur polynomials upon setting $t=0$. There are three types of formulas for these polynomials. The first formula is in terms of so-called alcove walks, works in arbitrary Lie type, and is derived from the Ram-Yip formula for Macdonald polynomials. The second one is in terms of certain fillings of Young diagrams, and is derived from, or is analogous to the Haglund-Haiman-Loehr formula for Macdonald polynomials. The third formula is in terms of the classical semistandard Young tableaux. We study the way in which each such formula is obtained from the previous one by combining terms $-$ a phenomenon called compression. No such results existed in the case of Whittaker functions.


title: Compressive Visual Representations

abstract: Learning effective visual representations that generalize well without human supervision is a fundamental problem in order to apply Machine Learning to a wide variety of tasks. Recently, two families of self-supervised methods, contrastive learning and latent bootstrapping, exemplified by SimCLR and BYOL respectively, have made significant progress. In this work, we hypothesize that adding explicit information compression to these algorithms yields better and more robust representations. We verify this by developing SimCLR and BYOL formulations compatible with the Conditional Entropy Bottleneck (CEB) objective, allowing us to both measure and control the amount of compression in the learned representation, and observe their impact on downstream tasks. Furthermore, we explore the relationship between Lipschitz continuity and compression, showing a tractable lower bound on the Lipschitz constant of the encoders we learn. As Lipschitz continuity is closely related to robustness, this provides a new explanation for why compressed models are more robust. Our experiments confirm that adding compression to SimCLR and BYOL significantly improves linear evaluation accuracies and model robustness across a wide range of domain shifts. In particular, the compressed version of BYOL achieves 76.0% Top-1 linear evaluation accuracy on ImageNet with ResNet-50, and 78.8% with ResNet-50 2x.


title: A Biologically-Inspired Simultaneous Localization and Mapping System Based on LiDAR Sensor

abstract: Simultaneous localization and mapping (SLAM) is one of the essential techniques and functionalities used by robots to perform autonomous navigation tasks. Inspired by the rodent hippocampus, this paper presents a biologically inspired SLAM system based on a LiDAR sensor using a hippocampal model to build a cognitive map and estimate the robot pose in indoor environments. Based on the biologically inspired models mimicking boundary cells, place cells, and head direction cells, the SLAM system using LiDAR point cloud data is capable of leveraging the self-motion cues from the LiDAR odometry and the boundary cues from the LiDAR boundary cells to build a cognitive map and estimate the robot pose. Experiment results show that with the LiDAR boundary cells the proposed SLAM system greatly outperforms the camera-based brain-inspired method in both simulation and indoor environments, and is competitive with the conventional LiDAR-based SLAM methods.


title: Small data problems in political research: a critical replication study

abstract: In an often-cited 2019 paper on the use of machine learning in political research, Anastasopoulos & Whitford (A&W) propose a text classification method for tweets related to organizational reputation. The aim of their paper was to provide a 'guide to practice' for public administration scholars and practitioners on the use of machine learning. In the current paper we follow up on that work with a replication of A&W's experiments and additional analyses on model stability and the effects of preprocessing, both in relation to the small data size. We show that (1) the small data causes the classification model to be highly sensitive to variations in the random train-test split, and that (2) the applied preprocessing causes the data to be extremely sparse, with the majority of items in the data having at most two non-zero lexical features. With additional experiments in which we vary the steps of the preprocessing pipeline, we show that the small data size keeps causing problems, irrespective of the preprocessing choices. Based on our findings, we argue that A&W's conclusions regarding the automated classification of organizational reputation tweets -- either substantive or methodological -- can not be maintained and require a larger data set for training and more careful validation.


title: A User-Centred Framework for Explainable Artificial Intelligence in Human-Robot Interaction

abstract: State of the art Artificial Intelligence (AI) techniques have reached an impressive complexity. Consequently, researchers are discovering more and more methods to use them in real-world applications. However, the complexity of such systems requires the introduction of methods that make those transparent to the human user. The AI community is trying to overcome the problem by introducing the Explainable AI (XAI) field, which is tentative to make AI algorithms less opaque. However, in recent years, it became clearer that XAI is much more than a computer science problem: since it is about communication, XAI is also a Human-Agent Interaction problem. Moreover, AI came out of the laboratories to be used in real life. This implies the need for XAI solutions tailored to non-expert users. Hence, we propose a user-centred framework for XAI that focuses on its social-interactive aspect taking inspiration from cognitive and social sciences' theories and findings. The framework aims to provide a structure for interactive XAI solutions thought for non-expert users.


title: The JDDC 2.0 Corpus: A Large-Scale Multimodal Multi-Turn Chinese Dialogue Dataset for E-commerce Customer Service

abstract: With the development of the Internet, more and more people get accustomed to online shopping. When communicating with customer service, users may express their requirements by means of text, images, and videos, which precipitates the need for understanding these multimodal information for automatic customer service systems. Images usually act as discriminators for product models, or indicators of product failures, which play important roles in the E-commerce scenario. On the other hand, detailed information provided by the images is limited, and typically, customer service systems cannot understand the intents of users without the input text. Thus, bridging the gap of the image and text is crucial for the multimodal dialogue task. To handle this problem, we construct JDDC 2.0, a large-scale multimodal multi-turn dialogue dataset collected from a mainstream Chinese E-commerce platform (JD.com), containing about 246 thousand dialogue sessions, 3 million utterances, and 507 thousand images, along with product knowledge bases and image category annotations. We present the solutions of top-5 teams participating in the JDDC multimodal dialogue challenge based on this dataset, which provides valuable insights for further researches on the multimodal dialogue task.


title: Fake News Detection: Experiments and Approaches beyond Linguistic Features

abstract: Easier access to the internet and social media has made disseminating information through online sources very easy. Sources like Facebook, Twitter, online news sites and personal blogs of self-proclaimed journalists have become significant players in providing news content. The sheer amount of information and the speed at which it is generated online makes it practically beyond the scope of human verification. There is, hence, a pressing need to develop technologies that can assist humans with automatic fact-checking and reliable identification of fake news. This paper summarizes the multiple approaches that were undertaken and the experiments that were carried out for the task. Credibility information and metadata associated with the news article have been used for improved results. The experiments also show how modelling justification or evidence can lead to improved results. Additionally, the use of visual features in addition to linguistic features is demonstrated. A detailed comparison of the results showing that our models perform significantly well when compared to robust baselines as well as state-of-the-art models are presented.


title: onlineforecast: An R package for adaptive and recursive forecasting

abstract: Systems that rely on forecasts to make decisions, e.g. control or energy trading systems, require frequent updates of the forecasts. Usually, the forecasts are updated whenever new observations become available, hence in an online setting. We present the R package onlineforecast that provides a generalized setup of data and models for online forecasting. It has functionality for time-adaptive fitting of dynamical and non-linear models. The setup is tailored to enable the effective use of forecasts as model inputs, e.g. numerical weather forecast. Users can create new models for their particular applications and run models in an operational setting. The package also allows users to easily replace parts of the setup, e.g. using neural network methods for estimation. The package comes with comprehensive vignettes and examples of online forecasting applications in energy systems, but can easily be applied for online forecasting in all fields.


title: Electromagnetically induced transparency and absorption cross-over with a four-level Rydberg system

abstract: Electromagnetically induced transparency (EIT) and absorption (EIA) are quantum coherence phenomena which result due to interference of excitation pathways. Since the first realization of EIT in 1991 and EIA in 1998, mechanisms behind these remarkable effects have been studied extensively, therefore both are relatively easily achievable in controlled environments. Combining EIT and EIA with Rydberg atoms have provided utility in various research fields such as interacting many body systems, quantum optics and quantum information science. We propose an analysis of Rydberg-EIT and Rydberg-EIA effects in cold Cs and Rb atomic ensembles in a four-level ladder type scheme with self-consistent mean field approach. Our results are consistent with experimental realizations and provide a many-body method to simulate EIT-EIA cross-over.


title: Mitigation of Rayleigh-like waves in granular media via multi-layer resonant metabarriers

abstract: In this work, we experimentally and numerically investigate the propagation and attenuation of vertically polarized surface waves in an unconsolidated granular medium equipped with small-scale metabarriers of different depths, i.e., arrays composed of one, two, and three embedded layers of sub-wavelength resonators. Our findings reveal how such a multi-layer arrangement strongly affects the attenuation of the surface wave motion within and after the barrier. When the surface waves collide with the barriers, the wavefront is back-scattered and steered downward underneath the oscillators. Due to the stiffness gradient of the granular medium, part of the wavefield is then rerouted to the surface level after overcoming the resonant array. Overall, the in-depth insertion of additional layers of resonators leads to a greater and broader band wave attenuation when compared to the single layer case.


title: The reduction number of stretched ideals

abstract: The homological property of the associated graded ring of an ideal is an important problem in commutative algebra and algebraic geometry. In this paper we explore the almost Cohen-Macaulayness of the associated graded ring of stretched $\mathfrak{m}$-primary ideals in the case where the reduction number attains almost minimal value in a Cohen-Macaulay local ring $(A,\mathfrak{m})$. As an application, we present complete descriptions of the associated graded ring of stretched $\mathfrak{m}$-primary ideals with small reduction number.


title: Circuit QED simulator of two-dimensional Su-Schrieffer-Hegger model: magnetic field induced topological phase transition in high-order topological insulators

abstract: High-order topological insulator (HOTI) occupies an important position in topological band theory due to its exotic bulk-edge correspondence. Recently, it has been predicted that external magnetic field can introduce rich physics into two-dimensional (2D) HOTIs. However, up to now the theoretical description is still incomplete and the experimental realization is still lacking. Here we investigate the influence of continuously varying magnetic field on 2D Su-Schriffer-Heeger lattice, which is one of the most celebrated HOTI models, and proposed a corresponding circuit quantum electrodynamics (cQED) simulator. Our numerical calculation shows that the zero energy corner modes (ZECMs), which can serve as evidence of the high order topology of the lattice, exhibit exotic and rich dependence on the imposed magnetic field and the inhomogeneous hopping strength. Moreover, by exploiting the parametric conversion method, we can establish time- and site-resolved tunable hopping constants in the proposed cQED simulator, thus providing an ideal platform for simulating the magnetic field induced topological phase transitions in 2D HOTIs. Since the high-order topological phases of the proposed model can be characterized by the existence of the ZECMs on the lattice, we further investigate the corner site excitation of the lattice in the steady state limit. Our numerical results imply that the predicted topological phase transitions can be unambiguously identified by the steady-state photon number measurement of the corner sites and their few neighbors. Requiring only current level of technology, our scheme can be readily tested in experiment and may pave an alternative way towards the future investigation of HOTIs in the presence of magnetic field, disorder, and strong correlation.


title: Phenomenology of the companion-axion model: photon couplings

abstract: We study the phenomenology of the 'companion-axion model' consisting of two coupled QCD axions. The second axion is required to rescue the Peccei-Quinn solution to the strong-CP problem from the effects of colored gravitational instantons. We investigate here the combined phenomenology of axion-axion and axion-photon interactions, recasting present and future single-axion bounds onto the companion-axion parameter space. Most remarkably, we predict that future axion searches with haloscopes and helioscopes may well discover two QCD axions, perhaps even within the same experiment.


title: Hadron structure from basis light-front quantization

abstract: We present our recent progress in applying basis light-front quantization approach to investigate the structure of the light mesons and the nucleon.


title: ClipMatrix: Text-controlled Creation of 3D Textured Meshes

abstract: If a picture is worth thousand words, a moving 3d shape must be worth a million. We build upon the success of recent generative methods that create images fitting the semantics of a text prompt, and extend it to the controlled generation of 3d objects. We present a novel algorithm for the creation of textured 3d meshes, controlled by text prompts. Our method creates aesthetically pleasing high resolution articulated 3d meshes, and opens new possibilities for automation and AI control of 3d assets. We call it "ClipMatrix" because it leverages CLIP text embeddings to breed new digital 3d creatures, a nod to the Latin meaning of the word "matrix" - "mother". See the online gallery for a full impression of our method's capability.


title: Counting Resonances on Hyperbolic Surfaces with Unitary Twists

abstract: We present the Laplace operator associated to a hyperbolic surface $\Gamma\setminus\mathbb{H}$ and a unitary representation of the fundamental group $\Gamma$, extending the previous definition for hyperbolic surfaces of finite area to those of infinite area. We show that the resolvent of this operator admits a meromorphic continuation to all of $\mathbb{C}$ by constructing a parametrix for the Laplacian, following the approach by Guillop\'e and Zworski. We use the construction to provide an optimal upper bound for the counting function of the poles of the continued resolvent.


title: Empirical Scaling Relations for the Photospheric Magnetic Elements of the Flaring and Non-Flaring Active Regions

abstract: Here, we analyzed magnetic elements of the solar active regions (ARs) observed in the line-of-sight magnetograms (the 6173 \AA~Fe \small{I} line) recorded with the Solar Dynamics Observatory (SDO)/Helioseismic and Magnetic Imager (HMI). The Yet Another Feature Tracking Algorithm (\textsf{YAFTA}) was employed to extract the statistical properties of these features (\textit{e.g.} filling factor, magnetic flux, and lifetime) within the areas of $180{\small^{\prime\prime}} \times 180{\small^{\prime\prime}}$ inside the flaring AR (NOAA 12443) and the non-flaring AR (NOAA 12446) for 3 to 5 November 2015 and for 4 to 6 November 2015, respectively. The mean filling factor of polarities was obtained to be about 0.49 for the flaring AR; this value was 0.08 for the non-flaring AR. Time series of the filling factors of the negative and positive polarities for the flaring AR showed anti-correlation (with the Pearson value of -0.80); while for the non-flaring AR, there was the strong positive correlation (with the Pearson value of 0.95). A power-law function was fitted to the frequency distributions of flux ($F$), size ($S$), and lifetime ($T$). Power exponents of the distributions of flux, size, and lifetime for the flaring AR were obtained to be about -2.36, -3.11, and -1.70, respectively; these values of exponents for the non-flaring AR were found to be about -2.53, -3.42, and -1.61, respectively. ...


title: HarrisZ$^+$: Harris Corner Selection for Next-Gen Image Matching Pipelines

abstract: Due to its role in many computer vision tasks, image matching has been subjected to an active investigation by researchers, which has lead to better and more discriminant feature descriptors and to more robust matching strategies, also thanks to the advent of the deep learning and the increased computational power of the modern hardware. Despite of these achievements, the keypoint extraction process at the base of the image matching pipeline has not seen equivalent progresses. This paper presents HarrisZ$^+$, an upgrade to the HarrisZ corner detector, optimized to synergically take advance of the recent improvements of the other steps of the image matching pipeline. HarrisZ$^+$ does not only consists of a tuning of the setup parameters, but introduces further refinements to the selection criteria delineated by HarrisZ, so providing more, yet discriminative, keypoints, which are better distributed on the image and with higher localization accuracy. The image matching pipeline including HarrisZ$^+$, together with the other modern components, obtained in different recent matching benchmarks state-of-the-art results among the classic image matching pipelines. These results are quite close to those obtained by the more recent fully deep end-to-end trainable approaches and show that there is still a proper margin of improvement that can be granted by the research in classic image matching methods.


title: ML4ML: Automated Invariance Testing for Machine Learning Models

abstract: In machine learning (ML) workflows, determining the invariance qualities of an ML model is a common testing procedure. Traditionally, invariance qualities are evaluated using simple formula-based scores, e.g., accuracy. In this paper, we show that testing the invariance qualities of ML models may result in complex visual patterns that cannot be classified using simple formulas. In order to test ML models by analyzing such visual patterns automatically using other ML models, we propose a systematic framework that is applicable to a variety of invariance qualities. We demonstrate the effectiveness and feasibility of the framework by developing ML4ML models (assessors) for determining rotation-, brightness-, and size-variances of a collection of neural networks. Our testing results show that the trained ML4ML assessors can perform such analytical tasks with sufficient accuracy.


title: Faking Brownian motion with continuous Markov martingales

abstract: Hamza-Klebaner posed the problem of constructing martingales with Brownian marginals that differ from Brownian motion, so called fake Brownian motions. Besides its theoretical appeal, the problem represents the quintessential version of the ubiquitous fitting problem in mathematical finance where the task is to construct martingales that satisfy marginal constraints imposed by market data. Non-continuous solutions to this challenge were given by Madan-Yor, Hamza-Klebaner, Hobson, and Fan-Hamza-Klebaner whereas continuous (but non-Markovian) fake Brownian motions were constructed by Oleszkiewicz, Albin, Baker-Donati-Yor, Hobson, Jourdain-Zhou. In contrast it is known from Gy\"ongy, Dupire, and ultimately Lowther that Brownian motion is the unique continuous strong Markov martingale with Brownian marginals. We took this as a challenge to construct examples of a "very fake'' Brownian motion, that is, continuous Markov martingales with Brownian marginals that miss out only on the strong Markov property.


title: A Biologically Inspired Global Localization System for Mobile Robots Using LiDAR Sensor

abstract: Localization in the environment is an essential navigational capability for animals and mobile robots. In the indoor environment, the global localization problem remains challenging to be perfectly solved with probabilistic methods. However, animals are able to instinctively localize themselves with much less effort. Therefore, it is intriguing and promising to seek biological inspiration from animals. In this paper, we present a biologically-inspired global localization system using a LiDAR sensor that utilizes a hippocampal model and a landmark-based re-localization approach. The experiment results show that the proposed method is competitive to Monte Carlo Localization, and the results demonstrate the high accuracy, applicability, and reliability of the proposed biologically-inspired localization system in different localization scenarios.


title: The time complexity of some algorithms for generating the spectra of finite simple groups

abstract: The spectrum $\omega(G)$ is the set of orders of elements of $G$. We consider the problem of generating the spectrum of a finite nonabelian simple group $G$ given by the degree of $G$ if $G$ is an alternating group, or the Lie type, Lie rank and order of the underlying field if $G$ is a group of Lie type.


title: Distributed Computing With the Cloud

abstract: We investigate the effect of omnipresent cloud storage on distributed computing. We specify a network model with links of prescribed bandwidth that connect standard processing nodes, and, in addition, passive storage nodes. Each passive node represents a cloud storage system, such as Dropbox, Google Drive etc. We study a few tasks in this model, assuming a single cloud node connected to all other nodes, which are connected to each other arbitrarily. We give implementations for basic tasks of collaboratively writing to and reading from the cloud, and for more advanced applications such as matrix multiplication and federated learning. Our results show that utilizing node-cloud links as well as node-node links can considerably speed up computations, compared to the case where processors communicate either only through the cloud or only through the network links. We provide results for general directed graphs, and for graphs with ``fat'' links between processing nodes. For the general case, we provide optimal algorithms for uploading and downloading files using flow techniques. We use these primitives to derive algorithms for \emph{combining}, where every processor node has an input value and the task is to compute a combined value under some given associative operator. In the case of fat links, we assume that links between processors are bidirectional and have high bandwidth, and we give near-optimal algorithms for any commutative combining operator (such as vector addition). For the task of matrix multiplication (or other non-commutative combining operators), where the inputs are ordered, we present sharp results in the simple ``wheel'' network, where procesing nodes are arranged in a ring, and are all connected to a single cloud node.


title: On the cross-streamline lift of microswimmers in viscoelastic flows

abstract: The current work studies the dynamics of a microswimmer in pressure-driven flow of a weakly viscoelastic fluid. Employing the second-order fluid model, we show that the self-propelling swimmer experiences a viscoelastic swimming lift in addition to the well-known passive lift that arises from its resistance to shear flow. Using the reciprocal theorem, we evaluate analytical expressions for the swimming lift experienced by neutral and pusher/puller-type swimmers and show that they depend on the hydrodynamic signature associated with the swimming mechanism. We find that for neutral swimmers focusing towards the centerline is accelerated by two orders of magnitude, while for force-dipole swimmers no net modification in cross-streamline migration occurs.


title: Sparse Spatial Transformers for Few-Shot Learning

abstract: Learning from limited data is challenging because data scarcity leads to a poor generalization of the trained model. A classical global pooled representation will probably lose useful local information. Many few-shot learning methods have recently addressed this challenge using deep descriptors and learning a pixel-level metric. However, using deep descriptors as feature representations may lose image contextual information. Moreover, most of these methods independently address each class in the support set, which cannot sufficiently use discriminative information and task-specific embeddings. In this paper, we propose a novel transformer-based neural network architecture called sparse spatial transformers (SSFormers), which finds task-relevant features and suppresses task-irrelevant features. Particularly, we first divide each input image into several image patches of different sizes to obtain dense local features. These features retain contextual information while expressing local information. Then, a sparse spatial transformer layer is proposed to find spatial correspondence between the query image and the full support set to select task-relevant image patches and suppress task-irrelevant image patches. Finally, we propose using an image patch-matching module to calculate the distance between dense local representations, thus determining which category the query image belongs to in the support set. Extensive experiments on popular few-shot learning benchmarks demonstrate the superiority of our method over state-of-the-art methods. Our source code is available at \url{https://github.com/chenhaoxing/ssformers}.


title: Ion dynamics driven by a strongly nonlinear plasma wake

abstract: In plasma wakefield accelerators, the wave excited in the plasma eventually breaks and leaves behind slowly changing fields and currents that perturb the ion density background. We study this process numerically using the example of a FACET experiment where the wave is excited by an electron bunch in the bubble regime in a radially bounded plasma. Four physical effects underlie the dynamics of ions: (1) attraction of ions toward the axis by the fields of the driver and the wave, resulting in formation of a density peak, (2) generation of ion-acoustic solitons following the decay of the density peak, (3) positive plasma charging after wave breaking, leading to acceleration of some ions in the radial direction, and (4) plasma pinching by the current generated during the wavebreaking. Interplay of these effects result in formation of various radial density profiles, which are difficult to produce in any other way


title: Convexity estimate for translating solitons of concave fully nonlinear extrinsic geometric flows in $\mathbb{R}^{n+1}$

abstract: The main result of this paper is a convexity estimate for translating solitons of extrinsic geometric flows which evolve under a $1$-homogeneous concave function in the principal curvatures. In addition, we show examples of these hypersurfaces in $\mathbb{R}^{n+1}$ for particular functions.


title: Time Series Model Attribution Visualizations as Explanations

abstract: Attributions are a common local explanation technique for deep learning models on single samples as they are easily extractable and demonstrate the relevance of input values. In many cases, heatmaps visualize such attributions for samples, for instance, on images. However, heatmaps are not always the ideal visualization to explain certain model decisions for other data types. In this review, we focus on attribution visualizations for time series. We collect attribution heatmap visualizations and some alternatives, discuss the advantages as well as disadvantages and give a short position towards future opportunities for attributions and explanations for time series.


title: A study of the wave effects on the current circulation in Galway Bay, using the numerical model COAWST

abstract: A model coupling waves and currents is set up for Galway Bay, Ireland, using COAWST. The impact of the coupling on the accuracy of the model is shown to be marginal on the overall statistics. The model is in good agreement with the available in-situ observations that are used for the validation. However a closer look at the data during storms shows a deterioration of the agreement, which is barely improved by the coupling. A special analysis of the different processes ruling the ocean circulation and wave propagation is conducted during Storm Hector (2018/06/14). It shows a strong wave-induced surge by 7cm in the back of Galway Bay, and a strong response in terms of currents along the coast of Clare of about 30cm/s. Most of the surge is attributed to the impact of the conservative wave-induced forcing terms, but the main process involved is not identified. The response in currents is partly attributed to the conservative wave-induced forcing terms, but mostly to the wave-enhanced surface roughness.


title: Superior Resistance Switching in Monolayer MoS2 Channel Based Gated Binary Resistive RAM via Gate-Bias Dependence and a Unique Forming Process

abstract: In this work, we unveil the effect of RS, induced by a current-voltage hysteresis cycles across CVD-grown monolayer MoS2 based gated RRAM, on its transistors electrical and reliability characteristics. A unique gate voltage dependence on the RS is identified which has a remarkable impact on the switching performance of MoS2 RRAM. RS behavior was found to be significantly dependent on the charge conduction in the channel. Moreover, we have shown a potential device forming event when MoS2 gated RRAMs were subjected to a steady-state electrical stress. Both hysteresis and steady state electrical stress were found to disturb the transistor action of these gated RRAMs, which in fact can be used as a signature of RS. Interestingly, current-voltage hysteresis resulted in unipolar RS, whereas steady-state electrical stress before RS measurement led to bipolar RS. Moreover, successive stress cycles of such an electrical stress leads to multiple resistance states, a behavior similar to synaptic properties like long-term potentiation and long-term depression, typically found in memristors. We find that charge transport mechanism dominant in the MoS2 FET in conjunction with steady-state stress induced device forming determine the extent of RS induced in these MoS2 based gated RRAMs. Finally on the basis of insights developed from the dependence on charge transport mechanism and steady-state stress induced forming of MoS2 channel, we propose a certain steady-state electrical stress condition which can be used as a forming process employed prior to use of MoS2 based binary RRAMs for improved switching performance.


title: Modified regular black holes with time delay and 1-loop quantum correction

abstract: We develop the regular black hole solutions recently proposed in arXiv:2109.05974 by incorporating the 1-loop quantum correction to the Newton potential as well as a time delay between an observer at the regular center and that at infinity. We define the maximal time delay between the center and the infinity by scanning the mass of black holes such that the sub-Planckian feature of Kretschmann scalar curvature is preserved during the whole process of evaporation. We also compare the distinct behavior of Kretschmann curvature for black holes with an asymptotically Minkowski core and those with an asymptotically de-Sitter core, including Bardeen and Hayward black holes. We expect that this sort of regular black holes may provide more information about the construction of effective metric for Planck stars.


title: Phase behavior of hard circular arcs

abstract: By using Monte Carlo numerical simulation, this work investigates the phase behavior of systems of hard infinitesimally-thin circular arcs, from an aperture angle $\theta \rightarrow 0$ to an aperture angle $\theta \rightarrow 2 \pi$, in the two-dimensional Euclidean space. Except in the isotropic phase at lower density and in the (quasi)nematic phase that solely forms for sufficiently small values of $\theta$ and at intermediate values of density, in the other phases that form, including the isotropic phase at higher density, hard infinitesimally-thin circular arcs auto-assemble to form clusters. These clusters are either filamentous, for smaller values of $\theta$, or roundish, for larger values of $\theta$. Provided density is sufficiently high, the filaments lengthen, merge and straighten to finally produce a filamentary phase while the roundels compact and dispose themselves with their centers of mass at the sites of a triangular lattice to finally produce a cluster hexagonal phase.


title: Optimized Automated Cardiac MR Scar Quantification with GAN-Based Data Augmentation

abstract: Background: The clinical utility of late gadolinium enhancement (LGE) cardiac MRI is limited by the lack of standardization, and time-consuming postprocessing. In this work, we tested the hypothesis that a cascaded deep learning pipeline trained with augmentation by synthetically generated data would improve model accuracy and robustness for automated scar quantification. Methods: A cascaded pipeline consisting of three consecutive neural networks is proposed, starting with a bounding box regression network to identify a region of interest around the left ventricular (LV) myocardium. Two further nnU-Net models are then used to segment the myocardium and, if present, scar. The models were trained on the data from the EMIDEC challenge, supplemented with an extensive synthetic dataset generated with a conditional GAN. Results: The cascaded pipeline significantly outperformed a single nnU-Net directly segmenting both the myocardium (mean Dice similarity coefficient (DSC) (standard deviation (SD)): 0.84 (0.09) vs 0.63 (0.20), p < 0.01) and scar (DSC: 0.72 (0.34) vs 0.46 (0.39), p < 0.01) on a per-slice level. The inclusion of the synthetic data as data augmentation during training improved the scar segmentation DSC by 0.06 (p < 0.01). The mean DSC per-subject on the challenge test set, for the cascaded pipeline augmented by synthetic generated data, was 0.86 (0.03) and 0.67 (0.29) for myocardium and scar, respectively. Conclusion: A cascaded deep learning-based pipeline trained with augmentation by synthetically generated data leads to myocardium and scar segmentations that are similar to the manual operator, and outperforms direct segmentation without the synthetic images.


title: PicTalky: Augmentative and Alternative Communication Software for Language Developmental Disabilities

abstract: Augmentative and alternative communication (AAC) is a practical means of communication for people with language disabilities. In this study, we propose PicTalky, which is an AI-based AAC system that helps children with language developmental disabilities to improve their communication skills and language comprehension abilities. PicTalky can process both text and pictograms more accurately by connecting a series of neural-based NLP modules. Moreover, we perform quantitative and qualitative analyses on the essential features of PicTalky. It is expected that those suffering from language problems will be able to express their intentions or desires more easily and improve their quality of life by using this service. We have made the models freely available alongside a demonstration of the Web interface. Furthermore, we implemented robotics AAC for the first time by applying PicTalky to the NAO robot.


title: Three-dimensional simulations of spatiotemporal instabilities in a magneto-optical trap

abstract: Large clouds of atoms in a magneto-optical trap (MOT) are known to exhibit spatiotemporal instabilities when the frequency of the trapping lasers comes close to the atomic resonance. Such instabilities possess similarities with stars and confined plasmas, where corresponding nonlinearities may give rise to spontaneous oscillations. In this paper, we describe the kinetic model that has recently been employed in three-dimensional (3D) simulations of spatiotemporal instabilities in a MOT, yielding qualitative agreements with experimentally observed instability thresholds and regimes. Details surrounding its implementation are included, and the impact of its physical effects on the instabilities is investigated to improve the understanding of the complex mechanism at work.


title: How low can you go? SN 2018zd as a low-mass Fe core-collapse supernova

abstract: We present spectroscopy and photometry of SN 2018zd, a Type IIP core-collapse supernova with signatures of interaction with circumstantial material in its earliest spectra. High ionization lines, the earmark of shock breakout, are not seen in the earliest spectral epoch, and are only seen in a single spectrum at 4.9 d after explosion. The strength and brevity of these features imply a confined circumstellar material shell in the immediate vicinity of the progenitor. Once the narrow emission lines disappear, SN 2018zd evolves similarly to a Type IIP SN, although the blue colour and enhanced plateau magnitude of SN 2018zd suggests an additional source of luminosity throughout the plateau phase. While SN 2018zd has previously been proposed as an electron-capture SN, we suggest that it is an Fe core-collapse from a low mass red supergiant progenitor. Differences in interpretation for SN 2018zd arise in part due to the large uncertainty on the distance to the host-galaxy NGC 2146, which we re-derive here to be $15.6^{+6.1}_{-3.0}$ Mpc. We find the ejected $^{56}$Ni mass for SN 2018zd to be 0.017 M$_{\odot}$, significantly higher than models of ECSNe predict. We also find the Ni/Fe ratio in SN 2018zd to be much lower that would be expected for an ECSN.


title: Littlewood-Paley inequalities for fractional derivative on Bergman spaces

abstract: For any pair $(n,p)$, $n\in\mathbb{N}$ and $0<p<\infty$, it has been recently proved that a radial weight $\omega$ on the unit disc of the complex plane $\mathbb{D}$ satisfies the Littlewood-Paley equivalence $$ \int_{\mathbb{D}}|f(z)|^p\,\omega(z)\,dA(z)\asymp\int_\mathbb{D}|f^{(n)}(z)|^p(1-|z|)^{np}\omega(z)\,dA(z)+\sum_{j=0}^{n-1}|f^{(j)}(0)|^p,$$ for any analytic function $f$ in $\mathbb{D}$, if and only if $\omega\in\mathcal{D}=\widehat{\mathcal{D}} \cap \check{\mathcal{D}}$. A radial weight $\omega$ belongs to the class $\widehat{\mathcal{D}}$ if $\sup_{0\le r<1} \frac{\int_r^1 \omega(s)\,ds}{\int_{\frac{1+r}{2}}^1\omega(s)\,ds}<\infty$, and $\omega \in \check{\mathcal{D}}$ if there exists $k>1$ such that $\inf_{0\le r<1} \frac{\int_{r}^1\omega(s)\,ds}{\int_{1-\frac{1-r}{k}}^1 \omega(s)\,ds}>1$. In this paper we extend this result to the setting of fractional derivatives. Being precise, for an analytic function $f(z)=\sum_{n=0}^\infty \widehat{f}(n) z^n$ we consider the fractional derivative $ D^{\mu}(f)(z)=\sum\limits_{n=0}^{\infty} \frac{\widehat{f}(n)}{\mu_{2n+1}} z^n $ induced by a radial weight $\mu \in \mathcal{D}$, where $\mu_{2n+1}=\int_0^1 r^{2n+1}\mu(r)\,dr$. Then, we prove that for any $p\in (0,\infty)$, the Littlewood-Paley equivalence $$\int_{\mathbb{D}} |f(z)|^p \omega(z)\,dA(z)\asymp \int_{\mathbb{D}}|D^{\mu}(f)(z)|^p\left[\int_{|z|}^1\mu(s)\,ds\right]^p\omega(z)\,dA(z)$$ holds for any analytic function $f$ in $\mathbb{D}$ if and only if $\omega\in\mathcal{D}$. We also prove that for any $p\in (0,\infty)$, the inequality $$\int_{\mathbb{D}} |D^{\mu}(f)(z)|^p \left[\int_{|z|}^1\mu(s)\,ds\right]^p\omega(z)\,dA(z) \lesssim \int_{\mathbb{D}} |f(z)|^p \omega(z)\,dA(z) $$ holds for any analytic function $f$ in $\mathbb{D}$ if and only if $\omega\in \widehat{\mathcal{D}}$.


title: Generation of high winding-number superfluid circulation in Bose-Einstein condensates

abstract: We experimentally and numerically demonstrate a method to deterministically generate multiply-quantized superfluid circulation about an obstacle in highly oblate Bose-Einstein condensates (BECs). Our method involves spiraling a blue-detuned laser beam, which acts as a repulsive optical potential, around and towards the center of the BEC. This optical potential serves first as a repulsive stirrer to initiate superflow within the BEC, and then as a pinning potential that transports the center of the superfluid circulation to the center of the condensate. By changing the rate at which the beam moves along the spiral trajectory, we selectively control the net circulation introduced into the BEC. We experimentally achieve pinned superflow with winding numbers as high as 11, which persists for at least 4 s. At the end of the spiral trajectory, with the pinning beam on at full power, the BEC has a toroidal geometry with a high winding-number persistent current. Alternatively, the beam power can be ramped off, allowing controlled placement of a cluster of singly-quantized vortices of the same circulation. This technique can serve as a building block in future experimental architectures to create on-demand vortex distributions and superfluid circulation in BECs.


title: Fusion-GCN: Multimodal Action Recognition using Graph Convolutional Networks

abstract: In this paper, we present Fusion-GCN, an approach for multimodal action recognition using Graph Convolutional Networks (GCNs). Action recognition methods based around GCNs recently yielded state-of-the-art performance for skeleton-based action recognition. With Fusion-GCN, we propose to integrate various sensor data modalities into a graph that is trained using a GCN model for multi-modal action recognition. Additional sensor measurements are incorporated into the graph representation, either on a channel dimension (introducing additional node attributes) or spatial dimension (introducing new nodes). Fusion-GCN was evaluated on two public available datasets, the UTD-MHAD- and MMACT datasets, and demonstrates flexible fusion of RGB sequences, inertial measurements and skeleton sequences. Our approach gets comparable results on the UTD-MHAD dataset and improves the baseline on the large-scale MMACT dataset by a significant margin of up to 12.37% (F1-Measure) with the fusion of skeleton estimates and accelerometer measurements.


title: Accuracy and speed of elongation in a minimal model of DNA replication

abstract: Being a dual purpose enzyme, the DNA polymerase is responsible for elongation of the newly formed DNA strand as well as cleaving the erroneous growth in case of a misincorporation. The efficiency of replication depends on the coordination of the polymerization and exonuclease activity of DNA polymerase. Here we propose and analyze a minimal kinetic model of DNA replication and determine exact expressions for the velocity of elongation and the accuracy of replication. We first analyze the case without exonuclease activity. In that case, accuracy is determined by a kinetic competition between stepping and unbinding, with discrimination between correct and incorrect nucleotides in both transitions. We then include exonuclease activity and ask how different modes of additional discrimination in the exonuclease pathway can improve the accuracy while limiting the detrimental effect of exonuclase on the speed of replication. In this way, we ask how the kinetic parameters of the model have to be set to coordinate the two activities of the enzyme for high accuracy and high speed. The analysis also shows that the design of a replication system does not universally have to follow the speed-accuracy trade-off rule, although it does in the biologically realized parameter range. The accuracy of the process is mainly controlled by the crucial role of stepping after erroneous incorporation, which has impact on both polymerase and exonuclease activities of DNA polymerase.


title: Understanding and Overcoming the Challenges of Efficient Transformer Quantization

abstract: Transformer-based architectures have become the de-facto standard models for a wide range of Natural Language Processing tasks. However, their memory footprint and high latency are prohibitive for efficient deployment and inference on resource-limited devices. In this work, we explore quantization for transformers. We show that transformers have unique quantization challenges -- namely, high dynamic activation ranges that are difficult to represent with a low bit fixed-point format. We establish that these activations contain structured outliers in the residual connections that encourage specific attention patterns, such as attending to the special separator token. To combat these challenges, we present three solutions based on post-training quantization and quantization-aware training, each with a different set of compromises for accuracy, model size, and ease of use. In particular, we introduce a novel quantization scheme -- per-embedding-group quantization. We demonstrate the effectiveness of our methods on the GLUE benchmark using BERT, establishing state-of-the-art results for post-training quantization. Finally, we show that transformer weights and embeddings can be quantized to ultra-low bit-widths, leading to significant memory savings with a minimum accuracy loss. Our source code is available at~\url{https://github.com/qualcomm-ai-research/transformer-quantization}.


title: Almost invariant CND kernels and proper uniformly Lipschitz actions on subspaces of $L^1$

abstract: We define the notion of almost invariant conditionally negative definite kernel and use it to give a characterisation of groups admitting a proper uniformly Lipschitz affine action on a subspace of an $L^1$ space. We show that this condition is satisfied by groups acting properly on products of quasi-trees, weakly amenable groups with Cowling-Haagerup constant 1, and a-TTT-menable groups.


title: Integrated Training for Sequence-to-Sequence Models Using Non-Autoregressive Transformer

abstract: Complex natural language applications such as speech translation or pivot translation traditionally rely on cascaded models. However, cascaded models are known to be prone to error propagation and model discrepancy problems. Furthermore, there is no possibility of using end-to-end training data in conventional cascaded systems, meaning that the training data most suited for the task cannot be used. Previous studies suggested several approaches for integrated end-to-end training to overcome those problems, however they mostly rely on (synthetic or natural) three-way data. We propose a cascaded model based on the non-autoregressive Transformer that enables end-to-end training without the need for an explicit intermediate representation. This new architecture (i) avoids unnecessary early decisions that can cause errors which are then propagated throughout the cascaded models and (ii) utilizes the end-to-end training data directly. We conduct an evaluation on two pivot-based machine translation tasks, namely French-German and German-Czech. Our experimental results show that the proposed architecture yields an improvement of more than 2 BLEU for French-German over the cascaded baseline.


title: Pragmatic competence of pre-trained language models through the lens of discourse connectives

abstract: As pre-trained language models (LMs) continue to dominate NLP, it is increasingly important that we understand the depth of language capabilities in these models. In this paper, we target pre-trained LMs' competence in pragmatics, with a focus on pragmatics relating to discourse connectives. We formulate cloze-style tests using a combination of naturally-occurring data and controlled inputs drawn from psycholinguistics. We focus on testing models' ability to use pragmatic cues to predict discourse connectives, models' ability to understand implicatures relating to connectives, and the extent to which models show humanlike preferences regarding temporal dynamics of connectives. We find that although models predict connectives reasonably well in the context of naturally-occurring data, when we control contexts to isolate high-level pragmatic cues, model sensitivity is much lower. Models also do not show substantial humanlike temporal preferences. Overall, the findings suggest that at present, dominant pre-training paradigms do not result in substantial pragmatic competence in our models.


title: A Tutorial on Trace-based Simulations of Mobile Ad-hoc Networks on the Example of Aeronautical Communications

abstract: The OMNeT++ simulator is well-suited for the simulation of randomized user behavior in communication networks. However, there are scenarios, where such a random model is unsuited to evaluate a communication system, and this paper attempts to highlight such a case. Using this example of ad-hoc communication between aircraft mid-flight, a tutorial-style description is attempted that shall show how the OMNeT++ simulator can be used when a wealth of real-world trace data is available. In particular, it is described how mobility trace files can be directly used within OMNeT++, and how to link the generation of data messages to this mobility data. This is explained via an example simulation that evaluates a communication network in which an aircraft notifies the ground control when it enters or leaves a specific geographic region. Additionally, a novel trace-based application has been developed to achieve this link between mobility and message generation. Furthermore, a new TDMA-based medium access protocol for decentralized communication networks is presented, which is oracle-based and thus allows a TDMA-like behavior of medium access without causing any overhead; it can be useful when upper-layer protocols should be evaluated under the assumption of TDMA-like behavior, but isolated from the effects of a full-fledged TDMA protocol. Finally, physical layer behavior is often either overly simplistic or overly computationally expensive. For the latter case, when a detailed channel model is available but its evaluation requires prohibitive computational effort, then averaging its behavior into trace data can find a middle ground between efficient evaluation and realistic representation. Hence, a novel trace-based radio model has been developed that makes use of an SNR to PER mapping. In the spirit of open science, all implementations have been made available under open licenses.


title: Non-destructive methods for assessing tree fiber length distributions in standing trees

abstract: One of the main concerns of silviculture and forest management focuses on finding fast, cost-efficient and non-destructive ways of measuring wood properties in standing trees. This paper presents an R package \verb+fiberLD+ that provides functions for estimating tree fiber length distributions in the standing tree based on increment core samples. The methods rely on increment core data measured by means of an optical fiber analyzer (OFA) or measured by microscopy. Increment core data analyzed by OFAs consist of the cell lengths of both cut and uncut fibers (tracheids) and fines (such as ray parenchyma cells) without being able to identify which cells are cut or if they are fines or fibers. The microscopy measured data consist of the observed lengths of the uncut fibers in the increment core. A censored version of a mixture of the fine and fiber length distributions is proposed to fit the OFA data, under distributional assumptions. Two choices for the assumptions of the underlying density functions of the true fiber (fine) lengths of those fibers (fines) that at least partially appear in the increment core are considered, such as the generalized gamma and the log normal densities. Maximum likelihood estimation is used for estimating the model parameters for both the OFA analyzed data and the microscopy measured data.


title: $n$-exact categories arising from $n$-exangulated categories

abstract: Let $\mathscr{C}$ be a Krull-Schmidt $n$-exangulated category and $\mathscr{A}$ be an $n$-extension closed subcategory of $\mathscr{C}$. Then $\mathscr{A}$ inherits the $n$-exangulated structure from the given $n$-exangulated category in a natural way. This construction gives $n$-exangulated categories which are not $n$-exact categories in the sense of Jasso nor $(n+2)$-angulated categories in the sense of Geiss-Keller-Oppermann in general. Furthermore, we also give a sufficient condition on when an $n$-exangulated category $\mathscr{A}$ is an $n$-exact category. These results generalize work by Klapproth and Zhou.


title: The Forgotten Preconditions for a Well-Functioning Internet

abstract: For decades, proponents of the Internet have promised that it would one day provide a seamless way for everyone in the world to communicate with each other, without introducing new boundaries, gatekeepers, or power structures. What happened? This article explores the system-level characteristics of a key design feature of the Internet that helped it to achieve widespread adoption, as well as the system-level implications of certain patterns of use that have emerged over the years as a result of that feature. Such patterns include the system-level acceptance of particular authorities, mechanisms that promote and enforce the concentration of power, and network effects that implicitly penalise those who do not comply with decisions taken by privileged actors. We provide examples of these patterns and offer some key observations, toward the development of a general theory of why they emerged despite our best efforts, and we conclude with some suggestions on how we might mitigate the worst outcomes and avoid similar experiences in the future.


title: Isobaric Multiplet Mass Equation for $A \le 71$ Revisited

abstract: Accurate mass determination of short-lived nuclides by Penning-trap spectrometers and progress in the spectroscopy of proton-rich nuclei have triggered renewed interest in the isobaric multiplet mass equation (IMME). The energy levels of the members of $T=1/2, 1, 3/2,$ and 2 multiplets and the coefficients of the IMME are tabulated for $A\le 71$. The new compilation is based on the most recent mass evaluation (AME2011) and it includes the experimental results on energies of the states evaluated up to end of 2011. Taking into account the error bars, a significant deviation from the quadratic form of the IMME for the $A=9, 35$ quartets and the $A=32$ quintet is observed.


title: A holomorphic mapping property of analytic pseudo-differential operators

abstract: We study the holomorphic extendibility of $\text{Op}(p)u$, when $p$ is an analytic symbol, and explicit information is available on the domains of holomorphic extendibility of both $p$ and $u$. By a contour deformation argument, we obtain a precise local estimate of the domain of holomorphy of $\text{Op}(p)u$ in terms of the information on $p$ and $u$.


title: Damping transition in an open generalized Aubry-Andr\'e-Harper model

abstract: We study the damping dynamics of the single-particle correlation for an open system under periodic and aperiodic order, which is dominated by the Lindblad master equation. In the absence of the aperiodic order, the Liouvillian superoperator exhibits the non-Hermitian skin effect, which leads to unidirectional damping dynamics, dubbed as "chiral damping". Due to the non-Hermitian skin effect, the damping dynamics is boundary sensitive: The long-time damping of such open systems is algebraic under periodic boundary conditions but exponential under open boundary conditions. We reveal the phase transition with the inclusion of the hopping amplitude modulation. By using the spectral topology and a finite-size scaling analysis in the commensurate case, we show there exists a phase transition of the skin effect with non-Bloch anti-parity-time symmetry breaking. For the incommensurate case, we find richer phases with the coexistence of the non-Hermitian skin effect and the Anderson localization, which are separated by a generalized mobility edge. We reveal the transition of the damping dynamics as a consequence of the phase transition. Furthermore, we propose a possible scheme with ultracold atoms in a dissipative momentum lattice to realize and detect the damping dynamics.


title: Reflection of a dust acoustic solitary wave in a dusty plasma

abstract: We report the first experimental observations of the reflection of a dust acoustic solitary wave from a potential barrier in a dusty plasma medium. The experiments have been carried out in an inverted $\Pi$-shaped Dusty Plasma Experimental (DPEx) device in a DC glow discharge plasma environment. The dust acoustic solitary wave is excited by modulating the plasma with a short negative Gaussian pulse that is superimposed over the discharge voltage. The solitary wave structure is seen to move towards a potential barrier, created by the sheath around a biased wire, and turn back after reflecting off the barrier. The amplitude, width, and velocity of the soliton are recorded as a function of time. The experiment is repeated for different strengths of the potential barrier and for different initial amplitudes of the solitary wave. It is found that the distance of the closest approach of the solitary wave to the centre of the barrier increases with the increase of the strength of the potential barrier and with the decrease of the initial wave amplitude. An emissive probe is used to measure the sheath potential and its thickness by measuring the plasma potential profile in the axial direction over a range of resistances connected to the biased wire. A modified Korteweg de Vries equation is derived and numerically solved to qualitatively understand the experimental findings.


title: Ridgeless Interpolation with Shallow ReLU Networks in $1D$ is Nearest Neighbor Curvature Extrapolation and Provably Generalizes on Lipschitz Functions

abstract: We prove a precise geometric description of all one layer ReLU networks $z(x;\theta)$ with a single linear unit and input/output dimensions equal to one that interpolate a given dataset $\mathcal D=\{(x_i,f(x_i))\}$ and, among all such interpolants, minimize the $\ell_2$-norm of the neuron weights. Such networks can intuitively be thought of as those that minimize the mean-squared error over $\mathcal D$ plus an infinitesimal weight decay penalty. We therefore refer to them as ridgeless ReLU interpolants. Our description proves that, to extrapolate values $z(x;\theta)$ for inputs $x\in (x_i,x_{i+1})$ lying between two consecutive datapoints, a ridgeless ReLU interpolant simply compares the signs of the discrete estimates for the curvature of $f$ at $x_i$ and $x_{i+1}$ derived from the dataset $\mathcal D$. If the curvature estimates at $x_i$ and $x_{i+1}$ have different signs, then $z(x;\theta)$ must be linear on $(x_i,x_{i+1})$. If in contrast the curvature estimates at $x_i$ and $x_{i+1}$ are both positive (resp. negative), then $z(x;\theta)$ is convex (resp. concave) on $(x_i,x_{i+1})$. Our results show that ridgeless ReLU interpolants achieve the best possible generalization for learning $1d$ Lipschitz functions, up to universal constants.


title: New insights into the nucleon's electromagnetic structure

abstract: We present a combined analysis of the electromagnetic form factors of the nucleon in the space- and timelike regions using dispersion theory. Our framework provides a consistent description of the experimental data over the full range of momentum transfer, in line with the strictures from analyticity and unitarity. The statistical uncertainties of the extracted form factors are estimated using the bootstrap method, while systematic errors are determined from variations of the spectral functions. We also perform a high-precision extraction of the nucleon radii and find good agreement with previous analyses of spacelike data alone. For the proton charge radius, we find $r_E^p = 0.840^{+0.003}_{-0.002}{}^{+0.002}_{-0.002}$~fm, where the first error is statistical and the second one is systematic. The Zemach radius and third moment are in agreement with Lamb shift measurements and hyperfine splittings. The combined data set of space- and timelike data disfavors a zero crossing of $\mu_p G_E^p/G_M^p$ in the spacelike region. Finally, we discuss the status and perspectives of modulus and phase of the form factors in the timelike region in the context of future experiments as well as the onset of perturbative QCD.


title: pyStoNED: A Python Package for Convex Regression and Frontier Estimation

abstract: Shape-constrained nonparametric regression is a growing area in econometrics, statistics, operations research, machine learning and related fields. In the field of productivity and efficiency analysis, recent developments in the multivariate convex regression and related techniques such as convex quantile regression and convex expectile regression have bridged the long-standing gap between the conventional deterministic-nonparametric and stochastic-parametric methods. Unfortunately, the heavy computational burden and the lack of powerful, reliable, and fully open access computational package has slowed down the diffusion of these advanced estimation techniques to the empirical practice. The purpose of the Python package pyStoNED is to address this challenge by providing a freely available and user-friendly tool for the multivariate convex regression, convex quantile regression, convex expectile regression, isotonic regression, stochastic nonparametric envelopment of data, and related methods. This paper presents a tutorial of the pyStoNED package and illustrates its application, focusing on the estimation of frontier cost and production functions.


title: Renyi Holographic Dark Energy models in Teleparallel gravity

abstract: In this paper, we have investigated the physical behavior of cosmological models in the framework of modified Teleparallel gravity. This model is established using a Renyi holographic ``dark energy model (RHDE) with a Hubble cutoff. Here we have considered a homogeneous and isotropic Friedman universe filled with perfect `fluid. The physical parameters are derived for the present model in Compliances with 43 observational Hubble data sets (OHD). The equation of state (EoS) parameter in terms of $H(z)$ describes a the transition of the universe between phantom and non-phantom phases in the context of $f(T)$ gravity. Our model shows the violation of strong energy condition (SEC) and the weak energy condition (WEC) over the accelerated phantom regime. We also observed that these models occupy freezing regions through $\omega_{D} -\omega_{D}^{'}$ plane. Consequently, our Renyi HDE model is supported to the consequences of general relativity in the framework of $f(T)$ modified gravity.


title: An IIoT machine model for achieving consistency in product quality in manufacturing plants

abstract: Consistency in product quality is of critical importance in manufacturing. However, achieving a target product quality typically involves balancing a large number of manufacturing attributes. Existing manufacturing practices for dealing with such complexity are driven largely based on human knowledge and experience. The prevalence of manual intervention makes it difficult to perfect manufacturing practices, underscoring the need for a data-driven solution. In this paper, we present an Industrial Internet of Things (IIoT) machine model which enables effective monitoring and control of plant machinery so as to achieve consistency in product quality. We present algorithms that can provide product quality prediction during production, and provide recommendations for machine control. Subsequently, we perform an experimental evaluation of the proposed solution using real data captured from a food processing plant. We show that the proposed algorithms can be used to predict product quality with a high degree of accuracy, thereby enabling effective production monitoring and control.


title: Text-based Person Search in Full Images via Semantic-Driven Proposal Generation

abstract: Finding target persons in full scene images with a query of text description has important practical applications in intelligent video surveillance.However, different from the real-world scenarios where the bounding boxes are not available, existing text-based person retrieval methods mainly focus on the cross modal matching between the query text descriptions and the gallery of cropped pedestrian images. To close the gap, we study the problem of text-based person search in full images by proposing a new end-to-end learning framework which jointly optimize the pedestrian detection, identification and visual-semantic feature embedding tasks. To take full advantage of the query text, the semantic features are leveraged to instruct the Region Proposal Network to pay more attention to the text-described proposals. Besides, a cross-scale visual-semantic embedding mechanism is utilized to improve the performance. To validate the proposed method, we collect and annotate two large-scale benchmark datasets based on the widely adopted image-based person search datasets CUHK-SYSU and PRW. Comprehensive experiments are conducted on the two datasets and compared with the baseline methods, our method achieves the state-of-the-art performance.


title: Deep Learning for Multi-Fidelity Aerodynamic Distribution Modeling from Experimental and Simulation Data

abstract: The wind-tunnel experiment plays a critical role in the design and development phases of modern aircraft, which is limited by prohibitive cost. In contrast, numerical simulation, as an important alternative paradigm, mimics complex flow behaviors but is less accurate compared to experiment. This leads to the recent development and emerging interest in applying data fusion for aerodynamic prediction. In particular, the accurate prediction of aerodynamic with lower computational cost can be achieved by fusing experimental (high-fidelity) and computational (low-fidelity) aerodynamic data. Currently, existing works on aerodynamic model using data fusion mainly concern integral data (lift, drag, etc.). In this paper, a multi-fidelity aerodynamic model based on Deep Neural Network (DNN), where both numerical and experimental data are introduced in the loss function with proper weighting factor to balance the overall accuracy, is developed for aerodynamic distribution over the wing surface. Specially, the proposed approach is illustrated by modeling the surface pressure distribution of ONERA M6 wing in transonic flow, including different secnarios where the flow condition varies or there is less high-fidelity data. The results demonstrate that the proposed approach with decent number of low-fidelity data and a few high-fidelity data can accurately predict the surface pressure distribution on transonic wing. The outperformance of the proposed model over other DNNs from only high fidelity or low-fidelity, has been reported.


title: Social Shaping for Transactive Energy Systems

abstract: This paper considers the problem of shaping agent utility functions in a transactive energy system to ensure the optimal energy price at a competitive equilibrium is always socially acceptable, that is, below a prescribed threshold. Agents in a distributed energy system aim to maximize their individual payoffs, as a combination of the utility of energy consumption and the income/expenditure from energy exchange. The utility function of each agent is parameterized by individual preference vectors, with the overall system operating at competitive equilibriums. We show the social shaping problem of the proposed transactive energy system is conceptually captured by a set decision problem. The set of agent preferences that guarantees a socially acceptable price is characterized by an implicit algebraic equation for strictly concave and continuously differentiable utility functions. We also present two analytical solutions where tight ranges for the coefficients of linear-quadratic utilities and piece-wise linear utilities are established under which optimal pricing is proven to be always socially acceptable.


title: Personal information self-management: A survey of technologies supporting administrative services

abstract: This paper presents a survey of technologies for personal data self-management interfacing with administrative and territorial public service providers. It classifies a selection of scientific technologies into four categories of solutions: Personal Data Store (PDS), Identity Manager (IdM), Anonymous Certificate System and Access Control Delegation Architecture. Each category, along with its technological approach, is analyzed thanks to eighteen identified functional criteria that encompass architectural and communication aspects, as well as user data lifecycle considerations. The originality of the survey is multifold. First, as far as we know, there is no such thorough survey covering such a panel of a dozen of existing solutions. Second, it is the first survey addressing Personally Identifiable Information (PII) management for both administrative and private service providers. Third, this paper achieves a functional comparison of solutions of very different technical natures. The outcome of this paper is the clear identification of functional gaps of each solution. As a result, this paper establishes the research directions to follow in order to fill these functional gaps.


title: Challenging the Semi-Supervised VAE Framework for Text Classification

abstract: Semi-Supervised Variational Autoencoders (SSVAEs) are widely used models for data efficient learning. In this paper, we question the adequacy of the standard design of sequence SSVAEs for the task of text classification as we exhibit two sources of overcomplexity for which we provide simplifications. These simplifications to SSVAEs preserve their theoretical soundness while providing a number of practical advantages in the semi-supervised setup where the result of training is a text classifier. These simplifications are the removal of (i) the Kullback-Liebler divergence from its objective and (ii) the fully unobserved latent variable from its probabilistic model. These changes relieve users from choosing a prior for their latent variables, make the model smaller and faster, and allow for a better flow of information into the latent variables. We compare the simplified versions to standard SSVAEs on 4 text classification tasks. On top of the above-mentioned simplification, experiments show a speed-up of 26%, while keeping equivalent classification scores. The code to reproduce our experiments is public.