Corrections to Off Axis Delta v Measurements from Event Data Recorders. In this article, we derive a mathematical transformation which corrects Delta v measurements from event data recorders at arbitrary positions in a vehicle to the equivalent values at the center of gravity. The method is illustrated using staged collision data. We also demonstrate the method's consistency with simulation.


Geometry Aware Instance Segmentation with Disparity Maps. Most previous works of outdoor instance segmentation for images only use color information. We explore a novel direction of sensor fusion to exploit stereo cameras. Geometric information from disparities helps separate overlapping objects of the same or different classes. Moreover, geometric information penalizes region proposals with unlikely 3D shapes thus suppressing false positive detections. Mask regression is based on 2D, 2.5D, and 3D ROI using the pseudo lidar and image based representations. These mask predictions are fused by a mask scoring process. However, public datasets only adopt stereo systems with shorter baseline and focal legnth, which limit measuring ranges of stereo cameras. We collect and utilize High Quality Driving Stereo (HQDS) dataset, using much longer baseline and focal length with higher resolution. Our performance attains state of the art. Please refer to our project page. The full paper is available here.


Points of bounded height on curves and the dimension growth conjecture over mathbb F q t . In this article we prove several new uniform upper bounds on the number of points of bounded height on varieties over mathbb F q t . For projective curves, we prove the analogue of Walsh' result with polynomial dependence on q and the degree d of the curve. For affine curves, this yields an improvement to bounds by Sedunova, and Cluckers, Forey and Loeser. In higher dimensions, we prove a version of dimension growth for hypersurfaces of degree d geq 64 , building on work by Castryck, Cluckers, Dittmann and Nguyen in characteristic zero. These bounds depend polynomially on q and d , and it is this dependence which simplifies the treatment of the dimension growth conjecture.


On Sampling Continuous Time AWGN Channels. For a continuous time additive white Gaussian noise (AWGN) channel with possible feedback, it has been shown that as sampling gets infinitesimally fine, the mutual information of the associative discrete time channels converges to that of the original continuous time channel. We give in this paper more quantitative strengthenings of this result, which, among other implications, characterize how over sampling approaches the true mutual information of a continuous time Gaussian channel with bandwidth limit. The assumptions in our results are relatively mild. In particular, for the non feedback case, compared to the Shannon Nyquist sampling theorem, a widely used tool to connect continuous time Gaussian channels to their discrete time counterparts that requires the band limitedness of the channel input, our results only require some integrability conditions on the power spectral density function of the input.


Picosecond pulses from a mid infrared interband cascade laser. The generation of mid infrared pulses in monolithic and electrically pumped devices is of great interest for mobile spectroscopic instruments. The gain dynamics of interband cascade lasers (ICL) are promising for mode locked operation at low threshold currents. Here, we present conclusive evidence for the generation of picosecond pulses in ICLs via active mode locking. At small modulation power, the ICL operates in a linearly chirped frequency comb regime characterized by strong frequency modulation. Upon increasing the modulation amplitude, the chirp decreases until broad pulses are formed. Careful tuning of the modulation frequency minimizes the remaining chirp and leads to the generation of 3.2 ps pulses.


Characterizing Round Spheres Using Half Geodesics. A half geodesic is a closed geodesic realizing the distance between any pair of its points. All geodesics in a round sphere are half geodesics. Conversely, this note establishes that Riemannian spheres with all geodesics closed and sufficiently many half geodesics are round.


Bessel SPDEs with general Dirichlet boundary conditions. We generalise the integration by parts formulae obtained in arXiv 1811.00518v5 math.PR to Bessel bridges on 0,1 with arbitrary boundary values, as well as Bessel processes with arbitrary initial conditions. This allows us to write, formally, the corresponding dynamics using renormalised local times, thus extending the Bessel SPDEs of arXiv 1811.00518v5 math.PR to general Dirichlet boundary conditions. We also prove a dynamical result for the case of dimension 2 , by providing a weak construction of the gradient dynamics corresponding to a 2 dimensional Bessel bridge.


Adding virtual measurements by PWM induced signal injection. We show that for PWM operated devices, it is possible to benefit from signal injection emph without an external probing signal , by suitably using the excitation provided by the PWM itself. As in the usual signal injection framework conceptualized in 1 , an extra "virtual measurement" can be made available for use in a control law, but without the practical drawbacks caused by an external signal.


Learning Implicit Generative Models by Matching Perceptual Features. Perceptual features (PFs) have been used with great success in tasks such as transfer learning, style transfer, and super resolution. However, the efficacy of PFs as key source of information for learning generative models is not well studied. We investigate here the use of PFs in the context of learning implicit generative models through moment matching (MM). More specifically, we propose a new effective MM approach that learns implicit generative models by performing mean and covariance matching of features extracted from pretrained ConvNets. Our proposed approach improves upon existing MM methods by (1) breaking away from the problematic min max game of adversarial learning (2) avoiding online learning of kernel functions and (3) being efficient with respect to both number of used moments and required minibatch size. Our experimental results demonstrate that, due to the expressiveness of PFs from pretrained deep ConvNets, our method achieves state of the art results for challenging benchmarks.


An Explicit Formula for the Zero Error Feedback Capacity of a Class of Finite State Additive Noise Channels. It is known that for a discrete channel with correlated additive noise, the ordinary capacity with or without feedback both equal log q mathcal H (Z) , where mathcal H (Z) is the entropy rate of the noise process Z and q is the alphabet size. In this paper, a class of finite state additive noise channels is introduced. It is shown that the zero error feedback capacity of such channels is either zero or C 0f log q h (Z) , where h (Z) is the em topological entropy of the noise process. A topological condition is given when the zero error capacity is zero, with or without feedback. Moreover, the zero error capacity without feedback is lower bounded by log q 2 h (Z) . We explicitly compute the zero error feedback capacity for several examples, including channels with isolated errors and a Gilbert Elliot channel.


Model based Reinforcement Learning for Continuous Control with Posterior Sampling. Balancing exploration and exploitation is crucial in reinforcement learning (RL). In this paper, we study model based posterior sampling for reinforcement learning (PSRL) in continuous state action spaces theoretically and empirically. First, we show the first regret bound of PSRL in continuous spaces which is polynomial in the episode length to the best of our knowledge. With the assumption that reward and transition functions can be modeled by Bayesian linear regression, we develop a regret bound of tilde O (H 3 2 d sqrt T ) , where H is the episode length, d is the dimension of the state action space, and T indicates the total time steps. This result matches the best known regret bound of non PSRL methods in linear MDPs. Our bound can be extended to nonlinear cases as well with feature embedding using linear kernels on the feature representation phi , the regret bound becomes tilde O (H 3 2 d phi sqrt T ) , where d phi is the dimension of the representation space. Moreover, we present MPC PSRL, a model based posterior sampling algorithm with model predictive control for action selection. To capture the uncertainty in models, we use Bayesian linear regression on the penultimate layer (the feature representation layer phi ) of neural networks. Empirical results show that our algorithm achieves the state of the art sample efficiency in benchmark continuous control tasks compared to prior model based algorithms, and matches the asymptotic performance of model free algorithms.


Flow dynamics and wall pressure signature in high Reynolds number overexpanded nozzle with free shock separation. A delayed detached eddy simulation (DDES) of an overexpanded nozzle flow with shock induced separation is carried out at a Reynolds number equal to 1.7 10 7. The flow unsteadiness, characterised by self sustained shock oscillations, induces local unsteady loads on the nozzle wall as well as global off axis forces. A clear physical understanding of the driving factors of the unsteadiness is still lacking. Under the current conditions, the nozzle operates in a highly overexpanded regime and comprises a conical separation shock within the nozzle contour, merging into a Mach disk in the nozzle centre. Our current study focuses on the unsteady pressure signature on the nozzle wall, through the use of Fourier based spectral analysis performed in time and in the azimuthal wavenumber space. The numerical data well agrees with the experimental measurements in terms of mean and fluctuating wall pressure statistics. The frequency spectra are characterised by the presence of a large bump in the low frequency range associated to a breathing motion of the shock system and a broad and high amplitude peak at high frequencies generated by the turbulent activity of the detached shear layer. Moreover, a distinct peak at an intermediate frequency (of the order 1000 Hz) is observed to persist in the wall pressure spectra along the nozzle wall. The analysis of the pressure signals in the azimuthal wavenumber space indicates that this peak is clearly associated to the first (non symmetrical) pressure mode and it is thus connected to the generation of side loads. Furthermore, it is found that the unsteady Mach disk is characterised by an intense vortex shedding activity and the interaction of these vortices with the second shock cell is a key factor in the sustainment of an aeroacoustic feedback loop within the nozzle.


Which Model to Transfer? Finding the Needle in the Growing Haystack. Transfer learning has been recently popularized as a data efficient alternative to training models from scratch, in particular for computer vision tasks where it provides a remarkably solid baseline. The emergence of rich model repositories, such as TensorFlow Hub, enables the practitioners and researchers to unleash the potential of these models across a wide range of downstream tasks. As these repositories keep growing exponentially, efficiently selecting a good model for the task at hand becomes paramount. We provide a formalization of this problem through a familiar notion of regret and introduce the predominant strategies, namely task agnostic (e.g. ranking models by their ImageNet performance) and task aware search strategies (such as linear or kNN evaluation). We conduct a large scale empirical study and show that both task agnostic and task aware methods can yield high regret. We then propose a simple and computationally efficient hybrid search strategy which outperforms the existing approaches. We highlight the practical benefits of the proposed solution on a set of 19 diverse vision tasks.


The heat kernel on SL(2, mathbb R ) . Let G be a noncompact semisimple Lie group equipped with a certain invariant Riemannian metric. Then, we can consider a heat kernel function on G associated to the Riemannian metric. We give an explicit formula for the heat kernel when G SL(2, mathbb R ) . The main tools are spherical transform and Helgason Fourier transform for homogeneous vector bundles studied by R. Camporesi.


Abelian extensions in dynamical Galois theory. We propose a conjectural characterization of when the dynamical Galois group associated to a polynomial is abelian, and we prove our conjecture in several cases, including the stable quadratic case over mathbb Q . In the postcritically infinite case, the proof uses algebraic techniques, including a result concerning ramification in towers of cyclic p extensions. In the postcritically finite case, the proof uses the theory of heights together with results of Amoroso Zannier and Amoroso Dvornicich, as well as properties of the Arakelov Zhang pairing.


On stratification for spaces with Noetherian mod p cohomology. Let X be a topological space with Noetherian mod p cohomology and let C (X mathbb F p) be the commutative ring spectrum of mathbb F p valued cochains on X . The goal of this paper is to exhibit conditions under which the category of module spectra on C (X mathbb F p) is stratified in the sense of Benson, Iyengar, Krause, providing a classification of all its localizing subcategories. We establish stratification in this sense for classifying spaces of a large class of topological groups including Kac Moody groups as well as whenever X admits an H space structure. More generally, using Lannes' theory we prove that stratification for X is equivalent to a condition that generalizes Chouinard's theorem for finite groups. In particular, this relates the generalized telescope conjecture in this setting to a question in unstable homotopy theory.


A New Method of 3D Magnetic Field Reconstruction. A method is described to model the magnetic field in the vicinity of constellations of multiple satellites using field and plasma current measurements. This quadratic model has the properties that the divergence is zero everywhere and matches the measured values of the magnetic field and its curl (current) at each spacecraft, and thus extends the linear curlometer method to second order. It is able to predict the topology of the field lines near magnetic structures, such as near reconnecting regions or flux ropes, and allows a tracking of the motion of these structures relative to the spacecraft constellation. Comparisons to PIC simulations estimate the model accuracy. Reconstruction of two electron diffusion regions show the expected field line structure. The model can be applied to other small scale phenomena (bow shock, waves of commensurate wavelength), and can be modified to reconstruct also the electric field, allowing tracing of particle trajectories.


Surface waves in a channel with thin tunnels and wells at the bottom non reflecting underwater tomography. We consider the propagation of surface water waves in a straight planar channel perturbed at the bottom by several thin curved tunnels and wells. We propose a method to construct non reflecting underwater topographies of this type at an arbitrary prescribed wave number. To proceed, we compute asymptotic expansions of the diffraction solutions with respect to the small parameter of the geometry taking into account the existence of boundary layer phenomena. We establish error estimates to validate the expansions using advances techniques of weighted spaces with detached asymptotics. In the process, we show the absence of trapped surface waves for perturbations small enough. This analysis furnishes asymptotic formulas for the scattering matrix and we use them to determine underwater topographies which are non reflecting. Theoretical and numerical examples are given.


The impact of using reconditioned correlated observation error covariance matrices in the Met Office 1D Var system. Recent developments in numerical weather prediction have led to the use of correlated observation error covariance (OEC) information in data assimilation and forecasting systems. However, diagnosed OEC matrices are often ill conditioned and may cause convergence problems for variational data assimilation procedures. Reconditioning methods are used to improve the conditioning of covariance matrices while retaining correlation information. In this paper we study the impact of using the 'ridge regression' method of reconditioning to assimilate Infrared Atmospheric Sounding Interferometer (IASI) observations in the Met Office 1D Var system. This is the first systematic investigation of how changing target condition numbers affects convergence of a 1D Var routine. This procedure is used for quality control, and to estimate key variables (skin temperature, cloud top pressure, cloud fraction) that are not analysed by the main 4D Var data assimilation system. Our new results show that the current (uncorrelated) OEC matrix requires more iterations to reach convergence than any choice of correlated OEC matrix studied. This suggests that using a correlated OEC matrix in the 1D Var routine would have computational benefits for IASI observations. Using reconditioned correlated OEC matrices also increases the number of observations that pass quality control. However, the impact on skin temperature, cloud fraction and cloud top pressure is less clear. As the reconditioning parameter is increased, differences between retrieved variables for correlated OEC matrices and the operational diagonal OEC matrix reduce. As correlated choices of OEC matrix yield faster convergence, using stricter convergence criteria along with these matrices may increase efficiency and improve quality control.


An Improved Generic ER Schema for Conceptual Modeling of Information Systems. The Entity Relationship (ER) model is widely used for creating ER schemas for modeling application domains in the field of Information Systems development. However, when an ER schema is transformed to a Relational Database Schema (RDS), some important information on the ER schema may not be represented meaningfully on the RDS. This causes a loss of information during the transformation process. Although, several previous researches have proposed solutions to remedy the situation, the problem still exists. Thus, in this on going research, we wish to improve the proposed solutions and maximize information preservation in the ER to relational transformation process. Cardinality ratio constraints, role names, composite attributes, and certain relationship types are among the information frequently lost in the transformation process. Deficiencies in the ER model and the transformation method seems to cause this situation. We take the view that if the information lost is resolved a one to one mapping should exist from the ER schema to its RDS. We modified the ER model and the transformation algorithm following a heuristic research method with a view to eliminating the deficiencies and thereby achieving a one to one mapping. We should show that the mapping exists for any real world application. We create a generic ER schema an ER schema that represents any phenomena in symbolic form and use it to show that a one to one mapping exists for any real world application. In this paper, we explore our generic ER schema and its advantages over its predecessors in view of representing any real world application.


The Polynomial Complexity of Vector Addition Systems with States. Vector addition systems are an important model in theoretical computer science and have been used in a variety of areas. In this paper, we consider vector addition systems with states over a parameterized initial configuration. For these systems, we are interested in the standard notion of computational complexity, i.e., we want to understand the length of the longest trace for a fixed vector addition system with states depending on the size of the initial configuration. We show that the asymptotic complexity of a given vector addition system with states is either Theta(N k) for some computable integer k , where N is the size of the initial configuration, or at least exponential. We further show that k can be computed in polynomial time in the size of the considered vector addition system. Finally, we show that 1 le k le 2 n , where n is the dimension of the considered vector addition system.


Higher depth quantum modular forms and plumbed 3 manifolds. In this paper we study new invariants widehat Z boldsymbol a (q) attached to plumbed 3 manifolds that were introduced by Gukov, Pei, Putrov, and Vafa. These remarkable q series at radial limits conjecturally compute WRT invariants of the corresponding plumbed 3 manifold. Here we investigate the series widehat Z 0 (q) for unimodular plumbing tt H graphs with six vertices. We prove that for every positive definite unimodular plumbing matrix, widehat Z 0 (q) is a depth two quantum modular form on mathbb Q .


A note on cohomology for multiplier Hopf algebras. In this note we discuss the possibility of constructing the cosimplicial complex for the multiplier Hopf algebras and extending the cyclicity operator to obtain the Hopf cyclic cohomology for them. We show that the definition of modular pairs in involution for multiplier Hopf algebras and provide the definition of Hopf cyclic cohomology for algebras of functions over discrete groups.


On Resolving Non determinism in Choreographies. Choreographies specify multiparty interactions via message passing. A realisation of a choreography is a composition of independent processes that behave as specified by the choreography. Existing relations of correctness completeness between choreographies and realisations are based on models where choices are non deterministic. Resolving non deterministic choices into deterministic choices (e.g., conditional statements) is necessary to correctly characterise the relationship between choreographies and their implementations with concrete programming languages. We introduce a notion of realisability for choreographies called whole spectrum implementation where choices are still non deterministic in choreographies, but are deterministic in their implementations. Our notion of whole spectrum implementation rules out deterministic implementations of roles that, no matter which context they are placed in, will never follow one of the branches of a non deterministic choice. We give a type discipline for checking whole spectrum implementations. As a case study, we analyse the POP protocol under the lens of whole spectrum implementation.


Is Independent Learning All You Need in the StarCraft Multi Agent Challenge?. Most recently developed approaches to cooperative multi agent reinforcement learning in the emph centralized training with decentralized execution setting involve estimating a centralized, joint value function. In this paper, we demonstrate that, despite its various theoretical shortcomings, Independent PPO (IPPO), a form of independent learning in which each agent simply estimates its local value function, can perform just as well as or better than state of the art joint learning approaches on popular multi agent benchmark suite SMAC with little hyperparameter tuning. We also compare IPPO to several variants the results suggest that IPPO's strong performance may be due to its robustness to some forms of environment non stationarity.


A variational level set methodology without reinitialization for the prediction of equilibrium interfaces over arbitrary solid surfaces. A robust numerical methodology to predict equilibrium interfaces over arbitrary solid surfaces is developed. The kernel of the proposed method is the distance regularized level set equations (DRLSE) with techniques to incorporate the no penetration and mass conservation constraints. In this framework, we avoid reinitialization typically used in traditional level set methods. This allows for a more efficient algorithm since only one advection equation is solved, and avoids numerical error associated with the re distancing step. A novel surface tension distribution, based on harmonic mean, is prescribed such that the zero level set has the correct the liquid solid surface tension value. This leads to a more accurate triple contact point location. The method uses second order central difference schemes which facilitates easy parallel implementation, and is validated by comparing to traditional level set methods for canonical problems. The application of the method, in the context of Gibbs free energy minimization, to obtain liquid air interfaces is validated against existing analytical solutions. The capability of our current methodology to predict equilibrium shapes over both structured and realistic rough surfaces is demonstrated.


Improving Grammatical Error Correction with Machine Translation Pairs. We propose a novel data synthesis method to generate diverse error corrected sentence pairs for improving grammatical error correction, which is based on a pair of machine translation models of different qualities (i.e., poor and good). The poor translation model resembles the ESL (English as a second language) learner and tends to generate translations of low quality in terms of fluency and grammatical correctness, while the good translation model generally generates fluent and grammatically correct translations. We build the poor and good translation model with phrase based statistical machine translation model with decreased language model weight and neural machine translation model respectively. By taking the pair of their translations of the same sentences in a bridge language as error corrected sentence pairs, we can construct unlimited pseudo parallel data. Our approach is capable of generating diverse fluency improving patterns without being limited by the pre defined rule set and the seed error corrected data. Experimental results demonstrate the effectiveness of our approach and show that it can be combined with other synthetic data sources to yield further improvements.


Pyramid Machine Learning Framework to Estimate the Optimal Timing and Resource Usage of a High Level Synthesis Design. The emergence of High Level Synthesis (HLS) tools shifted the paradigm of hardware design by making the process of mapping high level programming languages to hardware design such as C to VHDL Verilog feasible. HLS tools offer a plethora of techniques to optimize designs for both area and performance, but resource usage and timing reports of HLS tools mostly deviate from the post implementation results. In addition, to evaluate a hardware design performance, it is critical to determine the maximum achievable clock frequency. Obtaining such information using static timing analysis provided by CAD tools is difficult, due to the multitude of tool options. Moreover, a binary search to find the maximum frequency is tedious, time consuming, and often does not obtain the optimal result. To address these challenges, we propose a framework, called Pyramid, that uses machine learning to accurately estimate the optimal performance and resource utilization of an HLS design. For this purpose, we first create a database of C to FPGA results from a diverse set of benchmarks. To find the achievable maximum clock frequency, we use Minerva, which is an automated hardware optimization tool. Minerva determines the close to optimal settings of tools, using static timing analysis and a heuristic algorithm, and targets either optimal throughput or throughput to area. Pyramid uses the database to train an ensemble machine learning model to map the HLS reported features to the results of Minerva. To this end, Pyramid re calibrates the results of HLS to bridge the accuracy gap and enable developers to estimate the throughput or throughput to area of hardware design with more than 95 accuracy and alleviates the need to perform actual implementation for estimation.


Privacy preserving Collaborative Learning with Automatic Transformation Search. Collaborative learning has gained great popularity due to its benefit of data privacy protection participants can jointly train a Deep Learning model without sharing their training sets. However, recent works discovered that an adversary can fully recover the sensitive training samples from the shared gradients. Such reconstruction attacks pose severe threats to collaborative learning. Hence, effective mitigation solutions are urgently desired. In this paper, we propose to leverage data augmentation to defeat reconstruction attacks by preprocessing sensitive images with carefully selected transformation policies, it becomes infeasible for the adversary to extract any useful information from the corresponding gradients. We design a novel search method to automatically discover qualified policies. We adopt two new metrics to quantify the impacts of transformations on data privacy and model usability, which can significantly accelerate the search speed. Comprehensive evaluations demonstrate that the policies discovered by our method can defeat existing reconstruction attacks in collaborative learning, with high efficiency and negligible impact on the model performance.


First order system least squares finite elements for singularly perturbed reaction diffusion equations. We propose a new first order system least squares (FOSLS) finite element discretization for singularly perturbed reaction diffusion equations. Solutions to such problems feature layer phenomena, and are ubiquitous in many areas of applied mathematics and modelling. There is a long history of the development of specialized numerical schemes for their accurate numerical approximation. We follow a well established practice of employing a priori layer adapted meshes, but with a novel finite element method that yields a symmetric formulation while also inducing a so called "balanced" norm. We prove continuity and coercivity of the FOSLS weak form, present a suitable piecewise uniform mesh, and report on the results of numerical experiments that demonstrate the accuracy and robustness of the method.


AerialMPTNet Multi Pedestrian Tracking in Aerial Imagery Using Temporal and Graphical Features. Multi pedestrian tracking in aerial imagery has several applications such as large scale event monitoring, disaster management, search and rescue missions, and as input into predictive crowd dynamic models. Due to the challenges such as the large number and the tiny size of the pedestrians (e.g., 4 x 4 pixels) with their similar appearances as well as different scales and atmospheric conditions of the images with their extremely low frame rates (e.g., 2 fps), current state of the art algorithms including the deep learning based ones are unable to perform well. In this paper, we propose AerialMPTNet, a novel approach for multi pedestrian tracking in geo referenced aerial imagery by fusing appearance features from a Siamese Neural Network, movement predictions from a Long Short Term Memory, and pedestrian interconnections from a GraphCNN. In addition, to address the lack of diverse aerial pedestrian tracking datasets, we introduce the Aerial Multi Pedestrian Tracking (AerialMPT) dataset consisting of 307 frames and 44,740 pedestrians annotated. We believe that AerialMPT is the largest and most diverse dataset to this date and will be released publicly. We evaluate AerialMPTNet on AerialMPT and KIT AIS, and benchmark with several state of the art tracking methods. Results indicate that AerialMPTNet significantly outperforms other methods on accuracy and time efficiency.


Generalising the Wallis Product. In 1655, John Wallis whilst at the University of Oxford discovered the famous and beautiful formula for pi, now known as Wallis' Product. Since then, several analogous formulae have been discovered generalising the original. One more modern proof of the Wallis Product and its relatives directly uses the Gamma Function. This short paper will use similar techniques to understand certain related classes of infinite products. Almost all results within this paper are new findings made by myself when I should be revising or completing assignment work I find myself always going back to this.


Microwave Sintering of Alumina at 915 MHz Modeling, Process Control, and Microstructure Distribution. Microwave energy can be advantageously used for materials processing as it provides high heating rates and homogeneous temperature field distribution. These features are partly due to the large microwave penetration depth into dielectric materials which is, at room temperature, a few centimeters in most dielectric materials. However, up to now, this technology is not widely spread for high temperature materials processing applications ( 1200 textdegree C), because its reproducibly and ability to sinter large size samples ( 30 cm 3) still needs to be improved. In this context, this paper describes both an empirically designed 915 MHz single mode cavity made from SiC susceptors and refractory thermal insulation, and the 3 D modeling of the process in order to improve our understanding of it. Different susceptors geometries and coupling slit position were numerically tested in order to better understand how these parameters impact the field homogeneity and the process stability. It was found that positioning the largest surface of the susceptors parallel to the electrical field allows a very uniform and hybrid heating of the material, while avoiding plasma or thermal instabilities. This was correlated to the 3 D modeling results. Finally, thanks to a fully automatized system this apparatus was used to sinter large size ( 30 cm 3) low loss dielectric alumina samples. The sintered materials were subsequently characterized in terms of density, grains size distribution and homogeneity. The reproducibility was also discussed demonstrating the process efficiency and reliability.


(Super )integrable systems associated to 2 dimensional projective connections with one projective symmetry. Projective connections arise from equivalence classes of affine connections under the reparametrization of geodesics. They may also be viewed as quotient systems of the classical geodesic equation. After studying the link between integrals of the (classical) geodesic flow and its associated projective connection, we turn our attention to 2 dimensional metrics that admit one projective vector field, i.e. whose local flow sends unparametrized geodesics into unparametrized geodesics. We review and discuss the classification of these metrics, introducing special coordinates on the linear space of solutions to a certain system of partial differential equations, from which such metrics are obtained. Particularly, we discuss those that give rise to free second order superintegrable Hamiltonian systems, i.e. which admit 2 additional, functionally independent quadratic integrals. We prove that these systems are parametrized by the 2 sphere, except for 6 exceptional points where the projective symmetry becomes homothetic.


Effect of collisions on the plasma sheath in the presence of an inhomogeneous magnetic field. A low pressure magnetized plasma is studied to find the dependency of sheath properties on ion neutral collisions in presence of an inhomogeneous magnetic field. A self consistent one dimensional two fluid hydrodynamic model is considered, and the system of equations is solved numerically. The study reveals that the width of the plasma sheath expands and space charge increases with collisions. The ion neutral collisions and the inhomogeneous magnetic field restrict the ions to move towards the surface. The movement of the ions towards the wall can be controlled by choosing a suitable configuration of the magnetic field and ion neutral collision frequency. A comparison between two different magnetic field configurations has been presented alongside to differentiate the commonly found scenarios in the field. The outcome of the study is supposed to help in understanding the complex dynamics of ions in plasma confinement and plasma processing of materials. Furthermore, the present work seeks to create a framework for two fluid modeling of magnetized plasmas with any arbitrary magnetic field profiles. The analysis provided here is supposed to act as a basis for any future work in the respective field.


On the Cost of Concurrency in Hybrid Transactional Memory. State of the art emph software transactional memory (STM) implementations achieve good performance by carefully avoiding the overhead of emph incremental validation (i.e., re reading previously read data items to avoid inconsistency) while still providing emph progressiveness (allowing transactional aborts only due to emph data conflicts ). Hardware transactional memory (HTM) implementations promise even better performance, but offer no progress guarantees. Thus, they must be combined with STMs, leading to emph hybrid TMs (HyTMs) in which hardware transactions must be emph instrumented (i.e., access metadata) to detect contention with software transactions. We show that, unlike in progressive STMs, software transactions in progressive HyTMs cannot avoid incremental validation. In fact, this result holds even if hardware transactions can emph read metadata emph non speculatively . We then present emph opaque HyTM algorithms providing emph progressiveness for a subset of transactions that are optimal in terms of hardware instrumentation. We explore the concurrency vs. hardware instrumentation vs. software validation trade offs for these algorithms. Our experiments with Intel and IBM POWER8 HTMs seem to suggest that (i) the emph cost of concurrency also exists in practice, (ii) it is important to implement HyTMs that provide progressiveness for a maximal set of transactions without incurring high hardware instrumentation overhead or using global contending bottlenecks and (iii) there is no easy way to derive more efficient HyTMs by taking advantage of non speculative accesses within hardware.


A Relational Matrix Algebra and its Implementation in a Column Store. Analytical queries often require a mixture of relational and linear algebra operations applied to the same data. This poses a challenge to analytic systems that must bridge the gap between relations and matrices. Previous work has mainly strived to fix the problem at the implementation level. This paper proposes a principled solution at the logical level. We introduce the relational matrix algebra (RMA), which seamlessly integrates linear algebra operations into the relational model and eliminates the dichotomy between matrices and relations. RMA is closed All our relational matrix operations are performed on relations and result in relations no additional data structure is required. Our implementation in MonetDB shows the feasibility of our approach, and empirical evaluations suggest that in database analytics performs well for mixed workloads.


Coupling for features of random walks. We use coupling to study the time taken until the distribution of a statistic on a Markov chain is close to its stationary distribution. Coupling is a common technique used to obtain upper bounds on mixing times of Markov chains, and we explore how this technique may be used to obtain bounds on the mixing of a statistic instead.


Norms and Cayley Hamilton algebras. We develop the general Theory of Cayley Hamilton algebras using norms and compare with the approach, valid only in characteristic 0, using traces and presented in a previous paper T ideals of Cayley Hamilton algebras, 2020, arXiv 2008.02222


On extensions of commuting tuples of symmetric and isometric operators. In this paper we study extensions of commuting tuples of symmetric and isometric operators to commuting tuples of self adjoint and unitary operators. Some conditions which ensure the existence of such extensions are presented. A multidimensional analog of the Godi v c Lucenko Theorem is proved. An application to a multidimensional power trigonometric moment problem is given.


On the existence of a non principal Euclidean ideal class in biquadratic fields with class number two. Lenstra introduced the notion of a Euclidean ideal class, which is a generalization of the Euclidean domain. Lenstra also proved that the Euclidean ideal in a number field K implies that the class group of K is cyclic. We construct a family of biquadratic fields with a Euclidean ideal whenever the class number is 2. This extends the families given by Graves, Hsu, Chattopadhyay, and Muthukrishnan.


Distributed Motion Control for Multiple Connected Surface Vessels. We propose a scalable cooperative control approach which coordinates a group of rigidly connected autonomous surface vessels to track desired trajectories in a planar water environment as a single floating modular structure. Our approach leverages the implicit information of the structure's motion for force and torque allocation without explicit communication among the robots. In our system, a leader robot steers the entire group by adjusting its force and torque according to the structure's deviation from the desired trajectory, while follower robots run distributed consensus based controllers to match their inputs to amplify the leader's intent using only onboard sensors as feedback. To cope with the complex and highly coupled system dynamics in the water, the leader robot employs a nonlinear model predictive controller (NMPC), where we experimentally estimated the dynamics model of the floating modular structure in order to achieve superior performance for leader following control. Our method has a wide range of potential applications in transporting humans and goods in many of today's existing waterways. We conducted trajectory and orientation tracking experiments in hardware with three custom built autonomous modular robotic boats, called Roboat, which are capable of holonomic motions and onboard state estimation. Simulation results with up to 65 robots also prove the scalability of our proposed approach.


Relation between the number of leaves of a tree and its diameter. Let L(n,d) denote the minimum possible number of leaves in a tree of order n and diameter d. In 1975 Lesniak gave the lower bound B(n,d) lceil 2(n 1) d rceil for L(n,d). When d is even, B(n,d) L(n,d). But when d is odd, B(n,d) is smaller than L(n,d) in general. For example, B(21,3) 14 while L(21,3) 19. We prove that for d ge 2, L(n,d) left lceil frac 2(n 1) d right rceil if d is even and L(n,d) left lceil frac 2(n 2) d 1 right rceil if d is odd. The converse problem is also considered. Let D(n,f) be the minimum possible diameter of a tree of order n with exactly f leaves. We prove that D(n,f) 2 if n f 1, D(n,f) 2k 1 if n kf 2, and D(n,f) 2k 2 if kf 3 le n le (k 1)f 1.


On Typical Homoclinic Like Loops in 3D Filippov Systems. In this work a homoclinic like loop of a piecewise smooth vector field passing through a typical singularity is analyzed. We have shown that such a loop is robust in one parameter families of Filippov systems. The basin of attraction of this connection is computed as well as its bifurcation diagram. It is worthwhile to mention that this phenomenon has no counterpart in the smooth world and the techniques used in this analysis differ from the usual ones.


Hybrid MemNet for Extractive Summarization. Extractive text summarization has been an extensive research problem in the field of natural language understanding. While the conventional approaches rely mostly on manually compiled features to generate the summary, few attempts have been made in developing data driven systems for extractive summarization. To this end, we present a fully data driven end to end deep network which we call as Hybrid MemNet for single document summarization task. The network learns the continuous unified representation of a document before generating its summary. It jointly captures local and global sentential information along with the notion of summary worthy sentences. Experimental results on two different corpora confirm that our model shows significant performance gains compared with the state of the art baselines.


The Real Valued Bochner integral and the Modern Real Valued Measurable function on mathbb R . The like Lebesgue integral of real valued measurable functions (abbreviated as textit RVM MI )is the most complete and appropriate integration Theory. Integrals are also defined in abstract spaces since Pettis (1938). In particular, Bochner integrals received much interest with very recent researches. It is very commode to use the textit RVM MI in constructing Bochner integral in Banach or in locally convex spaces. In this simple not, we prove that the Bochner integral and the textit RVM MI with respect to a finite measure m are the same on mathbb R . Applications of that equality may be useful in weak limits on Banach space.


Physical Adversarial Attack on Vehicle Detector in the Carla Simulator. In this paper, we tackle the issue of physical adversarial examples for object detectors in the wild. Specifically, we proposed to generate adversarial patterns to be applied on vehicle surface so that it's not recognizable by detectors in the photo realistic Carla simulator. Our approach contains two main techniques, an Enlarge and Repeat process and a Discrete Searching method, to craft mosaic like adversarial vehicle textures without access to neither the model weight of the detector nor a differential rendering procedure. The experimental results demonstrate the effectiveness of our approach in the simulator.


A Complete Language for Faceted Dataflow Programs. We present a complete categorical axiomatization of a wide class of dataflow programs. This gives a three dimensional diagrammatic language for workflows, more expressive than the directed acyclic graphs generally used for this purpose. This calls for an implementation of these representations in data transformation tools.


Constructing Hyperbolic Metamaterials with Arbitrary Medium. Recent advances in hyperbolic metamaterials have spurred many breakthroughs in the field of manipulating light propagation. However, the unusual electromagnetic properties also put extremely high demands on its compositional materials. Limited by the finite relative permittivity of the natural materials, the effective permittivity of the constructed hyperbolic metamaterials is also confined to a narrow range. Here, based on the proposed concept of structure induced spoof surface plasmon, we prove that arbitrary materials can be selected to construct the hyperbolic metamaterials with independent relative effective permittivity components. Besides, the theoretical achievable ranges of the relative effective permittivity components are unlimited. As proofs of the method, three novel hyperbolic metamaterials are designed with their functionalities validated numerically and experimentally by specified directional propagation. To further illustrate the superiority of the method, an all metal low loss hyperbolic metamaterial filled with air is proposed and demonstrated. The proposed methodology effectively reduces the design requirement for hyperbolic metamaterials and provides new ideas for the scenarios where large permittivity coverage is needed such as microwave and terahertz focus, super resolution imaging, electromagnetic cloaking, and so on.


M 2 Deep ID A Novel Model for Multi View Face Identification Using Convolutional Deep Neural Networks. Despite significant advances in Deep Face Recognition (DFR) systems, introducing new DFRs under specific constraints such as varying pose still remains a big challenge. Most particularly, due to the 3D nature of a human head, facial appearance of the same subject introduces a high intra class variability when projected to the camera image plane. In this paper, we propose a new multi view Deep Face Recognition (MVDFR) system to address the mentioned challenge. In this context, multiple 2D images of each subject under different views are fed into the proposed deep neural network with a unique design to re express the facial features in a single and more compact face descriptor, which in turn, produces a more informative and abstract way for face identification using convolutional neural networks. To extend the functionality of our proposed system to multi view facial images, the golden standard Deep ID model is modified in our proposed model. The experimental results indicate that our proposed method yields a 99.8 accuracy, while the state of the art method achieves a 97 accuracy. We also gathered the Iran University of Science and Technology (IUST) face database with 6552 images of 504 subjects to accomplish our experiments.


Anapole resonances in low index materials. Photonic cavities are valued in current research owing to the multitude of linear and nonlinear effects arising from densely confined light. Cavity designs consisting of low loss dielectric materials can achieve significant light confinement, competitive with other schools of cavity design such as plasmonics. However, the basic concepts in all dielectric photonics such as anapole resonances in nanodisks have been primarily studied in high index materials such as WS2 and Si. Without additional measures, low index dielectric nanodisks struggle to achieve similar levels of light confinement. Here, we present fabricable design space for higher confinement in a low index dielectric cavity by incorporating the extensively studied, isolated dielectric nanodisk into broader host structures. In particular, we focus on hexagonal boron nitride (hBN), a novel dielectric 2D material with bright, room temperature single photon emitters and refractive indices of 2.1 and 1.8 in the inplane and out of plane directions. Due to hBN's potential as a quantum light source, we characterise our cavities by their achievable Purcell factors at the anapole resonance. The effects of the supporting structures on the cavity resonances include boosts to the Purcell factor by as much as three fold to a maximum observed factor of 6.2.


Chunkflow Distributed Hybrid Cloud Processing of Large 3D Images by Convolutional Nets. It is now common to process volumetric biomedical images using 3D Convolutional Networks (ConvNets). This can be challenging for the teravoxel and even petavoxel images that are being acquired today by light or electron microscopy. Here we introduce chunkflow, a software framework for distributing ConvNet processing over local and cloud GPUs and CPUs. The image volume is divided into overlapping chunks, each chunk is processed by a ConvNet, and the results are blended together to yield the output image. The frontend submits ConvNet tasks to a cloud queue. The tasks are executed by local and cloud GPUs and CPUs. Thanks to the fault tolerant architecture of Chunkflow, cost can be greatly reduced by utilizing cheap unstable cloud instances. Chunkflow currently supports PyTorch for GPUs and PZnet for CPUs. To illustrate its usage, a large 3D brain image from serial section electron microscopy was processed by a 3D ConvNet with a U Net style architecture. Chunkflow provides some chunk operations for general use, and the operations can be composed flexibly in a command line interface.


Towards Unique and Informative Captioning of Images. Despite considerable progress, state of the art image captioning models produce generic captions, leaving out important image details. Furthermore, these systems may even misrepresent the image in order to produce a simpler caption consisting of common concepts. In this paper, we first analyze both modern captioning systems and evaluation metrics through empirical experiments to quantify these phenomena. We find that modern captioning systems return higher likelihoods for incorrect distractor sentences compared to ground truth captions, and that evaluation metrics like SPICE can be 'topped' using simple captioning systems relying on object detectors. Inspired by these observations, we design a new metric (SPICE U) by introducing a notion of uniqueness over the concepts generated in a caption. We show that SPICE U is better correlated with human judgements compared to SPICE, and effectively captures notions of diversity and descriptiveness. Finally, we also demonstrate a general technique to improve any existing captioning model by using mutual information as a re ranking objective during decoding. Empirically, this results in more unique and informative captions, and improves three different state of the art models on SPICE U as well as average score over existing metrics.


Robust Online Learning for Resource Allocation Beyond Euclidean Projection and Dynamic Fit. Online learning literature has focused on designing algorithms that ensure sub linear growth of the cumulative long term constraint violations. The drawback of this guarantee is that strictly feasible actions may cancel out constraint violations on other time slots. For this reason, we introduce a new performance measure called hCFit , whose particular instance is the cumulative positive part of the constraint violations. We propose a class of non causal algorithms for online decision making, which guarantees, in slowly changing environments, sub linear growth of this quantity despite noisy first order feedback. Furthermore, we demonstrate by numerical experiments the performance gain of our method relative to the state of art.


The implied Sharpe ratio. In an incomplete market, including liquidly traded European options in an investment portfolio could potentially improve the expected terminal utility for a risk averse investor. However, unlike the Sharpe ratio, which provides a concise measure of the relative investment attractiveness of different underlying risky assets, there is no such measure available to help investors choose among the different European options. We introduce a new concept the implied Sharpe ratio which allows investors to make such a comparison in an incomplete financial market. Specifically, when comparing various European options, it is the option with the highest implied Sharpe ratio that, if included in an investor's portfolio, will improve his expected utility the most. Through the method of Taylor series expansion of the state dependent coefficients in a nonlinear partial differential equation, we also establish the behaviour of the implied Sharpe ratio with respect to an investor's risk aversion parameter. In a series of numerical studies, we compare the investment attractiveness of different European options by studying their implied Sharpe ratio.


Mapping System Level Behaviors with Android APIs via System Call Dependence Graphs. Due to Android's open source feature and low barriers to entry for developers, millions of developers and third party organizations have been attracted into the Android ecosystem. However, over 90 percent of mobile malware are found targeted on Android. Though Android provides multiple security features and layers to protect user data and system resources, there are still some over privileged applications in Google Play Store or third party Android app stores at wild. In this paper, we proposed an approach to map system level behavior and Android APIs, based on the observation that system level behaviors cannot be avoided but sensitive Android APIs could be evaded. To the best of our knowledge, our approach provides the first work to map system level behavior and Android APIs through System Call Dependence Graphs. The study also shows that our approach can effectively identify potential permission abusing, with almost negligible performance impact.


Boundary controllability of phase transition region of a two phase Stefan problem. One proves that the moving interface of a two phase Stefan problem on ooo subset rr d , d 1,2,3, is controllable at the end time T by a Neumann boundary controller u . The phase transition region is a mushy region sigma u t 0 le t le T of a modified Stefan problem and the main result amounts to saying that, for each Lebesque measurable set ooo with positive measure, there is u in L 2((0,T) times pp ooo) such that ooo subset sigma u T. To this aim, one uses an optimal control approach combined with Carleman's inequality and the Kakutani fixed point theorem.


Goal Driven Robotic Pushing Using Tactile and Proprioceptive Feedback. In robots, nonprehensile manipulation operations such as pushing are a useful way of moving large, heavy or unwieldy objects, moving multiple objects at once, or reducing uncertainty in the location or pose of objects. In this study, we propose a reactive and adaptive method for robotic pushing that uses rich feedback from a high resolution optical tactile sensor to control push movements instead of relying on analytical or data driven models of push interactions. Specifically, we use goal driven tactile exploration to actively search for stable pushing configurations that cause the object to maintain its pose relative to the pusher while incrementally moving the pusher and object towards the target. We evaluate our method by pushing objects across planar and curved surfaces. For planar surfaces, we show that the method is accurate and robust to variations in initial contact position angle, object shape and start position for curved surfaces, the performance is degraded slightly. An immediate consequence of our work is that it shows that explicit models of push interactions might be sufficient but are not necessary for this type of task. It also raises the interesting question of which aspects of the system should be modelled to achieve the best performance and generalization across a wide range of scenarios. Finally, it highlights the importance of testing on non planar surfaces and in other more complex environments when developing new methods for robotic pushing.


Decentralized Validation for Non malicious Arbitrary Fault Tolerance in Paxos. Fault tolerant distributed systems offer high reliability because even if faults in their components occur, they do not exhibit erroneous behavior. Depending on the fault model adopted, hardware and software errors that do not result in a process crashing are usually not tolerated. To tolerate these rather common failures the usual solution is to adopt a stronger fault model, such as the arbitrary or Byzantine fault model. Algorithms created for this fault model, however, are considerably more complex and require more system resources than the ones developed for less strict fault models. One approach to reach a middle ground is the non malicious arbitrary fault model. This model assumes it is possible to detect and filter faults with a given probability, if these faults are not created with malicious intent, allowing the isolation and mapping of these faults to benign faults. In this paper we describe how we incremented an implementation of active replication in the non malicious fault model with a basic type of distributed validation, where a deviation from the expected algorithm behavior will make a process crash. We experimentally evaluate this implementation using a fault injection framework showing that it is feasible to extend the concept of non malicious failures beyond hardware failures.


A Batalin Vilkovisky structure on the complete cohomology ring of a Frobenius algebra. We study the existence of a Batalin Vilkovisky differential on the complete cohomology ring of a Frobenius algebra.We construct a Batalin Vilkovisky differential on the complete cohomology ring in the case of Frobenius algebras with diagonalizable Nakayama automorphisms.


Nonlinear nonhomogeneous singular problems. We consider a nonlinear Dirichlet problem driven by a nonhomogeneous differential operator with a growth of order (p 1) near infty and with a reaction which has the competing effects of a parametric singular term and a (p 1) superlinear perturbation which does not satisfy the usual Ambrosetti Rabinowitz condition. Using variational tools, together with suitable truncation and strong comparison techniques, we prove a "bifurcation type" theorem that describes the set of positive solutions as the parameter lambda moves on the positive semiaxis. We also show that for every lambda 0 , the problem has a smallest positive solution u lambda and we demonstrate the monotonicity and continuity properties of the map lambda mapsto u lambda .


PYRO NN Python Reconstruction Operators in Neural Networks. Purpose Recently, several attempts were conducted to transfer deep learning to medical image reconstruction. An increasingly number of publications follow the concept of embedding the CT reconstruction as a known operator into a neural network. However, most of the approaches presented lack an efficient CT reconstruction framework fully integrated into deep learning environments. As a result, many approaches are forced to use workarounds for mathematically unambiguously solvable problems. Methods PYRO NN is a generalized framework to embed known operators into the prevalent deep learning framework Tensorflow. The current status includes state of the art parallel , fan and cone beam projectors and back projectors accelerated with CUDA provided as Tensorflow layers. On top, the framework provides a high level Python API to conduct FBP and iterative reconstruction experiments with data from real CT systems. Results The framework provides all necessary algorithms and tools to design end to end neural network pipelines with integrated CT reconstruction algorithms. The high level Python API allows a simple use of the layers as known from Tensorflow. To demonstrate the capabilities of the layers, the framework comes with three baseline experiments showing a cone beam short scan FDK reconstruction, a CT reconstruction filter learning setup, and a TV regularized iterative reconstruction. All algorithms and tools are referenced to a scientific publication and are compared to existing non deep learning reconstruction frameworks. The framework is available as open source software at url https github.com csyben PYRO NN . Conclusions PYRO NN comes with the prevalent deep learning framework Tensorflow and allows to setup end to end trainable neural networks in the medical image reconstruction context. We believe that the framework will be a step towards reproducible research


Auto Embedding Generative Adversarial Networks for High Resolution Image Synthesis. Generating images via the generative adversarial network (GAN) has attracted much attention recently. However, most of the existing GAN based methods can only produce low resolution images of limited quality. Directly generating high resolution images using GANs is nontrivial, and often produces problematic images with incomplete objects. To address this issue, we develop a novel GAN called Auto Embedding Generative Adversarial Network (AEGAN), which simultaneously encodes the global structure features and captures the fine grained details. In our network, we use an autoencoder to learn the intrinsic high level structure of real images and design a novel denoiser network to provide photo realistic details for the generated images. In the experiments, we are able to produce 512x512 images of promising quality directly from the input noise. The resultant images exhibit better perceptual photo realism, i.e., with sharper structure and richer details, than other baselines on several datasets, including Oxford 102 Flowers, Caltech UCSD Birds (CUB), High Quality Large scale CelebFaces Attributes (CelebA HQ), Large scale Scene Understanding (LSUN) and ImageNet.


Fixed price Diffusion Mechanism Design. We consider a fixed price mechanism design setting where a seller sells one item via a social network, but the seller can only directly communicate with her neighbours initially. Each other node in the network is a potential buyer with a valuation derived from a common distribution. With a standard fixed price mechanism, the seller can only sell the item among her neighbours. To improve her revenue, she needs more buyers to join in the sale. To achieve this, we propose the very first fixed price mechanism to incentivize the seller's neighbours to inform their neighbours about the sale and to eventually inform all buyers in the network to improve seller's revenue. Compared with the existing mechanisms for the same purpose, our mechanism does not require the buyers to reveal their valuations and it is computationally easy. More importantly, it guarantees that the improved revenue is at least 1 2 of the optimal.


Non orientable slice surfaces and inscribed rectangles. We discuss differences between genera of smooth and locally flat non orientable surfaces in the 4 ball with boundary a given torus knot or 2 bridge knot. In particular, we establish that a result by Batson on the smooth non orientable 4 genus of torus knots does not hold in the locally flat category. We further show that certain families of torus knots are not the boundary of an embedded M "obius band in the 4 ball and other 4 manifolds. Our investigation of non orientable surfaces with boundary a given torus knot is motivated by our approach to unify the proof of the existence of inscribed squares and of inscribed rectangles with aspect ratio sqrt3 in Jordan curves with a regularity condition. This generalizes a result by Hugelmeyer for smooth Jordan curves.


Time Optimal Self Stabilizing Leader Election on Rings in Population Protocols. We propose a self stabilizing leader election protocol on directed rings in the model of population protocols. Given an upper bound N on the population size n , the proposed protocol elects a unique leader within O(nN) expected steps starting from any configuration and uses O(N) states. This convergence time is optimal if a given upper bound N is asymptotically tight, i.e., N O(n) .


Ponderomotive Injection in Plasma Wakefield Accelerators. A new electron injection scheme is proposed in sub relativistic plasma wakefield accelerators. A transverse laser ionizes a dopant gas and ponderomotively accelerates the released electrons in the direction of wake propagation. This process enables electron trapping in the wakefield even for a wakefield potential below the trapping threshold. We study the scheme theoretically and by means of particle in cell simulations to demonstrate high quality beam formation and acceleration with sub micrometer normalized emittances and sub percent uncorrelated energy spreads.


On Kostant's weight q multiplicity formula for mathfrak sl 4 ( mathbb C ) . The q analog of Kostant's weight multiplicity formula is an alternating sum over a finite group, known as the Weyl group, whose terms involve the q analog of Kostant's partition function. This formula, when evaluated at q 1 , gives the multiplicity of a weight in a highest weight representation of a simple Lie algebra. In this paper, we consider the Lie algebra mathfrak sl 4( mathbb C ) and give closed formulas for the q analog of Kostant's weight multiplicity. This formula depends on the following two sets of results. First, we present closed formulas for the q analog of Kostant's partition function by counting restricted colored integer partitions. These formulas, when evaluated at q 1 , recover results of De Loera and Sturmfels. Second, we describe and enumerate the Weyl alternation sets, which consist of the elements of the Weyl group that contribute nontrivially to Kostant's weight multiplicity formula. From this, we introduce Weyl alternation diagrams on the root lattice of mathfrak sl 4( mathbb C ) , which are associated to the Weyl alternation sets. This work answers a question posed in 2019 by Harris, Loving, Ramirez, Rennie, Rojas Kirby, Torres Davila, and Ulysse.


BAE BERT based Adversarial Examples for Text Classification. Modern text classification models are susceptible to adversarial examples, perturbed versions of the original text indiscernible by humans which get misclassified by the model. Recent works in NLP use rule based synonym replacement strategies to generate adversarial examples. These strategies can lead to out of context and unnaturally complex token replacements, which are easily identifiable by humans. We present BAE, a black box attack for generating adversarial examples using contextual perturbations from a BERT masked language model. BAE replaces and inserts tokens in the original text by masking a portion of the text and leveraging the BERT MLM to generate alternatives for the masked tokens. Through automatic and human evaluations, we show that BAE performs a stronger attack, in addition to generating adversarial examples with improved grammaticality and semantic coherence as compared to prior work.


The metric geometry of singularity types. Let X be a compact K "ahler manifold. Given a big cohomology class theta , there is a natural equivalence relation on the space of theta psh functions giving rise to mathcal S(X, theta) , the space of singularity types of potentials. We introduce a natural pseudometric d mathcal S on mathcal S(X, theta) that is non degenerate on the space of model singularity types and whose atoms are exactly the relative full mass classes. In the presence of positive mass we show that this metric space is complete. As applications, we show that solutions to a family of complex Monge Amp ere equations with varying singularity type converge as governed by the d mathcal S topology, and we obtain a semicontinuity result for multiplier ideal sheaves associated to singularity types, extending the scope of previous results from the local context.


Optimal p ary cyclic codes with two zeros. As a subclass of linear codes, cyclic codes have efficient encoding and decoding algorithms, so they are widely used in many areas such as consumer electronics, data storage systems and communication systems. In this paper, we give a general construction of optimal p ary cyclic codes which leads to three explicit constructions. In addition, another class of p ary optimal cyclic codes are presented.


SMILE Semantically guided Multi attribute Image and Layout Editing. Attribute image manipulation has been a very active topic since the introduction of Generative Adversarial Networks (GANs). Exploring the disentangled attribute space within a transformation is a very challenging task due to the multiple and mutually inclusive nature of the facial images, where different labels (eyeglasses, hats, hair, identity, etc.) can co exist at the same time. Several works address this issue either by exploiting the modality of each domain attribute using a conditional random vector noise, or extracting the modality from an exemplary image. However, existing methods cannot handle both random and reference transformations for multiple attributes, which limits the generality of the solutions. In this paper, we successfully exploit a multimodal representation that handles all attributes, be it guided by random noise or exemplar images, while only using the underlying domain information of the target domain. We present extensive qualitative and quantitative results for facial datasets and several different attributes that show the superiority of our method. Additionally, our method is capable of adding, removing or changing either fine grained or coarse attributes by using an image as a reference or by exploring the style distribution space, and it can be easily extended to head swapping and face reenactment applications without being trained on videos.


On Robustness and Transferability of Convolutional Neural Networks. Modern deep convolutional networks (CNNs) are often criticized for not generalizing under distributional shifts. However, several recent breakthroughs in transfer learning suggest that these networks can cope with severe distribution shifts and successfully adapt to new tasks from a few training examples. In this work we study the interplay between out of distribution and transfer performance of modern image classification CNNs for the first time and investigate the impact of the pre training data size, the model scale, and the data preprocessing pipeline. We find that increasing both the training set and model sizes significantly improve the distributional shift robustness. Furthermore, we show that, perhaps surprisingly, simple changes in the preprocessing such as modifying the image resolution can significantly mitigate robustness issues in some cases. Finally, we outline the shortcomings of existing robustness evaluation datasets and introduce a synthetic dataset SI Score we use for a systematic analysis across factors of variation common in visual data such as object size and position.


A ROM accelerated parallel in time preconditioner for solving all at once systems from evolutionary PDEs. In this paper we propose to use model reduction techniques for speeding up the diagonalization based parallel in time (ParaDIAG) preconditioner, for iteratively solving all at once systems from evolutionary PDEs. In particular, we use the reduced basis method to seek a low dimensional approximation to the sequence of complex shifted systems arising from Step (b) of the ParaDIAG preconditioning procedure. Different from the standard reduced order modeling that uses the separation of offline and online stages, we have to build the reduced order model (ROM) online for the considered systems at each iteration. Therefore, several heuristic acceleration techniques are introduced in the greedy basis generation algorithm, that is built upon a residual based error indicator, to further boost up its computational efficiency. Several numerical experiments are conducted, which illustrate the favorable computational efficiency of our proposed ROM accelerated ParaDIAG preconditioner, in comparison with the state of the art multigrid based ParaDIAG preconditioner.


Processing South Asian Languages Written in the Latin Script the Dakshina Dataset. This paper describes the Dakshina dataset, a new resource consisting of text in both the Latin and native scripts for 12 South Asian languages. The dataset includes, for each language 1) native script Wikipedia text 2) a romanization lexicon and 3) full sentence parallel data in both a native script of the language and the basic Latin alphabet. We document the methods used for preparation and selection of the Wikipedia text in each language collection of attested romanizations for sampled lexicons and manual romanization of held out sentences from the native script collections. We additionally provide baseline results on several tasks made possible by the dataset, including single word transliteration, full sentence transliteration, and language modeling of native script and romanized text. Keywords romanization, transliteration, South Asian languages


Stay Connected, Leave no Trace Enhancing Security and Privacy in WiFi via Obfuscating Radiometric Fingerprints. The intrinsic hardware imperfection of WiFi chipsets manifests itself in the transmitted signal, leading to a unique radiometric fingerprint. This fingerprint can be used as an additional means of authentication to enhance security. In fact, recent works propose practical fingerprinting solutions that can be readily implemented in commercial off the shelf devices. In this paper, we prove analytically and experimentally that these solutions are highly vulnerable to impersonation attacks. We also demonstrate that such a unique device based signature can be abused to violate privacy by tracking the user device, and, as of today, users do not have any means to prevent such privacy attacks other than turning off the device. We propose RF Veil, a radiometric fingerprinting solution that not only is robust against impersonation attacks but also protects user privacy by obfuscating the radiometric fingerprint of the transmitter for non legitimate receivers. Specifically, we introduce a randomized pattern of phase errors to the transmitted signal such that only the intended receiver can extract the original fingerprint of the transmitter. In a series of experiments and analyses, we expose the vulnerability of adopting naive randomization to statistical attacks and introduce countermeasures. Finally, we show the efficacy of RF Veil experimentally in protecting user privacy and enhancing security. More importantly, our proposed solution allows communicating with other devices, which do not employ RF Veil.


Exploring global diverse attention via pairwise temporal relation for video summarization. Video summarization is an effective way to facilitate video searching and browsing. Most of existing systems employ encoder decoder based recurrent neural networks, which fail to explicitly diversify the system generated summary frames while requiring intensive computations. In this paper, we propose an efficient convolutional neural network architecture for video SUMmarization via Global Diverse Attention called SUM GDA, which adapts attention mechanism in a global perspective to consider pairwise temporal relations of video frames. Particularly, the GDA module has two advantages 1) it models the relations within paired frames as well as the relations among all pairs, thus capturing the global attention across all frames of one video 2) it reflects the importance of each frame to the whole video, leading to diverse attention on these frames. Thus, SUM GDA is beneficial for generating diverse frames to form satisfactory video summary. Extensive experiments on three data sets, i.e., SumMe, TVSum, and VTW, have demonstrated that SUM GDA and its extension outperform other competing state of the art methods with remarkable improvements. In addition, the proposed models can be run in parallel with significantly less computational costs, which helps the deployment in highly demanding applications.


A MAL Automatic Movement Assessment Learning from Properly Performed Movements in 3D Skeleton Videos. The task of assessing movement quality has recently gained high demand in a variety of domains. The ability to automatically assess subject movement in videos that were captured by affordable devices, such as Kinect cameras, is essential for monitoring clinical rehabilitation processes, for improving motor skills and for movement learning tasks. The need to pay attention to low level details while accurately tracking the movement stages, makes this task very challenging. In this work, we introduce A MAL, an automatic, strong movement assessment learning algorithm that only learns from properly performed movement videos without further annotations, powered by a deviation time segmentation algorithm, a parameter relevance detection algorithm, a novel time warping algorithm that is based on automatic detection of common temporal points of interest and a textual feedback generation mechanism. We demonstrate our method on movements from the Fugl Meyer Assessment (FMA) test, which is typically held by occupational therapists in order to monitor patients' recovery processes after strokes.


Finitely Supported Sets Containing Infinite Uniformly Supported Subsets. The theory of finitely supported algebraic structures represents a reformulation of Zermelo Fraenkel set theory in which every construction is finitely supported according to the action of a group of permutations of some basic elements named atoms. In this paper we study the properties of finitely supported sets that contain infinite uniformly supported subsets, as well as the properties of finitely supported sets that do not contain infinite uniformly supported subsets. For classical atomic sets, we study whether they contain or not infinite uniformly supported subsets.


Fog Based Detection for Random Access IoT Networks with Per Measurement Preambles. Internet of Things (IoT) systems may be deployed to monitor spatially distributed quantities of interests (QoIs), such as noise or pollution levels. This paper considers a fog based IoT network, in which active IoT devices transmit measurements of the monitored QoIs to the local edge node (EN), while the ENs are connected to a cloud processor via limited capacity fronthaul links. While the conventional approach uses preambles as metadata for reserving communication resources, here we consider assigning preambles directly to measurement levels across all devices. The resulting Type Based Multiple Access (TBMA) protocol enables the efficient remote detection of the QoIs, rather than of the individual payloads. The performance of both edge and cloud based detection or hypothesis testing is evaluated in terms of error exponents. Cloud based hypothesis testing is shown theoretically and via numerical results to be advantageous when the inter cell interference power and the fronthaul capacity are sufficiently large.


Machine Learning Evaluation of the Echo Chamber Effect in Medical Forums. We propose the Echo Chamber Effect assessment of an online forum. Sentiments perceived by the forum readers are at the core of the analysis a complete message is the unit of the study. We build 14 models and apply those to represent discussions gathered from an online medical forum. We use four multi class sentiment classification applications and two Machine Learning algorithms to evaluate prowess of the assessment models.


A Lost Croatian Cybernetic Machine Translation Program. We are exploring the historical significance of research in the field of machine translation conducted by Bulcsu Laszlo, Croatian linguist, who was a pioneer in machine translation in Yugoslavia during the 1950s. We are focused on two important seminal papers written by members of his research group from 1959 and 1962, as well as their legacy in establishing a Croatian machine translation program based around the Faculty of Humanities and Social Sciences of the University of Zagreb in the late 1950s and early 1960s. We are exploring their work in connection with the beginnings of machine translation in the USA and USSR, motivated by the Cold War and the intelligence needs of the period. We also present the approach to machine translation advocated by the Croatian group in Yugoslavia, which is different from the usual logical approaches of the period, and his advocacy of cybernetic methods, which would be adopted as a canon by the mainstream AI community only decades later.


The vanishing discount problem for monotone systems of Hamilton Jacobi equations. Part 2 Nonlinear coupling. We study the vanishing discount problem for a nonlinear monotone system of Hamilton Jacobi equations. This continues the first author's investigation on the vanishing discount problem for a monotone system of Hamilton Jacobi equations. As in Part 1, we introduce by the convex duality Mather measures and their analogues for the system, which we call respectively Mather and Green Poisson measures, and prove a convergence theorem for the vanishing discount problem. Moreover, we establish an existence result for the ergodic problem.


Code Building Genetic Programming. In recent years the field of genetic programming has made significant advances towards automatic programming. Research and development of contemporary program synthesis methods, such as PushGP and Grammar Guided Genetic Programming, can produce programs that solve problems typically assigned in introductory academic settings. These problems focus on a narrow, predetermined set of simple data structures, basic control flow patterns, and primitive, non overlapping data types (without, for example, inheritance or composite types). Few, if any, genetic programming methods for program synthesis have convincingly demonstrated the capability of synthesizing programs that use arbitrary data types, data structures, and specifications that are drawn from existing codebases. In this paper, we introduce Code Building Genetic Programming (CBGP) as a framework within which this can be done, by leveraging programming language features such as reflection and first class specifications. CBGP produces a computational graph that can be executed or translated into source code of a host language. To demonstrate the novel capabilities of CBGP, we present results on new benchmarks that use non primitive, polymorphic data types as well as some standard program synthesis benchmarks.


Algae Filler Artificial Timber with an Ultralow Binder Content. Algae cultivation is an active area of study for carbon sequestration, while the large amount of produced algae must be upcycled. In the current study, we fabricated artificial timber based on algae filler, with only 2 4 epoxy binder. The flexural strength could be comparable with those of softwoods. The binder was efficiently dispersed in the algae phase through diluent aided compaction self assembly. The important processing parameters included the binder content, the filler morphology, the compaction pressure, the diluent ratio, and the curing condition. This research not only is critical to carbon sequestration, but also helps reduce the consumption of conventional construction materials.


Intermediate Assouad like dimensions for measures. The upper and lower Assouad dimensions of a metric space are local variants of the box dimensions of the space and provide quantitative information about the thickest' and thinnest' parts of the set. Less extreme versions of these dimensions for sets have been introduced, including the upper and lower quasi Assouad dimensions, theta Assouad spectrum, and Phi dimensions. In this paper, we study the analogue of the upper and lower Phi dimensions for measures. We give general properties of such dimensions, as well as more specific results for self similar measures satisfying various separation properties and discrete measures.


Implementing a GPU based parallel MAX MIN Ant System. The MAX MIN Ant System (MMAS) is one of the best known Ant Colony Optimization (ACO) algorithms proven to be efficient at finding satisfactory solutions to many difficult combinatorial optimization problems. The slow down in Moore's law, and the availability of graphics processing units (GPUs) capable of conducting general purpose computations at high speed, has sparked considerable research efforts into the development of GPU based ACO implementations. In this paper, we discuss a range of novel ideas for improving the GPU based parallel MMAS implementation, allowing it to better utilize the computing power offered by two subsequent Nvidia GPU architectures. Specifically, based on the weighted reservoir sampling algorithm we propose a novel parallel implementation of the node selection procedure, which is at the heart of the MMAS and other ACO algorithms. We also present a memory efficient implementation of another key component the tabu list structure which is used in the ACO's solution construction stage. The proposed implementations, combined with the existing approaches, lead to a total of six MMAS variants, which are evaluated on a set of Traveling Salesman Problem (TSP) instances ranging from 198 to 3,795 cities. The results show that our MMAS implementation is competitive with state of the art GPU based and multi core CPU based parallel ACO implementations in fact, the times obtained for the Nvidia V100 Volta GPU were up to 7.18x and 21.79x smaller, respectively. The fastest of the proposed MMAS variants is able to generate over 1 million candidate solutions per second when solving a 1,002 city instance. Moreover, we show that, combined with the 2 opt local search heuristic, the proposed parallel MMAS finds high quality solutions for the TSP instances with up to 18,512 nodes.


Subprojectivity of projective tensor products of Banach spaces of continuous functions. Galego and Samuel showed that if K,L are metrizable, compact, Hausdorff spaces, then C(K) widehat otimes pi C(L) is c 0 saturated if and only if it is subprojective if and only if K and L are both scattered. We remove the hypothesis of metrizability from their result, and extend it from the case of the two fold projective tensor product to the general n fold projective tensor product to show that for any n in mathbb N and compact, Hausdorff spaces K 1, ldots, K n , widehat otimes pi, i 1 n C(K i) is c 0 saturated if and only if it is subprojective if and only if each K i is scattered.


Structure constants for pre modular categories. In this paper we study conjugacy classes for pivotal fusion categories. In particular we prove a Burnside type formula for the structure constants concerning the product of two conjugacy class sums of a such fusion category. For a braided weakly integral fusion category mathcal C we show that these structure constants multiplied by mathrm dim ( mathcal C) are non negative integers, extending some results obtained by Zhou and Zhu (see cite zz ) in the settings of semisimple quasitriangular Hopf algebras.


Italian Domination of Cartesian Products of Directed Cycles. An Italian dominating function on a (di)graph G with vertex set V(G) is a function f V(G) to 0, 1, 2 such that every vertex v in V(G) such that f(v) 0 has an (in)neighbour assigned 2 or two (in)neighbours assigned 1. We complete the investigation of the Italian domination numbers of Cartesian products of directed cycles.


Directional Distribution of Ocean Surface Roughness Observed in Microwave Radar Backscattering. The directional distribution of ocean surface roughness is examined using the Ku, C and L band microwave radar backscattering. The parameters characterizing the upwind downwind and upwind crosswind variations show nonmonotonic dependence on wind speed based on the analysis of Ku, C and L band geophysical model functions (GMFs). A similarity relationship is derived from the GMFs of the three frequency bands to serve as the foundation of modeling the ocean surface roughness directional distribution function. The quantitative impacts on the magnitude and directional properties of the calculated radar backscattering cross section from using different directional distribution functions are investigated. The result indicates that it is important to include both upwind downwind and upwind crosswind variations in the directional distribution function in order to correctly model the radar scattering from the ocean surface.


TrimTuner Efficient Optimization of Machine Learning Jobs in the Cloud via Sub Sampling. This work introduces TrimTuner, the first system for optimizing machine learning jobs in the cloud to exploit sub sampling techniques to reduce the cost of the optimization process while keeping into account user specified constraints. TrimTuner jointly optimizes the cloud and application specific parameters and, unlike state of the art works for cloud optimization, eschews the need to train the model with the full training set every time a new configuration is sampled. Indeed, by leveraging sub sampling techniques and data sets that are up to 60x smaller than the original one, we show that TrimTuner can reduce the cost of the optimization process by up to 50x. Further, TrimTuner speeds up the recommendation process by 65x with respect to state of the art techniques for hyper parameter optimization that use sub sampling techniques. The reasons for this improvement are twofold i) a novel domain specific heuristic that reduces the number of configurations for which the acquisition function has to be evaluated ii) the adoption of an ensemble of decision trees that enables boosting the speed of the recommendation process by one additional order of magnitude.


Transforming Data Flow Diagrams for Privacy Compliance (Long Version). Recent regulations, such as the European General Data Protection Regulation (GDPR), put stringent constraints on the handling of personal data. Privacy, like security, is a non functional property, yet most software design tools are focused on functional aspects, using for instance Data Flow Diagrams (DFDs). In previous work, a conceptual model was introduced where DFDs could be extended into so called Privacy Aware Data Flow Diagrams (PA DFDs) with the aim of adding specific privacy checks to existing DFDs. In this paper, we provide an explicit algorithm and a proof of concept implementation to transform DFDs into PA DFDs. Our tool assists software engineers in the critical but error prone task of systematically inserting privacy checks during design (they are automatically added by our tool) while still allowing them to inspect and edit the. PA DFD if necessary. We have also identified and addressed ambiguities and inaccuracies in the high level transformation proposed in previous work. We apply our approach to two realistic applications from the construction and online retail sectors.


Inverse Kinematics as Low Rank Euclidean Distance Matrix Completion. The majority of inverse kinematics (IK) algorithms search for solutions in a configuration space defined by joint angles. However, the kinematics of many robots can also be described in terms of distances between rigidly attached points, which collectively form a Euclidean distance matrix. This alternative geometric description of the kinematics reveals an elegant equivalence between IK and the problem of low rank matrix completion. We use this connection to implement a novel Riemannian optimization based solution to IK for various articulated robots with symmetric joint angle constraints.


Analyzing Social Media Data to Understand Consumers' Information Needs on Dietary Supplements. Despite the high consumption of dietary supplements (DS), there are not many reliable, relevant, and comprehensive online resources that could satisfy information seekers. The purpose of this research study is to understand consumers' information needs on DS using topic modeling and to evaluate its accuracy in correctly identifying topics from social media. We retrieved 16,095 unique questions posted on Yahoo! Answers relating to 438 unique DS ingredients mentioned in sub section, "Alternative medicine" under the section, "Health". We implemented an unsupervised topic modeling method, Correlation Explanation (CorEx) to unveil the various topics consumers are most interested in. We manually reviewed the keywords of all the 200 topics generated by CorEx and assigned them to 38 health related categories, corresponding to 12 higher level groups. We found high accuracy (90 100 ) in identifying questions that correctly align with the selected topics. The results could be used to guide us to generate a more comprehensive and structured DS resource based on consumers' information needs.


Deep Learning Prediction of Adverse Drug Reactions Using Open TG GATEs and FAERS Databases. With the advancements in Artificial intelligence (AI) and the accumulation of healthrelated big data, it has become increasingly feasible and commonplace to leverage machine learning technologies to analyze clinical and omics metadata to assess the possibility of adverse drug reactions or events (ADRs) in the course of drug discovery. Here, we have described a novel approach that combined drug induced gene expression profile from Open TG GATEs (Toxicogenomics Project Genomics Assisted Toxicity Evaluation Systems) and ADR occurrence information from FAERS (FDA Food and Drug Administration Adverse Events Reporting System) database to predict the likelihood of ADRs. We generated a total of 14 models using Deep Neural Networks (DNN) to predict different ADRs in the validation tests, our models achieved a mean accuracy of 85.71 , indicating that our approach successfully and consistently predicted ADRs for a wide range of drugs. As an example, we have described the ADR model in the context of Duodenal ulcer. We believe that our models will help predict the likelihood of ADRs while testing novel pharmaceutical compounds, and will be useful for researchers in drug discovery.


An varepsilon regularity result with mean curvature control for Willmore immersions and application to minimal bubbling. In this paper we prove a convergence result for sequences of Willmore immersions with simple minimal bubbles. To this end we replace the total curvature control in T. Rivi ere's proof of the varepsilon regularity for Willmore immersions by a control of the local Willmore energy.


Towards Interpretable Graph Modeling with Vertex Replacement Grammars. An enormous amount of real world data exists in the form of graphs. Oftentimes, interesting patterns that describe the complex dynamics of these graphs are captured in the form of frequently reoccurring substructures. Recent work at the intersection of formal language theory and graph theory has explored the use of graph grammars for graph modeling and pattern mining. However, existing formulations do not extract meaningful and easily interpretable patterns from the data. The present work addresses this limitation by extracting a special type of vertex replacement grammar, which we call a KT grammar, according to the Minimum Description Length (MDL) heuristic. In experiments on synthetic and real world datasets, we show that KT grammars can be efficiently extracted from a graph and that these grammars encode meaningful patterns that represent the dynamics of the real world system.


Gradient and Eigenvalue Estimates on the canonical bundle of K "ahler manifolds. We prove certain gradient and eigenvalue estimates, as well as the heat kernel estimates, for the Hodge Laplacian on (m,0) forms, i.e., sections of the canonical bundle of K "ahler manifolds, where m is the complex dimension of the manifold. Instead of the usual dependence on curvature tensor, our condition depends only on the Ricci curvature bound. The proof is based on a new Bochner type formula for the gradient of (m, 0) forms, which involves only the Ricci curvature and the gradient of the scalar curvature.


Multiple Exemplars based Hallucinationfor Face Super resolution and Editing. Given a really low resolution input image of a face (say 16x16 or 8x8 pixels), the goal of this paper is to reconstruct a high resolution version thereof. This, by itself, is an ill posed problem, as the high frequency information is missing in the low resolution input and needs to be hallucinated, based on prior knowledge about the image content. Rather than relying on a generic face prior, in this paper, we explore the use of a set of exemplars, i.e. other high resolution images of the same person. These guide the neural network as we condition the output on them. Multiple exemplars work better than a single one. To combine the information from multiple exemplars effectively, we introduce a pixel wise weight generation module. Besides standard face super resolution, our method allows to perform subtle face editing simply by replacing the exemplars with another set with different facial features. A user study is conducted and shows the super resolved images can hardly be distinguished from real images on the CelebA dataset. A qualitative comparison indicates our model outperforms methods proposed in the literature on the CelebA and WebFace dataset.