Improving Robustness of Task Oriented Dialog Systems. Task oriented language understanding in dialog systems is often modeled using intents (task of a query) and slots (parameters for that task). Intent detection and slot tagging are, in turn, modeled using sentence classification and word tagging techniques respectively. Similar to adversarial attack problems with computer vision models discussed in existing literature, these intent slot tagging models are often over sensitive to small variations in input predicting different and often incorrect labels when small changes are made to a query, thus reducing their accuracy and reliability. However, evaluating a model's robustness to these changes is harder for language since words are discrete and an automated change (e.g. adding noise') to a query sometimes changes the meaning and thus labels of a query. In this paper, we first describe how to create an adversarial test set to measure the robustness of these models. Furthermore, we introduce and adapt adversarial training methods as well as data augmentation using back translation to mitigate these issues. Our experiments show that both techniques improve the robustness of the system substantially and can be combined to yield the best results.


Learning Interpretable Features via Adversarially Robust Optimization. Neural networks are proven to be remarkably successful for classification and diagnosis in medical applications. However, the ambiguity in the decision making process and the interpretability of the learned features is a matter of concern. In this work, we propose a method for improving the feature interpretability of neural network classifiers. Initially, we propose a baseline convolutional neural network with state of the art performance in terms of accuracy and weakly supervised localization. Subsequently, the loss is modified to integrate robustness to adversarial examples into the training process. In this work, feature interpretability is quantified via evaluating the weakly supervised localization using the ground truth bounding boxes. Interpretability is also visually assessed using class activation maps and saliency maps. The method is applied to NIH ChestX ray14, the largest publicly available chest x rays dataset. We demonstrate that the adversarially robust optimization paradigm improves feature interpretability both quantitatively and visually.


Vertex Splitting, Coincident Realisations and Global Rigidity of Braced Triangulations. We give a short proof of a result of Jordan and Tanigawa that a 4 connected graph which has a spanning planar triangulation as a proper subgraph is generically globally rigid in R 3. Our proof is based on a new sufficient condition for the so called vertex splitting operation to preserve generic global rigidity in R d.


FaaSten Your Decisions Classification Framework and Technology Review of Function as a Service Platforms. Function as a Service (FaaS) is a cloud service model enabling developers to offload event driven executable snippets of code. The execution and management of such functions becomes a FaaS provider's responsibility, hereby included their on demand provisioning and automatic scaling. Key enablers for this cloud service model are FaaS platforms, e.g., AWS Lambda, Microsoft Azure Functions or OpenFaaS. At the same time, the choice of the most appropriate FaaS platform for deploying and running a serverless application is not trivial, as various organizational and technical aspects have to be taken into account. In this work, we present (i) a FaaS platform classification framework derived using a mixed method study and (ii) a systematic technology review of the ten most prominent FaaS platforms, based on the proposed classification framework. Moreover, we present (iii) a FaaS platform selection support system, called faastener, which helps researchers and practitioners to choose the FaaS platform most suited for their requirements.


Constructive interference in a network of elastically bounded flapping plates. Aeroelastic phenomena are gaining significant attention from the perspective of energy harvesting (EH) with promising applications in supplying low power remote sensors. Besides the development of individual EH devices, further issues are posed when considering multiple objects for realizing arrays of devices and magnifying the extracted power. Due to nonlinear mutual interactions, the resulting dynamics is generally different from that of single devices and the setup optimisation turns out to be nontrivial. In this work, we investigate the problem focusing on a flutter based EH system consisting of a rigid plate anchored by elastic elements and invested by a uniform laminar flow, undergoing regular limit cycle oscillations and flapping motions of finite amplitude. We consider a simplified, yet general, physical model and employ three dimensional direct numerical simulations based on a finite difference Navier Stokes solver combined with a moving least squares immersed boundary method. Focusing on main kinematic and performance related quantities, we first report on the dynamics of the single device and then on multiple devices. A parametric exploration is performed by varying the mutual distance between the devices. For the in line arrangement, a recovery in performance for downstream devices is achieved by tuning their elasticity. Moreover, cooperative effects in the side by side arrangement are found to be substantially beneficial in terms of resulting power, with increases (i.e. constructive interference) up to 100 with respect to the single device configuration. In order to confirm this numerical evidence, complementary results from wind tunnel experiments are presented. Finally, we describe the system behaviour when increasing further the number of devices, outlining the ultimate goal of developing a high performance EH network of numerous aeroelastic energy harvesters.


Learning the Solution Manifold in Optimization and Its Application in Motion Planning. Optimization is an essential component for solving problems in wide ranging fields. Ideally, the objective function should be designed such that the solution is unique and the optimization problem can be solved stably. However, the objective function used in a practical application is usually non convex, and sometimes it even has an infinite set of solutions. To address this issue, we propose to learn the solution manifold in optimization. We train a model conditioned on the latent variable such that the model represents an infinite set of solutions. In our framework, we reduce this problem to density estimation by using importance sampling, and the latent representation of the solutions is learned by maximizing the variational lower bound. We apply the proposed algorithm to motion planning problems, which involve the optimization of high dimensional parameters. The experimental results indicate that the solution manifold can be learned with the proposed algorithm, and the trained model represents an infinite set of homotopic solutions for motion planning problems.


Galerkin approximation of linear problems in Banach and Hilbert spaces. In this paper we study the conforming Galerkin approximation of the problem find u in U such that a(u, v) L, v for all v in V, where U and V are Hilbert or Banach spaces, a is a continuous bilinear or sesquilinear form and L in V' a given data. The approximate solution is sought in a finite dimensional subspace of U, and test functions are taken in a finite dimensional subspace of V. We provide a necessary and sufficient condition on the form a for convergence of the Galerkin approximation, which is also equivalent to convergence of the Galerkin approximation for the adjoint problem. We also characterize the fact that U has a finite dimensional Schauder decomposition in terms of properties related to the Galerkin approximation. In the case of Hilbert spaces, we prove that the only bilinear or sesquilinear forms for which any Galerkin approximation converges (this property is called the universal Galerkin property) are the essentially coercive forms. In this case, a generalization of the Aubin Nitsche Theorem leads to optimal a priori estimates in terms of regularity properties of the right hand side L, as shown by several applications. Finally, a section entitled "Supplement" provides some consequences of our results for the approximation of saddle point problems.


Polynomial degree robust H(curl) stability of discrete minimization in a tetrahedron. We prove that the minimizer in the N 'ed 'elec polynomial space of some degree p 0 of a discrete minimization problem performs as well as the continuous minimizer in H(curl), up to a constant that is independent of the polynomial degree p. The minimization problems are posed for fields defined on a single non degenerate tetrahedron in R 3 with polynomial constraints enforced on the curl of the field and its tangential trace on some faces of the tetrahedron. This result builds upon L. Demkowicz, J. Gopalakrishnan, J. Sch "oberl SIAM J. Numer. Anal. 47 (2009), 3293 3324 and M. Costabel, A. McIntosh, Math. Z. 265 (2010), 297 320 and is a fundamental ingredient to build polynomial degree robust a posteriori error estimators when approximating the Maxwell equations in several regimes leading to a curl curl problem.


FPCNet Fast Pavement Crack Detection Network Based on Encoder Decoder Architecture. Timely, accurate and automatic detection of pavement cracks is necessary for making cost effective decisions concerning road maintenance. Conventional crack detection algorithms focus on the design of single or multiple crack features and classifiers. However, complicated topological structures, varying degrees of damage and oil stains make the design of crack features difficult. In addition, the contextual information around a crack is not investigated extensively in the design process. Accordingly, these design features have limited discriminative adaptability and cannot fuse effectively with the classifiers. To solve these problems, this paper proposes a deep learning network for pavement crack detection. Using the Encoder Decoder structure, crack characteristics with multiple contexts are automatically learned, and end to end crack detection is achieved. Specifically, we first propose the Multi Dilation (MD) module, which can synthesize the crack features of multiple context sizes via dilated convolution with multiple rates. The crack MD features obtained in this module can describe cracks of different widths and topologies. Next, we propose the SE Upsampling (SEU) module, which uses the Squeeze and Excitation learning operation to optimize the MD features. Finally, the above two modules are integrated to develop the fast crack detection network, namely, FPCNet. This network continuously optimizes the MD features step by step to realize fast pixel level crack detection. Experiments are conducted on challenging public CFD datasets and G45 crack datasets involving various crack types under different shooting conditions. The distinct performance and speed improvements over all the datasets demonstrate that the proposed method outperforms other state of the art crack detection methods.


Multi Granularity Reference Aided Attentive Feature Aggregation for Video based Person Re identification. Video based person re identification (reID) aims at matching the same person across video clips. It is a challenging task due to the existence of redundancy among frames, newly revealed appearance, occlusion, and motion blurs. In this paper, we propose an attentive feature aggregation module, namely Multi Granularity Reference aided Attentive Feature Aggregation (MG RAFA), to delicately aggregate spatio temporal features into a discriminative video level feature representation. In order to determine the contribution importance of a spatial temporal feature node, we propose to learn the attention from a global view with convolutional operations. Specifically, we stack its relations, i.e., pairwise correlations with respect to a representative set of reference feature nodes (S RFNs) that represents global video information, together with the feature itself to infer the attention. Moreover, to exploit the semantics of different levels, we propose to learn multi granularity attentions based on the relations captured at different granularities. Extensive ablation studies demonstrate the effectiveness of our attentive feature aggregation module MG RAFA. Our framework achieves the state of the art performance on three benchmark datasets.


Global existence and convergence to the modified Barenblatt solution for the compressible Euler equations with physical vacuum and time dependent damping. In this paper, the smooth solution of the physical vacuum problem for the one dimensional compressible Euler equations with time dependent damping is considered. Near the vacuum boundary, the sound speed is C 1 2 H " o lder continuous. The coefficient of the damping depends on time, given by this form frac mu (1 t) lambda , lambda , mu 0 , which decays by order lambda in time. Under the assumption that 0 lambda 1 , 0 mu or lambda 1 , 2 mu , we will prove the global existence of smooth solutions and convergence to the modified Barenblatt solution of the related porous media equation with time dependent dissipation and the same total mass when the initial data of the Euler equations is a small perturbation of that of the Barenblatt solution. The pointwise convergence rates of the density, velocity and the expanding rate of the physical vacuum boundary are also given. The proof is based on space time weighted energy estimates, elliptic estimates and Hardy inequality in the Lagrangian coordinates. Our result is an extension of that in Luo Zeng Comm. Pure Appl. Math. 69 (2016), no. 7, 1354 1396 , where the authors considered the physical vacuum free boundary problem of the compressible Euler equations with constant coefficient damping.


Fully Convolutional Networks for Continuous Sign Language Recognition. Continuous sign language recognition (SLR) is a challenging task that requires learning on both spatial and temporal dimensions of signing frame sequences. Most recent work accomplishes this by using CNN and RNN hybrid networks. However, training these networks is generally non trivial, and most of them fail in learning unseen sequence patterns, causing an unsatisfactory performance for online recognition. In this paper, we propose a fully convolutional network (FCN) for online SLR to concurrently learn spatial and temporal features from weakly annotated video sequences with only sentence level annotations given. A gloss feature enhancement (GFE) module is introduced in the proposed network to enforce better sequence alignment learning. The proposed network is end to end trainable without any pre training. We conduct experiments on two large scale SLR datasets. Experiments show that our method for continuous SLR is effective and performs well in online recognition.


Do you really follow them? Automatic detection of credulous Twitter users. Online Social Media represent a pervasive source of information able to reach a huge audience. Sadly, recent studies show how online social bots (automated, often malicious accounts, populating social networks and mimicking genuine users) are able to amplify the dissemination of (fake) information by orders of magnitude. Using Twitter as a benchmark, in this work we focus on what we define credulous users, i.e., human operated accounts with a high percentage of bots among their followings. Being more exposed to the harmful activities of social bots, credulous users may run the risk of being more influenced than other users even worse, although unknowingly, they could become spreaders of misleading information (e.g., by retweeting bots). We design and develop a supervised classifier to automatically recognize credulous users. The best tested configuration achieves an accuracy of 93.27 and AUC ROC of 0.93, thus leading to positive and encouraging results.


Wire Resonator as a Broadband Huygens Superscatterer. Interference phenomena render tailoring propagation of electromagnetic waves by controlling phases of several scattering channels. Huygens element, being a representative example of this approach, allows enhancement of the scattering from an object in a forward direction, while the reflection is suppressed. However, a typical resonant realization of Huygens element employs constructive interference between electric and magnetic dipolar resonances that makes it relatively narrowband. Here we develop the concept of a broadband resonant Huygens element, based on a circular array of vertically aligned metal wires. Accurate management of multipole interference in an electrically small structure results in directional scattering over a large bandwidth, acceding 10 of the carrier frequency. Being constructed from non magnetic materials, this structure demonstrates a strong magnetic response appearing in dominating magnetic multipoles over electric counterparts. Moreover, we predict and observe very high order magnetic hexadecapole (M16 pole) and magnetic triakontadipole (M32 pole) with quality factors, approaching 6,000. The experimental demonstration is performed at the low GHz spectral range. Our findings shed light on a simple approach for engineering compact and open electromagnetic devices (antennas, directional reflectors, refractors, etc.) able to tailor wave propagation in a broadband domain, concentrate strong magnetic field, and generate high order magnetic multipoles.


Almost sure invariance principle for random dynamical systems via Gou "ezel 's approach. We extend the spectral approach of S. Gou "ezel for the vector valued almost sure invariance principle (ASIP) to certain classes of non stationary sequences with a weaker control over the behavior of the covariance matrices, assuming only linear growth. Then we apply this extension to obtain a quenched vector valued ASIP for random perturbations of a fixed Anosov diffeomorphism as well as random perturbations of a billiard map associated to the periodic Lorentz gas. We also consider certain classes of random piecewise expanding maps.


IV SLAM Introspective Vision for Simultaneous Localization and Mapping. Existing solutions to visual simultaneous localization and mapping (V SLAM) assume that errors in feature extraction and matching are independent and identically distributed (i.i.d), but this assumption is known to not be true features extracted from low contrast regions of images exhibit wider error distributions than features from sharp corners. Furthermore, V SLAM algorithms are prone to catastrophic tracking failures when sensed images include challenging conditions such as specular reflections, lens flare, or shadows of dynamic objects. To address such failures, previous work has focused on building more robust visual frontends, to filter out challenging features. In this paper, we present introspective vision for SLAM (IV SLAM), a fundamentally different approach for addressing these challenges. IV SLAM explicitly models the noise process of reprojection errors from visual features to be context dependent, and hence non i.i.d. We introduce an autonomously supervised approach for IV SLAM to collect training data to learn such a context aware noise model. Using this learned noise model, IV SLAM guides feature extraction to select more features from parts of the image that are likely to result in lower noise, and further incorporate the learned noise model into the joint maximum likelihood estimation, thus making it robust to the aforementioned types of errors. We present empirical results to demonstrate that IV SLAM 1) is able to accurately predict sources of error in input images, 2) reduces tracking error compared to V SLAM, and 3) increases the mean distance between tracking failures by more than 70 on challenging real robot data compared to V SLAM.


A Note on the Maximum Principle based Approach for ISS Analysis of Higher Dimensional Parabolic PDEs with Variable Coefficients. This paper presents a maximum principle based approach in the establishment of input to state stability (ISS) for a class of nonlinear parabolic partial differential equations (PDEs) over higher dimensional domains with variable coefficients and different types of nonlinear boundary conditions. Technical development on ISS analysis of the considered systems is detailed, and an example of establishing ISS estimates for a nonlinear parabolic equation with, respectively, a nonlinear Robin boundary condition and a nonlinear Dirichlet boundary condition is provided to illustrate the application of the developed method.


On the Bezrukavnikov Kaledin quantization of symplectic varieties in characteristic p . We prove that after inverting the Planck constant h the Bezrukavnikov Kaledin quantization (X, mathcal O h) of symplectic variety X in characteristic p is Morita equivalent to a certain central reduction of the algebra of differential operators on X .


Decentralized Knowledge Graph Representation Learning. Knowledge graph (KG) representation learning methods have achieved competitive performance in many KG oriented tasks, among which the best ones are usually based on graph neural networks (GNNs), a powerful family of networks that learns the representation of an entity by aggregating the features of its neighbors and itself. However, many KG representation learning scenarios only provide the structure information that describes the relationships among entities, causing that entities have no input features. In this case, existing aggregation mechanisms are incapable of inducing embeddings of unseen entities as these entities have no pre defined features for aggregation. In this paper, we present a decentralized KG representation learning approach, decentRL, which encodes each entity from and only from the embeddings of its neighbors. For optimization, we design an algorithm to distill knowledge from the model itself such that the output embeddings can continuously gain knowledge from the corresponding original embeddings. Extensive experiments show that the proposed approach performed better than many cutting edge models on the entity alignment task, and achieved competitive performance on the entity prediction task. Furthermore, under the inductive setting, it significantly outperformed all baselines on both tasks.


A note on parabolic like maps. We show that the definition of parabolic like map can be slightly modified, by asking partial Delta to be a quasiarc out of the parabolic fixed point, instead of the dividing arcs to be C 1 on 1,0 and 0,1 .


Data driven Operation of the Resilient Electric Grid A Case of COVID 19. Electrical energy is a vital part of modern life, and expectations for grid resilience to allow a continuous and reliable energy supply has tremendously increased even during adverse events (e.g., Ukraine cyber attack, Hurricane Maria). The global pandemic COVID 19 has raised the electric energy reliability risk due to potential workforce disruptions, supply chain interruptions, and increased possible cybersecurity threats. The pandemic introduces a significant degree of uncertainly to the grid operation in the presence of other extreme events like natural disasters, unprecedented outages, aging power grids, high proliferation of distributed generation, and cyber attacks. This situation increases the need for measures for the resiliency of power grids to mitigate the impacts of the pandemic as well as simultaneous extreme events. Solutions to manage such an adverse scenario will be multi fold a) emergency planning and organizational support, b) following safety protocol, c) utilizing enhanced automation and sensing for situational awareness, and d) integration of advanced technologies and data points for ML driven enhanced decision support. Enhanced digitalization and automation resulted in better network visibility at various levels, including generation, transmission, and distribution. These data or information can be utilized to take advantage of advanced machine learning techniques for automation and increased power grid resilience. In this paper, a) we review the impact of COVID 19 on power grid operations and actions taken by operators organizations to minimize the impact of COVID 19, and b) we have presented the recently developed tool and concepts using natural language processing (NLP) in the domain of machine learning and artificial intelligence that can be used for increasing resiliency of power systems in normal and in extreme scenarios such as COVID 19 pandemics.


Existence results for some problems on Riemannian manifolds. By using variational techniques we provide new existence results for Yamabe type equations with subcritical perturbations set on a compact d dimensional ( d geq 3 ) Riemannian manifold without boundary. As a direct consequence of our main theorems, we prove the existence of at least one solution to the following singular Yamabe type problem left lbrace begin array ll Delta g w alpha( sigma)w mu K( sigma) w frac d 2 d 2 lambda left( w r 1 f(w) right), quad sigma in mathcal M w in H 2 alpha( mathcal M ), quad w 0 mbox in mathcal M end array right. where, as usual, Delta g denotes the Laplace Beltrami operator on ( mathcal M ,g) , alpha, K mathcal M to mathbb R are positive (essentially) bounded functions, r in(0,1) , and f 0, infty) to 0, infty) is a subcritical continuous function. Restricting ourselves to the unit sphere mathbb S d via the stereographic projection, we also solve some parametrized Emden Fowler equations in the Euclidean case.


Vision Based Shape Reconstruction of Soft Continuum Arms Using a Geometric Strain Parametrization. Interest in soft continuum arms has increased as their inherent material elasticity enables safe and adaptive interactions with the environment. However to achieve full autonomy in these arms, accurate three dimensional shape sensing is needed. Vision based solutions have been found to be effective in estimating the shape of soft continuum arms. In this paper, a vision based shape estimator that utilizes a geometric strain based representation for the soft continuum arm's shape, is proposed. This representation reduces the dimension of the curved shape to a finite set of strain basis functions, thereby allowing for efficient optimization for the shape that best fits the observed image. Experimental results demonstrate the effectiveness of the proposed approach in estimating the end effector with accuracy less than the soft arm's radius. Multiple basis functions are also analyzed and compared for the specific soft continuum arm in use.


Natural family free genomic distance. A classical problem in comparative genomics is to compute the rearrangement distance, that is the minimum number of large scale rearrangements required to transform a given genome into another given genome. While the most traditional approaches in this area are family based, i.e., require the classification of DNA fragments into families, more recently an alternative family free approach was proposed, and consists of studying the rearrangement distances without prior family assignment. On the one hand the computation of genomic distances in the family free setting helps to match occurrences of duplicated genes and find homologies, but on the other hand this computation is NP hard. In this paper, by letting structural rearrangements be represented by the generic double cut and join (DCJ) operation and also allowing insertions and deletions of DNA segments, we propose a new and more general family free genomic distance, providing an efficient ILP formulation to solve it. Our experiments show that the ILP produces accurate results and can handle not only bacterial genomes, but also fungi and insects, or subsets of chromosomes of mammals and plants.


Experimental development and evaluation of a volume coil with slotted end rings coil for rat MRI at 7 T. A volume coil with squared slots end ring was developed to attain improved sensitivity for imaging of rat's brain at 7 T. The principles of the high cavity resonator for the low pass case and the law of Biot Savart were used to derive a theoretical expression of the coil sensitivity. The slotted end ring resonator showed a theoretical 2.22 fold improvement over the standard birdcage coil with similar dimensions. Numerical studies were carried out for the electromagnetic fields and specific absorption rates for our coil and a birdcage coil loaded with a saline filled cylindrical phantom and a digital brain of a rat. An improvement of the signal to noise ratio (SNR) can be observed for the slotted volume coil over the birdcage regardless of the load used in the electromagnetic simulations. The specific absorption rate simulations show an important decrement for the digital brain and quite similar values with the saline solution phantom. Phantom and rat's brain images were acquired at 7 T to prove the viability of the coil design. The experimental noise figure of our coil design was four times less than the standard birdcage with similar dimensions, witch showed a 30 increase in experimental SNR. There is remarkable agreement among the theoretical, numerical and experimental sensitivity values, which all demonstrate that the coil performance for MR imaging of small rodents can be improved using slotted end rings.


Two detection results of Khovanov homology on links. We prove that Khovanov homology with Z 2 coefficients detects the link L7n1, and the union of a trefoil and its meridian.


Next Generation Opportunistic Networking in Beyond 5G Networks. Beyond 5G networks are expected to support massive traffic through decentralized solutions and advanced networking mechanisms. This paper aims at contributing towards this vision through the integration of device centric wireless networks, including Device to Device (D2D) communications, and the Next Generation of Opportunistic networking (NGO). This integration offers multiple communication modes such as opportunistic cellular and opportunistic D2D aided communications. Previous studies have demonstrated the potential and benefits of this integration in terms of energy efficiency, spectral efficiency and traffic offloading. We propose an integration of device centric wireless networks and NGO that is not driven by a precise knowledge of the presence of the links. The proposed technique utilizes a novel concept of graph to model the evolution of the networking conditions and network connectivity. Uncertainties and future conditions are included in the proposed graph model through anticipatory mobile networking to estimate the transmission energy cost of the different communication modes. Based on these estimates, the devices schedule their transmissions using the most efficient communication mode. These decisions are later revisited in real time using more precise knowledge about the network state. The conducted evaluation shows that the proposed technique significantly reduces the energy consumption (from 60 to 90 depending on the scenario) compared to traditional single hop cellular communications and performs closely to an ideal oracle based system with full knowledge of present and future events. The transmission and computational overheads of the proposed technique show small impact on such energy gains.


Cumulative labelling with thymidine analogues when the steady state assumption is violated. We present modelling results that examine the consequences of implementing cumulative labelling with thymidine analogues, to estimate the cell cycle time and growth fraction of dividing cells, when the steady state assumption is violated. We fix the value of the cell cycle time a priori and examine whether cumulative labelling can reproduce this value. We find that the cumulative labelling technique systematically overestimates the growth fraction and cell cycle time in non steady cell populations. Our results suggest an explanation for discrepancies in experimental measurements of oligodendrocyte precursor cell properties using cumulative labelling. These results also emphasise the utility of using computational models to determine what violating the assumptions of experimental techniques would look like in the laboratory before experiments are undertaken.


OpenRooms An End to End Open Framework for Photorealistic Indoor Scene Datasets. We propose a novel framework for creating large scale photorealistic datasets of indoor scenes, with ground truth geometry, material, lighting and semantics. Our goal is to make the dataset creation process widely accessible, transforming scans into photorealistic datasets with high quality ground truth for appearance, layout, semantic labels, high quality spatially varying BRDF and complex lighting, including direct, indirect and visibility components. This enables important applications in inverse rendering, scene understanding and robotics. We show that deep networks trained on the proposed dataset achieve competitive performance for shape, material and lighting estimation on real images, enabling photorealistic augmented reality applications, such as object insertion and material editing. We also show our semantic labels may be used for segmentation and multi task learning. Finally, we demonstrate that our framework may also be integrated with physics engines, to create virtual robotics environments with unique ground truth such as friction coefficients and correspondence to real scenes. The dataset and all the tools to create such datasets will be made publicly available.


Exploiting Motion Information from Unlabeled Videos for Static Image Action Recognition. Static image action recognition, which aims to recognize action based on a single image, usually relies on expensive human labeling effort such as adequate labeled action images and large scale labeled image dataset. In contrast, abundant unlabeled videos can be economically obtained. Therefore, several works have explored using unlabeled videos to facilitate image action recognition, which can be categorized into the following two groups (a) enhance visual representations of action images with a designed proxy task on unlabeled videos, which falls into the scope of self supervised learning (b) generate auxiliary representations for action images with the generator learned from unlabeled videos. In this paper, we integrate the above two strategies in a unified framework, which consists of Visual Representation Enhancement (VRE) module and Motion Representation Augmentation (MRA) module. Specifically, the VRE module includes a proxy task which imposes pseudo motion label constraint and temporal coherence constraint on unlabeled videos, while the MRA module could predict the motion information of a static action image by exploiting unlabeled videos. We demonstrate the superiority of our framework based on four benchmark human action datasets with limited labeled data.


On Fairness in Committee based Blockchains. Committee based blockchains are among the most popular alternatives of proof of work based blockchains, such as Bitcoin. They provide strong consistency (no fork) under classical assumptions, and avoid using energy consuming mechanisms to add new blocks in the blockchain. For each block, these blockchains use a committee that executes Byzantine fault tolerant distributed consensus to decide the next block they will add in the blockchain. Unlike Bitcoin, where there is only one creator per block with high probability, in committee based blockchain any block is cooperatively created. In order to incentivize committee members to participate to the creation of new blocks rewarding schemes have to be designed. In this paper, we study the fairness of rewarding in committee based blockchains and we provide necessary and sufficient conditions on the system communication under which it is possible to have a fair reward mechanism.


Participatory Design to build better contact and proximity tracing apps. With the push for contact and proximity tracing solutions as a means to manage the spread of the pandemic, there is a distrust between the citizens and authorities that are deploying these solutions. The efficacy of the solutions relies on meeting a minimum uptake threshold which is hitting a barrier because of a lack of trust and transparency in how these solutions are being developed. We propose participatory design as a mechanism to evoke trust and explore how it might be applied to co create technological solutions that not only meet the needs of the users better but also expand their reach to underserved and high risk communities. We also highlight the role of the bazaar model of development and complement that with quantitative and qualitative metrics for evaluating the solutions and convincing policymakers and other stakeholders in the value of this approach with empirical evidence.


Coverings with horo and hyperballs generated by simply truncated orthoschemes. After having investigated the packings derived by horo and hyperballs related to simple frustum Coxeter orthoscheme tilings we consider the corresponding covering problems (briefly hyp hor coverings) in n dimensional hyperbolic spaces mathbb H n ( n 2,3 ). We construct in the 2 and 3 dimensional hyperbolic spaces hyp hor coverings that are generated by simply truncated Coxeter orthocheme tilings and we determine their thinnest covering configurations and their densities. We prove that in the hyperbolic plane ( n 2 ) the density of the above thinnest hyp hor covering arbitrarily approximate the universal lower bound of the hypercycle or horocycle covering density frac sqrt 12 pi and in mathbb H 3 the optimal configuration belongs to the 7,3,6 Coxeter tiling with density approx 1.27297 that is less than the previously known famous horosphere covering density 1.280 due to L. Fejes T 'oth and K. B "or "oczky. Moreover, we study the hyp hor coverings in truncated orthosche mes p,3,6 (6 p 7, p in mathbb R ) whose density function attains its minimum at parameter p approx 6.45962 with density approx 1.26885 . That means that this locally optimal hyp hor configuration provide smaller covering density than the former determined approx 1.27297 but this hyp hor packing configuration can not be extended to the entirety of hyperbolic space mathbb H 3 .


Inferring urban social networks from publicly available data. The emergence of social networks and the definition of suitable generative models for synthetic yet realistic social graphs are widely studied problems in the literature. By not being tied to any real data, random graph models cannot capture all the subtleties of real networks and are inadequate for many practical contexts including areas of research, such as computational epidemiology, which are recently high on the agenda. At the same time, the so called contact networks describe interactions, rather than relationships, and are strongly dependent on the application and on the size and quality of the sample data used to infer them. To fill the gap between these two approaches, we present a data driven model for urban social networks, implemented and released as open source software. Given a territory of interest, and only based on widely available aggregated demographic and social mixing data, we construct an age stratified and geo referenced synthetic population whose individuals are connected by "strong ties" of two types intra household (e.g., kinship) or friendship. While household links are entirely data driven, we propose a parametric probabilistic model for friendship, based on the assumption that distances and age differences play a role, and that not all individuals are equally sociable. The demographic and geographic factors governing the structure of the obtained network, under different configurations, are thoroughly studied through extensive simulations focused on three Italian cities of different size.


Approximate degree, secret sharing, and concentration phenomena. The epsilon approximate degree deg epsilon(f) of a Boolean function f is the least degree of a real valued polynomial that approximates f pointwise to error epsilon . The approximate degree of f is at least k iff there exists a pair of probability distributions, also known as a dual polynomial, that are perfectly k wise indistinguishable, but are distinguishable by f with advantage 1 epsilon . Our contributions are We give a simple new construction of a dual polynomial for the AND function, certifying that deg epsilon(f) geq Omega( sqrt n log 1 epsilon ) . This construction is the first to extend to the notion of weighted degree, and yields the first explicit certificate that the 1 3 approximate degree of any read once DNF is Omega( sqrt n ) . We show that any pair of symmetric distributions on n bit strings that are perfectly k wise indistinguishable are also statistically K wise indistinguishable with error at most K 3 2 cdot exp( Omega(k 2 K)) for all k K n 64 . This implies that any symmetric function f is a reconstruction function with constant advantage for a ramp secret sharing scheme that is secure against size K coalitions with statistical error K 3 2 exp( Omega(deg 1 3 (f) 2 K)) for all values of K up to n 64 simultaneously. Previous secret sharing schemes required that K be determined in advance, and only worked for f AND. Our analyses draw new connections between approximate degree and concentration phenomena. As a corollary, we show that for any d n 64 , any degree d polynomial approximating a symmetric function f to error 1 3 must have ell 1 norm at least K 3 2 exp( Omega(deg 1 3 (f) 2 d) ) , which we also show to be tight for any d deg 1 3 (f) . These upper and lower bounds were also previously only known in the case f AND.


Bounding the cop number of a graph by its genus. It is known that the cop number c(G) of a connected graph G can be bounded as a function of the genus of the graph g(G) . The best known bound, that c(G) leq left lfloor frac 3 g(G) 2 right rfloor 3 , was given by Schr " o der, who conjectured that in fact c(G) leq g(G) 3 . We give the first improvement to Schr " o der's bound, showing that c(G) leq frac 4g(G) 3 frac 10 3 .


De homogenization of optimal multi scale 3D topologies. This paper presents a highly efficient method to obtain high resolution, near optimal 3D topologies optimized for minimum compliance on a standard PC. Using an implicit geometry description we derive a single scale interpretation of optimal multi scale designs on a very fine mesh (de homogenization). By performing homogenization based topology optimization, optimal multi scale designs are obtained on a relatively coarse mesh resulting in a low computational cost. As microstructure parameterization we use orthogonal rank 3 microstructures, which are known to be optimal for a single loading case. Furthermore, a method to get explicit control of the minimum feature size and complexity of the final shapes will be discussed. Numerical examples show excellent performance of these fine scale designs resulting in objective values similar to the homogenization based designs. Comparisons with well established density based topology optimization methods show a reduction in computational cost of 3 orders of magnitude, paving the way for giga scale designs on a standard PC.


Dicoogle Framework for Medical Imaging Teaching and Research. One of the most noticeable trends in healthcare over the last years is the continuous growth of data volume produced and its heterogeneity. In the medical imaging field, the evolution of digital systems is supported by the PACS concept and the DICOM standard. These technologies are deeply grounded in medical laboratories, supporting the production and providing healthcare practitioners with the ability to set up collaborative work environments with researchers and academia to study and improve healthcare practice. However, the complexity of those systems and protocols makes difficult and time consuming to prototype new ideas or develop applied research, even for skilled users with training in those environments. Dicoogle emerges as a reference tool to achieve those objectives through a set of resources aggregated in the form of a learning pack. It is an open source PACS archive that, on the one hand, provides a comprehensive view of the PACS and DICOM technologies and, on the other hand, provides the user with tools to easily expand its core functionalities. This paper describes the Dicoogle framework, with particular emphasis in its Learning Pack package, the resources available and the impact of the platform in research and academia. It starts by presenting an overview of its architectural concept, the most recent research backed up by Dicoogle, some remarks obtained from its use in teaching, and worldwide usage statistics of the software. Moreover, a comparison between the Dicoogle platform and the most popular open source PACS in the market is presented.


phi Thue Morse sequences and infinite products. In this article we introduce a new approach to compute infinite products defined by automatic sequences involving the Thue Morse sequence. As examples, for any positive integers q and r such that 0 leq r leq q 1 , we find infinitely many couples of rational functions R(x) and S(n) such that prod n 0 infty R(n) frac 1 a n 2 S(n) frac 1 a n 2 2cos( frac 2r 1 2q pi), where (a n) n in mathbf N is the Thue Morse sequence beginning with a 0 1,a 1 1 .


On a general matrix valued unbalanced optimal transport and its fully discretization dynamic formulation and convergence framework. In this work, we present a rather general class of transport distances over the space of positive semidefinite matrix valued Radon measures, called the weighted Wasserstein Bures distance, and consider the convergence property of their fully discretized counterparts. These distances are defined via a generalization of Benamou Brenier formulation of the quadratic optimal transport, based on a new weighted action functional and an abstract matricial continuity equation. It gives rise to a convex optimization problem. We shall give a complete characterization of its minimizer (i.e., the geodesic) and discuss some topological and geometrical properties of these distances. Some recently proposed models the interpolation distance by Chen et al. 18 and the Kantorovich Bures distance by Brenier et al. 11 , as well as the well studied Wasserstein Fisher Rao distance 43, 19, 40 , fit in our model. The second part of this work is devoted to the numerical analysis of the fully discretization of the new transport model. We reinterpret the convergence framework proposed very recently by Lavenant 41 for the quadratic optimal transport from the perspective of Lax equivalence theorem and extend it to our general problem. In view of this abstract framework, we suggest a concrete fully discretized scheme inspired by the finite element theory, and show the unconditional convergence under mild assumptions. In particular, these assumptions are removed in the case of Wasserstein Fisher Rao distance due to the existence of a static formulation.


Delay and Price Differentiation in Cloud Computing A Service Model, Supporting Architectures, and Performance. Many cloud service providers (CSPs) provide on demand service at a price with a small delay. We propose a QoS differentiated model where multiple SLAs deliver both on demand service for latency critical users and delayed services for delay tolerant users at lower prices. Two architectures are considered to fulfill SLAs. The first is based on priority queues. The second simply separates servers into multiple modules, each for one SLA. As an ecosystem, we show that the proposed framework is dominant strategy incentive compatible. Although the first architecture appears more prevalent in the literature, we prove the superiority of the second architecture, under which we further leverage queueing theory to determine the optimal SLA delays and prices. Finally, the viability of the proposed framework is validated through numerical comparison with the on demand service and it exhibits a revenue improvement in excess of 200 . Our results can help CSPs design optimal delay differentiated services and choose appropriate serving architectures.


Total and Partial Pressure Measurement. Total pressure gauges are used to measure the level of vacuum in a system independent of the gas species. Partial pressure analysers measure the occurrence of each gas species separately. This report explains the methodology of measurement, summarizes the measurement principles of total pressure vacuum gauges, and updates the standardization work for their calibration. On the matter of partial pressure measurement, this report explains the mass filtering by the quadrupole mass spectrometers and outlines the measurement problems with these instruments.


Extremal life times of persistent loops and holes. Persistent homology captures the appearances and disappearances of topological features such as loops and holes when growing disks centered at a Poisson point process. We study extreme values for the life times of features dying in bounded components and with birth resp. death time bounded away from the threshold for continuum percolation. First, we describe the scaling of the minimal life times for general feature dimensions, and of the maximal life times for holes in the v C ech complex. Then, we proceed to a more refined analysis and establish Poisson approximation for large life times of holes and for small life times of loops. Finally, we also study the scaling of minimal life times in the Vietoris Rips setting and point to a surprising difference to the v C ech complex.


Hybrid Graphene Carbon Nanofiber Wax Emulsion for Paper based Electronics and Thermal Management. Materials for electronics that function as electrical and or thermal conductors are often rigid, expensive, difficult to be sourced and sometimes toxic. An electrically and thermally conductive nanocomposite that is lightweight, flexible and eco friendly could improve the environmental friendliness of the electronics sector and enable new applications. Considering this, we have fabricated electrically and thermally conductive flexible materials by functionalizing paper with nanocarbon conductive inks. Carnauba wax is emulsified in isopropyl alcohol and mixed with graphene nanoplatelets (GNPs) or with hybrids of GNPs and carbon nanofibers (CNFs). The percolation threshold of the hybrid samples is lowered compared with the pure GNPs composites, due to their increased filler aspect ratio. The hybrid samples also exhibit superior bending and folding stability. Densification of the coating to decrease their sheet resistance enables them to achieve as low as 50 Omega sq 1 for the GNP based paper. The densification procedure improves the bending stability, the abrasion resistance, and the electromagnetic interference shielding of the paper based conductors. Finally, the compressed samples show an impressive enhancement of their thermal diffusivity. The flexible and multifunctional nanocarbon coated paper is a promising electronic conductor and thermally dissipative material and, at the same time, can increase the environmental sustainability of the electronics sector.


Predicting Semantic Map Representations from Images using Pyramid Occupancy Networks. Autonomous vehicles commonly rely on highly detailed birds eye view maps of their environment, which capture both static elements of the scene such as road layout as well as dynamic elements such as other cars and pedestrians. Generating these map representations on the fly is a complex multi stage process which incorporates many important vision based elements, including ground plane estimation, road segmentation and 3D object detection. In this work we present a simple, unified approach for estimating maps directly from monocular images using a single end to end deep learning architecture. For the maps themselves we adopt a semantic Bayesian occupancy grid framework, allowing us to trivially accumulate information over multiple cameras and timesteps. We demonstrate the effectiveness of our approach by evaluating against several challenging baselines on the NuScenes and Argoverse datasets, and show that we are able to achieve a relative improvement of 9.1 and 22.3 respectively compared to the best performing existing method.


Preliminary Development of a Wearable Device to Help Children with Unilateral Cerebral Palsy Increase Their Consciousness of Their Upper Extremity. Children with unilateral cerebral palsy have movement impairments that are predominant to one of their upper extremities (UE) and are prone to a phenomenon named "developmental disregard", which is characterized by the neglect of their most affected UE because of their altered perception or consciousness of this limb. This can cause them not to use their most affected hand to its full capacity in their day to day life. This paper presents a prototype of a wearable technology with the appearance of a smartwatch, which delivers haptic feedback to remind children with unilateral cerebral palsy to use their most affected limb, and which increase sensory afferents to possibly influence brain plasticity. The prototype consists of an accelerometer, a vibration motor and a microcontroller with an algorithm that detects movement of the limb. After a given period of inactivity, the watch starts vibrating to alert the user.


Developing Concurrent Coding An unconventional encoding scheme applied to visible light communications. An unconventional encoding scheme called concurrent coding, has recently been demonstrated and shown to offer interesting features and benefits in comparison to conventional techniques, e.g. robustness against burst errors and improved efficiency of transmitted power. This concept has been demonstrated for the first time with optical communications where standard light emitting diodes (LEDs) have been used to transmit information encoded with concurrent coding. The technique successfully transmits and decodes data despite unpredictable interruptions to the transmission causing significant drop outs to the detected signal. The technique also shows how it is possible to send a single block of data in isolation with no pre synchronisation required between transmitter and receiver, and no specific synchronisation sequence appended to the transmission. This work also demonstrates for the first time the successful use of multithreaded (overlaid) concurrent codes


Depth Restoration A fast low rank matrix completion via dual graph regularization. As a real scenes sensing approach, depth information obtains the widespread applications. However, resulting from the restriction of depth sensing technology, the depth map captured in practice usually suffers terrible noise and missing values at plenty of pixels. In this paper, we propose a fast low rank matrix completion via dual graph regularization for depth restoration. Specifically, the depth restoration can be transformed into a low rank matrix completion problem. In order to complete the low rank matrix and restore it to the depth map, the proposed dual graph method containing the local and non local graph regularizations exploits the local similarity of depth maps and the gradient consistency of depth color counterparts respectively. In addition, the proposed approach achieves the high speed depth restoration due to closed form solution. Experimental results demonstrate that the proposed method outperforms the state of the art methods with respect to both objective and subjective quality evaluations, especially for serious depth degeneration.


Stable Gradient Flow Discretizations for Simulating Bilayer Plate Bending with Isometry and Obstacle Constraints. Bilayer plates are compound materials that exhibit large bending deformations when exposed to environmental changes that lead to different mechanical responses in the involved materials. In this article a new numerical method which is suitable for simulating the isometric deformation induced by a given material mismatch in a bilayer plate is discussed. A dimensionally reduced formulation of the bending energy is discretized generically in an abstract setting and specified for discrete Kirchhoff triangles convergence towards the continuous formulation is proved. A practical semi implicit discrete gradient flow employing a linearization of the isometry constraint is proposed as an iterative method for the minimization of the bending energy stability and a bound on the violation of the isometry constraint are proved. The incorporation of obstacles is discussed and the practical performance of the method is illustrated with numerical experiments involving the simulation of large bending deformations and investigation of contact phenomena.


Visual Question Answering using Deep Learning A Survey and Performance Analysis. The Visual Question Answering (VQA) task combines challenges for processing data with both Visual and Linguistic processing, to answer basic common sense' questions about given images. Given an image and a question in natural language, the VQA system tries to find the correct answer to it using visual elements of the image and inference gathered from textual questions. In this survey, we cover and discuss the recent datasets released in the VQA domain dealing with various types of question formats and robustness of the machine learning models. Next, we discuss about new deep learning models that have shown promising results over the VQA datasets. At the end, we present and discuss some of the results computed by us over the vanilla VQA model, Stacked Attention Network and the VQA Challenge 2017 winner model. We also provide the detailed analysis along with the challenges and future research directions.


Harish Chandra Cuspidal Pairs. The irreducible characters of a finite reductive group are partitioned into Harish Chandra series that are labelled by cuspidal pairs. In this note, we describe how one can algorithmically calculate those cuspidal pairs using results of Lusztig.


Social Success of Perfumes. We study data on perfumes and their odour descriptors notes to understand how note compositions, called accords, influence successful fragrance formulas. We obtain accords which tend to be present in perfumes that receive significantly more customer ratings. Our findings show that the most popular notes and the most over represented accords are different to those that have the strongest effect to the perfume ratings. We also used network centrality to understand which notes have the highest potential to enhance note compositions. We find that large degree notes, such as musk and vanilla as well as generically named notes, e.g. floral notes, are amongst the notes that enhance accords the most. This work presents a framework which would be a timely tool for perfumers to explore a multidimensional space of scent compositions.


On distributional spectrum of piecewise monotonic maps. We study a certain class of piecewise monotonic maps of interval. These maps are strictly monotone on finite interval partition, satisfies Markov condition and have generator property. We show that for a function from this class distributional chaos is always present and we study its basic properties. Main result states that distributional spectrum as well as weak spectrum is always finite. This is a generalization of same result for continuous maps on the interval, circle and tree. Examples showing that conditions on mentions class can not be weakened are presented.


Near Optimal Algorithm for Distribution Free Junta Testing. We present an adaptive algorithm with one sided error for the problem of junta testing for Boolean function under the challenging distribution free setting, the query complexity of which is tilde O(k) epsilon . This improves the upper bound of tilde O(k 2) epsilon by cite liu2019distribution . From the Omega(k log k) lower bound for junta testing under the uniform distribution by cite sauglam2018near , our algorithm is nearly optimal. In the standard uniform distribution, the optimal junta testing algorithm is mainly designed by bridging between relevant variables and relevant blocks. At the heart of the analysis is the Efron Stein orthogonal decomposition. However, it is not clear how to generalize this tool to the general setting. Surprisingly, we find that junta could be tested in a very simple and efficient way even in the distribution free setting. It is interesting that the analysis does not rely on Fourier tools directly which are commonly used in junta testing. Further, we present a simpler algorithm with the same query complexity.


Performance of the BGSDC integrator for computing fast ion trajectories in nuclear fusion reactors. Modelling neutral beam injection (NBI) in fusion reactors requires computing the trajectories of large ensembles of particles. Slowing down times of up to one second combined with nanosecond time steps make these simulations computationally very costly. This paper explores the performance of BGSDC, a new numerical time stepping method, for tracking ions generated by NBI in the DIII D and JET reactors. BGSDC is a high order generalisation of the Boris method, combining it with spectral deferred corrections and the Generalized Minimal Residual method GMRES. Without collision modelling, where numerical drift can be quantified accurately, we find that BGSDC can deliver higher quality particle distributions than the standard Boris integrator at comparable cost or comparable distributions at lower cost. With collision models, quantifying accuracy is difficult but we show that BGSDC produces stable distributions at larger time steps than Boris.


Basic Topological Concepts and a Construction of Real Numbers in Alternative Set Theory. Alternative set theory (AST) may be suitable for the ones who try to capture objects or phenomenons with some kind of indefiniteness of a border. While AST provides various notions for advanced mathematical studies, correspondence of them to that of conventional ones are not fully developed. This paper presents basic topological concepts in AST, and shows their correspondence with those of conventional ones, and isomorphicity of a system of real numbers in AST to that of conventional ones.


PEFP Efficient k hop Constrained s t Simple Path Enumeration on FPGA. Graph plays a vital role in representing entities and their relationships in a variety of fields, such as e commerce networks, social networks and biological networks. Given two vertices s and t, one of the fundamental problems in graph databases is to investigate the relationships between s and t. A well studied problem in such area is k hop constrained s t simple path enumeration. Nevertheless, all existing algorithms targeting this problem follow the DFS based paradigm, which cannot scale up well. Moreover, using hardware devices like FPGA to accelerate graph computation has become popular. Motivated by this, in this paper, we propose the first FPGA based algorithm PEFP to solve the problem of k hop constrained s t simple path enumeration efficiently. On the host side, we propose a preprocessing algorithm Pre BFS to reduce the graph size and search space. On the FPGA side in PEFP, we propose a novel DFS based batching technique to save on chip memory efficiently. In addition, we also propose caching techniques to cache necessary data in BRAM, which overcome the latency bottleneck brought by the read write operations from to FPGA DRAM. Finally, we propose a data separation technique to enable dataflow optimization for the path verification module hence the sub stages in that module can be executed in parallel. Comprehensive experiments show that PEFP outperforms the state of the art algorithm JOIN by more than 1 order of magnitude by average, and up to 2 orders of magnitude in terms of preprocessing time, query processing time and total time, respectively.


Periodic points and measures for a class of skew products. We consider the open set constructed by M. Shub in 42 of partially hyperbolic skew products on the space mathbb T 2 times mathbb T 2 whose non wandering set is not stable. We show that there exists an open set mathcal U of such diffeomorphisms such that if F S in mathcal U then its measure of maximal entropy is unique, hyperbolic and, generically, describes the distribution of periodic points. Moreover, the non wandering set of such an F S in mathcal U contains closed invariant subsets carrying entropy arbitrarily close to the topological entropy of F S and within which the dynamics is conjugate to a subshift of finite type. Under an additional assumption on the base dynamics, we verify that F S preserves a unique SRB measure, which is physical, whose basin has full Lebesgue measure and coincides with the measure of maximal entropy. We also prove that there exists a residual subset mathcal R of mathcal U such that if F S in mathcal R then the topological and periodic entropies of F S are equal, F S is asymptotic per expansive, has a sub exponential growth rate of the periodic orbits and admits a principal strongly faithful symbolic extension with embedding.


Deep learning of the spanwise averaged Navier Stokes equations. Simulations of turbulent fluid flow around long cylindrical structures are computationally expensive because of the vast range of length scales, requiring simplifications such as dimensional reduction. Current dimensionality reduction techniques such as strip theory and depth averaged methods do not take into account the natural flow dissipation mechanism inherent in the small scale three dimensional (3 D) vortical structures. We propose a novel flow decomposition based on a local spanwise average of the flow, yielding the spanwise averaged Navier Stokes (SANS) equations. The SANS equations include closure terms accounting for the 3 D effects otherwise not considered in 2 D formulations. A supervised machine learning (ML) model based on a deep convolutional neural network provides closure to the SANS system. A priori results show up to 92 correlation between target and predicted closure terms more than an order of magnitude better than the eddy viscosity model correlation. The trained ML model is also assessed for different Reynolds regimes and body shapes to the training case where, despite some discrepancies in the shear layer region, high correlation values are still observed. The new SANS equations and ML closure model are also used for a posteriori prediction. While we find evidence of known stability issues with long time ML predictions for dynamical systems, the closed SANS simulations are still capable of predicting wake metrics and induced forces with errors from 1 10 . This results in approximately an order of magnitude improvement over standard 2 D simulations while reducing the computational cost of 3 D simulations by 99.5 .


Rational homotopy type of mapping spaces via cohomology algebras. In this paper, we show that for finite CW complexes X and two stage space Y (for example n spheres S n , homogeneous spaces and F 0 spaces), the rational homotopy type of map(X, Y) is determined by the cohomology algebra H (X Q) and the rational homotopy type of Y . From this, we deduce the existence of H structures on a component of the mapping space map(X, Y) , assuming the cohomology algebras of X and Y are isomorphism. Finally, we will show that map(X, Y f) simeq map(X, Y f') if the corresponding emph Maurer Cartan elements are connected by an algebra automorphism of H ast(X, Q) .


A monoid version of the Brin Higman Thompson groups. We generalize the Brin Higman Thompson groups n G k,1 to monoids n M k,1 , for n ge 1 and k ge 2 , by replacing bijections by partial functions. The monoid n M k,1 has n G k,1 as its group of units, and is congruence simple. Moreover, n M k,1 is finitely generated, and for n ge 2 its word problem is sf coNP complete. We also present new results about higher dimensional joinless codes.


Polystable log Calabi Yau varieties and Gravitational instantons. Open Calabi Yau manifolds and log Calabi Yau varieties have been broadly studied over decades. Regarding them as "semistable" objects, we propose to consider their good proper subclass, which we regard as certain poly stable ones, morally corresponding to semistable with closed (minimal) orbits as the classical analogue of GIT. We partially confirm that the new polystability seems equivalent to the existence of non compact complete Ricci flat Kahler metrics with small volume growths, notably many examples of gravitational instantons. Also, we prove some compactness or polystable reduction type results, partially motivated by bubbles of compact Ricci flat metrics.


The Pushshift Telegram Dataset. Messaging platforms, especially those with a mobile focus, have become increasingly ubiquitous in society. These mobile messaging platforms can have deceivingly large user bases, and in addition to being a way for people to stay in touch, are often used to organize social movements, as well as a place for extremists and other ne'er do well to congregate. In this paper, we present a dataset from one such mobile messaging platform Telegram. Our dataset is made up of over 27.8K channels and 317M messages from 2.2M unique users. To the best of our knowledge, our dataset comprises the largest and most complete of its kind. In addition to the raw data, we also provide the source code used to collect it, allowing researchers to run their own data collection instance. We believe the Pushshift Telegram dataset can help researchers from a variety of disciplines interested in studying online social movements, protests, political extremism, and disinformation.


Hodge Iwasawa Theory II. We continue our study on the Hodge Iwasawa theory which is a continuation of our previous work on Hodge Iwasawa theory, which is aimed at higher dimensional deformation of higher dimensional Hodge structures over general analytic spaces or adic spaces. We still follow closely the approaches of Kedlaya Liu to study our Frobenius modules over the different kinds of period rings including more generalized perfect period rings and the corresponding imperfect period rings. It is desirable that one can globalize the deformed information in order to organize the deformed period rings into the corresponding sheaves with respect to the coefficient sheaves, which will build up some foundations on further application to moduli of Frobenius sheaves.


Markov Random Walks on Homogeneous Spaces and Diophantine Approximation on Fractals. In a first part, using the recent measure classification results of Eskin Lindenstrauss, we give a criterion to ensure a.s. equidistribution of empirical measures of an i.i.d. random walk on a homogeneous space G Gamma . Employing renewal and joint equidistribution arguments, this result is generalized in the second part to random walks with Markovian dependence. Finally, following a strategy of Simmons Weiss, we apply these results to Diophantine approximation problems on fractals and show that almost every point with respect to Hausdorff measure on a graph directed self similar set is of generic type, so in particular, well approximable.


Steady state diffusion approximations of Markov chains error analysis via the discrete Poisson equation. This paper uses the generator approach of Stein's method to analyze the gap between steady state distributions of Markov chains and diffusion processes. Until now, the standard way to invoke Stein's method for this problem was to use the Poisson equation for the diffusion as a starting point. The main technical difficulty with this approach is obtaining bounds on the derivatives of the solution to the Poisson equation, also known as Stein factor bounds. In this paper we propose starting with the discrete Poisson equation of the Markov chain. An important step in our approach is extending the discrete Poisson equation to be defined on the continuum where the diffusion is defined, and we achieve this by using interpolation. Although there are still Stein factor bounds to prove, these now correspond to the finite differences of the discrete Poisson equation solution, as opposed to the derivatives of the solution to the continuous one. Discrete Stein factor bounds can be easier to obtain, for instance when the drift is not everywhere differentiable, when the diffusion has a state dependent diffusion coefficient, or in the presence of a reflecting boundary condition. We use the join the shortest queue model in the Halfin Whitt regime as a working example to illustrate the methodology. We show that the steady state approximation error of the diffusion limit converges to zero at a rate of 1 sqrt n , where n is the number of servers in the system.


Vector Fitting. We introduce the Vector Fitting algorithm for the creation of reduced order models from the sampled response of a linear time invariant system. This data driven approach to reduction is particularly useful when the system under modeling is known only through experimental measurements. The theory behind Vector Fitting is presented for single and multiple input systems, together with numerical details, pseudocodes, and an open source implementation. We discuss how the reduced model can be made stable and converted to a variety of forms for use in virtually any modeling context. Finally, we survey recent extensions of the Vector Fitting algorithm geared towards time domain, parametric and distributed systems modeling.


Multiple colliding laser pulses as a basis for studying high field high energy physics. Apart from maximizing the strength of optical electromagnetic fields achievable at high intensity laser facilities, the collision of several phase matched laser pulses has been theoretically identified as a trigger of and way to study various phenomena. These range from the basic processes of strong field quantum electrodynamics to the extraordinary dynamics of the generated electron positron plasmas. This has paved the way for several experimental proposals aimed at both fundamental studies of matter at extreme conditions and the creation of particle and radiation sources. Because of the unprecedented capabilities of such sources they have the potential to open up new opportunities for experimental studies in nuclear and quark gluon physics. We here perform a systematic analysis of different regimes and opportunities achievable with the concept of multiple colliding laser pulses (MCLP), for both current and upcoming laser facilities. We reveal that several distinct regimes could be within reach of multi PW laser facilities.


Mixed Dimensional Auxiliary Space Preconditioners. This work introduces nodal auxiliary space preconditioners for discretizations of mixed dimensional partial differential equations. We first consider the continuous setting and generalize the regular decomposition to this setting. With the use of conforming mixed finite element spaces, we then expand these results to the discrete case and obtain a decomposition in terms of nodal Lagrange elements. In turn, nodal preconditioners are proposed analogous to the auxiliary space preconditioners of Hiptmair and Xu (2007). Numerical experiments show the performance of this preconditioner in the context of flow in fractured porous media.


Emotionally Aware Chatbots A Survey. Textual conversational agent or chatbots' development gather tremendous traction from both academia and industries in recent years. Nowadays, chatbots are widely used as an agent to communicate with a human in some services such as booking assistant, customer service, and also a personal partner. The biggest challenge in building chatbot is to build a humanizing machine to improve user engagement. Some studies show that emotion is an important aspect to humanize machine, including chatbot. In this paper, we will provide a systematic review of approaches in building an emotionally aware chatbot (EAC). As far as our knowledge, there is still no work focusing on this area. We propose three research question regarding EAC studies. We start with the history and evolution of EAC, then several approaches to build EAC by previous studies, and some available resources in building EAC. Based on our investigation, we found that in the early development, EAC exploits a simple rule based approach while now most of EAC use neural based approach. We also notice that most of EAC contain emotion classifier in their architecture, which utilize several available affective resources. We also predict that the development of EAC will continue to gain more and more attention from scholars, noted by some recent studies propose new datasets for building EAC in various languages.


Limit theorems for a minimal random walk model. We study the minimal random walk introduced by Kumar, Harbola and Lindenberg. It is a random process on 0, 1, ldots with unbounded memory which exhibits subdiffusive, diffusive and superdiffusive regimes. We prove the law of large numbers for the whole parameter set. Then we prove the central limit theorem and the law of the iterated logarithm for the minimal random walk under diffusive and marginally superdiffusive behaviors. More interestingly, we establish a result for the minimal random walk when it possesses the three regimes we show the convergence of its rescaled version to a non normal random variable.


A Deep Learning Approach to Grasping the Invisible. We study an emerging problem named "grasping the invisible" in robotic manipulation, in which a robot is tasked to grasp an initially invisible target object via a sequence of pushing and grasping actions. In this problem, pushes are needed to search for the target and rearrange cluttered objects around it to enable effective grasps. We propose to solve the problem by formulating a deep learning approach in a critic policy format. The target oriented motion critic, which maps both visual observations and target information to the expected future rewards of pushing and grasping motion primitives, is learned via deep Q learning. We divide the problem into two subtasks, and two policies are proposed to tackle each of them, by combining the critic predictions and relevant domain knowledge. A Bayesian based policy accounting for past action experience performs pushing to search for the target once the target is found, a classifier based policy coordinates target oriented pushing and grasping to grasp the target in clutter. The motion critic and the classifier are trained in a self supervised manner through robot environment interactions. Our system achieves a 93 and 87 task success rate on each of the two subtasks in simulation and an 85 task success rate in real robot experiments on the whole problem, which outperforms several baselines by large margins. Supplementary material is available at https sites.google.com umn.edu grasping invisible.


Sharp Statistical Properties for a Family of Multidimensional NonMarkovian Nonconformal Intermittent Maps. Intermittent maps of Pomeau Manneville type are well studied in one dimension, and also in higher dimensions if the map happens to be Markov. In general, the nonconformality of multidimensional intermittent maps represents a challenge that up to now is only partially addressed. We show how to prove sharp polynomial bounds on decay of correlations for a class of multidimensional intermittent maps. In addition we show that the optimal results on statistical limit laws for one dimensional intermittent maps hold also for the maps considered here. This includes the (functional) central limit theorem and local limit theorem, Berry Esseen estimates, large deviation estimates, convergence to stable laws and L 'evy processes, and infinite measure mixing.


Deterrence and Prevention based Model to Mitigate Information Security Insider Threats in Organisations. Previous studies show that information security breaches and privacy violations are important issues for organisations and people. It is acknowledged that decreasing the risk in this domain requires consideration of the technological aspects of information security alongside human aspects. Employees intentionally or unintentionally account for a significant portion of the threats to information assets in organisations. This research presents a novel conceptual framework to mitigate the risk of insiders using deterrence and prevention approaches. Deterrence factors discourage employees from engaging in information security misbehaviour in organisations, and situational crime prevention factors encourage them to prevent information security misconduct. Our findings show that perceived sanctions certainty and severity significantly influence individuals' attitudes and deter them from information security misconduct. In addition, the output revealed that increasing the effort, risk and reducing the reward (benefits of crime) influence the employees' attitudes towards prevent information security misbehaviour. However, removing excuses and reducing provocations do not significantly influence individuals' attitudes towards prevent information security misconduct. Finally, the output of the data analysis also showed that subjective norms, perceived behavioural control and attitude influence individuals' intentions, and, ultimately, their behaviour towards avoiding information security misbehaviour.


H O Unified Egocentric Recognition of 3D Hand Object Poses and Interactions. We present a unified framework for understanding 3D hand and object interactions in raw image sequences from egocentric RGB cameras. Given a single RGB image, our model jointly estimates the 3D hand and object poses, models their interactions, and recognizes the object and action classes with a single feed forward pass through a neural network. We propose a single architecture that does not rely on external detection algorithms but rather is trained end to end on single images. We further merge and propagate information in the temporal domain to infer interactions between hand and object trajectories and recognize actions. The complete model takes as input a sequence of frames and outputs per frame 3D hand and object pose predictions along with the estimates of object and action categories for the entire sequence. We demonstrate state of the art performance of our algorithm even in comparison to the approaches that work on depth data and ground truth annotations.


Workflow Provenance in the Lifecycle of Scientific Machine Learning. Machine Learning (ML) has already fundamentally changed several businesses. More recently, it has also been profoundly impacting the computational science and engineering domains, like geoscience, climate science, and health science. In these domains, users need to perform comprehensive data analyses combining scientific data and ML models to provide for critical requirements, such as reproducibility, model explainability, and experiment data understanding. However, scientific ML is multidisciplinary, heterogeneous, and affected by the physical constraints of the domain, making such analyses even more challenging. In this work, we leverage workflow provenance techniques to build a holistic view to support the lifecycle of scientific ML. We contribute with (i) characterization of the lifecycle and taxonomy for data analyses (ii) design principles to build this view, with a W3C PROV compliant data representation and a reference system architecture and (iii) lessons learned after an evaluation in an Oil Gas case using an HPC cluster with 393 nodes and 946 GPUs. The experiments show that the principles enable queries that integrate domain semantics with ML models while keeping low overhead ( 1 ), high scalability, and an order of magnitude of query acceleration under certain workloads against without our representation.


The characterization of Weihrauch reducibility in systems containing E PA omega QF AC 0,0 . We characterize Weihrauch reducibility in E PA omega QF AC 0,0 and all systems containing it by the provability in a linear variant of the same calculus using modifications of G "odel's Dialectica interpretation that incorporate ideas from linear logic, nonstandard arithmetic, higher order computability, and phase semantics.


A scaling improved inner outer decomposition of near wall turbulent motions. Near wall turbulent velocities in turbulent channel flows are decomposed into small scale and large scale components at y 100 by improving the predictive inner outer model of Baars et al. Phys. Rev. Fluids 1, 054406 (2016) , where y is the viscous normalized wall normal height. The small scale one is obtained by reducing the outer reference height (a parameter in the model) from the center of the logarithmic layer to y 100 , which can fully remove outer influences. On the other hand, the large scale one represents the near wall footprints of outer energy containing motions. We present plenty of evidences that demonstrate that the small scale motions are Reynolds number invariant with the viscous scaling, at friction Reynolds numbers between 1000 and 5200. At lower Reynolds numbers from 180 to 600, the small scales can not be scaled by the viscous units, and the vortical structures are progressively strengthened as Reynolds number increases, which is proposed as a possible mechanism responsible for the anomalous scaling behavior. Finally, it is found that a small scale part of the outer large scale footprint can be well scaled by the viscous units.


COVID 19 in Spain and India Comparing Policy Implications by Analyzing Epidemiological and Social Media Data. The COVID 19 pandemic has forced public health experts to develop contingent policies to stem the spread of infection, including measures such as partial complete lockdowns. The effectiveness of these policies has varied with geography, population distribution, and effectiveness in implementation. Consequently, some nations (e.g., Taiwan, Haiti) have been more successful than others (e.g., United States) in curbing the outbreak. A data driven investigation into effective public health policies of a country would allow public health experts in other nations to decide future courses of action to control the outbreaks of disease and epidemics. We chose Spain and India to present our analysis on regions that were similar in terms of certain factors (1) population density, (2) unemployment rate, (3) tourism, and (4) quality of living. We posit that citizen ideology obtainable from twitter conversations can provide insights into conformity to policy and suitably reflect on future case predictions. A milestone when the curves show the number of new cases diverging from each other is used to define a time period to extract policy related tweets while the concepts from a causality network of policy dependent sub events are used to generate concept clouds. The number of new cases is predicted using sentiment scores in a regression model. We see that the new case predictions reflects twitter sentiment, meaningfully tied to a trigger sub event that enables policy related findings for Spain and India to be effectively compared.


On the failure of Ornstein theory in the finitary category. We show the invalidity of finitary counterparts for three classification theorems The preservation of being a Bernoulli shift through factors, Sinai's factor theorem, and the weak Pinsker property. We construct a finitary factor of an i.i.d. process which is not finitarily isomorphic to an i.i.d. process, showing that being finitarily Bernoulli is not preserved through finitary factors. This refutes a conjecture of M. Smorodinsky 11 , which was first suggested by D. Rudolph 7 . We further show that any ergodic system is isomorphic to a process none of whose finitary factors are i.i.d. processes, and in particular, there is no general finitary Sinai's factor theorem for ergodic processes. An immediate consequence of this result is the invalidity of a finitary weak Pinsker property, answering a question of G. Pete and T. Austin 1 .


Procedural Generation of Initial States of Sokoban. Procedural generation of initial states of state space search problems have applications in human and machine learning as well as in the evaluation of planning systems. In this paper we deal with the task of generating hard and solvable initial states of Sokoban puzzles. We propose hardness metrics based on pattern database heuristics and the use of novelty to improve the exploration of search methods in the task of generating initial states. We then present a system called Beta that uses our hardness metrics and novelty to generate initial states. Experiments show that Beta is able to generate initial states that are harder to solve by a specialized solver than those designed by human experts.


Elaboration Tolerant Representation of Markov Decision Process via Decision Theoretic Extension of Probabilistic Action Language pBC . We extend probabilistic action language pBC with the notion of utility as in decision theory. The semantics of the extended pBC can be defined as a shorthand notation for a decision theoretic extension of the probabilistic answer set programming language LPMLN. Alternatively, the semantics of pBC can also be defined in terms of Markov Decision Process (MDP), which in turn allows for representing MDP in a succinct and elaboration tolerant way as well as to leverage an MDP solver to compute pBC . The idea led to the design of the system pbcplus2mdp, which can find an optimal policy of a pBC action description using an MDP solver. This paper is under consideration in Theory and Practice of Logic Programming (TPLP).


Constructing a subgradient from directional derivatives for functions of two variables. For any scalar valued bivariate function that is locally Lipschitz continuous and directionally differentiable, it is shown that a subgradient may always be constructed from the function's directional derivatives in the four compass directions, arranged in a so called "compass difference". When the original function is nonconvex, the obtained subgradient is an element of Clarke's generalized gradient, but the result appears to be novel even for convex functions. The function is not required to be represented in any particular form, and no further assumptions are required, though the result is strengthened when the function is additionally L smooth in the sense of Nesterov. For certain optimal value functions and certain parametric solutions of differential equation systems, these new results appear to provide the only known way to compute a subgradient. These results also imply that centered finite differences will converge to a subgradient for bivariate nonsmooth functions. As a dual result, we find that any compact convex set in two dimensions contains the midpoint of its interval hull. Examples are included for illustration, and it is demonstrated that these results do not extend directly to functions of more than two variables or sets in higher dimensions.


Radar detection rate comparison through a mobile robot platform at the ZalaZONE proving ground. Since an automotive driving vehicle is controlled by Advanced Driver Assistance Systems (ADAS) Automated Driving (AD) functions, the selected sensors for the perception process become a key component of the system. Therefore, the necessity of ensuring precise data is crucial. But the correctness of the data is not the only part that has to be ensured, the limitations of the different technologies to accurately sense the reality must be checked for an error free decision making according to the current scenario. In this context, this publication presents a comparison between two different automotive radars through our self developed robot mobile platform called SPIDER, and how they can detect different kinds of objects in the tests carried out at the ZalaZONE proving ground.


Canonical Weierstrass Representations for Maximal Space like Surfaces in RR 4 2 . It is known that any maximal space like surface without isotropic points in the four dimensional pseudo Euclidean space with neutral metric admits locally geometric parameters which are special case of isothermal parameters. With respect to such parameters the surface is determined uniquely up to a motion by the Gauss curvature and the curvature of the normal connection, which satisfy a system of two PDE's (the system of natural PDE's). For any maximal space like surface parametrized by canonical parameters we obtain a special Weierstrass representation canonical Weierstrass representation. These Weierstrass formulas allow us to solve explicitly the system of natural PDE's by virtue of two holomorphic functions in the Gauss plane. We find the relation between two pairs of holomorphic functions generating one and the same solution to the system of natural PDE's. We establish a geometric correspondence between the maximal space like surfaces of general type in RR 4 2 , the solutions to the system of natural PDE's and the pairs of holomorphic functions in the Gauss plane. We prove that any maximal space like surface in the four dimensional pseudo Euclidean space with neutral metric generates two maximal space like surfaces in the three dimensional Minkowski space and vice versa.


Don't Fish in Troubled Waters! Characterizing Coronavirus themed Cryptocurrency Scams. As COVID 19 has been spreading across the world since early 2020, a growing number of malicious campaigns are capitalizing the topic of COVID 19. COVID 19 themed cryptocurrency scams are increasingly popular during the pandemic. However, these newly emerging scams are poorly understood by our community. In this paper, we present the first measurement study of COVID 19 themed cryptocurrency scams. We first create a comprehensive taxonomy of COVID 19 scams by manually analyzing the existing scams reported by users from online resources. Then, we propose a hybrid approach to perform the investigation by 1) collecting reported scams in the wild and 2) detecting undisclosed ones based on information collected from suspicious entities (e.g., domains, tweets, etc). We have collected 195 confirmed COVID 19 cryptocurrency scams in total, including 91 token scams, 19 giveaway scams, 9 blackmail scams, 14 crypto malware scams, 9 Ponzi scheme scams, and 53 donation scams. We then identified over 200 blockchain addresses associated with these scams, which lead to at least 330K US dollars in losses from 6,329 victims. For each type of scams, we further investigated the tricks and social engineering techniques they used. To facilitate future research, we have released all the well labelled scams to the research community.


Efficient, sub 4 cycle, 1 mu m pumped optical parametric amplifier at 10 mu m based on BaGa4S7. We report on a mu J scale mid infrared optical parametric amplifier (OPA) based on the recently developed wide bandgap orthorhombic crystal, BaGa4S7 (BGS), and directly compare its performance to that of LiGaS2 (LGS) in the same OPA setup. The source is based on a single OPA stage amplifying supercontinuum seed pulses with a quantum efficiency of 29 at an idler wavelength of 10 mu m, featuring nominally carrier envelope phase stable pulses. As a result of pumping the OPA directly at 1 mu m, the overall conversion efficiency far exceeds that of traditional schemes based on OPA's followed by difference frequency generation. Chirp compensation using bulk germanium resulted in 126 fs pulses covering the 7.6 11.5 mu m spectral range. BGS holds great promise for power scaling due to its availability in larger single crystal sizes than LGS.


The matrix Dyson equation and its applications for random matrices. These lecture notes are a concise introduction of recent techniques to prove local spectral universality for a large class of random matrices. The general strategy is presented following the recent book with H.T. Yau. We extend the scope of this book by focusing on new techniques developed to deal with generalizations of Wigner matrices that allow for non identically distributed entries and even for correlated entries. This requires to analyze a system of nonlinear equations, or more generally a nonlinear matrix equation called the Matrix Dyson Equation (MDE). We demonstrate that stability properties of the MDE play a central role in random matrix theory. The analysis of MDE is based upon joint works with J. Alt, O. Ajanki, D. Schr "oder and T. Kr "uger that are supported by the ERC Advanced Grant, RANMAT 338804 of the European Research Council. The lecture notes were written for the 27th Annual PCMI Summer Session on Random Matrices held in 2017. The current edited version will appear in the IAS Park City Mathematics Series, Vol. 26.


Scaling Fine grained Modularity Clustering for Massive Graphs. Modularity clustering is an essential tool to understand complicated graphs. However, existing methods are not applicable to massive graphs due to two serious weaknesses. (1) It is difficult to fully reproduce ground truth clusters due to the resolution limit problem. (2) They are computationally expensive because all nodes and edges must be computed iteratively. This paper proposes gScarf, which outputs fine grained clusters within a short running time. To overcome the aforementioned weaknesses, gScarf dynamically prunes unnecessary nodes and edges, ensuring that it captures fine grained clusters. Experiments show that gScarf outperforms existing methods in terms of running time while finding clusters with high accuracy.


Learning Model Predictive Control for Connected Autonomous Vehicles. A Learning Model Predictive Controller (LMPC) is presented and tailored to platooning and Connected Autonomous Vehicles (CAVs) applications. The proposed controller builds on previous work on nonlinear LMPC, adapting its architecture and extending its capability to (a) handle dynamic environments and (b) account for data driven decision variables that derive from an unknown or unknowable function. The paper presents the control design approach, and shows how to recursively construct an outer loop candidate trajectory and an inner iterative LMPC controller that converges to an optimal strategy over both model driven and data driven variables. Simulation results show the effectiveness of the proposed control logic.


On subconvexity bounds for twisted L functions. We prove hybrid subconvexity bounds for a wide class of twisted L functions L(s,f times chi) at the central point, including a new instance of the Weyl subconvexity bound.