Determination of magnon mass of neodymium magnet by temperature dependence of spontaneous magnetization. The effective mass of a magnon in a neodymium magnet is evaluated using Bloch temperature dependence of spontaneous magnetization. We used the Hall effect magnetometer and thermo couple thermometer for measuring of the temperature of the water in which the encapsulated commercial magnet is immersed. The experiment can be repeated in every school and methodological remarks for experimental data processing are given with great detail and attention. The purpose of the paper is to illustrate the simple relation between the quantum spectrum of magnons and the easily measured magnetic field of a permanent magnet.


On some quasi analytic classes. Using the so called monotonicity property, we prove that the Borel mapping restricted to some quasi anlytic classes is never onto.


A quasi conservative discontinuous Galerkin method for multi component flows using the non oscillatory kinetic flux. In this paper, a high order quasi conservative discontinuous Galerkin (DG) method using the non oscillatory kinetic flux is proposed for the 5 equation model of compressible multi component flows with Mie Gr "uneisen equation of state. The method mainly consists of three steps firstly, the DG method with the non oscillatory kinetic flux is used to solve the conservative equations of the model secondly, inspired by Abgrall's idea, we derive a DG scheme for the volume fraction equation which can avoid the unphysical oscillations near the material interfaces finally, a multi resolution WENO limiter and a maximum principle satisfying limiter are employed to ensure oscillation free near the discontinuities, and preserve the physical bounds for the volume fraction, respectively. Numerical tests show that the method can achieve high order for smooth solutions and keep non oscillatory at discontinuities. Moreover, the velocity and pressure are oscillation free at the interface and the volume fraction can stay in the interval 0,1 .


Numerical Solution of Compressible Euler and Magnetohydrodynamic flow past an infinite cone. A numerical scheme is developed for systems of conservation laws on manifolds which arise in high speed aerodynamics and magneto aerodynamics. The systems are presented in an arbitrary coordinate system on the manifold and involve source terms which account for the curvature of the domain. In order for a numerical method to accurately capture the behavior of the system it is solving, the equations must be discretized in a way that is not only consistent in value, but also models the appropriate character of the system. Such a discretization is presented in this work which preserves the tensorial transformation relationships involved in formulating equations in a curved space. A numerical method is then developed and applied to the conical Euler and Ideal Magnetohydrodynamic equations. To the author's knowledge, this is the first demonstration of a numerical solver for the conical Ideal MHD equations.


Deep Reinforcement Learning Controller for 3D Path following and Collision Avoidance by Autonomous Underwater Vehicles. Control theory provides engineers with a multitude of tools to design controllers that manipulate the closed loop behavior and stability of dynamical systems. These methods rely heavily on insights about the mathematical model governing the physical system. However, in complex systems, such as autonomous underwater vehicles performing the dual objective of path following and collision avoidance, decision making becomes non trivial. We propose a solution using state of the art Deep Reinforcement Learning (DRL) techniques, to develop autonomous agents capable of achieving this hybrid objective without having a priori knowledge about the goal or the environment. Our results demonstrate the viability of DRL in path following and avoiding collisions toward achieving human level decision making in autonomous vehicle systems within extreme obstacle configurations.


A C Code Generator for Fast Inference and Simple Deployment of Convolutional Neural Networks on Resource Constrained Systems. Inference of Convolutional Neural Networks in time critical applications usually requires a GPU. In robotics or embedded devices these are often not available due to energy, space and cost constraints. Furthermore, installation of a deep learning framework or even a native compiler on the target platform is not possible. This paper presents a neural network code generator (NNCG) that generates from a trained CNN a plain ANSI C code file that encapsulates the inference in single a function. It can easily be included in existing projects and due to lack of dependencies, cross compilation is usually possible. Additionally, the code generation is optimized based on the known trained CNN and target platform following four design principles. The system is evaluated utilizing small CNN designed for this application. Compared to TensorFlow XLA and Glow speed ups of up to 11.81 can be shown and even GPUs are outperformed regarding latency.


Convex analysis on polyhedral spaces. We introduce notions of concavity for functions on balanced polyhedral spaces, and we show that concave functions on such spaces satisfy several strong continuity properties.


Identifying Opportunities for Skillful Weather Prediction with Interpretable Neural Networks. The atmosphere is chaotic. This fundamental property of the climate system makes forecasting weather incredibly challenging it's impossible to expect weather models to ever provide perfect predictions of the Earth system beyond timescales of approximately 2 weeks. Instead, atmospheric scientists look for specific states of the climate system that lead to more predictable behaviour than others. Here, we demonstrate how neural networks can be used, not only to leverage these states to make skillful predictions, but moreover to identify the climatic conditions that lead to enhanced predictability. Furthermore, we employ a neural network interpretability method called layer wise relevance propagation'' to create heatmaps of the regions in the input most relevant for a network's output. For Earth scientists, these relevant regions for the neural network's prediction are by far the most important product of our study they provide scientific insight into the physical mechanisms that lead to enhanced weather predictability. While we demonstrate our approach for the atmospheric science domain, this methodology is applicable to a large range of geoscientific problems.


Gathering on Rings for Myopic Asynchronous Robots with Lights. We investigate gathering algorithms for asynchronous autonomous mobile robots moving in uniform ring shaped networks. Different from most work using the Look Compute Move (LCM) model, we assume that robots have limited visibility and lights. That is, robots can observe nodes only within a certain fixed distance, and emit a color from a set of constant number of colors. We consider gathering algorithms depending on two parameters related to the initial configuration M init , which denotes the number of nodes between two border nodes, and O init , which denotes the number of nodes hosting robots between two border nodes. In both cases, a border node is a node hosting one or more robots that cannot see other robots on at least one side. Our main contribution is to prove that, if M init or O init is odd, gathering is always feasible with three or four colors. The proposed algorithms do not require additional assumptions, such as knowledge of the number of robots, multiplicity detection capabilities, or the assumption of towerless initial configurations. These results demonstrate the power of lights to achieve gathering of robots with limited visibility.


An Overview on Multiway Relay Communications Fundamental Issues, Recent Advances, and New Challenges. To address the coverage and capacity challenges in fifth generation (5G) wireless networks, the relay technique has been considered as a promising solution and recently attracted great attentions from academia. The multiway relay channel (mRC), which serves as a fundamental building block of a relay network, defines the family of all possible information flow patterns between a relay node and its neighboring nodes. Combined with several new techniques, such as physical layer network coding (PLNC), signal and interference alignments, multi input multi output (MIMO), etc., the mRC exhibits superior capability to assist multiuser information exchange. In this article, we aim to provide a comprehensive overview on the state of the art of the mRC from the perspectives of both information theoretic and communication theoretic studies. The key results are summarized and discussed to identify the current research progress of the mRC. Open problems and research challenges are also discussed to spur future research towards the mRC.


On the kernel of the Brauer Manin pairing. Let mathcal X be a regular scheme, flat and proper over the ring of integers of a p adic field, with generic fiber X and special fiber mathcal X s . We study the left kernel Br( mathcal X) of the Brauer Manin pairing Br(X) times CH 0(X) to mathbb Q mathbb Z . Our main result is that the kernel of the reduction map Br( mathcal X) to Br( mathcal X s) is the direct sum of ( mathbb Q mathbb Z frac 1 p ) s oplus ( mathbb Q mathbb Z) t and a finite p group, where s t rho mathcal X s rho X I 1 , for rho mathcal X s and rho X the Picard numbers of mathcal X s and X , and I the number of irreducible components of mathcal X s . Moreover, we show that t 0 implies s 0 .


Remark on a lower bound of perturbations in 2D inviscid shear flow in a periodic box. Bedrossian and Masmoudi (2015) showed nonlinear stability of 2D inviscid parallel shear flows in the infinite stripe ( mathbb R 2 mathbb Z ) times mathbb R . Inspired by their result, combining a diffeomorphism group result by Misio l ek (1993), in this paper we give a lower bound of perturbations in 2D inviscid shear flow in a periodic box.


Cryptanalysis of two recently proposed ultralightweight authentication protocol for IoT. By expanding the connection of objects to the Internet and their entry to human life, the issue of security and privacy has become important. In order to enhance security and privacy on the Internet, many security protocols have been developed. Unfortunately, the security analyzes that have been carried out on these protocols show that they are vulnerable to one or few attacks, which eliminates the use of these protocols. Therefore, the need for a security protocol on the Internet of Things (IoT) has not yet been resolved. Recently, Khor and Sidorov cryptanalyzed the Wang et al. protocol and presented an improved version of it. In this paper, at first, we show that this protocol also does not have sufficient security and so it is not recommended to be used in any application. More precisely, we present a full secret disclosure attack against this protocol, which extracted the whole secrets of the protocol by two communication with the target tag. In addition, Sidorv et al. recently proposed an ultralightweight mutual authentication RFID protocol for blockchain enabled supply chains, supported by formal and informal security proofs. However, we present a full secret disclosure attack against this protocol as well.


Tracing Contacts to Control the COVID 19 Pandemic. The control of the COVID 19 pandemic requires a considerable reduction of contacts mostly achieved by imposing movement control up to the level of enforced quarantine. This has lead to a collapse of substantial parts of the economy. Carriers of the disease are infectious roughly 3 days after exposure to the virus. First symptoms occur later or not at all. As a consequence tracing the contacts of people identified as carriers is essential for controlling the pandemic. This tracing must work everywhere, in particular indoors, where people are closest to each other. Furthermore, it should respect people's privacy. The present paper presents a method to enable a thorough traceability with very little risk on privacy. In our opinion, the latter capabilities are necessary to control the pandemic during a future relaunch of our economy.


SpreadMeNot A Provably Secure and Privacy Preserving Contact Tracing Protocol. A plethora of contact tracing apps have been developed and deployed in several countries around the world in the battle against Covid 19. However, people are rightfully concerned about the security and privacy risks of such applications. To this end, the contribution of this work is twofold. First, we present an in depth analysis of the security and privacy characteristics of the most prominent contact tracing protocols, under both passive and active adversaries. The results of our study indicate that all protocols are vulnerable to a variety of attacks, mainly due to the deterministic nature of the underlying cryptographic protocols. Our second contribution is the design and implementation of SpreadMeNot, a novel contact tracing protocol that can defend against most passive and active attacks, thus providing strong (provable) security and privacy guarantees that are necessary for such a sensitive application. Our detailed analysis, both formal and experimental, shows that SpreadMeNot satisfies security, privacy, and performance requirements, hence being an ideal candidate for building a contact tracing solution that can be adopted by the majority of the general public, as well as to serve as an open source reference for further developments in the field.


Linearly implicit GARK schemes. Systems driven by multiple physical processes are central to many areas of science and engineering. Time discretization of multiphysics systems is challenging, since different processes have different levels of stiffness and characteristic time scales. The multimethod approach discretizes each physical process with an appropriate numerical method the methods are coupled appropriately such that the overall solution has the desired accuracy and stability properties. The authors developed the general structure additive Runge Kutta (GARK) framework, which constructs multimethods based on Runge Kutta schemes. This paper constructs the new GARK ROS GARK ROW families of multimethods based on linearly implicit Rosenbrock Rosenbrock W schemes. For ordinary differential equation models, we develop a general order condition theory for linearly implicit methods with any number of partitions, using exact or approximate Jacobians. We generalize the order condition theory to two way partitioned index 1 differential algebraic equations. Applications of the framework include decoupled linearly implicit, linearly implicit explicit, and linearly implicit implicit methods. Practical GARK ROS and GARK ROW schemes of order up to four are constructed.


Verification of Deep Convolutional Neural Networks Using ImageStars. Convolutional Neural Networks (CNN) have redefined the state of the art in many real world applications, such as facial recognition, image classification, human pose estimation, and semantic segmentation. Despite their success, CNNs are vulnerable to adversarial attacks, where slight changes to their inputs may lead to sharp changes in their output in even well trained networks. Set based analysis methods can detect or prove the absence of bounded adversarial attacks, which can then be used to evaluate the effectiveness of neural network training methodology. Unfortunately, existing verification approaches have limited scalability in terms of the size of networks that can be analyzed. In this paper, we describe a set based framework that successfully deals with real world CNNs, such as VGG16 and VGG19, that have high accuracy on ImageNet. Our approach is based on a new set representation called the ImageStar, which enables efficient exact and over approximative analysis of CNNs. ImageStars perform efficient set based analysis by combining operations on concrete images with linear programming (LP). Our approach is implemented in a tool called NNV, and can verify the robustness of VGG networks with respect to a small set of input states, derived from adversarial attacks, such as the DeepFool attack. The experimental results show that our approach is less conservative and faster than existing zonotope methods, such as those used in DeepZ, and the polytope method used in DeepPoly.


Directionally Constrained Fully Convolutional Neural Network For Airborne Lidar Point Cloud Classification. Point cloud classification plays an important role in a wide range of airborne light detection and ranging (LiDAR) applications, such as topographic mapping, forest monitoring, power line detection, and road detection. However, due to the sensor noise, high redundancy, incompleteness, and complexity of airborne LiDAR systems, point cloud classification is challenging. In this paper, we proposed a directionally constrained fully convolutional neural network (D FCN) that can take the original 3D coordinates and LiDAR intensity as input thus, it can directly apply to unstructured 3D point clouds for semantic labeling. Specifically, we first introduce a novel directionally constrained point convolution (D Conv) module to extract locally representative features of 3D point sets from the projected 2D receptive fields. To make full use of the orientation information of neighborhood points, the proposed D Conv module performs convolution in an orientation aware manner by using a directionally constrained nearest neighborhood search. Then, we designed a multiscale fully convolutional neural network with downsampling and upsampling blocks to enable multiscale point feature learning. The proposed D FCN model can therefore process input point cloud with arbitrary sizes and directly predict the semantic labels for all the input points in an end to end manner. Without involving additional geometry features as input, the proposed method has demonstrated superior performance on the International Society for Photogrammetry and Remote Sensing (ISPRS) 3D labeling benchmark dataset. The results show that our model has achieved a new state of the art level of performance with an average F1 score of 70.7 , and it has improved the performance by a large margin on categories with a small number of points (such as powerline, car, and facade).


On the Maximum Cardinality Cut Problem in Proper Interval Graphs and Related Graph Classes. Although it has been claimed in two different papers that the maximum cardinality cut problem is polynomial time solvable for proper interval graphs, both of them turned out to be erroneous. In this paper, we give FPT algorithms for the maximum cardinality cut problem in classes of graphs containing proper interval graphs and mixed unit interval graphs when parameterized by some new parameters that we introduce. These new parameters are related to a generalization of the so called bubble representations of proper interval graphs and mixed unit interval graphs and to clique width decompositions.


Architecture Search of Dynamic Cells for Semantic Video Segmentation. In semantic video segmentation the goal is to acquire consistent dense semantic labelling across image frames. To this end, recent approaches have been reliant on manually arranged operations applied on top of static semantic segmentation networks with the most prominent building block being the optical flow able to provide information about scene dynamics. Related to that is the line of research concerned with speeding up static networks by approximating expensive parts of them with cheaper alternatives, while propagating information from previous frames. In this work we attempt to come up with generalisation of those methods, and instead of manually designing contextual blocks that connect per frame outputs, we propose a neural architecture search solution, where the choice of operations together with their sequential arrangement are being predicted by a separate neural network. We showcase that such generalisation leads to stable and accurate results across common benchmarks, such as CityScapes and CamVid datasets. Importantly, the proposed methodology takes only 2 GPU days, finds high performing cells and does not rely on the expensive optical flow computation.


Verification and Parameter Synthesis for Stochastic Systems using Optimistic Optimization. We present an algorithm for formal verification and parameter synthesis of continuous state space Markov chains. This class of problems captures the design and analysis of a wide variety of autonomous and cyber physical systems defined by nonlinear and black box modules. In order to solve these problems, one has to maximize certain probabilistic objective functions overall choices of initial states and parameters. In this paper, we identify the assumptions that make it possible to view this problem as a multi armed bandit problem. Based on this fresh perspective, we propose an algorithm (HOO MB) for solving the problem that carefully instantiates an existing bandit algorithm Hierarchical Optimistic Optimization with appropriate parameters. As a consequence, we obtain theoretical regret bounds on sample efficiency of our solution that depends on key problem parameters like smoothness, near optimality dimension, and batch size. The batch size parameter enables us to strike a balance between the sample efficiency and the memory usage of the algorithm. Our experiments, using the tool HooVer, suggest that the approach scales to realistic sized problems and is often more sample efficient compared to PlasmaLab a leading tool for verification of stochastic systems. Specifically, HooVer has distinct advantages in analyzing models in which the objective function has sharp slopes. In addition, HooVer shows promising behavior in parameter synthesis for a linear quadratic regulator (LQR) example.


Acylindrical hyperbolicity and existential closedness. Let G be a finitely presented group, and let H be a subgroup of G . We prove that if H is acylindrically hyperbolic and existentially closed in G , then G is acylindrically hyperbolic. As a corollary, any finitely presented group which is existentially equivalent to the mapping class group of a surface of finite type, to mathrm Out (F n) or mathrm Aut (F n) for n geq 2 or to the Higman group, is acylindrically hyperbolic.


Artin presentations, triangle groups, and 4 manifolds. Gonz 'a lez Acu n a showed that Artin presentations characterize closed, orientable 3 manifold groups. Winkelnkemper later discovered that each Artin presentation determines a smooth, compact, simply connected 4 manifold. We utilize triangle groups to find all Artin presentations on two generators that present the trivial group. We then determine all smooth, closed, simply connected 4 manifolds with second betti number at most two that appear in Artin presentation theory.


Specific bounds for a probabilistically interpretable solution of the Poisson equation for general state space Markov chains with queueing applications. This paper considers the Poisson equation for general state space Markov chains in continuous time. The main purpose of this paper is to present specific bounds for the solutions of the Poisson equation for general state space Markov chains. The solutions of the Poisson equation are unique in the sense that they are expressed in terms of a certain probabilistically interpretable solution (called the it standard solution ). Thus, we establish some specific bounds for the standard solution under the f modulated drift condition (which is a kind of Foster Lyapunov type condition) and some moderate conditions. To demonstrate the applicability of our results, we consider the workload processes in two queues MAP GI 1 queue, and M GI 1 queue with workload capacity limit.


The Flexibility and Rigidity of Leaper Frameworks. A leaper framework is a bar and joint framework whose joints are integer points forming a rectangular grid and whose bars correspond to all moves of a given leaper within that grid. We study the flexibility and rigidity of leaper frameworks. Let p and q be positive integers such that the (p, q) leaper L is free. J ' o zsef Solymosi and Ethan White conjectured in 2018 that the leaper framework of L on the square grid of side 2(p q) 1 , and so on all larger grids, is rigid. We prove this conjecture. We also prove that Solymosi and White's conjecture is, in a sense, sharp. Namely, the leaper framework of L on the rectangular grid of sides 2(p q) 2 and 2(p q) 1 , and so on all smaller grids (except for, trivially, the 1 times 1 grid), is flexible. In particular, we completely resolve the flexibility and rigidity question for leaper frameworks on square grids. We establish a number of related results as well.


An Event Driven Approach to Serverless Seismic Imaging in the Cloud. Adapting the cloud for high performance computing (HPC) is a challenging task, as software for HPC applications hinges on fast network connections and is sensitive to hardware failures. Using cloud infrastructure to recreate conventional HPC clusters is therefore in many cases an infeasible solution for migrating HPC applications to the cloud. As an alternative to the generic lift and shift approach, we consider the specific application of seismic imaging and demonstrate a serverless and event driven approach for running large scale instances of this problem in the cloud. Instead of permanently running compute instances, our workflow is based on a serverless architecture with high throughput batch computing and event driven computations, in which computational resources are only running as long as they are utilized. We demonstrate that this approach is very flexible and allows for resilient and nested levels of parallelization, including domain decomposition for solving the underlying partial differential equations. While the event driven approach introduces some overhead as computational resources are repeatedly restarted, it inherently provides resilience to instance shut downs and allows a significant reduction of cost by avoiding idle instances, thus making the cloud a viable alternative to on premise clusters for large scale seismic imaging.


Permutations, moments, measures. Which combinatorial sequences correspond to moments of probability measures on the real line? We present a generating function, in the form of a continued fraction, for a fourteen parameter family of such sequences and interpret these in terms of combinatorial statistics on the symmetric groups. Special cases include several classical and noncommutative probability laws, along with a substantial subset of the orthogonalizing measures in the q Askey scheme, now given a new combinatorial interpretation in terms of elementary permutation statistics. This framework further captures a variety of interesting combinatorial sequences including, notably, the moment sequences associated to distributions of the numbers of occurrences of (classical and vincular) permutation patterns of length three. This connection between pattern avoidance and broader ideas in classical and noncommutative probability is among several intriguing new corollaries, which generalize and unify results previously appearing in the literature, while opening up new lines of inquiry. The fourteen combinatorial statistics further generalize to signed and colored permutations, and, as an infinite family of statistics, to the k arrangements permutations with k colored fixed points, introduced here along with several related results and conjectures.


Rewriter Evaluator Architecture for Neural Machine Translation. Encoder decoder has been widely used in neural machine translation (NMT). A few methods have been proposed to improve it with multiple passes of decoding. However, their full potential is limited by a lack of appropriate termination policies. To address this issue, we present a novel architecture, Rewriter Evaluator. It consists of a rewriter and an evaluator. Translating a source sentence involves multiple passes. At every pass, the rewriter produces a new translation to improve the past translation and the evaluator estimates the translation quality to decide whether to terminate the rewriting process. We also propose prioritized gradient descent (PGD) that facilitates training the rewriter and the evaluator jointly. Though incurring multiple passes of decoding, Rewriter Evaluator with the proposed PGD method can be trained with a similar time to that of training encoder decoder models. We apply the proposed architecture to improve the general NMT models (e.g., Transformer). We conduct extensive experiments on two translation tasks, Chinese English and English German, and show that the proposed architecture notably improves the performances of NMT models and significantly outperforms previous baselines.


Polarized electron beam acceleration driven by vortex laser pulses. We propose a new approach based on an all optical set up for generating relativistic polarized electron beams via vortex Laguerre Gaussian (LG) laser driven wakefield acceleration. Using a pre polarized gas target, we find that the topology of the vortex wakefield resolves the depolarization issue of the injected electrons. In full three dimensional particle in cell simulations, incorporating the spin dynamics via the Thomas Bargmann Michel Telegdi equation, the LG laser preserves the electron spin polarization by more than 80 at high beam charge and flux. The method releases the limit on beam flux for polarized electron acceleration and promises more than an order of magnitude boost in peak flux, as compared to Gaussian beams. These results suggest a promising table top method to produce energetic polarized electron beams.


Dust charging in dynamic ion wakes. Micron sized dust grains have been successfully employed as non perturbative probes to measure variations in plasma conditions on small spatial scales, such as those found in plasma sheaths. The dynamics of the grains can be used to map the forces due to electric fields present in the sheath, but the particle charge and electric field are difficult to measure independently. The problem is further complicated by the ion wake field which develops downstream of the dust grains in a flowing plasma. Within a sheath, ions are accelerated towards the charged boundary, and this ion flow creates a positively charged spatial region downstream of the dust grain, called the ion wake. The ion wake in turn modifies the interaction potential between the charged grains. Here we use a molecular dynamics simulation of ion flow past dust grains to investigate the interaction between the charged dust particles and ions. The charging and dynamics of the grains are coupled self consistently and derived from the ion dust interactions, allowing for detailed analysis of the wakefield mediated interaction as the structural configuration of the dust grains changes. The decharging of a dust grain as it moves through the wake of an upstream particle and the attractive ion wakefield force are mapped for a range of ion flow speeds.


Adaptive 3D convolutional neural network based reconstruction method for 3D coherent diffraction imaging. We present a novel adaptive machine learning based approach for reconstructing three dimensional (3D) crystals from coherent diffraction imaging (CDI). We represent the crystals using spherical harmonics (SH) and generate corresponding synthetic diffraction patterns. We utilize 3D convolutional neural networks (CNN) to learn a mapping between 3D diffraction volumes and the SH which describe the boundary of the physical volumes from which they were generated. We use the 3D CNN predicted SH coefficients as the initial guesses which are then fine tuned using adaptive model independent feedback for improved accuracy.


Entirety of certain cuspidal Eisenstein series on Kac Moody groups. Let G be an infinite dimensional representation theoretic Kac Moody group associated to a nonsingular symmetrizable generalized Cartan matrix. We consider Eisenstein series on G induced from unramified cusp forms on finite dimensional Levi subgroups of maximal parabolic subgroups. Under a natural condition on maximal parabolic subgroups, we prove that the cuspidal Eisenstein series are entire on the full complex plane.


Porous media equations with multiplicative space time white noise. The existence of martingale solutions for stochastic porous media equations driven by nonlinear multiplicative space time white noise is established in spatial dimension one. The Stroock Varopoulos inequality is identified as a key tool in the derivation of the corresponding estimates.


Visibility Constrained Generative Model for Depth based 3D Facial Pose Tracking. In this paper, we propose a generative framework that unifies depth based 3D facial pose tracking and face model adaptation on the fly, in the unconstrained scenarios with heavy occlusions and arbitrary facial expression variations. Specifically, we introduce a statistical 3D morphable model that flexibly describes the distribution of points on the surface of the face model, with an efficient switchable online adaptation that gradually captures the identity of the tracked subject and rapidly constructs a suitable face model when the subject changes. Moreover, unlike prior art that employed ICP based facial pose estimation, to improve robustness to occlusions, we propose a ray visibility constraint that regularizes the pose based on the face model's visibility with respect to the input point cloud. Ablation studies and experimental results on Biwi and ICT 3DHP datasets demonstrate that the proposed framework is effective and outperforms completing state of the art depth based methods.


VoteAgain A scalable coercion resistant voting system. The strongest threat model for voting systems considers coercion resistance protection against coercers that force voters to modify their votes, or to abstain. Existing remote voting systems either do not provide this property require an expensive tallying phase or burden users with the need to store cryptographic key material and with the responsibility to deceive their coercers. We propose VoteAgain, a scalable voting scheme that relies on the revoting paradigm to provide coercion resistance. VoteAgain uses a novel deterministic ballot padding mechanism to ensure that coercers cannot see whether a vote has been replaced. This mechanism ensures tallies take quasilinear time, making VoteAgain the first revoting scheme that can handle elections with millions of voters. We prove that VoteAgain provides ballot privacy, coercion resistance, and verifiability and we demonstrate its scalability using a prototype implementation of all cryptographic primitives.


De anonymization of authors through arXiv submissions during double blind review. In this paper, we investigate the effects of releasing arXiv preprints of papers that are undergoing a double blind review process. In particular, we ask the following research question What is the relation between de anonymization of authors through arXiv preprints and acceptance of a research paper at a (nominally) double blind venue? Under two conditions papers that are released on arXiv before the review phase and papers that are not, we examine the correlation between the reputation of their authors with the review scores and acceptance decisions. By analyzing a dataset of ICLR 2020 and ICLR 2019 submissions (n 5050), we find statistically significant evidence of positive correlation between percentage acceptance and papers with high reputation released on arXiv. In order to understand this observed association better, we perform additional analyses based on self specified confidence scores of reviewers and observe that less confident reviewers are more likely to assign high review scores to papers with well known authors and low review scores to papers with less known authors, where reputation is quantified in terms of number of Google Scholar citations. We emphasize upfront that our results are purely correlational and we neither can nor intend to make any causal claims. A blog post accompanying the paper and our scraping code will be linked in the project website https sites.google.com view deanon arxiv home


Reflected Quadratic BSDEs driven by G Brownian Motions. In this paper, we consider a reflected backward stochastic differential equation driven by a G Brownian motion ( G BSDE), with the generator growing quadratically in the second unknown. We obtain the existence by the penalty method, and a priori estimates which implies the uniqueness, for solutions of the G BSDE. Moreover, focusing our discussion at the Markovian setting, we give a nonlinear Feynman Kac formula for solutions of a fully nonlinear partial differential equation.


Liquid Resource Types. This article presents liquid resource types, a technique for automatically verifying the resource consumption of functional programs. Existing resource analysis techniques trade automation for flexibility automated techniques are restricted to relatively constrained families of resource bounds, while more expressive proof techniques admitting value dependent bounds rely on handwritten proofs. Liquid resource types combine the best of these approaches, using logical refinements to automatically prove precise bounds on a program's resource consumption. The type system augments refinement types with potential annotations to conduct an amortized resource analysis. Importantly, users can annotate data structure declarations to indicate how potential is allocated within the type, allowing the system to express bounds with polynomials and exponentials, as well as more precise expressions depending on program values. We prove the soundness of the type system, provide a library of flexible and reusable data structures for conducting resource analysis, and use our prototype implementation to automatically verify resource bounds that previously required a manual proof.


Parallel 3d shape optimization for cellular composites on large distributed memory clusters. Skin modeling is an ongoing research area that highly benefits from modern parallel algorithms. This article aims at applying shape optimization to compute cell size and arrangement for elastic energy minimization of a cellular composite material model for the upper layer of the human skin. A gradient penalized shape optimization algorithm is employed and tested on the distributed memory cluster Hazel Hen, HLRS, Germany. The performance of the algorithm is studied in two benchmark tests. First, cell structures are optimized with respect to purely geometric aspects. The model is then extended such that the composite is optimized to withstand applied deformations. In both settings, the algorithm is investigated in terms of weak and strong scalability. The results for the geometric test reflect Kelvin's conjecture that the optimal space filling design of cells with minimal surface is given by tetrakaidecahedrons. The PDE constrained test case is chosen in order to demonstrate the influence of the deformation gradient penalization on fine inter cellular channels in the composite and its influence on the multigrid convergence. A scaling study is presented for up to 12,288 cores and 3 billion DoFs.


Coverage Improvement of Wireless Sensor Networks via Spatial Profile Information. This paper considers a wireless sensor network deployed to sense an environment variable with a known spatial statistical profile. We propose to use the additional information of the spatial profile to improve the sensing range of sensors while allowing some tolerance in their sensing accuracy. We show that the use of this information improves the sensing performance of the total WSN. For this, we first derive analytical expressions for various performance metrics to measure the improvement in the sensing performance of WSN. We then discuss the sensing gains quantitatively using numerical results.


The Tutte polynomial and toric Nakajima quiver varieties. For a quiver Q , we take mathcal M an associated toric Nakajima quiver variety and Gamma the underlying graph. In this article, we give a direct relation between a specialisation of the Tutte polynomial of Gamma , the Kac polynomial of Q and the Poincar 'e polynomial of mathcal M . We do this by giving a cell decomposition of mathcal M indexed by spanning trees of Gamma and geometrising' the deletion and contraction operators on graphs. These relations have been previously established by Sturmfels Hausel and (Crawley Boovey) Van den Bergh, however the methods here are more hands on.


Stratum A Serverless Framework for Lifecycle Management of Machine Learning based Data Analytics Tasks. With the proliferation of machine learning (ML) libraries and frameworks, and the programming languages that they use, along with operations of data loading, transformation, preparation and mining, ML model development is becoming a daunting task. Furthermore, with a plethora of cloud based ML model development platforms, heterogeneity in hardware, increased focus on exploiting edge computing resources for low latency prediction serving and often a lack of a complete understanding of resources required to execute ML workflows efficiently, ML model deployment demands expertise for managing the lifecycle of ML workflows efficiently and with minimal cost. To address these challenges, we propose an end to end data analytics, a serverless platform called Stratum. Stratum can deploy, schedule and dynamically manage data ingestion tools, live streaming apps, batch analytics tools, ML as a service (for inference jobs), and visualization tools across the cloud fog edge spectrum. This paper describes the Stratum architecture highlighting the problems it resolves.


On the oriented Thompson subgroup vec F 3 and its relatives in higher Brown Thompson groups. A few years ago the so called oriented subgroup vec F of the Thompson group F was introduced by V. Jones while investigating the connections between subfactors and conformal field theories. In the coding of links and knots by elements of F it corresponds exactly to the oriented ones. Thanks to the work of Golan and Sapir, vec F provided the first example of a maximal subgroup of infinite index in F different from the parabolic subgroups that fix a point in (0,1) . In this paper we investigate possible analogues of vec F in higher Thompson groups F k, k geq 2 , with F F 2 , introduced by Brown. Most notably, we study algebraic properties of the oriented subgroup vec F 3 of F 3 , as described recently by Jones, and prove in particular that it gives rise to a non parabolic maximal subgroup of infinite index in F 3 and that the corresponding quasi regular representation is irreducible.


Parameterized Synthesis for Fragments of First Order Logic over Data Words. We study the synthesis problem for systems with a parameterized number of processes. As in the classical case due to Church, the system selects actions depending on the program run so far, with the aim of fulfilling a given specification. The difficulty is that, at the same time, the environment executes actions that the system cannot control. In contrast to the case of fixed, finite alphabets, here we consider the case of parameterized alphabets. An alphabet reflects the number of processes that are static but unknown. The synthesis problem then asks whether there is a finite number of processes for which the system can satisfy the specification. This variant is already undecidable for very limited logics. Therefore, we consider a first order logic without the order on word positions. We show that even in this restricted case synthesis is undecidable if both the system and the environment have access to all processes. On the other hand, we prove that the problem is decidable if the environment only has access to a bounded number of processes. In that case, there is even a cutoff meaning that it is enough to examine a bounded number of process architectures to solve the synthesis problem.


Statistical Assessment of IP Multimedia Subsystem in a Softwarized Environment a Queueing Networks Approach. The Next Generation 5G Networks can greatly benefit from the synergy between virtualization paradigms, such as the Network Function Virtualization (NFV), and service provisioning platforms such as the IP Multimedia Subsystem (IMS). The NFV concept is evolving towards a lightweight solution based on containers that, by contrast to classic virtual machines, do not carry a whole operating system and result in more efficient and scalable deployments. On the other hand, IMS has become an integral part of the 5G core network, for instance, to provide advanced services like Voice over LTE (VoLTE). In this paper we combine these virtualization and service provisioning concepts, deriving a containerized IMS infrastructure, dubbed cIMS, providing its assessment through statistical characterization and experimental measurements. Specifically, we i) model cIMS through the queueing networks methodology to characterize the utilization of virtual resources under constrained conditions ii) draw an extended version of the Pollaczek Khinchin formula, which is useful to deal with bulk arrivals iii) afford an optimization problem focused at maximizing the whole cIMS performance in the presence of capacity constraints, thus providing new means for the service provider to manage service level agreements (SLAs) iv) evaluate a range of cIMS scenarios, considering different queuing disciplines including also multiple job classes. An experimental testbed based on the open source platform Clearwater has been deployed to derive some realistic values of key parameters (e.g. arrival and service times).


math.NA cs.NA physics.comp-ph physics.flu-dyn

High order well balanced finite volume schemes for hydrodynamic equations with nonlocal free energy. We propose high order well balanced finite volume schemes for a broad class of hydrodynamic systems with attractive repulsive interaction forces and linear and nonlinear damping. Our schemes are suitable for free energies containing convolutions of an interaction potential with the density, which are essential for applications such as the Keller Segel model, more general Euler Poisson systems, or dynamic density functional theory. Our schemes are also equipped with a nonnegative density reconstruction which allows for vacuum regions during the simulation. We provide several prototypical examples from relevant applications highlighting the benefit of our algorithms elucidate also some of our analytical results.


More Is Less Learning Efficient Video Representations by Big Little Network and Depthwise Temporal Aggregation. Current state of the art models for video action recognition are mostly based on expensive 3D ConvNets. This results in a need for large GPU clusters to train and evaluate such architectures. To address this problem, we present a lightweight and memory friendly architecture for action recognition that performs on par with or better than current architectures by using only a fraction of resources. The proposed architecture is based on a combination of a deep subnet operating on low resolution frames with a compact subnet operating on high resolution frames, allowing for high efficiency and accuracy at the same time. We demonstrate that our approach achieves a reduction by 3 sim4 times in FLOPs and sim2 times in memory usage compared to the baseline. This enables training deeper models with more input frames under the same computational budget. To further obviate the need for large scale 3D convolutions, a temporal aggregation module is proposed to model temporal dependencies in a video at very small additional computational costs. Our models achieve strong performance on several action recognition benchmarks including Kinetics, Something Something and Moments in time. The code and models are available at https github.com IBM bLVNet TAM.


Counterexample Driven Synthesis for Probabilistic Program Sketches. Probabilistic programs are key to deal with uncertainty in e.g. controller synthesis. They are typically small but intricate. Their development is complex and error prone requiring quantitative reasoning over a myriad of alternative designs. To mitigate this complexity, we adopt counterexample guided inductive synthesis (CEGIS) to automatically synthesise finite state probabilistic programs. Our approach leverages efficient model checking, modern SMT solving, and counterexample generation at program level. Experiments on practically relevant case studies show that design spaces with millions of candidate designs can be fully explored using a few thousand verification queries.


Polynomial Time Data Reduction for Weighted Problems Beyond Additive Goal Functions. Dealing with NP hard problems, kernelization is a fundamental notion for polynomial time data reduction with performance guarantees in polynomial time, a problem instance is reduced to an equivalent instance with size upper bounded by a function of a parameter chosen in advance. Kernelization for weighted problems particularly requires to also shrink weights. Marx and V 'egh ACM Trans. Algorithms 2015 and Etscheid et al. J. Comput. Syst. Sci. 2017 used a technique of Frank and Tardos Combinatorica 1987 to obtain polynomial size kernels for weighted problems, mostly with additive goal functions. We characterize the function types that the technique is applicable to, which turns out to contain many non additive functions. Using this insight, we systematically obtain kernelization results for natural problems in graph partitioning, network design, facility location, scheduling, vehicle routing, and computational social choice, thereby improving and generalizing results from the literature.


Gradient Coil Design and Realization for a Halbach Based MRI System. In this paper we design and construct gradient coils for a Halbach permanent magnet array magnetic resonance (MR) scanner. The target field method, which is widely applied for the case of axial static magnetic fields, has been developed for a transverse static magnetic field as produced by a Halbach permanent magnet array. Using this method, current densities for three gradient directions are obtained and subsequently verified using a commercial magneto static solver. Stream functions are used to turn the surface current densities into wire patterns for constructing the gradient coils. The measured fields are in good agreement with simulations and their prescribed target fields. Three dimensional images have been acquired using the constructed gradient coils with very low degree of geometric distortion.


The integral cohomology of the Hilbert scheme of points on a surface. We show that if X is a smooth complex projective surface with torsion free cohomology, then the Hilbert scheme X n has torsion free cohomology for every natural number n. This extends earlier work by Markman on the case of Poisson surfaces. The proof uses Gholampour Thomas's reduced obstruction theory for nested Hilbert schemes of surfaces.


City Scale Road Extraction from Satellite Imagery v2 Road Speeds and Travel Times. Automated road network extraction from remote sensing imagery remains a significant challenge despite its importance in a broad array of applications. To this end, we explore road network extraction at scale with inference of semantic features of the graph, identifying speed limits and route travel times for each roadway. We call this approach City Scale Road Extraction from Satellite Imagery v2 (CRESIv2), Including estimates for travel time permits true optimal routing (rather than just the shortest geographic distance), which is not possible with existing remote sensing imagery based methods. We evaluate our method using two sources of labels (OpenStreetMap, and those from the SpaceNet dataset), and find that models both trained and tested on SpaceNet labels outperform OpenStreetMap labels by greater than 60 . We quantify the performance of our algorithm with the Average Path Length Similarity (APLS) and map topology (TOPO) graph theoretic metrics over a diverse test area covering four cities in the SpaceNet dataset. For a traditional edge weight of geometric distance, we find an aggregate of 5 improvement over existing methods for SpaceNet data. We also test our algorithm on Google satellite imagery with OpenStreetMap labels, and find a 23 improvement over previous work. Metric scores decrease by only 4 on large graphs when using travel time rather than geometric distance for edge weights, indicating that optimizing routing for travel time is feasible with this approach.


On the overall polarisation properties of full Poincar 'e beams. We analyse the polarisation properties of full Poincar 'e beams. We consider different configurations, such as Laguerre Poincar 'e, Bessel Poincar 'e, and Lambert Poincar 'e beams. The former is the original Poincar 'e beam produced by a collinear superposition of two Laguerre Gauss beams with orthogonal polarisations. For this configuration, we describe the Stokes statistics and overall invariant parameters. Similarly, Bessel Poincar 'e beams are produced by the collinear superposition of Bessel beams with orthogonal polarisations. We describe their properties under propagation and show that they behave as a free space polarisation attractor transforming elliptical polarisations to linear polarisations. We also propose a novel type of full Poincar 'e pattern, one which is generated by a Lambert projection of the Poincar 'e sphere on the transverse plane, and hence we call them Lambert Poincar 'e. This configuration, contrary to the Laguerre Poincar 'e, provides a finite region containing all polarisation states uniformly distributed on the Poincar 'e sphere.


Iterative frequency domain seismic wave solvers based on multi level domain decomposition preconditioners. Frequency domain full waveform inversion (FWI) is suitable for long offset stationary recording acquisition, since reliable subsurface models can be reconstructed with a few frequencies and attenuation is easily implemented without computational overhead. In the frequency domain, wave modelling is a Helmholtz type boundary value problem which requires to solve a large and sparse system of linear equations per frequency with multiple right hand sides (sources). This system can be solved with direct or iterative methods. While the former are suitable for FWI application on 3D dense OBC acquisitions covering spatial domains of moderate size, the later should be the approach of choice for sparse node acquisitions covering large domains (more than 50 millions of unknowns). Fast convergence of iterative solvers for Helmholtz problems remains however challenging due to the non definiteness of the Helmholtz operator, hence requiring efficient preconditioners. In this study, we use the Krylov subspace GMRES iterative solver combined with a multi level domain decomposition preconditioner. Discretization relies on continuous finite elements on unstructured tetrahedral meshes to comply with complex geometries and adapt the size of the elements to the local wavelength ( h adaptivity). We assess the convergence and the scalability of our method with the acoustic 3D SEG EAGE Overthrust model up to a frequency of 20 Hz and discuss its efficiency for multi right hand side processing.


Almost bi Lipschitz embeddings using covers of balls centred at the origin. In 2010, Olson Robinson Transactions of the American Mathematical Society, 362(1), 145 168 introduced the notion of an almost homogeneous metric space and showed that if X is a subset of a Hilbert space such that X X is almost homogeneous, then X admits almost bi Lipschitz embeddings into Euclidean spaces. In this paper, we extend this result and we show that if X is a subset of a Banach space such that X X is almost homogeneous at the origin, then X can be embedded in a Euclidean space in an almost bi Lipschitz way.


DeepCFL Deep Contextual Features Learning from a Single Image. Recently, there is a vast interest in developing image feature learning methods that are independent of the training data, such as deep image prior, InGAN, SinGAN, and DCIL. These methods are unsupervised and are used to perform low level vision tasks such as image restoration, image editing, and image synthesis. In this work, we proposed a new training data independent framework, called Deep Contextual Features Learning (DeepCFL), to perform image synthesis and image restoration based on the semantics of the input image. The contextual features are simply the high dimensional vectors representing the semantics of the given image. DeepCFL is a single image GAN framework that learns the distribution of the context vectors from the input image. We show the performance of contextual learning in various challenging scenarios outpainting, inpainting, and restoration of randomly removed pixels. DeepCFL is applicable when the input source image and the generated target image are not aligned. We illustrate image synthesis using DeepCFL for the task of image resizing.


Automatic marker free registration of tree point cloud data based on rotating projection. Point cloud data acquired using a terrestrial laser scanner (TLS) play an important role in digital forestry research. Multiple scans are generally used to overcome occlusion effects and obtain complete tree structural information. However, it is time consuming and difficult to place artificial reflectors in a forest with complex terrain for marker based registration, a process that reduces registration automation and efficiency. In this study, we propose an automatic coarse to fine method for the registration of point cloud data from multiple scans of a single tree. In coarse registration, point clouds produced by each scan are projected onto a spherical surface to generate a series of two dimensional (2D) images, which are used to estimate the initial positions of multiple scans. Corresponding feature point pairs are then extracted from these series of 2D images. In fine registration, point cloud data slicing and fitting methods are used to extract corresponding central stem and branch centers for use as tie points to calculate fine transformation parameters. To evaluate the accuracy of registration results, we propose a model of error evaluation via calculating the distances between center points from corresponding branches in adjacent scans. For accurate evaluation, we conducted experiments on two simulated trees and a real world tree. Average registration errors of the proposed method were 0.26m around on simulated tree point clouds, and 0.05m around on real world tree point cloud.


Mod p points on Shimura varieties of parahoric level (with an appendix by Rong Zhou). We study the mod p points of the Kisin Pappas integral models of abelian type Shimura varieties with parahoric level structure. We show that if the group is quasi split and unramified, then the mod p isogeny classes are of the form predicted by the Langlands Rapoport conjecture (c.f. Conjecture 9.2 of arXiv math 0205022). We prove the same results for quasi split and tamely ramified groups when their Shimura varieties are proper. The main innovation in this work is a global argument that allows us to reduce the conjecture to the case of a very special parahoric, which is handled in the appendix. This way we avoid the complicated local problem of understanding connected components of affine Deligne Lusztig varieties for general parahoric subgroups. Along the way, we give a simple irreducibility criterion for Ekedahl Oort and Kottwitz Rapoport strata.


Semi automatic construction of Lattice Boltzmann models. A crucial step in constructing a Lattice Boltzmann model is the definition of a suitable set of lattice velocities, and the correct assignment of the associated weights. For high order models, the solution of this problem requires a non trivial effort. The paper outlines the functioning of a publicly available Python script which has been written to assist researchers in that task. The speed of sound c s is considered as a parameter, which can, within limits, be chosen at will. Under this premise, the Maxwell Boltzmann constraint equations are a system of linear equations to determine the weights, and hence amenable to numerical solution by standard linear algebra library routines. By suitable contractions, the tensor equations are mapped to a set of equivalent scalar equations, which simplifies the treatment significantly. For a user supplied set of velocity shells, the software first checks if a solution for the weights exists, and returns it if it also happens to be unique. In such a case, the software also calculates the range of c s values that yield positive weights. Standard models like D3Q19 with a well defined special c s value then result as limiting cases where one of the weights vanishes. In case of an infinite set of solutions, the user may find one particular solution by supplying a c s value, and then minimizing one or several weights within the framework of standard linear programming. Some examples illustrate the feasibility and usefulness of the approach. A number of models that have been discussed in the literature are nicely reproduced, while the software has also been able to find some new models of even higher order.


Left Demazure Lusztig operators on equivariant (quantum) cohomology and K theory. We study the Demazure Lusztig operators induced by the left multiplication on partial flag manifolds G P . We prove that they generate the Chern Schwartz MacPherson classes of Schubert cells (in equivariant cohomology), respectively their motivic Chern classes (in equivariant K theory), in any partial flag manifold. Along the way we advertise many properties of the left and right divided difference operators in cohomology and K theory, and their actions on Schubert classes. We apply this to construct left divided difference operators in equivariant quantum cohomology, and equivariant quantum K theory, generating Schubert classes, and satisfying a Leibniz rule compatible with the quantum product.


The Cauchy problem for the generalized KdV equation with rough data and random data. In this paper, we consider the Cauchy problem for the generalized KdV equation with rough data and random data. Firstly, we prove that u(x,t) longrightarrow u(x,0) as t longrightarrow0 for a.e. x in mathbb R with u(x,0) in H s ( mathbb R )(s frac 1 2 frac 2 k ,k geq8). Secondly, we prove that u(x,t) longrightarrow e t partial x 3 u(x,0) as t longrightarrow0 for a.e. x in mathbb R with u(x,0) in H s ( mathbb R )(s frac 1 2 frac 2 k ,k geq8). Thirdly, we prove that lim limits t longrightarrow 0 left u(x,t) e t partial x 3 u(x,0) right L x infty 0 with u(x,0) in H s ( mathbb R )(s frac 1 2 frac 2 k 1 ,k geq5) . Fourthly, by using Strichartz estimates, probabilistic Strichartz estimates, we establish the probabilistic well posedness in H s ( mathbb R ) left(s rm max left frac 1 k 1 left( frac 1 2 frac 2 k right), frac 1 6 frac 2 k right right) with random data. Our result improves the result of Hwang, Kwak (Proc. Amer. Math. Soc. 146(2018), 267 280.). Fifthly, we prove that forall epsilon 0, forall omega in Omega T , lim limits t longrightarrow0 left u(x,t) e t partial x 3 u omega (x,0) right L x infty 0 with u(x,0) in H s ( mathbb R )(s frac 1 6 ,k geq6), where rm P ( Omega T ) geq 1 C 1 rm exp left( frac C T frac epsilon 48k u(x,0) H s 2 right) and u omega (x,0) is the randomization of u(x,0) . Finally, we prove that forall epsilon 0, forall omega in Omega T , lim limits t longrightarrow0 left u(x,t) u omega (x,0) right L x infty 0 with rm P ( Omega T ) geq 1 C 1 rm exp left( frac C T frac epsilon 48k u(x,0) H s 2 right) and u(x,0) in H s ( mathbb R )(s frac 1 6 ,k geq6) .


Summary Level Training of Sentence Rewriting for Abstractive Summarization. As an attempt to combine extractive and abstractive summarization, Sentence Rewriting models adopt the strategy of extracting salient sentences from a document first and then paraphrasing the selected ones to generate a summary. However, the existing models in this framework mostly rely on sentence level rewards or suboptimal labels, causing a mismatch between a training objective and evaluation metric. In this paper, we present a novel training signal that directly maximizes summary level ROUGE scores through reinforcement learning. In addition, we incorporate BERT into our model, making good use of its ability on natural language understanding. In extensive experiments, we show that a combination of our proposed model and training procedure obtains new state of the art performance on both CNN Daily Mail and New York Times datasets. We also demonstrate that it generalizes better on DUC 2002 test set.


Lifting (co)stratifications between tensor triangulated categories. We give necessary and sufficient conditions for stratification and costratification to descend along a coproduct preserving, tensor exact R linear functor between R linear tensor triangulated categories which are rigidly compactly generated by their tensor units. We then apply these results to non positive commutative DG rings and connective ring spectra. In particular, this gives a support theoretic classification of (co)localizing subcategories, and thick subcategories of compact objects of the derived category of a non positive commutative DG ring with finite amplitude, and provides a formal justification for the principle that the space associated to an eventually coconnective derived scheme is its underlying classical scheme. For a non positive commutative DG ring A , we also investigate whether certain finiteness conditions in mathsf D (A) (for example, proxy smallness) can be reduced to questions in the better understood category mathsf D (H 0A) .


Analytic hypoellipticity of Keldysh operators. We consider Keldysh type operators, P x 1 D x 1 2 a (x) D x 1 Q (x, D x' ) , x ( x 1, x') with analytic coefficients, and with Q ( x, D x' ) second order, principally real and elliptic in D x' for x near zero. We show that if P u f , u in C infty , and f is analytic in a neighbourhood of 0 then u is analytic in a neighbourhood of 0 . This is a consequence of a microlocal result valid for operators of any order with Lagrangian radial sets. Our result proves a generalized version of a conjecture made by the second author and Lebeau and has applications to scattering theory.


Learning from others' mistakes Avoiding dataset biases without modeling them. State of the art natural language processing (NLP) models often learn to model dataset biases and surface form correlations instead of features that target the intended underlying task. Previous work has demonstrated effective methods to circumvent these issues when knowledge of the bias is available. We consider cases where the bias issues may not be explicitly identified, and show a method for training models that learn to ignore these problematic correlations. Our approach relies on the observation that models with limited capacity primarily learn to exploit biases in the dataset. We can leverage the errors of such limited capacity models to train a more robust model in a product of experts, thus bypassing the need to hand craft a biased model. We show the effectiveness of this method to retain improvements in out of distribution settings even if no particular bias is targeted by the biased model.


Joint User Scheduling and Resource Allocation for Millimeter Wave Systems Relying on Adaptive Resolution ADCs. Millimeter wave (mmWave) communication systems using adaptive resolution analog to digital converters (RADCs) have recently drawn considerable interests from the research community as benefit of their high energy efficiency and low implementation cost. In this paper, we focus on the mmWave uplink using RADCs and investigate the joint user scheduling and resource allocation problem. Specifically, we seek to maximize the system throughput of the scheduled users by jointly optimizing their transmit power level and hybrid combiners as well as the number of quantization bits, subject to practical constraints. By relying on fractional programming (FP) techniques, we first covert this problem into a form amenable to optimization and exploit the specific structures in its solutions with the aid of the so called Ky Fan n norm. Then, the resultant optimization problem is solved using a penalty block successive concave approximation (P BSCA) algorithm. Our numerical results reveal that the proposed algorithm substantially enhances the throughput of the scheduled users compared to the state of theart benchmark schemes and provides more flexible and efficient resource allocation control.


Regular orbits of quasisimple linear groups II. Let V be a finite dimensional vector space over a finite field, and suppose G leq Gamma mathrm L (V) is a group with a unique subnormal quasisimple subgroup E(G) that is absolutely irreducible on V . A base for G is a set of vectors B subseteq V with pointwise stabiliser G B 1 . If G has a base of size 1, we say that it has a regular orbit on V . In this paper we investigate the minimal base size of groups G with E(G) Z(E(G)) cong mathrm PSL n(q) in defining characteristic, with an aim of classifying those with a regular orbit on V .


On discrete loop signatures and Markov loops topology. Our purpose is to explore, in the context of loop ensembles on finite graphs, the relations between combinatorial group theory, loops topology, loop measures, and signatures of discrete paths. We determine the distributions of the loop homotopy class, and of the first and second homologies, defined by the lower central series of the fundamental group.


The role of intraband dynamics in the generation of circularly polarized high harmonics from solids. Recent studies have demonstrated that the polarization states of high harmonics from solids can differ from those of the driving pulses. To gain insights on the microscopic origin of this behavior, we perform one particle intraband only calculations and reproduce some of the most striking observations. For instance, our calculations yield circularly polarized harmonics from elliptically polarized pulses that sensitively depend on the driving conditions. Furthermore, we perform experiments on ZnS and find partly similar characteristics as reported from silicon. Comparison to our intraband only calculations shows reasonable qualitative agreement for a below band gap harmonic. We show that intraband dynamics predict depolarization effects for higher field strengths. For harmonics above the band gap, interband dynamics become important and the high harmonic response to elliptical excitation looks systematically different. Our work proposes a method to distinguish between different high harmonic generation mechanisms and it could pave the way to compact solid state high harmonic sources with controllable polarization states.


iVAMS 1.0 Polynomial Metamodel Integrated Intelligent Verilog AMS for Fast, Accurate Mixed Signal Design Optimization. Electronic circuit behavioral models built with hardware description modeling languages such as Verilog AMS for system level simulations are typically functional models. They do not capture the physical design (layout) information of the target design. Numerous iterations of post layout design adjustments are usually required to ensure that design specifications are met with the presence of layout parasitics. In this paper a paradigm shift of the current trend is presented that integrates layout level information in Verilog AMS through metamodels such that system level simulation of a mixed signal circuit system is realistic and as accurate as true parasitic netlist simulation. The simulations performed with these parasitic aware models can be used to estimate system performance without layout iterations. We call this new form of Verilog AMS as iVAMS (i.e. Intelligent Verilog AMS). We call this iVAMS 1.0 as it is simple polynomial metamodel integrated Intelligent Verilog AMS. As a specific case study, a voltage controlled oscillator (VCO) Verilog AMS behavioral model and design flow are proposed to assist fast PLL design space exploration. The PLL simulation employing quadratic metamodels achieves approximately 10X speedup compared to that employing the layout extracted, parasitic netlist. The simulations using this behavioral model attain high accuracy. The observed error for the simulated lock time and average power dissipation are 0.7 and 3 , respectively. This behavioral metamodel approach bridges the gap between layout accurate but fast simulation and design space exploration. The proposed method also allows much shorter design verification and optimization to meet stringent time to market requirements. Compared to the optimization using the layout netlist, the runtime using the behavioral model is reduced by 88.9 .


No Answer is Better Than Wrong Answer A Reflection Model for Document Level Machine Reading Comprehension. The Natural Questions (NQ) benchmark set brings new challenges to Machine Reading Comprehension the answers are not only at different levels of granularity (long and short), but also of richer types (including no answer, yes no, single span and multi span). In this paper, we target at this challenge and handle all answer types systematically. In particular, we propose a novel approach called Reflection Net which leverages a two step training procedure to identify the no answer and wrong answer cases. Extensive experiments are conducted to verify the effectiveness of our approach. At the time of paper writing (May. 20, 2020), our approach achieved the top 1 on both long and short answer leaderboard, with F1 scores of 77.2 and 64.1, respectively.


Complete Characterization of Incorrect Orthology Assignments in Best Match Graphs. Genome scale orthology assignments are usually based on reciprocal best matches. In the absence of horizontal gene transfer (HGT), every pair of orthologs forms a reciprocal best match. Incorrect orthology assignments therefore are always false positives in the reciprocal best match graph. We consider duplication loss scenarios and characterize unambiguous false positive (u fp) orthology assignments, that is, edges in the best match graphs (BMGs) that cannot correspond to orthologs for any gene tree that explains the BMG. Moreover, we provide a polynomial time algorithm to identify all u fp orthology assignments in a BMG. Simulations show that at least 75 of all incorrect orthology assignments can be detected in this manner. All results rely only on the structure of the BMGs and not on any a priori knowledge about underlying gene or species trees.


Explicit Formulas for h Deformed Structure Constants of Grassmannians. The Chern Schwartz MacPherson (CSM) and motivic Chern (mC) classes of Schubert cells in a Grassmannian are one parameter deformations of the fundamental classes of the Schubert varieties in cohomology and K theory respectively. Like the fundamental classes, the deformed classes form a basis for the cohomology and K theory ring of the Grassmannian. The purpose of this paper is to initiate the study of the structure constants associated to the basis CSM and mC classes in terms of the combinatorics of polynomials. First, we prove formulas for the structure constants of projective spaces that involve binomial coefficients. Then, using residue calculus on wieght functions, we describe the structure constants of projective spaces and certain related structure constants of 2 plane Grassmannians as coefficients of explicit polynomials in one variable. Finally, we propose an approach for obtaining more general results in this direction, and make conjectures generalizing the aformentioned results for projective spaces.


Design and Implementation of Curriculum System Based on Knowledge Graph. With the fact that the knowledge in each field in university is keeping increasing, the number of university courses is becoming larger, and the content and curriculum system is becoming much more complicated than it used to be, which bring many inconveniences to the course arrangement and analysis. In this paper, we aim to construct a method to visualize all courses based on Google Knowledge Graph. By analysing the properties of the courses and their preceding requirements, we want to extract the relationship between the precursors and the successors, so as to build the knowledge graph of the curriculum system. Using the graph database Neo4j 7 as the core aspect for data storage and display for our new curriculum system will be our approach to implement our knowledge graph. Based on this graph, the venation relationship between courses can be clearly analysed, and some difficult information can be obtained, which can help to combine the outline of courses and the need to quickly query the venation information of courses.


The energy cascade at the turbulent non turbulent interface. Interscale energy transfers at the vicinity of the turbulent non turbulent interface are from small to large scales in directions close to the interface's tangent plane where motions are predominantly stretching, but from large to small scales in the other directions where motions are predominantly compressive and significantly correlated with square angular momentum. An important role in this predominance is played by the extreme compressive motions which can be significantly more likely than extreme stretching motions even where motions are on average stretching. The most intense interscale transfer rates and dissipation occur when the interface is as far as possible from the wake centreline.


Monodromy and birational geometry of O'Grady's sixfolds. We prove that the bimeromorphic class of a hyperk "ahler manifold deformation equivalent to O'Grady's six dimensional one is determined by the Hodge structure of its Beauville Bogomolov lattice by showing that the monodromy group is maximal. As applications, we give the structure for the K "ahler and the birational K "ahler cones in this deformation class and we prove that the existence of a square zero divisor implies the existence a rational lagrangian fibration with fixed fibre types.


Regularity of elliptic and parabolic systems. We show uniqueness of cylindrical blowups for mean curvature flow in all dimension and all codimension. Cylindrical singularities are known to be the most important they are the most prevalent in any codimension. Mean curvature flow in higher codimension is a nonlinear parabolic system where many of the methods used for hypersurfaces do not apply and uniqueness of cylindrical blowups remained a major open problem. Our results imply regularity of the singular set for the system.


Limit theory of combinatorial optimization for random geometric graphs. In the random geometric graph G(n,r n) , n vertices are placed randomly in Euclidean d space and edges are added between any pair of vertices distant at most r n from each other. We establish strong laws of large numbers (LLNs) for a large class of graph parameters, evaluated for G(n,r n) in the thermodynamic limit with nr n d const., and also in the dense limit with n r n d to infty , r n to 0 . Examples include domination number, independence number, clique covering number, eternal domination number and triangle packing number. The general theory is based on certain subadditivity and superadditivity properties, and also yields LLNs for other functionals such as the minimum weight for the travelling salesman, spanning tree, matching, bipartite matching and bipartite travelling salesman problems, for a general class of weight functions with at most polynomial growth of order d varepsilon , under thermodynamic scaling of the distance parameter.


Toward Autonomous Robotic Micro Suturing using Optical Coherence Tomography Calibration and Path Planning. Robotic automation has the potential to assist human surgeons in performing suturing tasks in microsurgery, and in order to do so a robot must be able to guide a needle with sub millimeter precision through soft tissue. This paper presents a robotic suturing system that uses 3D optical coherence tomography (OCT) system for imaging feedback. Calibration of the robot OCT and robot needle transforms, wound detection, keypoint identification, and path planning are all performed automatically. The calibration method handles pose uncertainty when the needle is grasped using a variant of iterative closest points. The path planner uses the identified wound shape to calculate needle entry and exit points to yield an evenly matched wound shape after closure. Experiments on tissue phantoms and animal tissue demonstrate that the system can pass a suture needle through wounds with 0.27 mm overall accuracy in achieving the planned entry and exit points.


Combinatorial relations on skew Schur and skew stable Grothendieck polynomials. We give a combinatorial expansion of the stable Grothendieck polynomials of skew Young diagrams in terms of skew Schur functions, using a new row insertion algorithm for set valued semistandard tableaux of skew shape. This expansion unifies some previous results it generalizes a combinatorial formula obtained in earlier joint work with L 'opez Mart 'in and Teixidor i Bigas concerning Brill Noether curves, and it generalizes a 2000 formula of Lenart and a recent result of Reiner Tenner Yong to skew shapes. We also give an expansion in the other direction expressing skew Schur functions in terms of skew Grothendieck polynomials.


Streaming Transformations of Infinite Ordered Data Words. In this paper, we define streaming register transducer (SRT), a one way, letter to letter, transductional machine model for transformations of infinite data words whose data domain forms a linear group. Comparing with existing data word transducers, SRT are able to perform two extra operations on the registers a linear order based comparison and an additive update. We consider the transformations that can be defined by SRT and several subclasses of SRT. We investigate the expressiveness of these languages and several decision problems. Our main results include 1) SRT are closed under union and intersection, and add free SRT are also closed under composition 2) SRT definable transformations can be defined in monadic second order (MSO) logic, but are not comparable with first order (FO) definable transformations 3) the functionality problem is decidable for add free SRT, the reactivity problem and inclusion problem are decidable for deterministic add free SRT, but none of these problems is decidable in general for SRT.


Early Disease Diagnosis for Rice Crop. Many existing techniques provide automatic estimation of crop damage due to various diseases. However, early detection can prevent or reduce the extend of damage itself. The limited performance of existing techniques in early detection is lack of localized information. We instead propose a dataset with annotations for each diseased segment in each image. Unlike existing approaches, instead of classifying images into either healthy or diseased, we propose to provide localized classification for each segment of an images. Our method is based on Mask RCNN and provides location as well as extend of infected regions on the plant. Thus the extend of damage on the crop can be estimated. Our method has obtained overall 87.6 accuracy on the proposed dataset as compared to 58.4 obtained without incorporating localized information.


Multiatlas Calibration of Biophysical Brain Tumor Growth Models with Mass Effect. We present a 3D fully automatic method for the calibration of partial differential equation (PDE) models of glioblastoma (GBM) growth with mass effect, the deformation of brain tissue due to the tumor. We quantify the mass effect, tumor proliferation, tumor migration, and the localized tumor initial condition from a single multiparameteric Magnetic Resonance Imaging (mpMRI) patient scan. The PDE is a reaction advection diffusion partial differential equation coupled with linear elasticity equations to capture mass effect. The single scan calibration model is notoriously difficult because the precancerous (healthy) brain anatomy is unknown. To solve this inherently ill posed and ill conditioned optimization problem, we introduce a novel inversion scheme that uses multiple brain atlases as proxies for the healthy precancer patient brain resulting in robust and reliable parameter estimation. We apply our method on both synthetic and clinical datasets representative of the heterogeneous spatial landscape typically observed in glioblastomas to demonstrate the validity and performance of our methods. In the synthetic data, we report calibration errors (due to the ill posedness and our solution scheme) in the 10 20 range. In the clinical data, we report good quantitative agreement with the observed tumor and qualitative agreement with the mass effect (for which we do not have a ground truth). Our method uses a minimal set of parameters and provides both global and local quantitative measures of tumor infiltration and mass effect.


Evaluating Online Public Sentiments towards China A Case Study of English and Chinese Twitter Discourse during the 2019 Chinese National Day. As the Internet gradually penetrates into people's daily lives and empowers everyone to demonstrate and exchange opinions and sentiments online, individual citizens are increasingly participating in the agenda setting of public affairs and the design and implementation of official policies. The current study describes an approach to analyze online public sentiments using social media data and provides an example of Twitter discourse during the 2019 Chinese National Day. Over 300,000 tweets were collected between Sept 30 and Oct 3, and a hybrid method of SVM and dictionary was applied to evaluate the sentiments of the collected tweets. This method avoids complex structures while yielding an average accuracy of over 96 in most classifiers used in the study. The results indicate alignment between the time of National Day celebration activities and the expressed sentiments revealed in both English and Chinese tweets, although the sentiments of the two languages tend to be in different directions. The sentiment of tweets also diverges from nation to nation, but is generally consistent with the country's official relations with China to varying degrees. The linguistic features of the tweets suggest different concerns for Twitter users who have different sentiments towards China. At last, possible directions for further studies are indicated.


Improved non adaptive algorithms for threshold group testing with a gap. The basic goal of threshold group testing is to identify up to d defective items among a population of n items, where d is usually much smaller than n . The outcome of a test on a subset of items is positive if the subset has at least u defective items, negative if it has up to ell defective items, where 0 leq ell u , and arbitrary otherwise. This is called threshold group testing. The parameter g u ell 1 is called textit the gap . In this paper, we focus on the case g 0 , i.e., threshold group testing with a gap. Note that the results presented here are also applicable to the case g 0 however, the results are not as efficient as those in related work. Currently, a few reported studies have investigated test designs and decoding algorithms for identifying defective items. Most of the previous studies have not been feasible because there are numerous constraints on their problem settings or the decoding complexities of their proposed schemes are relatively large. Therefore, it is compulsory to reduce the number of tests as well as the decoding complexity, i.e., the time for identifying the defective items, for achieving practical schemes. The work presented here makes five contributions. The first is a more accurate theorem for a non adaptive algorithm for threshold group testing proposed by Chen and Fu. The second is an improvement in the construction of disjunct matrices, which are the main tools for tackling (threshold) group testing and other tasks such as constructing cover free families or learning hidden graphs. The third and fourth contributions are a reduced exact upper bound on the number of tests and a reduced asymptotic bound on the decoding time for identifying defective items in a noisy setting on test outcomes. The fifth contribution is a simulation on the number of tests of the resulting improvements for previous work and the proposed theorems.


On the Stability Properties and the Optimization Landscape of Training Problems with Squared Loss for Neural Networks and General Nonlinear Conic Approximation Schemes. We study the optimization landscape and the stability properties of training problems with squared loss for neural networks and general nonlinear conic approximation schemes. It is demonstrated that, if a nonlinear conic approximation scheme is considered that is (in an appropriately defined sense) more expressive than a classical linear approximation approach and if there exist unrealizable label vectors, then a training problem with squared loss is necessarily unstable in the sense that its solution set depends discontinuously on the label vector in the training data. We further prove that the same effects that are responsible for these instability properties are also the reason for the emergence of saddle points and spurious local minima, which may be arbitrarily far away from global solutions, and that neither the instability of the training problem nor the existence of spurious local minima can, in general, be overcome by adding a regularization term to the objective function that penalizes the size of the parameters in the approximation scheme. The latter results are shown to be true regardless of whether the assumption of realizability is satisfied or not. We demonstrate that our analysis in particular applies to training problems for free knot interpolation schemes and deep and shallow neural networks with variable widths that involve an arbitrary mixture of various activation functions (e.g., binary, sigmoid, tanh, arctan, soft sign, ISRU, soft clip, SQNL, ReLU, leaky ReLU, soft plus, bent identity, SILU, ISRLU, and ELU). In summary, the findings of this paper illustrate that the improved approximation properties of neural networks and general nonlinear conic approximation instruments are linked in a direct and quantifiable way to undesirable properties of the optimization problems that have to be solved in order to train them.


Quasifolds, Diffeology and Noncommutative Geometry. After embedding the objects quasifolds into the category Diffeology , we associate a C agebra with every atlas of any quasifold, and show how different atlases give Morita equivalent algebras. This builds a new bridge between diffeology and noncommutative geometry (beginning with the today classical example of the irrational torus) which associates a Morita class of C algebras with a diffeomorphic class of quasifolds.


Zero Divisor Graphs of mathbb Z n , their products and D n . This paper is an endeavor to discuss some properties of zero divisor graphs of the ring mathbb Z n , the ring of integers modulo n . The zero divisor graph of a commutative ring R , is an undirected graph whose vertices are the nonzero zero divisors of R , where two distinct vertices are adjacent if their product is zero. The zero divisor graph of R is denoted by Gamma(R) . We discussed Gamma( mathbb Z n) 's by the attributes of completeness, k partite structure, complete k partite structure, regularity, chordality, gamma beta perfectness, simplicial vertices. The clique number for arbitrary Gamma( mathbb Z n) was also found. This work also explores related attributes of finite products Gamma( mathbb Z n 1 times cdots times mathbb Z n k ) , seeking to extend certain results to the product rings. We find all Gamma( mathbb Z n 1 times cdots times mathbb Z n k ) that are perfect. Likewise, a lower bound of clique number of Gamma( mathbb Z m times mathbb Z n) was found. Later, in this paper we discuss some properties of the zero divisor graph of the poset D n , the set of positive divisors of a positive integer n partially ordered by divisibility.


Automatic Design of Artificial Neural Networks for Gamma Ray Detection. The goal of this work is to investigate the possibility of improving current gamma hadron discrimination based on their shower patterns recorded on the ground. To this end we propose the use of Convolutional Neural Networks (CNNs) for their ability to distinguish patterns based on automatically designed features. In order to promote the creation of CNNs that properly uncover the hidden patterns in the data, and at same time avoid the burden of hand crafting the topology and learning hyper parameters we resort to NeuroEvolution in particular we use Fast DENSER , a variant of Deep Evolutionary Network Structured Representation. The results show that the best CNN generated by Fast DENSER improves by a factor of 2 when compared with the results reported by classic statistical approaches. Additionally, we experiment ensembling the 10 best generated CNNs, one from each of the evolutionary runs the ensemble leads to an improvement by a factor of 2.3. These results show that it is possible to improve the gamma hadron discrimination based on CNNs that are automatically generated and are trained with instances of the ground impact patterns.


Continued fractions, the Chen Stein method and extreme value theory. In this work, we deal with extreme value theory in the context of continued fractions using techniques from probability theory, ergodic theory and real analysis. We give an upper bound for the rate of convergence in the Doeblin Iosifescu asymptotics for the exceedances of digits obtained from the regular continued fraction expansion of a number chosen randomly from (0,1) according to the Gauss measure. As a consequence, we significantly improve the best known upper bound on the rate of convergence of the maxima in this case. We observe that the asymptotics of order statistics and the extremal point process can also be investigated using our methods.


Performance evaluation of thin active edge planar sensors for the CLIC vertex detector. Thin planar silicon sensors with a pitch of 55um, active edge and various guard ring layouts are investigated, using two dimensional finite element T CAD simulations. The simulation results have been compared to experimental data, and an overall good agreement is observed. It is demonstrated that 50um thin planar silicon sensors with active edge with floating guard ring or without guard ring can be operated fully efficiently up to the physical edge of the sensor. The simulation findings are used to identify suitable sensor designs for application in the high precision vertex detector of the future CLIC linear e e collider.


Reductivity properties over an affine base. When the base ring is not a field, power reductivity of a group scheme is a basic notion, intimately tied with finite generation of subrings of invariants. Geometric reductivity is weaker and less pertinent in this context. We give a survey of these properties and their connections.


Threats and Corrective Measures for IoT Security with Observance of Cybercrime A Survey. Internet of Things (IoT) is the utmost assuring framework to facilitate human life with quality and comfort. IoT has contributed significantly to numerous application areas. The stormy expansion of smart devices and their credence for data transfer using wireless mechanics boosts their susceptibility to cyber attacks. Consequently, the rate of cybercrime is increasing day by day. Hence, the study of IoT security threats and possible corrective measures can benefit the researchers to identify appropriate solutions to deal with various challenges in cybercrime investigation. IoT forensics plays a vital role in cybercrime investigations. This review paper presents an overview of the IoT framework consisting of IoT architecture, protocols, and technologies. Various security issues at each layer and corrective measures are also discussed in detail. This paper also presents the role of IoT forensics in cybercrime investigation in various domains like smart homes, smart cities, automated vehicles, healthcare, etc. Along with the role of advanced technologies like Artificial Intelligence, Machine Learning, Cloud computing, Edge computing, Fog computing, and Blockchain technology in cybercrime investigation are also discussed. At last, various open research challenges in IoT to assist cybercrime investigation are explained, which provide a new direction for further research.


VAE WGAN Based Image Representation Learning For Pose Preserving Seamless Identity Replacement In Facial Images. We present a novel variational generative adversarial network (VGAN) based on Wasserstein loss to learn a latent representation from a face image that is invariant to identity but preserves head pose information. This facilitates synthesis of a realistic face image with the same head pose as a given input image, but with a different identity. One application of this network is in privacy sensitive scenarios after identity replacement in an image, utility, such as head pose, can still be recovered. Extensive experimental validation on synthetic and real human face image datasets performed under 3 threat scenarios confirms the ability of the proposed network to preserve head pose of the input image, mask the input identity, and synthesize a good quality realistic face image of a desired identity. We also show that our network can be used to perform pose preserving identity morphing and identity preserving pose morphing. The proposed method improves over a recent state of the art method in terms of quantitative metrics as well as synthesized image quality.


Teaching Interactive Proofs to Mathematicians. This work discusses an approach to teach to mathematicians the importance and effectiveness of the application of Interactive Theorem Proving tools in their specific fields of interest. The approach aims to motivate the use of such tools through short courses. In particular, it is discussed how, using as case of study algebraic notions and properties, the use of the proof assistant Prototype Verification System PVS is promoted to interest mathematicians in the development of their mechanized proofs.