title: Performance Modeling and Analysis of a Hyperledger-based System Using GSPN

abstract: As a highly scalable permissioned blockchain platform, Hyperledger Fabric supports a wide range of industry use cases ranging from governance to finance. In this paper, we propose a model to analyze the performance of a Hyperledgerbased system by using Generalised Stochastic Petri Nets (GSPN). This model decomposes a transaction flow into multiple phases and provides a simulation-based approach to obtain the system latency and throughput with a specific arrival rate. Based on this model, we analyze the impact of different configurations of ordering service on system performance to find out the bottleneck. Moreover, a mathematical configuration selection approach is proposed to determine the best configuration which can maximize the system throughput. Finally, extensive experiments are performed on a running system to validate the proposed model and approaches.


title: Entropy and Mass Distribution in Disc Galaxies

abstract: The relaxed motion of stars and gas in galactic discs is well approximated by a rotational velocity that is a function of radial position only, implying that individual components have lost any information about their prior states. Thermodynamically, such an equilibrium state is a microcanonical ensemble with maximum entropy, characterised by a lognormal probability distribution. Assuming this for the surface density distribution yields rotation curves that closely match observational data across a wide range of disc masses and galaxy types, and provides a useful tool for modelling the theoretical density distribution in the disc. A universal disc spin parameter emerges from the model, giving a tight virial mass estimator with strong correlation between angular momentum and disc mass, suggesting a mechanism by which the proto-disc developed by dumping excess mass to the core, or excess angular momentum to a satellite galaxy. The baryonic-to-dynamic mass ratio for the model approaches unity for high mass galaxies, but is generally $<1$ for low mass discs, and this discrepancy appears to follow a similar relationship to that shown in recent work on the radial acceleration relation (RAR). Although this may support Modified Newtonian Dynamics (MOND) in preference to a dark matter (DM) halo, it does not exclude undetected baryonic mass or a gravitational DM component in the disc.


title: Comment on "On the general relativistic framework of the Sagnac effect" EPJC 79:187

abstract: In a recent paper EPJC 79:187 the general relativistic framework of the Sagnac effect was investigated. We have some comments on this paper. We show that their conclusion about the apparent variation of the speed of light does not hold in stationary spacetimes. Also, We show that their definition of gravitational Coriolis potential and gravitational Coriolis time dilation are inconsistent with what is stated in standard references.


title: An extension of Koksma's inequality

abstract: When applying the quasi-Monte Carlo (QMC) method of numerical integration of univariate functions, Koksma's inequality provides a basic estimate of the error in terms of the discrepancy of the used evaluation points and the total variation of the integrated function. We present an extension of Koksma's inequality that is also applicable for functions with infinite total variation.


title: Projective Preferential Bayesian Optimization

abstract: Bayesian optimization is an effective method for finding extrema of a black-box function. We propose a new type of Bayesian optimization for learning user preferences in high-dimensional spaces. The central assumption is that the underlying objective function cannot be evaluated directly, but instead a minimizer along a projection can be queried, which we call a projective preferential query. The form of the query allows for feedback that is natural for a human to give, and which enables interaction. This is demonstrated in a user experiment in which the user feedback comes in the form of optimal position and orientation of a molecule adsorbing to a surface. We demonstrate that our framework is able to find a global minimum of a high-dimensional black-box function, which is an infeasible task for existing preferential Bayesian optimization frameworks that are based on pairwise comparisons.


title: The Luneburg-Lissajous lens

abstract: We design a new absolute optical instrument by composing Luneburg lens and Lissajous lens, and analyze its imaging mechanism from the perspective of simple harmonic oscillations. The imaging positions are determined by the periods of motions in x and y directions. Besides, instruments composed with multi parts are also devised, which can form imaging or self-imaging as long as the motion periods of x and y directions are satisfied to similar conditions. Our work provides a new way to analyze the imaging of different lens by simply dissociating the equations of motions, and reveal the internal mechanism of some absolute optical instruments.


title: Rapid grain growth in post-AGB disc systems from far-infrared and sub-millimetre photometry

abstract: The timescales on which astronomical dust grows remain poorly understood, with important consequences for our understanding of processes like circumstellar disk evolution and planet formation.A number of post-asymptotic giant branch stars are found to host optically thick, dust- and gas-rich circumstellar discs in Keplerian orbits. These discs exhibit evidence of dust evolution, similar to protoplanetary discs; however since post-AGB discs have substantially shorter lifetimes than protoplanetary discs they may provide new insights on the grain-growth process. We examine a sample of post-AGB stars with discs to determine the FIR and sub-mm spectral index by homogeneously fitting a sample of data from \textit{Herschel}, the SMA and the literature. We find that grain growth to at least hundreds of micrometres is ubiquitous in these systems, and that the distribution of spectral indices is more similar to that of protoplanetary discs than debris discs. No correlation is found with the mid-infrared colours of the discs, implying that grain growth occurs independently of the disc structure in post-AGB discs. We infer that grain growth to $\sim$mm sizes must occur on timescales $<<10^{5}$ yr, perhaps by orders of magnitude, as the lifetimes of these discs are expected to be $\lesssim10^{5}$~yr and all objects have converged to the same state. This growth timescale is short compared to the results of models for protoplanetary discs including fragmentation, and may provide new constraints on the physics of grain growth.


title: Momentum selective optical absorption in triptycene molecular membrane

abstract: The optical properties of triptycene molecular membranes (TMMs) under the linearly and circularly polarized light irradiation have been theoretically studied. Since TMMs have the double-layered Kagome lattice structures for their $\pi$-electrons, i.e., tiling of trigonal and hexagonal-symmetric rings, the electronic band structures of TMMs have non-equivalent Dirac cones and perfect flat bands. By constructing the tight-binding model to describe the pi-electronic states of TMMs, we have evaluated the optical absorption intensities and valley selective excitation of TMMs based on the Kubo formula. It is found that absorption intensities crucially depend on both light polarization angle and the excitation position in momentum space, i.e., the momentum and valley selective optical excitation. The polarization dependence and optical selection rules are also clarified by using group theoretical analyses.


title: SAT-Based ATL Satisfiability Checking

abstract: Synthesis of models and strategies is a very important problem in software engineering. The main element here is checking the satisfiability of formulae expressing the specification of a system to be implemented. This paper puts forward a novel method for deciding the satisfiability of formulae of Alternating-time Temporal Logic (ATL). The method presented expands on one for CTL exploit ing SAT Modulo Monotonic Theories solvers. Similarly to the CTL case, our approach appears to be very efficient. The experimental results show that we can quickly test the satisfiability of large ATL formulae that have been out of reach of the existing approaches.


title: Shipper Cooperation in Stochastic Drone Delivery: A Dynamic Bayesian Game Approach

abstract: With the recent technological innovation, unmanned aerial vehicles, known as drones, have found numerous applications including package and parcel delivery for shippers. Drone delivery offers benefits over conventional ground-based vehicle delivery in terms of faster speed, lower cost, more environment-friendly, and less manpower needed. However, most of existing studies on drone delivery planning and scheduling focus on a single shipper and ignore uncertainty factors. As such, in this paper, we consider a scenario that multiple shippers can cooperate to minimize their drone delivery cost. We propose the Bayesian Shipper Cooperation in Stochastic Drone Delivery (BCoSDD) framework. The framework is composed of three functions, i.e., package assignment, shipper cooperation formation and cost management. The uncertainties of drone breakdown and misbehavior of cooperative shippers are taken into account by using multistage stochastic programming optimization and dynamic Bayesian coalition formation game. We conduct extensive performance evaluation of the BCoSDD framework by using customer locations from Solomon benchmark suite and a real Singapore logistics industry. As a result, the framework can help the shippers plan and schedule their drone delivery effectively.


title: Noticeability Versus Impact in Traffic Signal Tampering

abstract: This paper investigates the vulnerability of urban traffic networks to cyber-attacks on traffic lights. We model traffic signal tampering as a bi-objective optimization problem that simultaneously seeks to reduce vehicular throughput in the network over time (maximize impact) while introducing minimal changes to network signal timings (minimize noticeability). We represent the Spatio-temporal traffic dynamics as a static network flow problem on a time-expanded graph. This allows us to reduce the (non-convex) attack problem to a tractable form, which can be solved using traditional techniques used to solve linear network programming problems. We show that minor but objective adjustments in the signal timings over time can severely impact traffic conditions at the network level. We investigate network vulnerability by examining the concavity of the Pareto-optimal frontier obtained by solving the bi-objective attack problem. Numerical experiments are carried to illustrate the types of insights that can be extracted from the Pareto-optimal frontier. For instance, our experiments suggest that the vulnerability of a traffic network to signal tampering is independent of the demand levels.


title: DEMocritus: an open source framework for simulating slurry flows using an SDPD-DEM coupled model

abstract: This paper provides open-source code that works as a viscometer of particle-based simulations of three-dimensional fluid-particle interaction systems, targetting slurry or suspension flow in chemical engineering. The smoothed dissipative particle dynamics (SDPD), a fluid particle model developed for thermodynamic flow at mesoscale, is combined with the contact model of the discrete element method (DEM). The mechanics of fluid-particle interaction is modeled by a two-way interaction scheme using a drag-force model. We demonstrate our simulation code by several validation tests: simulations of reverse-Poiseuille flow, single-particle sedimentation, and a dam-breaking problem containing rigid particles, in reasonable calculation time. Our new open-source code is beneficial for scientists, researchers, and engineers in computational physics.


title: PP-ind: Description of a Repository of Industrial Pair Programming Research Data

abstract: PP-ind is a repository of audio-video-recordings of industrial pair programming sessions. Since 2007, our research group has collected data in 13 companies. A total of 57 developers worked together (mostly in groups of two, but also three or four) in 67 sessions with a mean length of 1:35 hours. In this report, we describe how we collected the data and provide summaries and characterizations of the sessions.


title: Duplex Mikaelian lenses and duplex Maxwell's fish eye lenses

abstract: In this paper, we report two new kinds of absolute optical instruments that can make stigmatically images for geometric optics in two dimensional space. One is called the duplex Mikaelian lens, which is made by splicing two half Mikaelian lenses with different periods. The other is exponential conformal transformer of duplex Mikaelian lens with the ratio of different periods of its two half Mikaelian lenses a rational number, which we call duplex Maxwell's fish eye lens. Duplex Mikaelian lenses have continuous translation symmetry with arbitrary real number, while duplex Maxwell's fish eye lenses have continuous rotational symmetry from 0 to 2*Pi. Hence each duplex Maxwell's fish eye lens corresponds to a duplex Mikaelian lens. We further demonstrate the caustic effect of geometric optics in duplex Mikaelian lenses and duplex Maxwell's fish eye lenses. In addition, we investigate the Talbot effect of wave optics in the duplex Mikaelian lens based on numeric calculations. Our findings based on splicing and exponential conformal mapping enlarge the family of absolute optical instruments.


title: Towards a combinatorial characterization of bounded memory learning

abstract: Combinatorial dimensions play an important role in the theory of machine learning. For example, VC dimension characterizes PAC learning, SQ dimension characterizes weak learning with statistical queries, and Littlestone dimension characterizes online learning. In this paper we aim to develop combinatorial dimensions that characterize bounded memory learning. We propose a candidate solution for the case of realizable strong learning under a known distribution, based on the SQ dimension of neighboring distributions. We prove both upper and lower bounds for our candidate solution, that match in some regime of parameters. In this parameter regime there is an equivalence between bounded memory and SQ learning. We conjecture that our characterization holds in a much wider regime of parameters.


title: Predict your Click-out: Modeling User-Item Interactions and Session Actions in an Ensemble Learning Fashion

abstract: This paper describes the solution of the POLINKS team to the RecSys Challenge 2019 that focuses on the task of predicting the last click-out in a session-based interaction. We propose an ensemble approach comprising a matrix factorization for modeling the interaction user-item, and a session-aware learning model implemented with a recurrent neural network. This method appears to be effective in predicting the last click-out scoring a 0.60277 of Mean Reciprocal Rank on the local test set.


title: Ramifications and Diminution of Image Noise in Iris Recognition System

abstract: Human Identity verification has always been an eye-catching goal in digital based security system. Authentication or identification systems developed using human characteristics such as face, finger print, hand geometry, iris, and voice are denoted as biometric systems. Among the various characteristics, Iris recognition trusts on the idiosyncratic human iris patterns to find out and corroborate the identity of a person. The image is normally contemplated as a gathering of information. Existence of noises in the input or processed image effects degradation in the image superiority. It should be paramount to restore original image from noises for attaining maximum amount of information from corrupted images. Noisy images in biometric identification system cannot give accurate identity. So Image related data or information tends to loss or damage. Images are affected by various sorts of noises. This paper mainly focuses on Salt and Pepper noise, Gaussian noise, Uniform noise, Speckle noise. Different filtering techniques can be adapted for noise diminution to develop the visual quality as well as understandability of images. In this paper, four types of noises have been undertaken and applied on some images. The filtering of these noises uses different types of filters like Mean, Median, Weiner, Gaussian filter etc. A relative interpretation is performed using four different categories of filter with finding the value of quality determined parameters like mean square error (MSE), peak signal to noise ratio (PSNR), average difference value (AD) and maximum difference value (MD).


title: Atomic diffusion in alpha-iron across the Curie point: an effcient and transferable ab-initio-based modelling approach

abstract: An accurate prediction of atomic diffusion in Fe alloys is challenging due to thermal magnetic excitations and magnetic transitions. We propose an effcient approach to address these properties via Monte Carlo simulation, using ab-initio based effective interaction models. The temperature evolution of self- and Cu diffusion coeffcients in alpha-iron are successfully predicted, particularly the diffusion acceleration around the Curie point, which requires a quantum treatment of spins. We point out a dominance of magnetic disorder over chemical effects on diffusion in the very dilute systems.


title: Evidence for a new extended solid of nitrogen

abstract: A new extended solid nitrogen, referred to post-layered-polymeric nitrogen (PLP-N), was observed by further heating the layered-polymeric nitrogen (LP-N) to above 2300 K at 161 GPa. The new phase is found to be very transparent and exhibits ultra-large d-spacings ranging from 2.8 to 4.9 {\AA} at 172 GPa, suggesting a possible large-unit-cell 2D chain-like or 0D cluster-type structure with wide bandgap. However, the observed X-ray diffraction pattern and Raman scattering data cannot match any predicted structures in the published literature. This finding further complicates the phase diagram of nitrogen and also highlights the path dependence of the high-pressure dissociative transition in nitrogen. In addition, the forming boundary between cg-N and LP-N has been determined.


title: Multiscale modelling of precipitation hardening in Al-Cu alloys: dislocation dynamics simulations and experimental validation

abstract: The mechanisms of dislocation/precipitate interactions were analyzed in an Al-Cu alloy containing a homogeneous dispersion of $\theta'$ precipitates by means of discrete dislocation dynamics simulations. The simulations were carried out within the framework of the discrete-continuous method and the precipitates were assumed to be impenetrable by dislocations. The main parameters that determine the dislocation/precipitate interactions (elastic mismatch, stress-free transformation strains, dislocation mobility and cross-slip rate) were obtained from atomistic simulations, while the size, shape, spatial distribution and volume fraction of the precipitates were obtained from transmission electron microscopy. The predictions of the critical resolved shear stress (including the contribution of solid solution) were in agreement with the experimental results obtained by means of compression tests in micropillars of the Al-Cu alloy oriented for single slip. The simulations revealed that the most important contribution to the precipitation hardening of the alloy was provided by the stress-free transformation strains followed by the solution hardening and the Orowan mechanism due to the bow-out of the dislocations around the precipitates.


title: GLSearch: Maximum Common Subgraph Detection via Learning to Search

abstract: Detecting the Maximum Common Subgraph (MCS) between two input graphs is fundamental for applications in drug synthesis, malware detection, cloud computing, etc. However, MCS computation is NP-hard, and state-of-the-art MCS solvers rely on heuristic search algorithms which in practice cannot find good solution for large graph pairs given a limited computation budget. We propose GLSearch, a Graph Neural Network (GNN) based learning to search model. Our model is built upon the branch and bound algorithm, which selects one pair of nodes from the two input graphs to expand at a time. Instead of using heuristics, we propose a novel GNN-based Deep Q-Network (DQN) to select the node pair, allowing the search process faster and more adaptive. To further enhance the training of DQN, we leverage the search process to provide supervision in a pre-training stage and guide our agent during an imitation learning stage. Experiments on synthetic and real-world large graph pairs demonstrate that our model learns a search strategy that is able to detect significantly larger common subgraphs given the same computation budget. Our GLSearch can be potentially extended to solve many other combinatorial problems with constraints on graphs.


title: Design and Implementation of Butterworth, Chebyshev-I and Elliptic Filter for Speech Signal Analysis

abstract: In the field of digital signal processing, the function of a filter is to remove unwanted parts of the signal such as random noise that is also undesirable. To remove noise from the speech signal transmission or to extract useful parts of the signal such as the components lying within a certain frequency range, filters are necessary. Filters are broadly used in signal processing and communication systems in applications such as channel equalization, noise reduction, radar, audio processing, speech signal processing, video processing, biomedical signal processing that is noisy ECG, EEG, EMG signal filtering, electrical circuit analysis and analysis of economic and financial data. In this paper, three types of infinite impulse response filter i.e. Butterworth, Chebyshev type I and Elliptical filter have been discussed theoretically and experimentally. Butterworth, Chebyshev type I and elliptic low pass, high pass, band pass and band stop filter have been designed in this paper using MATLAB Software. The impulse responses, magnitude responses, phase responses of Butterworth, Chebyshev type I and Elliptical filter for filtering the speech signal have been observed in this paper. Analyzing the Speech signal, its sampling rate and spectrum response have also been found.


title: Variable-Viewpoint Representations for 3D Object Recognition

abstract: For the problem of 3D object recognition, researchers using deep learning methods have developed several very different input representations, including "multi-view" snapshots taken from discrete viewpoints around an object, as well as "spherical" representations consisting of a dense map of essentially ray-traced samples of the object from all directions. These representations offer trade-offs in terms of what object information is captured and to what degree of detail it is captured, but it is not clear how to measure these information trade-offs since the two types of representations are so different. We demonstrate that both types of representations in fact exist at two extremes of a common representational continuum, essentially choosing to prioritize either the number of views of an object or the pixels (i.e., field of view) allotted per view. We identify interesting intermediate representations that lie at points in between these two extremes, and we show, through systematic empirical experiments, how accuracy varies along this continuum as a function of input information as well as the particular deep learning architecture that is used.


title: Lax comma $2$-categories and admissible $2$-functors

abstract: This paper is a contribution towards a two dimensional extension of the basic ideas and results of Janelidze-Galois theory. In the present paper, we give a suitable counterpart notion to that of \textit{absolute admissible Galois structure} for the lax idempotent context, compatible with the context of \textit{lax orthogonal factorization systems}. As part of this work, we study lax comma $2$-categories, giving analogue results to the basic properties of the usual comma categories. We show that each morphism of a $2$-category induces a $2$-adjunction between lax comma $2$-categories and comma $2$-categories, playing the role of the usual \textit{change of base functors}. With these induced $2$-adjunctions, we are able to show that each $2$-adjunction induces $2$-adjunctions between lax comma $2$-categories and comma $2$-categories, which are our analogues of the usual lifting to the comma categories used in Janelidze-Galois theory. We give sufficient conditions under which these liftings are $2$-premonadic and induce a lax idempotent $2$-monad, which corresponds to our notion of $2$-admissible $2$-functor. In order to carry out this work, we analyse when a composition of $2$-adjunctions is a lax idempotent $2$-monad, and when it is $2$-premonadic. We give then examples of our $2$-admissible $2$-functors (and, in particular, simple $2$-functors), specially using a result that says that all admissible ($2$-)functors in the classical sense are also $2$-admissible (and hence simple as well). We finish the paper relating coequalizers in lax comma $2$-categories and Kan extensions.


title: Tangent prolongation of $\mathcal{C}^r$-differentiable loops

abstract: The aim of our paper is to generalize the tangent prolongation of Lie groups to non-associative multiplications and to examine how the weak associative and weak inverse properties are transferred to the multiplication defined on the tangent bundle. We obtain that the tangent prolongation of a $\mathcal{C}^r$-differentiable loop ($r\geq 1$) is a $\mathcal{C}^{r-1}$-differentiable loop that acquires the classical weak inverse and weak associative properties of the initial loop.


title: State-Dependent Autoregressive Models: Properties, Estimation and Forecasting

abstract: This paper studies some temporal dependence properties and addresses the issue of parametric estimation for a class of state-dependent autoregressive models for nonlinear time series in which we assume a stochastic autoregressive coefficient depending on the first lagged value of the process itself. We call such a model state-dependent first-order autoregressive process, (SDAR). We introduce some assumptions under which this class of models is strictly stationary and uniformly ergodic and we establish consistency and asymptotic normality of the quasi-maximum likelihood estimator of the parameters. In order to capture the potentiality of the model, we present an empirical application to nonlinear time series provided by the weekly realized volatility extracted from returns of some European financial indices. The comparison of forecasting accuracy is made considering an alternative approach provided by a two-regime SETAR model


title: On central sequence algebras of tensor product von Neumann algebras

abstract: We show that when $M,N_{1},N_{2}$ are tracial von Neumann algebras with $M'\cap M^{\omega}$ abelian, $M'\cap(M\bar{\otimes}N_{1})^{\omega}$ and $M'\cap(M\bar{\otimes}N_{2})^{\omega}$ commute in $(M\bar{\otimes}N_{1}\bar{\otimes}N_{2})^{\omega}$. As a consequence, we obtain information on McDuff decompositions of $\rm{II}_{1}$ factors of the form $M\bar{\otimes}N$, where $M$ is a non-McDuff factor.


title: Nuclear embeddings in weighted function spaces

abstract: We study nuclear embeddings for weighted spaces of Besov and Triebel-Lizorkin type where the weight belongs to some Muckenhoupt class and is essentially of polynomial type. Here we can extend our previous results [17,19] where we studied the compactness of corresponding embeddings. The concept of nuclearity goes back to Grothendieck who defined it in [14]. Recently there is a refreshed interest to study such questions [5-8,49]. This led us to the investigation in the weighted setting. We obtain complete characterisations for the nuclearity of the corresponding embedding. Essential tools are a discretisation in terms of wavelet bases, operator ideal techniques, as well as a very useful result of Tong [43] about the nuclearity of diagonal operators acting in $\ell_p$ spaces. In that way we can further contribute to the characterisation of nuclear embeddings on domains obtained in [5,33,34,49].


title: Symbiotic Attention with Privileged Information for Egocentric Action Recognition

abstract: Egocentric video recognition is a natural testbed for diverse interaction reasoning. Due to the large action vocabulary in egocentric video datasets, recent studies usually utilize a two-branch structure for action recognition, ie, one branch for verb classification and the other branch for noun classification. However, correlation studies between the verb and the noun branches have been largely ignored. Besides, the two branches fail to exploit local features due to the absence of a position-aware attention mechanism. In this paper, we propose a novel Symbiotic Attention framework leveraging Privileged information (SAP) for egocentric video recognition. Finer position-aware object detection features can facilitate the understanding of actor's interaction with the object. We introduce these features in action recognition and regard them as privileged information. Our framework enables mutual communication among the verb branch, the noun branch, and the privileged information. This communication process not only injects local details into global features but also exploits implicit guidance about the spatio-temporal position of an on-going action. We introduce novel symbiotic attention (SA) to enable effective communication. It first normalizes the detection guided features on one branch to underline the action-relevant information from the other branch. SA adaptively enhances the interactions among the three sources. To further catalyze this communication, spatial relations are uncovered for the selection of most action-relevant information. It identifies the most valuable and discriminative feature for classification. We validate the effectiveness of our SAP quantitatively and qualitatively. Notably, it achieves the state-of-the-art on two large-scale egocentric video datasets.


title: Multi-Modality Cascaded Fusion Technology for Autonomous Driving

abstract: Multi-modality fusion is the guarantee of the stability of autonomous driving systems. In this paper, we propose a general multi-modality cascaded fusion framework, exploiting the advantages of decision-level and feature-level fusion, utilizing target position, size, velocity, appearance and confidence to achieve accurate fusion results. In the fusion process, dynamic coordinate alignment(DCA) is conducted to reduce the error between sensors from different modalities. In addition, the calculation of affinity matrix is the core module of sensor fusion, we propose an affinity loss that improves the performance of deep affinity network(DAN). Last, the proposed step-by-step cascaded fusion framework is more interpretable and flexible compared to the end-toend fusion methods. Extensive experiments on Nuscenes [2] dataset show that our approach achieves the state-of-theart performance.dataset show that our approach achieves the state-of-the-art performance.


title: Data-driven nonlinear aeroelastic models of morphing wings for control

abstract: Accurate and efficient aeroelastic models are critically important for enabling the optimization and control of highly flexible aerospace structures, which are expected to become pervasive in future transportation and energy systems. Advanced materials and morphing wing technologies are resulting in next-generation aeroelastic systems that are characterized by highly-coupled and nonlinear interactions between the aerodynamic and structural dynamics. In this work, we leverage emerging data-driven modeling techniques to develop highly accurate and tractable reduced-order aeroelastic models that are valid over a wide range of operating conditions and are suitable for control. In particular, we develop two extensions to the recent dynamic mode decomposition with control (DMDc) algorithm to make it suitable for flexible aeroelastic systems: 1) we introduce a formulation to handle algebraic equations, and 2) we develop an interpolation scheme to smoothly connect several linear DMDc models developed in different operating regimes. Thus, the innovation lies in accurately modeling the nonlinearities of the coupled aerostructural dynamics over multiple operating regimes, not restricting the validity of the model to a narrow region around a linearization point. We demonstrate this approach on a high-fidelity, three-dimensional numerical model of an airborne wind energy (AWE) system, although the methods are generally applicable to any highly coupled aeroelastic system or dynamical system operating over multiple operating regimes. Our proposed modeling framework results in real-time prediction of nonlinear unsteady aeroelastic responses of flexible aerospace structures, and we demonstrate the enhanced model performance for model predictive control. Thus, the proposed architecture may help enable the widespread adoption of next-generation morphing wing technologies.


title: HHH: An Online Medical Chatbot System based on Knowledge Graph and Hierarchical Bi-Directional Attention

abstract: This paper proposes a chatbot framework that adopts a hybrid model which consists of a knowledge graph and a text similarity model. Based on this chatbot framework, we build HHH, an online question-and-answer (QA) Healthcare Helper system for answering complex medical questions. HHH maintains a knowledge graph constructed from medical data collected from the Internet. HHH also implements a novel text representation and similarity deep learning model, Hierarchical BiLSTM Attention Model (HBAM), to find the most similar question from a large QA dataset. We compare HBAM with other state-of-the-art language models such as bidirectional encoder representation from transformers (BERT) and Manhattan LSTM Model (MaLSTM). We train and test the models with a subset of the Quora duplicate questions dataset in the medical area. The experimental results show that our model is able to achieve a superior performance than these existing methods.


title: PixelHop++: A Small Successive-Subspace-Learning-Based (SSL-based) Model for Image Classification

abstract: The successive subspace learning (SSL) principle was developed and used to design an interpretable learning model, known as the PixelHop method,for image classification in our prior work. Here, we propose an improved PixelHop method and call it PixelHop++. First, to make the PixelHop model size smaller, we decouple a joint spatial-spectral input tensor to multiple spatial tensors (one for each spectral component) under the spatial-spectral separability assumption and perform the Saab transform in a channel-wise manner, called the channel-wise (c/w) Saab transform.Second, by performing this operation from one hop to another successively, we construct a channel-decomposed feature tree whose leaf nodes contain features of one dimension (1D). Third, these 1D features are ranked according to their cross-entropy values, which allows us to select a subset of discriminant features for image classification. In PixelHop++, one can control the learning model size of fine-granularity,offering a flexible tradeoff between the model size and the classification performance. We demonstrate the flexibility of PixelHop++ on MNIST, Fashion MNIST, and CIFAR-10 three datasets.


title: Achievable Rate of Multi-Antenna WSRNs with EH Constraint in the presence of a Jammer

abstract: In this paper, the rate-energy region is studied for the wireless sensor relay network (WSRN) with energy harvesting in the presence of a jammer. In the model, a source communicates to a destination equipped with a single antenna with energy harvesting constraint through a multi-antenna cooperative relay under beamforming. Meanwhile, there is a jammer intended to disturb the communication. The relay works in half-duplex mode and knows all the channel state information (CSI). When beamforming is employed at the relay, the network can be modeled as an equivalent Gaussian arbitrarily varying channel (GAVC). We characterize the achievable rate-energy region. Since the problem is non-convex, we present three methods to transform it into a semi-definite programming problem (SDP), and the closed-form expression for two special boundary points of the rate-energy region is obtained. Finally, the simulations show the rate-energy region and the anti-jamming performance of the proposed scheme.


title: Order-parameter critical exponent of absorbing phase transitions in one-dimensional systems with two symmetric absorbing states

abstract: Via extensive Monte Carlo simulations along with systematic analyses of corrections to scaling, we estimate the order parameter critical exponent $\beta$ of absorbing phase transitions in systems with two symmetric absorbing states. The value of $\beta$ was conjectured to be $\frac{13}{14}\approx 0.93$ and Monte Carlo simulation studies in the literature have repeatedly reproduced values consistent with the conjecture. In this paper, we systematically estimate $\beta$ by analyzing the effective exponent after finding how strong corrections to scaling are. We show that the widely accepted numerical value of $\beta$ is not correct. Rather, we obtain $\beta = 1.020(5)$ from different models with two symmetric absorbing states.


title: Why is My Secret Leaked? Discovering Vulnerabilities in Device-to-Device File Sharing

abstract: The number of active users of Wi-Fi Direct Device-to-Device file sharing applications on Android has exceeded 1.8 billion. Wi-Fi Direct, also known as Wi-Fi P2P, is commonly used for peer-to-peer, high-speed file transfer between mobile devices, as well as a close proximity connection mode for wireless cameras, network printers, TVs and other IoT and mobile devices. For its end users, such type of direct file transfer does not incur cellular data charges. However, despite the popularity of such applications, we observe that the software vendors tend to prioritize the ease of user flow over the security in their implementations, which leads to serious security flaws. We perform a comprehensive security analysis in the context of security and usability and report our findings in the form of 17 Common Vulnerabilities and Exposures (CVE) which have been disclosed to the corresponding vendors. To address the similar flaws at the early stage of the application design, we propose a joint consideration of security and usability for such applications and their protocols that can be visualized in form of a customised User Journey Map (UJM).


title: Means-fit effectivity

abstract: Historically, the notion of effective algorithm is closely related to the Church-Turing thesis. But effectivity imposes no restriction on computation time or any other resource; in that sense, it is incompatible with engineering or physics. We propose a natural generalization of it, means-fitting effectivity, which is effectivity relative to the (physical or abstract) underlying machinery of the algorithm. This machinery varies from one class of algorithms to another. Think for example of ruler-and-compass algorithms, arithmetical algorithms, and Blum-Shub-Smale algorithms. We believe that means-fitting effectivity is meaningful and useful independently of the Church-Turing thesis. Means-fitting effectivity is definable, at least in the theory of abstract state machines (ASMs). The definition elucidates original effectivity as well. Familiarity with the ASM theory is not assumed. We tried to make the paper self-contained.


title: Area-perimeter duality in polygon spaces

abstract: Two natural foliations, guided by area and perimeter, of the configurations spaces of planar polygons are considered and the topology of their leaves is investigated in some detail. In particular, the homology groups and the homotopy type of leaves are determined. The homology groups of the spaces of polygons with fixed area and perimeter are also determined. Besides, we extend the classical isoperimetric duality to all critical points. In conclusion a few general remarks on dual extremal problems in polygon spaces and beyond are given.


title: Manifold for Machine Learning Assurance

abstract: The increasing use of machine-learning (ML) enabled systems in critical tasks fuels the quest for novel verification and validation techniques yet grounded in accepted system assurance principles. In traditional system development, model-based techniques have been widely adopted, where the central premise is that abstract models of the required system provide a sound basis for judging its implementation. We posit an analogous approach for ML systems using an ML technique that extracts from the high-dimensional training data implicitly describing the required system, a low-dimensional underlying structure--a manifold. It is then harnessed for a range of quality assurance tasks such as test adequacy measurement, test input generation, and runtime monitoring of the target ML system. The approach is built on variational autoencoder, an unsupervised method for learning a pair of mutually near-inverse functions between a given high-dimensional dataset and a low-dimensional representation. Preliminary experiments establish that the proposed manifold-based approach, for test adequacy drives diversity in test data, for test generation yields fault-revealing yet realistic test cases, and for runtime monitoring provides an independent means to assess trustability of the target system's output.


title: Understanding the Automated Parameter Optimization on Transfer Learning for CPDP: An Empirical Study

abstract: Data-driven defect prediction has become increasingly important in software engineering process. Since it is not uncommon that data from a software project is insufficient for training a reliable defect prediction model, transfer learning that borrows data/knowledge from other projects to facilitate the model building at the current project, namely cross-project defect prediction (CPDP), is naturally plausible. Most CPDP techniques involve two major steps, i.e., transfer learning and classification, each of which has at least one parameter to be tuned to achieve their optimal performance. This practice fits well with the purpose of automated parameter optimization. However, there is a lack of thorough understanding about what are the impacts of automated parameter optimization on various CPDP techniques. In this paper, we present the first empirical study that looks into such impacts on 62 CPDP techniques, 13 of which are chosen from the existing CPDP literature while the other 49 ones have not been explored before. We build defect prediction models over 20 real-world software projects that are of different scales and characteristics. Our findings demonstrate that: (1) Automated parameter optimization substantially improves the defect prediction performance of 77\% CPDP techniques with a manageable computational cost. Thus more efforts on this aspect are required in future CPDP studies. (2) Transfer learning is of ultimate importance in CPDP. Given a tight computational budget, it is more cost-effective to focus on optimizing the parameter configuration of transfer learning algorithms (3) The research on CPDP is far from mature where it is "not difficult" to find a better alternative by making a combination of existing transfer learning and classification techniques. This finding provides important insights about the future design of CPDP techniques.


title: Mining Commonsense Facts from the Physical World

abstract: Textual descriptions of the physical world implicitly mention commonsense facts, while the commonsense knowledge bases explicitly represent such facts as triples. Compared to dramatically increased text data, the coverage of existing knowledge bases is far away from completion. Most of the prior studies on populating knowledge bases mainly focus on Freebase. To automatically complete commonsense knowledge bases to improve their coverage is under-explored. In this paper, we propose a new task of mining commonsense facts from the raw text that describes the physical world. We build an effective new model that fuses information from both sequence text and existing knowledge base resource. Then we create two large annotated datasets each with approximate 200k instances for commonsense knowledge base completion. Empirical results demonstrate that our model significantly outperforms baselines.


title: Surrogate Assisted Evolutionary Algorithm for Medium Scale Expensive Multi-Objective Optimisation Problems

abstract: Building a surrogate model of an objective function has shown to be effective to assist evolutionary algorithms (EAs) to solve real-world complex optimisation problems which involve either computationally expensive numerical simulations or costly physical experiments. However, their effectiveness mostly focuses on small-scale problems with less than 10 decision variables. The scalability of surrogate assisted EAs (SAEAs) have not been well studied yet. In this paper, we propose a Gaussian process surrogate model assisted EA for medium-scale expensive multi-objective optimisation problems with up to 50 decision variables. There are three distinctive features of our proposed SAEA. First, instead of using all decision variables in surrogate model building, we only use those correlated ones to build the surrogate model for each objective function. Second, rather than directly optimising the surrogate objective functions, the original multi-objective optimisation problem is transformed to a new one based on the surrogate models. Last but not the least, a subset selection method is developed to choose a couple of promising candidate solutions for actual objective function evaluations thus to update the training dataset. The effectiveness of our proposed algorithm is validated on benchmark problems with 10, 20, 50 variables, comparing with three state-of-the-art SAEAs.


title: Liquid-phase reinforced Metal matrix (LMM) composite with non-intuitive properties

abstract: Over the ages, efforts have been made to use composite design to reinforce metals and alloys in order to increase their strength and modulus. On the other hand, nature herself improves the strength, ductility, stiffness and toughness of materials by strengthening them with liquids having zero strength/modulus. Here, emulating nature, efforts have been made to develop a new class of tin based alloy/composite with liquid metal reinforcement (LMM). Based on thermodynamic calculations, a composition has been designed such that on melting and casting it forms a solid metal (tin solid solution) and the eutectic mixture remains in liquid form at room temperature. The composite structure named as LMM shows multifold improvement in hardness, strength, ductility, toughness and wear resistance as compared to conventional solder alloys. A Finite Element Method (FEM) based simulation shows strain distribution in the composite which results in the unique behavior. The LMM also shows a negative coefficient of thermal expansion which is further verified using in-situ microscopy and thermodynamic calculations.


title: CTM: Collaborative Temporal Modeling for Action Recognition

abstract: With the rapid development of digital multimedia, video understanding has become an important field. For action recognition, temporal dimension plays an important role, and this is quite different from image recognition. In order to learn powerful feature of videos, we propose a Collaborative Temporal Modeling (CTM) block (Figure 1) to learn temporal information for action recognition. Besides a parameter-free identity shortcut, as a separate temporal modeling block, CTM includes two collaborative paths: a spatial-aware temporal modeling path, which we propose the Temporal-Channel Convolution Module (TCCM) with unshared parameters for each spatial position (H*W) to build, and a spatial-unaware temporal modeling path. CTM blocks can seamlessly be inserted into many popular networks to generate CTM Networks and bring the capability of learning temporal information to 2D CNN backbone networks, which only capture spatial information. Experiments on several popular action recognition datasets demonstrate that CTM blocks bring the performance improvements on 2D CNN baselines, and our method achieves the competitive results against the state-of-the-art methods. Code will be made publicly available.


title: Majority Voting and the Condorcet's Jury Theorem

abstract: There is a striking relationship between a three hundred years old Political Science theorem named "Condorcet's jury theorem" (1785), which states that majorities are more likely to choose correctly when individual votes are often correct and independent, and a modern Machine Learning concept called "Strength of Weak Learnability" (1990), which describes a method for converting a weak learning algorithm into one that achieves arbitrarily high accuracy and stands in the basis of Ensemble Learning. Albeit the intuitive statement of Condorcet's theorem, we could not find a compact and simple rigorous mathematical proof of the theorem neither in classical handbooks of Machine Learning nor in published papers. By all means we do not claim to discover or reinvent a theory nor a result. We humbly want to offer a more publicly available simple derivation of the theorem. We will find joy in seeing more teachers of introduction-to-machine-learning courses use the proof we provide here as an exercise to explain the motivation of ensemble learning.


title: A data-driven choice of misfit function for FWI using reinforcement learning

abstract: In the workflow of Full-Waveform Inversion (FWI), we often tune the parameters of the inversion to help us avoid cycle skipping and obtain high resolution models. For example, typically start by using objective functions that avoid cycle skipping, like tomographic and image based or using only low frequency, and then later, we utilize the least squares misfit to admit high resolution information. We also may perform an isotropic (acoustic) inversion to first update the velocity model and then switch to multi-parameter anisotropic (elastic) inversions to fully recover the complex physics. Such hierarchical approaches are common in FWI, and they often depend on our manual intervention based on many factors, and of course, results depend on experience. However, with the large data size often involved in the inversion and the complexity of the process, making optimal choices is difficult even for an experienced practitioner. Thus, as an example, and within the framework of reinforcement learning, we utilize a deep-Q network (DQN) to learn an optimal policy to determine the proper timing to switch between different misfit functions. Specifically, we train the state-action value function (Q) to predict when to use the conventional L2-norm misfit function or the more advanced optimal-transport matching-filter (OTMF) misfit to mitigate the cycle-skipping and obtain high resolution, as well as improve convergence. We use a simple while demonstrative shifted-signal inversion examples to demonstrate the basic principles of the proposed method.


title: Random Features Strengthen Graph Neural Networks

abstract: Graph neural networks (GNNs) are powerful machine learning models for various graph learning tasks. Recently, the limitations of the expressive power of various GNN models have been revealed. For example, GNNs cannot distinguish some non-isomorphic graphs and they cannot learn efficient graph algorithms. In this paper, we demonstrate that GNNs become powerful just by adding a random feature to each node. We prove that the random features enable GNNs to learn almost optimal polynomial-time approximation algorithms for the minimum dominating set problem and maximum matching problem in terms of approximation ratios. The main advantage of our method is that it can be combined with off-the-shelf GNN models with slight modifications. Through experiments, we show that the addition of random features enables GNNs to solve various problems that normal GNNs, including the graph convolutional networks (GCNs) and graph isomorphism networks (GINs), cannot solve.


title: A Time-Frequency Perspective on Audio Watermarking

abstract: Existing audio watermarking methods usually treat the host audio signals of a function of time or frequency individually, while considering them in the joint time-frequency (TF) domain has received less attention. This paper proposes an audio watermarking framework from the perspective of TF analysis. The proposed framework treats the host audio signal in the 2-dimensional (2D) TF plane, and selects a series of patches within the 2D TF image. These patches correspond to the TF clusters with minimum averaged energy, and are used to form the feature vectors for watermark embedding. Classical spread spectrum embedding schemes are incorporated in the framework. The feature patches that carry the watermarks only occupy a few TF regions of the host audio signal, thus leading to improved imperceptibility property. In addition, since the feature patches contain a neighborhood area of TF representation of audio samples, the correlations among the samples within a single patch could be exploited for improved robustness against a series of processing attacks. Extensive experiments are carried out to illustrate the effectiveness of the proposed system, as compared to its counterpart systems. The aim of this work is to shed some light on the notion of audio watermarking in TF feature domain, which may potentially lead us to more robust watermarking solutions against malicious attacks.


title: Towards Reading Beyond Faces for Sparsity-Aware 4D Affect Recognition

abstract: In this paper, we present a sparsity-aware deep network for automatic 4D facial expression recognition (FER). Given 4D data, we first propose a novel augmentation method to combat the data limitation problem for deep learning. This is achieved by projecting the input data into RGB and depth map images and then iteratively performing randomized channel concatenation. Encoded in the given 3D landmarks, we also introduce an effective way to capture the facial muscle movements from three orthogonal plans (TOP), the TOP-landmarks over multi-views. Importantly, we then present a sparsity-aware deep network to compute the sparse representations of convolutional features over multi-views. This is not only effective for a higher recognition accuracy but is also computationally convenient. For training, the TOP-landmarks and sparse representations are used to train a long short-term memory (LSTM) network. The refined predictions are achieved when the learned features collaborate over multi-views. Extensive experimental results achieved on the BU-4DFE dataset show the significance of our method over the state-of-the-art methods by reaching a promising accuracy of 99.69% for 4D FER.


title: Prediction and realization of a temperature control limit at low temperatures in SPRIGT

abstract: On May 20th 2019, the World Metrology Day, the Bureau International des Poids et Mesures announced a major revision to the four more SI units. The base unit, the kelvin, is defined by fixing the value of Boltzmann constant as indicated in Mise en pratique for the definition of the kelvin in the SI. To realize the new kelvin, a novel practical realization technique of single-pressure refractive-index gas thermometry (SPRIGT) has been jointly developed by the TIPC-CAS in China and the LNE-Cnam in France. To carry out accurate SPRIGT, experimental methods have been implemented and micro-kelvin level temperature control limits have been predicted and achieved at 5 K to 26 K. The resonator temperature stability can be maintained to within better than 8 {\mu}K of its set point with an integration time 33.6 s over 180 h. Besides, solutions for further improving the stability were also demonstrated, which can be a reference for temperature metrology field worldwide and other fields where high-stability temperature is required. The present work should also provide a solid foundation for international data comparison of thermodynamic temperature at low temperatures, and will promote realizations of the new kelvin and the spread of high-accuracy, low-temperature metrology.


title: Real-Time Hand Gesture Recognition Using Temporal Muscle Activation Maps of Multi-Channel sEMG Signals

abstract: Accurate and real-time hand gesture recognition is essential for controlling advanced hand prostheses. Surface Electromyography (sEMG) signals obtained from the forearm are widely used for this purpose. Here, we introduce a novel hand gesture representation called Temporal Muscle Activation (TMA) maps which captures information about the activation patterns of muscles in the forearm. Based on these maps, we propose an algorithm that can recognize hand gestures in real-time using a Convolution Neural Network. The algorithm was tested on 8 healthy subjects with sEMG signals acquired from 8 electrodes placed along the circumference of the forearm. The average classification accuracy of the proposed method was 94%, which is comparable to state-of-the-art methods. The average computation time of a prediction was 5.5ms, making the algorithm ideal for the real-time gesture recognition applications.


title: Triangle singularity in the $B^-\to K^-\pi^0X(3872)$ reaction and sensitivity to the $X(3872)$ mass

abstract: We have done a study of the $B^- \to K^- \pi^0 X(3872)$ reaction by means of a triangle mechanism via the chain of reactions: $B^- \to K^- D^{*0}\bar D^{*0}$; $D^{*0} \to \pi^0 D^0$; $D^0\bar D^{*0}\to X(3872)$. We show that this mechanism generates a triangle singularity in the $\pi^0 X(3872)$ invariant mass for a very narrow window of the $X(3872)$ mass, around the present measured values, and show that the peak positions and the shape of the mass distributions are sensitive to the $X(3872)$ mass, such that a measurement of the reaction can serve to improve on the present values of this mass. In particular, we point out that the $X(3872)$ mass relative to the $D^0\bar D^{*0}$ threshold may be extracted from the asymmetry of the $\pi^0X$ line shape.


title: Time optimal control based on classification of quantum gates

abstract: We study the minimum time to implement an arbitrary two-qubit gate in two heteronuclear spins systems. We give a systematic characterization of two-qubit gates based on the invariants of local equivalence. The quantum gates are classified into four classes, and for each class the analytical formula of the minimum time to implement the quantum gates is explicitly presented. For given quantum gates, by calculating the corresponding invariants one easily obtains the classes to which the quantum gates belong. In particular, we analyze the effect of global phases on the minimum time to implement the gate. Our results present complete solutions to the optimal time problem in implementing an arbitrary two-qubit gate in two heteronuclear spins systems. Detailed examples are given to typical two-qubit gates with or without global phases.


title: Resonance frequency measurement with accuracy and stability at the 10-12 level in a copper microwave cavity below 26 K by experimental optimization

abstract: Single pressure refractive index gas thermometry (SPRIGT) is a novel primary thermometry, jointly developed by TIPC of CAS in China and LNE-Cnam in France. To realize a competitive uncertainty of 0.25 mK for thermodynamic temperature measurements, high-stability and low-uncertainty of microwave resonance frequency measurements better than 2 ppb should be achieved. This article describes how to realize high-stability and low-uncertainty of resonance frequency measurements in a copper microwave cavity by experimental optimization methods based on Allan analysis of variance. In this manner, 10-12 level accuracy and stability of microwave resonance frequency measurements were realized with an integration time of 3 hours, which is nearly 20 times better than those without optimization in our previous work (Sci. Bull 2019; 64: 286-288). It has potential applications in gas metrology and other research fields, where high-stability and low-uncertainty microwave measurements are necessary. Besides, microwave measurements were carried out isobarically at pressures of (30, 60, 90, and 120) kPa over the temperature range of (5 to 26) K, with good microwave mode consistency for the determined thermodynamic temperatures. These will provide strong support for the success of the implementation of SPRIGT in China.


title: ML-misfit: Learning a robust misfit function for full-waveform inversion using machine learning

abstract: Most of the available advanced misfit functions for full waveform inversion (FWI) are hand-crafted, and the performance of those misfit functions is data-dependent. Thus, we propose to learn a misfit function for FWI, entitled ML-misfit, based on machine learning. Inspired by the optimal transport of the matching filter misfit, we design a neural network (NN) architecture for the misfit function in a form similar to comparing the mean and variance for two distributions. To guarantee the resulting learned misfit is a metric, we accommodate the symmetry of the misfit with respect to its input and a Hinge loss regularization term in a meta-loss function to satisfy the "triangle inequality" rule. In the framework of meta-learning, we train the network by running FWI to invert for randomly generated velocity models and update the parameters of the NN by minimizing the meta-loss, which is defined as accumulated difference between the true and inverted models. We first illustrate the basic principle of the ML-misfit for learning a convex misfit function for travel-time shifted signals. Further, we train the NN on 2D horizontally layered models, and we demonstrate the effectiveness and robustness of the learned ML-misfit by applying it to the well-known Marmousi model.


title: Realization of ppm level pressure stability for primary thermometry using a primary piston gauge

abstract: To achieve an uncertainty of 0.25 mK in single-pressure refractive-index gas thermometry (SPRIGT), the relative pressure variation of He-4 gas in the range 30 kPa to 90 kPa, should not exceed 4 ppm (k=1). To this end, a novel pressure control system has been developed. It consists of two main parts: a piston gauge to control the pressure, and a home-made gas compensation system to supplement the micro-leak of the piston gauge. In addition, to maintain the piston at constant height, a servo loop is used that automatically determines in real time the amount of extra gas required. At room temperature, the standard deviations of the stabilized pressure are 3.0 mPa at 30 kPa, 4.5 mPa at 60 kPa and 2 mPa at 90 kPa. For the temperature region 5 K-25 K used for SPRIGT in the present work, the relative pressure stability is better than 0.16 ppm i.e. 25 times better than required. Moreover, the same pressure stabilization system is readily transposable to other primary gas thermometers.


title: Deep No-reference Tone Mapped Image Quality Assessment

abstract: The process of rendering high dynamic range (HDR) images to be viewed on conventional displays is called tone mapping. However, tone mapping introduces distortions in the final image which may lead to visual displeasure. To quantify these distortions, we introduce a novel no-reference quality assessment technique for these tone mapped images. This technique is composed of two stages. In the first stage, we employ a convolutional neural network (CNN) to generate quality aware maps (also known as distortion maps) from tone mapped images by training it with the ground truth distortion maps. In the second stage, we model the normalized image and distortion maps using an Asymmetric Generalized Gaussian Distribution (AGGD). The parameters of the AGGD model are then used to estimate the quality score using support vector regression (SVR). We show that the proposed technique delivers competitive performance relative to the state-of-the-art techniques. The novelty of this work is its ability to visualize various distortions as quality maps (distortion maps), especially in the no-reference setting, and to use these maps as features to estimate the quality score of tone mapped images.


title: Bifurcation analysis and structural stability of simplicial oscillator populations

abstract: We present an analytical description for the collective dynamics of oscillator ensembles with higher-order coupling encoded by simplicial structure, which serves as an illustrative and insightful paradigm for brain function and information storage. The novel dynamics of the system, including abrupt desynchronization and multistability, are rigorously characterized and the critical points that correspond to a continuum of first-order phase transitions are found to satisfy universal scaling properties. More importantly, the underlying bifurcation mechanism giving rise to multiple clusters with arbitrary ensemble size is characterized using a rigorous spectral analysis of the stable cluster states. As a consequence of $SO_2$ group symmetry, we show that the continuum of abrupt desynchronization transitions result from the instability of a collective mode under the nontrivial antisymmetric manifold in the high dimensional phase space.


title: Node Templates to improve Reusability and Modularity of Behavior Trees

abstract: Behavior Trees (BTs) got the robotics society attention not least thanks to their modularity and reusability. The subtrees of BTs could be treated as separate behaviors and therefore reused. We address the following research question: do we exploit the full power of BT on these properties? We suggest to generalise the idea of subtree reuse to "node templates" concept, which allows to represent an arbitrary nodes collection. In addition, previously hardcoded behaviors such as Node* and many Decorator nodes could be implemented in a memory-based BT by node templates.


title: Algebraic solution of tropical polynomial optimization problems

abstract: We consider constrained optimization problems defined in the tropical algebra setting on a linearly ordered, algebraically complete (radicable) idempotent semifield (a semiring with idempotent addition and invertible multiplication). The problems are to minimize the objective functions given by tropical analogues of multivariate Puiseux polynomials, subject to box constraints on the variables. A technique for variable elimination is presented that converts the original optimization problem to a new one in which one variable is removed and the box constraint for this variable is modified. The novel approach may be thought of as an extension of the Fourier-Motzkin elimination method for systems of linear inequalities in ordered fields to the issue of polynomial optimization in ordered tropical semifields. We use this technique to develop a procedure to solve the problem in a finite number of iterations. The procedure includes two phases: backward elimination and forward substitution of variables. We describe the main steps of the procedure, discuss its computational complexity and present numerical examples.


title: Distance-based Equilibria in Normal-Form Games

abstract: We propose a simple uncertainty modification for the agent model in normal-form games; at any given strategy profile, the agent can access only a set of "possible profiles" that are within a certain distance from the actual action profile. We investigate the various instantiations in which the agent chooses her strategy using well-known rationales e.g., considering the worst case, or trying to minimize the regret, to cope with such uncertainty. Any such modification in the behavioral model naturally induces a corresponding notion of equilibrium; a distance-based equilibrium. We characterize the relationships between the various equilibria, and also their connections to well-known existing solution concepts such as Trembling-hand perfection. Furthermore, we deliver existence results, and show that for some class of games, such solution concepts can actually lead to better outcomes.


title: Molecular Multipoles and (Hyper)Polarizabilities from Buckingham Expansion. Revisited

abstract: Buckingham expansion is important for understanding molecular multipoles and (hyper)polarizabilities. In this study, we give a complete derivation of Buckingham expansion in the traced form using successive Taylor series. Based on such derivation, a general Buckingham expansion in the traced form is proposed, and from which numerical calculations with finite field method of high accuracy can be achieved. The transformations from the traced multipoles and multipole-multipole polarizabilities to the corresponding traceless counterparts are realized with an auxiliary traced electric field gradient. The applications of the finite field method in this study show good agreements with previous theoretical calculations and experimental measurements.


title: Reproducing Kernel Hilbert Spaces Cannot Contain all Continuous Functions on a Compact Metric Space

abstract: Given an uncountable, compact metric space, we show that there exists no reproducing kernel Hilbert space that contains the space of all continuous functions on this compact space.


title: Ulrich Trichotomy on del Pezzo surfaces

abstract: In this article, we use a correspondence between Ulrich bundles on a projective variety and quiver representations to prove that certain del Pezzo surfaces satisfy the Ulrich trichotomy, for any given polarization.


title: Protein structure and sequence re-analysis of 2019-nCoV genome does not indicate snakes as its intermediate host or the unique similarity between its spike protein insertions and HIV-1

abstract: As the infection of 2019-nCoV coronavirus is quickly developing into a global pneumonia epidemic, careful analysis of its transmission and cellular mechanisms is sorely needed. In this report, we re-analyzed the computational approaches and findings presented in two recent manuscripts by Ji et al. (https://doi.org/10.1002/jmv.25682) and by Pradhan et al. (https://doi.org/10.1101/2020.01.30.927871), which concluded that snakes are the intermediate hosts of 2019-nCoV and that the 2019-nCoV spike protein insertions shared a unique similarity to HIV-1. Results from our re-implementation of the analyses, built on larger-scale datasets using state-of-the-art bioinformatics methods and databases, do not support the conclusions proposed by these manuscripts. Based on our analyses and existing data of coronaviruses, we concluded that the intermediate hosts of 2019-nCoV are more likely to be mammals and birds than snakes, and that the "novel insertions" observed in the spike protein are naturally evolved from bat coronaviruses.


title: Fairness and Efficiency in Cake-Cutting with Single-Peaked Preferences

abstract: We study the cake-cutting problem when agents have single-peaked preferences over the cake. We show that a recently proposed mechanism by Wang-Wu (2019) to obtain envy-free allocations can yield large welfare losses. Using a simplifying assumption, we characterize all Pareto optimal allocations, which have a simple structure: are peak-preserving and non-wasteful. Finally, we provide simple alternative mechanisms that Pareto dominate that of Wang-Wu, and which achieve envy-freeness or Pareto optimality.


title: A General Coreset-Based Approach to Diversity Maximization under Matroid Constraints

abstract: Diversity maximization is a fundamental problem in web search and data mining. For a given dataset $S$ of $n$ elements, the problem requires to determine a subset of $S$ containing $k\ll n$ "representatives" which minimize some diversity function expressed in terms of pairwise distances, where distance models dissimilarity. An important variant of the problem prescribes that the solution satisfy an additional orthogonal requirement, which can be specified as a matroid constraint (i.e., a feasible solution must be an independent set of size $k$ of a given matroid). While unconstrained diversity maximization admits efficient coreset-based strategies for several diversity functions, known approaches dealing with the additional matroid constraint apply only to one diversity function (sum of distances), and are based on an expensive, inherently sequential, local search over the entire input dataset. We devise the first coreset-based algorithms for diversity maximization under matroid constraints for various diversity functions, together with efficient sequential, MapReduce and Streaming implementations. Technically, our algorithms rely on the construction of a small coreset, that is, a subset of $S$ containing a feasible solution which is no more than a factor $1-\epsilon$ away from the optimal solution for $S$. While our algorithms are fully general, for the partition and transversal matroids, if $\epsilon$ is a constant in $(0,1)$ and $S$ has bounded doubling dimension, the coreset size is independent of $n$ and it is small enough to afford the execution of a slow sequential algorithm to extract a final, accurate, solution in reasonable time. Extensive experiments show that our algorithms are accurate, fast and scalable, and therefore they are capable of dealing with the large input instances typical of the big data scenario.


title: On a scalable entropic breaching of the overfitting barrier in machine learning

abstract: Overfitting and treatment of "small data" are among the most challenging problems in the machine learning (ML), when a relatively small data statistics size $T$ is not enough to provide a robust ML fit for a relatively large data feature dimension $D$. Deploying a massively-parallel ML analysis of generic classification problems for different $D$ and $T$, existence of statistically-significant linear overfitting barriers for common ML methods is demonstrated. For example, these results reveal that for a robust classification of bioinformatics-motivated generic problems with the Long Short-Term Memory deep learning classifier (LSTM) one needs in a best case a statistics $T$ that is at least 13.8 times larger then the feature dimension $D$. It is shown that this overfitting barrier can be breached at a $10^{-12}$ fraction of the computational cost by means of the entropy-optimal Scalable Probabilistic Approximations algorithm (eSPA), performing a joint solution of the entropy-optimal Bayesian network inference and feature space segmentation problems. Application of eSPA to experimental single cell RNA sequencing data exhibits a 30-fold classification performance boost when compared to standard bioinformatics tools - and a 7-fold boost when compared to the deep learning LSTM classifier.


title: Active suppression of temperature oscillation from a pulse-tube cryocooler in a cryogen-free cryostat: Part 1. Simulation modeling from thermal response characteristics

abstract: A cryogen-free cryostat cooled using a 4 K commercial GM or pulse tube cryocooler (PTC) displays temperature oscillations caused by the intrinsic working principle of the regenerative cryocooler. To dampen such oscillations usually requires either a large heat capacity or a large thermal resistance. To understand this phenomenon better and suppress it more effectively, both the step response characteristic and the intrinsic oscillation characteristic of cryostat have been used to obtain the complete transfer functions of a simulation model. The latter is used to test and optimize traditional PID feedback control. The results showed this approach has almost no effect on the temperature oscillation amplitude. Based on this simulation model, a novel active method was proposed and tested numerically. Simulation results predict the method should suppress the amplitude of the original temperature oscillation by a factor of two.


title: Active suppression of temperature oscillation from a pulse-tube cryocooler in a cryogen-free cryostat: Part 2. Experimental realization

abstract: A cryogen-free cryostat cooled by a closed cycle cryocooler is compact, can provide uninterrupted long-term operation (up to ten thousand hours) and is suited to temperatures from 3 K to 300 K. Its intrinsic temperature oscillation, however, limits its application in experiments requiring high thermal stability at low temperature (below 77 K). Passive suppression methods are effective but all suffer from drawbacks. We describe a novel, active suppression scheme more efficient than traditional proportional-integral (PI) control. The experimental results show that it can reduce the standard deviation of the temperature oscillation by a further 30% compared with PI feedback. To the best of our knowledge, this is the first time such active suppression of temperature oscillations has been implemented with the cryogen-free cryostat. The results also show, however, that an unwanted lower frequency thermal noise will be generated, which appears to be the limit of the method. Nevertheless, the approach could be used to improve the temperature stability in all cryogen-free cryostats.


title: Statistical Optimal Transport posed as Learning Kernel Embedding

abstract: The objective in statistical Optimal Transport (OT) is to consistently estimate the optimal transport plan/map solely using samples from the given source and target marginal distributions. This work takes the novel approach of posing statistical OT as that of learning the transport plan's kernel mean embedding from sample based estimates of marginal embeddings. The proposed estimator controls overfitting by employing maximum mean discrepancy based regularization, which is complementary to $\phi$-divergence (entropy) based regularization popularly employed in existing estimators. A key result is that, under very mild conditions, $\epsilon$-optimal recovery of the transport plan as well as the Barycentric-projection based transport map is possible with a sample complexity that is completely dimension-free. Moreover, the implicit smoothing in the kernel mean embeddings enables out-of-sample estimation. An appropriate representer theorem is proved leading to a kernelized convex formulation for the estimator, which can then be potentially used to perform OT even in non-standard domains. Empirical results illustrate the efficacy of the proposed approach.


title: Tensor Categories arising from the Virasoro Algebra

abstract: We show that there is a braided tensor category structure on the category of $C_1$-cofinite modules for the (universal or simple) Virasoro vertex operator algebras of arbitrary central charge. In the generic case of central charge $c=13-6(t+t^{-1})$, with $t \notin \mathbb{Q}$, we prove semisimplicity, rigidity and non-degeneracy and also compute the fusion rules of this tensor category.


title: Capsule Network Performance with Autonomous Navigation

abstract: Capsule Networks (CapsNets) have been proposed as an alternative to Convolutional Neural Networks (CNNs). This paper showcases how CapsNets are more capable than CNNs for autonomous agent exploration of realistic scenarios. In real world navigation, rewards external to agents may be rare. In turn, reinforcement learning algorithms can struggle to form meaningful policy functions. This paper's approach Capsules Exploration Module (Caps-EM) pairs a CapsNets architecture with an Advantage Actor Critic algorithm. Other approaches for navigating sparse environments require intrinsic reward generators, such as the Intrinsic Curiosity Module (ICM) and Augmented Curiosity Modules (ACM). Caps-EM uses a more compact architecture without need for intrinsic rewards. Tested using ViZDoom, the Caps-EM uses 44% and 83% fewer trainable network parameters than the ICM and Depth-Augmented Curiosity Module (D-ACM), respectively, for 1141% and 437% average time improvement over the ICM and D-ACM, respectively, for converging to a policy function across "My Way Home" scenarios.


title: Index-based Solutions for Efficient Density Peak Clustering

abstract: Density Peak Clustering (DPC), a popular density-based clustering approach, has received considerable attention from the research community primarily due to its simplicity and fewer-parameter requirement. However, the resultant clusters obtained using DPC are influenced by the sensitive parameter $d_c$, which depends on data distribution and requirements of different users. Besides, the original DPC algorithm requires visiting a large number of objects, making it slow. To this end, this paper investigates index-based solutions for DPC. Specifically, we propose two list-based index methods viz. (i) a simple List Index, and (ii) an advanced Cumulative Histogram Index. Efficient query algorithms are proposed for these indices which significantly avoids irrelevant comparisons at the cost of space. For memory-constrained systems, we further introduce an approximate solution to the above indices which allows substantial reduction in the space cost, provided that slight inaccuracies are admissible. Furthermore, owing to considerably lower memory requirements of existing tree-based index structures, we also present effective pruning techniques and efficient query algorithms to support DPC using the popular Quadtree Index and R-tree Index. Finally, we practically evaluate all the above indices and present the findings and results, obtained from a set of extensive experiments on six synthetic and real datasets. The experimental insights obtained can help to guide in selecting a befitting index.


title: Proximity and remoteness in triangle-free and C_4-free graphs in terms of order and minimum degree

abstract: Let $G$ be a finite, connected graph. The average distance of a vertex $v$ of $G$ is the arithmetic mean of the distances from $v$ to all other vertices of $G$. The remoteness $\rho(G)$ and the proximity $\pi(G)$ of $G$ are the maximum and the minimum of the average distances of the vertices of $G$. In this paper, we present a sharp upper bound on the remoteness of a triangle-free graph of given order and minimum degree, and a corresponding bound on the proximity, which is sharp apart from an additive constant. We also present upper bounds on the remoteness and proximity of $C_4$-free graphs of given order and minimum degree, and we demonstrate that these are close to being best possible.


title: Time-aware Large Kernel Convolutions

abstract: To date, most state-of-the-art sequence modeling architectures use attention to build generative models for language based tasks. Some of these models use all the available sequence tokens to generate an attention distribution which results in time complexity of $O(n^2)$. Alternatively, they utilize depthwise convolutions with softmax normalized kernels of size $k$ acting as a limited-window self-attention, resulting in time complexity of $O(k{\cdot}n)$. In this paper, we introduce Time-aware Large Kernel (TaLK) Convolutions, a novel adaptive convolution operation that learns to predict the size of a summation kernel instead of using a fixed-sized kernel matrix. This method yields a time complexity of $O(n)$, effectively making the sequence encoding process linear to the number of tokens. We evaluate the proposed method on large-scale standard machine translation, abstractive summarization and language modeling datasets and show that TaLK Convolutions constitute an efficient improvement over other attention/convolution based approaches.


title: Stephen William Hawking: A Biographical Memoir

abstract: Stephen Hawking's contributions to the understanding of gravity, black holes and cosmology were truly immense. They began with the singularity theorems in the 1960s followed by his discovery that black holes have an entropy and consequently a finite temperature. Black holes were predicted to emit thermal radiation, what is now called Hawking radiation. He pioneered the study of primordial black holes and their potential role in cosmology. His organisation of and contributions to the Nuffield Workshop in 1982 consolidated the picture that the large-scale structure of the universe originated as quantum fluctuations during the inflationary era. Work on the interplay between quantum mechanics and general relativity resulted in his formulation of the concept of the wavefunction of the universe. The tension between quantum mechanics and general relativity led to his struggles with the information paradox concerning deep connections between these fundamental areas of physics. These achievements were all accomplished following the diagnosis during the early years of Stephen's studies as a post-graduate student in Cambridge that he had incurable motor neuron disease -- he was given two years to live. Against all the odds, he lived a further 55 years. The distinction of his work led to many honours and he became a major public figure, promoting with passion the needs of disabled people. His popular best-selling book A Brief History of Time made cosmology and his own work known to the general public worldwide. He became an icon for science and an inspiration to all.

categories: physics.hist-ph astro-ph.CO gr-qc hep-th


title: Distinguishing Brans-Dicke-Kerr type naked singularities and black holes with their thin disk electromagnetic radiation properties

abstract: The possible existence of naked singularities, hypothetical astrophysical objects, characterized by a gravitational singularity without an event horizon is still an open problem in present day astrophysics. From an observational point of view distinguishing between astrophysical black holes and naked singularities also represents a major challenge. One possible way of differentiating naked singularities from black holes is through the comparative study of thin accretion disks properties around these different types of compact objects. In the present paper we continue the comparative investigation of accretion disk properties around axially-symmetric rotating geometries in Brans-Dicke theory in the presence of a massless scalar field. The solution of the field equations contains the Kerr metric as a particular case, and, depending on the numerical values of the model parameter $\gamma$, has also solutions corresponding to non-trivial black holes and naked singularities, respectively. Due to the differences in the exterior geometries between black holes and Brans-Dicke-Kerr naked singularities, the thermodynamic and electromagnetic properties of the disks (energy flux, temperature distribution and equilibrium radiation spectrum) are different for these two classes of compact objects, consequently giving clear observational signatures that could discriminate between black holes and naked singularities.


title: Spatial-Temporal Multi-Cue Network for Continuous Sign Language Recognition

abstract: Despite the recent success of deep learning in continuous sign language recognition (CSLR), deep models typically focus on the most discriminative features, ignoring other potentially non-trivial and informative contents. Such characteristic heavily constrains their capability to learn implicit visual grammars behind the collaboration of different visual cues (i,e., hand shape, facial expression and body posture). By injecting multi-cue learning into neural network design, we propose a spatial-temporal multi-cue (STMC) network to solve the vision-based sequence learning problem. Our STMC network consists of a spatial multi-cue (SMC) module and a temporal multi-cue (TMC) module. The SMC module is dedicated to spatial representation and explicitly decomposes visual features of different cues with the aid of a self-contained pose estimation branch. The TMC module models temporal correlations along two parallel paths, i.e., intra-cue and inter-cue, which aims to preserve the uniqueness and explore the collaboration of multiple cues. Finally, we design a joint optimization strategy to achieve the end-to-end sequence learning of the STMC network. To validate the effectiveness, we perform experiments on three large-scale CSLR benchmarks: PHOENIX-2014, CSL and PHOENIX-2014-T. Experimental results demonstrate that the proposed method achieves new state-of-the-art performance on all three benchmarks.


title: Radiative QED corrections to one-photon transition rates in hydrogen atom at finite temperatures

abstract: Within the framework of QED theory at finite temperature the thermal radiative corrections to spontaneous one-photon transition rates in hydrogen atom are investigated. The radiative one-loop self-energy corrections are described in the thermal case. Closed analytical expressions are derived and their numerical calculations for the spontaneous decay rate of the $ 2p $ state are carried out. Dominance of thermal radiative corrections to spontaneous Ly$_{\alpha} $ decay rate over ordinary induced transition rate up to temperatures $ T < 6000 $ K is demonstrated.


title: Maximizing the number of independent sets of fixed size in $K_n$-covered graphs

abstract: A graph $G$ is $H$-covered by some given graph $H$ if each vertex in $G$ is contained in a copy of $H$. In this note, we give the maximum number of independent sets of size $t\ge 3$ in $K_n$-covered graphs of size $N\ge n+t-1$ and determine its extremal graph. The result answers a question proposed by Chakraborit and Loh. The proof uses an edge-switching operation of hypergraphs which remains the number of independent sets nondecreasing.


title: Varied fusion reaction probability induced by ion stopping modification in laser-driven plasma with different temperature

abstract: The dynamics of nuclear reaction in plasma is a fundamental issue in many high energy density researches, such as the astrophysical reactions and the inertial confinement fusion. The effective reaction cross-sections and ion stopping power in plasma need to be taken into account to analyze the reactivity. In this research, we have experimentally investigated the from D-D reactions from interactions between deuteron beams and deuterated polystyrene (CD) plasma, driven by two laser pulses respectively. The neutron yields, plasma density and deuteron energy loss in plasma have been measured, and the plasma temperature and deuteron stopping power have been analyzed from simulations. It is shown that, compared with a cold target, the reaction probability in plasma conditions can be enhanced or suppressed, which is ascribed to the deuteron stopping power modifications in plasma. In hotter CD plasma, the energy loss of moderate energetic deuterons reduces, which leads to higher D-D reaction probability, while the contrary happens in colder plasma. This work provides new understanding of fusion reactions in plasma environment.


title: Polynomial time algorithms for inclusion and equivalence of deterministic omega acceptors

abstract: The class of omega languages recognized by deterministic parity acceptors (DPAs) or deterministic Muller acceptors (DMAs) is exactly the regular omega languages. The inclusion problem is the following: given two acceptors A1 and A2, determine whether the language recognized by A1 is a subset of the language recognized by A2, and if not, return an ultimately periodic omega word accepted by A1 but not A2. We describe polynomial time algorithms to solve this problem for two DPAs and for two DMAs. Corollaries include polynomial time algorithms to solve the equivalence problem for DPAs and DMAs, and also the inclusion and equivalence problems for deterministic Buechi and coBuechi acceptors.


title: Circle embeddings with restrictions on Fourier coefficients

abstract: This paper continues the investigation of the relation between the geometry of a circle embedding and the values of its Fourier coefficients. First, we answer a question of Kovalev and Yang concerning the support of the Fourier transform of a starlike embedding. An important special case of circle embeddings are homeomorphisms of the circle onto itself. Under a one-sided bound on the Fourier support, such homeomorphisms are rational functions related to Blaschke products. We study the structure of rational circle homeomorphisms and show that they form a connected set in the uniform topology.


title: A Class of Integral Operators Induced by Harmonic Bergman-Besov kernels on Lebesgue Classes

abstract: We provide a full characterization in terms of the six parameters involved the boundedness of all standard weighted integral operators induced by harmonic Bergman-Besov kernels acting between different Lebesgue classes with standard weights on the unit ball of R^{n}. These operators in some sense generalize the harmonic Bergman-Besov projections. To obtain the necessity conditions, we use a technique that heavily depends on the precise inclusion relations between harmonic Bergman-Besov and weighted Bloch spaces on the unit ball. This fruitful technique is new. It has been used first with holomorphic Bergman-Besov kernels by Kaptano\u{g}lu and \"Ureyen. Methods of the sufficiency proofs we employ are Schur tests or H\"older or Minkowski type inequalities which also make use of estimates of Forelli-Rudin type integrals.


title: A weighted transmuted exponential distribution with environmental applications

abstract: In this paper, we introduce a new three-parameter distribution based on the combination of re-parametrization of the so-called EGNB2 and transmuted exponential distributions. This combination aims to modify the transmuted exponential distribution via the incorporation of an additional parameter, mainly adding a high degree of flexibility on the mode and impacting the skewness and kurtosis of the tail. We explore some mathematical properties of this distribution including the hazard rate function, moments, the moment generating function, the quantile function, various entropy measures and (reversed) residual life functions. A statistical study investigates estimation of the parameters using the method of maximum likelihood. The distribution along with other existing distributions are fitted to two environmental data sets and its superior performance is assessed by using some goodness-of-fit tests. As a result, some environmental measures associated with these data are obtained such as the return level and mean deviation about this level.


title: Hole spin-flip transitions in a self-assembled quantum dot

abstract: In this work, we investigate hole spin-flip transitions in a single self-assembled InGaAs/GaAs quantum dot. We find the hole wave functions using the 8-band $kp$ model and calculate phonon-assisted spin relaxation rates for the ground-state Zeeman doublet. We systematically study the importance of various admixture- and direct spin-phonon mechanisms giving rise to the transition rates. We show that the biaxial and shear strain constitute dominant spin-admixture coupling mechanisms. Then, we demonstrate that hole spin lifetime can be increased if a quantum dot is covered by a strain-reducing layer. Finally, we show that the spin relaxation can be described by an effective model.


title: Correction of Chromatic Aberration from a Single Image Using Keypoints

abstract: In this paper, we propose a method to correct for chromatic aberration in a single photograph. Our method replicates what a user would do in a photo editing program to account for this defect. We find matching keypoints in each colour channel then align them as a user would.


title: Recurrent Neural Network Control of a Hybrid Dynamic Transfemoral Prosthesis with EdgeDRNN Accelerator

abstract: Lower leg prostheses could improve the life quality of amputees by increasing comfort and reducing energy to locomote, but currently control methods are limited in modulating behaviors based upon the human's experience. This paper describes the first steps toward learning complex controllers for dynamical robotic assistive devices. We provide the first example of behavioral cloning to control a powered transfemoral prostheses using a Gated Recurrent Unit (GRU) based recurrent neural network (RNN) running on a custom hardware accelerator that exploits temporal sparsity. The RNN is trained on data collected from the original prosthesis controller. The RNN inference is realized by a novel EdgeDRNN accelerator in real-time. Experimental results show that the RNN can replace the nominal PD controller to realize end-to-end control of the AMPRO3 prosthetic leg walking on flat ground and unforeseen slopes with comparable tracking accuracy. EdgeDRNN computes the RNN about 240 times faster than real time, opening the possibility of running larger networks for more complex tasks in the future. Implementing an RNN on this real-time dynamical system with impacts sets the ground work to incorporate other learned elements of the human-prosthesis system into prosthesis control.


title: Dry Active Matter exhibits a self-organized 'Cross Sea' Phase

abstract: The Vicsek model of self-propelled particles is known in three different phases: (i) a polar ordered homogeneous phase also called Toner-Tu phase, (iii) a phase of polar ordered regularly arranged high density bands (waves) with surrounding low density regions without polar order and (iv) a homogeneous phase without polar order. It has been questioned whether the band phase (iii) should be divided into two parts [Chat\'e2020]: one with periodically arranged and one with strongly interacting but not ordered bands. We answer this question by showing that the standard Vicsek model has a fourth phase for large system sizes: (ii) a polar ordered cross sea phase. Close to the transition towards (i) this phase becomes unstable and looks like strongly interacting bands. We demonstrate that the cross sea phase is not just a superposition of two waves, but it is an independent complex pattern. Furthermore we show that there is a non-zero mass flow through the structure of the cross sea pattern within its co-moving frame.


title: On a bi-dimensional chemo-repulsion model with nonlinear production

abstract: In this paper, we study the following parabolic chemo-repulsion with nonlinear production model: $$ \left\{ \begin{array}{rcl} \partial_tu-\Delta u&=&\nabla\cdot(u\nabla v),\\ \partial_tv-\Delta v+v&=&u^p+fv\, 1_{\Omega_c}. \end{array} \right. $$ This problem is related to a bilinear control problem, where the state $(u,v)$ is the cell density and the chemical concentration respectively, and the control $f$ acts in a bilinear form in the chemical equation. For $2D$ domains, we first consider the case of quadratic signal production ($p=2$), proving the existence and uniqueness of global strong state solution for each control, and the existence of global optimum solution. Afterwards, we deduce the optimality system for any local optimum via a Lagrange multiplier Theorem, proving regularity of the Lagrange multipliers. Finally, we consider the case of signal production $u^p$ with $1<p<2$.