title: Fairness in TabNet Model by Disentangled Representation for the Prediction of Hospital No-Show

abstract: Patient no-shows is a major burden for health centers leading to loss of revenue, increased waiting time and deteriorated health outcome. Developing machine learning (ML) models for the prediction of no -shows could help addressing this important issue. It is crucial to consider fair ML models for no-show prediction in order to ensure equality of opportunity in accessing healthcare services. In this wo rk, we are interested in developing deep learning models for no-show prediction based on tabular data while ensuring fairness properties. Our baseline model, TabNet, uses on attentive feature transforme rs and has shown promising results for tabular data. We propose Fair-TabNet based on representation learning that disentangles predictive from sensitive components. The model is trained to jointly min imize loss functions on no-shows and sensitive variables while ensuring that the sensitive and prediction representations are orthogonal. In the experimental analysis, we used a hospital dataset of 210, 000 appointments collected in 2019. Our preliminary results show that the proposed Fair-TabNet improves the predictive, fairness performance and convergence speed over TabNet for the task of appointment no-show prediction. The comparison with the state-of-the art models for tabular data shows promising results and could be further improved by a better tuning of hyper-parameters.


title: New Separations Results for External Information

abstract: We obtain new separation results for the two-party external information complexity of boolean functions. The external information complexity of a function $f(x,y)$ is the minimum amount of information a two-party protocol computing $f$ must reveal to an outside observer about the input. We obtain the following results: 1. We prove an exponential separation between external and internal information complexity, which is the best possible; previously no separation was known. 2. We prove a near-quadratic separation between amortized zero-error communication complexity and external information complexity for total functions, disproving a conjecture of \cite{Bravermansurvey}. 3. We prove a matching upper showing that our separation result is tight.


title: Randomization-based joint central limit theorem and efficient covariate adjustment in stratified $2^K$ factorial experiments

abstract: Randomized block factorial experiments are widely used in industrial engineering, clinical trials, and social science. Researchers often use a linear model and analysis of covariance to analyze experimental results; however, limited studies have addressed the validity and robustness of the resulting inferences because assumptions for a linear model might not be justified by randomization in randomized block factorial experiments. In this paper, we establish a new finite population joint central limit theorem for usual (unadjusted) factorial effect estimators in randomized block $2^K$ factorial experiments. Our theorem is obtained under a randomization-based inference framework, making use of an extension of the vector form of the Wald--Wolfowitz--Hoeffding theorem for a linear rank statistic. It is robust to model misspecification, numbers of blocks, block sizes, and propensity scores across blocks. To improve the estimation and inference efficiency, we propose four covariate adjustment methods. We show that under mild conditions, the resulting covariate-adjusted factorial effect estimators are consistent, jointly asymptotically normal, and generally more efficient than the unadjusted estimator. In addition, we propose Neyman-type conservative estimators for the asymptotic covariances to facilitate valid inferences. Simulation studies and a clinical trial data analysis demonstrate the benefits of the covariate adjustment methods.


title: Spatial Modulation: an Attractive Secure Solution to Future Wireless Network

abstract: As a green and secure wireless transmission method, secure spatial modulation (SM) is becoming a hot research area. Its basic idea is to exploit both the index of activated transmit antenna and amplitude phase modulation signal to carry messages, improve security, and save energy. In this paper, we review its crucial challenges: transmit antenna selection (TAS), artificial noise (AN) projection, power allocation (PA) and joint detection at the desired receiver. As the size of signal constellation tends to medium-scale or large-scale, the complexity of traditional maximum likelihood detector becomes prohibitive. To reduce this complexity, a low-complexity maximum likelihood (ML) detector is proposed. To further enhance the secrecy rate (SR) performance, a deep-neural-network (DNN) PA strategy is proposed. Simulation results show that the proposed low-complexity ML detector, with a lower-complexity, has the same bit error rate performance as the joint ML method while the proposed DNN method strikes a good balance between complexity and SR performance.


title: Using Image Processing Techniques to Increase Safety in Shooting Ranges

abstract: Accidents are a leading cause of deaths in armed forces. The Aim of this paper is to minimize the accidents caused using weapons in the armed forces. Developing artificial intelligence technologies aim to increase efficiency more and more wherever people exist. Giving guns to inexperienced, untrained, or unpredictable mentally unhealthy people in shooting ranges used for gun training can be risky and fatal. With the use of image processing technologies in these shooting ranges, it is aimed to minimize the risk of life-threatening accidents that may be caused by this people. Artificial intelligence is trained for the targets to be used in shooting ranges. When the camera of weapon sees these targets, it switches from safe mode to firing mode. When a risky situation occurs in shooting range, the gun turns itself into safe mode with various additional security measures.


title: NVUM: Non-Volatile Unbiased Memory for Robust Medical Image Classification

abstract: Real-world large-scale medical image analysis (MIA) datasets have three challenges: 1) they contain noisy-labelled samples that affect training convergence and generalisation, 2) they usually have an imbalanced distribution of samples per class, and 3) they normally comprise a multi-label problem, where samples can have multiple diagnoses. Current approaches are commonly trained to solve a subset of those problems, but we are unaware of methods that address the three problems simultaneously. In this paper, we propose a new training module called Non-Volatile Unbiased Memory (NVUM), which non-volatility stores running average of model logits for a new regularization loss on noisy multi-label problem. We further unbias the classification prediction in NVUM update for imbalanced learning problem. We run extensive experiments to evaluate NVUM on new benchmarks proposed by this paper, where training is performed on noisy multi-label imbalanced chest X-ray (CXR) training sets, formed by Chest-Xray14 and CheXpert, and the testing is performed on the clean multi-label CXR datasets OpenI and PadChest. Our method outperforms previous state-of-the-art CXR classifiers and previous methods that can deal with noisy labels on all evaluations. Our code is available at https://github.com/FBLADL/NVUM.


title: The Short-term Rational Lanczos Method and Applications

abstract: Rational Krylov subspaces have become a reference tool in dimension reduction procedures for several application problems. When data matrices are symmetric, a short-term recurrence can be used to generate an associated orthonormal basis. In the past this procedure was abandoned because it requires twice the number of linear system solves per iteration compared with the classical long-term method. We propose an implementation that allows one to obtain the rational subspace reduced matrices at lower overall computational costs than proposed in the literature by also conveniently combining the two system solves. Several applications are discussed where the short-term recurrence feature can be exploited to avoid storing the whole orthonormal basis. We illustrate the advantages of the proposed procedure with several examples.


title: Visualizing Robot Intent for Object Handovers with Augmented Reality

abstract: Humans are highly skilled in communicating their intent for when and where a handover would occur. However, even the state-of-the-art robotic implementations for handovers typically lack of such communication skills. This study investigates visualization of the robot's internal state and intent for Human-to-Robot Handovers using Augmented Reality. Specifically, we explore the use of visualized 3D models of the object and the robotic gripper to communicate the robot's estimation of where the object is and the pose in which the robot intends to grasp the object. We tested this design via a user study with 16 participants, in which each participant handed over a cube-shaped object to the robot 12 times. Results show communicating robot intent via augmented reality substantially improves the perceived experience of the users for handovers. Results also indicate that the effectiveness of augmented reality is even more pronounced for the perceived safety and fluency of the interaction when the robot makes errors in localizing the object.


title: A Simple and Efficient Multi-task Network for 3D Object Detection and Road Understanding

abstract: Detecting dynamic objects and predicting static road information such as drivable areas and ground heights are crucial for safe autonomous driving. Previous works studied each perception task separately, and lacked a collective quantitative analysis. In this work, we show that it is possible to perform all perception tasks via a simple and efficient multi-task network. Our proposed network, LidarMTL, takes raw LiDAR point cloud as inputs, and predicts six perception outputs for 3D object detection and road understanding. The network is based on an encoder-decoder architecture with 3D sparse convolution and deconvolution operations. Extensive experiments verify the proposed method with competitive accuracies compared to state-of-the-art object detectors and other task-specific networks. LidarMTL is also leveraged for online localization. Code and pre-trained model have been made available at https://github.com/frankfengdi/LidarMTL.


title: Zero-sum risk-sensitive continuous-time stochastic games with unbounded payoff and transition rates and Borel spaces

abstract: We study a finite-horizon two-person zero-sum risk-sensitive stochastic game for continuous-time Markov chains and Borel state and action spaces, in which payoff rates, transition rates and terminal reward functions are allowed to be unbounded from below and from above and the policies can be history-dependent. Under suitable conditions, we establish the existence of a solution to the corresponding Shapley equation (SE) by an approximation technique. Then, by the SE and the extension of the Dynkin's formula, we prove the existence of a Nash equilibrium and verify that the value of the stochastic game is the unique solution to the SE. Moreover, we develop a value iteration-type algorithm for approaching to the value of the stochastic game. The convergence of the algorithm is proved by a special contraction operator in our risk-sensitive stochastic game. Finally, we demonstrate our main results by two examples.


title: Quantifying the mobility of chromatin during embryogenesis: Nuclear size matters

abstract: Chromatin moves dynamically inside the cell nucleus, and its motion is often correlated with gene functions such as DNA recombination and transcription. A recent study has shown that during early embryogenesis of the nematode, Caenorhabiditis elegans, the chromatin motion markedly decreases. However, the underlying mechanism for this transition has yet to be elucidated. We systematically investigated the impact of nuclear size to demonstrate that it is indeed a decisive factor in chromatin mobility. To this end, we established a method to quantify chromatin motion inside the nucleus, while excluding the contribution of the movement of the nucleus itself, which allowed us to extract the intrinsic mean-squared displacement (iMSD) of individual chromosomal loci in moving nuclei from the correlated motion of two loci. We show that a simple theoretical description, which takes into account the topological constraints of chromatin polymers, can quantitatively describe the relationship between the nucleus size and the chromatin motion in vivo. Our results emphasize a regulatory role of nuclear size in restricting chromatin motion, and a generic polymer physics model plays a guiding role in capturing this essential feature.


title: Semantic-aware Knowledge Distillation for Few-Shot Class-Incremental Learning

abstract: Few-shot class incremental learning (FSCIL) portrays the problem of learning new concepts gradually, where only a few examples per concept are available to the learner. Due to the limited number of examples for training, the techniques developed for standard incremental learning cannot be applied verbatim to FSCIL. In this work, we introduce a distillation algorithm to address the problem of FSCIL and propose to make use of semantic information during training. To this end, we make use of word embeddings as semantic information which is cheap to obtain and which facilitate the distillation process. Furthermore, we propose a method based on an attention mechanism on multiple parallel embeddings of visual data to align visual and semantic vectors, which reduces issues related to catastrophic forgetting. Via experiments on MiniImageNet, CUB200, and CIFAR100 dataset, we establish new state-of-the-art results by outperforming existing approaches.


title: Low-Rank Isomap Algorithm

abstract: The Isomap is a well-known nonlinear dimensionality reduction method that highly suffers from computational complexity. Its computational complexity mainly arises from two stages; a) embedding a full graph on the data in the ambient space, and b) a complete eigenvalue decomposition. Although the reduction of the computational complexity of the graphing stage has been investigated, yet the eigenvalue decomposition stage remains a bottleneck in the problem. In this paper, we propose the Low-Rank Isomap algorithm by introducing a projection operator on the embedded graph from the ambient space to a low-rank latent space to facilitate applying the partial eigenvalue decomposition. This approach leads to reducing the complexity of Isomap to a linear order while preserving the structural information during the dimensionality reduction process. The superiority of the Low-Rank Isomap algorithm compared to some state-of-art algorithms is experimentally verified on facial image clustering in terms of speed and accuracy.


title: Strong conciseness of coprime and anti-coprime commutators

abstract: A coprime commutator in a profinite group $G$ is an element of the form $[x,y]$, where $x$ and $y$ have coprime order and an anti-coprime commutator is a commutator $[x,y]$ such that the orders of $x$ and $y$ are divisible by the same primes. In the present paper we establish that a profinite group $G$ is finite-by-pronilpotent if the cardinality of the set of coprime commutators in $G$ is less than $2^{\aleph_0}$. Moreover, a profinite group $G$ has finite commutator subgroup $G'$ if the cardinality of the set of anti-coprime commutators in $G$ is less than $2^{\aleph_0}$.


title: Adaptive Multi-Teacher Multi-level Knowledge Distillation

abstract: Knowledge distillation~(KD) is an effective learning paradigm for improving the performance of lightweight student networks by utilizing additional supervision knowledge distilled from teacher networks. Most pioneering studies either learn from only a single teacher in their distillation learning methods, neglecting the potential that a student can learn from multiple teachers simultaneously, or simply treat each teacher to be equally important, unable to reveal the different importance of teachers for specific examples. To bridge this gap, we propose a novel adaptive multi-teacher multi-level knowledge distillation learning framework~(AMTML-KD), which consists two novel insights: (i) associating each teacher with a latent representation to adaptively learn instance-level teacher importance weights which are leveraged for acquiring integrated soft-targets~(high-level knowledge) and (ii) enabling the intermediate-level hints~(intermediate-level knowledge) to be gathered from multiple teachers by the proposed multi-group hint strategy. As such, a student model can learn multi-level knowledge from multiple teachers through AMTML-KD. Extensive results on publicly available datasets demonstrate the proposed learning framework ensures student to achieve improved performance than strong competitors.


title: Strong independence and its spectrum

abstract: For $\mu, \kappa$ infinite, say $\mathcal{A}\subseteq [\kappa]^\kappa$ is a $(\mu,\kappa)$-maximal independent family if whenever $\mathcal{A}_0$ and $\mathcal{A}_1$ are pairwise disjoint non-empty in $[\mathcal{A}]^{<\mu}$ then $\bigcap\mathcal{A}_0\backslash\bigcup\mathcal{A}_1 \not= \emptyset$, $\mathcal{A}$ is maximal under inclusion among families with this property, and moreover all such Booelan combinations have size $\kappa$. We denote by $\mathfrak{sp}_{\mathfrak i}(\mu,\kappa)$ the set of all cardinalities of such families, and if non-empty, we let $\mathfrak{i}_\mu(\kappa)$ be its minimal element. Thus, $\mathfrak{i}_\mu(\kappa)$ (if defined) is a natural higher analogue of the independence number on $\omega$ for the higher Baire spaces. In this paper, we study $\mathfrak{sp}_{\mathfrak i}(\mu,\kappa)$ for $\mu,\kappa$ uncountable. Among others, we show that: (1) The property $\mathfrak{sp}_{\mathfrak i}(\mu,\kappa)\neq\emptyset$ cannot be decided on the basis of ZFC plus large cardinals. (2) Relative to a measurable, it is consistent that: (a) $(\exists \kappa{>}\omega) \, \mathfrak{i}_{\kappa}(\kappa)<2^\kappa$; (b) $(\exists \kappa{>}\omega)\,\kappa^+<\mathfrak{i}_{\omega_1}(\kappa)<2^\kappa$. To the best knowledge of the authors, this is the first example of a $(\mu,\kappa)$-maximal independent family of size strictly between $\kappa^+$ and $2^\kappa$, for uncountable $\kappa$. (3) $\mathfrak{sp}_{\mathfrak i}(\mu,\kappa)$ cannot be quite arbitrary.


title: Tensor Laplacian Regularized Low-Rank Representation for Non-uniformly Distributed Data Subspace Clustering

abstract: Low-Rank Representation (LRR) highly suffers from discarding the locality information of data points in subspace clustering, as it may not incorporate the data structure nonlinearity and the non-uniform distribution of observations over the ambient space. Thus, the information of the observational density is lost by the state-of-art LRR models, as they take a constant number of adjacent neighbors into account. This, as a result, degrades the subspace clustering accuracy in such situations. To cope with deficiency, in this paper, we propose to consider a hypergraph model to facilitate having a variable number of adjacent nodes and incorporating the locality information of the data. The sparsity of the number of subspaces is also taken into account. To do so, an optimization problem is defined based on a set of regularization terms and is solved by developing a tensor Laplacian-based algorithm. Extensive experiments on artificial and real datasets demonstrate the higher accuracy and precision of the proposed method in subspace clustering compared to the state-of-the-art methods. The outperformance of this method is more revealed in presence of inherent structure of the data such as nonlinearity, geometrical overlapping, and outliers.


title: Long characteristics vs. short characteristics in 3D radiative transfer simulations of polarized radiation

abstract: We compare maps of scattering polarization signals obtained from three-dimensional (3D) radiation transfer calculations in a magneto-convection model of the solar atmosphere using formal solvers based on the "short characteristics" (SC) and the "long characteristics" (LC) methods. The SC method requires less computational work, but it is known to introduce spatial blurring in the emergent radiation for inclined lines of sight. For polarized radiation this effect is generally more severe due to it being a signed quantity and to the sensitivity of the scattering polarization to the model's inhomogeneities. We study the differences in the polarization signals of the emergent spectral line radiation calculated with such formal solvers. We take as a case study already published results of the scattering polarization in the Sr I $4607~\unicode{xC5}$ line obtained with the SC method, demonstrating that in high-resolution grids it is accurate enough for that type of study. In general, the LC method is the preferred one for accurate calculations of the emergent radiation, reason why it is now one of the options in the public version of the 3D radiative transfer code PORTA.


title: Learning to Continually Learn Rapidly from Few and Noisy Data

abstract: Neural networks suffer from catastrophic forgetting and are unable to sequentially learn new tasks without guaranteed stationarity in data distribution. Continual learning could be achieved via replay -- by concurrently training externally stored old data while learning a new task. However, replay becomes less effective when each past task is allocated with less memory. To overcome this difficulty, we supplemented replay mechanics with meta-learning for rapid knowledge acquisition. By employing a meta-learner, which \textit{learns a learning rate per parameter per past task}, we found that base learners produced strong results when less memory was available. Additionally, our approach inherited several meta-learning advantages for continual learning: it demonstrated strong robustness to continually learn under the presence of noises and yielded base learners to higher accuracy in less updates.


title: Visual Explanation using Attention Mechanism in Actor-Critic-based Deep Reinforcement Learning

abstract: Deep reinforcement learning (DRL) has great potential for acquiring the optimal action in complex environments such as games and robot control. However, it is difficult to analyze the decision-making of the agent, i.e., the reasons it selects the action acquired by learning. In this work, we propose Mask-Attention A3C (Mask A3C), which introduces an attention mechanism into Asynchronous Advantage Actor-Critic (A3C), which is an actor-critic-based DRL method, and can analyze the decision-making of an agent in DRL. A3C consists of a feature extractor that extracts features from an image, a policy branch that outputs the policy, and a value branch that outputs the state value. In this method, we focus on the policy and value branches and introduce an attention mechanism into them. The attention mechanism applies a mask processing to the feature maps of each branch using mask-attention that expresses the judgment reason for the policy and state value with a heat map. We visualized mask-attention maps for games on the Atari 2600 and found we could easily analyze the reasons behind an agent's decision-making in various game tasks. Furthermore, experimental results showed that the agent could achieve a higher performance by introducing the attention mechanism.


title: Improving Automated Sonar Video Analysis to Notify About Jellyfish Blooms

abstract: Human enterprise often suffers from direct negative effects caused by jellyfish blooms. The investigation of a prior jellyfish monitoring system showed that it was unable to reliably perform in a cross validation setting, i.e. in new underwater environments. In this paper, a number of enhancements are proposed to the part of the system that is responsible for object classification. First, the training set is augmented by adding synthetic data, making the deep learning classifier able to generalise better. Then, the framework is enhanced by employing a new second stage model, which analyzes the outputs of the first network to make the final prediction. Finally, weighted loss and confidence threshold are added to balance out true and false positives. With all the upgrades in place, the system can correctly classify 30.16% (comparing to the initial 11.52%) of all spotted jellyfish, keep the amount of false positives as low as 0.91% (comparing to the initial 2.26%) and operate in real-time within the computational constraints of an autonomous embedded platform.


title: Adaptive Lidar Scan Frame Integration: Tracking Known MAVs in 3D Point Clouds

abstract: Micro-aerial vehicles (MAVs) are becoming ubiquitous across multiple industries and application domains. Lightweight MAVs with only an onboard flight controller and a minimal sensor suite (e.g., IMU, vision, and vertical ranging sensors) have potential as mobile and easily deployable sensing platforms. When deployed from a ground robot, a key parameter is a relative localization between the ground robot and the MAV. This paper proposes a novel method for tracking MAVs in lidar point clouds. In lidar point clouds, we consider the speed and distance of the MAV to actively adapt the lidar's frame integration time and, in essence, the density and size of the point cloud to be processed. We show that this method enables more persistent and robust tracking when the speed of the MAV or its distance to the tracking sensor changes. In addition, we propose a multi-modal tracking method that relies on high-frequency scans for accurate state estimation, lower-frequency scans for robust and persistent tracking, and sub-Hz processing for trajectory and object identification. These three integration and processing modalities allow for an overall accurate and robust MAV tracking while ensuring the object being tracked meets shape and size constraints.


title: Spectroscopic Evidence for the Superconductivity of Elemental Metal Y under Pressure

abstract: Very high applied pressure induces superconductivity with the transition temperature ($T_c$) exceeding 19 K in elemental yttrium, but relatively little is known about the nature of that superconductivity. From point-contact spectroscopy (PCS) measurements in a diamond anvil cell (DAC), a strong enhancement in the differential conductance is revealed near the zero-biased voltage owing to Andreev reflection, a hallmark of the superconducting (SC) phase. Analysis of the PCS spectra based on the extended Blonder-Tinkham-Klapwijk (BTK) model indicates two SC gaps at 48.6 GPa, where the large gap $\Delta_L$ is 3.63 meV and the small gap $\Delta_S$ is 0.46 meV. When scaled against a reduced temperature, both small and large SC gaps collapse on a single curve that follows the prediction from BCS theory. The SC gap-to-$T_c$ ratio is 8.2 for the larger gap, and the initial slope of the upper critical field is -1.9 T/K, indicating that Y belongs to a family of strongly coupled BCS superconductors. The successful application of PCS to Y in DAC environments demonstrates its utility for future research on other pressure-induced high-$T_c$ superconductors.


title: Estimates for Green's functions of elliptic equations in non-divergence form with continuous coefficients

abstract: We present a new method for the existence and pointwise estimates of a Green's function of non-divergence form elliptic operator with Dini mean oscillation coefficients. We also present a sharp comparison with the corresponding Green's function for constant coefficients equations.


title: On a Conjecture Concerning the Approximates of Complete Elliptic Integral of the First Kind by Inverse Hyperbolic Tangent

abstract: Let $\K$ be the complete elliptic integral of the first kind. In this paper, the authors prove that the function $r\mapsto r^{-2}\{[\log(2\K(r)/\pi)]/\log((\arth r)/r)-3/4\}$ is strictly increasing from $(0,1)$ onto $(1/320,1/4)$, so that $[(\arth r)/r]^{3/4+r^2/320}<2\K(r)/\pi<[(\arth r)/r]^{3/4+r^2/4}$ for $r\in(0,1)$, in which all the coefficients of the exponents of the two bounds are best possible, thus proving a conjecture raised by Alzer and Qiu to be true, and giving better bounds of $\K(r)$ than those they conjectured and put in an open problem. Some other analytic properties of the complete elliptic integrals, including other kind of approximates for $\K(r)$, are obtained, too.


title: Intelligent Reflecting Surface Enhanced D2D Cooperative Computing

abstract: This paper investigates a device-to-device (D2D) cooperative computing system, where an user can offload part of its computation task to nearby idle users with the aid of an intelligent reflecting surface (IRS). We propose to minimize the total computing delay via jointly optimizing the computation task assignment, transmit power, bandwidth allocation, and phase beamforming of the IRS. To solve the formulated problem, we devise an alternating optimization algorithm with guaranteed convergence. In particular, the task assignment strategy is derived in closed-form expression, while the phase beamforming is optimized by exploiting the semi-definite relaxation (SDR) method. Numerical results demonstrate that the IRS enhanced D2D cooperative computing scheme can achieve a much lower computing delay as compared to the conventional D2D cooperative computing strategy.


title: Simplicial resolutions for the second power of square-free monomial ideals

abstract: Given a square-free monomial ideal $I$, we define a simplicial complex labeled by the generators of $I^2$ which supports a free resolution of $I^2$. As a consequence, we obtain (sharp) upper bounds on the Betti numbers of the second power of any square-free monomial ideal.


title: Domain Adaptive Robotic Gesture Recognition with Unsupervised Kinematic-Visual Data Alignment

abstract: Automated surgical gesture recognition is of great importance in robot-assisted minimally invasive surgery. However, existing methods assume that training and testing data are from the same domain, which suffers from severe performance degradation when a domain gap exists, such as the simulator and real robot. In this paper, we propose a novel unsupervised domain adaptation framework which can simultaneously transfer multi-modality knowledge, i.e., both kinematic and visual data, from simulator to real robot. It remedies the domain gap with enhanced transferable features by using temporal cues in videos, and inherent correlations in multi-modal towards recognizing gesture. Specifically, we first propose an MDO-K to align kinematics, which exploits temporal continuity to transfer motion directions with smaller gap rather than position values, relieving the adaptation burden. Moreover, we propose a KV-Relation-ATT to transfer the co-occurrence signals of kinematics and vision. Such features attended by correlation similarity are more informative for enhancing domain-invariance of the model. Two feature alignment strategies benefit the model mutually during the end-to-end learning process. We extensively evaluate our method for gesture recognition using DESK dataset with peg transfer procedure. Results show that our approach recovers the performance with great improvement gains, up to 12.91% in ACC and 20.16% in F1score without using any annotations in real robot.


title: Convex Projection and Convex Multi-Objective Optimization

abstract: In this paper we consider a problem, called convex projection, of projecting a convex set onto a subspace. We will show that to a convex projection one can assign a particular multi-objective convex optimization problem, such that the solution to that problem also solves the convex projection (and vice versa), which is analogous to the result in the polyhedral convex case considered in arXiv:1507.00228. In practice, however, one can only compute approximate solutions in the (bounded or self-bounded) convex case, which solve the problem up to a given error tolerance. We will show that for approximate solutions a similar connection can be proven, but the tolerance level needs to be adjusted. That is, an approximate solution of the convex projection solves the multi-objective problem only with an increased error. Similarly, an approximate solution of the multi-objective problem solves the convex projection with an increased error. In both cases the tolerance is increased proportionally to a multiplier. These multipliers are deduced and shown to be sharp. These results allow to compute approximate solutions to a convex projection problem by computing approximate solutions to the corresponding multi-objective convex optimization problem, for which algorithms exist in the bounded case. For completeness, we will also investigate the potential generalization of the following result to the convex case. In arXiv:1507.00228, it has been shown for the polyhedral case, how to construct a polyhedral projection associated to any given vector linear program and how to relate their solutions. This in turn yields an equivalence between polyhedral projection, multi-objective linear programming and vector linear programming. We will show that only some parts of this result can be generalized to the convex case, and discuss the limitations.


title: Show Me What You Can Do: Capability Calibration on Reachable Workspace for Human-Robot Collaboration

abstract: Aligning humans' assessment of what a robot can do with its true capability is crucial for establishing a common ground between human and robot partners when they collaborate on a joint task. In this work, we propose an approach to calibrate humans' estimate of a robot's reachable workspace through a small number of demonstrations before collaboration. We develop a novel motion planning method, REMP, which jointly optimizes the physical cost and the expressiveness of robot motion to reveal the robot's reachability to a human observer. Our experiments with human participants demonstrate that a short calibration using REMP can effectively bridge the gap between what a non-expert user thinks a robot can reach and the ground truth. We show that this calibration procedure not only results in better user perception, but also promotes more efficient human-robot collaborations in a subsequent joint task.


title: A quantum wavelet uncertainty principle

abstract: The aim of this paper is to derive a new uncertainty principle for the generalized $q$-Bessel wavelet transform studied earlier in \cite{Rezguietal}. In this paper, an uncertainty principle associated with wavelet transforms in the $q$-calculus framework has been established. A two-parameters extension of the classical Bessel operator is applied to generate a wavelet function which is exploited next to explore a wavelet uncertainty principle already in the $q$-calculus framework.


title: On the determinization of event-clock input-driven pushdown automata

abstract: Input-driven pushdown automata (also known as visibly pushdown automata and as nested word automata) are a subclass of deterministic pushdown automata and a superclass of the parenthesis languages. Nguyen and Ogawa ("Event-clock visibly pushdown automata", SOFSEM 2009) defined a timed extension of these automata under the event-clock model, and showed that this model can be determinized using the method of region construction. This paper defines a further extension of this model with the event clock on the call-return operations, and proposes a new, direct determinization procedure for these automata: an $n$-state nondeterministic automaton with $k$ different clock constraints is transformed to a deterministic automaton with $2^{n^2}$ states, $2^{n^2+k}$ stack symbols and the same clock constraints as in the original automaton. The construction is shown to be asymptotically optimal with respect to both the number of states and the number of stack symbols.


title: A Remark on Attractor Bifurcation

abstract: In this paper we present some local dynamic bifurcation results in terms of invariant sets of nonlinear evolution equations. We show that if the trivial solution is an isolated invariant set of the system at the critical value $\lambda=\lambda_0$, then either there exists a one-sided neighborhood $I^-$ of $\lambda_0$ such that for each $\lambda\in I^-$, the system bifurcates from the trivial solution to an isolated nonempty compact invariant set $K_\lambda$ with $0\not\in K_\lambda$, or there is a one-sided neighborhood $I^+$ of $\lambda_0$ such that the system undergoes an attractor bifurcation for $\lambda\in I^+$ from $(0,\lambda_0)$. Then we give a modified version of the attractor bifurcation theorem. Finally, we consider the classical Swift-Hohenberg equation and illustrate how to apply our results to a concrete evolution equation.


title: A Block-Randomized Stochastic Method with Importance Sampling for CP Tensor Decomposition

abstract: One popular way to compute the CANDECOMP/PARAFAC (CP) decomposition of a tensor is to transform the problem into a sequence of overdetermined least squares subproblems with Khatri-Rao product (KRP) structure involving factor matrices. In this work, based on choosing the factor matrix randomly, we propose a mini-batch stochastic gradient descent method with importance sampling for those special least squares subproblems. Two different sampling strategies are provided. They can avoid forming the full KRP explicitly and computing the corresponding probabilities directly. The adaptive step size version of the method is also given. For the proposed method, we present its detailed theoretical properties and comprehensive numerical performance. The results on synthetic and real data show that our method performs better than the corresponding one in the literature.


title: Bifurcation from Infinity of the Schr\"odinger Equation via Invariant Manifolds

abstract: This paper is concerned with the bifurcation from infinity of the nonlinear Schr\"odinger equation $$-\Delta u+V(x)u=\lambda u+f(x,u),\hspace{0.4cm} x\in \mathbb{R}^N.$$ We treat this problem in the framework of dynamical systems by considering the corresponding parabolic equation on unbounded domains. Firstly, we establish a global invariant manifold for the parabolic equation on $\mathbb{R}^N$. Then, we restrict the parabolic equation to this invariant manifold, which generates a system of finite dimension. Finally, we use the Conley index theory and the shape theory of attractors to establish some new results on bifurcations from infinity and multiplicity of solutions of the Schr\"odinger equation under an appropriate Landesman-Lazer type condition.


title: ReadNet: A Hierarchical Transformer Framework for Web Article Readability Analysis

abstract: Analyzing the readability of articles has been an important sociolinguistic task. Addressing this task is necessary to the automatic recommendation of appropriate articles to readers with different comprehension abilities, and it further benefits education systems, web information systems, and digital libraries. Current methods for assessing readability employ empirical measures or statistical learning techniques that are limited by their ability to characterize complex patterns such as article structures and semantic meanings of sentences. In this paper, we propose a new and comprehensive framework which uses a hierarchical self-attention model to analyze document readability. In this model, measurements of sentence-level difficulty are captured along with the semantic meanings of each sentence. Additionally, the sentence-level features are incorporated to characterize the overall readability of an article with consideration of article structures. We evaluate our proposed approach on three widely-used benchmark datasets against several strong baseline approaches. Experimental results show that our proposed method achieves the state-of-the-art performance on estimating the readability for various web articles and literature.


title: Zero-Sum Semi-Markov Games with State-Action-Dependent Discount Factors

abstract: Semi-Markov model is one of the most general models for stochastic dynamic systems. This paper deals with a two-person zero-sum game for semi-Markov processes. We focus on the expected discounted payoff criterion with state-action-dependent discount factors. The state and action spaces are both Polish spaces, and the payoff function is $\omega$-bounded. We first construct a fairly general model of semi-Markov games under a given semi-Markov kernel and a pair of strategies. Next, based on the standard regularity condition and the continuity-compactness condition for semi-Markov games, we derive a "drift condition" on the semi-Markov kernel and suppose that the discount factors have a positive lower bound, under which the existence of the value function and a pair of optimal stationary strategies of our semi-Markov game are proved by using the Shapley equation. Moreover, when the state and action spaces are both finite, a value iteration-type algorithm for computing the value function and $\varepsilon$-Nash equilibrium of the game is developed. The convergence of the algorithm is also proved. Finally, we conduct numerical examples to demonstrate our main results.


title: Clifford wavelets for fetal ECG extraction

abstract: Analysis of the fetal heart rate during pregnancy is essential for monitoring the proper development of the fetus. Current fetal heart monitoring techniques lack the accuracy in fetal heart rate monitoring and features acquisition, resulting in diagnostic medical issues. The challenge lies in the extraction of the fetal ECG from the mother's ECG during pregnancy. This approach has the advantage of being a reliable and non-invasive technique. For this aim, we propose in this paper a wavelet/multi-wavelet method allowing to extract perfectly the feta ECG parameters from the abdominal mother ECG. The method is essentially due to the exploitation of Clifford wavelets as recent variants in the field. We prove that these wavelets are more efficient and performing against classical ones. The experimental results are therefore due to two basic classes of wavelets and multi-wavelets. A first-class is the classical Haar Schauder, and a second one is due to Clifford valued wavelets and multi-wavelets. These results showed that wavelets/multiwavelets are already good bases for the FECG processing, provided that Clifford ones are the best.


title: Assessing the validity of Bayesian inference using loss functions

abstract: In the usual Bayesian setting, a full probabilistic model is required to link the data and parameters, and the form of this model and the inference and prediction mechanisms are specified via de Finetti's representation. In general, such a formulation is not robust to model mis-specification of its component parts. An alternative approach is to draw inference based on loss functions, where the quantity of interest is defined as a minimizer of some expected loss, and to construct posterior distributions based on the loss-based formulation; this strategy underpins the construction of the Gibbs posterior. We develop a Bayesian non-parametric approach; specifically, we generalize the Bayesian bootstrap, and specify a Dirichlet process model for the distribution of the observables. We implement this using direct prior-to-posterior calculations, but also using predictive sampling. We also study the assessment of posterior validity for non-standard Bayesian calculations, and provide an efficient way to calibrate the scaling parameter in the Gibbs posterior so that it can achieve the desired coverage rate. We show that the developed non-standard Bayesian updating procedures yield valid posterior distributions in terms of consistency and asymptotic normality under model mis-specification. Simulation studies show that the proposed methods can recover the true value of the parameter efficiently and achieve frequentist coverage even when the sample size is small. Finally, we apply our methods to evaluate the causal impact of speed cameras on traffic collisions in England.


title: Vertical and horizontal Square Functions on a Class of Non-Doubling Manifolds

abstract: We consider a class of non-doubling manifolds $\mathcal{M}$ that are the connected sum of a finite number of $N$-dimensional manifolds of the form $\mathbb{R}^{n_{i}} \times \mathcal{M}_{i}$. Following on from the work of Hassell and the second author \cite{hs2019}, a particular decomposition of the resolvent operators $(\Delta + k^{2})^{-M}$, for $M \in \mathbb{N}^{*}$, will be used to demonstrate that the vertical square function operator $$ Sf(x) := \left( \int^{\infty}_{0} \left|t \nabla (I + t^{2} \Delta)^{-M}f(x)\right|{2} \frac{dt}{t}\right)^{\frac{1}{2}} $$ is bounded on $L^{p}(\mathcal{M})$ for $1 < p < n_{min} = \min_{i} n_{i}$ and weak-type $(1,1)$. In addition, it will be proved that the reverse inequality $\left\Vert f \right\Vert_{p} \lesssim \left\Vert S f\right\Vert_{p}$ holds for $p \in (n_{min}',n_{min})$ and that $S$ is unbounded for $p \geq n_{min}$ provided $2 M < n_{min}$. Similarly, for $M > 1$, this method of proof will also be used to ascertain that the horizontal square function operator $$ sf(x) := \left(\int^{\infty}_{0} \left|t^{2}\Delta (I + t^{2} \Delta)^{-M}f(x)\right|^{2} \, \frac{dt}{t}\right)^{\frac{1}{2}} $$ is bounded on $L^{p}(\mathcal{M})$ for all $1 < p < \infty$ and weak-type $(1,1)$. Hence, for $p \geq n_{min}$, the vertical and horizontal square function operators are not equivalent and their corresponding Hardy spaces $H^p$ do not coincide.


title: Investigating on Incorporating Pretrained and Learnable Speaker Representations for Multi-Speaker Multi-Style Text-to-Speech

abstract: The few-shot multi-speaker multi-style voice cloning task is to synthesize utterances with voice and speaking style similar to a reference speaker given only a few reference samples. In this work, we investigate different speaker representations and proposed to integrate pretrained and learnable speaker representations. Among different types of embeddings, the embedding pretrained by voice conversion achieves the best performance. The FastSpeech 2 model combined with both pretrained and learnable speaker representations shows great generalization ability on few-shot speakers and achieved 2nd place in the one-shot track of the ICASSP 2021 M2VoC challenge.


title: On Bounded Finite Potent Operators on arbitrary Hilbert Spaces

abstract: The aim of this work is to study the structure of bounded finite potent endomorphisms on Hilbert spaces. In particular, for these operators, an answer to the Invariant Subspace Problem is given and the main properties of its adjoint operator are offered. Moreover, for every bounded finite potent endomorphism we show that Tate's trace coincides with the Leray trace and with the trace defined by R. Elliott for Riesz Trace Class operators.


title: Deep learning stochastic processes with QCD phase transition

abstract: It is non-trivial to recognize phase transitions and track dynamics inside a stochastic process because of its intrinsic stochasticity. In this paper, we employ the deep learning method to classify the phase orders and predict the damping coefficient of fluctuating systems under Langevin's description. As a concrete set-up, we demonstrate this paradigm for the scalar condensation in QCD matter near the critical point, in which the order parameter of chiral phase transition can be characterized in a $1+1$-dimensional Langevin equation for $\sigma$ field. In a supervised learning manner, the Convolutional Neural Networks(CNNs) accurately classify the first-order phase transition and crossover based on $\sigma$ field configurations with fluctuations. Noise in the stochastic process does not significantly hinder the performance of the well-trained neural network for phase order recognition. For mixed dynamics with diverse dynamical parameters, we further devise and train the machine to predict the damping coefficients $\eta$ in a broad range. The results show that it is robust to extract the dynamics from the bumpy field configurations.


title: Gradient-augmented Supervised Learning of Optimal Feedback Laws Using State-dependent Riccati Equations

abstract: A supervised learning approach for the solution of large-scale nonlinear stabilization problems is presented. A stabilizing feedback law is trained from a dataset generated from State-dependent Riccati Equation solves. The training phase is enriched by the use gradient information in the loss function, which is weighted through the use of hyperparameters. High-dimensional nonlinear stabilization tests demonstrate that real-time sequential large-scale Algebraic Riccati Equation solves can be substituted by a suitably trained feedforward neural network.


title: RAN Slicing Performance Trade-offs: Timing versus Throughput Requirements

abstract: The coexistence of diverse services with heterogeneous requirements is a fundamental feature of 5G. This necessitates efficient radio access network (RAN) slicing, defined as sharing of the wireless resources among diverse services while guaranteeing their respective throughput, timing, and/or reliability requirements. In this paper, we investigate RAN slicing for an uplink scenario in the form of multiple access schemes for two user types: (1) broadband users with throughput requirements and (2) intermittently active users with timing requirements, expressed as either latency-reliability (LR) or Peak Age of Information (PAoI). Broadband users transmit data continuously, hence, are allocated non-overlapping parts of the spectrum. We evaluate the trade-offs between the achievable throughput of a broadband user and the timing requirements of an intermittent user under Orthogonal Multiple Access (OMA) and Non-Orthogonal Multiple Access (NOMA), considering capture. Our analysis shows that NOMA, in combination with packet-level coding, is a superior strategy in most cases for both LR and PAoI, achieving a similar LR with only slight 2% decrease in throughput with respect to the upper bound in performance. However, there are extreme cases where OMA achieves a slightly greater throughput than NOMA at the expense of an increased PAoI.


title: Single-shot wideband active mircorheology using multiple-sinusoid modulated Optical Tweezers

abstract: We employ multiple sinusoid modulated optical tweezers to measure the frequency dependent rheological parameters of a linear viscoelastic fluid over five decades of frequency in a single shot, hitherto not achieved using active microrheology alone. Thus, we spatially modulate a trapped probe particle embedded in a fluid medium with a combination of a square wave - which is by definition a superposition of odd sinusoidal harmonics - and a linear superposition of multiple sinusoids at a wideband frequency range, with complete control over the amplitude, frequency and relative phase of the modulating signals. For the latter, we selectively excite the particle by larger amplitudes at high frequencies where the particle response is low, thereby enabling wideband active microrheology with large signal-to-noise. This mitigates the principal issue associated with conventional active microrheology - which is low bandwidth - and also renders our method better in terms of signal to noise, and faster compared to passive microrheology. We determine the complex viscoelastic parameters of the fluid by extracting the phase response (relative to input excitation) of the probe from the experimentally recorded time series data of the probe displacement, and employing well-known theoretical correlations thereafter. We test the efficacy of our method by studying a linear viscoelastic media (polyacrylamide-water solution) at different concentrations, and find good agreement of the measured fluid parameters with known literature values.


title: Probing anharmonic phonons by quantum correlators: A path integral approach

abstract: We devise an efficient scheme to determine vibrational properties from Path Integral Molecular Dynamics (PIMD) simulations. The method is based on zero-time Kubo-transformed correlation functions and captures the anharmonicity of the potential due to both temperature and quantum effects. Using analytical derivations and numerical calculations on toy-model potentials, we show that two different estimators built upon PIMD correlation functions fully characterize the phonon spectra and the anharmonicity strength. The first estimator is associated with force-force quantum correlators and gives access to the fundamental frequencies and thermodynamic properties of the quantum system. The second one is instead connected to displacement-displacement correlators and probes the lowest-energy phonon excitations with high accuracy. We also prove that the use of generalized eigenvalue equations, in place of the standard normal mode equations, leads to a significant speed-up in the PIMD phonon calculations, both in terms of faster convergence rate and smaller time-step bias. Within this framework, using ab initio PIMD simulations, we compute phonon dispersions of diamond and of the high-pressure I41/amd phase of atomic hydrogen. We find that, in the latter case, the anharmonicity is stronger than previously estimated and yields a sizeable red-shift in the vibrational spectrum of atomic hydrogen.


title: On the experiences of adopting automated data validation in an industrial machine learning project

abstract: Background: Data errors are a common challenge in machine learning (ML) projects and generally cause significant performance degradation in ML-enabled software systems. To ensure early detection of erroneous data and avoid training ML models using bad data, research and industrial practice suggest incorporating a data validation process and tool in ML system development process. Aim: The study investigates the adoption of a data validation process and tool in industrial ML projects. The data validation process demands significant engineering resources for tool development and maintenance. Thus, it is important to identify the best practices for their adoption especially by development teams that are in the early phases of deploying ML-enabled software systems. Method: Action research was conducted at a large-software intensive organization in telecommunications, specifically within the analytics R\&D organization for an ML use case of classifying faults from returned hardware telecommunication devices. Results: Based on the evaluation results and learning from our action research, we identified three best practices, three benefits, and two barriers to adopting the data validation process and tool in ML projects. We also propose a data validation framework (DVF) for systematizing the adoption of a data validation process. Conclusions: The results show that adopting a data validation process and tool in ML projects is an effective approach of testing ML-enabled software systems. It requires having an overview of the level of data (feature, dataset, cross-dataset, data stream) at which certain data quality tests can be applied.


title: Gravity-capillary flows over obstacles for the fifth-order forced Korteweg-de Vries equation

abstract: The aim of this work is to investigate gravity-capillary waves resonantly excited by two topographic obstacles in a shallow water channel. By considering the weakly nonlinear regime the forced fifth-order Korteweg-de Vries equation arises as a model for the free surface displacement. The water surface is initially taken at rest and the initial value problem for this equation is computed numerically using a pseudospectral method. We study near-resonant flows with intermediate capillary effects. Details of the wave interactions are analysed for obstacles with different sizes. Our numerical results indicate that the flow is not necessarily governed by the larger obstacle.


title: Analysis and Assessment of Controllability of an Expressive Deep Learning-based TTS system

abstract: In this paper, we study the controllability of an Expressive TTS system trained on a dataset for a continuous control. The dataset is the Blizzard 2013 dataset based on audiobooks read by a female speaker containing a great variability in styles and expressiveness. Controllability is evaluated with both an objective and a subjective experiment. The objective assessment is based on a measure of correlation between acoustic features and the dimensions of the latent space representing expressiveness. The subjective assessment is based on a perceptual experiment in which users are shown an interface for Controllable Expressive TTS and asked to retrieve a synthetic utterance whose expressiveness subjectively corresponds to that a reference utterance.


title: WebFace260M: A Benchmark Unveiling the Power of Million-Scale Deep Face Recognition

abstract: In this paper, we contribute a new million-scale face benchmark containing noisy 4M identities/260M faces (WebFace260M) and cleaned 2M identities/42M faces (WebFace42M) training data, as well as an elaborately designed time-constrained evaluation protocol. Firstly, we collect 4M name list and download 260M faces from the Internet. Then, a Cleaning Automatically utilizing Self-Training (CAST) pipeline is devised to purify the tremendous WebFace260M, which is efficient and scalable. To the best of our knowledge, the cleaned WebFace42M is the largest public face recognition training set and we expect to close the data gap between academia and industry. Referring to practical scenarios, Face Recognition Under Inference Time conStraint (FRUITS) protocol and a test set are constructed to comprehensively evaluate face matchers. Equipped with this benchmark, we delve into million-scale face recognition problems. A distributed framework is developed to train face recognition models efficiently without tampering with the performance. Empowered by WebFace42M, we reduce relative 40% failure rate on the challenging IJB-C set, and ranks the 3rd among 430 entries on NIST-FRVT. Even 10% data (WebFace4M) shows superior performance compared with public training set. Furthermore, comprehensive baselines are established on our rich-attribute test set under FRUITS-100ms/500ms/1000ms protocol, including MobileNet, EfficientNet, AttentionNet, ResNet, SENet, ResNeXt and RegNet families. Benchmark website is https://www.face-benchmark.org.


title: Mode Structure of a Broadband High Gain Parametric Amplifier

abstract: High gain parametric amplifier with a single-pass pulsed pump is known to generate broadband twin photon fields that are entangled in amplitude and phase but have complicated spectral correlation. Fortunately, they can be decomposed into independent temporal modes. But the common treatment of parametric interaction Hamiltonian does not consider the issue of time ordering problem of interaction Hamiltonian and thus leads to incorrect conclusion that the mode structure and the temporal mode functions do not change as the gain increases. In this paper, we use an approach that is usually employed for treating nonlinear interferometers and avoids the time ordering issue. This allows us to derive an evolution equation in differential-integral form. Numerical solutions for high gain situation indicate a gain-dependent mode structure that has its mode distributions changed and mode functions broadened as the gain increases.


title: White-noise driven conditional McKean-Vlasov limits for systems of particles with simultaneous and random jumps

abstract: We study the convergence of $N-$particle systems described by SDEs driven by Brownian motion and Poisson random measure, where the coefficients depend on the empirical measure of the system. Every particle jumps with a jump rate depending on its position and on the empirical measure of the system. Jumps are simultaneous, that is, at each jump time, all particles of the system are affected by this jump and receive a random jump height that is centred and scaled in $N^{-1/2}.$ This particular scaling implies that the limit of the empirical measures of the system is random, describing the conditional distribution of one particle in the limit system. We call such limits {\it conditional McKean-Vlasov limits}. The conditioning in the limit measure reflects the dependencies between coexisting particles in the limit system such that we are dealing with a {\it conditional propagation of chaos property}. As a consequence of the scaling in $N^{-1/2}$ and of the fact that the limit of the empirical measures is not deterministic the limit system turns out to be solution of a non-linear SDE, where not independent martingale measures and white noises appear having an intensity that depends on the conditional law of the process.


title: A view from lockdown: mathematics discovered, invented, and inherited

abstract: The classical platonist / formalist dilemma in philosophy of mathematics can be expressed in lay terms as a deceptively naive question: \emph{Is new mathematics discovered or invented? Using examples from my own mathematical work during the Coronavirus lockdown, I argue that there is also a third way: new mathematics can also be inherited. And entering into possession, making it your own, could be great fun.


title: On the rank of a verbal subgroup of a finite group

abstract: We show that if $w$ is a multilinear commutator word and $G$ a finite group in which every metanilpotent subgroup generated by $w$-values is of rank at most $r$, then the rank of the verbal subgroup $w(G)$ is bounded in terms of $r$ and $w$ only. In the case where $G$ is soluble we obtain a better result -- if $G$ is a finite soluble group in which every nilpotent subgroup generated by $w$-values is of rank at most $r$, then the rank of $w(G)$ is at most $r+1$.


title: Rheology of mobile sediment beds in laminar shear flow: effects of creep and polydispersity

abstract: Classical scaling relationships for rheological quantities such as the $\mu(J)$-rheology have become increasingly popular for closures of two-phase flow modeling. However, these frameworks have been derived for monodisperse particles. We aim to extend these considerations to sediment transport modeling by using a more realistic sediment composition. We investigate the rheological behavior of sheared sediment beds composed of polydisperse spherical particles in a laminar Couette-type shear flow. The sediment beds consist of particles with a diameter size ratio of up to ten, which corresponds to grains ranging from fine to coarse sand. The data was generated using fully coupled, grain resolved direct numerical simulations using a combined lattice Boltzmann - discrete element method. These highly-resolved data yield detailed depth-resolved profiles of the relevant physical quantities that determine the rheology, i.e., the local shear rate of the fluid, particle volume fraction, total shear, and granular pressure. A comparison against experimental data shows excellent agreement for the monodisperse case. We improve upon the parameterization of the $\mu(J)$-rheology by expressing its empirically derived parameters as a function of the maximum particle volume fraction. Furthermore, we extend these considerations by exploring the creeping regime for viscous numbers much lower than used by previous studies to calibrate these correlations. Considering the low viscous numbers of our data, we found that the friction coefficient governing the quasi-static state in the creeping regime tends to a finite value for vanishing shear, which decreases the critical friction coefficient by a factor of three for all cases investigated.


title: Conic optimization with spectral functions on Euclidean Jordan algebras

abstract: Spectral functions on Euclidean Jordan algebras arise frequently in convex models. Despite the success of primal-dual conic interior point solvers, there has been little work on enabling direct support for spectral cones, i.e. proper nonsymmetric cones defined from epigraphs and perspectives of spectral functions. We propose simple logarithmically homogeneous barriers for spectral cones and we derive efficient, numerically stable procedures for evaluating barrier oracles such as inverse Hessian operators. For two useful classes of spectral cones - the root-determinant cones and the matrix monotone derivative cones - we show that the barriers are self-concordant, with nearly optimal parameters. We implement these cones and oracles in our open source solver Hypatia, and we write simple, natural formulations for four applied problems. Our computational benchmarks demonstrate that Hypatia often solves the natural formulations more efficiently than advanced solvers such as MOSEK 9 solve equivalent extended formulations written using only the cones these solvers support.


title: Anomalies in the dynamics of ferrimagnets near the angular momentum compensation point

abstract: In this paper, we elaborate analytical theory of domain wall dynamics close to the angular momentum compensation point based on non-linear dynamic equations derived from the effective Lagrangian of a ferrimagnet. Analysis of the precession angle and domain wall velocity oscillations in post Walker regime in a ferrimagnet is performed. In the framework of the proposed model, we explore dynamic processes in the Walker and post Walker regimes. We show that although spin oscillations quench the dynamics of domain walls near the Walker breakdown field, a further increase of the driving magnetic field increases domain wall speed and mobility. An anomalous behavior of domain wall dynamic properties near the angular momentum compensation point in ferrimagnets is discussed.


title: Some applications of the dual spaces of Hardy-amalgam spaces

abstract: In this paper, thanks to the generalizations of the dual spaces of the Hardy-amalgam spaces $\mathcal H^{(q,p)}$ and $\mathcal{H}_{\mathrm{loc}}^{(q,p)}$ for $0<q\leq1$ and $q\leq p<\infty$, obtained in our earlier paper, we prove that the inclusion of $\mathcal H^{(1,p)}$ in $(L^1,\ell^p)$ for $1\leq p<\infty$ is strict, and more generally, the one of $\mathcal H^{(q,p)}$ in $\mathcal{H}_{\mathrm{loc}}^{(q,p)}$ for $0<q\leq1$ and $q\leq p<\infty$. Moreover, as other applications, we obtain results of boundedness of Calder\'on-Zygmund and convolution operators, generalizing those known in the context of the spaces $\mathcal H^1$ and $BMO(\mathbb{R}^d)$.


title: Anderson localization and topological phase transitions in non-Hermitian Aubry-Andr\'{e}-Harper models with p-wave pairing

abstract: We study non-Hermitian Aubry-Andr\'{e}-Harper models with p-wave pairing, where the non-Hermiticity is introduced by on-site complex quasiperiodic potentials. By analysing the $\mathcal{PT}$ symmetry breaking, winding numbers of energy spectra, localization and fractal dimensions of states, and fate of Majorana fermions, a complete phase diagram on Anderson localization and topological phase transitions is obtained. In particular, the non-Hermitian topological nature of Anderson localization phase transitions from extended to critical and then to localized phases is identified, using both analytical and numerical methods. In the critical phase the complex spectrum is topological nontrivial with a fractional winding number. In the localized phase the analytical localization length of states can apply to the Hermitian case, which is absent so far. Both the non-Hermiticity and disorder are detrimental to Majorana fermions.


title: New minimal, median, and maximal propagation models for dark matter searches with Galactic cosmic rays

abstract: Galactic charged cosmic rays (notably electrons, positrons, antiprotons and light antinuclei) are powerful probes of dark matter annihilation or decay, in particular for candidates heavier than a few MeV or tiny evaporating primordial black holes. Recent measurements by PAMELA, AMS-02, or VOYAGER on positrons and antiprotons already translate into constraints on several models over a large mass range. However, these constraints depend on Galactic transport models, in particular the diffusive halo size, subject to theoretical and statistical uncertainties. We update the so-called MIN-MED-MAX benchmark transport parameters that yield generic minimal, median and maximal dark-matter induced fluxes; this reduces the uncertainties on fluxes by a factor of about 2 for positrons and 6 for antiprotons, with respect to their former version. We also provide handy fitting formulae for the associated predicted secondary antiproton and positron background fluxes. Finally, for more refined analyses, we provide the full details of the model parameters and covariance matrices of uncertainties.


title: Exceptional spectrum and dynamic magnetization

abstract: A macroscopic effect can be induced by a local non-Hermitian term in a many-body system, when it manifests simultaneously level coalescence of a full real degeneracy spectrum, leading to exceptional spectrum. In this paper, we propose a family of systems that support such an intriguing property. It is generally consisted of two arbitrary identical Hermitian sub-lattices in association with unidirectional couplings between them. We show exactly that all single-particle eigenstates coalesce in pairs even only single unidirectional coupling appears. It means that all possible initial states obey the exceptional dynamics, resulting in some macroscopic phenomena, which never appears in a Hermitian system. As an application, we study the dynamic magnetization induced by complex fields in an itinerant electron system. It shows that an initial saturated ferromagnetic state at half-filling can be driven into its opposite state according to the dynamics of high-order exceptional point. Any Hermitian quench term cannot realize a steady opposite saturated ferromagnetic state. Numerical simulations for the dynamical processes of magnetization are performed for several representative situations, including lattice dimensions, global random and local impurity distributions. It shows that the dynamic magnetization processes exhibit universal behavior.


title: Symplectic GARK methods for partitioned Hamiltonian systems

abstract: Generalized Additive Runge-Kutta schemes have shown to be a suitable tool for solving ordinary differential equations with additively partitioned right-hand sides. This work develops symplectic GARK schemes for additively partitioned Hamiltonian systems. In a general setting, we derive conditions for symplecticness, as well as symmetry and time-reversibility. We show how symplectic and symmetric schemes can be constructed based on schemes which are only symplectic, or only symmetric. Special attention is given to the special case of partitioned schemes for Hamiltonians split into multiple potential and kinetic energies. Finally we show how symplectic GARK schemes can leverage different time scales and evaluation costs for different potentials, and provide efficient numerical solutions by using different order for these parts.


title: Automation and Taxation

abstract: Decomposing taxes by source (labor, capital, sales), we analyze the impact of automation on tax revenues and the structure of taxation in 19 EU countries during 1995-2016. Pre-2008, robot diffusion lead to decreasing factor and tax income, and a shift from taxes on capital to goods. ICTs changed the structure of taxation from capital to labor, with decreasing employment, but increasing wages and labor income. Post-2008, we find an ICT-induced increase in capital income and services, but no effect on taxation from ICT/robots. Overall, automation goes through various phases with heterogeneous economic effects which impact the amount and structure of taxes. Whether automation erodes taxation depends on the technology and stage of diffusion, and thus concerns about public budgets might be myopic when focusing on the short-run and ignoring relevant technological trends.


title: Applying Machine Learning in Self-Adaptive Systems: A Systematic Literature Review

abstract: Recently, we witness a rapid increase in the use of machine learning in self-adaptive systems. Machine learning has been used for a variety of reasons, ranging from learning a model of the environment of a system during operation to filtering large sets of possible configurations before analysing them. While a body of work on the use of machine learning in self-adaptive systems exists, there is currently no systematic overview of this area. Such overview is important for researchers to understand the state of the art and direct future research efforts. This paper reports the results of a systematic literature review that aims at providing such an overview. We focus on self-adaptive systems that are based on a traditional Monitor-Analyze-Plan-Execute feedback loop (MAPE). The research questions are centred on the problems that motivate the use of machine learning in self-adaptive systems, the key engineering aspects of learning in self-adaptation, and open challenges. The search resulted in 6709 papers, of which 109 were retained for data collection. Analysis of the collected data shows that machine learning is mostly used for updating adaptation rules and policies to improve system qualities, and managing resources to better balance qualities and resources. These problems are primarily solved using supervised and interactive learning with classification, regression and reinforcement learning as the dominant methods. Surprisingly, unsupervised learning that naturally fits automation is only applied in a small number of studies. Key open challenges in this area include the performance of learning, managing the effects of learning, and dealing with more complex types of goals. From the insights derived from this systematic literature review we outline an initial design process for applying machine learning in self-adaptive systems that are based on MAPE feedback loops.


title: A note on an integral by Grigorii Mikhailovich Fichtenholz

abstract: In this manuscript, the author derived a definite integral involving the logarithmic function, function of powers and polynomials in terms of the Lerch function. A summary of the results is produced in the form of a table of definite integrals for easy referencing by readers.


title: Smoothing Estimates of the Vlasov-Poisson-Landau System

abstract: In this work, we consider the smoothing effect of Vlasov-Poisson-Landau system for both hard and soft potential. In particular, we prove that any classical solutions becomes immediately smooth with respect to all variables. We also give a proof on the global existence to Vlasov-Poisson-Landau system with optimal large time decay. These results give the regularity to Vlasov-Poisson-Landau system. The proof is based on the time-weighted energy method building upon the pseudo-differential calculus.


title: Impedance spectroscopy and conduction mechanism of a BiFe$_{0.95}$Mn$_{0.05}$O$_3$ thin film

abstract: Dielectric response and conduction mechanism were investigated for a multiferroic BiFe$_{0.95}$Mn$_{0.05}$O$_3$ epitaxial thin film. A contribution from a thermally activated interface (0.37 eV) and the bulk of the film on the dielectric response were observed through the comparison between experimental results and equivalent circuit model. The low frequency interface relaxation signatures strongly suggest a Maxwell-Wagner space charge origin. The alternative current conductivity deduced from the model follows a power law frequency dependence suggesting a polaronic hopping mechanism while the low frequency limit is in perfect agreement with the direct current conduction mechanism. The current-voltage characteristics were indeed correlated with Schottky-Simmons interface limited transport with activation energy of 0.36 eV, close to the one extracted from the impedance analysis. Such analysis of the electrostatic landscape and dielectric behaviour may help to further understanding the anomalous photo-induced properties in the BiFeO$_3$ system.


title: A novel approach to the classification of terrestrial drainage networks based on deep learning and preliminary results on Solar System bodies

abstract: Several approaches were proposed to describe the geomorphology of drainage networks and the abiotic/biotic factors determining their morphology. There is an intrinsic complexity of the explicit qualification of the morphological variations in response to various types of control factors and the difficulty of expressing the cause-effect links. Traditional methods of drainage network classification are based on the manual extraction of key characteristics, then applied as pattern recognition schemes. These approaches, however, have low predictive and uniform ability. We present a different approach, based on the data-driven supervised learning by images, extended also to extraterrestrial cases. With deep learning models, the extraction and classification phase is integrated within a more objective, analytical, and automatic framework. Despite the initial difficulties, due to the small number of training images available, and the similarity between the different shapes of the drainage samples, we obtained successful results, concluding that deep learning is a valid way for data exploration in geomorphology and related fields.

categories: physics.geo-ph astro-ph.EP cs.LG physics.data-an


title: Deformation theory of orthogonal and symplectic sheaves

abstract: We show that the space of first-order deformations of an orthogonal (resp. symplectic) sheaf over a smooth projective scheme is the first hypercohomology space of a complex which is naturally constructed out of the orthogonal (resp. symplectic) sheaf. We also provide an obstruction theory of these objects whose target is the second hypercohomology space of this complex.


title: Towards Fully Autonomous Drone-Based Last-Mile Delivery

abstract: The drone-based last-mile delivery is an emerging technology to deliver parcels using drones loaded on a truck. As more and more autonomous vehicles (AVs) will be available for delivery services, an opportunity is arising to fully automate drone-based last-mile delivery. In this paper, we integrate AVs with drone-based last-mile delivery aiming to fully automate the last-mile delivery process. We define a new problem called the autonomous vehicle routing problem with drones (A-VRPD). A-VRPD is to select AVs from a pool of available AVs and to schedule them to serve customers with an objective of minimizing the total operational cost. We formulate A-VRPD as an Integer Linear Programming (ILP) and propose a greedy algorithm to solve the problem based on real-world operational costs for different types of AVs, traveling distances calculated considering the current traffic conditions, and varying load capacities of AVs. Extensive simulations performed under various random delivery scenarios demonstrate that the proposed algorithm effectively increases profits for both the delivery company and AV owners compared with traditional VRP-D (and TSP-D) algorithm-based approaches.


title: An Energy Efficient Routing Algorithm for Wireless Sensor Networks Using Mobile Sensors

abstract: The increasing usage of wireless sensor networks in human life is an indication of the high importance of this technology. Wireless sensor networks have a vast majority of applications in monitoring and care which are known as target tracking. In this application, the moving targets are monitored and tracked in the environment. One of the most important challenges in this area is the limited energy of the sensors. In this paper, we proposed a new algorithm to reduce energy consumption by increasing the load balancing in the network. The proposed algorithm consists of four phases. In the first phase, which is the hole prevention phase, in each cluster, it is checked by the cluster heads that if the energy level in an area of the cluster is less than the threshold, a mobile node is sent to that area. The second phase is the update phase. In this phase, the parameters required to detect a hole are updated. In the third phase, the hole in the cluster is detected, and in the fourth phase, the hole is covered by static or moving nodes. A comparison of simulation results with the well-known and successful routing method in wireless sensor networks show that the proposed method is suitable and working properly.


title: Specification property for step skew products

abstract: Step skew products with interval fibres and a subshift as a base are considered. It is proved that if the fibre maps are continuous, piecewise monotone, expanding and surjective and the subshift has the specification property and a periodic orbit such that the composition of the fibre maps along this orbit is mixing, then the corresponding step skew product has the specification property.


title: An Experimental Study on Direction Finding of Bluetooth 5.1: Indoor vs Outdoor

abstract: The Bluetooth Special Interest Group (Bluetooth SIG) introduced a new feature for highly accurate localization called the Direction Finding in the Bluetooth Core Specification 5.1. Since this new localization feature is relatively new, despite the significant interest of industry and academia in the accurate positioning of Bluetooth devices/tags, there are only a handful of experimental studies conducted to evaluate the performance of the new technology. Furthermore, these experimental works are constrained to only indoor environments or performed with hardware emulation of Bluetooth 5.1 via Universal Software Radio Peripherals (USRPs). In this paper, we perform an experimental study on the positioning accuracy of the direction finding using COTS Bluetooth 5.1 devices in booth indoor and outdoor environments to provide insights on the performance gap under these different experimental settings. Our results demonstrate that the average angular error in an outdoor environment is 0.28 degrees, significantly improving the angular error measured in an indoor environment by 73%. It is also demonstrated that the average positioning accuracy measured in an outdoor environment is 22cm which is 39.7% smaller than that measured in an indoor environment.


title: A Quantitative Helly-type Theorem: Containment in a Homothet

abstract: We introduce a new variant of quantitative Helly-type theorems: the minimal \emph{"homothetic distance"} of the intersection of a family of convex sets to the intersection of a subfamily of a fixed size. As an application, we establish the following quantitative Helly-type result for the \emph{diameter}. If $K$ is the intersection of finitely many convex bodies in $\mathbb{R}^d$, then one can select $2d$ of these bodies whose intersection is of diameter at most $(2d)^3\mathrm{diam}(K)$. The best previously known estimate, due to Brazitikos, is $c d^{11/2}$. Moreover, we confirm that the multiplicative factor $c d^{1/2}$ conjectured by B\'ar\'any, Katchalski and Pach cannot be improved.


title: Signaling and Employer Learning with Instruments

abstract: This paper considers the use of instruments to identify and estimate private and social returns to education within a model of employer learning. What an instrument identifies depends on whether it is hidden from, or transparent (i.e., observed) to, the employers. A hidden instrument identifies private returns to education, and a transparent instrument identifies social returns to education. We use variation in compulsory schooling laws across non-central and central municipalities in Norway to, respectively, construct hidden and transparent instruments. We estimate a private return of 7.9%, of which 70% is due to increased productivity and the remaining 30% is due to signaling.


title: Electrically tunable and reversible magnetoelectric coupling in strained bilayer graphene

abstract: The valleys in hexagonal two-dimensional systems with broken inversion symmetry carry an intrinsic orbital magnetic moment. Despite this, such systems possess zero net magnetization unless additional symmetries are broken, since the contributions from both valleys cancel. A nonzero net magnetization can be induced through applying both uniaxial strain to break the rotational symmetry of the lattice and an in-plane electric field to break time-reversal symmetry owing to the resulting current. This creates a magnetoelectric effect whose strength is characterized by a magnetoelectric susceptibility, which describes the induced magnetization per unit applied in-plane electric field. Here, we predict the strength of this magnetoelectric susceptibility for Bernal-stacked bilayer graphene as a function of the magnitude and direction of strain, the chemical potential, and the interlayer electric field. We estimate that an orbital magnetization of ~5400 $\mu_{\text{B}}/\mu\text{m}^2$ can be achieved for 1% uniaxial strain and a 10 $\mu\text{A}$ bias current, which is almost three orders of magnitude larger than previously probed experimentally in strained monolayer MoS$_2$. We also identify regimes in which the magnetoelectric susceptibility not only switches sign upon reversal of the interlayer electric field but also in response to small changes in the carrier density. Taking advantage of this reversibility, we further show that it is experimentally feasible to probe the effect using scanning magnetometry.


title: Thermalization of a Trapped Single Atom with an Atomic Thermal Bath

abstract: We studied a single atom trapped in an optical tweezer interacting with a thermal bath of ultracold atoms of a different species. Because of the collisions between the trapped atom and the bath atoms, the trapped atom undergoes changes in its vibrational states occupation to reach thermal equilibrium with the bath. By using Monte Carlo simulations, we characterized the single atom's thermalization process, and we studied how this can be used for cooling. Our simulations demonstrate that, within known experimental limitations, it is feasible to cool a trapped single atom with a thermal bath.


title: Dense gas in local galaxies revealed by multiple tracers

abstract: We present 3 mm and 2 mm band simultaneously spectroscopic observations of HCN 1-0, HCO$^{+}$ 1-0, HNC 1-0, and CS 3-2 with the IRAM 30 meter telescope, toward a sample of 70 sources as nearby galaxies with infrared luminosities ranging from several 10$^{5}L_{\odot}$ to more than 10$^{12}L_{\odot}$. After combining HCN 1-0, HCO$^{+}$ 1-0 and HNC 1-0 data from literature with our detections, relations between luminosities of dense gas tracers (HCN 1-0, HCO$^{+}$ 1-0 and HNC 1-0) and infrared luminosities are derived, with tight linear correlations for all tracers. Luminosities of CS 3-2 with only our observations also show tight linear correlation with infrared luminosities. No systematic difference is found for tracing dense molecular gas among these tracers. Star formation efficiencies for dense gas with different tracers also do not show any trend along different infrared luminosities. Our study also shows that HCN/HCO$^{+}$ line ratio might not be a good indicator to diagnose obscured AGN in galaxies.


title: Generalized D-stability and diagonal dominance with applications to stability and transient response properties of systems of ODE

abstract: In this paper, we introduce the class of diagonally dominant (with respect to a given LMI region ${\mathfrak D} \subset {\mathbb C}$) matrices that possesses the analogues of well-known properties of (classical) diagonally dominant matrices, e.g their spectra are localized inside the region $\mathfrak D$. Moreover, we show that in some cases, diagonal $\mathfrak D$-dominance implies $({\mathfrak D}, {\mathcal D})$-stability ( i.e. the preservation of matrix spectra localization under multiplication by a positive diagonal matrix). Basing on the properties of diagonal stability and diagonal dominance, we analyze the conditions for stability of second-order dynamical systems. We show that these conditions are preserved under system perturbations of a specific form (so-called $D$-stability). We apply the concept of diagonal $\mathfrak D$-dominance to the analysis of the minimal decay rate of second-order systems and its persistence under specific perturbations (so-called relative $D$-stability). Diagonal $\mathfrak D$-dominance with respect to some conic region $\mathfrak D$ is also shown to be a sufficient condition for stability and $D$-stability of fractional-order systems.


title: Panoptic Lintention Network: Towards Efficient Navigational Perception for the Visually Impaired

abstract: Classic computer vision algorithms, instance segmentation, and semantic segmentation can not provide a holistic understanding of the surroundings for the visually impaired. In this paper, we utilize panoptic segmentation to assist the navigation of visually impaired people by offering both things and stuff awareness in the proximity of the visually impaired efficiently. To this end, we propose an efficient Attention module -- Lintention which can model long-range interactions in linear time using linear space. Based on Lintention, we then devise a novel panoptic segmentation model which we term Panoptic Lintention Net. Experiments on the COCO dataset indicate that the Panoptic Lintention Net raises the Panoptic Quality (PQ) from 39.39 to 41.42 with 4.6\% performance gain while only requiring 10\% fewer GFLOPs and 25\% fewer parameters in the semantic branch. Furthermore, a real-world test via our designed compact wearable panoptic segmentation system, indicates that our system based on the Panoptic Lintention Net accomplishes a relatively stable and exceptionally remarkable panoptic segmentation in real-world scenes.


title: Uplink Power Control in Massive MIMO with Double Scattering Channels

abstract: Massive multiple-input multiple-output (MIMO) is a key technology for improving the spectral and energy efficiency in 5G-and-beyond wireless networks. For a tractable analysis, most of the previous works on Massive MIMO have been focused on the system performance with complex Gaussian channel impulse responses under rich-scattering environments. In contrast, this paper investigates the uplink ergodic spectral efficiency (SE) of each user under the double scattering channel model. We derive a closed-form expression of the uplink ergodic SE by exploiting the maximum ratio (MR) combining technique based on imperfect channel state information. We further study the asymptotic SE behaviors as a function of the number of antennas at each base station (BS) and the number of scatterers available at each radio channel. We then formulate and solve a total energy optimization problem for the uplink data transmission that aims at simultaneously satisfying the required SEs from all the users with limited data power resource. Notably, our proposed algorithms can cope with the congestion issue appearing when at least one user is served by lower SE than requested. Numerical results illustrate the effectiveness of the closed-form ergodic SE over Monte-Carlo simulations. Besides, the system can still provide the required SEs to many users even under congestion.


title: Learning to Generate 3D Shapes with Generative Cellular Automata

abstract: We present a probabilistic 3D generative model, named Generative Cellular Automata, which is able to produce diverse and high quality shapes. We formulate the shape generation process as sampling from the transition kernel of a Markov chain, where the sampling chain eventually evolves to the full shape of the learned distribution. The transition kernel employs the local update rules of cellular automata, effectively reducing the search space in a high-resolution 3D grid space by exploiting the connectivity and sparsity of 3D shapes. Our progressive generation only focuses on the sparse set of occupied voxels and their neighborhood, thus enabling the utilization of an expressive sparse convolutional network. We propose an effective training scheme to obtain the local homogeneous rule of generative cellular automata with sequences that are slightly different from the sampling chain but converge to the full shapes in the training data. Extensive experiments on probabilistic shape completion and shape generation demonstrate that our method achieves competitive performance against recent methods.


title: Omni-swarm: A Decentralized Omnidirectional Visual-Inertial-UWB State Estimation System for Aerial Swarms

abstract: Decentralized state estimation is one of the most fundamental components of autonomous aerial swarm systems in GPS-denied areas yet it still remains a highly challenging research topic. Omni-swarm, a decentralized omnidirectional visual-inertial-UWB state estimation system for aerial swarms, is proposed in this paper to address this research niche. To solve the issues of observability, complicated initialization, insufficient accuracy, and lack of global consistency, we introduce an omnidirectional perception front-end in Omni-swarm. It consists of stereo wide-FoV cameras and ultra-wideband sensors, visual-inertial odometry, multi-drone map-based localization, and visual drone tracking algorithms. The measurements from the front-end are fused with graph-based optimization in the back-end. The proposed method achieves centimeter-level relative state estimation accuracy while guaranteeing global consistency in the aerial swarm, as evidenced by the experimental results. Moreover, supported by Omni-swarm, inter-drone collision avoidance can be accomplished without any external devices, demonstrating the potential of Omni-swarm as the foundation of autonomous aerial swarms.


title: A Real-time Low-cost Artificial Intelligence System for Autonomous Spraying in Palm Plantations

abstract: In precision crop protection, (target-orientated) object detection in image processing can help navigate Unmanned Aerial Vehicles (UAV, crop protection drones) to the right place to apply the pesticide. Unnecessary application of non-target areas could be avoided. Deep learning algorithms dominantly use in modern computer vision tasks which require high computing time, memory footprint, and power consumption. Based on the Edge Artificial Intelligence, we investigate the main three paths that lead to dealing with this problem, including hardware accelerators, efficient algorithms, and model compression. Finally, we integrate them and propose a solution based on a light deep neural network (DNN), called Ag-YOLO, which can make the crop protection UAV have the ability to target detection and autonomous operation. This solution is restricted in size, cost, flexible, fast, and energy-effective. The hardware is only 18 grams in weight and 1.5 watts in energy consumption, and the developed DNN model needs only 838 kilobytes of disc space. We tested the developed hardware and software in comparison to the tiny version of the state-of-art YOLOv3 framework, known as YOLOv3-Tiny to detect individual palm in a plantation. An average F1 score of 0.9205 at the speed of 36.5 frames per second (in comparison to similar accuracy at 18 frames per second and 8.66 megabytes of the YOLOv3-Tiny algorithm) was reached. This developed detection system is easily plugged into any machines already purchased as long as the machines have USB ports and run Linux Operating System.


title: Learning Statistical Texture for Semantic Segmentation

abstract: Existing semantic segmentation works mainly focus on learning the contextual information in high-level semantic features with CNNs. In order to maintain a precise boundary, low-level texture features are directly skip-connected into the deeper layers. Nevertheless, texture features are not only about local structure, but also include global statistical knowledge of the input image. In this paper, we fully take advantages of the low-level texture features and propose a novel Statistical Texture Learning Network (STLNet) for semantic segmentation. For the first time, STLNet analyzes the distribution of low level information and efficiently utilizes them for the task. Specifically, a novel Quantization and Counting Operator (QCO) is designed to describe the texture information in a statistical manner. Based on QCO, two modules are introduced: (1) Texture Enhance Module (TEM), to capture texture-related information and enhance the texture details; (2) Pyramid Texture Feature Extraction Module (PTFEM), to effectively extract the statistical texture features from multiple scales. Through extensive experiments, we show that the proposed STLNet achieves state-of-the-art performance on three semantic segmentation benchmarks: Cityscapes, PASCAL Context and ADE20K.


title: Elementary Integration of Superelliptic Integrals

abstract: Consider a superelliptic integral $I=\int P/(Q S^{1/k}) dx$ with $\mathbb{K}=\mathbb{Q}(\xi)$, $\xi$ a primitive $k$th root of unity, $P,Q,S\in\mathbb{K}[x]$ and $S$ has simple roots and degree coprime with $k$. Note $d$ the maximum of the degree of $P,Q,S$, $h$ the logarithmic height of the coefficients and $g$ the genus of $y^k-S(x)$. We present an algorithm which solves the elementary integration problem of $I$ generically in $O((kd)^{\omega+2g+1} h^{g+1})$ operations.


title: Hard gluon evolution in warming medium

abstract: We describe the energy distribution of hard gluons travelling through a dense quark-gluon plasma whose temperature increases linearly with time, within a probabilistic perturbative approach. The results were applied to the thermalization problem in heavy ion collisions, in the third stage of the bottom-up picture, to estimate the initial time for the third stage of the bottom-up scenario. We then look at the entropy density and average temperature of the soft thermal bath, as the system approaches (local) thermal equilibrium.


title: Perception Framework through Real-Time Semantic Segmentation and Scene Recognition on a Wearable System for the Visually Impaired

abstract: As the scene information, including objectness and scene type, are important for people with visual impairment, in this work we present a multi-task efficient perception system for the scene parsing and recognition tasks. Building on the compact ResNet backbone, our designed network architecture has two paths with shared parameters. In the structure, the semantic segmentation path integrates fast attention, with the aim of harvesting long-range contextual information in an efficient manner. Simultaneously, the scene recognition path attains the scene type inference by passing the semantic features into semantic-driven attention networks and combining the semantic extracted representations with the RGB extracted representations through a gated attention module. In the experiments, we have verified the systems' accuracy and efficiency on both public datasets and real-world scenes. This system runs on a wearable belt with an Intel RealSense LiDAR camera and an Nvidia Jetson AGX Xavier processor, which can accompany visually impaired people and provide assistive scene information in their navigation tasks.