A resistive ACHINOS multi anode structure with DLC coating for spherical proportional counters. The spherical proportional counter is a gaseous detector used in a variety of applications, including direct dark matter and neutrino less double beta decay searches. The ACHINOS multianode structure is a read out technology that overcomes the limitations of single anode read out structures for large size detectors and operation under high pressure. A resistive ACHINOS is presented, where the 3D printed central component is coated in a Diamond Like Carbon (DLC) layer. The production and testing of the structure, in terms of stability and resolution, is described. Further applications in fundamental physics and industry are also discussed.


Generating Question Relevant Captions to Aid Visual Question Answering. Visual question answering (VQA) and image captioning require a shared body of general knowledge connecting language and vision. We present a novel approach to improve VQA performance that exploits this connection by jointly generating captions that are targeted to help answer a specific visual question. The model is trained using an existing caption dataset by automatically determining question relevant captions using an online gradient based method. Experimental results on the VQA v2 challenge demonstrates that our approach obtains state of the art VQA performance (e.g. 68.4 on the Test standard set using a single model) by simultaneously generating question relevant captions.


On physical optics approximation of viscous stratified shear flows. We study a mathematical model of a perturbed stratified shear mean flow in the presence of eddy coefficients of turbulent viscosity. We adopt the standard Boussinesq approximation in the natural convection of the buoyancy driven flow and neglect the influence of the eddy coefficients of turbulent diffusivity. Comprising both the vertical and horizontal viscosity effects, a model for the vertical velocity perturbation corresponds to a fourth order Taylor Goldstein (TG) differential equation. Considering only the latter, we obtained a modified TG equation with the same order as the classical, inviscid one. Under an assumption of the slowly varying Brunt V "ais "al "a frequency and background horizontal velocity, we discuss the corresponding geometrical and physical optics approximations of the modified TG equation using the WKB method. We further investigate the behavior of these asymptotic solutions near singular values of a turning point and critical level.


Semialgebraic Optimization for Lipschitz Constants of ReLU Networks. The Lipschitz constant of a network plays an important role in many applications of deep learning, such as robustness certification and Wasserstein Generative Adversarial Network. We introduce a semidefinite programming hierarchy to estimate the global and local Lipschitz constant of a multiple layer deep neural network. The novelty is to combine a polynomial lifting for ReLU functions derivatives with a weak generalization of Putinar's positivity certificate. This idea could also apply to other, nearly sparse, polynomial optimization problems in machine learning. We empirically demonstrate that our method provides a trade off with respect to state of the art linear programming approach, and in some cases we obtain better bounds in less time.


LiDAR ICPS net Indoor Camera Positioning based on Generative Adversarial Network for RGB to Point Cloud Translation. Indoor positioning aims at navigation inside areas with no GPS data availability and could be employed in many applications such as augmented reality, autonomous driving specially inside closed areas and tunnels. In this paper, a deep neural network based architecture has been proposed to address this problem. In this regard, a tandem set of convolutional neural networks, as well as a Pix2Pix GAN network have been leveraged to perform as the scene classifier, scene RGB image to point cloud converter, and position regressor, respectively. The proposed architecture outperforms the previous works, including our recent work, in the sense that it makes data generation task easier and more robust against scene small variations, whilst the accuracy of the positioning is remarkably well, for both Cartesian position and quaternion information of the camera.


The Tandem Duplication Distance Problem is hard over bounded alphabets. A tandem duplication denotes the process of inserting a copy of a segment of DNA adjacent to its original position. More formally, a tandem duplication can be thought of as an operation that converts a string S AXB into a string T AXXB. As they appear to be involved in genetic disorders, tandem duplications are widely studied in computational biology. Also, tandem duplication mechanisms have been recently studied in different contexts, from formal languages, to information theory, to error correcting codes for DNA storage systems. The problem of determining the complexity of computing the tandem duplication distance between two given strings was proposed by Leupold et al., 2004 and, very recently, it was shown to be NP hard for the case of unbounded alphabets Lafond et al., STACS2020 . In this paper, we significantly improve this result and show that the tandem duplication distance problem is NP hard already for the case of strings over an alphabet of size leq 5. We also study some special classes of strings were it is possible to give linear time solutions to the existence problem given strings S and T over the same alphabet, decide whether there exists a sequence of duplications converting S into T . A polynomial time algorithm that solves the existence problem was only known for the case of the binary alphabet.


Neural dynamics under active inference plausibility and efficiency of information processing. Active inference is a normative framework for explaining behaviour under the free energy principle a theory of self organisation originating in neuroscience. It specifies neuronal dynamics for state estimation in terms of a descent on (variational) free energy a measure of the fit between an internal (generative) model and sensory observations. The free energy gradient is a prediction error plausibly encoded in the average membrane potentials of neuronal populations. Conversely, the expected probability of a state can be expressed in terms of neuronal firing rates. We show that this is consistent with current models of neuronal dynamics and establish face validity by synthesising plausible electrophysiological responses. We then show that these neuronal dynamics approximate natural gradient descent, a well known optimisation algorithm from information geometry that follows the steepest descent of the objective in information space. We compare the information length of belief updating in both schemes, a measure of the distance traveled in information space that has a direct interpretation in terms of metabolic cost. We show that neural dynamics under active inference are metabolically efficient and suggest that neural representations in biological agents may evolve by approximating steepest descent in information space towards the point of optimal inference.


On ' e tale hypercohomology of henselian regular local rings with values in p adic ' e tale Tate twists. In this paper, we prove that an ' e tale hypercohomology of the henselization R of a local ring of a semistable family over a discrete valuation of mixed characteristic (0, p) with values in p adic ' e tale twists and a logarithmic Hodge Witt cohomology of the residue field of R are isomorphic. As one of applications, we prove the local global principle for Galois cohomology groups over function fields of curves over a mixed characteristic excellent henselian discrete valuation ring.


On the breakup patterns of urban networks under load. The urban networks of London and New York City are investigated as directed graphs within the paradigm of graph percolation. It has been recently observed that urban networks show a critical percolation transition when a fraction of edges are removed. The resulting strongly connected components form a cluster structure whose size distribution follows a power law with critical exponent tau . We start by analyzing how the networks react when subjected to increasingly widespread random edge removal and the effect of spatial correlations with power law decay. We observe a progressive decrease of tau as spatial correlations grow. A similar phenomenon happens when real traffic data (UBER) is used to delete congested graph edges during low congestion periods tau is close to that obtained for uncorrelated percolation, while during rush hours the exponent becomes closer to the one obtained from spatially correlated edge removal. We show that spatial correlations seem to play an important role to model different traffic regimes. We finally present some preliminary evidence that, at criticality, the largest clusters display spatial predictability and that cluster configurations form a taxonomy with few main clades only a finite number of breakup patterns, specific for each city, exists. This holds both for random percolation and real traffic, where the three largest clusters are well localized and spatially distinct. This consistent cluster organization is strongly influenced by local topographical structures such as rivers and bridges.


Elastic HH Tailored Elastic for Finding Heavy Hitters. Finding heavy hitters has been of vital importance in network measurement. Among all the recent works in finding heavy hitters, the Elastic sketch achieves the highest accuracy and fastest speed. However, we find that there is still room for improvement of the Elastic sketch in finding heavy hitters. In this paper, we propose a tailored Elastic to enhance the sketch only for finding heavy hitters at the cost of losing the generality of Elastic. To tailor Elastic, we abandon the light part, and improve the eviction strategy. Our experimental results show that compared with the standard Elastic, our tailored Elastic reduces the error rate to 5.7 8.1 times and increases the speed to 2.5 times. All the related source codes and datasets are available at Github.


DVG Face Dual Variational Generation for Heterogeneous Face Recognition. Heterogeneous Face Recognition (HFR) refers to matching cross domain faces and plays a crucial role in public security. Nevertheless, HFR is confronted with challenges from large domain discrepancy and insufficient heterogeneous data. In this paper, we formulate HFR as a dual generation problem, and tackle it via a novel Dual Variational Generation (DVG Face) framework. Specifically, a dual variational generator is elaborately designed to learn the joint distribution of paired heterogeneous images. However, the small scale paired heterogeneous training data may limit the identity diversity of sampling. In order to break through the limitation, we propose to integrate abundant identity information of large scale visible data into the joint distribution. Furthermore, a pairwise identity preserving loss is imposed on the generated paired heterogeneous images to ensure their identity consistency. As a consequence, massive new diverse paired heterogeneous images with the same identity can be generated from noises. The identity consistency and identity diversity properties allow us to employ these generated images to train the HFR network via a contrastive learning mechanism, yielding both domain invariant and discriminative embedding features. Concretely, the generated paired heterogeneous images are regarded as positive pairs, and the images obtained from different samplings are considered as negative pairs. Our method achieves superior performances over state of the art methods on seven challenging databases belonging to five HFR tasks, including NIR VIS, Sketch Photo, Profile Frontal Photo, Thermal VIS, and ID Camera. The related code will be released at https github.com BradyFU.


Searching the solution landscape by generalized high index saddle dynamics. We introduce a generalized numerical algorithm to construct the solution landscape, which is a pathway map consisting of all stationary points and their connections. Based on the high index optimization based shrinking dimer (HiOSD) method for gradient systems, a generalized high index saddle dynamics (GHiSD) is proposed to compute any index saddles of dynamical systems. Linear stability of the index k saddle point can be proved for the GHiSD system. A combination of the downward search algorithm and the upward search algorithm is applied to systematically construct the solution landscape, which not only provides a powerful and efficient way to compute multiple solutions without tuning initial guesses, but also reveals the relationships between different solutions. Numerical examples, including a three dimensional example and the phase field model, demonstrate the novel concept of the solution landscape by showing the connected pathway maps.


Subcritical well posedness results for the Zakharov Kuznetsov equation in dimension three and higher. The Zakharov Kuznetsov equation in space dimension d geq 3 is considered. It is proved that the Cauchy problem is locally well posed in H s( mathbb R d) in the full subcritical range s (d 4) 2 , which is optimal up to the endpoint. As a corollary, global well posedness in L 2( mathbb R 3) and, under a smallness condition, in H 1( mathbb R 4) , follow.


DeepVS An Efficient and Generic Approach for Source Code Modeling Usage. The source code suggestions provided by current IDEs are mostly dependent on static type learning. These suggestions often end up proposing irrelevant suggestions for a peculiar context. Recently, deep learning based approaches have shown great potential in the modeling of source code for various software engineering tasks. However, these techniques lack adequate generalization and resistance to acclimate the use of such models in a real world software development environment. This letter presents textit DeepVS , an end to end deep neural code completion tool that learns from existing codebases by exploiting the bidirectional Gated Recurrent Unit (BiGRU) neural net. The proposed tool is capable of providing source code suggestions instantly in an IDE by using pre trained BiGRU neural net. The evaluation of this work is two fold, quantitative and qualitative. Through extensive evaluation on ten real world open source software systems, the proposed method shows significant performance enhancement and its practicality. Moreover, the results also suggest that textit DeepVS tool is capable of suggesting zero day (unseen) code tokens by learning coding patterns from real world software systems.


Computational investigations of dispersion interactions between small molecules and graphene like flakes. In this work, we investigate dispersion interactions in a selection of atomic, molecular, and molecule surface systems, comparing high level correlated methods with empirically corrected density functional theory (DFT). We assess the efficacy of functionals commonly used for surface based calculations, with and without the D3 correction of Grimme. We find that the inclusion of the correction is essential to get meaningful results, but there is otherwise little to distinguish between the functionals. We also present coupled cluster quality interaction curves for ce H2 and ce NO2 interacting with large carbon flakes, acting as models for graphene surfaces, using novel absolutely localised molecular orbital based methods. These calculations demonstrate that the problems with empirically corrected DFT when investigating dispersion appear to compound as the system size increases, with important implications for future computational studies of molecule surface interactions.


A Space Time DPG Method for the Heat Equation. This paper introduces an ultra weak space time DPG method for the heat equation. We prove well posedness of the variational formulation with broken test functions and verify quasi optimality of a practical DPG scheme. Numerical experiments visualize beneficial properties of an adaptive and parabolically scaled mesh refinement driven by the built in error control of the DPG method.


Inflating Topic Relevance with Ideology A Case Study of Political Ideology Bias in Social Topic Detection Models. We investigate the impact of political ideology biases in training data. Through a set of comparison studies, we examine the propagation of biases in several widely used NLP models and its effect on the overall retrieval accuracy. Our work highlights the susceptibility of large, complex models to propagating the biases from human selected input, which may lead to a deterioration of retrieval accuracy, and the importance of controlling for these biases. Finally, as a way to mitigate the bias, we propose to learn a text representation that is invariant to political ideology while still judging topic relevance.


Metamorphic IOTA. IOTA opened recently a new line of research in distributed ledgers area by targeting algorithms that ensure a high throughput for the transactions generated in IoT systems. Transactions are continuously appended to an acyclic structure called tangle and each new transaction selects as parents two existing transactions (called tips) that it approves. G IOTA, a very recent improvement of IOTA, targets to protect tips left behind offering hence a good confidence level. However, this improvement had a cost the use of an additional tip selection mechanism which may be critical in IoT systems since it needs additional energy consumption. In this paper we propose a new metamorphic algorithm for tip selection that offers the best guaranties of both IOTA and G IOTA. Our contribution is two fold. First, we propose a parameterized algorithm, E IOTA, for tip selection which targets to reduce the number of random walks executed in previous versions (IOTA and G IOTA) while maintaining the same security guaranties as IOTA and the same confidence level and fairness with respect to tips selection as G IOTA. Then we propose a formal analysis of the security guaranties offered by E IOTA against various attacks mentioned in the original IOTA proposal (e.g. large weight attack, parasite chain attack and splitting attack). Interestingly, to the best of our knowledge this is the first formal analysis of the security guaranties of IOTA and its derivatives.


On the Hilbert scheme of smooth curves in mathbb P 4 of degree d g 1 and genus g with negative Brill Noether number. We denote by mathcal H d,g,r the Hilbert scheme of smooth curves, which is the union of components whose general point corresponds to a smooth irreducible and non degenerate curve of degree d and genus g in PP r . In this article, we show that for low genus g outside the Brill Noether range, the Hilbert scheme mathcal H g 1,g,4 is non empty whenever g ge 9 and irreducible whose only component generically consists of linearly normal curves unless g 9 or g 12 . This complements the validity of the original assertion of Severi regarding the irreducibility of mathcal H d,g,r outside the Brill Nother range for d g 1 and r 4 .


Improving the Generalization of End to End Driving through Procedural Generation. Over the past few years there is a growing interest in the learning based self driving system. To ensure safety, such systems are first developed and validated in simulators before being deployed in the real world. However, most of the existing driving simulators only contain a fixed set of scenes and a limited number of configurable settings. That might easily cause the overfitting issue for the learning based driving systems as well as the lack of their generalization ability to unseen scenarios. To better evaluate and improve the generalization of end to end driving, we introduce an open ended and highly configurable driving simulator called PGDrive, following a key feature of procedural generation. Diverse road networks are first generated by the proposed generation algorithm via sampling from elementary road blocks. Then they are turned into interactive training environments where traffic flows of nearby vehicles with realistic kinematics are rendered. We validate that training with the increasing number of procedurally generated scenes significantly improves the generalization of the agent across scenarios of different traffic densities and road networks. Many applications such as multi agent traffic simulation and safe driving benchmark can be further built upon the simulator. To facilitate the joint research effort of end to end driving, we release the simulator and pretrained models at https decisionforce.github.io pgdrive


A package for computations with sparse resultants. We introduce the Macaulay2 package SparseResultants, which provides general tools for computing sparse resultants, sparse discriminants, and hyperdeterminants. We give some background on the theory and briefly show how the package works.


Compact geodesic orbit spaces with a simple isotropy group. Let M G H be a compact, simply connected, Riemannian homogeneous space, where G is (almost) effective and H is a simple Lie group. In this paper, we first classify all G naturally reductive metrics on M , and then all G geodesic orbit metrics on M .


The Interconnectivity Vector A Finite Dimensional Vector Representation of Persistent Homology. Persistent Homology (PH) is a useful tool to study the underlying structure of a data set. Persistence Diagrams (PDs), which are 2D multisets of points, are a concise summary of the information found by studying the PH of a data set. However, PDs are difficult to incorporate into a typical machine learning workflow. To that end, two main methods for representing PDs have been developed kernel methods and vectorization methods. In this paper we propose a new finite dimensional vector, called the interconnectivity vector, representation of a PD adapted from Bag of Words (BoW). This new representation is constructed to demonstrate the connections between the homological features of a data set. This initial definition of the interconnectivity vector proves to be unstable, but we introduce a stabilized version of the vector and prove its stability with respect to small perturbations in the inputs. We evaluate both versions of the presented vectorization on several data sets and show their high discriminative power.


BEEP! Korean Corpus of Online News Comments for Toxic Speech Detection. Toxic comments in online platforms are an unavoidable social issue under the cloak of anonymity. Hate speech detection has been actively done for languages such as English, German, or Italian, where manually labeled corpus has been released. In this work, we first present 9.4K manually labeled entertainment news comments for identifying Korean toxic speech, collected from a widely used online news platform in Korea. The comments are annotated regarding social bias and hate speech since both aspects are correlated. The inter annotator agreement Krippendorff's alpha score is 0.492 and 0.496, respectively. We provide benchmarks using CharCNN, BiLSTM, and BERT, where BERT achieves the highest score on all tasks. The models generally display better performance on bias identification, since the hate speech detection is a more subjective issue. Additionally, when BERT is trained with bias label for hate speech detection, the prediction score increases, implying that bias and hate are intertwined. We make our dataset publicly available and open competitions with the corpus and benchmarks.


Community detection and Social Network analysis based on the Italian wars of the 15th century. In this contribution we study social network modelling by using human interaction as a basis. To do so, we propose a new set of functions, affinities, designed to capture the nature of the local interactions among each pair of actors in a network. By using these functions, we develop a new community detection algorithm, the Borgia Clustering, where communities naturally arise from the multi agent interaction in the network. We also discuss the effects of size and scale for communities regarding this case, as well as how we cope with the additional complexity present when big communities arise. Finally, we compare our community detection solution with other representative algorithms, finding favourable results.


Assessing Expert System Assisted Literature Reviews With a Case Study. Given the large number of publications in software engineering, frequent literature reviews are required to keep current on work in specific areas. One tedious work in literature reviews is to find relevant studies amongst thousands of non relevant search results. In theory, expert systems can assist in finding relevant work but those systems have primarily been tested in simulations rather than in application to actual literature reviews. Hence, few researchers have faith in such expert systems. Accordingly, using a realistic case study, this paper assesses how well our state of the art expert system can help with literature reviews. The assessed literature review aimed at identifying test case prioritization techniques for automated UI testing, specifically from 8,349 papers on IEEE Xplore. This corpus was studied with an expert system that incorporates an incrementally updated human in the loop active learning tool. Using that expert system, in three hours, we found 242 relevant papers from which we identified 12 techniques representing the state of the art in test case prioritization when source code information is not available. These results were then validated by six other graduate students manually exploring the same corpus. Without the expert system, this task would have required 53 hours and would have found 27 additional papers. That is, our expert system achieved 90 recall with 6 of the human effort cost when compared to a conventional manual method. Significantly, the same 12 state of the art test case prioritization techniques were identified by both the expert system and the manual method. That is, the 27 papers missed by the expert system would not have changed the conclusion of the literature review. Hence, if this result generalizes, it endorses the use of our expert system to assist in literature reviews.


Graphs containing finite induced paths of unbounded length. The age mathcal A (G) of a graph G (undirected and without loops) is the collection of finite induced subgraphs of G , considered up to isomorphy and ordered by embeddability. It is well quasi ordered (wqo) for this order if it contains no infinite antichain. A graph is emph path minimal if it contains finite induced paths of unbounded length and every induced subgraph G' with this property embeds G . We construct 2 aleph 0 path minimal graphs whose ages are pairwise incomparable with set inclusion and which are wqo. Our construction is based on uniformly recurrent sequences and lexicographical sums of labelled graphs.


AttKGCN Attribute Knowledge Graph Convolutional Network for Person Re identification. Discriminative feature representation of person image is important for person re identification (Re ID) task. Recently, attributes have been demonstrated beneficially in guiding for learning more discriminative feature representations for Re ID. As attributes normally co occur in person images, it is desirable to model the attribute dependencies to improve the attribute prediction and thus Re ID results. In this paper, we propose to model these attribute dependencies via a novel attribute knowledge graph (AttKG), and propose a novel Attribute Knowledge Graph Convolutional Network (AttKGCN) to solve Re ID problem. AttKGCN integrates both attribute prediction and Re ID learning together in a unified end to end framework which can boost their performances, respectively. AttKGCN first builds a directed attribute KG whose nodes denote attributes and edges encode the co occurrence relationships of different attributes. Then, AttKGCN learns a set of inter dependent attribute classifiers which are combined with person visual descriptors for attribute prediction. Finally, AttKGCN integrates attribute description and deeply visual representation together to construct a more discriminative feature representation for Re ID task. Extensive experiments on several benchmark datasets demonstrate the effectiveness of AttKGCN on attribute prediction and Re ID tasks.


On the equational graphs over finite fields. In this paper, we generalize the notion of functional graph. Specifically, given an equation E(X,Y) 0 with variables X and Y over a finite field mathbb F q of odd characteristic, we define a digraph by choosing the elements in mathbb F q as vertices and drawing an edge from x to y if and only if E(x,y) 0 . We call this graph as equational graph. In this paper, we study the equational graphs when choosing E(X,Y) (Y 2 f(X))( lambda Y 2 f(X)) with f(X) a polynomial over mathbb F q and lambda a non square element in mathbb F q . We show that if f is a permutation polynomial over mathbb F q , then every connected component of the graph has a Hamiltonian cycle. Moreover, these Hamiltonian cycles can be used to construct balancing binary sequences. By making computations for permutation polynomials f of low degree, it appears that almost all these graphs are strongly connected, and there are many Hamiltonian cycles in such a graph if it is connected.


A variational formulation for motion design of adaptive compliant structures. Adaptive structures are characterized by their ability to adjust their geometrical and other properties to changing loads or requirements during service. This contribution deals with a method for the design of quasi static motions of structures between two prescribed geometrical configurations that are optimal with regard to a specified quality function while taking large deformations into account. It is based on a variational formulation and the solution by two finite element discretizations, the spatial discretization (the standard finite element mesh) and an additional discretization of the deformation path or trajectory. For the investigations, an exemplary objective function, the minimization of the internal energy, integrated along the deformation path, is used. The method for motion design presented herein uses the Newton Raphson method as a second order optimization algorithm and allows for analytical sensitivity analysis. The proposed method is verified and its properties are investigated by benchmark examples including rigid body motions, instability phenomena and determination of inextensible deformations of shells.


Molecular rules for selectivity in lipase catalysed acylation of lysine. The selectivity of L lysine acylation by lauric acid catalysed by Candida antarctica lipase B (CALB) was investigated combining experimental and theoretical methodologies. Experiments showed the near exclusive acylation of lysine epsilon amino group only traces of product resulting from the acylation of lysine alpha amino group were observed fleetingly. Molecular modelling simulations were performed aiming to understand the molecular rules for selectivity. Flexible docking simulations combined with structural investigations into lysine CALB binding modes also suggested the preferential acylation of lysine epsilon amino group without, however, excluding the acylation of the lysine alpha amino group. Electrostatic interaction energy between lysine and the residues covering the catalytic cavity was calculated in order to understand the discrimination between the two lysine amino groups. The results suggests that the proximity of the carboxylate group hinders the binding of the substrate in configurations enabling the N alpha acylation. Key interactions with the polar region covering the catalytic triad were identified and a plausible explanation for selectivity was proposed.


Periodic Neural Codes and Sound Localization in Barn Owls. Inspired by the sound localization system of the barn owl, we define a new class of neural codes, called periodic codes, and study their basic properties. Periodic codes are binary codes with a special patterned form that reflects the periodicity of the stimulus. Because these codes can be used by the owl to localize sounds within a convex set of angles, we investigate whether they are examples of convex codes, which have previously been studied for hippocampal place cells. We find that periodic codes are typically not convex, but can be completed to convex codes in the presence of noise. We introduce the convex closure and Hamming distance completion as ways of adding codewords to make a code convex, and describe the convex closure of a periodic code. We also find that the probability of the convex closure arising stochastically is greater for sparser codes. Finally, we provide an algebraic method using the neural ideal to detect if a code is periodic. We find that properties of periodic codes help to explain several aspects of the behavior observed in the sound localization system of the barn owl, including common errors in localizing pure tones.


Electromagnetic scattering by homogeneous, isotropic, dielectric magnetic sphere with topologically insulating surface states. The Lorenz Mie formulation of electromagnetic scattering by a homogeneous, isotropic, dielectric magnetic sphere was extended to incorporate topologically insulating surface states characterized by a surface admittance gamma . Closed form expressions were derived for the expansion coefficients of the scattered field phasors in terms of those of the incident field phasors. These expansion coefficients were used to obtain analytical expressions for the total scattering, extinction, forward scattering, and backscattering efficiencies of the sphere. Resonances exist for relatively low values of gamma , when the sphere is either nondissipative or weakly dissipative. For large values of gamma , the scattering characteristics are close to that of a perfect electrically conducting sphere, regardless of whether the sphere is composed of a dissipative or nondissipative material, and regardless of whether that material supports planewave propagation with positive or negative phase velocity.


Unsupervised Learning of Object Structure and Dynamics from Videos. Extracting and predicting object structure and dynamics from videos without supervision is a major challenge in machine learning. To address this challenge, we adopt a keypoint based image representation and learn a stochastic dynamics model of the keypoints. Future frames are reconstructed from the keypoints and a reference frame. By modeling dynamics in the keypoint coordinate space, we achieve stable learning and avoid compounding of errors in pixel space. Our method improves upon unstructured representations both for pixel level video prediction and for downstream tasks requiring object level understanding of motion dynamics. We evaluate our model on diverse datasets a multi agent sports dataset, the Human3.6M dataset, and datasets based on continuous control tasks from the DeepMind Control Suite. The spatially structured representation outperforms unstructured representations on a range of motion related tasks such as object tracking, action recognition and reward prediction.


Efficient function approximation on general bounded domains using wavelets on a cartesian grid. Fourier extension is an approximation method that alleviates the periodicity requirements of Fourier series and avoids the Gibbs phenomenon when approximating functions. We describe a similar extension approach using regular wavelet bases on a hypercube to approximate functions on subsets of that cube. These subsets may have a general shape. This construction is inherently associated with redundancy which leads to severe ill conditioning, but recent theory shows that nevertheless high accuracy and numerical stability can be achieved using regularization and oversampling. Regularized least squares solvers, such as the truncated singular value decomposition, that are suited to solve the resulting ill conditioned and skinny linear system generally have cubic computational cost. We compare several algorithms that improve on this complexity. The improvements benefit from the sparsity in and the structure of the discrete wavelet transform. We present a method that requires mathcal O(N) operations in 1 D and mathcal O(N 3(d 1) d ) in d D, d 1 . We experimentally show that direct sparse QR solvers appear to be more time efficient, but yield larger expansion coefficients.


Feynman checkers the probability of direction reversal. We study the most elementary model of electron motion introduced by R.Feynman in 1965. It is a game, in which a checker moves on a checkerboard by simple rules, and we count the turnings. The model is also known as one dimensional quantum walk. In his publication, R.Feynman introduces a discrete version of path integral and poses the problem of computing the limit of the model when the lattice step and the average velocity tend to zero and time tends to infinity. We get a nontrivial advance in the problem on the mathematical level of rigor in a simple particular case even this case requires methods not known before. We also prove a conjecture by I.Gaidai Turlov, T.Kovalev, and A.Lvov on the limit probability of direction reversal in the model generalizing a recent result by A.Ustinov.


A Study of Runtime Adaptive Prefetching for STTRAM L1 Caches. Spin Transfer Torque RAM (STTRAM) is a promising alternative to SRAM in on chip caches due to several advantages. These advantages include non volatility, low leakage, high integration density, and CMOS compatibility. Prior studies have shown that relaxing and adapting the STTRAM retention time to runtime application needs can substantially reduce overall cache energy without significant latency overheads, due to the lower STTRAM write energy and latency in shorter retention times. In this paper, as a first step towards efficient prefetching across the STTRAM cache hierarchy, we study prefetching in reduced retention STTRAM L1 caches. Using SPEC CPU 2017 benchmarks, we analyze the energy and latency impact of different prefetch distances in different STTRAM cache retention times for different applications. We show that expired unused prefetches the number of unused prefetches expired by the reduced retention time STTRAM cache can accurately determine the best retention time for energy consumption and access latency. This new metric can also provide insights into the best prefetch distance for memory bandwidth consumption and prefetch accuracy. Based on our analysis and insights, we propose Prefetch Aware Retention time Tuning (PART) and Retention time based Prefetch Control (RPC). Compared to a base STTRAM cache, PART and RPC collectively reduced the average cache energy and latency by 22.24 and 24.59 , respectively. When the base architecture was augmented with the state of the art near side prefetch throttling (NST), PART RPC reduced the average cache energy and latency by 3.50 and 3.59 , respectively, and reduced the hardware overhead by 54.55


Automorphism groups of cubic fourfolds and K3 categories. In this paper, we study relations between automorphism groups of cubic fourfolds and Kuznetsov components. Firstly, we characterize automorphism groups of cubic fourfolds as subgroups of autoequivalence groups of Kuznetsov components using Bridgeland stability conditions. Secondly, we compare automorphism groups of cubic fourfolds with automorphism groups of their associated K3 surfaces. Thirdly, we note that the existence of a non trivial symplectic automorphism on a cubic fourfold is related to the existence of associated K3 surfaces.


Neural Coreference Resolution for Arabic. No neural coreference resolver for Arabic exists, in fact we are not aware of any learning based coreference resolver for Arabic since (Bjorkelund and Kuhn, 2014). In this paper, we introduce a coreference resolution system for Arabic based on Lee et al's end to end architecture combined with the Arabic version of bert and an external mention detector. As far as we know, this is the first neural coreference resolution system aimed specifically to Arabic, and it substantially outperforms the existing state of the art on OntoNotes 5.0 with a gain of 15.2 points conll F1. We also discuss the current limitations of the task for Arabic and possible approaches that can tackle these challenges.


Development of low background photomultiplier tubes for liquid xenon detectors. We successfully developed a new photomultiplier tube (PMT) with a three inch diameter, convex shaped photocathode, R13111. Its prominent features include good performance and ultra low radioactivity. The convex shaped photocathode realized a large photon acceptance and good timing resolution. Low radioactivity was achieved by three factors (1) the glass material was synthesized using low radioactive contamination material (2) the photocathode was produced with 39 K enriched potassium and (3) the purest grade of aluminum material was used for the vacuum seal. As a result each R13111 PMT contains only about 0.4 mBq of 226 Ra, less than 2 mBq of 238 U, 0.3 mBq of 228 Ra, 2 mBq of 40 K and 0.2 mBq of 60 Co. We also examined and resolved the intrinsic leakage of Xe gas into PMTs that was observed in several older models. We thus succeeded in developing a PMT that has low background, large angular acceptance with high collection efficiency, good timing resolution, and long term stable operation. These features are highly desirable for experiments searching for rare events beyond the standard model, such as dark matter particle interactions and neutrinoless double beta decay events.


Trust and Cognitive Load During Human Robot Interaction. This paper presents an exploratory study to understand the relationship between a humans' cognitive load, trust, and anthropomorphism during human robot interaction. To understand the relationship, we created a say Matching the Pair game that participants could play collaboratively with one of two robot types, Husky or Pepper. The goal was to understand if humans would trust the robot as a teammate while being in the game playing situation that demanded a high level of cognitive load. Using a humanoid vs. a technical robot, we also investigated the impact of physical anthropomorphism and we furthermore tested the impact of robot error rate on subsequent judgments and behavior. Our results showed that there was an inversely proportional relationship between trust and cognitive load, suggesting that as the amount of cognitive load increased in the participants, their ratings of trust decreased. We also found a triple interaction impact between robot type, error rate and participant's ratings of trust. We found that participants perceived Pepper to be more trustworthy in comparison with the Husky robot after playing the game with both robots under high error rate condition. On the contrary, Husky was perceived as more trustworthy than Pepper when it was depicted as featuring a low error rate. Our results are interesting and call further investigation of the impact of physical anthropomorphism in combination with variable error rates of the robot.


Hermitian Curvature Flow on compact homogeneous spaces. We study a version of the Hermitian curvature flow on compact homogeneous complex manifolds. We prove that the solution has a finite exstinction time T 0 and we analyze its behaviour when t to T . We also determine the invariant static metrics and we study the convergence of the normalized flow to one of them.


The normal reduction number of two dimensional cone like singularities. Let (A, mathfrak m) be a normal two dimensional local ring and I an mathfrak m primary integrally closed ideal with a minimal reduction Q . Then we calculate the numbers mathrm nr (I) min n overline I n 1 Q overline I n , quad bar r (I) min n overline I N 1 Q overline I N , forall N ge n , mathrm nr (A) , and bar r (A) , where mathrm nr (A) (resp. bar r (A) ) is the maximum of mathrm nr (I) (resp. bar r (I) ) for all mathfrak m primary integrally closed ideals I subset A . Then we have that bar r (A) le p g(A) 1 , where p g(A) is the geometric genus of A . In this paper, we give an upper bound of bar r (A) when A is a cone like singularity (which has a minimal resolution whose exceptional set is a single smooth curve) and show, in particular, if A is a hypersurface singularity defined by a homogeneous polynomial of degree d , then bar r (A) mathrm nr ( mathfrak m) d 1 . Also we give an example of A and I so that mathrm nr (I) 1 but bar r (I) bar r (A) p g(A) 1 g 1 for every integer g ge 2 .


Groups with ALOGTIME hard word problems and PSPACE complete compressed word problems. We give lower bounds on the complexity of the word problem of certain non solvable groups for a large class of non solvable infinite groups, including in particular free groups, Grigorchuk's group and Thompson's groups, we prove that their word problem is mathsf NC 1 hard. For some of these groups (including Grigorchuk's group and Thompson's groups) we prove that the compressed word problem (which is equivalent to the circuit evaluation problem) is mathsf PSPACE complete.


ZoomNet Part Aware Adaptive Zooming Neural Network for 3D Object Detection. 3D object detection is an essential task in autonomous driving and robotics. Though great progress has been made, challenges remain in estimating 3D pose for distant and occluded objects. In this paper, we present a novel framework named ZoomNet for stereo imagery based 3D detection. The pipeline of ZoomNet begins with an ordinary 2D object detection model which is used to obtain pairs of left right bounding boxes. To further exploit the abundant texture cues in RGB images for more accurate disparity estimation, we introduce a conceptually straight forward module adaptive zooming, which simultaneously resizes 2D instance bounding boxes to a unified resolution and adjusts the camera intrinsic parameters accordingly. In this way, we are able to estimate higher quality disparity maps from the resized box images then construct dense point clouds for both nearby and distant objects. Moreover, we introduce to learn part locations as complementary features to improve the resistance against occlusion and put forward the 3D fitting score to better estimate the 3D detection quality. Extensive experiments on the popular KITTI 3D detection dataset indicate ZoomNet surpasses all previous state of the art methods by large margins (improved by 9.4 on APbv (IoU 0.7) over pseudo LiDAR). Ablation study also demonstrates that our adaptive zooming strategy brings an improvement of over 10 on AP3d (IoU 0.7). In addition, since the official KITTI benchmark lacks fine grained annotations like pixel wise part locations, we also present our KFG dataset by augmenting KITTI with detailed instance wise annotations including pixel wise part location, pixel wise disparity, etc.. Both the KFG dataset and our codes will be publicly available at https github.com detectRecog ZoomNet.


Inverse problems for the nonlinear modified transfer equation. This article is devoted to inverse problems for nonlinear equations of the modified transfer, which can be regarded as a manageable problem. Various productions such problems for normal (unmodified) of the transport equation studied earlier by A.I. Prilepko and most complete form in the dissertation of his follower N. Volkov. If management is a factor in the coefficient of absorption or scattering indicatrix, even in the case of conventional linear transfer equation inverse problem become nonlinear (in the thesis N. P. Volkov overcome this difficulty). The paper deals with modification of the transport equation (for Similar to the way it is done Ozeen for the Navier Stokes equations)


SPARQL with XQuery based Filtering. Linked Open Data (LOD) has been proliferated over various domains, however, there are still lots of open data in various format other than RDF, a standard data description framework in LOD. These open data can also be connected to entities in LOD when they are associated with URIs. Document centric XML data are such open data that are connected with entities in LOD as supplemental documents for these entities, and to convert these XML data into RDF requires various techniques such as information extraction, ontology design and ontology mapping with human prior knowledge. To utilize document centric XML data linked from entities in LOD, in this paper, a SPARQL based seamless access method on RDF and XML data is proposed. In particular, an extension to SPARQL, XQueryFILTER, which enables XQuery as a filter in SPARQL is proposed. For efficient query processing of the combination of SPARQL and XQuery, a database theory based query optimization is proposed. Real world scenario based experiments in this paper showcase that effectiveness of XQueryFILTER and efficiency of the optimization.


Clinical Reading Comprehension A Thorough Analysis of the emrQA Dataset. Machine reading comprehension has made great progress in recent years owing to large scale annotated datasets. In the clinical domain, however, creating such datasets is quite difficult due to the domain expertise required for annotation. Recently, Pampari et al. (EMNLP'18) tackled this issue by using expert annotated question templates and existing i2b2 annotations to create emrQA, the first large scale dataset for question answering (QA) based on clinical notes. In this paper, we provide an in depth analysis of this dataset and the clinical reading comprehension (CliniRC) task. From our qualitative analysis, we find that (i) emrQA answers are often incomplete, and (ii) emrQA questions are often answerable without using domain knowledge. From our quantitative experiments, surprising results include that (iii) using a small sampled subset (5 20 ), we can obtain roughly equal performance compared to the model trained on the entire dataset, (iv) this performance is close to human expert's performance, and (v) BERT models do not beat the best performing base model. Following our analysis of the emrQA, we further explore two desired aspects of CliniRC systems the ability to utilize clinical domain knowledge and to generalize to unseen questions and contexts. We argue that both should be considered when creating future datasets.


Wellposedness of Second Order Master Equations for Mean Field Games with Nonsmooth Data. In this paper we study second order master equations arising from mean field games with common noise over arbitrary time duration. A classical solution typically requires the monotonicity condition (or small time duration) and sufficiently smooth data. While keeping the monotonicity condition, our goal is to relax the regularity of the data, which is an open problem in the literature. In particular, we do not require any differentiability in terms of the measures, which prevents us from obtaining classical solutions. We shall propose three weaker notions of solutions, named as it good solutions , it weak solutions , and it weak viscosity solutions , respectively, and establish the wellposedness of the master equation under all three notions. We emphasize that, due to the game nature, one cannot expect comparison principle even for classical solutions. The key for the global (in time) wellposedness is the uniform a priori estimate for the Lipschitz continuity of the solution in the measures. The monotonicity condition is crucial for this uniform estimate and thus is crucial for the existence of the global solution, but is not needed for the uniqueness in such Lipschitz class. To facilitate our analysis, we construct a smooth mollifier for functions on Wasserstein space, which is new in the literature and is interesting in its own right. Following the same approach of our wellposedness results, we prove the convergence of the Nash system, a high dimensional system of PDEs arising from the corresponding N player game, under mild regularity requirements. We shall also prove a propagation of chaos property for the associated optimal trajectories.


A Unified MRC Framework for Named Entity Recognition. The task of named entity recognition (NER) is normally divided into nested NER and flat NER depending on whether named entities are nested or not. Models are usually separately developed for the two tasks, since sequence labeling models, the most widely used backbone for flat NER, are only able to assign a single label to a particular token, which is unsuitable for nested NER where a token may be assigned several labels. In this paper, we propose a unified framework that is capable of handling both flat and nested NER tasks. Instead of treating the task of NER as a sequence labeling problem, we propose to formulate it as a machine reading comprehension (MRC) task. For example, extracting entities with the textsc per label is formalized as extracting answer spans to the question " it which person is mentioned in the text? ". This formulation naturally tackles the entity overlapping issue in nested NER the extraction of two overlapping entities for different categories requires answering two independent questions. Additionally, since the query encodes informative prior knowledge, this strategy facilitates the process of entity extraction, leading to better performances for not only nested NER, but flat NER. We conduct experiments on both em nested and em flat NER datasets. Experimental results demonstrate the effectiveness of the proposed formulation. We are able to achieve vast amount of performance boost over current SOTA models on nested NER datasets, i.e., 1.28, 2.55, 5.44, 6.37, respectively on ACE04, ACE05, GENIA and KBP17, along with SOTA results on flat NER datasets, i.e., 0.24, 1.95, 0.21, 1.49 respectively on English CoNLL 2003, English OntoNotes 5.0, Chinese MSRA, Chinese OntoNotes 4.0.


A Deep 2 Dimensional Dynamical Spiking Neuronal Network for Temporal Encoding trained with STDP. The brain is known to be a highly complex, asynchronous dynamical system that is highly tailored to encode temporal information. However, recent deep learning approaches to not take advantage of this temporal coding. Spiking Neural Networks (SNNs) can be trained using biologically realistic learning mechanisms, and can have neuronal activation rules that are biologically relevant. This type of network is also structured fundamentally around accepting temporal information through a time decaying voltage update, a kind of input that current rate encoding networks have difficulty with. Here we show that a large, deep layered SNN with dynamical, chaotic activity mimicking the mammalian cortex with biologically inspired learning rules, such as STDP, is capable of encoding information from temporal data. We argue that the randomness inherent in the network weights allow the neurons to form groups that encode the temporal data being inputted after self organizing with STDP. We aim to show that precise timing of input stimulus is critical in forming synchronous neural groups in a layered network. We analyze the network in terms of network entropy as a metric of information transfer. We hope to tackle two problems at once the creation of artificial temporal neural systems for artificial intelligence, as well as solving coding mechanisms in the brain.


Reduced models for wave balanced flow interactions. The routes mechanical energy takes from injection to dissipation in the ocean are currently an open problem. The goals of this project are to 1) Study the energy exchanges between near inertial waves and the balanced flow using idealized simulations and 2) To derive a new asymptotic model to help develop an understanding of such interactions.


A Taxonomy for Virtual and Augmented Reality in Education. In this paper, a taxonomy for VR AR in education is presented that can help differentiate and categorise education experiences and provide indication as to why some applications of fail whereas others succeed. Examples will be presented to illustrate the taxonomy, including its use in developing and planning two current VR projects in our laboratory. The first project is a VR application for the training of Chemical Engineering students (and potentially industrial operators) on the use of a physical pilot plant facility. The second project involves the use of VR cinematography for enacting ethics scenarios (and thus ethical awareness and development) pertinent to engineering work situations.


An explicit semi Lagrangian, spectral method for solution of Lagrangian transport equations in Eulerian Lagrangian formulations. An explicit high order semi Lagrangian method is developed for solving Lagrangian transport equations in Eulerian Lagrangian formulations. To ensure a semi Lagrangian approximation that is consistent with an explicit Eulerian, discontinuous spectral element method (DSEM) discretization used for the Eulerian formulation, Lagrangian particles are seeded at Gauss quadrature collocation nodes within an element. The particles are integrated explicitly in time to obtain an advected polynomial solution at the advected Gauss quadrature locations. This approximation is mapped back in a semi Lagrangian fashion to the Gauss quadrature points through a least squares fit using constraints for element boundary values and optional constraints for mass and energy preservation. An explicit time integration is used for the semi Lagrangian approximation that is consistent with the grid based DSEM solver, which ensures that particles seeded at the Gauss quadrature points do not leave the element's bounds. The method is hence local and parallel and facilitates the solution of the Lagrangian formulation without the grid complexity, and parallelization challenges of a particle solver in particle mesh methods. Numerical tests with one and two dimensional advection equation are carried out. The method converges exponentially. The use of mass and energy constraints can improve accuracy depending on the accuracy of the time integration.


The C 60 thermal electron emission rate. The thermal electron emission rate constant for C 60 has been deduced over a range of 4 eV internal energy from storage ring measurements of the decays of ions reheated with single photons absorption. The thermal radiation from the ions is quantified with respect to continuous cooling and discrete photon quenching.


Personal ITY A Novel YouTube based Corpus for Personality Prediction in Italian. We present a novel corpus for personality prediction in Italian, containing a larger number of authors and a different genre compared to previously available resources. The corpus is built exploiting Distant Supervision, assigning Myers Briggs Type Indicator (MBTI) labels to YouTube comments, and can lend itself to a variety of experiments. We report on preliminary experiments on Personal ITY, which can serve as a baseline for future work, showing that some types are easier to predict than others, and discussing the perks of cross dataset prediction.


Affine invariant interacting Langevin dynamics for Bayesian inference. We propose a computational method (with acronym ALDI) for sampling from a given target distribution based on first order (overdamped) Langevin dynamics which satisfies the property of affine invariance. The central idea of ALDI is to run an ensemble of particles with their empirical covariance serving as a preconditioner for their underlying Langevin dynamics. ALDI does not require taking the inverse or square root of the empirical covariance matrix, which enables application to high dimensional sampling problems. The theoretical properties of ALDI are studied in terms of non degeneracy and ergodicity. Furthermore, we study its connections to diffusion on Riemannian manifolds and Wasserstein gradient flows. Bayesian inference serves as a main application area for ALDI. In case of a forward problem with additive Gaussian measurement errors, ALDI allows for a gradient free approximation in the spirit of the ensemble Kalman filter. A computational comparison between gradient free and gradient based ALDI is provided for a PDE constrained Bayesian inverse problem.


Maximum bound principles for a class of semilinear parabolic equations and exponential time differencing schemes. The ubiquity of semilinear parabolic equations has been illustrated in their numerous applications ranging from physics, biology, to materials and social sciences. In this paper, we consider a practically desirable property for a class of semilinear parabolic equations of the abstract form u t mathcal L u f u with mathcal L being a linear dissipative operator and f being a nonlinear operator in space, namely a time invariant maximum bound principle, in the sense that the time dependent solution u preserves for all time a uniform pointwise bound in absolute value imposed by its initial and boundary conditions. We first study an analytical framework for some sufficient conditions on mathcal L and f that lead to such a maximum bound principle for the time continuous dynamic system of infinite or finite dimensions. Then, we utilize a suitable exponential time differencing approach with a properly chosen generator of contraction semigroup to develop first and second order accurate temporal discretization schemes, that satisfy the maximum bound principle unconditionally in the time discrete setting. Error estimates of the proposed schemes are derived along with their energy stability. Extensions to vector and matrix valued systems are also discussed. We demonstrate that the abstract framework and analysis techniques developed here offer an effective and unified approach to study the maximum bound principle of the abstract evolution equation that cover a wide variety of well known models and their numerical discretization schemes. Some numerical experiments are also carried out to verify the theoretical results.


Random time change with inverses of multivariate subordinators governing equations and fractional dynamics. It is well known that compositions of Markov processes with inverse subordinators are governed by integro differential equations of generalized fractional type. This kind of processes are of wide interest in statistical physics as they are connected to anomalous diffusions. In this paper we consider a generalization more precisely we mean componentwise compositions of mathbb R d valued Markov processes with the components of an independent multivariate inverse subordinator. As a possible application, we present a model of anomalous diffusion in anisotropic medium, which is obtained as a weak limit of suitable continuous time random walks.


Modeling Lost Information in Lossy Image Compression. Lossy image compression is one of the most commonly used operators for digital images. Most recently proposed deep learning based image compression methods leverage the auto encoder structure, and reach a series of promising results in this field. The images are encoded into low dimensional latent features first, and entropy coded subsequently by exploiting the statistical redundancy. However, the information lost during encoding is unfortunately inevitable, which poses a significant challenge to the decoder to reconstruct the original images. In this work, we propose a novel invertible framework called Invertible Lossy Compression (ILC) to largely mitigate the information loss problem. Specifically, ILC introduces an invertible encoding module to replace the encoder decoder structure to produce the low dimensional informative latent representation, meanwhile, transform the lost information into an auxiliary latent variable that won't be further coded or stored. The latent representation is quantized and encoded into bit stream, and the latent variable is forced to follow a specified distribution, i.e. isotropic Gaussian distribution. In this way, recovering the original image is made tractable by easily drawing a surrogate latent variable and applying the inverse pass of the module with the sampled variable and decoded latent features. Experimental results demonstrate that with a new component replacing the auto encoder in image compression methods, ILC can significantly outperform the baseline method on extensive benchmark datasets by combining with the existing compression algorithms.


Unique superdiffusion induced by directionality in multiplex networks. The multilayer network framework has served to describe and uncover a number of novel and unforeseen physical behaviors and regimes in interacting complex systems. However, the majority of existing studies are built on undirected multilayer networks while most complex systems in nature exhibit directed interactions. Here, we propose a framework to analyze diffusive dynamics on multilayer networks consisting of at least one directed layer. We rigorously demonstrate that directionality in multilayer networks can fundamentally change the behavior of diffusive dynamics from monotonic (in undirected systems) to non monotonic diffusion with respect to the interlayer coupling strength. Moreover, for certain multilayer network configurations, the directionality can induce a unique superdiffusion regime for intermediate values of the interlayer coupling, wherein the diffusion is even faster than that corresponding to the theoretical limit for undirected systems, i.e., the diffusion in the integrated network obtained from the aggregation of each layer. We theoretically and numerically show that the existence of superdiffusion is fully determined by the directionality of each layer and the topological overlap between layers. We further provide a formulation of multilayer networks displaying superdiffusion. Our results highlight the significance of incorporating the interacting directionality in multilevel networked systems and provide a framework to analyze dynamical processes on interconnected complex systems with directionality.


Enabling Microsoft OneDrive Integration with HTCondor. Accessing data from distributed computing is essential in many workflows, but can be complicated for users of cyberinfrastructure. They must perform multiple steps to make data available to distributed computing using unfamiliar tools. Further, most research on data distribution has focused on the efficiency of providing data to computing resources rather than considering the ease of use for distributing data. Creating an easy to use data distribution method can reduce the time researchers spend learning cyberinfrastructure and increase its usefulness. Microsoft OneDrive is a online storage solution providing both file storage and sharing. OneDrive provides many different clients to access data stored in the service. It provides many features that users of cyberinfrastructure could find useful such as automatic synchronization with desktop clients. A barrier to using services such as OneDrive is the credential management necessary to access the service. Recent innovations in HTCondor have allowed the management of OAuth credentials to be handled by the scheduler on the user's behalf. The user no longer has to copy credentials along with the job, HTCondor will handle the acquisition, renewal, and secure transfer of credentials on the user's behalf. In this paper, I will focus on providing an easy to use data distribution method utilizing Microsoft OneDrive. Measuring ease of use is difficult, therefore I will will describe the features and advantages of using OneDrive. Additionally, I will compare it to measurements of data distribution methods currently used on a national cyberinfastructure, the Open Science Grid.


Flexible Trinocular Non rigid Multi Camera IMU Dense Reconstruction for UAV Navigation and Mapping. In this paper, we propose a visual inertial framework able to efficiently estimate the camera poses of a non rigid trinocular baseline for long range depth estimation on board a fast moving aerial platform. The estimation of the time varying baseline is based on relative inertial measurements, a photometric relative pose optimizer, and a probabilistic wing model fused in an efficient Extended Kalman Filter (EKF) formulation. The estimated depth measurements can be integrated into a geo referenced global map to render a reconstruction of the environment useful for local replanning algorithms. Based on extensive real world experiments we describe the challenges and solutions for obtaining the probabilistic wing model, reliable relative inertial measurements, and vision based relative pose updates and demonstrate the computational efficiency and robustness of the overall system under challenging conditions.


Cross Domain Image Matching in Presence of Outliers. Cross domain image matching between image collections from different source and target domains is challenging in times of deep learning due to i) limited variation of image conditions in a training set, ii) lack of paired image labels during training, iii) the existing of outliers that makes image matching domains not fully overlap. To this end, we propose an end to end architecture that can match cross domain images without labels in the target domain and handle non overlapping domains by outlier detection. We leverage domain adaptation and triplet constraints for training a network capable of learning domain invariant and identity distinguishable representations, and iteratively detecting the outliers with an entropy loss and our proposed weighted MK MMD. Extensive experimental evidence on Office 17 dataset and our proposed datasets Shape, Pitts CycleGAN shows that the proposed approach yields state of the art cross domain image matching and outlier detection performance on different benchmarks. The code will be made publicly available.


Path decompositions of perturbed reflecting Brownian motions. We are interested in path decompositions of a perturbed reflecting Brownian motion (PRBM) at the hitting times and at the minimum. Our study relies on the loop soups developed by Lawler and Werner 10 and Le Jan 13 14 , in particular on a result discovered by Lupu 15 identifying the law of the excursions of the PRBM above its past minimum with the loop measure of Brownian bridges.


Fail safe Watchtowers and Short lived Assertions for Payment Channels. The recent development of payment channels and their extensions (e.g., state channels) provides a promising scalability solution for blockchains which allows untrusting parties to transact off chain and resolve potential disputes via on chain smart contracts. To protect participants who have no constant access to the blockchain, a watching service named as watchtower is proposed a third party entity obligated to monitor channel states (on behalf of the participants) and correct them on chain if necessary. Unfortunately, currently proposed watchtower schemes suffer from multiple security and efficiency drawbacks. In this paper, we explore the design space behind watchtowers. We propose a novel watching service named as fail safe watchtowers. In contrast to prior proposed watching services, our fail safe watchtower does not watch on chain smart contracts constantly. Instead, it only sends a single on chain message periodically confirming or denying the final states of channels being closed. Our watchtowers can easily handle a large number of channels, are privacy preserving, and fail safe tolerating multiple attack vectors. Furthermore, we show that watchtowers (in general) may be an option economically unjustified for multiple payment scenarios and we introduce a simple, yet powerful concept of short lived assertions which can mitigate misbehaving parties in these scenarios.


COVID 19Base A knowledgebase to explore biomedical entities related to COVID 19. We are presenting COVID 19Base, a knowledgebase highlighting the biomedical entities related to COVID 19 disease based on literature mining. To develop COVID 19Base, we mine the information from publicly available scientific literature and related public resources. We considered seven topic specific dictionaries, including human genes, human miRNAs, human lncRNAs, diseases, Protein Databank, drugs, and drug side effects, are integrated to mine all scientific evidence related to COVID 19. We have employed an automated literature mining and labeling system through a novel approach to measure the effectiveness of drugs against diseases based on natural language processing, sentiment analysis, and deep learning. To the best of our knowledge, this is the first knowledgebase dedicated to COVID 19, which integrates such large variety of related biomedical entities through literature mining. Proper investigation of the mined biomedical entities along with the identified interactions among those, reported in COVID 19Base, would help the research community to discover possible ways for the therapeutic treatment of COVID 19.


Participatory Budgeting with Project Groups. We study a generalization of the standard approval based model of participatory budgeting (PB), in which voters are providing approval ballots over a set of predefined projects and in addition to a global budget limit, there are several groupings of the projects, each group with its own budget limit. We study the computational complexity of identifying project bundles that maximize voter satisfaction while respecting all budget limits. We show that the problem is generally intractable and describe efficient exact algorithms for several special cases, including instances with only few groups and instances where the group structure is close to be hierarchical, as well as efficient approximation algorithms. Our results could allow, e.g., municipalities to hold richer PB processes that are thematically and geographically inclusive.


BERTweet A pre trained language model for English Tweets. We present BERTweet, the first public large scale pre trained language model for English Tweets. Our BERTweet, having the same architecture as BERT base (Devlin et al., 2019), is trained using the RoBERTa pre training procedure (Liu et al., 2019). Experiments show that BERTweet outperforms strong baselines RoBERTa base and XLM R base (Conneau et al., 2020), producing better performance results than the previous state of the art models on three Tweet NLP tasks Part of speech tagging, Named entity recognition and text classification. We release BERTweet under the MIT License to facilitate future research and applications on Tweet data. Our BERTweet is available at https github.com VinAIResearch BERTweet


Subcritical Hopf Bifurcations in the FitzHugh Nagumo Model. It had been shown that the transition from a rigidly rotating spiral wave to a meandering spiral wave is via a Hopf bifurcation. Many studies have shown that these bifurcations are supercritical, but we present numerical studies which show that subcritical bifurcations are also present within FitzHugh Nagumo. Furthermore, we present a evidence that this bifurcation is highly sensitive to initial conditions, and it is possible to convert one solution in the hysteresis loop to the other.


Characterizing Circular Colouring Mixing for frac p q 4 . Given a graph G , the k mixing problem asks Can one obtain all k colourings of G , starting from one k colouring f , by changing the colour of only one vertex at a time, while at each step maintaining a k colouring? More generally, for a graph H , the H mixing problem asks Can one obtain all homomorphisms G to H , starting from one homomorphism f , by changing the image of only one vertex at a time, while at each step maintaining a homomorphism G to H ? This paper focuses on a generalization of k colourings, namely (p,q) circular colourings. We show that when 2 frac p q 4 , a graph G is (p,q) mixing if and only if for any (p,q) colouring f of G , and any cycle C of G , the wind of the cycle under the colouring equals a particular value (which intuitively corresponds to having no wind). As a consequence we show that (p,q) mixing is closed under a restricted homomorphism called a fold. Using this, we deduce that (2k 1,k) mixing is co NP complete for all k in mathbb N , and by similar ideas we show that if the circular chromatic number of a connected graph G is frac 2k 1 k , then G folds to C 2k 1 . We use the characterization to settle a conjecture of Brewster and Noel, specifically that the circular mixing number of bipartite graphs is 2 . Lastly, we give a polynomial time algorithm for (p,q) mixing in planar graphs when 3 leq frac p q 4 .


No Reference Quality Assessment of Contrast Distorted Images using Contrast Enhancement. No reference image quality assessment (NR IQA) aims to measure the image quality without reference image. However, contrast distortion has been overlooked in the current research of NR IQA. In this paper, we propose a very simple but effective metric for predicting quality of contrast altered images based on the fact that a high contrast image is often more similar to its contrast enhanced image. Specifically, we first generate an enhanced image through histogram equalization. We then calculate the similarity of the original image and the enhanced one by using structural similarity index (SSIM) as the first feature. Further, we calculate the histogram based entropy and cross entropy between the original image and the enhanced one respectively, to gain a sum of 4 features. Finally, we learn a regression module to fuse the aforementioned 5 features for inferring the quality score. Experiments on four publicly available databases validate the superiority and efficiency of the proposed technique.


Delegated Stochastic Probing. Delegation covers a broad class of problems in which a principal doesn't have the resources or expertise necessary to complete a task by themselves, so they delegate the task to an agent whose interests may not be aligned with their own. Stochastic probing describes problems in which we are tasked with maximizing expected utility by "probing" known distributions for acceptable solutions subject to certain constraints. In this work, we combine the concepts of delegation and stochastic probing into a single mechanism design framework which we term delegated stochastic probing. We study how much a principal loses by delegating a stochastic probing problem, compared to their utility in the non delegated solution. Our model and results are heavily inspired by the work of Kleinberg and Kleinberg in "Delegated Search Approximates Efficient Search." Building on their work, we show that there exists a connection between delegated stochastic probing and generalized prophet inequalities, which provides us with constant factor deterministic mechanisms for a large class of delegated stochastic probing problems. We also explore randomized mechanisms in a simple delegated probing setting, and show that they outperform deterministic mechanisms in some instances but not in the worst case.


Technical Report Optimal Control of Piecwise smooth Control Systems via Singular Perturbations. This paper investigates optimal control problems formulated over a class of piecewise smooth vector fields. Instead of optimizing over the discontinuous system directly, we instead formulate optimal control problems over a family of regularizations which are obtained by "smoothing out" the discontinuity in the original system. It is shown that the smooth problems can be used to obtain accurate derivative information about the non smooth problem, under standard regularity conditions. We then indicate how the regularizations can be used to consistently approximate the non smooth optimal control problem in the sense of Polak. The utility of these smoothing techniques is demonstrated in an in depth example, where we utilize recently developed reduced order modeling techniques from the dynamic walking community to generate motion plans across contact sequences for a 18 DOF model of a lower body exoskeleton.


Exponential Time Differencing for the Tracer Equations Appearing in Primitive Equation Ocean Models. The tracer equations are part of the primitive equations used in ocean modeling and describe the transport of tracers, such as temperature, salinity or chemicals, in the ocean. Depending on the number of tracers considered, several equations may be added to and coupled to the dynamics system. In many relevant situations, the time step requirements of explicit methods imposed by the transport and mixing in the vertical direction are more restrictive than those for the horizontal, and this may cause the need to use very small time steps if a fully explicit method is employed. To overcome this issue, we propose an exponential time differencing (ETD) solver where the vertical terms (transport and diffusion) are treated with a matrix exponential, whereas the horizontal terms are dealt with in an explicit way. We investigate numerically the computational speed ups that can be obtained over other semi implicit methods, and we analyze the advantages of the method in the case of multiple tracers.


Macro Action Based Deep Multi Agent Reinforcement Learning. In real world multi robot systems, performing high quality, collaborative behaviors requires robots to asynchronously reason about high level action selection at varying time durations. Macro Action Decentralized Partially Observable Markov Decision Processes (MacDec POMDPs) provide a general framework for asynchronous decision making under uncertainty in fully cooperative multi agent tasks. However, multi agent deep reinforcement learning methods have only been developed for (synchronous) primitive action problems. This paper proposes two Deep Q Network (DQN) based methods for learning decentralized and centralized macro action value functions with novel macro action trajectory replay buffers introduced for each case. Evaluations on benchmark problems and a larger domain demonstrate the advantage of learning with macro actions over primitive actions and the scalability of our approaches.


Universal composition operators. A Hilbert space operator U is called universal (in the sense of Rota) if every Hilbert space operator is similar to a multiple of U restricted to one of its invariant subspaces. It follows that the Invariant Subspace Problem for Hilbert spaces is equivalent to the statement that all minimal invariant subspaces for U are one dimensional. In this article we characterize all linear fractional composition operators C phi f f circ phi that have universal translates on both the classical Hardy spaces H 2( mathbb C ) and H 2( mathbb D ) of the half plane and the unit disk respectively. The surprising new example is the composition operator on H 2( mathbb D ) with affine symbol phi a(z) az (1 a) for 0 a 1 . This leads to strong characterizations of minimal invariant subspaces and eigenvectors of C phi a and offers an alternative approach to the ISP.


The realizability of some finite length modules over the Steenrod algebra by spaces. The Joker is an important finite cyclic module over the mod 2 Steenrod algebra mathcal A . We show that the Joker, its first two iterated Steenrod doubles, and their linear duals are realizable by spaces of as low a dimension as the instability condition of modules over the Steenrod algebra permits. This continues and concludes prior work by the first author and yields a complete characterization of which versions of Jokers are realizable by spaces or spectra and which are not. The constructions involve sporadic phenomena in homotopy theory ( 2 compact groups, topological modular forms) and may be of independent interest.


ElasTool An automated toolkit for elastic constants calculation. We here present, the ElasTool package, an automated toolkit for calculating the second order elastic constants (SOECs) of any two (2D) and three dimensional (3D) crystal systems. It can utilize three kinds of strain matrix sets, the high efficiency strain matrix sets (OHESS), the universal linear independent coupling strains (ULICS) and the all single element strain matrix sets (ASESS) to calculate the SOECs automatically. In an automatic manner, ElasTool can deal with both zero and high temperature elastic constants. The theoretical background and computational method of elastic constants, the package structure, the installation and run, the input output files, the controlling parameters, and two representative examples of ElasTool are described detailedly. ElasTool is useful for either the exploration of materials' elastic properties or high throughput new materials design. ElasTool is also available at our website www.matdesign.cn.


A note on a generalization of two well known Cominatorial identities via a Hypergeometric series approach. In this note, we aim to provide generalizations of (i) Knuth's old sum (or Reed Dawson identity) and (ii) Riordan's identity using a hypergeometric series approach.


The spaces of dyadic distributions. In this paper subdivision schemes, which are used for functions approximation and curves generation, are considered. In classical case, for the functions defined on the real line, the theory of subdivision schemes is widely known due to multiple applications in constructive approximation theory, signal processing as well as for generating fractal curves and surfaces. Subdivision schemes on a dyadic half line, which is the positive half line, equipped with the standard Lebesgue measure and the digitwise binary addition operation, where the Walsh functions play the role of exponents, are defined and studied. Necessary and sufficient convergence conditions of the subdivision schemes in terms of spectral properties of matrices and in terms of the smoothness of the solution of the corresponding refinement equation are proved. The problem of the convergence of subdivision schemes with non negative coefficients is also investigated. Explicit convergence criterion of the subdivision schemes with four coefficients is obtained. As an auxiliary result fractal curves on a dyadic half line are defined and the formula of their smoothness is proved. The paper contains various illustrations and numerical results.


Minimal volume product of three dimensional convex bodies with various discrete symmetries. We give the sharp lower bound of the volume product of three dimensional convex bodies which are invariant under a discrete subgroup of O(3) in several cases. We also characterize the convex bodies with the minimal volume product in each case. In particular, this provides a new partial result of the non symmetric version of Mahler's conjecture in the three dimensional case.


Internal Coalgebras in Cocomplete Categories Generalizing the Eilenberg Watts Theorem. The category of internal coalgebras in a cocomplete category mathcal C with respect to a variety mathcal V is equivalent to the category of left adjoint functors from mathcal V into mathcal C . This can be seen best when considering such coalgebras as finite coproduct preserving functors from mathcal T mathcal V mathsf op , the dual of the Lawvere theory of mathcal V , into mathcal C coalgebras are restrictions of left adjoints and any such left adjoint is the left Kan extension of a coalgebra along the embedding of mathcal T mathcal V mathsf op into mathsf Alg mathcal T . Since S mathit Mod coalgebras in the variety R mathit Mod for rings R and S are nothing but left S , right R bimodules, the equivalence above generalizes the Eilenberg Watts Theorem and all its previous generalizations. Generalizing and strengthening Bergman's completeness result for categories of internal coalgebras in varieties we also prove that the category of coalgebras in a locally presentable category mathcal C is locally presentable and comonadic over mathcal C and, hence, complete in particular. We show, moreover, that Freyd's canonical constructions of internal coalgebras in a variety define left adjoint functors. Special instances of the respective right adjoints appear in various algebraic contexts and, in the case where mathcal V is a commutative variety, are coreflectors from the category mathsf Coalg ( mathcal T , mathcal V ) into mathcal V .


A note on the normal filters extension property. We show that if lambda kappa lambda and every normal filter on P kappa lambda can be extended to a kappa complete ultrafilter then so does every kappa complete filter on lambda . This answers a question of Gitik.


Invariants of relatively generic surface singularities II. Images of Abel maps. In cite R the author investigated invariants of relatively generic structures on surface singularities generalising results of cite NNA1 and cite NNA2 about generic analytic structures and generic line bundles to the case of the relative setup, where we fix a given analytic type or line bundle on a smaller subgraph or more generally on a smaller cycle and we choose a relatively generic line bundle or analytic type on the large cycle and managed to compute some of it's invariants, like geometric genus or h 1 of natural line bundles. In cite NNAD the authors investigated the images of Abel maps c l' (Z) eca l' (Z) to pic l' (Z) , where l' in S'( Z ) , especially the dimensions of the images of these maps and gave two algorithms to compute these invariants from cohomology numbers of cycles and from periodic constants of singularities we get from tX by blowing it up at generic points sequentially. Furthemore in cite NNAD the authors gave explicit combinatorial formulas in the case of generic singularities. In this paper we want to generalise the theorems from cite NNAD to the relatively generic case. In this case we fix a subsingularity tX 1 for a subgraph mathcal T 1 subset mathcal T and a relatively generic singularity tX corresponding to tX 1 . Furthermore we fix a line bundle calL on tX 1 and a Chern class l' in S' , such that c 1( calL) R(l') . Our main goal in the article is to compute dim(c l' ( eca l', calL (Z))) from invariants of the subsingularity tX 1 and to conclude a few corollaries.


Stochastic gradient free descents. In this paper we propose stochastic gradient free methods and accelerated methods with momentum for solving stochastic optimization problems. All these methods rely on stochastic directions rather than stochastic gradients. We analyze the convergence behavior of these methods under the mean variance framework, and also provide a theoretical analysis about the inclusion of momentum in stochastic settings which reveals that the momentum term we used adds a deviation of order mathcal O (1 k) but controls the variance at the order mathcal O (1 k) for the k th iteration. So it is shown that, when employing a decaying stepsize alpha k mathcal O (1 k) , the stochastic gradient free methods can still maintain the sublinear convergence rate mathcal O (1 k) and the accelerated methods with momentum can achieve a convergence rate mathcal O (1 k 2) in probability for the strongly convex objectives with Lipschitz gradients and all these methods converge to a solution with a zero expected gradient norm when the objective function is nonconvex, twice differentiable and bounded below.


Compressive MRI quantification using convex spatiotemporal priors and deep auto encoders. We propose a dictionary matching free pipeline for multi parametric quantitative MRI image computing. Our approach has two stages based on compressed sensing reconstruction and deep learned quantitative inference. The reconstruction phase is convex and incorporates efficient spatiotemporal regularisations within an accelerated iterative shrinkage algorithm. This minimises the under sampling (aliasing) artefacts from aggressively short scan times. The learned quantitative inference phase is purely trained on physical simulations (Bloch equations) that are flexible for producing rich training samples. We propose a deep and compact auto encoder network with residual blocks in order to embed Bloch manifold projections through multiscale piecewise affine approximations, and to replace the nonscalable dictionary matching baseline. Tested on a number of datasets we demonstrate effectiveness of the proposed scheme for recovering accurate and consistent quantitative information from novel and aggressively subsampled 2D 3D quantitative MRI acquisition protocols.


A proof of P! NP. We show that it is provable in PA that there is an arithmetically definable sequence phi n n in omega of Pi 0 2 sentences, such that PRA phi n n in omega is Pi 0 2 sound and Pi 0 1 complete the length of phi n is bounded above by a polynomial function of n with positive leading coefficient PRA phi n 1 always proves 1 consistency of PRA phi n . One has that the growth in logical strength is in some sense "as fast as possible", manifested in the fact that the total general recursive functions whose totality is asserted by the true Pi 0 2 sentences in the sequence are cofinal growth rate wise in the set of all total general recursive functions. We then develop an argument which makes use of a sequence of sentences constructed by an application of the diagonal lemma, which are generalisations in a broad sense of Hugh Woodin's "Tower of Hanoi" construction as outlined in his essay "Tower of Hanoi" in Chapter 18 of the anthology "Truth in Mathematics". The argument establishes the result that it is provable in PA that P neq NP . We indicate how to pull the argument all the way down into EFA.


CHOP Bypassing Runtime Bounds Checking Through Convex Hull OPtimization. Unsafe memory accesses in programs written using popular programming languages like C C have been among the leading causes for software vulnerability. Prior memory safety checkers such as SoftBound enforce memory spatial safety by checking if every access to array elements are within the corresponding array bounds. However, it often results in high execution time overhead due to the cost of executing the instructions associated with bounds checking. To mitigate this problem, redundant bounds check elimination techniques are needed. In this paper, we propose CHOP, a Convex Hull OPtimization based framework, for bypassing redundant memory bounds checking via profile guided inferences. In contrast to existing check elimination techniques that are limited by static code analysis, our solution leverages a model based inference to identify redundant bounds checking based on runtime data from past program executions. For a given function, it rapidly derives and updates a knowledge base containing sufficient conditions for identifying redundant array bounds checking. We evaluate CHOP on real world applications and benchmark (such as SPEC) and the experimental results show that on average 80.12 of dynamic bounds check instructions can be avoided, resulting in improved performance up to 95.80 over SoftBound.


On the invariance of the string topology coproduct. We show that the Goresky Hingston coproduct in string topology is invariant under homotopy equivalences that satisfy an additional assumption, either stated in terms the restriction to the fake diagonal'', or in terms of boundedness for the homotopy.


Discrete Dynamical System Approaches for Boolean Polynomial Optimization. In this article, we discuss the numerical solution of Boolean polynomial programs by algorithms borrowing from numerical methods for differential equations, namely the Houbolt scheme, the Lie scheme, and a Runge Kutta scheme. We first introduce a quartic penalty functional (of Ginzburg Landau type) to approximate the Boolean program by a continuous one and prove some convergence results as the penalty parameter varepsilon converges to 0 . We prove also that, under reasonable assumptions, the distance between local minimizers of the penalized problem and the set pm1 n is of order O( sqrt n varepsilon) . Next, we introduce algorithms for the numerical solution of the penalized problem, these algorithms relying on the Houbolt, Lie and Runge Kutta schemes, classical methods for the numerical solution of ordinary or partial differential equations. We performed numerical experiments to investigate the impact of various parameters on the convergence of the algorithms. We have tested our ODE approaches and compared with the classical nonlinear optimization solver IPOPT and a quadratic binary formulation approach (QB G) as well as an exhaustive method using parallel computing techniques. The numerical results on various datasets (including small and large scale randomly generated synthetic datasets of general Boolean polynomial optimization problems, and a large scale heterogeneous MQLib benchmark dataset of Max Cut and Quadratic Unconstrained Binary Optimization (QUBO) problems) show good performances for our ODE approaches. As a result, our ODE algorithms often converge faster than the other compared methods to better integer solutions of the Boolean program.


Express Lowering the Cost of Metadata hiding Communication with Cryptographic Privacy. Existing systems for metadata hiding messaging that provide cryptographic privacy properties have either high communication costs, high computation costs, or both. In this paper, we introduce Express, a metadata hiding communication system that significantly reduces both communication and computation costs. Express is a two server system that provides cryptographic security against an arbitrary number of malicious clients and one malicious server. In terms of communication, Express only incurs a constant factor overhead per message sent regardless of the number of users, whereas previous cryptographically secure systems Pung and Riposte had communication costs proportional to roughly the square root of the number of users. In terms of computation, Express only uses symmetric key cryptographic primitives and makes both practical and asymptotic improvements on protocols employed by prior work. These improvements enable Express to increase message throughput, reduce latency, and consume over 100x less bandwidth than Pung and Riposte, dropping the end to end cost of running a realistic whistleblowing application by 6x.