Data driven Characterization of Human Interaction for Model based Control of Powered Prostheses. This paper proposes a data driven method for powered prosthesis control that achieves stable walking without the need for additional sensors on the human. The key idea is to extract the nominal gait and the human interaction information from motion capture data, and reconstruct the walking behavior with a dynamic model of the human prosthesis system. The walking behavior of a human wearing a powered prosthesis is obtained through motion capture, which yields the limb and joint trajectories. Then a nominal trajectory is obtained by solving a gait optimization problem designed to reconstruct the walking behavior observed by motion capture. Moreover, the interaction force profiles between the human and the prosthesis are recovered by simulating the model following the recorded gaits, which are then used to construct a force tube that covers all the interaction force profiles. Finally, a robust Control Lyapunov Function (CLF) Quadratic Programming (QP) controller is designed to guarantee the convergence to the nominal trajectory under all possible interaction forces within the tube. Simulation results show this controller's improved tracking performance with a perturbed force profile compared to other control methods with less model information.


On the Padovan sequence. The aim of this article is to give some properties of the so called Padovan sequence (T n) n ge 0 defined by T n 3 T n 1 T n forall n in mathbb N , T 1 T 2 T 3 1 that is divisibility properties, periods, identities.


Obtuse Lattice Bases. A lattice reduction is an algorithm that transforms the given basis of the lattice to another lattice basis such that problems like finding a shortest vector and closest vector become easier to solve. We define a class of bases called obtuse bases and show that any lattice basis can be transformed to an obtuse basis. A shortest vector mathbf s can be written as mathbf s v 1 mathbf b 1 dots v n mathbf b n where mathbf b 1, dots, mathbf b n are the input basis vectors and v 1, dots,v n are integers. When the input basis is obtuse, all these integers can be chosen to be positive for a shortest vector. This property of obtuse bases makes the lattice enumeration algorithm for finding a shortest vector exponentially faster. We have implemented the algorithm for making bases obtuse, and tested it some small bases.


AnimGAN A Spatiotemporally Conditioned Generative Adversarial Network for Character Animation. Producing realistic character animations is one of the essential tasks in human AI interactions. Considered as a sequence of poses of a humanoid, the task can be considered as a sequence generation problem with spatiotemporal smoothness and realism constraints. Additionally, we wish to control the behavior of AI agents by giving them what to do and, more specifically, how to do it. We proposed a spatiotemporally conditioned GAN that generates a sequence that is similar to a given sequence in terms of semantics and spatiotemporal dynamics. Using LSTM based generator and graph ConvNet discriminator, this system is trained end to end on a large gathered dataset of gestures, expressions, and actions. Experiments showed that compared to traditional conditional GAN, our method creates plausible, realistic, and semantically relevant humanoid animation sequences that match user expectations.


The crystalline comparison of Ainf cohomology the case of good reduction. We provide a simple approach for the crystalline comparison of Ainf cohomology, and reprove the comparison between crystalline and p adic etale cohomology for formal schemes in the case of good reduction.


The large time profile for Hamilton Jacobi Bellman equations. Here, we study the large time limit of viscosity solutions of the Cauchy problem for second order Hamilton Jacobi Bellman equations with convex Hamiltonians in the torus. This large time limit solves the corresponding stationary problem, sometimes called the ergodic problem. This problem, however, has multiple viscosity solutions and, thus, a key question is which of these solutions is selected by the limit. Here, we provide a representation for the viscosity solution to the Cauchy problem in terms of generalized holonomic measures. Then, we use this representation to characterize the large time limit in terms of the initial data and generalized Mather measures. In addition, we establish various results on generalized Mather measures and duality theorems that are of independent interest.


A simplicial complex spliting associativity. We introduce a simplicial object ( Dy m m geq 0 , mathbb F i, mathbb S j) in the category of non symmetric algebraic operads, satisfying that Dy 0 is the operad of associative algebras and Dy 1 is J. L. Loday rq s operad of dendriform algebras. The dimensions of the operad Dy m are given by the Fuss Catalan numbers. Given a family of partially ordered sets bold P P n n geq 1 we show that, under certain conditions, the vector space spanned by the set of m simpleces of bold P is a Dy m algebra. This construction, applied to certain combinatorial Hopf algebras, whose associative product comes from a dendriform structure, provides examples of Dy m algebras.


Bounds on Continuous Scott Rank. An analog of Nadel's effective bound for the continuous Scott rank of metric structures, developed by Ben Yaacov, Doucha, Nies, and Tsankov, will be established Let mathscr L be a language of continuous logic with code hat mathscr L . Let Omega be a weak modulus of uniform continuity with code hat Omega . Let mathcal D be a countable mathscr L pre structure. Let bar mathcal D denote the completion structure of mathcal D . Then mathrm SR Omega( bar D ) leq omega 1 hat mathscr L oplus hat Omega oplus mathcal D , the Church Kleene ordinal relative to hat mathscr L oplus hat Omega oplus mathcal D .


Martin's Maximum and the Diagonal Reflection Principle. We prove that Martin's Maximum does not imply the Diagonal Reflection Principle for stationary subsets of omega 2 omega .


Danger of using fully homomorphic encryption A look at Microsoft SEAL. Fully homomorphic encryption is a promising crypto primitive to encrypt your data while allowing others to compute on the encrypted data. But there are many well known problems with fully homomorphic encryption such as CCA security and circuit privacy problem. Despite these problems, there are still many companies are currently using or preparing to use fully homomorphic encryption to build data security applications. It seems that the full homomorphic encryption is very close to practicality and these problems can be easily mitigated in implementation. Although the those problems are well known in theory, there is no public discussion of their actual impact on real application. Our research shows that there are many security pitfalls in fully homomorphic encryption from the perspective of practical application. The security problems of a fully homomorphic encryption in a real application is more severe than imagined. In this paper, we will take Microsoft SEAL as an examples to introduce the security pitfalls of fully homomorphic encryption from the perspective of implementation and practical application


Online Initialization and Extrinsic Spatial Temporal Calibration for Monocular Visual Inertial Odometry. This paper presents an online initialization method for bootstrapping the optimization based monocular visual inertial odometry (VIO). The method can online calibrate the relative transformation (spatial) and time offsets (temporal) among camera and IMU, as well as estimate the initial values of metric scale, velocity, gravity, gyroscope bias, and accelerometer bias during the initialization stage. To compensate for the impact of time offset, our method includes two short term motion interpolation algorithms for the camera and IMU pose estimation. Besides, it includes a three step process to incrementally estimate the parameters from coarse to fine. First, the extrinsic rotation, gyroscope bias, and time offset are estimated by minimizing the rotation difference between the camera and IMU. Second, the metric scale, gravity, and extrinsic translation are approximately estimated by using the compensated camera poses and ignoring the accelerometer bias. Third, these values are refined by taking into account the accelerometer bias and the gravitational magnitude. For further optimizing the system states, a nonlinear optimization algorithm, which considers the time offset, is introduced for global and local optimization. Experimental results on public datasets show that the initial values and the extrinsic parameters, as well as the sensor poses, can be accurately estimated by the proposed method.


Gamma convergence and homogenisation for a class of degenerate functionals. This paper is on Gamma convergence for degenerate integral functionals related to homogenisation problems in the Heisenberg group. Here both the rescaling and the notion of invariance or periodicity are chosen in a way motivated by the geometry of the Heisenberg group. Without using special geometric features, these functionals would be neither coercive nor periodic, so classic results do not apply. All the results apply to the more general case of Carnot groups.


Internet based Adaptive Distributed Simulation of Mobile Ad hoc Networks. In this paper we focus on Internet based simulation, a form of distributed simulation in which a set of execution units that are physically located around the globe work together to run a simulation model. This setup is very challenging because of the latency variability of communications. Thus, clever mechanisms must be adopted in the distributed simulation, such as the adaptive partitioning of the simulated model and load balancing strategies among execution units. We simulate a wireless model over a real Internet based distributed simulation setup, and evaluate the scalability of the simulator with and without the use of adaptive strategies for both communication overhead reduction and load balancing enhancement. The results confirm the viability of our approach to build Internet based simulations.


Exoskeleton Knee Compliance Improves Gait Velocity and Stability in a Spinal Cord Injured User A Case Report. Spinal cord injuries frequently impair the ability to walk. Powered lower limb exoskeletons offer a promising solution to restore walking ability. However, they are currently restricted to even ground. We hypothesized that compliant exoskeleton knees could decrease required effort to maneuver on uneven terrain, and increase gait velocity and stability. We describe a case study of a motor complete spinal cord injury user (AIS A, Th12) walking with a powered exoskeleton on even and uneven ground over multiple sessions after extensive training. Measurements with compliant or rigid exoskeleton knee joints were performed on three different days for each configuration. Body motion and crutch ground interaction forces were recorded to assess gait performance. We observed higher walking speeds with a compliant exoskeleton knee configuration (mean 0.116 m s on uneven and 0.145 m s on even ground) compared to a rigid configuration (mean 0.083 m s and 0.100 m s). Crutch force impulse was significantly reduced in the compliant configuration. Lastly, gait was more symmetric when the knee joints were compliant. In conclusion, compliant exoskeleton knee joints can help maneuver uneven ground faster and with less user effort than rigid joints. Based on our findings, exoskeleton designers should consider introducing compliance into their design to increase gait robustness and performance, and render exoskeletons more suitable for daily life use.


A unified construction of all the hypergeometric and basic hypergeometric families of orthogonal polynomial sequences. We construct a set H of orthogonal polynomial sequences that contains all the families in the Askey scheme and the q Askey scheme. The polynomial sequences in H are solutions of a generalized first order difference equation which is determined by three linearly recurrent sequences of numbers. Two of these sequences are solutions of a difference equation of order three and the other sequence satisfies a related difference equation of order five. We obtain explicit expressions for the coefficients of the orthogonal polynomials and for the generalized moments with respect to a basis of Newton type of the space of polynomials. We also obtain explicit formulas for the coefficients of the three term recurrence relation satisfied by the polynomial sequences in H . The set H contains all the 15 families in the Askey scheme and all the 29 families in the q Askey scheme. Each of these families is obtained by direct substitution of appropriate values for the parameters in our general formulas. The only cases that require some limits are the Hermite and continuous q Hermite polynomials. We present the values of the parameters for some of the families.


Classification driven Single Image Dehazing. Most existing dehazing algorithms often use hand crafted features or Convolutional Neural Networks (CNN) based methods to generate clear images using pixel level Mean Square Error (MSE) loss. The generated images generally have better visual appeal, but not always have better performance for high level vision tasks, e.g. image classification. In this paper, we investigate a new point of view in addressing this problem. Instead of focusing only on achieving good quantitative performance on pixel based metrics such as Peak Signal to Noise Ratio (PSNR), we also ensure that the dehazed image itself does not degrade the performance of the high level vision tasks such as image classification. To this end, we present an unified CNN architecture that includes three parts a dehazing sub network (DNet), a classification driven Conditional Generative Adversarial Networks sub network (CCGAN) and a classification sub network (CNet) related to image classification, which has better performance both on visual appeal and image classification. We conduct comprehensive experiments on two challenging benchmark datasets for fine grained and object classification CUB 200 2011 and Caltech 256. Experimental results demonstrate that the proposed method outperforms many recent state of the art single image dehazing methods in terms of image dehazing metrics and classification accuracy.


Newton's discrete dynamics. In 1687 Isaac Newton published PHILOSOPHI AE NATURALIS PRINCIPIA MATHEMATICA, where the classical analytic dynamics was formulated. But Newton also formulated a discrete dynamics, which is the central difference algorithm, known as the Verlet algorithm. In fact Newton used the central difference to derive his second law. The central difference algorithm is used in computer simulations,where almost all Molecular Dynamics simulations are performed with the Verlet algorithm or other reformulations of the central difference algorithm. Here we show, that the discrete dynamics obtained by Newtons algorithm for Kepler's equation has the same solutions as the analytic dynamics. The discrete positions of a celestial body are located on an ellipse, which is the exact solution for a shadow Hamiltonian nearby the Hamiltonian for the analytic solution.


Iterative Batch Back Translation for Neural Machine Translation A Conceptual Model. An effective method to generate a large number of parallel sentences for training improved neural machine translation (NMT) systems is the use of back translations of the target side monolingual data. Recently, iterative back translation has been shown to outperform standard back translation albeit on some language pairs. This work proposes the iterative batch back translation that is aimed at enhancing the standard iterative back translation and enabling the efficient utilization of more monolingual data. After each iteration, improved back translations of new sentences are added to the parallel data that will be used to train the final forward model. The work presents a conceptual model of the proposed approach.


Truthful Aggregation of Budget Proposals. We consider a participatory budgeting problem in which each voter submits a proposal for how to divide a single divisible resource (such as money or time) among several possible alternatives (such as public projects or activities) and these proposals must be aggregated into a single aggregate division. Under ell 1 preferences for which a voter's disutility is given by the ell 1 distance between the aggregate division and the division he or she most prefers the social welfare maximizing mechanism, which minimizes the average ell 1 distance between the outcome and each voter's proposal, is incentive compatible (Goel et al. 2016). However, it fails to satisfy the natural fairness notion of proportionality, placing too much weight on majority preferences. Leveraging a connection between market prices and the generalized median rules of Moulin (1980), we introduce the independent markets mechanism, which is both incentive compatible and proportional. We unify the social welfare maximizing mechanism and the independent markets mechanism by defining a broad class of moving phantom mechanisms that includes both. We show that every moving phantom mechanism is incentive compatible. Finally, we characterize the social welfare maximizing mechanism as the unique Pareto optimal mechanism in this class, suggesting an inherent tradeoff between Pareto optimality and proportionality.


Effective estimates for the smallest parts function. We give a substantial improvement for the error term in the asymptotic formula for the smallest parts function mathrm spt (n) of Andrews. Our methods depend on an explicit bound for sums of Kloosterman sums of half integral weight on the full modular group.


On the Importance of Location Privacy for Users of Location Based Applications. Do people care about their location privacy while using location based service apps? This paper aims to answer this question and several other hypotheses through a survey, and review the privacy preservation techniques. Our results indicate that privacy is indeed an influential factor in the selection of location based apps by users.


CAAI A Cognitive Architecture to Introduce Artificial Intelligence in Cyber Physical Production Systems. This paper introduces CAAI, a novel cognitive architecture for artificial intelligence in cyber physical production systems. The goal of the architecture is to reduce the implementation effort for the usage of artificial intelligence algorithms. The core of the CAAI is a cognitive module that processes declarative goals of the user, selects suitable models and algorithms, and creates a configuration for the execution of a processing pipeline on a big data platform. Constant observation and evaluation against performance criteria assess the performance of pipelines for many and varying use cases. Based on these evaluations, the pipelines are automatically adapted if necessary. The modular design with well defined interfaces enables the reusability and extensibility of pipeline components. A big data platform implements this modular design supported by technologies such as Docker, Kubernetes, and Kafka for virtualization and orchestration of the individual components and their communication. The implementation of the architecture is evaluated using a real world use case.


Learning Oracle Attention for High fidelity Face Completion. High fidelity face completion is a challenging task due to the rich and subtle facial textures involved. What makes it more complicated is the correlations between different facial components, for example, the symmetry in texture and structure between both eyes. While recent works adopted the attention mechanism to learn the contextual relations among elements of the face, they have largely overlooked the disastrous impacts of inaccurate attention scores in addition, they fail to pay sufficient attention to key facial components, the completion results of which largely determine the authenticity of a face image. Accordingly, in this paper, we design a comprehensive framework for face completion based on the U Net structure. Specifically, we propose a dual spatial attention module to efficiently learn the correlations between facial textures at multiple scales moreover, we provide an oracle supervision signal to the attention module to ensure that the obtained attention scores are reasonable. Furthermore, we take the location of the facial components as prior knowledge and impose a multi discriminator on these regions, with which the fidelity of facial components is significantly promoted. Extensive experiments on two high resolution face datasets including CelebA HQ and Flickr Faces HQ demonstrate that the proposed approach outperforms state of the art methods by large margins.


Genetic Improvement ICSE 2020. Following Prof. Mark Harman of Facebook's keynote and formal presentations (which are recorded in the proceedings) there was a wide ranging discussion at the eighth international Genetic Improvement workshop, GI 2020 ICSE (held as part of the 42nd ACM IEEE International Conference on Software Engineering on Friday 3rd July 2020). Topics included industry take up, human factors, explainabiloity (explainability, justifyability, exploitability) and GI benchmarks. We also contrast various recent online approaches (e.g. SBST 2020) to holding virtual computer science conferences and workshops via the WWW on the Internet without face 2 face interaction. Finally we speculate on how the Coronavirus Covid 19 Pandemic will affect research next year and into the future.


Structure Attentioned Memory Network for Monocular Depth Estimation. Monocular depth estimation is a challenging task that aims to predict a corresponding depth map from a given single RGB image. Recent deep learning models have been proposed to predict the depth from the image by learning the alignment of deep features between the RGB image and the depth domains. In this paper, we present a novel approach, named Structure Attentioned Memory Network, to more effectively transfer domain features for monocular depth estimation by taking into account the common structure regularities (e.g., repetitive structure patterns, planar surfaces, symmetries) in domain adaptation. To this end, we introduce a new Structure Oriented Memory (SOM) module to learn and memorize the structure specific information between RGB image domain and the depth domain. More specifically, in the SOM module, we develop a Memorable Bank of Filters (MBF) unit to learn a set of filters that memorize the structure aware image depth residual pattern, and also an Attention Guided Controller (AGC) unit to control the filter selection in the MBF given image features queries. Given the query image feature, the trained SOM module is able to adaptively select the best customized filters for cross domain feature transferring with an optimal structural disparity between image and depth. In summary, we focus on addressing this structure specific domain adaption challenge by proposing a novel end to end multi scale memorable network for monocular depth estimation. The experiments show that our proposed model demonstrates the superior performance compared to the existing supervised monocular depth estimation approaches on the challenging KITTI and NYU Depth V2 benchmarks.


What can robotics research learn from computer vision research?. The computer vision and robotics research communities are each strong. However progress in computer vision has become turbo charged in recent years due to big data, GPU computing, novel learning algorithms and a very effective research methodology. By comparison, progress in robotics seems slower. It is true that robotics came later to exploring the potential of learning the advantages over the well established body of knowledge in dynamics, kinematics, planning and control is still being debated, although reinforcement learning seems to offer real potential. However, the rapid development of computer vision compared to robotics cannot be only attributed to the former's adoption of deep learning. In this paper, we argue that the gains in computer vision are due to research methodology evaluation under strict constraints versus experiments bold numbers versus videos.


Covid 19 lockdown improves air quality in Morocco. Due to the Covid 19 pandemic, almost all non essential activities in Morocco have been halted since March 15, 2020. In this sense, several measures have been taken to mitigate the effects of this pandemic. Morocco has been on lockdown since March 20, 2020. The main objective of this paper is to study the effects of the lockdown measures on air quality, by presenting the spatio temporal evolution of PM2,5 and NO2 pollutants, based on satellite data from Sentinel 5P and MERRA. Then, these results are compared to the data predicted by the Copernicus Atmosphere Monitoring Service (CAMS). Results show that, on one hand, Morocco has experienced an improvement in air quality by a significant reduction in NO2 and a relative reduction in PM2,5. On the other hand, we demonstrate that the particulate pollution in Morocco is partly due to synoptic weather patterns, and that a significant part of NO2 emissions is incoming mainly from the outside northern borders of Morocco. Finally we show that PM2,5 CAMS global forecasts underestimate the observed MERRA data.


Stability of EHI and regularity of MMD spaces. We show that elliptic Harnack inequality is stable under form bounded perturbations for strongly local Dirichlet forms on complete locally compact separable metric spaces that satisfy metric doubling property (or equivalently, relative ball connectedness property).


Guiding Robot Exploration in Reinforcement Learning via Automated Planning. Reinforcement learning (RL) enables an agent to learn from trial and error experiences toward achieving long term goals automated planning aims to compute plans for accomplishing tasks using action knowledge. Despite their shared goal of completing complex tasks, the development of RL and automated planning has been largely isolated due to their different computational modalities. Focusing on improving RL agents' learning efficiency, we develop Guided Dyna Q (GDQ) to enable RL agents to reason with action knowledge to avoid exploring less relevant states. The action knowledge is used for generating artificial experiences from an optimistic simulation. GDQ has been evaluated in simulation and using a mobile robot conducting navigation tasks in a multi room office environment. Compared with competitive baselines, GDQ significantly reduces the effort in exploration while improving the quality of learned policies.


The structure of crossed products by automorphisms of C (X, D) . We construct centrally large subalgebras in crossed products of C (X, D) by automorphisms in which D is simple, X is compact metrizable, the automorphism induces a minimal homeomorphism of X , and a mild technical assumption holds. We use this construction to prove structural properties of the crossed product, such as (tracial) Z stability, stable rank one, real rank zero, and pure infiniteness, in a number of examples. Our examples are not accessible via methods based on finite Rokhlin dimension, either because D is not Z stable or because X is infinite dimensional.


Plane Spanning Trees in Edge Colored Simple Drawings of K n . K ' a rolyi, Pach, and T ' o th proved that every 2 edge colored straight line drawing of the complete graph contains a monochromatic plane spanning tree. It is open if this statement generalizes to other classes of drawings, specifically, to simple drawings of the complete graph. These are drawings where edges are represented by Jordan arcs, any two of which intersect at most once. We present two partial results towards such a generalization. First, we show that the statement holds for cylindrical simple drawings. (In a cylindrical drawing, all vertices are placed on two concentric circles and no edge crosses either circle.) Second, we introduce a relaxation of the problem in which the graph is k edge colored, and the target structure must be hypochromatic, that is, avoid (at least) one color class. In this setting, we show that every lceil (n 5) 6 rceil edge colored monotone simple drawing of K n contains a hypochromatic plane spanning tree. (In a monotone drawing, every edge is represented as an x monotone curve.)


Micron scale SABRE enhanced NV NMR Spectroscopy. Optically probed nitrogen vacancy (NV) quantum defects in diamond can detect nuclear magnetic resonance (NMR) signals with high spectral resolution from micron scale sample volumes of about 10 picoliters. However, a key challenge for NV NMR is detecting samples at millimolar concentrations. Here, we demonstrate an improvement in NV NMR proton concentration sensitivity of about 10 5 over thermal polarization by hyperpolarizing sample proton spins through signal amplification by reversible exchange (SABRE), enabling micron scale NMR of small molecule sample concentrations as low as 1 millimolar in picoliter volumes. The SABRE enhanced NV NMR technique may enable detection and chemical analysis of low concentration molecules and their dynamics in complex micron scale systems such as single cells.


Dual of 2D fractional Fourier transform associated to It o Hermite polynomials. A class of integral transforms, on the planar Gaussian Hilbert space with range in the weighted Bergman space on the bi disk, is defined as the dual transforms of the 2d fractional Fourier transform associated with the Mehler function for It o Hermite polynomials. Some spectral properties of these transforms are investigated. Namely, we study their boundedness and identify their null spaces as well as their ranges. Such identification depends on the zeros set of It o Hermite polynomials. Moreover, the explicit expressions of their singular values are given and compactness and membership in p Schatten class are studied. The relationship to specific fractional Hankel transforms is also established


Record high solar irradiance in Western Europe during first COVID 19 lockdown largely due to unusual weather. Spring 2020 broke sunshine duration records across western Europe. The Netherlands recorded the highest surface irradiance since 1928, exceeding the previous extreme of 2011 by 13 , and the diffuse fraction of the irradiance measured a record low percentage (38 ). The coinciding irradiance extreme and a reduction in anthropogenic pollution due to COVID 19 measures triggered the hypothesis that cleaner than usual air contributed to the record. Based on analyses of ground based and satellite observations and experiments with a radiative transfer model, we estimate a 1.3 (2.3 W m 2 ) increase in surface irradiance with respect to the 2010 2019 mean due to a low median aerosol optical depth, and a 17.6 (30.7 W m 2 ) increase due to several exceptionally dry days and a very low cloud fraction overall. Our analyses show that the reduced aerosols and contrails due to the COVID 19 measures are far less important in the irradiance record than the dry and particularly cloud free weather.


How to apply the rubber method for channels with feedback. We give an overview of applications of the rubber method. The rubber method is a coding algorithm that was developed in 2005 by Ahlswede, Deppe and Lebedev for channels with feedback. It was a big surprise that an encoding strategy that reserves one symbol exclusively as a rubber can sometimes reach the capacity of a channel. Since then, generalizations of the algorithm have been developed. These generalizations can be used for special channels. There are also other ideas for modifying the rubber method.


Compact K "ahler manifolds with quasi positive second Chern Ricci curvature. Let X be a compact K "ahler manifold. We prove that if X admits a smooth Hermitian metric omega with quasi positive second Chern Ricci curvature mathrm Ric (2) ( omega) , then X is projective and rationally connected. In particular, X is simply connected.


On, Around, and Beyond Frobenius' Theorem on Division Algebras. Frobenius' Theorem states that the algebra of quaternions mathbb H is, besides the fields of real and complex numbers, the only finite dimensional real division algebra. We first give a short elementary proof of this theorem, then characterize finite dimensional real algebras that contain either a copy of mathbb C , a copy of mathbb H , or a pair of anticommuting invertible elements through the dimensions of their (left) ideals, and finally consider the problem of lifting algebraic elements modulo ideals.


Multi Stage HRNet Multiple Stage High Resolution Network for Human Pose Estimation. Human pose estimation are of importance for visual understanding tasks such as action recognition and human computer interaction. In this work, we present a Multiple Stage High Resolution Network (Multi Stage HRNet) to tackling the problem of multi person pose estimation in images. Specifically, we follow the top down pipelines and high resolution representations are maintained during single person pose estimation. In addition, multiple stage network and cross stage feature aggregation are adopted to further refine the keypoint position. The resulting approach achieves promising results in COCO datasets. Our single model single scale test configuration obtains 77.1 AP score in test dev using publicly available training data.


Firearm Detection and Segmentation Using an Ensemble of Semantic Neural Networks. In recent years we have seen an upsurge in terror attacks around the world. Such attacks usually happen in public places with large crowds to cause the most damage possible and get the most attention. Even though surveillance cameras are assumed to be a powerful tool, their effect in preventing crime is far from clear due to either limitation in the ability of humans to vigilantly monitor video surveillance or for the simple reason that they are operating passively. In this paper, we present a weapon detection system based on an ensemble of semantic Convolutional Neural Networks that decomposes the problem of detecting and locating a weapon into a set of smaller problems concerned with the individual component parts of a weapon. This approach has computational and practical advantages a set of simpler neural networks dedicated to specific tasks requires less computational resources and can be trained in parallel the overall output of the system given by the aggregation of the outputs of individual networks can be tuned by a user to trade off false positives and false negatives finally, according to ensemble theory, the output of the overall system will be robust and reliable even in the presence of weak individual models. We evaluated our system running simulations aimed at assessing the accuracy of individual networks and the whole system. The results on synthetic data and real world data are promising, and they suggest that our approach may have advantages compared to the monolithic approach based on a single deep convolutional neural network.


The Impact of Heterogeneity and Geometry on the Proof Complexity of Random Satisfiability. Satisfiability is considered the canonical NP complete problem and is used as a starting point for hardness reductions in theory, while in practice heuristic SAT solving algorithms can solve large scale industrial SAT instances very efficiently. This disparity between theory and practice is believed to be a result of inherent properties of industrial SAT instances that make them tractable. Two characteristic properties seem to be prevalent in the majority of real world SAT instances, heterogeneous degree distribution and locality. To understand the impact of these two properties on SAT, we study the proof complexity of random k SAT models that allow to control heterogeneity and locality. Our findings show that heterogeneity alone does not make SAT easy as heterogeneous random k SAT instances have superpolynomial resolution size. This implies intractability of these instances for modern SAT solvers. On the other hand, modeling locality with an underlying geometry leads to small unsatisfiable subformulas, which can be found within polynomial time. A key ingredient for the result on geometric random k SAT can be found in the complexity of higher order Voronoi diagrams. As an additional technical contribution, we show a linear upper bound on the number of non empty Voronoi regions, that holds for points with random positions in a very general setting. In particular, it covers arbitrary p norms, higher dimensions, and weights affecting the area of influence of each point multiplicatively. This is in stark contrast to quadratic lower bounds for the worst case.


Weak Type Endpoint Estimates for the Commutators of Rough Singular Integral Operators. Let Omega be homogeneous of degree zero and have mean value zero on the unit sphere S n 1 , T Omega be the convolution singular integral operator with kernel frac Omega(x) x n . For b in rm BMO ( mathbb R n) , let T Omega, ,b be the commutator of T Omega . In this paper, by establishing suitable sparse dominations, the authors establish some weak type endpoint estimates of L log L type for T Omega, ,b when Omega in L q(S n 1 ) for some q in (1, , infty .


A Manifold Learning Approach to Accelerate Phase Field Fracture Simulations in the Representative Volume Element. The multiscale simulation of heterogeneous materials is a popular and important subject in solid mechanics and materials science due to the wide application of composite materials. However, the classical FE2 (finite element2) scheme can be costly, especially when the microproblem is nonlinear. In this paper, we consider the case when the microproblem is the phase field formulation for fracture. We adopt the locally linear embedding (LLE) manifold learning approach, a method for non linear dimension reduction, to extract the manifold that contains a collection of phase field represented initial microcrack patterns in the representative volume element (RVE). Then the output data corresponding to any other microcrack pattern, e.g., the evolved phase field at a fixed load, can be accurately reconstructed using the learned manifold with minimum computation. The method has two features a minimum number of parameters for the scheme, and an input specific error bar. The latter feature enables an adaptive strategy for any new input on whether to use the proposed, less expensive reconstruction, or to use an accurate but costly high fidelity computation instead.


Localization at the boundary for conditioned random walks in random environment in dimensions two and higher. We introduce the notion of emph localization at the boundary for conditioned random walks in i.i.d. and uniformly elliptic random environment on mathbb Z d , in dimensions two and higher. Informally, this means that the walk spends a non trivial amount of time at some point x in mathbb Z d with x 1 n at time n , for n large enough. In dimensions two and three, we prove localization for (almost) all walks. In contrast, for d geq 4 there is a phase transition for environments of the form omega varepsilon (x,e) alpha(e)(1 varepsilon xi(x,e)) , where xi(x) x in mathbb Z d is an i.i.d. sequence of random variables, and varepsilon represents the amount of disorder with respect to a simple random walk. The proofs involve a criterion that connects localization with the equality or difference between the quenched and annealed rate functions at the boundary.


Bayesian Persuasion under Ex Ante and Ex Post Constraints. Bayesian persuasion is the study of information sharing policies among strategic agents. A prime example is signaling in online ad auctions what information should a platform signal to an advertiser regarding a user when selling the opportunity to advertise to her? Practical considerations such as preventing discrimination, protecting privacy or acknowledging limited attention of the information receiver impose constraints on information sharing. In this work, we propose and analyze a simple way to mathematically model such constraints as restrictions on Receiver's admissible posterior beliefs. We consider two families of constraints ex ante and ex post, where the latter limits each instance of Sender Receiver communication, while the former more general family can also pose restrictions in expectation. For the ex ante family, Doval and Skreta establish the existence of an optimal signaling scheme with a small number of signals at most the number of constraints plus the number of states of nature we show this result is tight and provide an alternative proof for it. For the ex post family, we tighten a bound of V o lund, showing that the required number of signals is at most the number of states of nature, as in the original Kamenica Gentzkow setting. As our main algorithmic result, we provide an additive bi criteria FPTAS for an optimal constrained signaling scheme assuming a constant number of states we improve the approximation to single criteria under a Slater like regularity condition. The FPTAS holds under standard assumptions relaxed assumptions yield a PTAS. Finally, we bound the ratio between Sender's optimal utility under convex ex ante constraints and the corresponding ex post constraints. This bound applies to finding an approximately welfare maximizing constrained signaling scheme in ad auctions.


Piecewise Affine Dynamical Models of Timed Petri Nets Application to Emergency Call Centers. We study timed Petri nets, with preselection and priority routing. We represent the behavior of these systems by piecewise affine dynamical systems. We use tools from the theory of nonexpansive mappings to analyze these systems. We establishan equivalence theorem between priority free fluid timed Petri nets and semi Markov decision processes, from which we derive the convergence to a periodic regime and the polynomial time computability of the throughput. More generally, we develop an approach inspired by tropical geometry, characterizing the congestion phases as the cells of a polyhedral complex. We illustrate these results by a current application to the performance evaluation of emergency call centers in the Paris area. We show that priorities can lead to a paradoxical behavior in certain regimes, the throughput of the most prioritary task may not be an increasing function of the resources.


On partition polynomials and partition functions. In this paper we revisit the work of E.T. Bell concerning partition polynomials in order to introduce the reciprocal partition polynomials. We give their explicit formulas and apply the result to compute closed formulae for some well known partition functions.


Singularities In L p quasidisks. We study planar domains with exemplary boundary singularities of the form of cusps. A natural question is how much elastic energy is needed to flatten these cusps that is, to remove singularities. We give, in a connection of quasidisks, a sharp integrability condition for the distortion function to answer this ques tion.


Collision Probabilities for Continuous Time Systems Without Sampling with Appendices . Demand for high performance, robust, and safe autonomous systems has grown substantially in recent years. Fulfillment of these objectives requires accurate and efficient risk estimation that can be embedded in core decision making tasks such as motion planning. On one hand, Monte Carlo (MC) and other sampling based techniques can provide accurate solutions for a wide variety of motion models but are cumbersome to apply in the context of continuous optimization. On the other hand, "direct" approximations aim to compute (or upper bound) the failure probability as a smooth function of the decision variables, and thus are widely applicable. However, existing approaches fundamentally assume discrete time dynamics and can perform unpredictably when applied to continuous time systems operating in the real world, often manifesting as severe conservatism. State of the art attempts to address this within a conventional discrete time framework require additional Gaussianity approximations that ultimately produce inconsistency of their own. In this paper we take a fundamentally different approach, deriving a risk approximation framework directly in continuous time and producing a lightweight estimate that actually improves as the discretization is refined. Our approximation is shown to significantly outperform state of the art techniques in replicating the MC estimate while maintaining the functional and computational benefits of a direct method. This enables robust, risk aware, continuous motion planning for a broad class of nonlinear, partially observable systems.


Option Pricing Channels, Target Zones and Sideways Markets. After a market downturn, especially in an uncertain economic environment such as the current state, there can be a relatively long period with a sideways market, where indexes, stocks, etc., move in channels with support and resistance levels. We discuss option pricing in such scenarios, in both cases of unattainable as well as attainable boundaries, and obtain closed form option pricing formulas. Our results also apply to FX rates in target zones without interest rate pegging (USD HKD, digital currencies, etc.).


Selling Renewable Utilization Service to Consumers via Cloud Energy Storage. This paper proposes a cloud energy storage (CES) model for enabling local renewable integration of building consumers (BCs). Different from most existing third party based ES sharing models that the energy storage operator (ESO) gains profit by leasing energy or power capacity, our CES model allows the ESO to sell renewable utilization service (RUS) to its consumers, i.e., the total amount of local renewable generation shifted to supply their demand. Notably, we propose a quadratic price model for the ESO charging its consumers by their requested RUS and formulate their interactions as a Stackelberg game, which admits an equilibrium. We prove the CES model outperforms individual ES (IES) model in social welfare. Besides, we study the performance of the CES model compared with the IES model and an existing ES sharing model (referring to VES model) via case studies. We demonstrate the CES model can provide 2 4 times profit to the ESO than the VES model. Meanwhile, higher cost reduction for the BCs are secured by the CES model. Moreover, we show the CES model can achieve near social optima and high ES efficiency (i.e., utilization) which are not provided by the other ES models.


C3AE Exploring the Limits of Compact Model for Age Estimation. Age estimation is a classic learning problem in computer vision. Many larger and deeper CNNs have been proposed with promising performance, such as AlexNet, VggNet, GoogLeNet and ResNet. However, these models are not practical for the embedded mobile devices. Recently, MobileNets and ShuffleNets have been proposed to reduce the number of parameters, yielding lightweight models. However, their representation has been weakened because of the adoption of depth wise separable convolution. In this work, we investigate the limits of compact model for small scale image and propose an extremely Compact yet efficient Cascade Context based Age Estimation model(C3AE). This model possesses only 1 9 and 1 2000 parameters compared with MobileNets ShuffleNets and VggNet, while achieves competitive performance. In particular, we re define age estimation problem by two points representation, which is implemented by a cascade model. Moreover, to fully utilize the facial context information, multi branch CNN network is proposed to aggregate multi scale context. Experiments are carried out on three age estimation datasets. The state of the art performance on compact model has been achieved with a relatively large margin.


Weighted Estimates of Singular Integrals and Commutators in the Zygmund Dilation Setting. The main purpose of this paper is to establish weighted estimates for singular integrals associated with Zygmund dilations via a discrete Littlewood Paley theory, and then apply it to obtain the upper bound of the norm of commutators of such singular integrals with a function in the little bmo space associated with Zygmund dilations. Examples of such singular integrals associated with Zygmund dilations include a class of singular integrals studied by Ricci Stein and Fefferman Pipher, as well as a singular integral along a particular surface studied by Nagel Wainger. We show that the lower bound of the norm of this commutator is not true for any singular integral in the class considered in Ricci Stein and Fefferman Pipher, but does in fact hold for the specific singular integral studied in Nagel Wainger. In particular this implies that the family of singular integrals studied in these papers is not sufficiently general to contain the operator of Nagel Wainger, which we show is of significance in this theory.


Reducing the domination number of P 3 kP 2 free graphs via one edge contraction. In this note, we consider the following problem given a connected graph G , can we reduce the domination number of G by using only one edge contraction? We show that the problem is polynomial time solvable on P 3 kP 2 free graphs for any k geq 0 which combined with results of 1,2 leads to a complexity dichotomy of the problem on H free graphs.


Linear Convergence of Randomized Primal Dual Coordinate Method for Large scale Linear Constrained Convex Programming. Linear constrained convex programming has many practical applications, including support vector machine and machine learning portfolio problems. We propose the randomized primal dual coordinate (RPDC) method, a randomized coordinate extension of the first order primal dual method by Cohen and Zhu, 1984 and Zhao and Zhu, 2019, to solve linear constrained convex programming. We randomly choose a block of variables based on a uniform distribution, linearize, and apply a Bregman like function (core function) to the selected block to obtain simple parallel primal dual decomposition. We then establish almost surely convergence and expected O(1 t) convergence rate, and expected linear convergence under global strong metric subregularity. Finally, we discuss implementation details for the randomized primal dual coordinate approach and present numerical experiments on support vector machine and machine learning portfolio problems to verify the linear convergence.


Substrate Stiffness Changes Cell Rolling and Adhesion over L selectin Coated Surface in a Viscous Shear Flow. Understanding the rolling and adhesion behavior of a cell on the vascular surface under viscous shear flow is important to better understand many biological processes. One of the important examples is the adhesion of the leukocytes onto sites of an inflammation. Recently, researchers have started to investigate the effects of surface rigidity on the cell rolling and adhesion. Inspired by recent studies, we employed Adhesive dynamics to investigate effects of substrate rigidity on a rolling cell in a hydrodynamic flow.


Why model why? Assessing the strengths and limitations of LIME. When it comes to complex machine learning models, commonly referred to as black boxes, understanding the underlying decision making process is crucial for domains such as healthcare and financial services, and also when it is used in connection with safety critical systems such as autonomous vehicles. As such interest in explainable artificial intelligence (xAI) tools and techniques has increased in recent years. However, the effectiveness of existing xAI frameworks, especially concerning algorithms that work with data as opposed to images, is still an open research question. In order to address this gap, in this paper we examine the effectiveness of the Local Interpretable Model Agnostic Explanations (LIME) xAI framework, one of the most popular model agnostic frameworks found in the literature, with a specific focus on its performance in terms of making tabular models more interpretable. In particular, we apply several state of the art machine learning algorithms on a tabular dataset, and demonstrate how LIME can be used to supplement conventional performance assessment methods. In addition, we evaluate the understandability of the output produced by LIME both via a usability study, involving participants who are not familiar with LIME, and its overall usability via an assessment framework, which is derived from the International Organisation for Standardisation 9241 11 1998 standard.


Vector Bundles on Flag varieties. We study vector bundles on flag varieties over an algebraically closed field k . In the first part, we suppose G G k(d,n) (2 le d leq n d) to be the Grassmannian manifold parameterizing linear subspaces of dimension d in k n , where k is an algebraically closed field of characteristic p 0 . Let E be a uniform vector bundle over G of rank r le d . We show that E is either a direct sum of line bundles or a twist of a pull back of the universal bundle H d or its dual H d vee by a series of absolute Frobenius maps. In the second part, splitting properties of vector bundles on general flag varieties F(d 1, cdots,d s) in characteristic zero are considered. We prove a structure theorem for bundles over flag varieties which are uniform with respect to the i th component of the manifold of lines in F(d 1, cdots,d s) . Furthermore, we generalize the Grauert M ddot text u lich Barth theorem to flag varieties. As a corollary, we show that any strongly uniform i semistable (1 le i le n 1) bundle over the complete flag variety splits as a direct sum of special line bundles.


Maximal co cliques in the Kneser graph on plane solid flags in PG(6,q) . For q 27 we determine the independence number alpha( Gamma) of the Kneser graph Gamma on plane solid flags in PG(6,q) . More precisely we describe all maximal independent sets of size at least q 11 and show that every other maximal example has cardinality at most a constant times q 10 .


A Semi Supervised Approach for Low Resourced Text Generation. Recently, encoder decoder neural models have achieved great success on text generation tasks. However, one problem of this kind of models is that their performances are usually limited by the scale of well labeled data, which are very expensive to get. The low resource (of labeled data) problem is quite common in different task generation tasks, but unlabeled data are usually abundant. In this paper, we propose a method to make use of the unlabeled data to improve the performance of such models in the low resourced circumstances. We use denoising auto encoder (DAE) and language model (LM) based reinforcement learning (RL) to enhance the training of encoder and decoder with unlabeled data. Our method shows adaptability for different text generation tasks, and makes significant improvements over basic text generation models.


Friezes, weak friezes, and T paths. Frieze patterns form a nexus between algebra, combinatorics, and geometry. T paths with respect to triangulations of surfaces have been used to obtain expansion formulae for cluster variables. This paper will introduce the concepts of weak friezes and T paths with respect to dissections of polygons. Our main result is that weak friezes are characterised by satisfying an expansion formula which we call the T path formula. We also show that weak friezes can be glued together, and that the resulting weak frieze is a frieze if and only if so was each of the weak friezes being glued.


Knowledge Graph Driven Approach to Represent Video Streams for Spatiotemporal Event Pattern Matching in Complex Event Processing. Complex Event Processing (CEP) is an event processing paradigm to perform real time analytics over streaming data and match high level event patterns. Presently, CEP is limited to process structured data stream. Video streams are complicated due to their unstructured data model and limit CEP systems to perform matching over them. This work introduces a graph based structure for continuous evolving video streams, which enables the CEP system to query complex video event patterns. We propose the Video Event Knowledge Graph (VEKG), a graph driven representation of video data. VEKG models video objects as nodes and their relationship interaction as edges over time and space. It creates a semantic knowledge representation of video data derived from the detection of high level semantic concepts from the video using an ensemble of deep learning models. A CEP based state optimization VEKG Time Aggregated Graph (VEKG TAG) is proposed over VEKG representation for faster event detection. VEKG TAG is a spatiotemporal graph aggregation method that provides a summarized view of the VEKG graph over a given time length. We defined a set of nine event pattern rules for two domains (Activity Recognition and Traffic Management), which act as a query and applied over VEKG graphs to discover complex event patterns. To show the efficacy of our approach, we performed extensive experiments over 801 video clips across 10 datasets. The proposed VEKG approach was compared with other state of the art methods and was able to detect complex event patterns over videos with F Score ranging from 0.44 to 0.90. In the given experiments, the optimized VEKG TAG was able to reduce 99 and 93 of VEKG nodes and edges, respectively, with 5.19X faster search time, achieving sub second median latency of 4 20 milliseconds.


Acquisition of Inflectional Morphology in Artificial Neural Networks With Prior Knowledge. How does knowledge of one language's morphology influence learning of inflection rules in a second one? In order to investigate this question in artificial neural network models, we perform experiments with a sequence to sequence architecture, which we train on different combinations of eight source and three target languages. A detailed analysis of the model outputs suggests the following conclusions (i) if source and target language are closely related, acquisition of the target language's inflectional morphology constitutes an easier task for the model (ii) knowledge of a prefixing (resp. suffixing) language makes acquisition of a suffixing (resp. prefixing) language's morphology more challenging and (iii) surprisingly, a source language which exhibits an agglutinative morphology simplifies learning of a second language's inflectional morphology, independent of their relatedness.


Toward unsupervised, multi object discovery in large scale image collections. This paper addresses the problem of discovering the objects present in a collection of images without any supervision. We build on the optimization approach of Vo et al. (CVPR'19) with several key novelties (1) We propose a novel saliency based region proposal algorithm that achieves significantly higher overlap with ground truth objects than other competitive methods. This procedure leverages off the shelf CNN features trained on classification tasks without any bounding box information, but is otherwise unsupervised. (2) We exploit the inherent hierarchical structure of proposals as an effective regularizer for the approach to object discovery of Vo et al., boosting its performance to significantly improve over the state of the art on several standard benchmarks. (3) We adopt a two stage strategy to select promising proposals using small random sets of images before using the whole image collection to discover the objects it depicts, allowing us to tackle, for the first time (to the best of our knowledge), the discovery of multiple objects in each one of the pictures making up datasets with up to 20,000 images, an over five fold increase compared to existing methods, and a first step toward true large scale unsupervised image interpretation.


New stability estimates for an unfitted finite element method for two phase Stokes problem. The paper addresses stability and finite element analysis of the stationary two phase Stokes problem with a piecewise constant viscosity coefficient experiencing a jump across the interface between two fluid phases. We first prove a priori estimates for the individual terms of the Cauchy stress tensor with stability constants independent of the viscosity coefficient. Next, this stability result is extended to the approximation of the two phase Stokes problem by a finite element method. In the method considered, the interface between the phases does not respect the underlying triangulation, which put the finite element method into the class of unfitted discretizations. The finite element error estimates are proved with constants independent of viscosity. Numerical experiments supporting the theoretical results are provided.


BridgeNet A Continuity Aware Probabilistic Network for Age Estimation. Age estimation is an important yet very challenging problem in computer vision. Existing methods for age estimation usually apply a divide and conquer strategy to deal with heterogeneous data caused by the non stationary aging process. However, the facial aging process is also a continuous process, and the continuity relationship between different components has not been effectively exploited. In this paper, we propose BridgeNet for age estimation, which aims to mine the continuous relation between age labels effectively. The proposed BridgeNet consists of local regressors and gating networks. Local regressors partition the data space into multiple overlapping subspaces to tackle heterogeneous data and gating networks learn continuity aware weights for the results of local regressors by employing the proposed bridge tree structure, which introduces bridge connections into tree models to enforce the similarity between neighbor nodes. Moreover, these two components of BridgeNet can be jointly learned in an end to end way. We show experimental results on the MORPH II, FG NET and Chalearn LAP 2015 datasets and find that BridgeNet outperforms the state of the art methods.


On the Saturation Phenomenon of Stochastic Gradient Descent for Linear Inverse Problems. Stochastic gradient descent (SGD) is a promising method for solving large scale inverse problems, due to its excellent scalability with respect to data size. The current mathematical theory in the lens of regularization theory predicts that SGD with a polynomially decaying stepsize schedule may suffer from an undesirable saturation phenomenon, i.e., the convergence rate does not further improve with the solution regularity index when it is beyond a certain range. In this work, we present a refined convergence rate analysis of SGD, and prove that saturation actually does not occur if the initial stepsize of the schedule is sufficiently small. Several numerical experiments are provided to complement the analysis.


Reducible operators in non Gamma type rm II 1 factors. A famous question of Halmos asks whether every operator on a separable infinite dimensional Hilbert space is a norm limit of reducible operators. In 30 , Voiculescu gave this problem an affirmative answer by his remarkable non commutative Weyl von Neumann theorem. We investigate the existence or non existence of an analogue of Voiculescu's result in factors of type rm II 1 . In the paper we prove that, in the operator norm topology, the set of reducible operators is it nowhere dense in a non Gamma factor mathcal M of type rm II 1 , where separable and non separable cases of mathcal M are both considered. Main tools developed in the paper are a new characterization of Murray and von Neumann's Property Gamma for a factor of type rm II 1 and a spectral gap property for a single operator in a non Gamma factor of type rm II 1 .


Representations of the finite dimensional point densities in Arratia flows with drift. We derive representations for finite dimensional densities of the point processed associated with an Arratia flow with drift in terms of conditional expectations of the stochastic exponentials appearing in the analog of the Girsanov theorem for Arratia flows.


Fano feature induced by a bound state in the continuum via resonant state expansion. We consider light scattering by an anisotropic defect layer embedded into anisotropic photonic crystal in the spectral vicinity of an optical bound state in the continuum (BIC). Using a resonant state expansion method we derive an analytic solution for reflection and transmission amplitudes. The analytic solution is constructed via a perturbative approach with the BIC as the zeroth order approximation. The solution is found to describe the collapsing Fano feature in the spectral vicinity of the BIC. The findings are confirmed via comparison against direct numerical simulations with the Berreman transfer matrix method.


Outstanding A Multi Perspective Travel Approach for Virtual Reality Games. In virtual reality games, players dive into fictional environments and can experience a compelling and immersive world. State of the art VR systems allow for natural and intuitive navigation through physical walking. However, the tracking space is still limited, and viable alternatives comm or extensions are required to reach further virtual destinations. Our work focuses on the exploration of vast open worlds an area where existing local navigation approaches such as the arc based teleport are not ideally suited and world in miniature techniques potentially reduce presence. We present a novel alternative for open environments Our idea is to equip players with the ability to switch from first person to a third person bird's eye perspective on demand. From above, players can command their avatar and initiate travels over large distance. Our evaluation reveals a significant increase in spatial orientation while avoiding cybersickness and preserving presence, enjoyment, and competence. We summarize our findings in a set of comprehensive design guidelines to help developers integrate our technique.


Depth Growing for Neural Machine Translation. While very deep neural networks have shown effectiveness for computer vision and text classification applications, how to increase the network depth of neural machine translation (NMT) models for better translation quality remains a challenging problem. Directly stacking more blocks to the NMT model results in no improvement and even reduces performance. In this work, we propose an effective two stage approach with three specially designed components to construct deeper NMT models, which result in significant improvements over the strong Transformer baselines on WMT 14 English to German and English to French translation tasks footnote Our code is available at url https github.com apeterswu Depth Growing NMT .


Tverberg's theorem, disks, and Hamiltonian cycles. For a finite set S of points in the plane and a graph with vertices on S consider the disks with diameters induced by the edges. We show that for any odd set S there exists a Hamiltonian cycle for which these disks share a point, and for an even set S there exists a Hamiltonian path with the same property. We discuss high dimensional versions of these theorems and their relation to other results in discrete geometry.


Towards a certified reference monitor of the Android 10 permission system. Android is a platform for mobile devices that captures more than 85 of the total market share. Currently, mobile devices allow people to develop multiple tasks in different areas. Regrettably, the benefits of using mobile devices are counteracted by increasing security risks. The important and critical role of these systems makes them a prime target for formal verification. In our previous work (LNCS 10855, https doi.org 10.1007 978 3 319 94460 9 16), we exhibited a formal specification of an idealized formulation of the permission model of version texttt 6 of Android. In this paper we present an enhanced version of the model in the proof assistant Coq, including the most relevant changes concerning the permission system introduced on versions Nougat, Oreo, Pie and 10. The properties that we had proved earlier for the security model has been either revalidated or refuted, and new ones have been formulated and proved. Additionally, we make observations on the security of the most recent versions of Android. Using the programming language of Coq we have developed a functional implementation of a reference validation mechanism and certified its correctness. The formal development is about 23k LOC of Coq, including proofs.


Detecting individual internal displacements following a sudden onset disaster using time series analysis of call detail records. We present a method for analysing mobile phone call detail records to identify individuals whom we believe to be have been internally displaced as a result of a sudden onset disaster. We model each anonymous individual's movements trajectory as a piecewise constant time series signal, assume that a disaster induced displacement is exhibited as a level shift from an individual's 'normal' location, and then apply a step detection algorithm to identify level shifts in the signal. In contrast to typical methods that are used to analyse mobility patterns from call detail records, where the aggregate movements of large groups of individuals are analysed, our method offers the advantage that no assumptions regarding the destination or duration of an individual's displacement are necessary. We have applied the method to the datasets from three disasters the 2010 earthquake in Haiti, the 2015 Gorkha earthquake in Nepal, and Hurricane Matthew in Haiti in 2016. Our results demonstrate that this method can facilitate improvements in the analysis and modelling of the mobility of internally displaced persons in post disaster scenarios, using call detail records. Such analyses can be used to complement traditional survey methods to assess the scale and characteristics of disaster induced displacements in a timely manner.


Personal Ultraviolet Respiratory Germ Eliminating Machine (PUR diamond GEM) for COVID 19 Prototype Development. In this article we detail the prototype development of the Personal Ultraviolet Respiratory Germ Eliminating Machine(PUR diamond GEM) to safely, efficiently and economically, continuously disinfect inhaled exhaled air using Ultraviolet (UV) radiation with possible 99.99 virus elimination. The PUR diamond GEM consists of a series of UV disinfection chambers through which constant airflow is maintained via fans. A minimum air flow rate of sim20 30 L min is sufficient to keep CO 2 levels lesssim 0.5 in the hood helmet. We validated that using easily available PTFE wrap, a factor of sim 18 enhancement in UV power can be obtained in our spherical chambers. Detailed analysis is presented for the air travel time distributions through the cavities, and the expectation value for actual pathogen elimination is computed. We provide the scaling of pathogen elimination with the number of cavities in series, reflective enhancement, UV source power, sphere radius and airflow rate. We show that disinfection greater than 4 log is achievable for a series of three or more spheres. We 3D printed our prototype, consisting of two spheres of 10 cm diameter each in series for each direction of disinfection. Using UVC LEDs emitting sim 40 mW of power each with an airflow rate of 30 L min, actual SARS COV2 virus elimination of sim 98 is expected. While not manually feasible to construct smaller spheres in the lab, smaller cavities can be commercially manufactured, leading to significantly higher actual pathogen elimination, as well as reducing fingerprint and cost of cavity manufacture. Patent pending.


Quickest Change Detection with Privacy Constraint. This paper considers Lorden's minimax quickest change detection (QCD) problem with a privacy constraint. The goal is to sanitize a signal to satisfy inference privacy requirements while being able to detect a change quickly. We show that the Generalized Likelihood Ratio (GLR) CuSum achieves asymptotic optimality with a properly designed sanitization channel. We formulate the design of this sanitization channel as an optimization problem, which is however challenging to solve. We propose relaxations to the optimization problem and develop algorithms to obtain a solution. We also consider the privacy aware QCD problem under a decentralized framework and propose algorithms to solve the relaxed channel design problem under this framework.


A Multifuntional Frequency selective Polarization Converter for broadband backward scattering reduction. In this paper, we combine the design of band pass frequency selective surfaces (FSSs) with polarization converters to realize a broadband frequency selective polarization converter (FSPC) with lowbackward scattering, which consists of the top polarization conversion layer backed by a multi layer bandpass FSS. It is numerically demonstrated that the 1 dB transmission window can be obtained from 8.5 GHz to 11 GHz with a 25.6 fractional bandwidth (FBW), and the bandwidth of reflection below 10 dB is up to 92 from 5.6 GHz to 15.13 GHz. Moreover, the proposed device can achieve two polarization conversion bands (5.66 6.9 GHz and 12.8 15.2GHz) with the polarization conversion ratio over 90 . Besides, by arranging the proposed structure in a checkerboard like distribution, the backward scattering energy can be reduced in a wide frequency band ranging from 4 to 16 GHz. Both simulation and experimental results are in good agreements, which demonstrates our design strategy. Compared with the conventional polarization conversion designs, the proposed design presents an extra frequency selective performance and hence can be applied to various practical situations, for instance, working as radomes to transmit the in band signals with high efficiency while keeping low backward scattering for the out of band waves.


Integrated photonic interposers for processing octave spanning microresonator frequency combs. Microcombs optical frequency combs generated in microresonators have advanced tremendously in the last decade, and are advantageous for applications in frequency metrology, navigation, spectroscopy, telecommunications, and microwave photonics. Crucially, microcombs offer the prospect of fully integrated miniaturized optical systems with unprecedented reductions in cost, size, weight, and power. However, this goal has been consistently hindered by the use of bulk free space and fiber optic components to process microcombs, limiting form factors to the table top. Here, we address this challenge by introducing an integrated photonics interposer architecture to process microcombs and replace discrete components. Taking microcomb based optical frequency synthesis in the telecom C band around 1550 nm as our target application, we develop an interposer architecture that collects, routes, and interfaces octave wide optical signals between photonic chiplets and heterogeneously integrated devices that constitute the synthesizer. We have implemented the octave spanning spectral filtering of a microcomb, central to the interposer, in the popular silicon nitride photonic platform, and have confirmed the requisite performance of the individual elements of the interposer. Moreover, we show that the thick silicon nitride needed for bright dissipative Kerr soliton generation can be integrated with the comparatively thin silicon nitride interposer layer through octave bandwidth adiabatic evanescent coupling, indicating a path towards future system level consolidation. Our interposer architecture addresses the immediate need for on chip microcomb processing to successfully miniaturize microcomb systems. As microcombs and integrated devices evolve, our approach can be readily adapted to other metrology grade applications based on optical atomic clocks and high precision navigation and spectroscopy.


Patterns on Numerical Semigroups. We introduce the notion of pattern for numerical semigroups, which allows us to generalize the definition of Arf numerical semigroups. In this way infinitely many other classes of numerical semigroups are defined giving a classification of the whole set of numerical semigroups. In particular, all semigroups can be arranged in an infinite non stabilizing ascending chain whose first step consists just of the trivial semigroup and whose second step is the well known class of Arf semigroups. We escribe a procedure to compute the closure of a numerical semigroup with respect to a pattern. By using the concept of system of generators associated to a pattern we construct recursively a directed acyclic graph with all the semigroups admitting the pattern.


On the complexity of binary polynomial optimization over acyclic hypergraphs. In this work we advance the understanding of the fundamental limits of computation for Binary Polynomial Optimization (BPO), which is the problem of maximizing a given polynomial function over all binary points. In our main result we provide a novel class of BPO that can be solved efficiently both from a theoretical and computational perspective. In fact, we give a strongly polynomial time algorithm for instances whose corresponding hypergraph is beta acyclic. We note that the beta acyclicity assumption is natural in several applications including relational database schemes and the lifted multicut problem on trees. Due to the novelty of our proving technique, we obtain an algorithm which is interesting also from a practical viewpoint. This is because our algorithm is very simple to implement and the running time is a polynomial of very low degree in the number of nodes and edges of the hypergraph. Our result completely settles the computational complexity of BPO over acyclic hypergraphs, since the problem is NP hard on alpha acyclic instances. Our algorithm can also be applied to any general BPO problem that contains beta cycles. For these problems, the algorithm returns a smaller instance together with a rule to extend any optimal solution of the smaller instance to an optimal solution of the original instance.


Integral equalities and inequalities a proxy measure for multivariate sensitivity analysis. Weighted Poincar 'e type and related inequalities provide upper bounds of the variance of functions. Their application in sensitivity analysis allows for quickly identifying the active inputs. Although the efficiency in prioritizing inputs depends on the upper bounds, the latter can be big, and therefore useless in practice. In this paper, an optimal weighted Poincar 'e type inequality and gradient based expression of the variance (integral equality) are studied for a wide class of probability measures. For a function f mathbb R to mathbb R n , we show that rm Var mu(f) int Omega times Omega nabla f (x) nabla f (x') T frac F( min(x, , x') F(x)F(x') rho(x) rho(x') , d mu(x) d mu(x') , , and rm Var mu(f) preceq frac 1 2 int Omega nabla f(x) nabla f(x) T frac F(x) (1 F(x)) rho(x) 2 , d mu(x) , , with rm Var mu(f) int Omega ff T , d mu int Omega f , d mu int Omega f T , d mu , F and rho the distribution and the density functions, respectively. These results are generalized to cope with multivariate functions by making use of cross partial derivatives, and they allow for proposing a new proxy measure for multivariate sensitivity analysis, including Sobol' indices. Finally, the analytical and numerical tests show the relevance of our proxy measure for identifying important inputs by improving the upper bounds from Poincar 'e inequalities.


Justification Based Reasoning in Dynamic Conflict Resolution. We study conflict situations that dynamically arise in traffic scenarios, where different agents try to achieve their set of goals and have to decide on what to do based on their local perception. We distinguish several types of conflicts for this setting. In order to enable modelling of conflict situations and the reasons for conflicts, we present a logical framework that adopts concepts from epistemic and modal logic, justification and temporal logic. Using this framework, we illustrate how conflicts can be identified and how we derive a chain of justifications leading to this conflict. We discuss how conflict resolution can be done when a vehicle has local, incomplete information, vehicle to vehicle communication (V2V) and partially ordered goals.


Sequences of consecutive factoradic happy numbers. Given a positive integer n , the factorial base representation of n is given by n sum i 1 ka i cdot i! , where a k neq 0 and 0 leq a i leq i for all 1 leq i leq k . For e geq 1 , we define S e,! mathbb Z geq0 to mathbb Z geq0 by S e,! (0) 0 and S e,! (n) sum i 0 n a i e , for n neq 0 . For ell geq 0 , we let S e,! ell(n) denote the ell th iteration of S e,! , while S e,! 0(n) n . If p in mathbb Z satisfies S e,! (p) p , then we say that p is an e power factoradic fixed point of S e,! . Moreover, given x in mathbb Z , if p is an e power factoradic fixed point and if there exists ell in mathbb Z geq 0 such that S e,! ell(x) p , then we say that x is an e power factoradic p happy number. Note an integer n is said to be an e power factoradic happy number if it is an e power factoradic 1 happy number. In this paper, we prove that all positive integers are 1 power factoradic happy and, for 2 leq e leq 4 , we prove the existence of arbitrarily long sequences of e power factoradic p happy numbers. A curious result establishes that for any e geq 2 the e power factoradic fixed points of S e,! that are greater than 1 , always appear in sets of consecutive pairs. Our last contribution, provides the smallest sequences of m consecutive e power factoradic happy numbers for 2 leq e leq 5 , for some values of m .


Metrical Task Systems with Online Machine Learned Advice. Machine learning algorithms are designed to make accurate predictions of the future based on existing data, while online algorithms seek to bound some performance measure (typically the competitive ratio) without knowledge of the future. Lykouris and Vassilvitskii demonstrated that augmenting online algorithms with a machine learned predictor can provably decrease the competitive ratio under as long as the predictor is suitably accurate. In this work we apply this idea to the Online Metrical Task System problem, which was put forth by Borodin, Linial, and Saks as a general model for dynamic systems processing tasks in an online fashion. We focus on the specific class of uniform task systems on n tasks, for which the best deterministic algorithm is O(n) competitive and the best randomized algorithm is O( log n) competitive. By giving an online algorithms access to a machine learned oracle with absolute predictive error bounded above by eta 0 , we construct a Theta( min( sqrt eta 0 , log n)) competitive algorithm for the uniform case of the metrical task systems problem. We also give a Theta( log eta 0) lower bound on the competitive ratio of any randomized algorithm.


math.NT cs.NA math.CA math.CO math.HO math.NA

Diophantine problems related to the Omega constant. Some diophantine problems are stated for the Omega constant and, more generally, the values of Lambert W function and their p adic extensions.


Neural Modeling for Named Entities and Morphology (NEMO 2). Named Entity Recognition (NER) is a fundamental NLP task, commonly formulated as classification over a sequence of tokens. Morphologically Rich Languages (MRLs) pose a challenge to this basic formulation, as the boundaries of Named Entities do not necessarily coincide with token boundaries, rather, they respect morphological boundaries. To address NER in MRLs we then need to answer two fundamental questions, namely, what are the basic units to be labeled, and how can these units be detected and classified in realistic settings, i.e., where no gold morphology is available. We empirically investigate these questions on a novel NER benchmark, with parallel tokenlevel and morpheme level NER annotations, which we develop for Modern Hebrew, a morphologically rich and ambiguous language. Our results show that explicitly modeling morphological boundaries leads to improved NER performance, and that a novel hybrid architecture, in which NER precedes and prunes morphological decomposition, greatly outperforms the standard pipeline, where morphological decomposition strictly precedes NER, setting a new performance bar for both Hebrew NER and Hebrew morphological decomposition tasks.


Getting the Most Out of Your VNFs Flexible Assignment of Service Priorities in 5G. Through their computational and forwarding capabilities, 5G networks can support multiple vertical services. Such services may include several common virtual (network) functions (VNFs), which could be shared to increase resource efficiency. In this paper, we focus on the seldom studied VNF sharing problem, and decide (i) whether sharing a VNF instance is possible beneficial or not, (ii) how to scale virtual machines hosting the VNFs to share, and (iii) the priorities of the different services sharing the same VNF. These decisions are made with the aim to minimize the mobile operator's costs while meeting the verticals' performance requirements. Importantly, we show that the aforementioned priorities should not be determined a priori on a per service basis, rather they should change across VNFs since such additional flexibility allows for more efficient solutions. We then present an effective methodology called FlexShare, enabling near optimal VNF sharing decisions in polynomial time. Our performance evaluation, using real world VNF graphs, confirms the effectiveness of our approach, which consistently outperforms baseline solutions using per service priorities.


Restricted Color n color Compositions. Agarwal introduced n color compositions in 2000 and most subsequent research has focused on restricting which parts are allowed. Here we focus instead on restricting allowed colors. After three general results, giving recurrence formulas for the cases of given allowed colors, given prohibited colors, and colors satisfying modular conditions, we consider several more specific conditions, establishing direct formulas and connections to other combinatorial objects. Proofs are combinatorial, mostly using the notion of spotted tilings introduced by the first named author in 2012.


Nonuniformly hyperbolic systems arising from coupling of chaotic and gradient like systems. We investigate dynamical systems obtained by coupling two maps, one of which is chaotic and is exemplified by an Anosov diffeomorphism, and the other is of gradient type and is exemplified by a N pole to S pole map of the circle. Leveraging techniques from the geometric and ergodic theories of hyperbolic systems, we analyze three different ways of coupling together the two maps above. For weak coupling, we offer an addendum to existing theory showing that almost always the attractor has fractal like geometry when it is not normally hyperbolic. Our main results are for stronger couplings in which the action of the Anosov diffeomorphism on the circle map has certain monotonicity properties. Under these conditions, we show that the coupled systems have invariant cones and possess SRB measures even though there are genuine obstructions to uniform hyperbolicity.


Ontology driven weak supervision for clinical entity classification in electronic health records. In the electronic health record, using clinical notes to identify entities such as disorders and their temporality (e.g. the order of an event relative to a time index) can inform many important analyses. However, creating training data for clinical entity tasks is time consuming and sharing labeled data is challenging due to privacy concerns. The information needs of the COVID 19 pandemic highlight the need for agile methods of training machine learning models for clinical notes. We present Trove, a framework for weakly supervised entity classification using medical ontologies and expert generated rules. Our approach, unlike hand labeled notes, is easy to share and modify, while offering performance comparable to learning from manually labeled training data. In this work, we validate our framework on six benchmark tasks and demonstrate Trove's ability to analyze the records of patients visiting the emergency department at Stanford Health Care for COVID 19 presenting symptoms and risk factors.


From Shadow Segmentation to Shadow Removal. The requirement for paired shadow and shadow free images limits the size and diversity of shadow removal datasets and hinders the possibility of training large scale, robust shadow removal algorithms. We propose a shadow removal method that can be trained using only shadow and non shadow patches cropped from the shadow images themselves. Our method is trained via an adversarial framework, following a physical model of shadow formation. Our central contribution is a set of physics based constraints that enables this adversarial training. Our method achieves competitive shadow removal results compared to state of the art methods that are trained with fully paired shadow and shadow free images. The advantages of our training regime are even more pronounced in shadow removal for videos. Our method can be fine tuned on a testing video with only the shadow masks generated by a pre trained shadow detector and outperforms state of the art methods on this challenging test. We illustrate the advantages of our method on our proposed video shadow removal dataset.


Comparison of Classical Machine Learning Approaches on Bangla Textual Emotion Analysis. Detecting emotions from text is an extension of simple sentiment polarity detection. Instead of considering only positive or negative sentiments, emotions are conveyed using more tangible manner thus, they can be expressed as many shades of gray. This paper manifests the results of our experimentation for fine grained emotion analysis on Bangla text. We gathered and annotated a text corpus consisting of user comments from several Facebook groups regarding socio economic and political issues, and we made efforts to extract the basic emotions (sadness, happiness, disgust, surprise, fear, anger) conveyed through these comments. Finally, we compared the results of the five most popular classical machine learning techniques namely Naive Bayes, Decision Tree, k Nearest Neighbor (k NN), Support Vector Machine (SVM) and K Means Clustering with several combinations of features. Our best model (SVM with a non linear radial basis function (RBF) kernel) achieved an overall average accuracy score of 52.98 and an F1 score (macro) of 0.3324


Speed Robust Scheduling. The speed robust scheduling problem is a two stage problem where given m machines, jobs must be grouped into at most m bags while the processing speeds of the given m machines are unknown. After the speeds are revealed, the grouped jobs must be assigned to the machines without being separated. To evaluate the performance of algorithms, we determine upper bounds on the worst case ratio of the algorithm's makespan and the optimal makespan given full information. We refer to this ratio as the robustness factor. We give an algorithm with a robustness factor 2 1 m for the most general setting and improve this to 1.8 for equal size jobs. For the special case of infinitesimal jobs, we give an algorithm with an optimal robustness factor equal to e (e 1) approx 1.58 . The particular machine environment in which all machines have either speed 0 or 1 was studied before by Stein and Zhong (SODA 2019). For this setting, we provide an algorithm for scheduling infinitesimal jobs with an optimal robustness factor of (1 sqrt 2 ) 2 approx 1.207 . It lays the foundation for an algorithm matching the lower bound of 4 3 for equal size jobs.


Learning Functional Dependencies with Sparse Regression. We study the problem of discovering functional dependencies (FD) from a noisy dataset. We focus on FDs that correspond to statistical dependencies in a dataset and draw connections between FD discovery and structure learning in probabilistic graphical models. We show that discovering FDs from a noisy dataset is equivalent to learning the structure of a graphical model over binary random variables, where each random variable corresponds to a functional of the dataset attributes. We build upon this observation to introduce AutoFD a conceptually simple framework in which learning functional dependencies corresponds to solving a sparse regression problem. We show that our methods can recover true functional dependencies across a diverse array of real world and synthetic datasets, even in the presence of noisy or missing data. We find that AutoFD scales to large data instances with millions of tuples and hundreds of attributes while it yields an average F1 improvement of 2 times against state of the art FD discovery methods.


Migratable AI Personalizing Dialog Conversations with migration context. The migration of conversational AI agents across different embodiments in order to maintain the continuity of the task has been recently explored to further improve user experience. However, these migratable agents lack contextual understanding of the user information and the migrated device during the dialog conversations with the user. This opens the question of how an agent might behave when migrated into an embodiment for contextually predicting the next utterance. We collected a dataset from the dialog conversations between crowdsourced workers with the migration context involving personal and non personal utterances in different settings (public or private) of embodiment into which the agent migrated. We trained the generative and information retrieval models on the dataset using with and without migration context and report the results of both qualitative metrics and human evaluation. We believe that the migration dataset would be useful for training future migratable AI systems.


RLTM An Efficient Neural IR Framework for Long Documents. Deep neural networks have achieved significant improvements in information retrieval (IR). However, most existing models are computational costly and can not efficiently scale to long documents. This paper proposes a novel End to End neural ranking framework called Reinforced Long Text Matching (RLTM) which matches a query with long documents efficiently and effectively. The core idea behind the framework can be analogous to the human judgment process which firstly locates the relevance parts quickly from the whole document and then matches these parts with the query carefully to obtain the final label. Firstly, we select relevant sentences from the long documents by a coarse and efficient matching model. Secondly, we generate a relevance score by a more sophisticated matching model based on the sentence selected. The whole model is trained jointly with reinforcement learning in a pairwise manner by maximizing the expected score gaps between positive and negative examples. Experimental results demonstrate that RLTM has greatly improved the efficiency and effectiveness of the state of the art models.


The maximum volume of hyperbolic polyhedra. We study the supremum of the volume of hyperbolic polyhedra with some fixed combinatorics and with vertices of any kind (real, ideal or hyperideal). We find that the supremum is always equal to the volume of the rectification of the 1 skeleton. The theorem is proved by applying a sort of volume increasing flow to any hyperbolic polyhedron. Singularities may arise in the flow because some strata of the polyhedron may degenerate to lower dimensional objects when this occurs, we need to study carefully the combinatorics of the resulting polyhedron and continue with the flow, until eventually we get a rectified polyhedron.


Geometric conditions for the exact controllability of fractional free and harmonic Schr "odinger equations. We provide necessary and sufficient geometric conditions for the exact controllability of the one dimensional fractional free and fractional harmonic Schr "odinger equations. The necessary and sufficient condition for the exact controllability of fractional free Schr "odinger equations is derived from the Logvinenko Sereda theorem and its quantitative version established by Kovrijkine, whereas the one for the exact controllability of fractional harmonic Schr "odinger equations is deduced from an infinite dimensional version of the Hautus test for Hermite functions and the Plancherel Rotach formula.


Fast Skill Learning for Variable Compliance Robotic Assembly. The robotic assembly represents a group of benchmark problems for reinforcement learning and variable compliance control that features sophisticated contact manipulation. One of the key challenges in applying reinforcement learning to physical robot is the sample complexity, the requirement of large amounts of experience for learning. We mitigate this sample complexity problem by incorporating an iteratively refitted model into the learning process through model guided exploration. Yet, fitting a local model of the physical environment is of major difficulties. In this work, a Kalman filter is used to combine the adaptive linear dynamics with a coarse prior model from analytical description, and proves to give more accurate predictions than the existing method. Experimental results show that the proposed model fitting strategy can be incorporated into a model predictive controller to generate good exploration behaviors for learning acceleration, while preserving the benefits of model free reinforcement learning for uncertain environments. In addition to the sample complexity, the inevitable robot overloaded during operation also tends to limit the learning efficiency. To address this problem, we present a method to restrict the largest possible potential energy in the compliance control system and therefore keep the contact force within the legitimate range.


Foliations with isolated singularities on Hirzebruch surfaces. We study foliations mathcal F on Hirzebruch surfaces S delta and prove that, similarly to those on the projective plane, any mathcal F can be represented by a bi homogeneous polynomial affine 1 form. In case mathcal F has isolated singularities, we show that, for delta 1 , the singular scheme of mathcal F does determine the foliation, with some exceptions that we describe, as is the case of foliations in the projective plane. For delta neq 1 , we prove that the singular scheme of mathcal F does not determine the foliation. However we prove that, in most cases, two foliations mathcal F and mathcal F ' given by sections s and s' have the same singular scheme if and only if s' Phi(s) , for some global endomorphism Phi of the tangent bundle of S delta .