title: Trojan Attacks on Wireless Signal Classification with Adversarial Machine Learning

abstract: We present a Trojan (backdoor or trapdoor) attack that targets deep learning applications in wireless communications. A deep learning classifier is considered to classify wireless signals using raw (I/Q) samples as features and modulation types as labels. An adversary slightly manipulates training data by inserting Trojans (i.e., triggers) to only few training data samples by modifying their phases and changing the labels of these samples to a target label. This poisoned training data is used to train the deep learning classifier. In test (inference) time, an adversary transmits signals with the same phase shift that was added as a trigger during training. While the receiver can accurately classify clean (unpoisoned) signals without triggers, it cannot reliably classify signals poisoned with triggers. This stealth attack remains hidden until activated by poisoned inputs (Trojans) to bypass a signal classifier (e.g., for authentication). We show that this attack is successful over different channel conditions and cannot be mitigated by simply preprocessing the training and test data with random phase variations. To detect this attack, activation based outlier detection is considered with statistical as well as clustering techniques. We show that the latter one can detect Trojan attacks even if few samples are poisoned.


title: A feasibility study on monitoring crustal structure variations by direct comparison of surface wave dispersion curves from ambient seismic noise

abstract: This work assesses the feasibility of the direct use of surface-wave dispersion curves from seismic ambient noise to gain insight into the crustal structure of Bransfield Strait and detect seasonal seismic velocity changes. We cross-correlated four years of vertical component ambient noise data recorded by a seismic array in West Antarctica. To estimate fundamental mode Rayleigh wave Green's functions, the correlations are computed in 4-hr segments, stacked over 1-year time windows and moving windows of 3 months. Rayleigh wave group dispersion curves are then measured on two spectral bands; primary (10-30 s) and secondary (5-10 s) microseisms, using frequency-time analysis. We analyze the temporal evolution of seismic velocity by comparing dispersion curves for the successive annual and 3-month correlation stacks. Our main assumption was that the Green's functions from the cross-correlations, and thus the dispersion curves, remain invariant if the crustal structure remains unchanged. Maximum amplitudes of secondary microseisms were observed during local winter when the Southern Ocean experiences winter storms. The Rayleigh wave group velocity ranges between 2.1 and 3.7 km/s, considering our period range studied. Inter-annual velocity variations are not much evident. We observe a slight velocity decrease in summer and increase in winter, which could be attributed to the pressure melting of ice and an increase in ice mass, respectively. The velocity anomalies observed within the crust and upper mantle structure correlate with the major crustal and upper mantle features known from previous studies in the area. Our results demonstrate that the direct comparison of surface wave dispersion curves extracted from ambient noise might be a useful tool in monitoring crustal structure variations.


title: Non-Hermitian approach for quantum plasmonics

abstract: We examine the limits of applicability of a simple non-Hermitian model for exciton/plasmon interactions in the presence of dissipation and dephasing. The model can be used as an alternative to the more complete Lindblad density matrix approach and is computationally and conceptually simpler. We find that optical spectra in the linear regime can be adequately described by this approach. The model can fail, however, under continuous optical driving in some circumstances. In the case of two quantum dots or excitons interacting with a plasmon, the model can also describe coherences and entanglement qualitatively when both dissipation and dephasing are present, and quantitatively in the limit with no dephasing. The model can also be extended to the case of many quantum dots interacting with a plasmon and results, within the single-excitation manifold, are presented for the fifty quantum dot case.


title: Learning Multiparametric Biomarkers for Assessing MR-Guided Focused Ultrasound Treatment of Malignant Tumors

abstract: Noninvasive MR-guided focused ultrasound (MRgFUS) treatments are promising alternatives to the surgical removal of malignant tumors. A significant challenge is assessing the viability of treated tissue during and immediately after MRgFUS procedures. Current clinical assessment uses the nonperfused volume (NPV) biomarker immediately after treatment from contrast-enhanced MRI. The NPV has variable accuracy, and the use of contrast agent prevents continuing MRgFUS treatment if tumor coverage is inadequate. This work presents a novel, noncontrast, learned multiparametric MR biomarker that can be used during treatment for intratreatment assessment, validated in a VX2 rabbit tumor model. A deep convolutional neural network was trained on noncontrast multiparametric MR images using the NPV biomarker from follow-up MR imaging (3-5 days after MRgFUS treatment) as the accurate label of nonviable tissue. A novel volume-conserving registration algorithm yielded a voxel-wise correlation between treatment and follow-up NPV, providing a rigorous validation of the biomarker. The learned noncontrast multiparametric MR biomarker predicted the follow-up NPV with an average DICE coefficient of 0.71, substantially outperforming the current clinical standard (DICE coefficient = 0.53). Noncontrast multiparametric MR imaging integrated with a deep convolutional neural network provides a more accurate prediction of MRgFUS treatment outcome than current contrast-based techniques.


title: A Review on Feature-Mapping Methods for Structural Optimization

abstract: In this review we identify a new category of structural optimization methods that has emerged over the last 20 years, which we propose to call feature-mapping methods. The two defining aspects of these methods are that the design is parameterized by a high-level geometric description and that features are mapped onto a fixed grid for analysis. The main motivation for using these methods is to gain better control over the geometry to, for example, facilitate imposing direct constraints on geometric features, whilst avoiding issues with re-meshing. The review starts by providing some key definitions and then examines the ingredients that these methods use to map geometric features onto a fixed-grid. One of these ingredients corresponds to the mechanism for mapping the geometry of a single feature onto a fixed analysis grid, from which an ersatz material or an immersed boundary approach is used for the analysis. For the former case, which we refer to as the pseudo-density approach, a test problem is formulated to investigate aspects of the material interpolation, boundary smoothing and numerical integration. We also review other ingredients of feature-mapping techniques, including approaches for combining features (which are required to perform topology optimization) and methods for imposing a minimum separation distance among features. A literature review of feature-mapping methods is provided for shape optimization, combined feature/free-form optimization, and topology optimization. Finally, we discuss potential future research directions for feature-mapping methods.


title: On real Waring decompositions of real binary forms

abstract: The Waring Problem over polynomial rings asks how to decompose a homogeneous polynomial $p$ of degree $d$ as a finite sum of $d$-{th} powers of linear forms. In this work we give an algorithm to obtain a real Waring decomposition of any given real binary form $p$ of length at most its degree. In fact, we construct a semialgebraic family of Waring decompositions for $p$. Some examples are shown to highlight the difference between the real and the complex case.


title: No evidence of isostructural electronic transitions in compressed hydrogen

abstract: Ji et al. report performing X-ray diffraction on hydrogen compressed to over 250 GPa (https://doi.org/10.1038/s41586-019-1565-9). It is a remarkable technical achievement. However, the experimental data presented and discussed in the paper do not support the main conclusion that hydrogen undergoes an isostructural phase transition and preserves the hexagonal close packed (hcp) structure up to the highest pressure achieved. The behavior of compressed hydrogen in the studied pressure range cannot be explained by electronic topological transition (ETT), as claimed in the paper.


title: Learning While Navigating: A Practical System Based on Variational Gaussian Process State-Space Model and Smartphone Sensory Data

abstract: We implement a wireless indoor navigation system based on the variational Gaussian process state-space model (GPSSM) with smartphone-collected WiFi received signal strength (RSS) and inertial measurement unit (IMU) readings. We adapt the existing variational GPSSM framework to wireless navigation scenarios, and provide a practical learning procedure for the variational GPSSM. The proposed system explores both the expressive power of the non-parametric Gaussian process model and its natural mechanism for integrating the state-of-the-art navigation techniques designed upon state-space model. Experimental results obtained from a real office environment validate the outstanding performance of the variational GPSSM in comparison with the traditional parametric state-space model in terms of navigation accuracy.


title: Generic wide indiscernible sets

abstract: We prove that a wide Morley sequence in a wide generically stable type is isometric to the standard basis of an $\ell_p$ space for some $p$.


title: Functional Tensors for Probabilistic Programming

abstract: It is a significant challenge to design probabilistic programming systems that can accommodate a wide variety of inference strategies within a unified framework. Noting that the versatility of modern automatic differentiation frameworks is based in large part on the unifying concept of tensors, we describe a software abstraction for integration --functional tensors-- that captures many of the benefits of tensors, while also being able to describe continuous probability distributions. Moreover, functional tensors are a natural candidate for generalized variable elimination and parallel-scan filtering algorithms that enable parallel exact inference for a large family of tractable modeling motifs. We demonstrate the versatility of functional tensors by integrating them into the modeling frontend and inference backend of the Pyro programming language. In experiments we show that the resulting framework enables a large variety of inference strategies, including those that mix exact and approximate inference.


title: SMASH: Co-designing Software Compression and Hardware-Accelerated Indexing for Efficient Sparse Matrix Operations

abstract: Important workloads, such as machine learning and graph analytics applications, heavily involve sparse linear algebra operations. These operations use sparse matrix compression as an effective means to avoid storing zeros and performing unnecessary computation on zero elements. However, compression techniques like Compressed Sparse Row (CSR) that are widely used today introduce significant instruction overhead and expensive pointer-chasing operations to discover the positions of the non-zero elements. In this paper, we identify the discovery of the positions (i.e., indexing) of non-zero elements as a key bottleneck in sparse matrix-based workloads, which greatly reduces the benefits of compression. We propose SMASH, a hardware-software cooperative mechanism that enables highly-efficient indexing and storage of sparse matrices. The key idea of SMASH is to explicitly enable the hardware to recognize and exploit sparsity in data. To this end, we devise a novel software encoding based on a hierarchy of bitmaps. This encoding can be used to efficiently compress any sparse matrix, regardless of the extent and structure of sparsity. At the same time, the bitmap encoding can be directly interpreted by the hardware. We design a lightweight hardware unit, the Bitmap Management Unit (BMU), that buffers and scans the bitmap hierarchy to perform highly-efficient indexing of sparse matrices. SMASH exposes an expressive and rich ISA to communicate with the BMU, which enables its use in accelerating any sparse matrix computation. We demonstrate the benefits of SMASH on four use cases that include sparse matrix kernels and graph analytics applications.


title: Diversifying Database Activity Monitoring with Bandits

abstract: Database activity monitoring (DAM) systems are commonly used by organizations to protect the organizational data, knowledge and intellectual properties. In order to protect organizations database DAM systems have two main roles, monitoring (documenting activity) and alerting to anomalous activity. Due to high-velocity streams and operating costs, such systems are restricted to examining only a sample of the activity. Current solutions use policies, manually crafted by experts, to decide which transactions to monitor and log. This limits the diversity of the data collected. Bandit algorithms, which use reward functions as the basis for optimization while adding diversity to the recommended set, have gained increased attention in recommendation systems for improving diversity. In this work, we redefine the data sampling problem as a special case of the multi-armed bandit (MAB) problem and present a novel algorithm, which combines expert knowledge with random exploration. We analyze the effect of diversity on coverage and downstream event detection tasks using a simulated dataset. In doing so, we find that adding diversity to the sampling using the bandit-based approach works well for this task and maximizing population coverage without decreasing the quality in terms of issuing alerts about events.


title: Tied links in the solid torus

abstract: We introduce the concept of tied links in the solid torus, which generalize naturally the concept of tied links in $S^3$ previously introduced by Aicardi and Juyumaya. We also define an invariant of these tied links by using skein relations, and subsequently we recover this invariant by using Jones' method over the bt-algebra of type $\mathtt{B}$ and the Markov trace defined on this.


title: Fast and Flexible Bayesian Inference in Time-varying Parameter Regression Models

abstract: In this paper, we write the time-varying parameter (TVP) regression model involving K explanatory variables and T observations as a constant coefficient regression model with KT explanatory variables. In contrast with much of the existing literature which assumes coefficients to evolve according to a random walk, a hierarchical mixture model on the TVPs is introduced. The resulting model closely mimics a random coefficients specification which groups the TVPs into several regimes. These flexible mixtures allow for TVPs that feature a small, moderate or large number of structural breaks. We develop computationally efficient Bayesian econometric methods based on the singular value decomposition of the KT regressors. In artificial data, we find our methods to be accurate and much faster than standard approaches in terms of computation time. In an empirical exercise involving inflation forecasting using a large number of predictors, we find our models to forecast better than alternative approaches and document different patterns of parameter change than are found with approaches which assume random walk evolution of parameters.


title: Generalized Spin Fluctuation Feedback In Correlated Fermion Superconductors

abstract: Experiments reveal that the superconductors $\text{UPt}_3$, $\text{U}_{1-x}\text{Th}_x\text{Be}_{13}$ and $\text{PrOs}_4\text{Sb}_{12}$ undergo two superconducting transitions in the absence of an applied magnetic field. The prevalence of these multiple transitions suggests a common underlying mechanism. A natural candidate theory which accounts for these two transitions is the existence of a small symmetry breaking field, however such a field has not been observed in $\text{PrOs}_4\text{Sb}_{12}$ or $\text{U}_{1-x}\text{Th}_x\text{Be}_{13}$ and has been called into question for $\text{UPt}_3$. Motivated by arguments originally developed for superfluid $^3\text{He}$ we propose that a generalized spin fluctuation feedback effect is responsible for these two transitions. We first develop a phenomenological theory for $^3\text{He}$ that couples spin fluctuations to superfluidity, which correctly predicts that a high temperature broken time-reversal superfluid $^3\text{He}$ phase can emerge as a consequence. The transition at lower temperatures into a time-reversal invariant superfluid phase must then be first order by symmetry arguments. We then apply this phenomenological approach to the three superconductors $\text{UPt}_3$, $\text{U}_{1-x}\text{Th}_x\text{Be}_{13}$ and $\text{PrOs}_4\text{Sb}_{12}$ revealing that this naturally leads to a high-temperature time-reversal invariant nematic superconducting phase, which can be followed by a second order phase transition into a broken time-reversal symmetry phase, as observed.


title: Hierarchical Transformers for Long Document Classification

abstract: BERT, which stands for Bidirectional Encoder Representations from Transformers, is a recently introduced language representation model based upon the transfer learning paradigm. We extend its fine-tuning procedure to address one of its major limitations - applicability to inputs longer than a few hundred words, such as transcripts of human call conversations. Our method is conceptually simple. We segment the input into smaller chunks and feed each of them into the base model. Then, we propagate each output through a single recurrent layer, or another transformer, followed by a softmax activation. We obtain the final classification decision after the last segment has been consumed. We show that both BERT extensions are quick to fine-tune and converge after as little as 1 epoch of training on a small, domain-specific data set. We successfully apply them in three different tasks involving customer call satisfaction prediction and topic classification, and obtain a significant improvement over the baseline models in two of them.


title: A Continuous-time Perspective for Modeling Acceleration in Riemannian Optimization

abstract: We propose a novel second-order ODE as the continuous-time limit of a Riemannian accelerated gradient-based method on a manifold with curvature bounded from below. This ODE can be seen as a generalization of the ODE derived for Euclidean spaces, and can also serve as an analysis tool. We study the convergence behavior of this ODE for different classes of functions, such as geodesically convex, strongly-convex and weakly-quasi-convex. We demonstrate how such an ODE can be discretized using a semi-implicit and Nesterov-inspired numerical integrator, that empirically yields stable algorithms which are faithful to the continuous-time analysis and exhibit accelerated convergence.


title: Wasserstein Smoothing: Certified Robustness against Wasserstein Adversarial Attacks

abstract: In the last couple of years, several adversarial attack methods based on different threat models have been proposed for the image classification problem. Most existing defenses consider additive threat models in which sample perturbations have bounded L_p norms. These defenses, however, can be vulnerable against adversarial attacks under non-additive threat models. An example of an attack method based on a non-additive threat model is the Wasserstein adversarial attack proposed by Wong et al. (2019), where the distance between an image and its adversarial example is determined by the Wasserstein metric ("earth-mover distance") between their normalized pixel intensities. Until now, there has been no certifiable defense against this type of attack. In this work, we propose the first defense with certified robustness against Wasserstein Adversarial attacks using randomized smoothing. We develop this certificate by considering the space of possible flows between images, and representing this space such that Wasserstein distance between images is upper-bounded by L_1 distance in this flow-space. We can then apply existing randomized smoothing certificates for the L_1 metric. In MNIST and CIFAR-10 datasets, we find that our proposed defense is also practically effective, demonstrating significantly improved accuracy under Wasserstein adversarial attack compared to unprotected models.


title: Direction distribution for nodal components of random band-limited functions on surfaces

abstract: Let $(M,g)$ be a smooth compact Riemannian surface with no boundary. Given a smooth vector field $V$ with finitely many zeroes on $M$, we study the distribution of the number of tangencies to $V$ of the nodal components of random band-limited functions. It is determined that in the high-energy limit, these obey a universal deterministic law, independent of the surface $M$ and the vector field $V$, that is supported precisely on the even integers $2 \mathbb{Z}_{> 0}$.


title: Improved Rheometry of Yield Stress Fluids Using Bespoke Fractal 3D Printed Vanes

abstract: To enable robust rheological measurements of the properties of yield stress fluids, we introduce a class of modified vane fixtures with fractal-like cross-sectional structures. A greater number of outer contact edges leads to increased kinematic homogeneity at the point of yielding and beyond. The vanes are 3D printed using a desktop stereolithography machine, making them inexpensive (disposable), chemically-compatible with a wide range of solvents, and readily adaptable as a base for further design innovations. To complete the tooling set, we introduce a textured 3D printed cup, which attaches to a standard rheometer base. We discuss general design criteria for 3D printed rheometer vanes, including consideration of sample volume displaced by the vanes, stress homogeneity, and secondary flows that constrain the parameter space of potential designs. We also develop a conversion from machine torque to material shear stress for vanes with an arbitrary number of arms. We compare a family of vane designs by measuring the viscosity of Newtonian calibration oils with error <5% relative to reference measurements made with a cone-and-plate geometry. We measure the flow curve of a simple Carbopol yield stress fluid, and show that a 24-arm 3D printed fractal vane agrees within 1% of reference measurements made with a roughened cone-and-plate geometry. Last, we demonstrate use of the 24-arm fractal vane to probe the thixo-elasto-visco-plastic (TEVP) response of a Carbopol-based hair gel, a jammed emulsion (mayonnaise), and a strongly alkaline carbon black-based battery slurry.


title: Optimizing Percentile Criterion Using Robust MDPs

abstract: We address the problem of computing reliable policies in reinforcement learning problems with limited data. In particular, we compute policies that achieve good returns with high confidence when deployed. This objective, known as the \emph{percentile criterion}, can be optimized using Robust MDPs~(RMDPs). RMDPs generalize MDPs to allow for uncertain transition probabilities chosen adversarially from given ambiguity sets. We show that the RMDP solution's sub-optimality depends on the spans of the ambiguity sets along the value function. We then propose new algorithms that minimize the span of ambiguity sets defined by weighted $L_1$ and $L_\infty$ norms. Our primary focus is on Bayesian guarantees, but we also describe how our methods apply to frequentist guarantees and derive new concentration inequalities for weighted $L_1$ and $L_\infty$ norms. Experimental results indicate that our optimized ambiguity sets improve significantly on prior construction methods.


title: Liouville theorems for ancient caloric functions via optimal growth conditions

abstract: We provide some Liouville theorems for ancient nonnegative solutions of the heat equation on a complete non-compact Riemannian manifold with Ricci curvature bounded from below. We determine growth conditions ensuring triviality of the latters, showing their optimality through examples.


title: Real-time prediction of severe influenza epidemics using Extreme Value Statistics

abstract: Each year, seasonal influenza epidemics cause hundreds of thousands of deaths worldwide and put high loads on health care systems. A main concern for resource planning is the risk of exceptionally severe epidemics. Taking advantage of recent results on multivariate Generalized Pareto models in Extreme Value Statistics we develop methods for real-time prediction of the risk that an ongoing influenza epidemic will be exceptionally severe and for real-time detection of anomalous epidemics and use them for prediction and detection of anomalies for influenza epidemics in France. Quality of predictions is assessed on observed and simulated data.


title: A projection based Variational Multiscale Method for Atmosphere-Ocean Interaction

abstract: The proposed method aims to approximate a solution of a fluid-fluid interaction problem in case of low viscosities. The nonlinear interface condition on the joint boundary allows for this problem to be viewed as a simplified version of the atmosphere-ocean coupling. Thus, the proposed method should be viewed as potentially applicable to air-sea coupled flows in turbulent regime. The method consists of two key ingredients. The geometric averaging approach is used for efficient and stable decoupling of the problem, which would allow for the usage of preexisting codes for the air and sea domain separately, as "black boxes". This is combined with the variational multiscale stabilization technique for treating flows at high Reynolds numbers. We prove the stability and accuracy of the method and provide several numerical tests to assess both the quantitative and qualitative features of the computed solution.


title: The Asymptotic Distribution of the Rank for Unimodal Sequences

abstract: We study the asymptotic behavior of the rank statistic for unimodal sequences. We use analytic techniques involving asymptotic expansions in order to prove asymptotic formulas for the moments of the rank. Furthermore, when appropriately normalized, the values of the unimodal rank asymptotically follow a logistic distribution. We also prove similar results for Durfee unimodal sequences and semi-strict unimodal sequences, with the only major difference being that the (normalized) rank for semistrict unimodal sequences has a distributional limit of a point mass probability distribution.


title: An Adaptive Empirical Bayesian Method for Sparse Deep Learning

abstract: We propose a novel adaptive empirical Bayesian method for sparse deep learning, where the sparsity is ensured via a class of self-adaptive spike-and-slab priors. The proposed method works by alternatively sampling from an adaptive hierarchical posterior distribution using stochastic gradient Markov Chain Monte Carlo (MCMC) and smoothly optimizing the hyperparameters using stochastic approximation (SA). We further prove the convergence of the proposed method to the asymptotically correct distribution under mild conditions. Empirical applications of the proposed method lead to the state-of-the-art performance on MNIST and Fashion MNIST with shallow convolutional neural networks and the state-of-the-art compression performance on CIFAR10 with Residual Networks. The proposed method also improves resistance to adversarial attacks.


title: Multi-UAV Data Collection Framework for Wireless Sensor Networks

abstract: In this paper, we propose a framework design for wireless sensor networks based on multiple unmanned aerial vehicles (UAVs). Specifically, we aim to minimize deployment and operational costs, with respect to budget and power constraints. To this end, we first optimize the number and locations of cluster heads (CHs) guaranteeing data collection from all sensors. Then, to minimize the data collection flight time, we optimize the number and trajectories of UAVs. Accordingly, we distinguish two trajectory approaches: 1) where a UAV hovers exactly above the visited CH; and 2) where a UAV hovers within a range of the CH. The results of this include guidelines for data collection design. The characteristics of sensor nodes' K-means clustering are then discussed. Next, we illustrate the performance of optimal and heuristic solutions for trajectory planning. The genetic algorithm is shown to be near-optimal with only $3.5\%$ degradation. The impacts of the trajectory approach, environment, and UAVs' altitude are investigated. Finally, fairness of UAVs trajectories is discussed.


title: We Know Where We Don't Know: 3D Bayesian CNNs for Credible Geometric Uncertainty

abstract: Deep learning has been successfully applied to the segmentation of 3D Computed Tomography (CT) scans. Establishing the credibility of these segmentations requires uncertainty quantification (UQ) to identify untrustworthy predictions. Recent UQ architectures include Monte Carlo dropout networks (MCDNs), which approximate deep Gaussian processes, and Bayesian neural networks (BNNs), which learn the distribution of the weight space. BNNs are advantageous over MCDNs for UQ but are thought to be computationally infeasible in high dimension, and neither architecture has produced interpretable geometric uncertainty maps. We propose a novel 3D Bayesian convolutional neural network (BCNN), the first deep learning method which generates statistically credible geometric uncertainty maps and scales for application to 3D data. We present experimental results on CT scans of graphite electrodes and laser-welded metals and show that our BCNN outperforms an MCDN in recent uncertainty metrics. The geometric uncertainty maps generated by our BCNN capture distributions of sigmoid values that are interpretable as confidence intervals, critical for applications that rely on deep learning for high-consequence decisions. Code available at https://github.com/sandialabs/bcnn.


title: Sidebar: Scratchpad Based Communication Between CPUs and Accelerators

abstract: Hardware accelerators for neural networks have shown great promise for both performance and power. These accelerators are at their most efficient when optimized for a fixed functionality. But this inflexibility limits the longevity of the hardware itself as the underlying neural network algorithms and structures undergo improvements and changes. We propose and evaluate a flexible design paradigm for accelerators with a close coordination with host processors. The relatively static matrix operations are implemented in specialized accelerators while fast-evolving functions, such as activations, are computed on the host processor. This architecture is enabled by a low latency shared buffer we call Sidebar. Sidebar memory is shared between the accelerator and host, exists outside of program address space and holds intermediate data only. We show that a generalised DMA dependent flexible accelerator design performs poorly in both perf and energy as compared to an equivalent fixed function accelerator. Sidebar based accelerator design achieves near identical performance and energy to equivalent fixed function accelerator while still providing all the flexibility of computing activations on the host processor.


title: POSE.R: Prediction-based Opportunistic Sensing for Resilient and Efficient Sensor Networks

abstract: The paper presents a distributed algorithm, called Prediction-based Opportunistic Sensing for Resilient and Efficient Sensor Networks (POSE.R), where the sensor nodes utilize predictions of the targets positions to probabilistically control their multi-modal operating states to track the target. There are two desired features of the algorithm: energy-efficiency and resilience. If the target is traveling through a high node density area, then an optimal sensor selection approach is employed that maximizes a joint cost function of remaining energy and geometric diversity around the targets position. This provides energy-efficiency and increases the network lifetime while preventing redundant nodes from tracking the target. On the other hand, if the target is traveling through a low node density area or in a coverage gap (e.g., formed by node failures or non-uniform node deployment), then a potential game is played amongst the surrounding nodes to optimally expand their sensing ranges via minimizing energy consumption and maximizing target coverage. This provides resilience, that is the self-healing capability to track the target in the presence of low node densities and coverage gaps. The algorithm is comparatively evaluated against existing approaches through Monte Carlo simulations which demonstrate its superiority in terms of tracking performance, network-resilience and network-lifetime.


title: Galaxy rotation curves in the $\mu$-deformation based approach to dark matter

abstract: We elaborate further the $\mu$-deformation-based approach to modeling dark matter, in addition to the earlier proposed use of $\mu$-deformed thermodynamics. Herein, we construct $\mu$-deformed analogs of the Lane-Emden equation (for density profiles), and find their solutions. Using these, we plot the rotation curves for a number of galaxies. Different curves describing chosen galaxies are labeled by respective (differing) values of the deformation parameter $\mu$. As result, the use of $\mu$-deformation leads to improved agreement with observational data. For all the considered galaxies, the obtained rotation curves (labeled by $\mu$) agree better with data as compared to the well known Bose-Einstein condensate model results of T.Harko. Besides, for five of the eight cases of galaxies we find better picture for rotation curves than the corresponding Navarro-Frenk-White (NFW) curves. Possible physical meaning of the parameter $\mu$, basic for this version of $\mu$-deformation, is briefly discussed.


title: Low Shot Learning with Untrained Neural Networks for Imaging Inverse Problems

abstract: Employing deep neural networks as natural image priors to solve inverse problems either requires large amounts of data to sufficiently train expressive generative models or can succeed with no data via untrained neural networks. However, very few works have considered how to interpolate between these no- to high-data regimes. In particular, how can one use the availability of a small amount of data (even $5-25$ examples) to one's advantage in solving these inverse problems and can a system's performance increase as the amount of data increases as well? In this work, we consider solving linear inverse problems when given a small number of examples of images that are drawn from the same distribution as the image of interest. Comparing to untrained neural networks that use no data, we show how one can pre-train a neural network with a few given examples to improve reconstruction results in compressed sensing and semantic image recovery problems such as colorization. Our approach leads to improved reconstruction as the amount of available data increases and is on par with fully trained generative models, while requiring less than $1 \%$ of the data needed to train a generative model.


title: Context-endcoding for neural network based skull stripping in magnetic resonance imaging

abstract: Skull stripping is usually the first step for most brain analysisprocess in magnetic resonance images. A lot of deep learn-ing neural network based methods have been developed toachieve higher accuracy. Since the 3D deep learning modelssuffer from high computational cost and are subject to GPUmemory limit challenge, a variety of 2D deep learning meth-ods have been developed. However, existing 2D deep learn-ing methods are not equipped to effectively capture 3D se-mantic information that is needed to achieve higher accuracy.In this paper, we propose a context-encoding method to em-power the 2D network to capture the 3D context information.For the context-encoding method, firstly we encode the 2Dfeatures of original 2D network, secondly we encode the sub-volume of 3D MRI images, finally we fuse the encoded 2Dfeatures and 3D features with semantic encoding classifica-tion loss. To get computational efficiency, although we en-code the sub-volume of 3D MRI images instead of buildinga 3D neural network, extensive experiments on three bench-mark Datasets demonstrate our method can achieve superioraccuracy to state-of-the-art alternative methods with the dicescore 99.6% on NFBS and 99.09 % on LPBA40 and 99.17 %on OASIS.


title: Force networks, torque balance and Airy stress in the planar vertex model of a confluent epithelium

abstract: The vertex model is a popular framework for modelling tightly packed biological cells, such as confluent epithelia. Cells are described by convex polygons tiling the plane and their equilibrium is found by minimizing a global mechanical energy, with vertex locations treated as degrees of freedom. Drawing on analogies with granular materials, we describe the force network for a localized monolayer and derive the corresponding discrete Airy stress function, expressed for each $N$-sided cell as $N$ scalars defined over kites covering the cell. We show how a torque balance (commonly overlooked in implementations of the vertex model) requires each internal vertex to lie at the orthocentre of the triangle formed by neighbouring edge centroids. Torque balance also places a geometric constraint on the stress in the neighbourhood of cellular trijunctions, and requires cell edges to be orthogonal to the links of a dual network that connect neighbouring cell centres and thereby triangulate the monolayer. We show how the Airy stress function depends on cell shape when a standard energy functional is adopted, and discuss implications for computational implementations of the model.


title: Sato-Tate Equidistribution for Families of Automorphic Representations through the Stable Trace Formula

abstract: In arXiv:1208.1945, Shin and Templier proved certain equidistribution bounds on local components of certain families of automorphic representations. We extend their weight-aspect results to families of automorphic representations where the Archimedean component is restricted to a single discrete-series representation instead of an entire $L$-packet. We do this by using a so-called "hyperendoscopy" version of the stable trace formula developed by Ferrari. The main technical difficulties are defining a version of hyperendoscopy that works for groups without simply connected derived subgroup and bounding the values of transfers of unramified functions. We also present an extension of Arthur's simple trace formula for test functions with Euler-Poincar\'e component at infinity to non-cuspidal groups since it does not seem to appear elsewhere in the literature.


title: The Structural Dynamics of the World Trade Center Catastrophe

abstract: Ba\v{z}ant et al. have proposed a model of a gravity-driven collapse of a tall building which collapses in a progressive-floor collapse after the failure of a single storey. The model allows the re-computation of the structural resistance of the building once the downward movement of the building has been quantified. We give a physically more sound version of the collapse model, and determine the downward movement of the North Tower of the World Trade Center. Thereby we reproduce a value for the upward resisting force during the collapse that is similar to what has been achieved by Ba\v{z}ant et al. for the first three seconds of the collapse. However, our method of measurement also includes data up to 9 seconds after collapse initiation. These data show a much bigger upward resistance force between 4 and 7 seconds after collapse initiation


title: Existence results for boundary value problems associated with singular strongly nonlinear equations

abstract: We consider a strongly nonlinear differential equation of the following general type $$(\Phi(a(t,x(t)) \, x'(t)))'= f(t,x(t),x'(t)), \quad \text{a.e. on $[0,T]$}$$ where $f$ is a Carath\'edory function, $\Phi$ is a strictly increasing homeomorphism (the $\Phi$-Laplacian operator) and the function $a$ is continuous and non-negative. We assume that $a(t,x)$ is bounded from below by a non-negative function $h(t)$, independent of $x$ and such that $1/h \in L^p(0,T)$ for some $p> 1$, and we require a weak growth condition of Wintner-Nagumo type. Under these assumptions, we prove existence results for the Dirichlet problem associated to the above equation, as well as for different boundary conditions. Our approach combines fixed point techniques and the upper/lower solutions method.


title: Asynchronous Distributed Event-Triggered Coordination for Multi-Agent Coverage Control

abstract: This paper re-visits a multi-agent deployment problem where agents are restricted from requesting information from other agents as well as sending acknowledgments when information is received. These communication constraints relax the assumptions of instantaneous communication and synchronous actions by agents (request and response actions). In this paper, we propose a fully asynchronous communication aware solution to the multi-agent deployment problem that uses an event-triggered broadcasting strategy. Unlike all existing triggered solutions, our event-triggered broadcasting algorithm relies on agents to decide when to broadcast (push) information to others in the network without the need for a response from other agents. In addition, the proposed strategy determines how best to move when up-to-date information is unavailable and cannot be requested. The algorithm is capable of achieving similar levels of performance to that of a continuous or periodic strategy. Our solution is proven to achieve asymptotic convergence and simulation results are provided to demonstrate that the proposed event-triggered broadcasting algorithm can achieve an adequate level of performance under the communication constraints.


title: Closed surfaces with different shapes that are indistinguishable by the SRNF

abstract: The Square Root Normal Field (SRNF), introduced by Jermyn et al. in [3], provides a way of representing immersed surfaces in $\mathbb R^3$, and equipping the set of these immersions with a "distance function" (to be precise, a pseudometric) that is easy to compute. Importantly, this distance function is invariant under reparametrizations (i.e., under self-diffeomorphisms of the domain surface) and under rigid motions of $\mathbb R^3$. Thus, it induces a distance function on the shape space of immersions, i.e., the space of immersions modulo reparametrizations and rigid motions of $\mathbb R^3$. In this paper, we give examples of the degeneracy of this distance function, i.e., examples of immersed surfaces (some closed and some open) that have the same SRNF, but are not the same up to reparametrization and rigid motions. We also prove that the SRNF does distinguish the shape of a standard sphere from the shape of any other immersed surface, and does distinguish between the shapes of any two embedded strictly convex surfaces.


title: Sulphur-Bearing and Complex Organic Molecules in an Infrared Cold Core

abstract: Since the start of ALMA observatory operation, new and important chemistry of infrared cold core was revealed. Molecular transitions at millimeter range are being used to identify and to characterize these sources. We have investigated the 231 GHz ALMA archive observations of the infrared dark cloud region C9, focusing on the brighter source that we called as IRDC-C9 Main. We report the existence of two sub-structures on the continuum map of this source: a compact bright spot with high chemistry diversity that we labelled as core, and a weaker and extended one, that we labelled as tail. In the core, we have identified lines of the molecules OCS(19-18), $^{13}$CS(5-4) and CH$_{3}$CH$_{2}$CN, several lines of CH$_{3}$CHO and the k-ladder emission of $^{13}$CH$_{3}$CN.We report two different temperature regions: while the rotation diagram of CH$_{3}$CHO indicates a temperature of 25 K, the rotation diagram of $^{13}$CH$_{3}$CN indicates a warmer phase at temperature of $\sim450$K. In the tail, only the OCS(19-18) and $^{13}$CS(5-4) lines were detected. We used the $Nautilus$ and the \textsc{Radex} codes to estimate the column densities and the abundances. The existence of hot gas in the core of IRDC-C9 Main suggests the presence of a protostar, which is not present in the tail.


title: GenSample: A Genetic Algorithm for Oversampling in Imbalanced Datasets

abstract: Imbalanced datasets are ubiquitous. Classification performance on imbalanced datasets is generally poor for the minority class as the classifier cannot learn decision boundaries well. However, in sensitive applications like fraud detection, medical diagnosis, and spam identification, it is extremely important to classify the minority instances correctly. In this paper, we present a novel technique based on genetic algorithms, GenSample, for oversampling the minority class in imbalanced datasets. GenSample decides the rate of oversampling a minority example by taking into account the difficulty in learning that example, along with the performance improvement achieved by oversampling it. This technique terminates the oversampling process when the performance of the classifier begins to deteriorate. Consequently, it produces synthetic data only as long as a performance boost is obtained. The algorithm was tested on 9 real-world imbalanced datasets of varying sizes and imbalance ratios. It achieved the highest F-Score on 8 out of 9 datasets, confirming its ability to better handle imbalanced data compared to other existing methodologies.


title: The chemical birth-death process with Gillespie noise

abstract: A nontrivial technical issue has long plagued the literature on stochastic path integrals: it is not clear which definition is correct in the case of multiplicative/state-dependent noise. One reason for this is the unavailability of exactly solvable toy problems with state-dependent noise, that could in principle be used to compare the correctness of different approaches. In this paper, we provide an exact path integral calculation of the transition probability corresponding to a one-dimensional system with state-dependent noise. In particular, we solve the chemical birth-death process with Gillespie noise (the canonical continuous approximation to the discrete birth-death process often used as a toy model in chemical kinetics) using a Martin-Siggia-Rose-Janssen-De Dominicis (MSRJD) path integral. We verify that our result is correct by solving the Fokker-Planck equation via eigenfunction expansion.


title: Partially Detected Intelligent Traffic Signal Control: Environmental Adaptation

abstract: Partially Detected Intelligent Traffic Signal Control (PD-ITSC) systems that can optimize traffic signals based on limited detected information could be a cost-efficient solution for mitigating traffic congestion in the future. In this paper, we focus on a particular problem in PD-ITSC - adaptation to changing environments. To this end, we investigate different reinforcement learning algorithms, including Q-learning, Proximal Policy Optimization (PPO), Advantage Actor-Critic (A2C), and Actor-Critic with Kronecker-Factored Trust Region (ACKTR). Our findings suggest that RL algorithms can find optimal strategies under partial vehicle detection; however, policy-based algorithms can adapt to changing environments more efficiently than value-based algorithms. We use these findings to draw conclusions about the value of different models for PD-ITSC systems.


title: Study of the impact of climate change on precipitation in Paris area using method based on iterative multiscale dynamic time warping (IMS-DTW)

abstract: Studying the impact of climate change on precipitation is constrained by finding a way to evaluate the evolution of precipitation variability over time. Classical approaches (feature-based) have shown their limitations for this issue due to the intermittent and irregular nature of precipitation. In this study, we present a novel variant of the Dynamic time warping method quantifying the dissimilarity between two rainfall time series based on shapes comparisons, for clustering annual time series recorded at daily scale. This shape based approach considers the whole information (variability, trends and intermittency). We further labeled each cluster using a feature-based approach. While testing the proposed approach on the time series of Paris Montsouris, we found that the precipitation variability increased over the years in Paris area.


title: Thin liquid film resulting from a distributed source on a vertical wall

abstract: We examine the dynamics of a thin film formed by a distributed liquid source on a vertical solid wall. The model is derived using the lubrication approximation and includes the effects of gravity, upward airflow and surface tension. When surface tension is neglected, a critical source strength is found below which the film flows entirely upward due to the airflow, and above which some of the flow is carried downward by gravity. In both cases, a steady state is established over the region where the finite source is located. Shock waves that propagate in both directions away from the source region are analyzed. Numerical simulations are included to validate the analytical results. For models including surface tension, numerical simulations are carried out. The presence of surface tension, even when small, causes a dramatic change in the film profiles and the speed and structure of the shock waves. These are studied in more detail by examining the traveling wave solutions away from the source region.


title: Classification over a predicate -- the general case. Part I -- structure theory

abstract: We begin a systematic development of structure theory for a first order theory, which is stable over a monadic predicate. We show that stability over a predicate implies quantifier free definability of types over stable sets, introduce an independence notion and explore its properties, prove stable amalgamation results, and show that every type over a model, orthogonal to the predicate, is generically stable.


title: Avalanche induced co-existing localised and thermal regions in disordered chains

abstract: We investigate the stability of an Anderson localized chain to the inclusion of a single finite interacting thermal seed. This system models the effects of rare low-disorder regions on many-body localized chains. Above a threshold value of the mean localization length, the seed causes runaway thermalization in which a finite fraction of the orbitals are absorbed into a thermal bubble. This `partially avalanched' regime provides a simple example of a delocalized, non-ergodic dynamical phase. We derive the hierarchy of length scales necessary for typical samples to exhibit the avalanche instability, and show that the required seed size diverges at the avalanche threshold. We introduce a new dimensionless statistic that measures the effective size of the thermal bubble, and use it to numerically confirm the predictions of avalanche theory in the Anderson chain at infinite temperature.


title: Fast relaxation on qutrit transitions of nitrogen-vacancy centers in nanodiamonds

abstract: Thanks to their versatility, nitrogen-vacancy (NV) centers in nanodiamonds have been widely adopted as nanoscale sensors. However, their sensitivities are limited by their short coherence times relative to NVs in bulk diamond. A more complete understanding of the origins of decoherence in nanodiamonds is critical to improving their performance. Here we present measurements of fast spin relaxation on qutrit transitions between the energy eigenstates composed of the $m_s = \pm1$ states of the NV$^-$ electronic ground state in $\sim40$-nm nanodiamonds under ambient conditions. For frequency splittings between these states of $\sim20~$MHz or less the maximum theoretically achievable coherence time of the NV spin is $\sim2~$orders of magnitude shorter than would be expected if the NV spin is treated as a qubit. We attribute this fast relaxation to electric field noise. We observe a strong falloff of the qutrit relaxation rate with the splitting between the states, suggesting that, whenever possible, measurements with NVs in nanodiamonds should be performed at moderate axial magnetic fields ($>60$ G). We also observe that the qutrit relaxation rate changes with time. These findings indicate that surface electric field noise is a major source of decoherence for NVs in nanodiamonds.


title: Weak decays of magnetized charged pions in the symmetric gauge

abstract: We consider the decay $\pi^- \to l \, \bar{\nu}_l$ ($l=e^-,\,\mu^-$) in the presence of an arbitrary large uniform magnetic field, using the symmetric gauge. The consequences of the axial symmetry of the problem and the issue of angular momentum conservation are discussed in detail. In particular, we analyze the projection of both the canonical and the mechanical total angular momenta along the direction of the magnetic field. It is found that while the former is conserved in the symmetric gauge, the latter is not conserved in both the symmetric and Landau gauges. We derive an expression for the integrated $\pi^- \to l \, \bar{\nu}_l$ width that coincides exactly with the one we previously found using the Landau gauge, providing an explicit test of the gauge independence of that result. Such an expression implies that for nonzero magnetic fields the decay width does not vanish in the limit in which the outgoing charged leptons can be considered as massless, i.e. it does not exhibit the helicity suppression found in the case of no external field.


title: Low-frequency Compensated Synthetic Impulse Responses for Improved Far-field Speech Recognition

abstract: We propose a method for generating low-frequency compensated synthetic impulse responses that improve the performance of far-field speech recognition systems trained on artificially augmented datasets. We design linear-phase filters that adapt the simulated impulse responses to equalization distributions corresponding to real-world captured impulse responses. Our filtered synthetic impulse responses are then used to augment clean speech data from LibriSpeech dataset [1]. We evaluate the performance of our method on the real-world LibriSpeech test set. In practice, our low-frequency compensated synthetic dataset can reduce the word-error-rate by up to 8.8% for far-field speech recognition.


title: Convexity of energy function associated to the harmonic maps between surfaces

abstract: For a fixed smooth map $u_0$ between two Riemann surfaces $\Sigma$ and $S$ with non-zero degree, we consider the energy function on Teichm\"uller space $\mc{T}$ of $\Sigma$ that assigns to a complex structure $t\in \mc{T}$ on $\Sigma$ the energy of the harmonic map $u_t:\Sigma_t:=(\Sigma,t) \to S$ homotopic to $u_0$. We prove that the energy function is convex at its critical points. If $t_0\in\mc{T}$ is a critical point such that $du_{t_0}$ is never zero, then the energy function is strictly convex at this point. As an application, in the case that $u_0$ is a covering map, we prove that there exists a unique critical point $t_0\in \mc{T}$ minimizing the energy function. Moreover, the energy density satisfies $\frac{1}{2}|du|^2(t_0)\equiv 1$ and the Hessian of the energy function is positive definite at this point.


title: Passive Radar at the Roadside Unit to Configure Millimeter Wave Vehicle-to-Infrastructure Links

abstract: Millimeter wave (mmWave) vehicular channels are highly dynamic, and the communication link needs to be reconfigured frequently. In this work, we propose to use a passive radar receiver at the roadside unit to reduce the training overhead of establishing an mmWave communication link. Specifically, the passive radar will tap the transmissions from the automotive radars of the vehicles on the road. The spatial covariance of the received radar signals will be estimated and used to establish the communication link. We propose a simplified radar receiver that does not require the transmitted waveform as a reference. To leverage the radar information for beamforming, the radar azimuth power spectrum (APS) and the communication APS should be similar. We outline a radar covariance correction strategy to increase the similarity between the radar and communication APS. We also propose a metric to compare the similarity of the radar and communication APS that has a connection with the achievable rate. We present simulation results based on ray-tracing data. The results show that: (i) covariance correction improves the similarity of radar and communication APS, and (ii) the radar-assisted strategy significantly reduces the training overhead, being particularly useful in non-line-of-sight scenarios.


title: Approximate Stochastic Reachability for High Dimensional Systems

abstract: We present a method to compute the stochastic reachability safety probabilities for high-dimensional stochastic dynamical systems. Our approach takes advantage of a nonparametric learning technique known as conditional distribution embeddings to model the stochastic kernel using a data-driven approach. By embedding the dynamics and uncertainty within a reproducing kernel Hilbert space, it becomes possible to compute the safety probabilities for stochastic reachability problems as simple matrix operations and inner products. We employ a convergent approximation technique, random Fourier features, in order to alleviate the increased computational requirements for high-dimensional systems. This technique avoids the curse of dimensionality, and enables the computation of safety probabilities for high-dimensional systems without prior knowledge of the structure of the dynamics or uncertainty. We validate this approach on a double integrator system, and demonstrate its capabilities on a million-dimensional, nonlinear, non-Gaussian, repeated planar quadrotor system.


title: Black Hole Genesis and origin of inertia

abstract: I propose that if the universe was born as a baby universe on the other side of the event horizon of a black hole existing in a parent universe, then the corresponding white hole provides the absolute inertial frame of reference in the universe. The principle of relativity then allows to construct an infinity of other inertial frames. Consequently, this scenario could give the origin of inertia and complete Einstein's general theory of relativity by making it consistent with Mach's principle.


title: Excitons in Phosphorene: A Semi-Analytical Perturbative Approach

abstract: In this paper we develop a semi-analytical perturbation-theory approach to the calculation of the energy levels (binding energies) and wave functions of excitons in phosphorene. Our method gives both the exciton wave function in real and reciprocal spaces with the same ease. This latter aspect is important for the calculation of the nonlinear optical properties of phosphorene. We find that our results are in agreement with calculations based both on the Bethe-Salpeter equation and on Monte Carlo simulations, which are computationally much more demanding. Our approach thus introduces a simple, viable, and accurate method to address the problem of excitons in anisotropic two-dimensional materials.


title: Different responses of the Rayleigh-Taylor type and resistive drift wave instabilities to the velocity shear

abstract: The effects of velocity shear on the unstable modes driven by the effective gravity (Rayleigh-Taylor and interchange) and resistive drift wave instabilities for inhomogeneous equilibrium fluid/plasma density are analyzed for the localized eigenmode problems. It is shown that the effect of the velocity shear drastically depends on the type of instability. Whereas the velocity shear can significantly suppress both Rayleigh-Taylor and interchange instabilities, it has only a week impact on the growth rate of the resistive drift wave. This is directly related to the physical nature of these instabilities. For the Rayleigh-Taylor and interchange instabilities, the shear flow tilts the eddies of the stream functions, while for the resistive drift wave instability the shear flow simply shifts the eddies in the radial direction with no tilting. However, for large velocity shear, the eigenmode solutions for resistive drift waves cease to exist.


title: Wasserstein total variation filtering

abstract: In this paper, we expand upon the theory of trend filtering by introducing the use of the Wasserstein metric as a means to control the amount of spatiotemporal variation in filtered time series data. While trend filtering utilizes regularization to produce signal estimates that are piecewise linear, in the case of $\ell_1$ regularization, or temporally smooth, in the case of $\ell_2$ regularization, it ignores the topology of the spatial distribution of signal. By incorporating the information about the underlying metric space of the pixel layout, the Wasserstein metric is an attractive choice as a regularizer to undercover spatiotemporal trends in time series data. We introduce a globally optimal algorithm for efficiently estimating the filtered signal under a Wasserstein finite differences operator. The efficacy of the proposed algorithm in preserving spatiotemporal trends in time series video is demonstrated in both simulated and fluorescent microscopy videos of the nematode caenorhabditis elegans and compared against standard trend filtering algorithms.


title: Random walk on the symplectic forms over a finite field

abstract: Random transvections generate a walk on the space of symplectic forms on $\mathbf{F}_q^{2n}$. The main result is establishing cutoff for this Markov chain. After $n+c$ steps, the walk is close to uniform while before $n-c$, it is far from uniform. The upper bound is proved by explicitly finding and bounding the eigenvalues of the random walk. The lower bound is found by showing that the support of the walk is exponentially small if only $n-c$ steps are taken. The result can be viewed as a $q$-deformation of a result of Diaconis and Holmes on a random walk on matchings.


title: An Inverse Dynamics Approach to Control Lyapunov Functions

abstract: With the goal of moving towards implementation of increasingly dynamic behaviors on underactuated systems, this paper presents an optimization-based approach for solving full-body dynamics based controllers on underactuated bipedal robots. The primary focus of this paper is on the development of an alternative approach to the implementation of controllers utilizing control Lyapunov function based quadratic programs. This approach utilizes many of the desirable aspects from successful inverse dynamics based controllers in the literature, while also incorporating a variant of control Lyapunov functions that renders better convergence in the context of tracking outputs. The principal benefits of this formulation include a greater ability to add costs which regulate the resulting behavior of the robot. In addition, the model error-prone inertia matrix is used only once, in a non-inverted form. The result is a successful demonstration of the controller for walking in simulation, and applied on hardware in real-time for dynamic crouching.


title: Semi-Supervised Histology Classification using Deep Multiple Instance Learning and Contrastive Predictive Coding

abstract: Convolutional neural networks can be trained to perform histology slide classification using weak annotations with multiple instance learning (MIL). However, given the paucity of labeled histology data, direct application of MIL can easily suffer from overfitting and the network is unable to learn rich feature representations due to the weak supervisory signal. We propose to overcome such limitations with a two-stage semi-supervised approach that combines the power of data-efficient self-supervised feature learning via contrastive predictive coding (CPC) and the interpretability and flexibility of regularized attention-based MIL. We apply our two-stage CPC + MIL semi-supervised pipeline to the binary classification of breast cancer histology images. Across five random splits, we report state-of-the-art performance with a mean validation accuracy of 95% and an area under the ROC curve of 0.968. We further evaluate the quality of features learned via CPC relative to simple transfer learning and show that strong classification performance using CPC features can be efficiently leveraged under the MIL framework even with the feature encoder frozen.


title: A Safety Constrained Control Framework for UAVs in GPS Denied Environment

abstract: Unmanned aerial vehicles (UAVs) suffer from sensor drifts in GPS denied environments, which can lead to potentially dangerous situations. To avoid intolerable sensor drifts in the presence of GPS spoofing attacks, we propose a safety constrained control framework that adapts the UAV at a path re-planning level to support resilient state estimation against GPS spoofing attacks. The attack detector is used to detect GPS spoofing attacks based on the resilient state estimation and provides a switching criterion between the robust control mode and emergency control mode. To quantify the safety margin, we introduce the escape time which is defined as a safe time under which the state estimation error remains within a tolerable error with designated confidence. An attacker location tracker (ALT) is developed to track the location of the attacker and estimate the output power of the spoofing device by the unscented Kalman filter (UKF) with sliding window outputs. Using the estimates from ALT, an escape controller (ESC) is designed based on the constrained model predictive controller (MPC) such that the UAV escapes from the effective range of the spoofing device within the escape time.


title: Intranet Security using a LAN Packet Sniffer to Monitor Traffic

abstract: This paper was designed to provide Intranet traffic monitoring by sniffing the packets at the local Area Network (LAN) server end to provide security and control. It was implemented using five computer systems configured with static Internet Protocol (IP) addresses used in monitoring the IP traffic on the network by capturing and analyzing live packets from various sources and destinations in the network. The LAN was deployed on windows 8 with a D-link 16-port switch, category 6 Ethernet cable and other LAN devices. The IP traffics were captured and analyzed using Wireshark Version 2.0.3. Four network instructions were used in the analysis of the IP traffic and the results displayed the IP and Media Access Control (MAC) address sources and destinations of the frames, Ethernet, IP addresses, User Datagram Protocol (UDP) and Hypertext Transfer Protocol (HTTP). The outcome can aid network administrators to control Intranet access and provide security.


title: Superconvergent flux recovery of the Rannacher-Turek nonconforming element

abstract: This work presents superconvergence estimates of the nonconforming Rannacher--Turek element for second order elliptic equations on any cubical meshes in $\mathbb{R}^{2}$ and $\mathbb{R}^{3}$. In particular, a corrected numerical flux is shown to be superclose to the Raviart--Thomas interpolant of the exact flux. We then design a superconvergent recovery operator based on local weighted averaging. Combining the supercloseness and the recovery operator, we prove that the recovered flux superconverges to the exact flux. As a by-product, we obtain a superconvergent recovery estimate of the Crouzeix--Raviart element method for general elliptic equations.


title: Duality for Robust Linear Infinite Programming Problems Revisited

abstract: In this paper, we consider the robust linear infinite programming problem $({\rm RLIP}_c) $ defined by \begin{eqnarray*} ({\rm RLIP}_c)\quad &&\inf\; \langle c,x\rangle \textrm{subject to } &&x\in X,\; \langle x^\ast,x \rangle \le r ,\;\forall (x^\ast,r)\in\mathcal{U}_t,\; \forall t\in T, \end{eqnarray*} where $X$ is a locally convex Hausdorff topological vector space, $T$ is an arbitrary (possible infinite) index set, $c\in X^*$, and $\mathcal{U}_t\subset X^*\times \mathbb{R}$, $t \in T$ are uncertainty sets. We propose an approach to duality for the robust linear problems with convex constraints $({\rm RP}_c)$ and establish corresponding robust strong duality and also, stable robust strong duality, With the different ways of arranging data from $({\rm RLIP}_c) $, one gets back to the model $({\rm RP}_c)$ and the (stable) robust strong duality for $({\rm RP}_c)$ applies. By such a way, nine versions of dual problems for $ ({\rm RLIP}_c)$ are proposed. Necessary and sufficient conditions for stable robust strong duality of these pairs of primal-dual problems are given, which some cover several known results in the literature while the others, due to the best knowledge of the authors, are new. Moreover, as by-products, we obtained from the robust strong duality for variants pairs of primal-dual problems, several robust Farkas-type results for linear infinite systems with uncertainty. Lastly, as applications, we get the results for robust linear problems with sub-affine constraints, and to linear infinite problems (i.e., $({\rm RLIP}_c) $ with the absence of uncertainty).


title: A Strategic Cyber Crime and Security Awareness Information System using a Dedicated Portal

abstract: A real time portal (www.ganamoscybersecure.org) to enlighten people on how to protect their data in the web, the strategies adopted by cyber criminals to succeed in exploiting their victims as well as the mistakes made by people and organizations that make them prone to the menace of cyber crime has been designed in this paper. Critical observations were made over time on the degree of awareness and attitudes of people and organizations in some parts of South Africa and Nigeria towards information security. Interviews were conducted using structured questionnaire to elicit information. The outcome showed that most individuals and organizations lack adequate awareness on strategies adopted by cyber criminals, and pay little attention to securing their online data. The application of the services provided by the portal designed would be a sine qua non for contending with the menace of cyber crime.act:


title: Variational Predictive Information Bottleneck

abstract: In classic papers, Zellner demonstrated that Bayesian inference could be derived as the solution to an information theoretic functional. Below we derive a generalized form of this functional as a variational lower bound of a predictive information bottleneck objective. This generalized functional encompasses most modern inference procedures and suggests novel ones.


title: Emergent Properties of Finetuned Language Representation Models

abstract: Large, self-supervised transformer-based language representation models have recently received significant amounts of attention, and have produced state-of-the-art results across a variety of tasks simply by scaling up pre-training on larger and larger corpora. Such models usually produce high dimensional vectors, on top of which additional task-specific layers and architectural modifications are added to adapt them to specific downstream tasks. Though there exists ample evidence that such models work well, we aim to understand what happens when they work well. We analyze the redundancy and location of information contained in output vectors for one such language representation model -- BERT. We show empirical evidence that the [CLS] embedding in BERT contains highly redundant information, and can be compressed with minimal loss of accuracy, especially for finetuned models, dovetailing into open threads in the field about the role of over-parameterization in learning. We also shed light on the existence of specific output dimensions which alone give very competitive results when compared to using all dimensions of output vectors.


title: Finite spatial-grid effects in energy-conserving particle-in-cell algorithms

abstract: Finite-grid (or aliasing) instabilities are pervasive in particle-in-cell (PIC) plasma simulation algorithms, and force the modeler to resolve the smallest (Debye) length scale in the problem regardless of dynamical relevance. These instabilities originate in the aliasing of interpolation errors between mesh quantities and particles (which live in the space-time continuum). Recently, strictly energy-conserving PIC (EC-PIC) algorithms have been developed that promise enhanced robustness against aliasing instabilities. In this study, we confirm by analysis that EC-PIC is stable against aliasing instabilities for stationary plasmas. For drifting plasmas, we demonstrate by analysis and numerical experiments that, while EC-PIC algorithms are not free from these instabilities in principle, they feature a benign stability threshold for finite-temperature plasmas that make them usable in practice for a large class of problems (featuring ambipolarity and realistic ion-electron mass ratios) without the need to resolve Debye lengths spatially. We also demonstrate that this threshold is absent for the popular momentum-conserving PIC algorithms, which are therefore unstable for both drifting and stationary plasmas.


title: Self-closeness numbers of finite cell complexes

abstract: We reformulate the inequalities among self-closeness numbers of spaces in cofibrations making use of homology dimension and show that the self-closeness number of a space is less than or equal to the homology dimension of the space. Then we prove a relation of self-closeness numbers and the connectivity for manifolds satisfying Poincar\'{e} duality. On the other hand we determine the self-closeness numbers of the real projective spaces, lens spaces and a cell complex defined by Mimura and Toda. Moreover, making use of the models of Sullivan and Quillen, we show several properties of self-closeness number for finite cell complexes, and rational examples are udied to obtain some precise results. Finally, we prove relations among self-closeness numbers defined by homotopy groups, homology groups and cohomology groups.


title: Large Scale Model Predictive Control with Neural Networks and Primal Active Sets

abstract: This work presents an explicit-implicit procedure to compute a model predictive control (MPC) law with guarantees on recursive feasibility and asymptotic stability. The approach combines an offline-trained fully-connected neural network with an online primal active set solver. The neural network provides a control input initialization while the primal active set method ensures recursive feasibility and asymptotic stability. The neural network is trained with a primal-dual loss function, aiming to generate control sequences that are primal feasible and meet a desired level of suboptimality. Since the neural network alone does not guarantee constraint satisfaction, its output is used to warm start the primal active set method online. We demonstrate that this approach scales to large problems with thousands of optimization variables, which are challenging for current approaches. Our method achieves a 2x reduction in online inference time compared to the best method in a benchmark suite of different solver and initialization strategies.


title: Gloss, Color and Topography Scanning for Reproducing a Painting's Appearance using 3D printing

abstract: High fidelity reproductions of paintings provide new opportunities to museums in preserving and providing access to cultural heritage. This paper presents an integrated system which is able to capture and fabricate color, topography and gloss of a painting, of which gloss capturing forms the most important contribution. A 3D imaging system, using fringe-encoded stereo imaging, is extended to capture spatially-varying gloss, utilizing specular reflectance polarization. The gloss is measured by sampling the specular reflection around Brewster's angle, where these reflections are effectively polarized, and can be separated from the unpolarized, diffuse reflectance. Off-center gloss measurements are calibrated relative to the center measurement. Off-specular gloss measurements, following from local variation of the surface normal, are masked based on the height map and corrected. Shadowed regions, caused by the 3D relief, are treated similarly. The area of a single capture is approximately 180x90mm at a resolution of 25x25micron. Aligned color, height, and gloss tiles are stitched together, registering overlapping color areas. These maps are inputs for a 3D printer. Two paintings were reproduced to verify the effectiveness and efficiency of the proposed system. One painting was scanned four times, consecutively rotated by 90 degrees, to evaluate the influence of the scanning system geometric configuration on the gloss measurement. Experimental results show that the method is sufficiently fast for practical application. The results can well be used for the purpose of physical reproduction and other applications needing first-order estimates of the appearance. Our method to extend appearance scanning with gloss measurements is a valuable addition in the quest for realistic reproductions, in terms of its practical applicability and its perceptual added value, when added to color and topography.


title: Distributed surveillance by a swarm of UAVs operating under positional uncertainty

abstract: This article proposes a collaborative control framework for an autonomous aerial swarm tasked with the surveillance of a convex region of interest. Each Mobile Aerial Agent (MAA) is equipped with a Pan-Tilt-Zoom (PTZ) camera of conical FOV and suffers from sensor-induced positional uncertainty. By utilizing a Voronoi-free tessellation strategy and a gradient scheme, the heterogeneous swarm self-organizes in a distributed manner to monotonically achieve optimal collective visual coverage of the region of interest, both in terms of quality and total area. Simulation studies are offered to investigate the effectiveness of the suggested scheme.


title: Zero-Shot Multi-Speaker Text-To-Speech with State-of-the-art Neural Speaker Embeddings

abstract: While speaker adaptation for end-to-end speech synthesis using speaker embeddings can produce good speaker similarity for speakers seen during training, there remains a gap for zero-shot adaptation to unseen speakers. We investigate multi-speaker modeling for end-to-end text-to-speech synthesis and study the effects of different types of state-of-the-art neural speaker embeddings on speaker similarity for unseen speakers. Learnable dictionary encoding-based speaker embeddings with angular softmax loss can improve equal error rates over x-vectors in a speaker verification task; these embeddings also improve speaker similarity and naturalness for unseen speakers when used for zero-shot adaptation to new speakers in end-to-end speech synthesis.


title: Symmetry multi-reduction method for partial differential equations with conservation laws

abstract: For partial differential equations (PDEs) that have $n\geq2$ independent variables and a symmetry algebra of dimension at least $n-1$, an explicit algorithmic method is presented for finding all symmetry-invariant conservation laws that will reduce to first integrals for the ordinary differential equation (ODE) describing symmetry-invariant solutions of the PDE. This significantly generalizes the double reduction method known in the literature. Moreover, the condition of symmetry-invariance of a conservation law is formulated in an improved way by using multipliers, thereby allowing symmetry-invariant conservation laws to be obtained directly, without the need to first find conservation laws and then check their invariance. This cuts down considerably the number and complexity of computational steps involved in the reduction method. If the space of symmetry-invariant conservation laws has dimension $m\geq 1$, then the method yields $m$ first integrals along with a check of which ones are non-trivial via their multipliers. Several examples of interesting symmetry reductions are considered: travelling waves and similarity solutions in $1+1$ dimensions; line travelling waves, line similarity solutions, and similarity travelling waves in $2+1$ dimensions; rotationally symmetric similarity solutions in $n+1$ dimensions. In addition, examples of nonlinear PDEs for which the method yields the explicit general solution for symmetry-invariant solutions are shown.


title: Attention-based Curiosity-driven Exploration in Deep Reinforcement Learning

abstract: Reinforcement Learning enables to train an agent via interaction with the environment. However, in the majority of real-world scenarios, the extrinsic feedback is sparse or not sufficient, thus intrinsic reward formulations are needed to successfully train the agent. This work investigates and extends the paradigm of curiosity-driven exploration. First, a probabilistic approach is taken to exploit the advantages of the attention mechanism, which is successfully applied in other domains of Deep Learning. Combining them, we propose new methods, such as AttA2C, an extension of the Actor-Critic framework. Second, another curiosity-based approach - ICM - is extended. The proposed model utilizes attention to emphasize features for the dynamic models within ICM, moreover, we also modify the loss function, resulting in a new curiosity formulation, which we call rational curiosity. The corresponding implementation can be found at https://github.com/rpatrik96/AttA2C/.


title: A Characteristic Mapping Method for the two-dimensional incompressible Euler equations

abstract: We propose an efficient semi-Lagrangian method for solving the two-dimensional incompressible Euler equations with high precision on a coarse grid. The new approach evolves the flow map using the gradient-augmented level set method (GALSM). Since the flow map can be decomposed into submaps (each over a finite time interval), the error can be controlled by choosing the remapping times appropriately. This leads to a numerical scheme that has exponential resolution in linear time. Error estimates are provided and conservation properties are analyzed. The computational efficiency and the high precision of the method are illustrated for a vortex merger and a four mode and a random flow. Comparisons with a Cauchy-Lagrangian method are also presented.


title: Decomposing sutured monopole and Instanton Floer homologies

abstract: In this paper, we generalize the work of the second author and prove a grading shifting property, in sutured monopole and instanton Floer theories, for general balanced sutured manifolds. This result has a few consequences. First, we offer an algorithm that computes the Floer homologies of a family of sutured handle-bodies. Second, we obtain a canonical decomposition of sutured monopole and instanton Floer homologies and build polytopes for these two theories, which was initially achieved by Juh\'asz for sutured (Heegaard) Floer homology. Third, we establish a Thurston-norm detection result for monopole and instanton knot Floer homologies, which were introduced by Kronheimer and Mrowka. The same result was originally proved by Ozsv\'ath and Szab\'o for link Floer homology. Last, we generalize the construction of minus versions of monopole and instanton knot Floer homology, which was initially done for knots by the second author, to the case of links. Along with the construction of polytopes, we also proved that, for a balanced sutured manifold with vanishing second homology, the rank of the sutured monopole or instanton Floer homology bounds the depth of the balanced sutured manifold. As a corollary, we obtain an independent proof that monopole and instanton knot Floer homologies, as mentioned above, both detect fibred knots in $S^3$. This result was originally achieved by Kronheimer and Mrowka.


title: Relation Module for Non-answerable Prediction on Question Answering

abstract: Machine reading comprehension(MRC) has attracted significant amounts of research attention recently, due to an increase of challenging reading comprehension datasets. In this paper, we aim to improve a MRC model's ability to determine whether a question has an answer in a given context (e.g. the recently proposed SQuAD 2.0 task). Our solution is a relation module that is adaptable to any MRC model. The relation module consists of both semantic extraction and relational information. We first extract high level semantics as objects from both question and context with multi-head self-attentive pooling. These semantic objects are then passed to a relation network, which generates relationship scores for each object pair in a sentence. These scores are used to determine whether a question is non-answerable. We test the relation module on the SQuAD 2.0 dataset using both BiDAF and BERT models as baseline readers. We obtain 1.8% gain of F1 on top of the BiDAF reader, and 1.0% on top of the BERT base model. These results show the effectiveness of our relation module on MRC


title: Diametrical Risk Minimization: Theory and Computations

abstract: The theoretical and empirical performance of Empirical Risk Minimization (ERM) often suffers when loss functions are poorly behaved with large Lipschitz moduli and spurious sharp minimizers. We propose and analyze a counterpart to ERM called Diametrical Risk Minimization (DRM), which accounts for worst-case empirical risks within neighborhoods in parameter space. DRM has generalization bounds that are independent of Lipschitz moduli for convex as well as nonconvex problems and it can be implemented using a practical algorithm based on stochastic gradient descent. Numerical results illustrate the ability of DRM to find quality solutions with low generalization error in sharp empirical risk landscapes from benchmark neural network classification problems with corrupted labels.


title: Weakly-Supervised Degree of Eye-Closeness Estimation

abstract: Following recent technological advances there is a growing interest in building non-intrusive methods that help us communicate with computing devices. In this regard, accurate information from eye is a promising input medium between a user and computing devices. In this paper we propose a method that captures the degree of eye closeness. Although many methods exist for detection of eyelid openness, they are inherently unable to satisfactorily perform in real world applications. Detailed eye state estimation is more important, in extracting meaningful information, than estimating whether eyes are open or closed. However, learning reliable eye state estimator requires accurate annotations which is cost prohibitive. In this work, we leverage synthetic face images which can be generated via computer graphics rendering techniques and automatically annotated with different levels of eye openness. These synthesized training data images, however, have a domain shift from real-world data. To alleviate this issue, we propose a weakly-supervised method which utilizes the accurate annotation from the synthetic data set, to learn accurate degree of eye openness, and the weakly labeled (open or closed) real world eye data set to control the domain shift. We introduce a data set of 1.3M synthetic face images with detail eye openness and eye gaze information, and 21k real-world images with open/closed annotation. The dataset will be released online upon acceptance. Extensive experiments validate the effectiveness of the proposed approach.


title: Blind Inference of Centrality Rankings from Graph Signals

abstract: We study the blind centrality ranking problem, where our goal is to infer the eigenvector centrality ranking of nodes solely from nodal observations, i.e., without information about the topology of the network. We formalize these nodal observations as graph signals and model them as the outputs of a network process on the underlying (unobserved) network. A simple spectral algorithm is proposed to estimate the leading eigenvector of the associated adjacency matrix, thus serving as a proxy for the centrality ranking. A finite rate performance analysis of the algorithm is provided, where we find a lower bound on the number of graph signals needed to correctly rank (with high probability) two nodes of interest. We then specialize our general analysis for the particular case of dense \ER graphs, where existing graph-theoretical results can be leveraged. Finally, we illustrate the proposed algorithm via numerical experiments in synthetic and real-world networks, making special emphasis on how the network features influence the performance.


title: Precursor Photometric Study of Astras Satellite Cluster 19.2$^\circ$ E for Geostationary Debris Profiling

abstract: Aperture photometry was performed on images (from the SuperWASP instrument) of the 19.2$^\circ$E geostationary Astras satellite constellation over 5 nights to form light curves and predict model and movement parameters of the satellites. The 1KR satellite is observed to have two peaks, 90$^\circ$ out of phase indicating rotating wings, while satellite 1M is predicted to have shadowing due to dips in its light curve or a single wing design due to a single major peak. All satellites have peak magnitudes at the minimum sun phase angle 28$^\circ$ as expected. The developed methods and results serve a precursor to developing methods to address the ultimate goal of geostationary debris profiling.


title: A Definitional Implementation of the Lax Logical Framework LLFP in Coq, for Supporting Fast and Loose Reasoning

abstract: The Lax Logical Framework, LLFP, was introduced, by a team including the last two authors, to provide a conceptual framework for integrating different proof development tools, thus allowing for external evidence and for postponing, delegating, or factoring-out side conditions. In particular, LLFP allows for reducing the number of times a proof-irrelevant check is performed. In this paper we give a shallow, actually definitional, implementation of LLFP in Coq, i.e. we use Coq both as host framework and oracle for LLFP. This illuminates the principles underpinning the mechanism of Lock-types and also suggests how to possibly extend Coq with the features of LLFP. The derived proof editor is then put to use for developing case-studies on an emerging paradigm, both at logical and implementation level, which we call fast and loose reasoning following Danielsson et alii [6]. This paradigm trades off efficiency for correctness and amounts to postponing, or running in parallel, tedious or computationally demanding checks, until we are really sure that the intended goal can be achieved. Typical examples are branch-prediction in CPUs and optimistic concurrency control.


title: GF + MMT = GLF -- From Language to Semantics through LF

abstract: These days, vast amounts of knowledge are available online, most of it in written form. Search engines help us access this knowledge, but aggregating, relating and reasoning with it is still a predominantly human effort. One of the key challenges for automated reasoning based on natural-language texts is the need to extract meaning (semantics) from texts. Natural language understanding (NLU) systems describe the conversion from a set of natural language utterances to terms in a particular logic. Tools for the co-development of grammar and target logic are currently largely missing. We will describe the Grammatical Logical Framework (GLF), a combination of two existing frameworks, in which large parts of a symbolic, rule-based NLU system can be developed and implemented: the Grammatical Framework (GF) and MMT. GF is a tool for syntactic analysis, generation, and translation with complex natural language grammars and MMT can be used to specify logical systems and to represent knowledge in them. Combining these tools is possible, because they are based on compatible logical frameworks: Martin-L\"of type theory and LF. The flexibility of logical frameworks is needed, as NLU research has not settled on a particular target logic for meaning representation. Instead, new logics are developed all the time to handle various language phenomena. GLF allows users to develop the logic and the language parsing components in parallel, and to connect them for experimentation with the entire pipeline.


title: Rapid Prototyping Formal Systems in MMT: 5 Case Studies

abstract: Logical frameworks are meta-formalisms in which the syntax and semantics of object logics and related formal systems can be defined. This allows object logics to inherit implementations from the framework including, e.g., parser, type checker, or module system. But if the desired object logic falls outside the comfort zone of the logical framework, these definitions may become cumbersome or infeasible. Therefore, the MMT system abstracts even further than previous frameworks: it assumes no type system or logic at all and allows its kernel algorithms to be customized by almost arbitrary sets of rules. In particular, this allows implementing standard logical frameworks like LF in MMT. But it does so without chaining users to one particular meta-formalism: users can flexibly adapt MMT whenever the object logic demands it. In this paper, we present a series of case studies that do just that, defining increasingly complex object logics in MMT. We use elegant declarative logic definitions wherever possible, but inject entirely new rules into the kernel when necessary. Our experience shows that the MMT approach allows deriving prototype implementations of very diverse formal systems very easily and quickly.


title: A Weakly Initial Algebra for Higher-Order Abstract Syntax in Cedille

abstract: Cedille is a relatively recent tool based on a Curry-style pure type theory, without a primitive datatype system. Using novel techniques based on dependent intersection types, inductive datatypes with their induction principles are derived. One benefit of this approach is that it allows exploration of new or advanced forms of inductive datatypes. This paper reports work in progress on one such form, namely higher-order abstract syntax (HOAS). We consider the nature of HOAS in the setting of pure type theory, comparing with the traditional concept of environment models for lambda calculus. We see an alternative, based on what we term Kripke function-spaces, for which we can derive a weakly initial algebra in Cedille. Several examples are given using the encoding.


title: Computing Robust Inverse Kinematics Under Uncertainty

abstract: Robotic tasks, like reaching a pre-grasp configuration, are specified in the end effector space or task space, whereas, robot motion is controlled in joint space. Because of inherent actuation errors in joint space, robots cannot achieve desired configurations in task space exactly. Furthermore, different inverse kinematics (IK) solutions map joint space error set to task space differently. Thus for a given task with a prescribed error tolerance, all IK solutions will not be guaranteed to successfully execute the task. Any IK solution that is guaranteed to execute a task (possibly with high probability) irrespective of the realization of the joint space error is called a robust IK solution. In this paper we formulate and solve the robust inverse kinematics problem for redundant manipulators with actuation uncertainties (errors). We also present simulation and experimental results on a $7$-DoF redundant manipulator for two applications, namely, a pre-grasp positioning and a pre-insertion positioning scenario. Our results show that the robust IK solutions result in higher success rates and also allows the robot to self-evaluate how successful it might be in any application scenario.


title: Circulant Binary Convolutional Networks: Enhancing the Performance of 1-bit DCNNs with Circulant Back Propagation

abstract: The rapidly decreasing computation and memory cost has recently driven the success of many applications in the field of deep learning. Practical applications of deep learning in resource-limited hardware, such as embedded devices and smart phones, however, remain challenging. For binary convolutional networks, the reason lies in the degraded representation caused by binarizing full-precision filters. To address this problem, we propose new circulant filters (CiFs) and a circulant binary convolution (CBConv) to enhance the capacity of binarized convolutional features via our circulant back propagation (CBP). The CiFs can be easily incorporated into existing deep convolutional neural networks (DCNNs), which leads to new Circulant Binary Convolutional Networks (CBCNs). Extensive experiments confirm that the performance gap between the 1-bit and full-precision DCNNs is minimized by increasing the filter diversity, which further increases the representational ability in our networks. Our experiments on ImageNet show that CBCNs achieve 61.4% top-1 accuracy with ResNet18. Compared to the state-of-the-art such as XNOR, CBCNs can achieve up to 10% higher top-1 accuracy with more powerful representational ability.


title: A slice tour for finding hollowness in high-dimensional data

abstract: Taking projections of high-dimensional data is a common analytical and visualisation technique in statistics for working with high-dimensional problems. Sectioning, or slicing, through high dimensions is less common, but can be useful for visualising data with concavities, or non-linear structure. It is associated with conditional distributions in statistics, and also linked brushing between plots in interactive data visualisation. This short technical note describes a simple approach for slicing in the orthogonal space of projections obtained when running a tour, thus presenting the viewer with an interpolated sequence of sliced projections. The method has been implemented in R as an extension to the tourr package, and can be used to explore for concave and non-linear structures in multivariate distributions.


title: Frequency criteria for exponential stability

abstract: We discuss some frequency-domain criteria for the exponential stability of nonlinear feedback systems based on dissipativity theory. Applications are given to convergence rates for certain perturbations of the damped harmonic oscillator.