SynCoLFinGer Synthetic Contactless Fingerprint Generator. We present the first method for synthetic generation of contactless fingerprint images, referred to as SynCoLFinGer. To this end, the constituent components of contactless fingerprint images regarding capturing, subject characteristics, and environmental influences are modeled and applied to a synthetically generated ridge pattern using the SFinGe algorithm. The proposed method is able to generate different synthetic samples corresponding to a single finger and it can be parameterized to generate contactless fingerprint images of various quality levels. The resemblance of the synthetically generated contactless fingerprints to real fingerprints is confirmed by evaluating biometric sample quality using an adapted NFIQ 2.0 algorithm and biometric utility using a state of the art contactless fingerprint recognition system.


Carrier Envelope Phase Controlled Electron Injection into a Laser Wakefield Accelerator. Single cycle laser pulse propagating inside a plasma causes controllable asymmetric plasma electron expulsion from laser according to laser carrier envelope phase (CEP) and forms an oscillating plasma bubble. Bubble's transverse wakefield is modified, exhibiting periodic modulation. Injection scheme for a laser wakefield accelerator combining a single cycle low frequency laser pulse and a many cycle high frequency laser pulse is proposed. The co propagating laser pulses form a transversely oscillating wakefield which efficiently traps and accelerates electrons from background plasma. By tuning the initial CEP of the single cycle laser pulse, injection dynamics can be modified independently of the many cycle pulse, enabling control of electron bunches' spatial profile.


EmailSum Abstractive Email Thread Summarization. Recent years have brought about an interest in the challenging task of summarizing conversation threads (meetings, online discussions, etc.). Such summaries help analysis of the long text to quickly catch up with the decisions made and thus improve our work or communication efficiency. To spur research in thread summarization, we have developed an abstractive Email Thread Summarization (EmailSum) dataset, which contains human annotated short ( 30 words) and long ( 100 words) summaries of 2549 email threads (each containing 3 to 10 emails) over a wide variety of topics. We perform a comprehensive empirical study to explore different summarization techniques (including extractive and abstractive methods, single document and hierarchical models, as well as transfer and semisupervised learning) and conduct human evaluations on both short and long summary generation tasks. Our results reveal the key challenges of current abstractive summarization models in this task, such as understanding the sender's intent and identifying the roles of sender and receiver. Furthermore, we find that widely used automatic evaluation metrics (ROUGE, BERTScore) are weakly correlated with human judgments on this email thread summarization task. Hence, we emphasize the importance of human evaluation and the development of better metrics by the community. Our code and summary data have been made available at https github.com ZhangShiyue EmailSum


Response of the low pressure hot filament discharge plasma to a positively biased auxiliary disk electrode. In steady state, the plasma loss rate to the chamber wall is balanced by the ionization rate in the hot filament discharges. This balance in the loss rate and ionization rate maintains the quasi neutrality of the bulk plasma. In this report, we have studied the properties of bulk plasma in the presence of an auxiliary (additional) biased metal disk, which is working as a sink, in low pressure helium plasma. A single Langmuir probe and emissive probe are used to characterize the plasma for various biases (positive and negative) to the metal disk, which was placed along the discharge axis inside the plasma. It is observed that only a positively biased disk increases the plasma potential, electron temperature, and plasma density. Moreover, the plasma parameters remain unaltered when the disk is negatively biased. The observed results for two different sized positively metal disks are compared with an available theoretical model and found an opposite behavior of plasma density variation with the disk bias voltages at given discharge condition. The role of the primary energetic electron population in determining the plasma parameters is discussed. These experimental results are qualitatively explained on the basis of electrostatic confinement arising due to the loss of electrons to a biased metal disk electrode.


The Exploitation of Distance Distributions for Clustering. Although distance measures are used in many machine learning algorithms, the literature on the context independent selection and evaluation of distance measures is limited in the sense that prior knowledge is used. In cluster analysis, current studies evaluate the choice of distance measure after applying unsupervised methods based on error probabilities, implicitly setting the goal of reproducing predefined partitions in data. Such studies use clusters of data that are often based on the context of the data as well as the custom goal of the specific study. Depending on the data context, different properties for distance distributions are judged to be relevant for appropriate distance selection. However, if cluster analysis is based on the task of finding similar partitions of data, then the intrapartition distances should be smaller than the interpartition distances. By systematically investigating this specification using distribution analysis through a mirrored density plot, it is shown that multimodal distance distributions are preferable in cluster analysis. As a consequence, it is advantageous to model distance distributions with Gaussian mixtures prior to the evaluation phase of unsupervised methods. Experiments are performed on several artificial datasets and natural datasets for the task of clustering.


On the Safety of Conversational Models Taxonomy, Dataset, and Benchmark. Dialogue safety problems severely limit the real world deployment of neural conversational models and have attracted great research interests recently. However, dialogue safety problems remain under defined and the corresponding dataset is scarce. We propose a taxonomy for dialogue safety specifically designed to capture unsafe behaviors in human bot dialogue settings, with focuses on context sensitive unsafety, which is under explored in prior works. To spur research in this direction, we compile DiaSafety, a dataset with rich context sensitive unsafe examples. Experiments show that existing safety guarding tools fail severely on our dataset. As a remedy, we train a dialogue safety classifier to provide a strong baseline for context sensitive dialogue unsafety detection. With our classifier, we perform safety evaluations on popular conversational models and show that existing dialogue systems still exhibit concerning context sensitive safety problems.


Optimizing Consensus based Multi target Tracking with Multiagent Rollout Control Policies. This paper considers a multiagent, connected, robotic fleet where the primary functionality of the agents is sensing. A distributed multi sensor control strategy maximizes the value of the collective sensing capability of the fleet, using an information driven approach. Each agent individually performs sensor processing (Kalman Filtering and Joint Probabilistic Data Association) to identify trajectories (and associated distributions). Using communications with its neighbors the agents enhance the prediction of the trajectories using a Consensus of Information approach that iteratively calculates the Kullback Leibler average of trajectory distributions, enabling the calculation of the value of the collective information for the fleet. The dynamics of the agents, the evolution of the identified trajectories for each agent, and the dynamics of individual observed objects are captured as a Partially Observable Markov Decision Process (POMDP). Using this POMDP and applying rollout with receding horizon control, an optimized non myopic control policy that maximizes the collective fleet information value is synthesized. Simulations are performed for a scenario with three heterogeneous UAVs performing coordinated target tracking that illustrate the proposed methodology and compare the centralized approach with a contemporary sequential multiagent distributed decision technique.


Localizable sets and the localization of a ring at a localizable set. The concepts of localizable set, localization of a ring and a module at a localizable set are introduced and studied. Localizable sets are generalization of Ore sets and denominator sets, and the localization of a ring module at a localizable set is a generalization of localization of a ring module at a denominator set. For a semiprime left Goldie ring, it is proven that the set of maximal left localizable sets that contain all regular elements is equal to the set of maximal left denominator sets (and they are explicitly described). For a semiprime Goldie ring, it is proven that the following five sets coincide the maximal Ore sets, the maximal denominator sets, the maximal left or right or two sided localizable sets that contain all regular elements (and they are explicitly described).


Longitudinal change in language behaviour during protests A case study of Euromaidan in Ukraine. In the last decade, online social media has become the primary platform for protesters to organize and express their agenda in various parts of the world. Nevertheless, scholars still debate whether online tools induce offline protests or facilitate them. Unfortunately, studies of protests often lack panel data and cannot address how particular users change their behaviour over time in line with the protest agenda. To this end, we analyze a new dataset of the Facebook page EuroMaydan that was explicitly created to facilitate the protest in Ukraine from November 2013 to February 2014. Moreover, our analysis follows this page even after the end of the protest till June 2014. In total, the dataset includes 26,631 posts and 1,470,593 comments that were generated by 124,790 users during and after the protests. We use this panel data to test how particular users switch between the two most popular languages of this page Ukrainian and Russian. Previous studies have puzzled with language behaviour during the Ukrainian protest. Although researchers expected to see more Ukrainian language due to national mobilization, studies discovered that Ukrainian protesters frequently used Russian, especially after the end of the protest. A hypothesis was suggested that protesters use language strategically depending on circumstances (e.g., to maximize outreach). However, previous studies relied on aggregated data and did not explore the within subject variation of language behaviour. Our study adds to this scholarship by adding a longitudinal analysis of language behaviour. Considering the broader contribution of this paper, we add to the literature on protests by validating previous findings derived from surveys that activists change their behaviour to reflect prior preferences and situational goals rather than modify their preferences.


Efficient Fast Multipole Accelerated Boundary Elements via Recursive Computation of Multipole Expansions of Integrals. In boundary element methods (BEM) in mathbb R 3 , matrix elements and right hand sides are typically computed via integration over line, triangle and tetrahedral volume elements. When the problem size gets large, the resulting linear systems are often solved iteratively via Krylov methods, with fast multipole methods (FMM) used to accelerate the matrix vector products needed. The integrals are often computed via numerical or analytical quadrature. When FMM acceleration is used, most entries of the matrix never need be computed explicitly they are only needed in terms of their contribution to the multipole expansion coefficients. Furthermore, the two parts of this resulting algorithm the integration and the FMM matrix vector product are both approximate, and their errors have to be matched to avoid wasteful computations, or poorly controlled error. We propose a new fast method for generation of multipole expansion coefficients for the fields produced by the integration of the single and double layer potentials on surface triangles charge distributions over line segments and regular functions over tetrahedra in the volume so that the overall method is well integrated into the FMM, with controlled error. The method is based on recursive computations of the multipole moments for O(1) cost per moment with a low asymptotic constant. The method is developed for the Laplace Green's function in mathbb R 3 . The derived recursions are tested both for accuracy and performance.


Challenges for Optical Flow Estimates in Elastography. In this paper, we consider visualization of displacement fields via optical flow methods in elastographic experiments consisting of a static compression of a sample. We propose an elastographic optical flow method (EOFM) which takes into account experimental constraints, such as appropriate boundary conditions, the use of speckle information, as well as the inclusion of structural information derived from knowledge of the background material. We present numerical results based on both simulated and experimental data from an elastography experiment in order to demonstrate the relevance of our proposed approach.


Contrastive Spatial Reasoning on Multi View Line Drawings. Spatial reasoning on multi view line drawings by state of the art supervised deep networks is recently shown with puzzling low performances on the SPARE3D dataset. To study the reason behind the low performance and to further our understandings of these tasks, we design controlled experiments on both input data and network designs. Guided by the hindsight from these experiment results, we propose a simple contrastive learning approach along with other network modifications to improve the baseline performance. Our approach uses a self supervised binary classification network to compare the line drawing differences between various views of any two similar 3D objects. It enables deep networks to effectively learn detail sensitive yet view invariant line drawing representations of 3D objects. Experiments show that our method could significantly increase the baseline performance in SPARE3D, while some popular self supervised learning methods cannot.


Nonlinear Stability of MHD Contact Discontinuities with Surface Tension. We consider the motion of two inviscid, compressible, and electrically conducting fluids separated by an interface across which there is no fluid flow in the presence of surface tension. The magnetic field is supposed to be nowhere tangential to the interface. This leads to the characteristic free boundary problem for contact discontinuities with surface tension in three dimensional ideal compressible magnetohydrodynamics (MHD). We prove the nonlinear structural stability of MHD contact discontinuities with surface tension in Sobolev spaces by a modified Nash Moser iteration scheme. The main ingredient of our proof is deriving the resolution and tame estimate of the linearized problem in usual Sobolev spaces of sufficiently large regularity. In particular, for solving the linearized problem, we introduce a suitable regularization that preserves the transport type structure for the linearized entropy and divergence of the magnetic field.


Improving Distantly Supervised Relation Extraction through BERT based Label Instance Embeddings. Distantly supervised relation extraction (RE) is an effective method to scale RE to large corpora but suffers from noisy labels. Existing approaches try to alleviate noise through multi instance learning and by providing additional information, but manage to recognize mainly the top frequent relations, neglecting those in the long tail. We propose REDSandT (Relation Extraction with Distant Supervision and Transformers), a novel distantly supervised transformer based RE method, that manages to capture a wider set of relations through highly informative instance and label embeddings for RE, by exploiting BERT's pre trained model, and the relationship between labels and entities, respectively. We guide REDSandT to focus solely on relational tokens by fine tuning BERT on a structured input, including the sub tree connecting an entity pair and the entities' types. Using the extracted informative vectors, we shape label embeddings, which we also use as attention mechanism over instances to further reduce noise. Finally, we represent sentences by concatenating relation and instance embeddings. Experiments in the NYT 10 dataset show that REDSandT captures a broader set of relations with higher confidence, achieving state of the art AUC (0.424).


Acousto optic Ptychography. Acousto optic imaging (AOI) enables optical contrast imaging deep inside scattering samples via localized ultrasound modulation of scattered light. While AOI allows optical investigations at depths, its imaging resolution is inherently limited by the ultrasound wavelength, prohibiting microscopic investigations. Here, we propose a novel computational imaging approach that allows to achieve optical diffraction limited imaging using a conventional AOI system. We achieve this by extracting diffraction limited imaging information from 'memory effect' speckle correlations in the conventionally detected ultrasound modulated scattered light fields. Specifically, we identify that since speckle correlations allow to estimate the Fourier magnitude of the field inside the ultrasound focus, scanning the ultrasound focus enables robust diffraction limited reconstruction of extended objects using ptychography, i.e. we exploit the ultrasound focus as the scanned spatial gate 'probe' required for ptychographic phase retrieval. Moreover, we exploit the short speckle decorrelation time in dynamic media, which is usually considered a hurdle for wavefront shaping based approaches, for improved ptychographic reconstruction. We experimentally demonstrate non invasive imaging of targets that extend well beyond the memory effect range, with a 40 times resolution improvement over conventional AOI, surpassing the performance of state of the art approaches.


Atomic Level Features for Kinetic Monte Carlo Models of Complex Chemistry from Molecular Dynamics Simulations. The high computational cost of evaluating atomic interactions recently motivated the development of computationally inexpensive kinetic models, which can be parametrized from MD simulations of complex chemistry of thousands of species or other processes and accelerate the prediction of the chemical evolution by up to four order of magnitude. Such models go beyond the commonly employed potential energy surface fitting methods in that they are aimed purely at describing kinetic effects. So far, such kinetic models utilize molecular descriptions of reactions and have been constrained to only reproduce molecules previously observed in MD simulations. Therefore, these descriptions fail to predict the reactivity of unobserved molecules, for example in the case of large molecules or solids. Here we propose a new approach for the extraction of reaction mechanisms and reaction rates from MD simulations, namely the use of atomic level features. Using the complex chemical network of hydrocarbon pyrolysis as example, it is demonstrated that kinetic models built using atomic features are able to explore chemical reaction pathways never observed in the MD simulations used to parametrize them. Atomic level features are shown to construct reaction mechanisms and estimate reaction rates of unknown molecular species from elementary atomic events. Through comparisons of the model ability to extrapolate to longer simulation timescales and different chemical compositions than the ones used for parameterization, it is demonstrated that kinetic models employing atomic features retain the same level of accuracy and transferability as the use of features based on molecular species, while being more compact and parametrized with less data. We also find that atomic features can better describe the formation of large molecules enabling the simultaneous description of small molecules and condensed phases.


Knowledge Distillation By Sparse Representation Matching. Knowledge Distillation refers to a class of methods that transfers the knowledge from a teacher network to a student network. In this paper, we propose Sparse Representation Matching (SRM), a method to transfer intermediate knowledge obtained from one Convolutional Neural Network (CNN) to another by utilizing sparse representation learning. SRM first extracts sparse representations of the hidden features of the teacher CNN, which are then used to generate both pixel level and image level labels for training intermediate feature maps of the student network. We formulate SRM as a neural processing block, which can be efficiently optimized using stochastic gradient descent and integrated into any CNN in a plug and play manner. Our experiments demonstrate that SRM is robust to architectural differences between the teacher and student networks, and outperforms other KD techniques across several datasets.


Local boundary feedback stabilization of a fuid structure interaction problem under Navier slip boundary conditions with time delay. We consider a fluid structure interaction system composed by a three dimensional viscous incompressible fluid and an elastic plate located on the upper part of the fluid boundary. The fluid motion is governed by the Navier Stokes system whereas the structure displacement satisfies the damped plate equation. We consider here the Navier slip boundary conditions. The main result of this work is the feedback stabilization of the strong solutions of the corresponding system around a stationary state for any exponential decay rate by means of a time delayed control localized on the fixed fluid boundary. The strategy here is based on the Fattorini Hautus criterion. Then, the main tool in this work is to show the unique continuation property of the associate solution to the adjoint system.


A Tactile Sensing Foot for Single Robot Leg Stabilization. Tactile sensing on human feet is crucial for motion control, however, has not been explored in robotic counterparts. This work is dedicated to endowing tactile sensing to legged robot's feet and showing that a single legged robot can be stabilized with only tactile sensing signals from its foot. We propose a robot leg with a novel vision based tactile sensing foot system and implement a processing algorithm to extract contact information for feedback control in stabilizing tasks. A pipeline to convert images of the foot skin into high level contact information using a deep learning framework is presented. The leg was quantitatively evaluated in a stabilization task on a tilting surface to show that the tactile foot was able to estimate both the surface tilting angle and the foot poses. Feasibility and effectiveness of the tactile system were investigated qualitatively in comparison with conventional single legged robotic systems using inertia measurement units (IMU). Experiments demonstrate the capability of vision based tactile sensors in assisting legged robots to maintain stability on unknown terrains and the potential for regulating more complex motions for humanoid robots.


Investigating Personalisation Privacy Paradox Among Young Irish Consumers A Case of Smart Speakers. Personalisation refers to the catering of online services to match consumer's interests. In order to provide personalised service, companies gather data on the consumer. In this situation, consumers must navigate a trade off when they want the benefits of personalised information and services while simultaneously wish to protect themselves from privacy risks. However, despite many individuals claiming that privacy is an essential right to them, they behave contradictorily in online environments by not engaging in privacy preserving behaviours. This paradox is known as the personalisation privacy Paradox. The personalisation privacy paradox has been studied in many different scenarios, ranging from location based advertising to online shopping. The objective of this study is to investigate the personalisation privacy paradox in the context of smart speakers. Based on an exploratory study with young Irish consumers, this study suggests a difference between the users and non users of smart speakers in terms of their perception of privacy risks and corresponding privacy preserving behaviours. In so doing, it also explains the existence of the personalisation privacy paradox and offers insights for further research.


M2FN Multi step Modality Fusion for Advertisement Image Assessment. Assessing advertisements, specifically on the basis of user preferences and ad quality, is crucial to the marketing industry. Although recent studies have attempted to use deep neural networks for this purpose, these studies have not utilized image related auxiliary attributes, which include embedded text frequently found in ad images. We, therefore, investigated the influence of these attributes on ad image preferences. First, we analyzed large scale real world ad log data and, based on our findings, proposed a novel multi step modality fusion network (M2FN) that determines advertising images likely to appeal to user preferences. Our method utilizes auxiliary attributes through multiple steps in the network, which include conditional batch normalization based low level fusion and attention based high level fusion. We verified M2FN on the AVA dataset, which is widely used for aesthetic image assessment, and then demonstrated that M2FN can achieve state of the art performance in preference prediction using a real world ad dataset with rich auxiliary attributes.


Switched server systems whose parameters are normal numbers in base 4. Switched server systems are mathematical models of manufacturing, traffic and queueing systems. Recently, it was proved in (Eur. J. Appl. Math. 31(4) (2020), pp. 682 708) that there exist switched server systems with 3 buffers (tanks), a server, filling rates rho 1 rho 2 rho 3 frac13 and parameters d 1, d 2, d 3 0 whose global attractor is a fractal set. In this article, we prove that if x 1 in (0, frac13) , x 2 in ( frac13, frac23) and x 3 in ( frac23,1) are rational numbers or normal numbers in base 4 (or more generally, rich numbers to base 4 ) and (d 1,d 2,d 3) is the vector with positive entries satisfying d 1 frac 1 3x 1 1, quad d 2 frac 2 3x 2 3x 2 1 , quad d 3 frac 3 3x 3 3x 3 2 , then the corresponding switched server has no fractal attractor. More precisely, the Poincar 'e map of the system has a finite global attractor. The approach we use is to study the topological dynamics of a family of piecewise lambda affine contractions that includes the Poincar 'e map of the switched server system as a particular case.


On the best constant in fractional p Poincar 'e inequalities on cylindrical domains. We investigate the best constants for the regional fractional p Poincar 'e inequality and the fractional p Poincar 'e inequality in cylindrical domains. For the special case p 2 , the result was already known due to Chowdhury Csat ' o Roy Sk Study of fractional Poincar ' e inequalities on unbounded domains, Discrete Contin. Dyn. Syst., 41(6), 2021 . We addressed the asymptotic behaviour of the first eigenvalue of the nonlocal Dirichlet p Laplacian eigenvalue problem when the domain is becoming unbounded in several directions.


Finding Useful Predictions by Meta gradient Descent to Improve Decision making. In computational reinforcement learning, a growing body of work seeks to express an agent's model of the world through predictions about future sensations. In this manuscript we focus on predictions expressed as General Value Functions temporally extended estimates of the accumulation of a future signal. One challenge is determining from the infinitely many predictions that the agent could possibly make which might support decision making. In this work, we contribute a meta gradient descent method by which an agent can directly specify what predictions it learns, independent of designer instruction. To that end, we introduce a partially observable domain suited to this investigation. We then demonstrate that through interaction with the environment an agent can independently select predictions that resolve the partial observability, resulting in performance similar to expertly chosen value functions. By learning, rather than manually specifying these predictions, we enable the agent to identify useful predictions in a self supervised manner, taking a step towards truly autonomous systems.


An asymptotic preserving scheme for L ' e vy Fokker Planck equation with fractional diffusion limit. In this paper, we develop a numerical method for the L 'evy Fokker Planck equation with the fractional diffusive scaling. There are two main challenges. One comes from a two fold nonlocality, that is, the need to apply the fractional Laplacian operator to a power law decay distribution. The other arises from long time small mean free path scaling, which introduces stiffness to the equation. To resolve the first difficulty, we use a change of variable to convert the unbounded domain into a bounded one and then apply the Chebyshev polynomial based pseudo spectral method. To treat the multiple scales, we propose an asymptotic preserving scheme based on a novel micro macro decomposition that uses the structure of the test function in proving the fractional diffusion limit analytically. Finally, the efficiency and accuracy of our scheme are illustrated by a suite of numerical examples.


The voter model with a slow membrane. We introduce the voter model on the infinite lattice with a slow membrane and investigate its hydrodynamic behavior. The model is defined as follows a voter adopts one of its neighbors' opinion at rate one except for neighbors crossing the hyperplane x x 1 1 2 , where the rate is alpha N beta . Above, alpha 0, , beta geq 0 are two parameters and N is the scaling parameter. The hydrodynamic equation turns out to be heat equation with various boundary conditions depending on the value of beta . The proof is based on duality method.


Perfect Sampling for (Atomic) Lov 'asz Local Lemma. We give a Markov chain based perfect sampler for uniform sampling solutions of constraint satisfaction problems (CSP). Under some mild Lov 'asz local lemma conditions where each constraint of the CSP has a small number of forbidden local configurations, our algorithm is accurate and efficient it outputs a perfect uniform random solution and its expected running time is quasilinear in the number of variables. Prior to our work, perfect samplers are only shown to exist for CSPs under much more restrictive conditions (Guo, Jerrum, and Liu, JACM'19). Our algorithm has two components 1. A simple perfect sampling algorithm using bounding chains (Huber, STOC'98 Haggstrom and Nelander, Scandinavian Journal of Statistics'99). This sampler is efficient if each variable domain is small. 2. A simple but powerful state tensorization trick to reduce large domains to smaller ones. This trick is a generalization of state compression (Feng, He, and Yin, STOC'21). The crux of our analysis is a simple information percolation argument which allows us to achieve bounds even beyond current best approximate samplers (Jain, Pham, and Vuong, ArXiv'21). Previous related works either use intricate algorithms or need sophisticated analysis or even both. Thus we view the simplicity of both our algorithm and analysis as a strength of our work.


Difference sets disjoint from a subgroup II groups of order 4p 2 . We study finite groups G having a normal subgroup H and D subset G setminus H, D cap D 1 emptyset, such that the multiset xy 1 x,y in D has every non identity element occur the same number of times (such a D is called a it DRAD difference set ). We show that there are no such groups of order 4p 2 , where p is an odd prime.


A virtual element generalization on polygonal meshes of the Scott Vogelius finite element method for the 2 D Stokes problem. The Virtual Element Method (VEM) is a Galerkin approximation method that extends the Finite Element Method (FEM) to polytopal meshes. In this paper, we present a conforming formulation that generalizes the Scott Vogelius finite element method for the numerical approximation of the Stokes problem to polygonal meshes in the framework of the virtual element method. In particular, we consider a straightforward application of the virtual element approximation space for scalar elliptic problems to the vector case and approximate the pressure variable through discontinuous polynomials. We assess the effectiveness of the numerical approximation by investigating the convergence on a manufactured solution problem and a set of representative polygonal meshes. We numerically show that this formulation is convergent with optimal convergence rates except for the lowest order case on triangular meshes, where the method coincides with the P 1 P 0 Scott Vogelius scheme, and on square meshes, which are situations that are well known to be unstable.


Rapid Detection of Aircrafts in Satellite Imagery based on Deep Neural Networks. Object detection is one of the fundamental objectives in Applied Computer Vision. In some of the applications, object detection becomes very challenging such as in the case of satellite image processing. Satellite image processing has remained the focus of researchers in domains of Precision Agriculture, Climate Change, Disaster Management, etc. Therefore, object detection in satellite imagery is one of the most researched problems in this domain. This paper focuses on aircraft detection. in satellite imagery using deep learning techniques. In this paper, we used YOLO deep learning framework for aircraft detection. This method uses satellite images collected by different sources as learning for the model to perform detection. Object detection in satellite images is mostly complex because objects have many variations, types, poses, sizes, complex and dense background. YOLO has some limitations for small size objects (less than sim 32 pixels per object), therefore we upsample the prediction grid to reduce the coarseness of the model and to accurately detect the densely clustered objects. The improved model shows good accuracy and performance on different unknown images having small, rotating, and dense objects to meet the requirements in real time.


Stability analysis and error estimates of local discontinuous Galerkin method for convection diffusion equations on overlapping mesh with non periodic boundary conditions. A new local discontinuous Galerkin (LDG) method for convection diffusion equations on overlapping meshes with periodic boundary conditions was introduced in cite Overlap1 . With the new method, the primary variable u and the auxiliary variable p u x are solved on different meshes. In this paper, we will extend the idea to convection diffusion equations with non periodic boundary conditions, i.e. Neumann and Dirichlet boundary conditions. The main difference is to adjust the boundary cells. Moreover, we study the stability and suboptimal error estimates. Finally, numerical experiments are given to verify the theoretical findings.


Safety Metrics for Semantic Segmentation in Autonomous Driving. Within the context of autonomous driving, safety related metrics for deep neural networks have been widely studied for image classification and object detection. In this paper, we further consider safety aware correctness and robustness metrics specialized for semantic segmentation. The novelty of our proposal is to move beyond pixel level metrics Given two images with each having N pixels being class flipped, the designed metrics should, depending on the clustering of pixels being class flipped or the location of occurrence, reflect a different level of safety criticality. The result evaluated on an autonomous driving dataset demonstrates the validity and practicality of our proposed methodology.


HDR NeRF High Dynamic Range Neural Radiance Fields. We present High Dynamic Range Neural Radiance Fields (HDR NeRF) to recover an HDR radiance field from a set of low dynamic range (LDR) views with different exposures. Using the HDR NeRF, we are able to generate both novel HDR views and novel LDR views under different exposures. The key to our method is to model the physical imaging process, which dictates that the radiance of a scene point transforms to a pixel value in the LDR image with two implicit functions a radiance field and a tone mapper. The radiance field encodes the scene radiance (values vary from 0 to infty), which outputs the density and radiance of a ray by giving corresponding ray origin and ray direction. The tone mapper models the mapping process that a ray hitting on the camera sensor becomes a pixel value. The color of the ray is predicted by feeding the radiance and the corresponding exposure time into the tone mapper. We use the classic volume rendering technique to project the output radiance, colors, and densities into HDR and LDR images, while only the input LDR images are used as the supervision. We collect a new forward facing HDR dataset to evaluate the proposed method. Experimental results on synthetic and real world scenes validate that our method can not only accurately control the exposures of synthesized views but also render views with a high dynamic range.


Zero shot Node Classification with Decomposed Graph Prototype Network. Node classification is a central task in graph data analysis. Scarce or even no labeled data of emerging classes is a big challenge for existing methods. A natural question arises can we classify the nodes from those classes that have never been seen? In this paper, we study this zero shot node classification (ZNC) problem which has a two stage nature (1) acquiring high quality class semantic descriptions (CSDs) for knowledge transfer, and (2) designing a well generalized graph based learning model. For the first stage, we give a novel quantitative CSDs evaluation strategy based on estimating the real class relationships, so as to get the "best" CSDs in a completely automatic way. For the second stage, we propose a novel Decomposed Graph Prototype Network (DGPN) method, following the principles of locality and compositionality for zero shot model generalization. Finally, we conduct extensive experiments to demonstrate the effectiveness of our solutions.


What Taggers Fail to Learn, Parsers Need the Most. We present an error analysis of neural UPOS taggers to evaluate why using gold standard tags has such a large positive contribution to parsing performance while using predicted UPOS tags either harms performance or offers a negligible improvement. We evaluate what neural dependency parsers implicitly learn about word types and how this relates to the errors taggers make to explain the minimal impact using predicted tags has on parsers. We also present a short analysis on what contexts result in reductions in tagging performance. We then mask UPOS tags based on errors made by taggers to tease away the contribution of UPOS tags which taggers succeed and fail to classify correctly and the impact of tagging errors.


Thermal entropy based hesitant fuzzy linguistic term set analysis in energy efficient opportunistic clustering. Limited energy resources and sensor nodes adaptability with the surrounding environment play a significant role in the sustainable Wireless Sensor Networks. This paper proposes a novel, dynamic, self organizing opportunistic clustering using Hesitant Fuzzy Linguistic Term Analysis based Multi Criteria Decision Modeling methodology in order to overcome the CH decision making problems and network lifetime bottlenecks. The asynchronous sleep awake cycle strategy could be exploited to make an opportunistic connection between sensor nodes using opportunistic connection random graph. Every node in the network observe the node gain degree, energy welfare, relative thermal entropy, link connectivity, expected optimal hop, link quality factor etc. to form the criteria for Hesitant Fuzzy Linguistic Term Set. It makes the node to evaluate its current state and make the decision about the required action (CH, CM or relay). The simulation results reveal that our proposed scheme leads to an improvement in network lifetime, packet delivery ratio and overall energy consumption against existing benchmarks.


Comparing Text Representations A Theory Driven Approach. Much of the progress in contemporary NLP has come from learning representations, such as masked language model (MLM) contextual embeddings, that turn challenging problems into simple classification tasks. But how do we quantify and explain this effect? We adapt general tools from computational learning theory to fit the specific characteristics of text datasets and present a method to evaluate the compatibility between representations and tasks. Even though many tasks can be easily solved with simple bag of words (BOW) representations, BOW does poorly on hard natural language inference tasks. For one such task we find that BOW cannot distinguish between real and randomized labelings, while pre trained MLM representations show 72x greater distinction between real and random labelings than BOW. This method provides a calibrated, quantitative measure of the difficulty of a classification based NLP task, enabling comparisons between representations without requiring empirical evaluations that may be sensitive to initializations and hyperparameters. The method provides a fresh perspective on the patterns in a dataset and the alignment of those patterns with specific labels.


New relations on zeta and L functions. We prove new relations on zeta function at even arguments and Dirichlet L function at odd. The key idea is to make use of the Taylor series and partial fraction decomposition of cotangent and secant functions as we discuss in calculus and complex analysis.


Deceptive Logic Locking for Hardware Integrity Protection against Machine Learning Attacks. Logic locking has emerged as a prominent key driven technique to protect the integrity of integrated circuits. However, novel machine learning based attacks have recently been introduced to challenge the security foundations of locking schemes. These attacks are able to recover a significant percentage of the key without having access to an activated circuit. This paper address this issue through two focal points. First, we present a theoretical model to test locking schemes for key related structural leakage that can be exploited by machine learning. Second, based on the theoretical model, we introduce D MUX a deceptive multiplexer based logic locking scheme that is resilient against structure exploiting machine learning attacks. Through the design of D MUX, we uncover a major fallacy in existing multiplexer based locking schemes in the form of a structural analysis attack. Finally, an extensive cost evaluation of D MUX is presented. To the best of our knowledge, D MUX is the first machine learning resilient locking scheme capable of protecting against all known learning based attacks. Hereby, the presented work offers a starting point for the design and evaluation of future generation logic locking in the era of machine learning.


Sums of Reciprocals of Fractional Parts over Aligned Boxes. In this paper, we prove new upper bounds for sums of reciprocals of fractional parts over general aligned boxes, thus extending a previous result of the author concerning bounds for sums of reciprocals over symmetric boxes. These new upper bounds depend solely on the volume of the boxes, and not on their diameter. This generalisation relies a novel lattice point counting technique involving estimates for the higher successive minima of certain naturally arising lattices.


Backscatter Communication System With Dumb Diffusing Surface. Ambient backscatter communications have been identified for ultra low energy wireless communications. Indeed, a tag can send a message to a reader without emitting any wave and without battery, simply by backscattering the waves generated by a source. In the simplest implementation of such a system, the tag sends a binary message by oscillating between two states and the reader detects the bits by comparing the two distinct received powers. In this paper, for the first time, we propose to study an ambient backscatter communication system, in the presence of a diffusing surface, a simple flat panel that diffuses in all directions. We establish the analytical closed form expression of the power contrast in the presence of the surface. We show that the diffusing surface improves the power contrast. Moreover our approach allows us to express the contrast to noise ratio, and therefore to establish the BER performance. Furthermore, we derive the optimum source transmit power for a given target power contrast. This makes it possible to quantify the amount of energy that can be saved at the source side, thanks to the diffusing surface.


Abnormal Behavior Detection Based on Target Analysis. Abnormal behavior detection in surveillance video is a pivotal part of the intelligent city. Most existing methods only consider how to detect anomalies, with less considering to explain the reason of the anomalies. We investigate an orthogonal perspective based on the reason of these abnormal behaviors. To this end, we propose a multivariate fusion method that analyzes each target through three branches object, action and motion. The object branch focuses on the appearance information, the motion branch focuses on the distribution of the motion features, and the action branch focuses on the action category of the target. The information that these branches focus on is different, and they can complement each other and jointly detect abnormal behavior. The final abnormal score can then be obtained by combining the abnormal scores of the three branches.


Lower tails via relative entropy. We show that the naive mean field approximation correctly predicts the leading term of the logarithmic lower tail probabilities for the number of copies of a given subgraph in G(n,p) and of arithmetic progressions of a given length in random subsets of the integers in the entire range of densities where the mean field approximation is viable. Our main technical result provides sufficient conditions on the maximum degrees of a uniform hypergraph mathcal H that guarantee that the logarithmic lower tail probabilities for the number of edges induced by a binomial random subset of the vertices of mathcal H can be well approximated by considering only product distributions. This may be interpreted as a weak, probabilistic version of the hypergraph container lemma that is applicable to all sparser than average (and not only independent) sets.


Finite element approximation of the Levi Civita connection and its curvature in two dimensions. We construct finite element approximations of the Levi Civita connection and its curvature on triangulations of oriented two dimensional manifolds. Our construction relies on the Regge finite elements, which are piecewise polynomial symmetric (0,2) tensor fields possessing single valued tangential tangential components along element interfaces. When used to discretize the Riemannian metric tensor, these piecewise polynomial tensor fields do not possess enough regularity to define connections and curvature in the classical sense, but we show how to make sense of these quantities in a distributional sense. We then show that these distributional quantities converge in certain dual Sobolev norms to their smooth counterparts under refinement of the triangulation. We also discuss projections of the distributional curvature and distributional connection onto piecewise polynomial finite element spaces. We show that the relevant projection operators commute with certain linearized differential operators, yielding a commutative diagram of differential complexes.


BDC Bounding Box Deep Calibration for High Performance Face Detection. Modern CNN based face detectors have achieved tremendous strides due to large annotated datasets. However, misaligned results with high detection confidence but low localization accuracy restrict the further improvement of detection performance. In this paper, we first generate detection results on training set itself. Surprisingly, a considerable part of them exist the same misalignment problem. Then, we carefully examine these misaligned cases and point out annotation inconsistency is the main reason. Finally, we propose a novel Bounding Box Deep Calibration (BDC) method to reasonably replace inconsistent annotations with model predicted bounding boxes and create a new annotation file for training set. Extensive experiments on WIDER FACE dataset show the effectiveness of BDC on improving models' precision and recall rate. Our simple and effective method provides a new direction for improving face detection. Source code is available at https github.com shiluo1990 BDC.


Survey Descent A Multipoint Generalization of Gradient Descent for Nonsmooth Optimization. For strongly convex objectives that are smooth, the classical theory of gradient descent ensures linear convergence relative to the number of gradient evaluations. An analogous nonsmooth theory is challenging even when the objective is smooth at every iterate, the corresponding local models are unstable, and traditional remedies need unpredictably many cutting planes. We instead propose a multipoint generalization of the gradient descent iteration for local optimization. While designed with general objectives in mind, we are motivated by a "max of smooth" model that captures subdifferential dimension at optimality. We prove linear convergence when the objective is itself max of smooth, and experiments suggest a more general phenomenon.


The propagation and decay of a coastal vortex on a shelf. A coastal eddy is modelled as a barotropic vortex propagating along a coastal shelf. If the vortex speed matches the phase speed of any coastal trapped shelf wave modes, a shelf wave wake is generated leading to a flux of energy from the vortex into the wave field. Using a simply shelf geometry, we determine analytic expressions for the wave wake and the leading order flux of wave energy. By considering the balance of energy between the vortex and wave field, this energy flux is then used to make analytic predictions for the evolution of the vortex speed and radius under the assumption that the vortex structure remains self similar. These predictions are examined in the asymptotic limit of small rotation rate and shelf slope and tested against numerical simulations. If the vortex speed does not match the phase speed of any shelf wave, steady vortex solutions are expected to exist. We present a numerical approach for finding these nonlinear solutions and examine the parameter dependence of their structure.


Description of longitudinal space charge effects in beams and plasma through dielectric permittivity. We develop a universal framework which allows quickly solve a wide class of problems for longitudinal space charge effects in beams and plasmas in cylindrical geometry. We introduce the longitudinal dielectric permittivity for the beam of charged particles, which describes its collective space charge response. The analyis yields an effective plasma frequency, which depends on the transverse geometry of the system. This dielectric permittivity mirrors the dielectric permittivity of plasma and matches the one dimensional (1D) expression once the transverse size of the beam is large. Several particle species can be included as additive terms describing susceptibility of each specie. The developed approach allows to study stability criteria for collective beam beam and beam plasma instabilities for arbitrary transverse distributions in particle densities.


Text2Event Controllable Sequence to Structure Generation for End to end Event Extraction. Event extraction is challenging due to the complex structure of event records and the semantic gap between text and event. Traditional methods usually extract event records by decomposing the complex structure prediction task into multiple subtasks. In this paper, we propose Text2Event, a sequence to structure generation paradigm that can directly extract events from the text in an end to end manner. Specifically, we design a sequence to structure network for unified event extraction, a constrained decoding algorithm for event knowledge injection during inference, and a curriculum learning algorithm for efficient model learning. Experimental results show that, by uniformly modeling all tasks in a single model and universally predicting different labels, our method can achieve competitive performance using only record level annotations in both supervised learning and transfer learning settings.


Decoupled Spatial Temporal Transformer for Video Inpainting. Video inpainting aims to fill the given spatiotemporal holes with realistic appearance but is still a challenging task even with prosperous deep learning approaches. Recent works introduce the promising Transformer architecture into deep video inpainting and achieve better performance. However, it still suffers from synthesizing blurry texture as well as huge computational cost. Towards this end, we propose a novel Decoupled Spatial Temporal Transformer (DSTT) for improving video inpainting with exceptional efficiency. Our proposed DSTT disentangles the task of learning spatial temporal attention into 2 sub tasks one is for attending temporal object movements on different frames at same spatial locations, which is achieved by temporally decoupled Transformer block, and the other is for attending similar background textures on same frame of all spatial positions, which is achieved by spatially decoupled Transformer block. The interweaving stack of such two blocks makes our proposed model attend background textures and moving objects more precisely, and thus the attended plausible and temporally coherent appearance can be propagated to fill the holes. In addition, a hierarchical encoder is adopted before the stack of Transformer blocks, for learning robust and hierarchical features that maintain multi level local spatial structure, resulting in the more representative token vectors. Seamless combination of these two novel designs forms a better spatial temporal attention scheme and our proposed model achieves better performance than state of the art video inpainting approaches with significant boosted efficiency.


Context gloss Augmentation for Improving Word Sense Disambiguation. The goal of Word Sense Disambiguation (WSD) is to identify the sense of a polysemous word in a specific context. Deep learning techniques using BERT have achieved very promising results in the field and different methods have been proposed to integrate structured knowledge to enhance performance. At the same time, an increasing number of data augmentation techniques have been proven to be useful for NLP tasks. Building upon previous works leveraging BERT and WordNet knowledge, we explore different data augmentation techniques on context gloss pairs to improve the performance of WSD. In our experiment, we show that both sentence level and word level augmentation methods are effective strategies for WSD. Also, we find out that performance can be improved by adding hypernyms' glosses obtained from a lexical knowledge base. We compare and analyze different context gloss augmentation techniques, and the results show that applying back translation on gloss performs the best.


Fair and Distributed Dynamic Optimal Transport for Resource Allocation over Networks. Optimal transport is a framework that facilitates the most efficient allocation of a limited amount of resources. However, the most efficient allocation scheme does not necessarily preserve the most fairness. In this paper, we establish a framework which explicitly considers the fairness of dynamic resource allocation over a network with heterogeneous participants. As computing the transport strategy in a centralized fashion requires significant computational resources, it is imperative to develop computationally light algorithm that can be applied to large scale problems. To this end, we develop a fully distributed algorithm for fair and dynamic optimal transport with provable convergence using alternating method of multipliers. In the designed algorithm, each corresponding pair of resource supplier and receiver compute their own solutions and update the transport schemes through negotiation iteratively which do not require a central planner. The distributed algorithm can yield a fair and efficient resource allocation mechanism over a network. We corroborate the obtained results through case studies.


Tell Me Why You Feel That Way Processing Compositional Dependency for Tree LSTM Aspect Sentiment Triplet Extraction (TASTE). Sentiment analysis has transitioned from classifying the sentiment of an entire sentence to providing the contextual information of what targets exist in a sentence, what sentiment the individual targets have, and what the causal words responsible for that sentiment are. However, this has led to elaborate requirements being placed on the datasets needed to train neural networks on the joint triplet task of determining an entity, its sentiment, and the causal words for that sentiment. Requiring this kind of data for training systems is problematic, as they suffer from stacking subjective annotations and domain over fitting leading to poor model generalisation when applied in new contexts. These problems are also likely to be compounded as we attempt to jointly determine additional contextual elements in the future. To mitigate these problems, we present a hybrid neural symbolic method utilising a Dependency Tree LSTM's compositional sentiment parse structure and complementary symbolic rules to correctly extract target sentiment cause triplets from sentences without the need for triplet training data. We show that this method has the potential to perform in line with state of the art approaches while also simplifying the data required and providing a degree of interpretability through the Tree LSTM.


Simple online and real time tracking with occlusion handling. Multiple object tracking is a challenging problem in computer vision due to difficulty in dealing with motion prediction, occlusion handling, and object re identification. Many recent algorithms use motion and appearance cues to overcome these challenges. But using appearance cues increases the computation cost notably and therefore the speed of the algorithm decreases significantly which makes them inappropriate for online applications. In contrast, there are algorithms that only use motion cues to increase speed, especially for online applications. But these algorithms cannot handle occlusions and re identify lost objects. In this paper, a novel online multiple object tracking algorithm is presented that only uses geometric cues of objects to tackle the occlusion and reidentification challenges simultaneously. As a result, it decreases the identity switch and fragmentation metrics. Experimental results show that the proposed algorithm could decrease identity switch by 40 and fragmentation by 28 compared to the state of the art online tracking algorithms. The code is also publicly available.


On non structural subtype entailment. We prove that the non structural subtype entailment problem for finite and regular type expressions is in PSPACE. In this way we close a decidability and complexity gap pending since 1996.


Equivariant geometric learning for digital rock physics estimating formation factor and effective permeability tensors from Morse graph. We present a SE(3) equivariant graph neural network (GNN) approach that directly predicting the formation factor and effective permeability from micro CT images. FFT solvers are established to compute both the formation factor and effective permeability, while the topology and geometry of the pore space are represented by a persistence based Morse graph. Together, they constitute the database for training, validating, and testing the neural networks. While the graph and Euclidean convolutional approaches both employ neural networks to generate low dimensional latent space to represent the features of the micro structures for forward predictions, the SE(3) equivariant neural network is found to generate more accurate predictions, especially when the training data is limited. Numerical experiments have also shown that the new SE(3) approach leads to predictions that fulfill the material frame indifference whereas the predictions from classical convolutional neural networks (CNN) may suffer from spurious dependence on the coordinate system of the training data. Comparisons among predictions inferred from training the CNN and those from graph convolutional neural networks (GNN) with and without the equivariant constraint indicate that the equivariant graph neural network seems to perform better than the CNN and GNN without enforcing equivariant constraints.


Interpretability of a Deep Learning Model in the Application of Cardiac MRI Segmentation with an ACDC Challenge Dataset. Cardiac Magnetic Resonance (CMR) is the most effective tool for the assessment and diagnosis of a heart condition, which malfunction is the world's leading cause of death. Software tools leveraging Artificial Intelligence already enhance radiologists and cardiologists in heart condition assessment but their lack of transparency is a problem. This project investigates if it is possible to discover concepts representative for different cardiac conditions from the deep network trained to segment crdiac structures Left Ventricle (LV), Right Ventricle (RV) and Myocardium (MYO), using explainability methods that enhances classification system by providing the score based values of qualitative concepts, along with the key performance metrics. With introduction of a need of explanations in GDPR explainability of AI systems is necessary. This study applies Discovering and Testing with Concept Activation Vectors (D TCAV), an interpretaibilty method to extract underlying features important for cardiac disease diagnosis from MRI data. The method provides a quantitative notion of concept importance for disease classified. In previous studies, the base method is applied to the classification of cardiac disease and provides clinically meaningful explanations for the predictions of a black box deep learning classifier. This study applies a method extending TCAV with a Discovering phase (D TCAV) to cardiac MRI analysis. The advantage of the D TCAV method over the base method is that it is user independent. The contribution of this study is a novel application of the explainability method D TCAV for cardiac MRI anlysis. D TCAV provides a shorter pre processing time for clinicians than the base method.


Microbial transport and dispersion in heterogeneous flows created by pillar arrays. Swimming microbes, such as bacteria and algae, live in diverse habitats including soil, ocean and human body which are characterized by structural boundaries and heterogeneous fluid flows. Although much progress has been made in understanding the Brownian ratchet motions of microbes and their hydrodynamic interactions with the wall over the last decades, the complex interplay between the structural and fluidic environment and the self propelling microbial motions still remains elusive. Here, we developed a Langevin model to simulate and investigate the transport and dispersion of microbes in periodic pillar arrays. By tracing the spatial temporal evolution of microbial trajectories, we show that the no slip pillar surface induces local fluid shear which redirects microbial movements. In the vicinity of pillars, looping trajectories and slowly moving speed lead to the transient accumulation and the sluggish transport of microbes. Comprehensive microscopic motions including the swinging, zigzag and adhesive motions are observed. In the pillar array of asymmetric pillar arrangements, the adjacent downstream pillars provide geometric guidance such that the microbial population has a deterministic shift perpendicular to the flow direction. Moreover, effects of the topology of the pillar array, fluid flowing properties and microbial properties on the microbial advection and dispersion in pillar arrays are quantitatively analyzed. These results highlight the importance of structures and flows on the microbial transport and distribution which should be carefully considered in the study of microbial processes.


COVID 19 Monitoring System using Social Distancing and Face Mask Detection on Surveillance video datasets. In the current times, the fear and danger of COVID 19 virus still stands large. Manual monitoring of social distancing norms is impractical with a large population moving about and with insufficient task force and resources to administer them. There is a need for a lightweight, robust and 24X7 video monitoring system that automates this process. This paper proposes a comprehensive and effective solution to perform person detection, social distancing violation detection, face detection and face mask classification using object detection, clustering and Convolution Neural Network (CNN) based binary classifier. For this, YOLOv3, Density based spatial clustering of applications with noise (DBSCAN), Dual Shot Face Detector (DSFD) and MobileNetV2 based binary classifier have been employed on surveillance video datasets. This paper also provides a comparative study of different face detection and face mask classification models. Finally, a video dataset labelling method is proposed along with the labelled video dataset to compensate for the lack of dataset in the community and is used for evaluation of the system. The system performance is evaluated in terms of accuracy, F1 score as well as the prediction time, which has to be low for practical applicability. The system performs with an accuracy of 91.2 and F1 score of 90.79 on the labelled video dataset and has an average prediction time of 7.12 seconds for 78 frames of a video.


Deep diffusion based forecasting of COVID 19 by incorporating network level mobility information. Modeling the spatiotemporal nature of the spread of infectious diseases can provide useful intuition in understanding the time varying aspect of the disease spread and the underlying complex spatial dependency observed in people's mobility patterns. Besides, the county level multiple related time series information can be leveraged to make a forecast on an individual time series. Adding to this challenge is the fact that real time data often deviates from the unimodal Gaussian distribution assumption and may show some complex mixed patterns. Motivated by this, we develop a deep learning based time series model for probabilistic forecasting called Auto regressive Mixed Density Dynamic Diffusion Network(ARM3Dnet), which considers both people's mobility and disease spread as a diffusion process on a dynamic directed graph. The Gaussian Mixture Model layer is implemented to consider the multimodal nature of the real time data while learning from multiple related time series. We show that our model, when trained with the best combination of dynamic covariate features and mixture components, can outperform both traditional statistical and deep learning models in forecasting the number of Covid 19 deaths and cases at the county level in the United States.


Multiple Output Channel Simulation and Lossy Compression of Probability Distributions. We consider a variant of the channel simulation problem with a single input and multiple outputs, where Alice observes a probability distribution P from a set of prescribed probability distributions mathbb mathcal P , and sends a prefix free codeword W to Bob to allow him to generate n i.i.d. random variables X 1 ,X 2, ...,X n which follow the distribution P . This can also be regarded as a lossy compression setting for probability distributions. This paper describes encoding schemes for three cases of P P is a distribution over positive integers, P is a continuous distribution over 0,1 with a non increasing pdf, and P is a continuous distribution over 0, infty) with a non increasing pdf. We show that the growth rate of the expected codeword length is sub linear in n when a power law bound is satisfied. An application of multiple outputs channel simulation is the compression of probability distributions.


Fair Comparison Quantifying Variance in Resultsfor Fine grained Visual Categorization. For the task of image classification, researchers work arduously to develop the next state of the art (SOTA) model, each bench marking their own performance against that of their predecessors and of their peers. Unfortunately, the metric used most frequently to describe a model's performance, average categorization accuracy, is often used in isolation. As the number of classes increases, such as in fine grained visual categorization (FGVC), the amount of information conveyed by average accuracy alone dwindles. While its most glaring weakness is its failure to describe the model's performance on a class by class basis, average accuracy also fails to describe how performance may vary from one trained model of the same architecture, on the same dataset, to another (both averaged across all categories and at the per class level). We first demonstrate the magnitude of these variations across models and across class distributions based on attributes of the data, comparing results on different visual domains and different per class image distributions, including long tailed distributions and few shot subsets. We then analyze the impact various FGVC methods have on overall and per class variance. From this analysis, we both highlight the importance of reporting and comparing methods based on information beyond overall accuracy, as well as point out techniques that mitigate variance in FGVC results.


Managing Blockchain Systems and Applications A Process Model for Blockchain Configurations. Blockchain is a radical innovation with a unique value proposition that shifts trust from institutions to algorithms. Still, the potential of blockchains remains elusive due to knowledge gaps between computer science research and socio economic research. Building on information technology governance literature and the theory of coevolution, this study develops a process model for blockchain configurations that captures blockchain capability dimensions and application areas. We demonstrate the applicability of the proposed blockchain configuration process model on four blockchain projects. The proposed blockchain configuration process model assists with the selection and configuration of blockchain systems based on a set of known requirements for a blockchain project. Our findings contribute to research by bridging knowledge gaps between computer science and socio economic research on blockchain. Specifically, we explore existing blockchain concepts and integrate them in a process model for blockchain configurations.


Symplectic resolutions of the quotient of R 2 by a non finite symplectic group. We construct smooth symplectic resolutions of the quotient of R 2 under some infinite discrete sub group of GL 2(R) preserving a log symplectic structure. This extends from algebraic geometry to smooth real differential geometry the Du Val symplectic resolution of C 2 G, with G subset SL 2(C) a finite group. The first of these infinite groups is G Z, identified to triangular matrices with spectrum 1 . Smooth functions on the quotient R 2 G come with a natural Poisson bracket, and R 2 Gis for an arbitrary k geq 1 set isomorphic to the real Du Val singular variety A 2k (x,y,z) in R 3 , x 2 y 2 z 2k . We show that each one of the usual minimal resolutions of these Du Val varieties are symplectic resolutions of R 2 G. The same holds for G' Z rtimes Z 2Z (identified to triangular matrices with spectrum pm 1 ), with the upper half of D 2k 1 playing the role of A 2k .


Transmission of electromagnetic waves through nonlinear optical layers. The excitation of soliton states in optical layers exhibiting Kerr nonlinearities is theoretically investigated. The optical transmission coefficient is obtained as a function of the nonlinearity power of an incident monochromatic electromagnetic wave polarized in the transverse electric configuration. In materials exhibiting a defocusing nonlinearity, soliton excitations are not observed if the nonlinearity power associated with the incident electromagnetic wave is below a well defined value. At such a limiting value of the nonlinearity power, a soliton excitation with an electric field amplitude independent of the position is found within the nonlinear layer, regardless of the incident wave frequency value.


A Simulation Study of Electric Field Engineering with Multi Level Pinned Photodiodes for Fast and Complete Charge Transfer. In a CMOS image sensor pixel, fast and complete charge transfer from pinned photodiode (PPD) is desired and necessary in some applications. In special cases such as time of flight imaging or large pinned photodiodes, the PPD potential well shape highly affects the charge transfer performance and should be engineered carefully. In the present work, a PPD structure named multi level PPD is introduced and examined through simulation study. Moreover, a fast and effective way to analyze the pinning process for a lag free design is introduced. It is concluded that the proposed PPD achieves fast and complete charge transfer without additional implementation masks or process steps. The proposed PPD is compared with a similar conventional rectangular pixel and 31 reduction in the charge transfer time is observed.


Learning to Optimize DAG Scheduling in Heterogeneous Environment. Scheduling job flows efficiently and rapidly on distributed computing clusters is one of huge challenges for daily operation of data centers. In a practical scenario, a single job consists of numerous stages with complex dependency relation represented as a Directed Acyclic Graph (DAG) structure. Nowadays a data center usually equips with a cluster of heterogeneous computing servers which are different in the hardware software configuration. From both the cost saving and environmental friendliness, the data centers could benefit a lot from optimizing the job scheduling problems in the heterogeneous environment. Thus the problem has attracted more and more attention from both the industry and academy. In this paper, we propose a task duplication based learning algorithm, namely lachesis footnote The second of the Three Fates in ancient Greek mythology, who determines destiny. , aiming to optimize the problem. In the proposed approach, it first perceives the topological dependencies between jobs using a reinforcement learning framework and a specially designed graph neural network (GNN) to select the most promising task to be executed. Then the task is assigned to a specific executor with the consideration of duplicating all its precedent tasks according to an expert designed rules. We have conducted extensive experiments over standard workloads to evaluate the proposed solution. The experimental results suggest that lachesisquad can achieve at most 26.7 reduction of makespan and 35.2 improvement of speedup ratio over seven strong baseline algorithms, including the state of the art heuristics methods and a variety of deep reinforcement learning based algorithms.


The Devils in the Point Clouds Studying the Robustness of Point Cloud Convolutions. Recently, there has been a significant interest in performing convolution over irregularly sampled point clouds. Since point clouds are very different from regular raster images, it is imperative to study the generalization of the convolution networks more closely, especially their robustness under variations in scale and rotations of the input data. This paper investigates different variants of PointConv, a convolution network on point clouds, to examine their robustness to input scale and rotation changes. Of the variants we explored, two are novel and generated significant improvements. The first is replacing the multilayer perceptron based weight function with much simpler third degree polynomials, together with a Sobolev norm regularization. Secondly, for 3D datasets, we derive a novel viewpoint invariant descriptor by utilizing 3D geometric properties as the input to PointConv, in addition to the regular 3D coordinates. We have also explored choices of activation functions, neighborhood, and subsampling methods. Experiments are conducted on the 2D MNIST CIFAR 10 datasets as well as the 3D SemanticKITTI ScanNet datasets. Results reveal that on 2D, using third degree polynomials greatly improves PointConv's robustness to scale changes and rotations, even surpassing traditional 2D CNNs for the MNIST dataset. On 3D datasets, the novel viewpoint invariant descriptor significantly improves the performance as well as robustness of PointConv. We achieve the state of the art semantic segmentation performance on the SemanticKITTI dataset, as well as comparable performance with the current highest framework on the ScanNet dataset among point based approaches.


Double Quarter Wave Crab Cavity Wire Stretching Measurement at BNL. The wire stretching measurement was completed on the prototype Double Quarter Wave (DQW) crab cavity for operation practice and calibration of the measurement system. Four locations were defined to be on the electrical center plane of the crab cavity, and survey of the wire indicated all are on the same plane. The successful measurement validated the wire stretching system built at Brookhaven National Lab. The offset of the four wire locations to the fitted plane provided the error of the measurement.


Late levels of nested occupancy scheme in random environment. Consider a weighted branching process generated by a point process on 0,1 , whose atoms sum up to one. Then the weights of all individuals in any given generation sum up to one, as well. We define a nested occupancy scheme in random environment as the sequence of balls in boxes schemes (with random probabilities) in which boxes of the j th level, j 1,2, ldots are identified with the j th generation individuals and the hitting probabilities of boxes are identified with the corresponding weights. The collection of balls is the same for all generations, and each ball starts at the root and moves along the tree of the weighted branching process according to the following rule transition from a mother box to a daughter box occurs with probability given by the ratio of the daughter and mother weights. Assuming that there are n balls, we give a full classification of regimes of the a.s. convergence for the number of occupied (ever hit) boxes in the j th level, properly normalized, as n and j j n grow to infty . Here, (j n) n in mathbb N is a sequence of positive numbers growing proportionally to log n . We call such levels late, for the nested occupancy scheme gets extinct in the levels which grow super logarithmically in n in the sense that each occupied box contains one ball. Also, in some regimes we prove the strong laws of large numbers (a) for the number of the j th level boxes which contain at least k balls, k geq 2 and (b) under the assumption that the mean number of the first level boxes is finite, for the number of empty boxes in the j th level.


ILDC for CJPE Indian Legal Documents Corpus for Court Judgment Prediction and Explanation. An automated system that could assist a judge in predicting the outcome of a case would help expedite the judicial process. For such a system to be practically useful, predictions by the system should be explainable. To promote research in developing such a system, we introduce ILDC (Indian Legal Documents Corpus). ILDC is a large corpus of 35k Indian Supreme Court cases annotated with original court decisions. A portion of the corpus (a separate test set) is annotated with gold standard explanations by legal experts. Based on ILDC, we propose the task of Court Judgment Prediction and Explanation (CJPE). The task requires an automated system to predict an explainable outcome of a case. We experiment with a battery of baseline models for case predictions and propose a hierarchical occlusion based model for explainability. Our best prediction model has an accuracy of 78 versus 94 for human legal experts, pointing towards the complexity of the prediction task. The analysis of explanations by the proposed algorithm reveals a significant difference in the point of view of the algorithm and legal experts for explaining the judgments, pointing towards scope for future research.


Data Enforced An Exploratory Impact Analysis of Automated Speed Enforcement in the District of Columbia. In 2015, the District of Columbia framed a Vision Zero mission and action plan, with a target of achieving zero traffic fatalities by 2024. This study examines the impacts of Automated Speed Enforcement (ASE) and its role in achieving the goals of Vision Zero. Independent datasets containing detailed information about traffic crashes, ASE camera locations, and citation records, and driving speeds across the District's streets were collected, combined, and analyzed to identify patterns and trends in crashes, speed limit violations, and speeding behavior before and after the ASE camera installation. The results of this exploratory analysis confirm the safety benefits of ASE systems in Washington, D.C. The study also provides a blueprint for the different means of evaluating the short term impact of ASE systems using different data sources which can aid practitioners in better evaluating existing systems and support the decision making process regarding future installations.


De Re Updates. In this paper, we propose a lightweight yet powerful dynamic epistemic logic that captures not only the distinction between de dicto and de re knowledge but also the distinction between de dicto and de re updates. The logic is based on the dynamified version of an epistemic language extended with the assignment operator borrowed from dynamic logic, following the work of Wang and Seligman (Proc. AiML 2018). We obtain complete axiomatizations for the counterparts of public announcement logic and event model based DEL based on new reduction axioms taking care of the interactions between dynamics and assignments.


Distributed Optimization with Global Constraints Using Noisy Measurements. We propose a new distributed optimization algorithm for solving a class of constrained optimization problems in which (a) the objective function is separable (i.e., the sum of local objective functions of agents), (b) the optimization variables of distributed agents, which are subject to nontrivial local constraints, are coupled by global constraints, and (c) only noisy observations are available to estimate (the gradients of) local objective functions. In many practical scenarios, agents may not be willing to share their optimization variables with others. For this reason, we propose a distributed algorithm that does not require the agents to share their optimization variables with each other instead, each agent maintains a local estimate of the global constraint functions and share the estimate only with its neighbors. These local estimates of constraint functions are updated using a consensus type algorithm, while the local optimization variables of each agent are updated using a first order method based on noisy estimates of gradient. We prove that, when the agents adopt the proposed algorithm, their optimization variables converge with probability 1 to an optimal point of an approximated problem based on the penalty method.


Evaluating Metrics for Bias in Word Embeddings. Over the last years, word and sentence embeddings have established as text preprocessing for all kinds of NLP tasks and improved the performances significantly. Unfortunately, it has also been shown that these embeddings inherit various kinds of biases from the training data and thereby pass on biases present in society to NLP solutions. Many papers attempted to quantify bias in word or sentence embeddings to evaluate debiasing methods or compare different embedding models, usually with cosine based metrics. However, lately some works have raised doubts about these metrics showing that even though such metrics report low biases, other tests still show biases. In fact, there is a great variety of bias metrics or tests proposed in the literature without any consensus on the optimal solutions. Yet we lack works that evaluate bias metrics on a theoretical level or elaborate the advantages and disadvantages of different bias metrics. In this work, we will explore different cosine based bias metrics. We formalize a bias definition based on the ideas from previous works and derive conditions for bias metrics. Furthermore, we thoroughly investigate the existing cosine based metrics and their limitations to show why these metrics can fail to report biases in some cases. Finally, we propose a new metric, SAME, to address the shortcomings of existing metrics and mathematically prove that SAME behaves appropriately.


From Multi View to Hollow 3D Hallucinated Hollow 3D R CNN for 3D Object Detection. As an emerging data modal with precise distance sensing, LiDAR point clouds have been placed great expectations on 3D scene understanding. However, point clouds are always sparsely distributed in the 3D space, and with unstructured storage, which makes it difficult to represent them for effective 3D object detection. To this end, in this work, we regard point clouds as hollow 3D data and propose a new architecture, namely Hallucinated Hollow 3D R CNN ( text H 2 3D R CNN), to address the problem of 3D object detection. In our approach, we first extract the multi view features by sequentially projecting the point clouds into the perspective view and the bird eye view. Then, we hallucinate the 3D representation by a novel bilaterally guided multi view fusion block. Finally, the 3D objects are detected via a box refinement module with a novel Hierarchical Voxel RoI Pooling operation. The proposed text H 2 3D R CNN provides a new angle to take full advantage of complementary information in the perspective view and the bird eye view with an efficient framework. We evaluate our approach on the public KITTI Dataset and Waymo Open Dataset. Extensive experiments demonstrate the superiority of our method over the state of the art algorithms with respect to both effectiveness and efficiency. The code will be made available at url https github.com djiajunustc H 23D R CNN .


Learning from learning machines a new generation of AI technology to meet the needs of science. We outline emerging opportunities and challenges to enhance the utility of AI for scientific discovery. The distinct goals of AI for industry versus the goals of AI for science create tension between identifying patterns in data versus discovering patterns in the world from data. If we address the fundamental challenges associated with "bridging the gap" between domain driven scientific models and data driven AI learning machines, then we expect that these AI models can transform hypothesis generation, scientific discovery, and the scientific process itself.


ETVO Effectively Measuring Tactile Internet with Experimental Validation. The next frontier in communications is teleoperation manipulation and control of remote environments with feedback. Compared to conventional networked applications, teleoperation poses widely different requirements, ultra low latency (ULL) is primary. Realizing ULL communication demands significant redesign of conventional networking techniques, and the network infrastructure envisioned for achieving this is termed as Tactile Internet (TI). The design of the network infrastructure and meaningful performance metrics are crucial for seamless TI communication. However, existing performance metrics fall severely short of comprehensively characterizing TI performance. We take the first step towards bridging this gap. We take Dynamic Time Warping(DTW) as the basis of our work and identify necessary changes for characterizing TI performance. Through substantial refinements to DTW, we design Effective Time and Value Offset (ETVO) a new method for measuring the fine grained performance of TI systems. Through an in depth objective analysis, we demonstrate the improvements of ETVO over DTW. Through human in the loop subjective experiments, we demonstrate how and why existing QoS and QoE methods fall short of estimating the TI session performance accurately. Using subjective experiments, we demonstrate the behavior of the proposed metrics, their ability to match theoretically derived performance, and finally their ability to reflect user satisfaction in a practical setting. The results are highly encouraging.


Planetary UAV localization based on Multi modal Registration with Pre existing Digital Terrain Model. The autonomous real time optical navigation of planetary UAV is of the key technologies to ensure the success of the exploration. In such a GPS denied environment, vision based localization is an optimal approach. In this paper, we proposed a multi modal registration based SLAM algorithm, which estimates the location of a planet UAV using a nadir view camera on the UAV compared with pre existing digital terrain model. To overcome the scale and appearance difference between on board UAV images and pre installed digital terrain model, a theoretical model is proposed to prove that topographic features of UAV image and DEM can be correlated in frequency domain via cross power spectrum. To provide the six DOF of the UAV, we also developed an optimization approach which fuses the geo referencing result into a SLAM system via LBA (Local Bundle Adjustment) to achieve robust and accurate vision based navigation even in featureless planetary areas. To test the robustness and effectiveness of the proposed localization algorithm, a new cross source drone based localization dataset for planetary exploration is proposed. The proposed dataset includes 40200 synthetic drone images taken from nine planetary scenes with related DEM query images. Comparison experiments carried out demonstrate that over the flight distance of 33.8km, the proposed method achieved average localization error of 0.45 meters, compared to 1.31 meters by ORB SLAM, with the processing speed of 12hz which will ensure a real time performance. We will make our datasets available to encourage further work on this promising topic.


Convergence over fractals for the Schr "odinger equation. We consider a fractal refinement of the Carleson problem for the Schr "odinger equation, that is to identify the minimal regularity needed by the solutions to converge pointwise to their initial data almost everywhere with respect to the alpha Hausdorff measure ( alpha a.e.). We extend to the fractal setting ( alpha n ) a recent counterexample of Bourgain cite Bourgain2016 , which is sharp in the Lebesque measure setting ( alpha n ). In doing so we recover the necessary condition from cite zbMATH07036806 for pointwise convergence alpha a.e. and we extend it to the range n 2 alpha leq (3n 1) 4 .


SimDem A Multi agent Simulation Environment to Model Persons with Dementia and their Assistance. Developing artificial intelligence based assistive systems to aid Persons with Dementia (PwD) requires large amounts of training data. However, data collection poses ethical, legal, economic, and logistic issues. Synthetic data generation tools, in this regard, provide a potential solution. However, we believe that already available such tools do not adequately reflect cognitive deficiencies in behavior simulation. To counter these issues we propose a simulation model (SimDem ) that primarily focuses on cognitive impairments suffered by PwD and can be easily configured and adapted by the users to model and evaluate assistive solutions.


One phase Free Boundary Problems on RCD Metric Measure Spaces. In this paper, we consider a vector valued one phase Bernoulli type free boundary problem on a metric measure space (X,d, mu) with Riemannian curvature dimension condition RCD(K,N) . We first prove the existence and the local Lipschitz regularity of the solutions, provided that the space X is non collapsed, i.e. mu is the N dimensional Hausdorff measure of X . And then we show that the free boundary of the solutions is an (N 1) dimensional topological manifold away from a relatively closed subset of Hausdorff dimension leqslant N 3 .


Convergence of parallel overlapping domain decomposition methods for the Helmholtz equation. We analyse parallel overlapping Schwarz domain decomposition methods for the Helmholtz equation, where the subdomain problems satisfy first order absorbing (impedance) transmission conditions, and exchange of information between subdomains is achieved using a partition of unity. We provide a novel analysis of this method at the PDE level (without discretization). First, we formulate the method as a fixed point iteration, and show (in dimensions 1,2,3) that it is well defined in a tensor product of appropriate local function spaces, each with L 2 impedance boundary data. Given this, we then obtain a bound on the norm of the fixed point operator in terms of the local norms of certain impedance to impedance maps arising from local interactions between subdomains. These bounds provide conditions under which (some power of) the fixed point operator is a contraction. In 2 d, for rectangular domains and strip wise domain decompositions (with each subdomain only overlapping its immediate neighbours), we present two techniques for verifying the assumptions on the impedance to impedance maps which ensure power contractivity of the fixed point operator. The first is through semiclassical analysis, which gives rigorous estimates valid as the frequency tends to infinity. These results verify the required assumptions for sufficiently large overlap. For more realistic domain decompositions, we directly compute the norms of the impedance to impedance maps by solving certain canonical (local) eigenvalue problems. We give numerical experiments that illustrate the theory. These also show that the iterative method remains convergent and or provides a good preconditioner in cases not covered by the theory, including for general domain decompositions, such as those obtained via automatic graph partitioning software.


Self organized vortex and antivortex patterns in laser arrays. Recently it is shown that dissipatively coupled laser arrays simulate the classical XY model. We show that phase locking of laser arrays can give rise to the spontaneous formation of vortex and antivortex phase patterns that are analogous to topological defects of the XY model. These patterns are stable although their formation is less likely in comparison to the ground state lasing mode. In addition, we show that small ratios of photon to gain lifetime destabilizes vortex and antivortex phase patterns. These findings are important for studying topological effects in optics as well as for designing laser array devices.


Parameterized complexity of reconfiguration of atoms. Our work is motivated by the challenges presented in preparing arrays of atoms for use in quantum simulation. The recently developed process of loading atoms into traps results in approximately half of the traps being filled. To consolidate the atoms so that they form a dense and regular arrangement, such as all locations in a grid, atoms are rearranged using moving optical tweezers. Time is of the essence, as the longer that the process takes and the more that atoms are moved, the higher the chance that atoms will be lost in the process. Viewed as a problem on graphs, we wish to solve the problem of reconfiguring one arrangement of tokens (representing atoms) to another using as few moves as possible. Because the problem is NP complete on general graphs as well as on grids, we focus on the parameterized complexity for various parameters, considering both undirected and directed graphs, and tokens with and without labels. For unlabelled tokens, the problem is in FPT when parameterizing by the number of tokens, the number of moves, or the number of moves plus the number of vertices without tokens in either the source or target configuration, but intractable when parameterizing by the difference between the number of moves and the number of differences in the placement of tokens in the source and target configurations. When labels are added to tokens, however, most of the tractability results are replaced by hardness results.


Lagrangian Fillings in A type and their Kalman Loop Orbits. We continue the study of exact Lagrangian fillings of Legendrian (2,n) torus links, as first initiated by Ekholm Honda Kalman and Pan. Our main result proves that for a decomposable exact Lagrangian filling described through a pinching sequence, there exists a unique weave filling in the same Hamiltonian isotopy class. As an application of this result we describe the orbital structure of the Kalman loop and give a combinatorial criteria to determine the orbit size of a filling. We first give a Floer theoretic proof of the orbital structure, where an identity studied by Euler in the context of continued fractions makes a surprise appearance. This is followed by an alternative geometric proof of the orbital structure, obtained as a corollary of the main result. We conclude by giving a purely combinatorial description of the Kalman loop action on the fillings discussed above in terms of edge flips of triangulations.


A construction of Gorenstein projective tau tilting modules. We give a construction of Gorenstein projective tau tilting modules in terms of tensor products of modules. As a consequence, we give a class of non self injective algebras admitting non trivial Gorenstein projective tau tilting modules. Moreover, we show that a finite dimensional algebra Lambda over an algebraically closed field is CM tau tilting finite if T n( Lambda) is CM tau tilting finite which gives a partial answer to a question on CM tau tilting finite algebras posed by Xie and Zhang.