Handling Bidirectional Control Flow Technical Report. Pressed by the difficulty of writing asynchronous, event driven code, mainstream languages have recently been building in support for a variety of advanced control flow features. Meanwhile, experimental language designs have suggested effect handlers as a unifying solution to programmer defined control effects, subsuming exceptions, generators, and async await. Despite these trends, complex control flow in particular, control flow exhibiting a bidirectional pattern remains challenging to manage. We introduce bidirectional algebraic effects, a new programming abstraction that supports bidirectional control transfer in a more natural way. Handlers of bidirectional effects can raise further effects to transfer control back to the site where the initiating effect was raised, and can use themselves to handle their own effects. We present applications of this expressive power, which falls out naturally as we push toward the unification of effectful programming with object oriented programming. We pin down the mechanism and the unification formally using a core language that generalizes to effect operations and effect handlers. The usual propagation semantics of control effects such as exceptions conflicts with modular reasoning in the presence of effect polymorphism it breaks parametricity. Bidirectionality exacerbates the problem. Hence, we set out to show the core language, which builds on the existing tunneling semantics for algebraic effects, is not only type safe (no effects go unhandled), but also abstraction safe (no effects are accidentally handled). We devise a step indexed logical relations model, and construct its parametricity and soundness proofs. These core results are fully mechanized in Coq. Preliminary experiments show that as a first class language feature, bidirectional handlers can be implemented efficiently.


On a Hilbert Space Reformulation of Riemann Hypothesis. We explore Hilbert space reformulations of Riemann Hypothesis developed by Nyman, Beurling, B ' a ez Duarte, et. al. with a weighted Bergman space mathcal H A 1 2( mathbb D ) , i.e., Riemann hypothesis holds if and only if the Hilbert subspace mathcal H 0 spanned by a certain family of functions coincides with mathcal H . A condition that a function does not belong to mathcal H 0 bot is given. Moreover, it is proved that the von Neumann algebra generated by a certain monoid T mathbb N T k , k in mathbb N of operators is exactly B( mathcal H ) . As a result, Riemann hypothesis is true if and only if mathcal H 0 is T k ast invariant for all k in mathbb N .


Context Aware Family Dynamics based Internet of Things Access Control Towards Better Child Safety. Today, children are increasingly connected to the Internet and consume content and services through various means. It has been a challenge for less tech savvy parents to protect children from harmful content and services. Internet of Things (IoT) has made the situation much worse as IoT devices allow children to connect to the Internet in novel ways (e.g., connected refrigerators, TVs, and so on). In this paper, we propose mySafeHome, an approach which utilises family dynamics to provide a more natural, and intuitive access control mechanism to protect children from harmful content and services in the context of IoT. In mySafeHome, access control dynamically adapts based on the physical distance between family members. For example, a particular type of content can only be consumed, through TV, by children if the parents are in the same room (or hearing distance). mySafeHome allows parents to assess a given content by themselves. Our approach also aims to create granular levels of access control (e.g., block limit certain content, features, services, on certain devices when the parents are not in the vicinity). We developed a prototype using OpenHAB and several smart home devices to demonstrate the proposed approach. We believe that our approach also facilitates the creation of better relationships between family members. A demo can be viewed here http safehome.technology demo.


Smooth representations of unit groups of split basic algebras over non Archimedean local fields. We consider smooth representations of the unit group G mathcal A times of a finite dimensional split basic algebra mathcal A over a non Archimedean local field. In particular, we prove a version of Gutkin's conjecture, namely, we prove that every irreducible smooth representation of G is compactly induced by a one dimensional representation of the unit group of some subalgebra of mathcal A . We also discuss admissibility and unitarisability of smooth representations of G.


Learning a Unified Embedding for Visual Search at Pinterest. At Pinterest, we utilize image embeddings throughout our search and recommendation systems to help our users navigate through visual content by powering experiences like browsing of related content and searching for exact products for shopping. In this work we describe a multi task deep metric learning system to learn a single unified image embedding which can be used to power our multiple visual search products. The solution we present not only allows us to train for multiple application objectives in a single deep neural network architecture, but takes advantage of correlated information in the combination of all training data from each application to generate a unified embedding that outperforms all specialized embeddings previously deployed for each product. We discuss the challenges of handling images from different domains such as camera photos, high quality web images, and clean product catalog images. We also detail how to jointly train for multiple product objectives and how to leverage both engagement data and human labeled data. In addition, our trained embeddings can also be binarized for efficient storage and retrieval without compromising precision and recall. Through comprehensive evaluations on offline metrics, user studies, and online A B experiments, we demonstrate that our proposed unified embedding improves both relevance and engagement of our visual search products for both browsing and searching purposes when compared to existing specialized embeddings. Finally, the deployment of the unified embedding at Pinterest has drastically reduced the operation and engineering cost of maintaining multiple embeddings while improving quality.


NN sort Neural Network based Data Distribution aware Sorting. Sorting is a fundamental operation in computing. However, the speed of state of the art sorting algorithms on a single thread has reached their limits. Meanwhile, deep learning has demonstrated its potential to provide significant performance improvements in data mining and machine learning tasks. Therefore, it is interesting to explore whether sorting can also speed up by deep learning techniques. In this paper, a neural network based data distribution aware sorting method named NN sort is presented. Compared to traditional comparison based sorting algorithms, which need to compare the data elements in pairwise, NN sort leverages the neural network model to learn the data distribution and uses it to map disordered data elements into ordered ones. Although the complexity of NN sort is nlogn in theory, it can run in near linear time as being observed in most of the cases. Experimental results on both synthetic and real world datasets show that NN sort yields performance improvement by up to 10.9x over traditional sorting algorithms.


Proofs of two conjectures on the real zeros of the cylinder and Airy functions. We prove the enveloping property of the known divergent asymptotic expansions of the large real zeros of the cylinder and Airy functions, and thereby answering in the affirmative two conjectures posed by Elbert and Laforgia and by Fabijonas and Olver, respectively. The essence of the proof is the construction of analytic functions that return the zeros when evaluated along certain discrete sets of real numbers. By manipulating contour integrals of these functions, we derive the asymptotic expansions of the large zeros truncated after a finite number of terms plus remainders that can be estimated efficiently. The conjectures are then deduced as corollaries of these estimates. An analogous result for the associated phase function is also discussed.


Minimal models of L . Let S be an algebraic space, A an S abelian algebraic space, L an S fiberwise numerically trivial invertible module on A, and L the sheaf of regular sections of L considered as a G m torsor on A. We classify the S minimal models of L into two types.


EfficientSeg An Efficient Semantic Segmentation Network. Deep neural network training without pre trained weights and few data is shown to need more training iterations. It is also known that, deeper models are more successful than their shallow counterparts for semantic segmentation task. Thus, we introduce EfficientSeg architecture, a modified and scalable version of U Net, which can be efficiently trained despite its depth. We evaluated EfficientSeg architecture on Minicity dataset and outperformed U Net baseline score (40 mIoU) using the same parameter count (51.5 mIoU). Our most successful model obtained 58.1 mIoU score and got the fourth place in semantic segmentation track of ECCV 2020 VIPriors challenge.


How to Evaluate Trading Strategies Single Agent Market Replay or Multiple Agent Interactive Simulation?. We show how a multi agent simulator can support two important but distinct methods for assessing a trading strategy Market Replay and Interactive Agent Based Simulation (IABS). Our solution is important because each method offers strengths and weaknesses that expose or conceal flaws in the subject strategy. A key weakness of Market Replay is that the simulated market does not substantially adapt to or respond to the presence of the experimental strategy. IABS methods provide an artificial market for the experimental strategy using a population of background trading agents. Because the background agents attend to market conditions and current price as part of their strategy, the overall market is responsive to the presence of the experimental strategy. Even so, IABS methods have their own weaknesses, primarily that it is unclear if the market environment they provide is realistic. We describe our approach in detail, and illustrate its use in an example application The evaluation of market impact for various size orders.


On Banzhaf and Shapley Shubik Fixed Points and Divisor Voting Systems. The Banzhaf and Shapley Shubik power indices were first introduced to measure the power of voters in a weighted voting system. Given a weighted voting system, the fixed point of such a system is found by continually reassigning each voter's weight with its power index until the system can no longer be changed by the operation. We characterize all fixed points under the Shapley Shubik power index of the form (a,b, ldots,b) and give an algebraic equation which can verify in principle whether a point of this form is fixed for Banzhaf we also generate Shapley Shubik fixed classes of the form (a,a,b, ldots,b) . We also investigate the indices of divisor voting systems of abundant numbers and prove that the Banzhaf and Shapley Shubik indices differ for some cases.


A general framework for substructuring based domain decomposition methods for models having nonlocal interactions. A rigorous mathematical framework is provided for a substructuring based domain decomposition approach for nonlocal problems that feature interactions between points separated by a finite distance. Here, by substructuring it is meant that a traditional geometric configuration for local partial differential equation problems is used in which a computational domain is subdivided into non overlapping subdomains. In the nonlocal setting, this approach is substructuring based in the sense that those subdomains interact with neighboring domains over interface regions having finite volume, in contrast to the local PDE setting in which interfaces are lower dimensional manifolds separating abutting subdomains. Key results include the equivalence between the global, single domain nonlocal problem and its multi domain reformulation, both at the continuous and discrete levels. These results provide the rigorous foundation necessary for the development of efficient solution strategies for nonlocal domain decomposition methods.


A cardiac electromechanics model coupled with a lumped parameters model for closed loop blood circulation. Part II numerical approximation. In the framework of accurate and efficient segregated schemes for 3D cardiac electromechanics and 0D cardiovascular models, we propose here a novel numerical approach to address the coupled 3D 0D problem introduced in Part I of this two part series of papers. We combine implicit explicit schemes to solve the different cardiac models in a multiphysics setting. We properly separate and manage the different time and space scales related to cardiac electromechanics and blood circulation. We employ a flexible and scalable intergrid transfer operator that enables to interpolate Finite Element functions among different meshes and, possibly, among different Finite Element spaces. We propose a numerical method to couple the 3D electromechanical model and the 0D circulation model in a numerically stable manner within a fully segregated fashion. No adaptations are required through the different phases of the heartbeat. We also propose a robust algorithm to reconstruct the stress free reference configuration. Due to the computational cost associated with the numerical solution of this inverse problem, the reference configuration recovery algorithm comes along with a novel projection technique to precisely recover the unloaded geometry from a coarser representation of the computational domain. We show the convergence property of our numerical schemes by performing an accuracy study through grid refinement. To prove the biophysical accuracy of our computational model, we also address different scenarios of clinical interest in our numerical simulations by varying preload, afterload and contractility. Indeed, we simulate physiologically relevant behaviors and we reproduce meaningful results in the context of cardiac function.


Emission tomography with a multi bang assumption on attenuation. We consider the problem of joint reconstruction of both attenuation a and source density f in emission tomography in two dimensions. This is sometimes called the Single Photon Emission Computed Tomography (SPECT) identification problem, or referred to as attenuation correction in SPECT. Assuming that a takes only finitely many values and f in C c 1( mathbb R 2) we are able to characterise singularities appearing in the Attenuated Radon Transform R a f , which models emission tomography data. Using this characterisation we prove that both a and f can be determined in some circumstances. We also propose a numerical algorithm to jointly compute a and f from R af based on a weakly convex regularizer when a only takes values from a known finite list, and show that this algorithm performs well on some synthetic examples.


Large amplitude electromagnetic solitons in a fully relativistic magnetized electron positron pair plasma. Nonlinear propagation of purely stationary large amplitude electromagnetic (EM) solitary waves in a magnetized electron positron (EP) plasma is studied using a fully relativistic two fluid hydrodynamic model which accounts for physical regimes of both weakly relativistic (P ll nmc 2) and ultrarelativistic (P gg nmc 2) random thermal energies. Here, P is the thermal pressure, n the number density and m the mass of a particle, and c is the speed of light in vacuum. Previous theory in the literature Phys. Plasmas textbf 11 , 3078 (2004) is advanced and generalized by the relativistic thermal motion of both electrons and positrons. While both the sub Alfv 'e nic and super Alfv 'e nic solitons coexist in the weakly relativistic regime, the ultrarelativistic EP plasmas in contrast support only the sub Alfv 'e nic solitons. Different limits of the Mach numbers and soliton amplitudes are also examined in these two physical regimes.


Apprentissage de la pens 'ee informatique de la formation des enseignant cdot e cdot s a la formation de tou cdot te cdot s les citoyen cdot ne cdot s. In recent years, in France, computer learning (under the term of code) has entered the school curriculum, in primary and high school. This learning is also aimed at developing computer thinking to enable students, girls and boys, to start master all aspects of the digital world (science, technology, industry, culture). However, neither teachers, nor parents are trained to teach or educate on these topics. Furthermore, if the educational system progresses progressively towards these objectives, in everyday life and in professional context there is also a need for lifelong training in computer thinking. Large scale projects on coding initiation are now quite successful in supporting the training of professionals in education on these topics. However, they require an infrastructure of people and important resources to maintain their level of efficiency. In order to further develop the objectives ofhelping people to demystify IT thinking, we aim to question here the way by which it is possible to conceive a concrete and operational initiative that addresses this issue. A huge challenge Let's share a proposal here and discuss it.


Weak formulation and scaling properties of energy fluxes in 3D numerical turbulent Rayleigh B 'enard convection. We apply the weak formalism on the Boussinesq equations, to characterize scaling properties of the mean and the standard deviation of the potential, kinetic and viscous energy flux in very high resolution numerical simulations. The local Bolgiano Oboukhov length L BO is investigated and it is found that its value may change of an order of magnitude through the domain, in agreement with previous results. We investigate the scale by scale averaged terms of the weak equations, which are a generalization of the Karman Howarth Monin and Yaglom equations. We have not found the classical Bolgiano Oboukhov picture, but evidence of a mixture of Bolgiano Oboukhov and Kolmogorov scalings. In particular, all the terms are compatible with a Bolgiano Oboukhov local H "older exponent for the temperature and a Kolmogorov 41 for the velocity. This behavior may be related to anisotropy and to the strong heterogeneity of the convective flow, reflected in the wide distribution of Bolgiano Oboukhov local scales. The scale by scale analysis allows us also to compare the theoretical Bolgiano Oboukhov length L BO computed from its definition with that empirically extracted through scalings obtained from weak analysis. The key result of the work is to show that the analysis of local weak formulation of the problem is powerful to characterize the fluctuation properties.


Variance and interest rate risk in unit linked insurance policies. One of the risks derived from selling long term policies that any insurance company has, arises from interest rates. In this paper we consider a general class of stochastic volatility models written in forward variance form. We also deal with stochastic interest rates to obtain the risk free price for unit linked life insurance contracts, as well as providing a perfect hedging strategy by completing the market. We conclude with a simulation experiment, where we price unit linked policies using Norwegian mortality rates. In addition we compare prices for the classical Black Scholes model against the Heston stochastic volatility model with a Vasicek interest rate model.


SL 2(R) developments and Signature Asymptotics for Planar Paths with Bounded Variation. It was implicitly conjectured in the renowned work of Hambly Lyons in 2010, which was later made explicit by Chang Lyons Ni in 2018, that the length of a continuous path with finite length can be recovered from the asymptotics of its normalised signature transform. Such a property relies critically on a key non degeneracy notion known as tree reducedness. In the present article, we establish this signature asymptotics formula for planar paths with finite lengths, under a natural condition capturing this tree reduced property. Our technique is based on lifting the path onto the special linear group SL 2(R) and analysing the behaviour of the associated angle dynamics at a microscopic level.


Mention Extraction and Linking for SQL Query Generation. On the WikiSQL benchmark, state of the art text to SQL systems typically take a slot filling approach by building several dedicated models for each type of slots. Such modularized systems are not only complex butalso of limited capacity for capturing inter dependencies among SQL clauses. To solve these problems, this paper proposes a novel extraction linking approach, where a unified extractor recognizes all types of slot mentions appearing in the question sentence before a linker maps the recognized columns to the table schema to generate executable SQL queries. Trained with automatically generated annotations, the proposed method achieves the first place on the WikiSQL benchmark.


A Definition and a Test for Human Level Artificial Intelligence. Despite recent advances in many application specific domains, we do not know how to build a human level artificial intelligence (HLAI). We conjecture that learning from others' experience with the language is the essential characteristic that distinguishes human intelligence from the rest. Humans can update the action value function with the verbal description as if they experience states, actions, and corresponding rewards sequences firsthand. In this paper, we present a classification of intelligence according to how individual agents learn and propose a definition and a test for HLAI. The main idea is that language acquisition without explicit rewards can be a sufficient test for HLAI.


On spherically symmetric Finsler metric with scalar and constant flag curvature. In this paper we study spherically symmetric metrics on a symmetric space in mathbb R n with scalar and constant flag curvature and we also obtain families of this type of metrics. Many explicit examples are provided for Douglas metrics with scalar and constant flag curvature. Furthermore, new examples of projectively flat Finsler metrics are given. We also provide a family of spherically symmetric Finsler metrics which are not of Douglas type.


Corruption and Audit in Strategic Argumentation. Strategic argumentation provides a simple model of disputation and negotiation among agents. Although agents might be expected to act in our best interests, there is little that enforces such behaviour. (Maher, 2016) introduced a model of corruption and resistance to corruption within strategic argumentation. In this paper we identify corrupt behaviours that are not detected in that formulation. We strengthen the model to detect such behaviours, and show that, under the strengthened model, all the strategic aims in (Maher, 2016) are resistant to corruption.


Fast Approximate Modelling of the Next Combination Result for Stopping the Text Recognition in a Video. In this paper, we consider a task of stopping the video stream recognition process of a text field, in which each frame is recognized independently and the individual results are combined together. The video stream recognition stopping problem is an under researched topic with regards to computer vision, but its relevance for building high performance video recognition systems is clear. Firstly, we describe an existing method of optimally stopping such a process based on a modelling of the next combined result. Then, we describe approximations and assumptions which allowed us to build an optimized computation scheme and thus obtain a method with reduced computational complexity. The methods were evaluated for the tasks of document text field recognition and arbitrary text recognition in a video. The experimental comparison shows that the introduced approximations do not diminish the quality of the stopping method in terms of the achieved combined result precision, while dramatically reducing the time required to make the stopping decision. The results were consistent for both text recognition tasks.


Why Machines Cannot Learn Mathematics, Yet. Nowadays, Machine Learning (ML) is seen as the universal solution to improve the effectiveness of information retrieval (IR) methods. However, while mathematics is a precise and accurate science, it is usually expressed by less accurate and imprecise descriptions, contributing to the relative dearth of machine learning applications for IR in this domain. Generally, mathematical documents communicate their knowledge with an ambiguous, context dependent, and non formal language. Given recent advances in ML, it seems canonical to apply ML techniques to represent and retrieve mathematics semantically. In this work, we apply popular text embedding techniques to the arXiv collection of STEM documents and explore how these are unable to properly understand mathematics from that corpus. In addition, we also investigate the missing aspects that would allow mathematics to be learned by computers.


Analysis of the error correction capability of LDPC and MDPC codes under parallel bit flipping decoding and application to cryptography. Iterative decoders used for decoding low density parity check (LDPC) and moderate density parity check (MDPC) codes are not characterized by a deterministic decoding radius and their error rate performance is usually assessed through intensive Monte Carlo simulations. However, several applications, like code based cryptography, need guaranteed low values of the error rate, which are infeasible to assess through simulations, thus requiring the development of theoretical models for the error rate of these codes under iterative decoding. Some models of this type already exist, but become computationally intractable for parameters of practical interest. Other approaches approximate the code ensemble behaviour through some assumptions, which may not hold true for a specific code. We propose a theoretical analysis of the error correction capability of LDPC and MDPC codes that allows deriving tight bounds on the error rate at the output of parallel bit flipping decoders. Special attention is devoted to the case of codes with small girth moreover, single iteration decoding is investigated through a rigorous approach, which does not require any assumption and hence results in a guaranteed error correction capability for any single code. We show an example of application of the new bound to the context of code based cryptography, where guaranteed error rates are needed to achieve some strong security levels.


The Economics of Smart Contracts. Ethereum is a distributed blockchain that can execute smart contracts, which inter communicate and perform transactions automatically. The execution of smart contracts is paid in the form of gas, which is a monetary unit used in the Ethereum blockchain. The Ethereum Virtual Machine (EVM) provides the metering capability for smart contract execution. Instruction costs vary depending on the instruction type and the approximate computational resources required to execute the instruction on the network. The cost of gas is adjusted using transaction fees to ensure adequate payment of the network. In this work, we highlight the "real" economics of smart contracts. We show that the actual costs of executing smart contracts are disproportionate to the computational costs and that this gap is continuously widening. We show that the gas cost model of the underlying EVM instruction set is wrongly modeled. Specifically, the computational cost for the SLOAD instruction increases with the length of the blockchain. Our proposed performance model estimates gas usage and execution time of a smart contract at a given block height. The new gas cost model incorporates the block height to eliminate irregularities in the Ethereum gas calculations. Our findings are based on extensive experiments over the entire history of the EVM blockchain.


Cooperative Rate Splitting for MISO Broadcast Channel with User Relaying, and Performance Benefits over Cooperative NOMA. Due to its promising performance in a wide range of practical scenarios, Rate Splitting (RS) has recently received significant attention in academia for the downlink of communication systems. In this letter, we propose and analyse a Cooperative Rate Splitting (CRS) strategy based on the three node relay channel where the transmitter is equipped with multiple antennas. By splitting user messages and linearly precoding common and private streams at the transmitter, and opportunistically asking the relaying user to forward its decoded common message, CRS can efficiently cope with a wide range of propagation conditions (disparity of user channel strengths and directions) and compensate for the performance degradation due to deep fading. The precoder design and the resource allocation are optimized by solving the Weighted Sum Rate (WSR) maximization problem. Numerical results demonstrate that our proposed CRS scheme can achieve an explicit rate region improvement compared to its non cooperative counterpart and other cooperative strategies (such as cooperative NOMA).


The Way of the Dagger. A dagger category is a category equipped with a functorial way of reversing morphisms, i.e. a contravariant involutive identity on objects endofunctor. Dagger categories with additional structure have been studied under different names e.g. in categorical quantum mechanics and algebraic field theory. In this thesis we study the dagger in its own right and show how basic category theory adapts to dagger categories. We develop a notion of a dagger limit that we show is suitable in the following ways it subsumes special cases known from the literature dagger limits are unique up to unitary isomorphism a wide class of dagger limits can be built from a small selection of them dagger limits of a fixed shape can be phrased as dagger adjoints to a diagonal functor dagger limits can be built from ordinary limits in the presence of polar decomposition dagger limits commute with dagger colimits in many cases. Using cofree dagger categories, the theory of dagger limits can be leveraged to provide an enrichment free understanding of limit colimit coincidences in ordinary category theory. We formalize the concept of an ambilimit, and show that it captures known cases. As a special case, we show how to define biproducts up to isomorphism in an arbitrary category without assuming any enrichment. Moreover, the limit colimit coincidence from domain theory can be generalized to the unenriched setting and we show that, under suitable assumptions, a wide class of endofunctors has canonical fixed points. The theory of monads on dagger categories works best when all structure respects the dagger the monad and adjunctions should preserve the dagger, and the monad and its algebras should satisfy the so called Frobenius law. Then any monad resolves as an adjunction, with extremal solutions given by the categories of Kleisli and Frobenius Eilenberg Moore algebras, which again have a dagger.


Joint Frequency and Phase Modulation for Backscatter Tag Assisted Vehicular Positioning. Autonomous driving (auto driving) has been becoming a killer technology for next generation vehicles, whereas some fatal accidents grow concerns about its safety. A fundamental function for safer auto driving is to recognize the vehicles' locations, termed vehicular positioning. The state of the art vehicular positioning is to rely on anchors that are stationary objects whose locations are known, i.e. satellites for GPS and base stations for cellular positioning. It is important for reliable positioning to install anchors densely, helping find enough anchors nearby. For the deployment to be cost effective, there are some trials to use backscatter tags as alternative anchors by deploying them on a road surface, but its gain is limited by several reasons such as short contact time and difficulties in maintenance. Instead, we propose a new backscatter tag assisted vehicular positioning system where tags are deployed along a roadside, which enables the extension of contact duration and facilitates the maintenance. On the other hand, there is a location mismatch between the vehicle and the tag, calling for developing a new backscatter transmission to estimate their relative position. To this end, we design a novel waveform called joint frequency and phase modulation (JFPM) for backscatter tag assisted vehicular positioning where a transmit frequency is modulated for the distance estimation assuming that the relevant signal is clearly differentiable from the others while the phase modulation helps the differentiation. The JFPM waveform leads to exploiting the maximum Degree of Freedoms (DoFs) of backscatter channel in which multiple access and broadcasting channels coexist, leading to more accurate positioning verified by extensive simulations.


Building a Massive Corpus for Named Entity Recognition using Free Open Data Sources. With the recent progress in machine learning, boosted by techniques such as deep learning, many tasks can be successfully solved once a large enough dataset is available for training. Nonetheless, human annotated datasets are often expensive to produce, especially when labels are fine grained, as is the case of Named Entity Recognition (NER), a task that operates with labels on a word level. In this paper, we propose a method to automatically generate labeled datasets for NER from public data sources by exploiting links and structured data from DBpedia and Wikipedia. Due to the massive size of these data sources, the resulting dataset SESAME Available at https sesame pt.github.io is composed of millions of labeled sentences. We detail the method to generate the dataset, report relevant statistics, and design a baseline using a neural network, showing that our dataset helps building better NER predictors.


A Tandem Learning Rule for Effective Training and Rapid Inference of Deep Spiking Neural Networks. Spiking neural networks (SNNs) represent the most prominent biologically inspired computing model for neuromorphic computing (NC) architectures. However, due to the non differentiable nature of spiking neuronal functions, the standard error back propagation algorithm is not directly applicable to SNNs. In this work, we propose a tandem learning framework, that consists of an SNN and an Artificial Neural Network (ANN) coupled through weight sharing. The ANN is an auxiliary structure that facilitates the error back propagation for the training of the SNN at the spike train level. To this end, we consider the spike count as the discrete neural representation in the SNN, and design ANN neuronal activation function that can effectively approximate the spike count of the coupled SNN. The proposed tandem learning rule demonstrates competitive pattern recognition and regression capabilities on both the conventional frame based and event based vision datasets, with at least an order of magnitude reduced inference time and total synaptic operations over other state of the art SNN implementations. Therefore, the proposed tandem learning rule offers a novel solution to training efficient, low latency, and high accuracy deep SNNs with low computing resources.


Analysis of the Impact of High Frequency Trading on Artificial Market Liquidity. Many empirical studies have discussed market liquidity, which is regarded as a measure of a booming financial market. Further, various indicators for objectively evaluating market liquidity have also been proposed and their merits have been discussed. In recent years, the impact of high frequency traders (HFTs) on financial markets has been a focal concern, but no studies have systematically discussed their relationship with major market liquidity indicators, including volume, tightness, resiliency, and depth. In this study, we used agent based simulations to compare the major liquidity indicators in an artificial market where an HFT participated was compared to one where no HFT participated. The results showed that all liquidity indicators in the market where an HFT participated improved more than those in the market where no HFT participated. Furthermore, as a result of investigating the correlations between the major liquidity indicators in our simulations and the extant empirical literature, we found that market liquidity can be measured not only by the major liquidity indicators but also by execution rate. Therefore, it is suggested that it could be appropriate to employ execution rate as a novel liquidity indicator in future studies.


Right, left and double division in semigroups that are semilattices of groups. The binary products of right, left or double division in semigroups that are semilattices of groups give interesting groupoid structures that are in one to one correspondence with semigroups that are semilattices of groups. This work is inspired by the known one to one correspondence between groups and Ward quasigroups.


Efficient Clustering from Distributions over Topics. There are many scenarios where we may want to find pairs of textually similar documents in a large corpus (e.g. a researcher doing literature review, or an R D project manager analyzing project proposals). To programmatically discover those connections can help experts to achieve those goals, but brute force pairwise comparisons are not computationally adequate when the size of the document corpus is too large. Some algorithms in the literature divide the search space into regions containing potentially similar documents, which are later processed separately from the rest in order to reduce the number of pairs compared. However, this kind of unsupervised methods still incur in high temporal costs. In this paper, we present an approach that relies on the results of a topic modeling algorithm over the documents in a collection, as a means to identify smaller subsets of documents where the similarity function can then be computed. This approach has proved to obtain promising results when identifying similar documents in the domain of scientific publications. We have compared our approach against state of the art clustering techniques and with different configurations for the topic modeling algorithm. Results suggest that our approach outperforms ( 0.5) the other analyzed techniques in terms of efficiency.


Instability of rational and polynomial convexity. It is shown that rational and polynomial convexity of totally real submanifolds is in general unstable under perturbations that are C alpha small for any H "older exponent alpha 1 . This complements the result of L o w and Wold that these properties are C 1 stable.


Spreading of infections on random graphs A percolation type model for COVID 19. We introduce an epidemic spreading model on a network using concepts from percolation theory. The model is motivated by discussing the standard SIR model, with extensions to describe effects of lockdowns within a population. The underlying ideas and behavior of the lattice model, implemented using the same lockdown scheme as for the SIR scheme, are discussed in detail and illustrated with extensive simulations. A comparison between both models is presented for the case of COVID 19 data from the USA. Both fits to the empirical data are very good, but some differences emerge between the two approaches which indicate the usefulness of having an alternative approach to the widespread SIR model.


Range preserving maps between the spaces of continuous functions with values in a locally convex space. Let C(X,E) be the linear space of all continuous functions on a compact Hausdorff space X with values in a locally convex space E . We characterize maps T C(X,E) to C(Y,E) which satisfy mathrm Ran (TF TG) subset mathrm Ran (F G) for all F,G in C(X,E) .


Strongly coupled aeroelastic free vortex wake framework for floating offshore wind turbine rotors. Part 2 Application. This two part paper presents the integration of the free vortex wake method (FVM) with an aeroelastic framework suitable to model the rotor wake interactions engendered by floating offshore wind turbine (FOWT) rotors in operation. Part 1 of this paper introduces the numerical development and validation of an aeroelastic framework. Due to a lack of experimental aeroelastic benchmarks for FOWTs, a series of validation studies are conducted against the rotor aerodynamic and structural performance of the National Renewable Energy Laboratory (NREL) 5 MW reference wind turbine. Part 2 of this paper focuses on the modeling and simulating different aeroelastic operational conditions of FOWTs. Numerical results of the current framework capture consistently the aerodynamic rotor performance, such as power, thrust, and torque of wave induced pitching FOWTs. In addition, the presented aeroelastic framework yields additional information about the power, thrust, and torque fluctuations due to the out of phase blade passing frequency and corresponding blade deflections. The fidelity of the presented framework demonstrates, for the first time, an FVM based aeroelastic method capable of carrying out investigations on rotor wake interactions and relevant aeroelastic phenomena of FOWTs.


Better Distractions Transformer based Distractor Generation and Multiple Choice Question Filtering. For the field of education, being able to generate semantically correct and educationally relevant multiple choice questions (MCQs) could have a large impact. While question generation itself is an active research topic, generating distractors (the incorrect multiple choice options) receives much less attention. A missed opportunity, since there is still a lot of room for improvement in this area. In this work, we train a GPT 2 language model to generate three distractors for a given question and text context, using the RACE dataset. Next, we train a BERT language model to answer MCQs, and use this model as a filter, to select only questions that can be answered and therefore presumably make sense. To evaluate our work, we start by using text generation metrics, which show that our model outperforms earlier work on distractor generation (DG) and achieves state of the art performance. Also, by calculating the question answering ability, we show that larger base models lead to better performance. Moreover, we conducted a human evaluation study, which confirmed the quality of the generated questions, but showed no statistically significant effect of the QA filter.


A new treatment of convex functions. Convex functions have played a major role in the field of Mathematical inequalities. In this paper, we introduce a new concept related to convexity, which proves better estimates when the function is somehow more convex than another. In particular, we define what we called g convexity as a generalization of log convexity. Then we prove that g convex functions have better estimates in certain known inequalities like the Hermite Hadard inequality, super additivity of convex functions, the Majorization inequality and some means inequalities. Strongly related to this, we define the index of convexity as a measure of how much the function is convex". Applications including Hilbert space operators, matrices and entropies will be presented in the end.


An experiment exploring the theoretical and methodological challenges in developing a semi automated approach to analysis of small N qualitative data. This paper experiments with designing a semi automated qualitative data analysis (QDA) algorithm to analyse 20 transcripts by using freeware. Text mining (TM) and QDA were guided by frequency and association measures, because these statistics remain robust when the sample size is small. The refined TM algorithm split the text into various sizes based on a manually revised dictionary. This lemmatisation approach may reflect the context of the text better than uniformly tokenising the text into one single size. TM results were used for initial coding. Code repacking was guided by association measures and external data to implement a general inductive QDA approach. The information retrieved by TM and QDA was depicted in subgraphs for comparisons. The analyses were completed in 6 7 days. Both algorithms retrieved contextually consistent and relevant information. However, the QDA algorithm retrieved more specific information than TM alone. The QDA algorithm does not strictly comply with the convention of TM or of QDA, but becomes a more efficient, systematic and transparent text analysis approach than a conventional QDA approach. Scaling up QDA to reliably discover knowledge from text was exactly the research purpose. This paper also sheds light on understanding the relations between information technologies, theory and methodologies.


Applying Lie Groups Approaches for Rigid Registration of Point Clouds. In the last decades, some literature appeared using the Lie groups theory to solve problems in computer vision. On the other hand, Lie algebraic representations of the transformations therein were introduced to overcome the difficulties behind group structure by mapping the transformation groups to linear spaces. In this paper we focus on application of Lie groups and Lie algebras to find the rigid transformation that best register two surfaces represented by point clouds. The so called pairwise rigid registration can be formulated by comparing intrinsic second order orientation tensors that encode local geometry. These tensors can be (locally) represented by symmetric non negative definite matrices. In this paper we interpret the obtained tensor field as a multivariate normal model. So, we start with the fact that the space of Gaussians can be equipped with a Lie group structure, that is isomorphic to a subgroup of the upper triangular matrices. Consequently, the associated Lie algebra structure enables us to handle Gaussians, and consequently, to compare orientation tensors, with Euclidean operations. We apply this methodology to variants of the Iterative Closest Point (ICP), a known technique for pairwise registration. We compare the obtained results with the original implementations that apply the comparative tensor shape factor (CTSF), which is a similarity notion based on the eigenvalues of the orientation tensors. We notice that the similarity measure in tensor spaces directly derived from Lie's approach is not invariant under rotations, which is a problem in terms of rigid registration. Despite of this, the performed computational experiments show promising results when embedding orientation tensor fields in Lie algebras.


Photonic hook generated by twin ellipse microcylinder. Recently, two special photonic jets, photonic hooks and twin photonic jets, have been proposed to deal with complex conditions in nanoscale manipulation. Photonic hooks are generated by a single light plane wave and an asymmetric microparticle, while the twin photonic jets are produced by two incident light beams. In this letter, we presented and demonstrate a method to combine photonic hooks and twin photonic jets. A single light plane wave and a symmetric microparticle, twin ellipse microcylinder, are used in this research. The curvature degree, length and maximum E2 filed enhancement of twin photonic hooks are varied significantly, with the change of refractive indices and shape of twin ellipse microcylinder. And a liquid immersed core shell is built to achieve a flexible tunability.


Hinting Semantic Parsing with Statistical Word Sense Disambiguation. The task of Semantic Parsing can be approximated as a transformation of an utterance into a logical form graph where edges represent semantic roles and nodes represent word senses. The resulting representation should be capture the meaning of the utterance and be suitable for reasoning. Word senses and semantic roles are interdependent, meaning errors in assigning word senses can cause errors in assigning semantic roles and vice versa. While statistical approaches to word sense disambiguation outperform logical, rule based semantic parsers for raw word sense assignment, these statistical word sense disambiguation systems do not produce the rich role structure or detailed semantic representation of the input. In this work, we provide hints from a statistical WSD system to guide a logical semantic parser to produce better semantic type assignments while maintaining the soundness of the resulting logical forms. We observe an improvement of up to 10.5 in F score, however we find that this improvement comes at a cost to the structural integrity of the parse


A rank of partitions with overline designated summands. Andrews, Lewis and Lovejoy introduced the partition function PD(n) as the number of partitions of n with designated summands. In a recent work, Lin studied a partition function PD t (n) which counts the number of tagged parts over all the partitions of n with designated summands. He proved that PD t (3n 2) is divisible by 3 . In this paper, we first introduce a structure named partitions with overline designated summands, which is counted by PD t(n) . We then define a generalized rank of partitions with overline designated summands and give a combinatorial interpretation of the congruence for PD t(3n 2) .


A free group valued invariant of free knots. The aim of the present paper is to construct series of invariants of free knots (flat virtual knots, virtual knots) valued in free groups (and also free products of cyclic groups). (Some minor mistakes are corrected)


No Switching Policy is Optimal for a Positive Linear System with a Bottleneck Entrance. We consider a nonlinear SISO system that is a cascade of a scalar "bottleneck entrance" and an arbitrary Hurwitz positive linear system. This system entrains i.e. in response to a T periodic inflow every solution converges to a unique T periodic solution of the system. We study the problem of maximizing the averaged throughput via controlled switching. The objective is to choose a periodic inflow rate with a given mean value that maximizes the averaged outflow rate of the system. We compare two strategies 1) switching between a high and low value, and 2) using a constant inflow equal to the prescribed mean value. We show that no switching policy can outperform a constant inflow rate, though it can approach it asymptotically. We describe several potential applications of this problem in traffic systems, ribosome flow models, and scheduling at security checks.


Visilant Visual Support for the Exploration and Analytical Process Tracking in Criminal Investigations. The daily routine of criminal investigators consists of a thorough analysis of highly complex and heterogeneous data of crime cases. Such data can consist of case descriptions, testimonies, criminal networks, spatial and temporal information, and virtually any other data that is relevant for the case. Criminal investigators work under heavy time pressure to analyze the data for relationships, propose and verify several hypotheses, and derive conclusions, while the data can be incomplete or inconsistent and is changed and updated throughout the investigation, as new findings are added to the case. Based on a four year intense collaboration with criminalists, we present a conceptual design for a visual tool supporting the investigation workflow and Visilant, a web based tool for the exploration and analysis of criminal data guided by the proposed design. Visilant aims to support namely the exploratory part of the investigation pipeline, from case overview, through exploration and hypothesis generation, to the case presentation. Visilant tracks the reasoning process and as the data is changing, it informs investigators which hypotheses are affected by the data change and should be revised. The tool was evaluated by senior criminology experts within two sessions and their feedback is summarized in the paper. Additional supplementary material contains the technical details and exemplary case study.


On some stable boundary closures of finite difference schemes for the transport equation. We explore in this article the possibilities and limitations of the so called energy method for analyzing the stability of finite difference approximations to the transport equation with extrapolation numerical boundary conditions at the outflow boundary. We first show that for the most simple schemes, namely the explicit schemes with a three point stencil, the energy method can be applied for proving stability estimates when the scheme is implemented with either the first or second order extrapolation boundary condition. We then examine the case of five point stencils and give several examples of schemes and second order extrapolation numerical boundary conditions for which the energy method produces stability estimates. However, we also show that for the standard first or second order translatory extrapolation boundary conditions, the energy method cannot be applied for proving stability of the classical fourth order scheme originally proposed by Strang. This gives a clear limitation of the energy method with respect to the more general approach based on the normal mode decomposition.


Generating Comprehensive Data with Protocol Fuzzing for Applying Deep Learning to Detect Network Attacks. Network attacks have become a major security concern for organizations worldwide and have also drawn attention in the academics. Recently, researchers have applied neural networks to detect network attacks with network logs. However, public network data sets have major drawbacks such as limited data sample variations and unbalanced data with respect to malicious and benign samples. In this paper, we present a new approach, protocol fuzzing, to automatically generate high quality network data, on which deep learning models can be trained. Our findings show that fuzzing generates data samples that cover real world data and deep learning models trained with fuzzed data can successfully detect real network attacks.


An on chip tunable micro disk laser fabricated on Er3 doped lithium niobate on insulator (LNOI). We demonstrate a C band wavelength tunable microlaser with an Er3 doped high quality ( 1.02x10 6) lithium niobate microdisk resonator. With a 976 nm continuous wave pump laser, lasing action can be observed at a pump power threshold as low as 250 mu W at room temperature. Furthermore, the microdisk laser wavelength can be tuned by varying the pump laser power, showing a tuning efficiency of 17.03 pm mW at low pump power blow 13 mW, and 10.58 pm mW at high pump power above 13 mW.


Proton Tracking Algorithm in a Pixel Based Range Telescope for Proton Computed Tomography. Proton Computed Tomography (CT) is a prototype imaging modality for the reconstruction of the Relative Stopping Power of a patient, for more accurate calculations of the dose distributions in proton therapy dose planning. The measurements needed for the reconstruction of a proton CT image are i) each initial proton vector incident on the imaged object, ii) each proton vector incident on the front face of the detector and iii) the stopping depth of each proton in the detector. In this study, a track reconstruction algorithm is adapted for a planned pixel based particle tracking range telescope for proton CT, called the Digital Tracking Calorimeter (DTC). The algorithm is based on the track following scheme, in which a growing track searches for deeper laying activated pixels, while minimizing the accumulated angular change. The algorithm is applied to Monte Carlo simulated output of the DTC, showing that the DTC is able to reconstruct the tracks and find the depths of up to several hundred simultaneous proton tracks.


Meta Learning for Natural Language Understanding under Continual Learning Framework. Neural network has been recognized with its accomplishments on tackling various natural language understanding (NLU) tasks. Methods have been developed to train a robust model to handle multiple tasks to gain a general representation of text. In this paper, we implement the model agnostic meta learning (MAML) and Online aware Meta learning (OML) meta objective under the continual framework for NLU tasks. We validate our methods on selected SuperGLUE and GLUE benchmark.


Lie Algebras with a finite number of ideals. In this paper we focus on the structure of the variety of Lie algebras with a finite number of ideals and their graph representations using Hasse diagrams. The large number of necessary conditions on the algebraic structure of this type of algebras leads to the explicit description of those algebras in the variety with trivial Frattini subalgebra. To illustrate our results, we have included and discussed lots of examples throughout the paper.


p order Tensor Products with Invertible Linear Transforms. This paper studies the issues about tensors. Three typical kinds of tensor decomposition are mentioned. Among these decompositions, the t SVD is proposed in this decade. Different definitions of rank derive from tensor decompositions. Based on the research about higher order tensor t product and tensor products with invertible transform, this paper introduces a product performing higher order tensor products with invertible transform, which is the most generalized case so far. Also, a few properties are proven. Because the optimization model of low rank recovery often uses the nuclear norm, the paper tries to generalize the nuclear norm and proves its relation to multi rank of tensors. The theorem paves the way for low rank recovery of higher order tensors in the future.


Annotating Antisemitic Online Content. Towards an Applicable Definition of Antisemitism. Online antisemitism is hard to quantify. How can it be measured in rapidly growing and diversifying platforms? Are the numbers of antisemitic messages rising proportionally to other content or is it the case that the share of antisemitic content is increasing? How does such content travel and what are reactions to it? How widespread is online Jew hatred beyond infamous websites and fora, and closed social media groups? However, at the root of many methodological questions is the challenge of finding a consistent way to identify diverse manifestations of antisemitism in large datasets. What is more, a clear definition is essential for building an annotated corpus that can be used as a gold standard for machine learning programs to detect antisemitic online content. We argue that antisemitic content has distinct features that are not captured adequately in generic approaches of annotation, such as hate speech, abusive language, or toxic language. We discuss our experiences with annotating samples from our dataset that draw on a ten percent random sample of public tweets from Twitter. We show that the widely used definition of antisemitism by the International Holocaust Remembrance Alliance can be applied successfully to online messages if inferences are spelled out in detail and if the focus is not on intent of the disseminator but on the message in its context. However, annotators have to be highly trained and knowledgeable about current events to understand each tweet's underlying message within its context. The tentative results of the annotation of two of our small but randomly chosen samples suggest that more than ten percent of conversations on Twitter about Jews and Israel are antisemitic or probably antisemitic. They also show that at least in conversations about Jews, an equally high number of tweets denounce antisemitism, although these conversations do not necessarily coincide.


Contact join semilattices. Contact algebra is one of the main tools in region based theory of space. In cite dmvw1, dmvw2,iv,i1 it is generalized by dropping the operation Boolean complement. Furthermore we can generalize contact algebra by dropping also the operation meet. Thus we obtain structures, called contact join semilattices (CJS) and structures, called distributive contact join semilattices (DCJS). We obtain a set theoretical representation theorem for CJS and a relational representation theorem for DCJS. As corollaries we get also topological representation theorems. We prove that the universal theory of CJS and of DCJS is the same and is decidable.


CLEARumor at SemEval 2019 Task 7 ConvoLving ELMo Against Rumors. This paper describes our submission to SemEval 2019 Task 7 RumourEval Determining Rumor Veracity and Support for Rumors. We participated in both subtasks. The goal of subtask A is to classify the type of interaction between a rumorous social media post and a reply post as support, query, deny, or comment. The goal of subtask B is to predict the veracity of a given rumor. For subtask A, we implement a CNN based neural architecture using ELMo embeddings of post text combined with auxiliary features and achieve a F1 score of 44.6 . For subtask B, we employ a MLP neural network leveraging our estimates for subtask A and achieve a F1 score of 30.1 (second place in the competition). We provide results and analysis of our system performance and present ablation experiments.


H "older estimates for the Neumann problem in a domain with holes and a relation formula between the Dirichlet and Neumann problems. In this paper we study the dependence of the H "older estimates on the geometry of a domain with holes for the Neumann problem. For this, we study the H "older regularity of the solutions to the Dirichlet and Neumann problems in the disk (and in the exterior of the disk), from which we get a relation between harmonic extensions and harmonic functions with prescribed Neumann condition on the boundary of the disk (for both interior and exterior problems).


Non vanishing for cubic L functions. We prove that there is a positive proportion of L functions associated to cubic characters over mathbb F q T that do not vanish at the critical point s 1 2 . This is achieved by computing the first mollified moment using techniques previously developed by the authors in their work on the first moment of cubic L functions, and by obtaining a sharp upper bound for the second mollified moment, building on work of Lester Radziwill, which in turn develops further ideas from the work of Soundararajan, Harper, and Radziwill Soundararajan. We work in the non Kummer setting when q equiv 2 pmod 3 , but our results could be translated into the Kummer setting when q equiv 1 pmod 3 as well as into the number field case (assuming the Generalized Riemann Hypothesis). Our positive proportion of non vanishing is explicit, but extremely small, due to the fact that the implied constant in the upper bound for the mollified second moment is very large.


Learning to Identify Physical Parameters from Video Using Differentiable Physics. Video representation learning has recently attracted attention in computer vision due to its applications for activity and scene forecasting or vision based planning and control. Video prediction models often learn a latent representation of video which is encoded from input frames and decoded back into images. Even when conditioned on actions, purely deep learning based architectures typically lack a physically interpretable latent space. In this study, we use a differentiable physics engine within an action conditional video representation network to learn a physical latent representation. We propose supervised and self supervised learning methods to train our network and identify physical properties. The latter uses spatial transformers to decode physical states back into images. The simulation scenarios in our experiments comprise pushing, sliding and colliding objects, for which we also analyze the observability of the physical properties. In experiments we demonstrate that our network can learn to encode images and identify physical properties like mass and friction from videos and action sequences in the simulated scenarios. We evaluate the accuracy of our supervised and self supervised methods and compare it with a system identification baseline which directly learns from state trajectories. We also demonstrate the ability of our method to predict future video frames from input images and actions.


An operational information decomposition via synergistic disclosure. Multivariate information decompositions hold promise to yield insight into complex systems, and stand out for their ability to identify synergistic phenomena. However, the adoption of these approaches has been hindered by there being multiple possible decompositions, and no precise guidance for preferring one over the others. At the heart of this disagreement lies the absence of a clear operational interpretation of what synergistic information is. Here we fill this gap by proposing a new information decomposition based on a novel operationalisation of informational synergy, which leverages recent developments in the literature of data privacy. Our decomposition is defined for any number of information sources, and its atoms can be calculated using elementary optimisation techniques. The decomposition provides a natural coarse graining that scales gracefully with the system's size, and is applicable in a wide range of scenarios of practical interest.


Cubic equations of Babylonian mathematics. In this paper I shall clarify three cubic equations of Babylonian mathematics, whose solutions have not been fully explained BM 85200, no.6 and no.7, and YBC 4669 B2.


Totally umbilic surfaces in hyperbolic 3 manifolds of finite volume. We construct for every connected surface S of finite negative Euler characteristic and every H in 0,1) , a hyperbolic 3 manifold N(S,H) of finite volume and a proper, two sided, totally umbilic embedding f colon S to N(S,H) with mean curvature H . Conversely, we prove that a complete, totally umbilic surface with mean curvature H in 0,1) embedded in a hyperbolic 3 manifold of finite volume must be proper and have finite negative Euler characteristic.


Database Reconstruction from Noisy Volumes A Cache Side Channel Attack on SQLite. We demonstrate the feasibility of database reconstruction under a cache side channel attack on SQLite. Specifically, we present a Flush Reload attack on SQLite that obtains approximate (or "noisy") volumes of range queries made to a private database. We then present several algorithms that, taken together, reconstruct nearly the exact database in varied experimental conditions, given these approximate volumes. Our reconstruction algorithms employ novel techniques for the approximate noisy setting, including a noise tolerant clique finding algorithm, a "Match Extend" algorithm for extrapolating volumes that are omitted from the clique, and a "Noise Reduction Step" that makes use of a closest vector problem (CVP) solver to improve the overall accuracy of the reconstructed database. The time complexity of our attacks grows quickly with the size of the range of the queried attribute, but scales well to large databases. Experimental results show that we can reconstruct databases of size 100,000 and ranges of size 12 with error percentage of 0.11 in under 12 hours on a personal laptop.


Descents in t Sorted Permutations. Let s denote West's stack sorting map. A permutation is called t textit sorted if it is of the form s t( mu) for some permutation mu . We prove that the maximum number of descents that a t sorted permutation of length n can have is left lfloor frac n t 2 right rfloor . When n and t have the same parity and t geq 2 , we give a simple characterization of those t sorted permutations in S n that attain this maximum. In particular, the number of such permutations is (n t 1)!! .


Wasserstein Distance Guided Cross Domain Learning. Domain adaptation aims to generalise a high performance learner on target domain (non labelled data) by leveraging the knowledge from source domain (rich labelled data) which comes from a different but related distribution. Assuming the source and target domains data(e.g. images) come from a joint distribution but follow on different marginal distributions, the domain adaptation work aims to infer the joint distribution from the source and target domain to learn the domain invariant features. Therefore, in this study, I extend the existing state of the art approach to solve the domain adaptation problem. In particular, I propose a new approach to infer the joint distribution of images from different distributions, namely Wasserstein Distance Guided Cross Domain Learning (WDGCDL). WDGCDL applies the Wasserstein distance to estimate the divergence between the source and target distribution which provides good gradient property and promising generalisation bound. Moreover, to tackle the training difficulty of the proposed framework, I propose two different training schemes for stable training. Qualitative results show that this new approach is superior to the existing state of the art methods in the standard domain adaptation benchmark.


On Adiabatic Oscillations of a Stratified Atmosphere on the Flat Earth. We consider the oscillations of the atmosphere around a stratified back ground density and entropy distribution under the gravitation on the flat Earth. The atmosphere is supposed to be an ideal gas and the motion is supposed to be governed by the compressible Euler equations. The density distribution of the back ground equilibrium is supposed to touch the vacuum at the finite height of the stratosphere. Considering the linearized approximation for small perturbations, we show that time periodic oscillations with a sequence of time periods which accumulate to infinity, say, slow and slow oscillations, so called g modes', can appear when the square of the Brunt Vaisala frequency is positive everywhere for the considered back ground equilibrium.


Simulation Pipeline for Traffic Evacuation in Urban Areas and Emergency Traffic Management Policy Improvements through Case Studies. Traffic evacuation plays a critical role in saving lives in devastating disasters such as hurricanes, wildfires, floods, earthquakes, etc. An ability to evaluate evacuation plans in advance for these rare events, including identifying traffic flow bottlenecks, improving traffic management policies, and understanding the robustness of the traffic management policy are critical for emergency management. Given the rareness of such events and the corresponding lack of real data, traffic simulation provides a flexible and versatile approach for such scenarios, and furthermore allows dynamic interaction with the simulated evacuation. In this paper, we build a traffic simulation pipeline to explore the above problems, covering many aspects of evacuation, including map creation, demand generation, vehicle behavior, bottleneck identification, traffic management policy improvement, and results analysis. We apply the pipeline to two case studies in California. The first is Paradise, which was destroyed by a large wildfire in 2018 and experienced catastrophic traffic jams during the evacuation. The second is Mill Valley, which has high risk of wildfire and potential traffic issues since the city is situated in a narrow valley.


Toward a universal model for spatially structured populations. A key question in evolution is how likely a mutant is to take over. This depends on natural selection and on stochastic fluctuations. Population spatial structure can impact mutant fixation probabilities. We introduce a model for structured populations on graphs that generalizes previous ones by making migrations independent of birth and death. We demonstrate that by tuning migration asymmetry, the star graph transitions from amplifying to suppressing natural selection. The results from our model are universal in the sense that they do not hinge on a modeling choice of microscopic dynamics or update rules. Instead, they depend on migration asymmetry, which can be experimentally tuned and measured.


Uncertainty based pressure field reconstruction from PIV PTV flow measurements with generalized least squares. A novel uncertainty based pressure reconstruction method is proposed to evaluate the instantaneous pressure fields from velocity fields measured using particle image velocimetry (PIV) or particle tracking velocimetry (PTV). First, the pressure gradient fields are calculated from velocity fields, while the local and instantaneous pressure gradient uncertainty is estimated from the velocity uncertainty using a linear transformation based algorithm. The pressure field is then reconstructed by solving an overdetermined linear system which involves the pressure gradients and boundary conditions. This linear system is solved with generalized least squares (GLS) which incorporates the previously estimated variances and covariances of the pressure gradient errors as inverse weights to optimize the reconstructed pressure field. The method was validated with synthetic velocity fields of a 2D pulsatile flow and the results show significantly improved pressure accuracy with an error reduction of as much as 250 compared to the existing baseline method of solving the pressure Poisson equation (PPE). The GLS was more robust to the velocity errors and provides greater improvement with spatially correlated velocity errors. For experimental validation, the volumetric pressure fields were evaluated from a laminar pipe flow velocity field measured using 3D PTV. The GLS reduced the median absolute pressure errors by as much as 96 .


Deep learning and hand crafted features for virus image classification. In this work, we present an ensemble of descriptors for the classification of transmission electron microscopy images of viruses. We propose to combine handcrafted and deep learning approaches for virus image classification. The set of handcrafted is mainly based on Local Binary Pattern variants, for each descriptor a different Support Vector Machine is trained, then the set of classifiers is combined by sum rule. The deep learning approach is a densenet201 pretrained on ImageNet and then tuned in the virus dataset, the net is used as features extractor for feeding another Support Vector Machine, in particular the last average pooling layer is used as feature extractor. Finally, classifiers trained on handcrafted features and classifier trained on deep learning features are combined by sum rule. The proposed fusion strongly boosts the performance obtained by each stand alone approach, obtaining state of the art performance.


Cloud A safe and restrained data access control program for cloud. Secure distributed storage, which is a rising cloud administration, is planned to guarantee the mystery of re appropriated data yet also to give versatile data access to cloud customers whose data is out of physical control. Ciphertext Policy Attribute Based Encryption (CP ABE) is seen as a champion among the most reassuring frameworks that may be used to verify the confirmation of the administration. Be that as it may, the use of CP ABE may yield an unavoidable security burst which is known as the abuse of access accreditation (for example decoding right). In this paper, we look at the two essential occurrences of access accreditation misuse one is on the semi believed specialist side, and the other is supportive of the cloud customer. To ease the abuse, we propose revocable CP ABE based distributed storage structure with express renouncing, planned information getting to and numerous examining capacities alluded as Cloud .


Seq2Seq and Joint Learning Based Unix Command Line Prediction System. Despite being an open source operating system pioneered in the early 90s, UNIX based platforms have not been able to garner an overwhelming reception from amateur end users. One of the rationales for under popularity of UNIX based systems is the steep learning curve corresponding to them due to extensive use of command line interface instead of usual interactive graphical user interface. In past years, the majority of insights used to explore the concern are eminently centered around the notion of utilizing chronic log history of the user to make the prediction of successive command. The approaches directed at anatomization of this notion are predominantly in accordance with Probabilistic inference models. The techniques employed in past, however, have not been competent enough to address the predicament as legitimately as anticipated. Instead of deploying usual mechanism of recommendation systems, we have employed a simple yet novel approach of Seq2seq model by leveraging continuous representations of self curated exhaustive Knowledge Base (KB) to enhance the embedding employed in the model. This work describes an assistive, adaptive and dynamic way of enhancing UNIX command line prediction systems. Experimental methods state that our model has achieved accuracy surpassing mixture of other techniques and adaptive command line interface mechanism as acclaimed in the past.


The Impact Of Noise And Topology On Opinion Dynamics In Social Networks. We investigate the impact of noise and topology on opinion diversity in social networks. We do so by extending well established models of opinion dynamics to a stochastic setting where agents are subject both to assimilative forces by their local social interactions, as well as to idiosyncratic factors preventing their population from reaching consensus. We model the latter to account for both scenarios where noise is entirely exogenous to peer influence and cases where it is instead endogenous, arising from the agents' desire to maintain some uniqueness in their opinions. We derive a general analytical expression for opinion diversity, which holds for any network and depends on the network's topology through its spectral properties alone. Using this expression, we find that opinion diversity decreases as communities and clusters are broken down. We test our predictions against data describing empirical influence networks between major news outlets and find that incorporating our measure in linear models for the sentiment expressed by such sources on a variety of topics yields a notable improvement in terms of explanatory power.


Relativistic electron beam, Backward Raman scattering and soft x ray laser. A scheme of soft x ray lasers is proposed. The backward Raman scattering between an intense visible light laser and a relativistic electron beam results in sofr x ray via the Doppler shift. One of the most intense soft x ray light sources is contemplated.


Almost Smooth Histograms and Sliding Window Graph Algorithms. We study algorithms for the sliding window model, an important variant of the data stream model, in which the goal is to compute some function of a fixed length suffix of the stream. We extend the smooth histogram framework of Braverman and Ostrovsky (FOCS 2007) to almost smooth functions, which includes all subadditive functions. Specifically, we show that if a subadditive function can be (1 epsilon) approximated in the insertion only streaming model, then it can be (2 epsilon) approximated also in the sliding window model with space complexity larger by factor O( epsilon 1 log w) , where w is the window size. We demonstrate how our framework yields new approximation algorithms with relatively little effort for a variety of problems that do not admit the smooth histogram technique. For example, in the frequency vector model, a symmetric norm is subadditive and thus we obtain a sliding window (2 epsilon) approximation algorithm for it. Another example is for streaming matrices, where we derive a new sliding window ( sqrt 2 epsilon) approximation algorithm for Schatten 4 norm. We then consider graph streams and show that many graph problems are subadditive, including maximum submodular matching, minimum vertex cover, and maximum k cover, thereby deriving sliding window O(1) approximation algorithms for them almost for free (using known insertion only algorithms). Finally, we design for every d in (1,2 an artificial function, based on the maximum matching size, whose almost smoothness parameter is exactly d .


Algodynamics Teaching Algorithms using Interactive Transition Systems. The importance of algorithms and data structures in computer science curricula has been amply recognized. For many students, however, gaining a good understanding of algorithms remains a challenge. Because of the automated nature of sequential algorithms. there is an inherent tension in directly applying the learning by doing' approach. This partly explains the limitations of efforts like algorithm animation and code tracing. Algodynamics, the approach we propose and advocate, situates algorithms within the framework of transition systems and their dynamics and offers an attractive approach for teaching algorithms. Algodynamics starts with the premise that the key ideas underlying an algorithm can be identified and packaged into interactive transition systems. The algorithm when opened up', reveals a transition system, shorn of most control aspects, enriched instead with interaction. The design of an algorithm can be carried out by constructing a series of interactive systems, progressively trading interactivity with automation. These transition systems constitute a family of notional machines. We illustrate the algodynamics approach by considering Bubblesort. A sequence of five interactive transition systems culminate in the classic Bubblesort algorithm. The exercise of constructing the individual systems also pays off when coding Bubblesort a highly modular implementation whose primitives are borrowed from the transition systems. The transition systems used for Bubblesort have been implemented as interactive experiments. These web based implementations are easy to build. The simplicity and flexibility afforded by the algodynamics framework makes it an attractive option to teach algorithms in an interactive way.


Detection and Tracking of Multiple Mice Using Part Proposal Networks. The study of mouse social behaviours has been increasingly undertaken in neuroscience research. However, automated quantification of mouse behaviours from the videos of interacting mice is still a challenging problem, where object tracking plays a key role in locating mice in their living spaces. Artificial markers are often applied for multiple mice tracking, which are intrusive and consequently interfere with the movements of mice in a dynamic environment. In this paper, we propose a novel method to continuously track several mice and individual parts without requiring any specific tagging. Firstly, we propose an efficient and robust deep learning based mouse part detection scheme to generate part candidates. Subsequently, we propose a novel Bayesian Integer Linear Programming Model that jointly assigns the part candidates to individual targets with necessary geometric constraints whilst establishing pair wise association between the detected parts. There is no publicly available dataset in the research community that provides a quantitative test bed for the part detection and tracking of multiple mice, and we here introduce a new challenging Multi Mice PartsTrack dataset that is made of complex behaviours and actions. Finally, we evaluate our proposed approach against several baselines on our new datasets, where the results show that our method outperforms the other state of the art approaches in terms of accuracy.


On the ice nucleating potential of warm hydrometeors in mixed phase clouds. The question whether or not the presence of warm hydrometeors in clouds may play a significant role in the nucleation of new ice particles has been debated for several decades. While the early works of Fukuta and Lee (1986) and Baker (1991) indicated that it might be irrelevant, the more recent study of Prabhakaran et al. (2019) arXiv 1906.06129 suggested otherwise. In this work, we are aiming to quantify the ice nucleating potential using high fidelity flow simulation techniques around a single hydrometeor and use favorable considerations to upscale the effects to a collective of ice particles in clouds. While we find that ice nucleation may be enhanced in the vicinity of a warm hydrometeor by several orders of magnitude and that the affected volume of air is much larger than previously estimated, it is very unlikely that this effect alone causes the rapid enhancement of ice nucleation observed in some types of clouds, mainly due to the low initial volumetric ice concentration. Nonetheless, it is suggested to implement this effect into existing cloud models in order to investigate second order effects such as ice nucleus preactivation or enhancement after the onset of glaciation.


DecAug Out of Distribution Generalization via Decomposed Feature Representation and Semantic Augmentation. While deep learning demonstrates its strong ability to handle independent and identically distributed (IID) data, it often suffers from out of distribution (OoD) generalization, where the test data come from another distribution (w.r.t. the training one). Designing a general OoD generalization framework to a wide range of applications is challenging, mainly due to possible correlation shift and diversity shift in the real world. Most of the previous approaches can only solve one specific distribution shift, such as shift across domains or the extrapolation of correlation. To address that, we propose DecAug, a novel decomposed feature representation and semantic augmentation approach for OoD generalization. DecAug disentangles the category related and context related features. Category related features contain causal information of the target object, while context related features describe the attributes, styles, backgrounds, or scenes, causing distribution shifts between training and test data. The decomposition is achieved by orthogonalizing the two gradients (w.r.t. intermediate features) of losses for predicting category and context labels. Furthermore, we perform gradient based augmentation on context related features to improve the robustness of the learned representations. Experimental results show that DecAug outperforms other state of the art methods on various OoD datasets, which is among the very few methods that can deal with different types of OoD generalization challenges.


Hierarchical Contrastive Motion Learning for Video Action Recognition. One central question for video action recognition is how to model motion. In this paper, we present hierarchical contrastive motion learning, a new self supervised learning framework to extract effective motion representations from raw video frames. Our approach progressively learns a hierarchy of motion features that correspond to different abstraction levels in a network. This hierarchical design bridges the semantic gap between low level motion cues and high level recognition tasks, and promotes the fusion of appearance and motion information at multiple levels. At each level, an explicit motion self supervision is provided via contrastive learning to enforce the motion features at the current level to predict the future ones at the previous level. Thus, the motion features at higher levels are trained to gradually capture semantic dynamics and evolve more discriminative for action recognition. Our motion learning module is lightweight and flexible to be embedded into various backbone networks. Extensive experiments on four benchmarks show that the proposed approach consistently achieves superior results.


Chow groups and L derivatives of automorphic motives for unitary groups. In this article, we study the Chow group of the motive associated to a tempered global L packet pi of unitary groups of even rank with respect to a CM extension, whose global root number is 1 . We show that, under some restrictions on the ramification of pi , if the central derivative L'(1 2, pi) is nonvanishing, then the pi nearly isotypic localization of the Chow group of a certain unitary Shimura variety over its reflex field does not vanish. This proves part of the Beilinson Bloch conjecture for Chow groups and L functions, which generalizes the Birch and Swinnerton Dyer conjecture. Moreover, assuming the modularity of Kudla's generating functions of special cycles, we explicitly construct elements in a certain pi nearly isotypic subspace of the Chow group by arithmetic theta lifting, and compute their heights in terms of the central derivative L'(1 2, pi) and local doubling zeta integrals. This confirms the conjectural arithmetic inner product formula proposed by one of us, which generalizes the Gross Zagier formula to higher dimensional motives.


The Price of Anarchy of Two Buyer Sequential Multiunit Auctions. We study the efficiency of sequential multiunit auctions with two buyers and complete information. For general valuation functions, we show that the price of anarchy is exactly 1 T for auctions with T items for sale. For concave valuation functions, we show that the price of anarchy is bounded below by 1 1 e simeq 0.632 . This bound is asymptotically tight as the number of items sold tends to infinity.


BERT Based Arabic Social Media Author Profiling. We report our models for detecting age, language variety, and gender from social media data in the context of the Arabic author profiling and deception detection shared task (APDA). We build simple models based on pre trained bidirectional encoders from transformers (BERT). We first fine tune the pre trained BERT model on each of the three datasets with shared task released data. Then we augment shared task data with in house data for gender and dialect, showing the utility of augmenting training data. Our best models on the shared task test data are acquired with a majority voting of various BERT models trained under different data conditions. We acquire 54.72 accuracy for age, 93.75 for dialect, 81.67 for gender, and 40.97 joint accuracy across the three tasks.


Real hypersurfaces in the complex projective plane satisfying an equality involving delta(2) . It was proved in Chen's paper cite chen that every real hypersurface in the complex projective plane of constant holomorphic sectional curvature 4 satisfies delta(2) leq frac 9 4 H 2 5, where H is the mean curvature and delta(2) is a delta invariant introduced by him. In this paper, we study non Hopf real hypersurfaces satisfying the equality case of the inequality under the condition that the mean curvature is constant along each integral curve of the Reeb vector field. We describe how to obtain all such hypersurfaces.


UIT HSE at WNUT 2020 Task 2 Exploiting CT BERT for Identifying COVID 19 Information on the Twitter Social Network. Recently, COVID 19 has affected a variety of real life aspects of the world and led to dreadful consequences. More and more tweets about COVID 19 has been shared publicly on Twitter. However, the plurality of those Tweets are uninformative, which is challenging to build automatic systems to detect the informative ones for useful AI applications. In this paper, we present our results at the W NUT 2020 Shared Task 2 Identification of Informative COVID 19 English Tweets. In particular, we propose our simple but effective approach using the transformer based models based on COVID Twitter BERT (CT BERT) with different fine tuning techniques. As a result, we achieve the F1 Score of 90.94 with the third place on the leaderboard of this task which attracted 56 submitted teams in total.


Patterns without a popular difference. Which finite sets P subseteq mathbb Z r with P ge 3 have the following property for every A subseteq N r , there is some nonzero integer d such that A contains ( alpha P o(1))N r translates of d cdot P d p p in P , where alpha A N r ? Green showed that all 3 point P subseteq mathbb Z have the above property. Green and Tao showed that 4 point sets of the form P a, a b, a c, a b c subseteq mathbb Z also have the property. We show that no other sets have the above property. Furthermore, for various P , we provide new upper bounds on the number of translates of d cdot P that one can guarantee to find.


Multimodes of Rayleigh wave excited by hurricane Dorian. Extracting Empirical Green's Functions (EGFs) by cross correlating ambient seismic noise or coda, considered as an efficient approach of retrieving new response inside the media of two receivers, has been developed well in the past two decades. However, EGFs emerge with high Signal to Noise Ratios (SNRs), which needs us to stack a large number of cross correlations. Here, we retrieve EGFs with high SNRs from ambient seismic noise released by hurricane Dorian moving along the eastern coast of the United States during 3 days in Sept 2019. We systematically analyze the energy sources of seismic noise records with time frequency analysis and beam forming. We find that the energy exhibits very strongly when hurricane Dorian progresses along the coast from 4th to 6th Sept. Our results suggest that EGFs exhibit strong directionality and only emerge in the negative part of cross correlation time functions due to the noise sources of Dorian. We extract clear multimodal dispersion curves of Rayleigh waves from retrieved EGFs. Our results, indeed, reveal that multimodal dispersion curves pf Rayleigh wave could be extracted from ambient seismic noise excited by Dorian for several days or even a single day, which means that we enlarge the seismic data sets for the future work of investigating shear velocity structures of the Earth's crust and upper mantle and understanding our planet more deeply.


A Revisit on Blockchain based Smart Contract Technology. Blockchain based smart contract has become a growing field in the blockchain technology. What was once a technology used to solve digital transaction issues turns out to have some wider usage, including smart contract. The development of smart contract can be traced from the numerous platforms facilitating it, however the issue on how well each platform works as oppose to each other has yet been fully explored. The usage of smart contract can be seen from the applications that are built on top of the smart contract platform, such as the tokenization of real world to virtual world assets. However smart contract contains several issues concerning security and codifying which could be solved by various tools that are proposed by existing research. This paper aims to revisit the blockchain based smart contract technology in order to understand and discuss the research gaps gathered from existing research and to provide guidance for future research.


Vartani Spellcheck Automatic Context Sensitive Spelling Correction of OCR generated Hindi Text Using BERT and Levenshtein Distance. Traditional Optical Character Recognition (OCR) systems that generate text of highly inflectional Indic languages like Hindi tend to suffer from poor accuracy due to a wide alphabet set, compound characters and difficulty in segmenting characters in a word. Automatic spelling error detection and context sensitive error correction can be used to improve accuracy by post processing the text generated by these OCR systems. A majority of previously developed language models for error correction of Hindi spelling have been context free. In this paper, we present Vartani Spellcheck a context sensitive approach for spelling correction of Hindi text using a state of the art transformer BERT in conjunction with the Levenshtein distance algorithm, popularly known as Edit Distance. We use a lookup dictionary and context based named entity recognition (NER) for detection of possible spelling errors in the text. Our proposed technique has been tested on a large corpus of text generated by the widely used Tesseract OCR on the Hindi epic Ramayana. With an accuracy of 81 , the results show a significant improvement over some of the previously established context sensitive error correction mechanisms for Hindi. We also explain how Vartani Spellcheck may be used for on the fly autocorrect suggestion during continuous typing in a text editor environment.


A Large scale Study of Security Vulnerability Support on Developer Q A Websites. Context Security Vulnerabilities (SVs) pose many serious threats to software systems. Developers usually seek solutions to addressing these SVs on developer Question and Answer (Q A) websites. However, there is still little known about on going SV specific discussions on different developer Q A sites. Objective We present a large scale empirical study to understand developers' SV discussions and how these discussions are being supported by Q A sites. Method We first curate 71,329 SV posts from two large Q A sites, namely Stack Overflow (SO) and Security StackExchange (SSE). We then use topic modeling to uncover the topics of SV related discussions and analyze the popularity, difficulty, and level of expertise for each topic. We also perform a qualitative analysis to identify the types of solutions to SV related questions. Results We identify 13 main SV discussion topics on Q A sites. Many topics do not follow the distributions and trends in expert based security sources such as Common Weakness Enumeration (CWE) and Open Web Application Security Project (OWASP). We also discover that SV discussions attract more experts to answer than many other domains, but some difficult SV topics (e.g., Vulnerability Scanning Tools) still receive quite limited support from experts. Moreover, we identify seven key types of answers given to SV questions on Q A sites, in which SO often provides code and instructions, while SSE usually gives experience based advice and explanations. Conclusion Our findings provide support for researchers and practitioners to effectively acquire, share and leverage SV knowledge on Q A sites.


Stakeholder identification for a structured release planning approach in the automotive domain. Context In regulated domains like automotive, release planning is a complex process. The agreement between traditional product development processes for hardware as well as mechanic systems and agile development approaches for software development is a major challenge. Especially the creation and synchronization of a release plan is challenging. Objective The aim of this work is to present identified stakeholders of a release plan as an appropriate approach to create transparency in release planning in the automotive domain. Method Action research to elaborate relevant stakeholders for release planning was conducted at Dr. Ing. h. c. F. Porsche AG. Results We present a detailed overview of identified stakeholders due to release planning as well as their required content and added value regarding to two pilot projects. The results confirm the fact that almost every stakeholder is involved in a release plan in a certain way. Conclusions Release planning within a complex project environment and complicated customer constellations is difficult to manage. We discuss how the presented stakeholders could meet with the given conditions in the automotive domain. With this contribution, identified stakeholders of release planning from hardware and software point of view is introduced. It helps to reach transparency and to handle the given complexity.