Discriminative Video Representation Learning Using Support Vector Classifiers. Most popular deep models for action recognition in videos generate independent predictions for short clips, which are then pooled heuristically to assign an action label to the full video segment. As not all frames may characterize the underlying action many are common across multiple actions pooling schemes that impose equal importance on all frames might be unfavorable. In an attempt to tackle this problem, we propose discriminative pooling, based on the notion that among the deep features generated on all short clips, there is at least one that characterizes the action. To identify these useful features, we resort to a negative bag consisting of features that are known to be irrelevant, for example, they are sampled either from datasets that are unrelated to our actions of interest or are CNN features produced via random noise as input. With the features from the video as a positive bag and the irrelevant features as the negative bag, we cast an objective to learn a (nonlinear) hyperplane that separates the unknown useful features from the rest in a multiple instance learning formulation within a support vector machine setup. We use the parameters of this separating hyperplane as a descriptor for the full video segment. Since these parameters are directly related to the support vectors in a max margin framework, they can be treated as a weighted average pooling of the features from the bags, with zero weights given to non support vectors. Our pooling scheme is end to end trainable within a deep learning framework. We report results from experiments on eight computer vision benchmark datasets spanning a variety of video related tasks and demonstrate state of the art performance across these tasks.


Amata An Annealing Mechanism for Adversarial Training Acceleration. Despite the empirical success in various domains, it has been revealed that deep neural networks are vulnerable to maliciously perturbed input data that much degrade their performance. This is known as adversarial attacks. To counter adversarial attacks, adversarial training formulated as a form of robust optimization has been demonstrated to be effective. However, conducting adversarial training brings much computational overhead compared with standard training. In order to reduce the computational cost, we propose an annealing mechanism, Amata, to reduce the overhead associated with adversarial training. The proposed Amata is provably convergent, well motivated from the lens of optimal control theory and can be combined with existing acceleration methods to further enhance performance. It is demonstrated that on standard datasets, Amata can achieve similar or better robustness with around 1 3 to 1 2 the computational time compared with traditional methods. In addition, Amata can be incorporated into other adversarial training acceleration algorithms (e.g. YOPO, Free, Fast, and ATTA), which leads to further reduction in computational time on large scale problems.


Weak and strong mean field limits for stochastic Cucker Smale particle systems. We consider a particle system with a mean field type interaction perturbed by some common and individual noises. When the interacting kernels are sublinear and only locally Lipschitz continuous, relying on arguments based on the tightness of random measures in Wasserstein spaces, we are able to construct a weak solution of the corresponding limiting SPDE. In a setup where the diffusion coefficient on the environmental noise is bounded, this weak convergence can be turned into a strong L p( Omega ) convergence and the propagation of chaos for the particle system can be established. The systems considered include perturbations of the Cucker Smale model for collective motion.


On the Fault Tolerant Distributed Data Caching using LDPC Codes in Cellular Networks. The base station mobile device communication traffic has dramatically increased recently due to mobile data, which in turn heavily overloaded the underlying infrastructure. To decrease Base Station (BS) interaction, intra cell communication between local devices, known as Device to Device, is utilized for distributed data caching. Nevertheless, due to the continuous departure of existing nodes and the arrival of newcomers, the missing cached data may lead to permanent data loss. In this study, we propose and analyze a class of LDPC codes for distributed data caching in cellular networks. Contrary to traditional distributed storage, a novel repair algorithm for LDPC codes is proposed which is designed to exploit the minimal direct BS communication. To assess the versatility of LDPC codes and establish performance comparisons to classic coding techniques, novel theoretical and experimental evaluations are derived. Essentially, the theoretical numerical results for repair bandwidth cost in presence of BS are presented in a distributed caching setting. Accordingly, when the gap between the cost of downloading a symbol from BS and from other local network nodes is not dramatically high, we demonstrate that LDPC codes can be considered as a viable fault tolerance alternative in cellular systems with caching capabilities for both low and high code rates.


Body of constant width with minimal area in a given annulus. In this paper we address the following shape optimization problem find the planar domain of least area, among the sets with prescribed constant width and inradius. In the literature, the problem is ascribed to Bonnesen, who proposed it in cite BF . In the present work, we give a complete answer to the problem, providing an explicit characterization of optimal sets for every choice of width and inradius. These optimal sets are particular Reuleaux polygons.


Deformation of morphisms, varieties of low codimension and asymptotic limits. In this article, we study the deformations of a finite morphism varphi to a projective space factoring through an abelian cover of a complete intersection subvariety Y and the intimately connected problem of existence or non existence of multiple structures called ropes on Y . From our more general main theorems we obtain the following interesting applications (1) We construct infinitely many ropes supported on complete intersection subvarieties, embedded in the projective space. We smooth these ropes to obtain infinitely many families of smooth subvarieties with codimension in the range of Hartshorne's conjecture. In addition, we systematically construct smooth non complete intersection subvarieties, embedded by complete linear series, outside the range of Hartshorne's conjecture, thereby showing many ropes that are not in the boundary of a component of the Hilbert scheme parameterizing smooth complete intersections subvarieties. (2) We go beyond Enriques' original question on constructing simple canonical surfaces in projective spaces, and construct simple canonical varieties in all dimensions. An infinite subset of these simple canonical varieties have finite birational canonical map which is not an embedding. The deformations of the finite morphisms studied in this article display a wide variety of behavior. In particular we show that there are infinitely many families of examples for which a general deformation of the associated finite morphism of degree n remains of degree n , infinitely many families of examples for which degree n becomes degree n 2 (when n is even), and infinitely many families for which degree n becomes degree 1 . This has potential applications to finding components of moduli spaces of varieties of general type in higher dimensions, as the first two authors and Gonz 'alez showed for surfaces in GGP2 .


Mod ell Weil representations and Deligne Lusztig inductions for unitary groups. We study a decomposition of the mod ell Weil representation of a finite unitary group via Deligne Lusztig inductions. We study also its decomposition as representations of a symplectic group, and give a construction of mod ell Howe correspondence for ( mathit Sp 2n ,O 2 ) including the case where p 2 .


Learning Semantic Neural Tree for Human Parsing. The majority of existing human parsing methods formulate the task as semantic segmentation, which regard each semantic category equally and fail to exploit the intrinsic physiological structure of human body, resulting in inaccurate results. In this paper, we design a novel semantic neural tree for human parsing, which uses a tree architecture to encode physiological structure of human body, and designs a coarse to fine process in a cascade manner to generate accurate results. Specifically, the semantic neural tree is designed to segment human regions into multiple semantic subregions (e.g., face, arms, and legs) in a hierarchical way using a new designed attention routing module. Meanwhile, we introduce the semantic aggregation module to combine multiple hierarchical features to exploit more context information for better performance. Our semantic neural tree can be trained in an end to end fashion by standard stochastic gradient descent (SGD) with back propagation. Several experiments conducted on four challenging datasets for both single and multiple human parsing, i.e., LIP, PASCAL Person Part, CIHP and MHP v2, demonstrate the effectiveness of the proposed method. Code can be found at https isrc.iscas.ac.cn gitlab research sematree.


Blockchain Superoptimizer. In the blockchain based, distributed computing platform Ethereum, programs called smart contracts are compiled to bytecode and executed on the Ethereum Virtual Machine (EVM). Executing EVM bytecode is subject to monetary fees a clear optimization target. Our aim is to superoptimize EVM bytecode by encoding the operational semantics of EVM instructions as SMT formulas and leveraging a constraint solver to automatically find cheaper bytecode. We implement this approach in our EVM Bytecode SuperOptimizer ebso and perform two large scale evaluations on real world data sets.


Learning to Discover Multi Class Attentional Regions for Multi Label Image Recognition. Multi label image recognition is a practical and challenging task compared to single label image classification. However, previous works may be suboptimal because of a great number of object proposals or complex attentional region generation modules. In this paper, we propose a simple but efficient two stream framework to recognize multi category objects from global image to local regions, similar to how human beings perceive objects. To bridge the gap between global and local streams, we propose a multi class attentional region module which aims to make the number of attentional regions as small as possible and keep the diversity of these regions as high as possible. Our method can efficiently and effectively recognize multi class objects with an affordable computation cost and a parameter free region localization module. Over three benchmarks on multi label image classification, we create new state of the art results with a single model only using image semantics without label dependency. In addition, the effectiveness of the proposed method is extensively demonstrated under different factors such as global pooling strategy, input size and network architecture. Code has been made available at url https github.com gaobb MCAR .


GoEmotions A Dataset of Fine Grained Emotions. Understanding emotion expressed in language has a wide range of applications, from building empathetic chatbots to detecting harmful online behavior. Advancement in this area can be improved using large scale datasets with a fine grained typology, adaptable to multiple downstream tasks. We introduce GoEmotions, the largest manually annotated dataset of 58k English Reddit comments, labeled for 27 emotion categories or Neutral. We demonstrate the high quality of the annotations via Principal Preserved Component Analysis. We conduct transfer learning experiments with existing emotion benchmarks to show that our dataset generalizes well to other domains and different emotion taxonomies. Our BERT based model achieves an average F1 score of .46 across our proposed taxonomy, leaving much room for improvement.


Uniqueness theorems of meromorphic functions with their differential difference operators in several complex variables. In this paper, we study the uniqueness of meromporphic functions and their difference operators. In particular, We have proved Let f be a nonconstant entire function on mathbb C n , let eta in mathbb C n be a nonzero complex number, and let a and b be two distinct complex numbers in mathbb C n . If varlimsup r rightarrow infty frac logT(r,f) r 0, and if f(z) and ( Delta eta n f(z)) (k) share a CM and share b IM, then f(z) equiv( Delta eta n f(z)) (k) .


Prescribed mean curvature equation on torus. Prescribed mean curvature problems on the torus has been considered in one dimension. In this paper, we prove the existence of a graph on the n dimensional torus mathbb T n , the mean curvature vector of which equals the normal component of a given vector field satisfying suitable conditions for a Sobolev norm, the integrated value, and monotonicity.


Flexibility of statistical properties for smooth systems satisfying the central limit theorem. In this paper we exhibit new classes of smooth systems which satisfy the Central Limit Theorem (CLT) and have (at least) one of the following properties (1) zero entropy (2) weak but not strong mixing (3) (polynomially) mixing but not K (4) K but not Bernoulli (5) non Bernoulli and mixing at arbitrary fast polynomial rate. We also give an example of a system satisfying the CLT where the normalizing sequence is regularly varying with index 1 .


Lyapunov exponents of polynomials with respect to certain weighted Lyubich's measures. In this paper, we consider a monic, centred, hyperbolic polynomial of degree d ge 2 , restricted on its Julia set and compute its Lyapunov exponents with respect to certain weighted Lyubich's measures. In particular, we show a certain well behavedness of some coefficients of the Lyapunov exponents, that quantifies the non well behavedness in a system.


Advances in Nb3Sn superconducting radiofrequency cavities towards first practical accelerator applications. Nb3Sn is a promising next generation material for superconducting radiofrequency cavities, with significant potential for both large scale and compact accelerator applications. However, so far, Nb3Sn cavities have been limited to cw accelerating fields 18 MV m. In this paper, new results are presented with significantly higher fields, as high as 24 MV m in single cell cavities. Results are also presented from the first ever Nb3Sn coated 1.3 GHz 9 cell cavity, a full scale demonstration on the cavity type used in production for the European XFEL and LCLS II. Results are presented together with heat dissipation curves to emphasize the potential for industrial accelerator applications using cryocooler based cooling systems. The cavities studied have an atypical shiny visual appearance, and microscopy studies of witness samples reveal significantly reduced surface roughness and smaller film thickness compared to typical Nb3Sn films for superconducting cavities. Possible mechanisms for increased maximum field are discussed as well as implications for physics of RF superconductivity in the low coherence length regime. Outlook for continued development is presented.


Phase space learning with neural networks. This work proposes an autoencoder neural network as a non linear generalization of projection based methods for solving Partial Differential Equations (PDEs). The proposed deep learning architecture presented is capable of generating the dynamics of PDEs by integrating them completely in a very reduced latent space without intermediate reconstructions, to then decode the latent solution back to the original space. The learned latent trajectories are represented and their physical plausibility is analyzed. It is shown the reliability of properly regularized neural networks to learn the global characteristics of a dynamical system's phase space from the sample data of a single path, as well as its ability to predict unseen bifurcations.


Predicting the evolution of the COVID 19 epidemic with the A SIR model Lombardy, Italy and S ao Paulo state, Brazil. The presence of a large number of infected individuals with few or no symptoms is an important epidemiological difficulty and the main mathematical feature of COVID 19. The A SIR model, i.e. a SIR (Susceptible Infected Removed) model with a compartment for infected individuals with no symptoms or few symptoms was proposed by Giuseppe Gaeta, arXiv 2003.08720 q bio.PE (2020). In this paper we investigate a slightly generalized version of the same model and propose a scheme for fitting the parameters of the model to real data using the time series only of the deceased individuals. The scheme is applied to the concrete cases of Lombardy, Italy and S ao Paulo state, Brazil, showing different aspects of the epidemics. For each case we show that we may have good fits to the data up to the present, but with very large differences in the future behavior. The reasons behind such disparate outcomes are the uncertainty on the value of a key parameter, the probability that an infected individual is fully symptomatic, and on the intensity of the social distancing measures adopted. This conclusion enforces the necessity of trying to determine the real number of infected individuals in a population, symptomatic or asymptomatic.


Space time Neural Irradiance Fields for Free Viewpoint Video. We present a method that learns a spatiotemporal neural irradiance field for dynamic scenes from a single video. Our learned representation enables free viewpoint rendering of the input video. Our method builds upon recent advances in implicit representations. Learning a spatiotemporal irradiance field from a single video poses significant challenges because the video contains only one observation of the scene at any point in time. The 3D geometry of a scene can be legitimately represented in numerous ways since varying geometry (motion) can be explained with varying appearance and vice versa. We address this ambiguity by constraining the time varying geometry of our dynamic scene representation using the scene depth estimated from video depth estimation methods, aggregating contents from individual frames into a single global representation. We provide an extensive quantitative evaluation and demonstrate compelling free viewpoint rendering results.


Siamese Networks for Large Scale Author Identification. Authorship attribution is the process of identifying the author of a text. Approaches to tackling it have been conventionally divided into classification based ones, which work well for small numbers of candidate authors, and similarity based methods, which are applicable for larger numbers of authors or for authors beyond the training set these existing similarity based methods have only embodied static notions of similarity. Deep learning methods, which blur the boundaries between classification based and similarity based approaches, are promising in terms of ability to learn a notion of similarity, but have previously only been used in a conventional small closed class classification setup. Siamese networks have been used to develop learned notions of similarity in one shot image tasks, and also for tasks of mostly semantic relatedness in NLP. We examine their application to the stylistic task of authorship attribution on datasets with large numbers of authors, looking at multiple energy functions and neural network architectures, and show that they can substantially outperform previous approaches.


Correcting Sociodemographic Selection Biases for Population Prediction from Social Media. Social media is increasingly used for large scale population predictions, such as estimating community health statistics. However, social media users are not typically a representative sample of the intended population a "selection bias". Within the social sciences, such a bias is typically addressed with restratification techniques, where observations are reweighted according to how under or over sampled their socio demographic groups are. Yet, restratifaction is rarely evaluated for improving prediction. Across four tasks of predicting U.S. county population health statistics from Twitter, we find standard restratification techniques provide no improvement and often degrade prediction accuracies. The core reasons for this seems to be both shrunken estimates (reduced variance of model predicted values) and sparse estimates of each population's socio demographics. We thus develop and evaluate three methods to address these problems estimator redistribution to account for shrinking, and adaptive binning and informed smoothing to handle sparse socio demographic estimates. We show that each of these methods significantly outperforms the standard restratification approaches. Combining approaches, we find substantial improvements over non restratified models, yielding a 53.0 increase in predictive accuracy (R 2) in the case of surveyed life satisfaction, and a 17.8 average increase across all tasks.


Beware the evolving 'intelligent' web service! An integration architecture tactic to guard AI first components. Intelligent services provide the power of AI to developers via simple RESTful API endpoints, abstracting away many complexities of machine learning. However, most of these intelligent services such as computer vision continually learn with time. When the internals within the abstracted 'black box' become hidden and evolve, pitfalls emerge in the robustness of applications that depend on these evolving services. Without adapting the way developers plan and construct projects reliant on intelligent services, significant gaps and risks result in both project planning and development. Therefore, how can software engineers best mitigate software evolution risk moving forward, thereby ensuring that their own applications maintain quality? Our proposal is an architectural tactic designed to improve intelligent service dependent software robustness. The tactic involves creating an application specific benchmark dataset baselined against an intelligent service, enabling evolutionary behaviour changes to be mitigated. A technical evaluation of our implementation of this architecture demonstrates how the tactic can identify 1,054 cases of substantial confidence evolution and 2,461 cases of substantial changes to response label sets using a dataset consisting of 331 images that evolve when sent to a service.


Thermal activation of valley orbit states of neutral magnesium in silicon. Interstitial magnesium acts as a moderately deep double donor in silicon, and is relatively easily introduced by diffusion. Unlike the case of the chalcogen double donors, the binding energies of the even parity valley orbit excited states 1sT 2 and 1sE have remained elusive. Here we report on temperature dependence absorption measurements focusing on the neutral charge species. Our results demonstrate thermal activation from the ground state 1sA to the valley orbit states, as observed by transitions from the thermally populated levels to the odd parity states 2p 0 and 2p pm


Monitoring COVID 19 social distancing with person detection and tracking via fine tuned YOLO v3 and Deepsort techniques. The rampant coronavirus disease 2019 (COVID 19) has brought global crisis with its deadly spread to more than 180 countries, and about 3,519,901 confirmed cases along with 247,630 deaths globally as on May 4, 2020. The absence of any active therapeutic agents and the lack of immunity against COVID 19 increases the vulnerability of the population. Since there are no vaccines available, social distancing is the only feasible approach to fight against this pandemic. Motivated by this notion, this article proposes a deep learning based framework for automating the task of monitoring social distancing using surveillance video. The proposed framework utilizes the YOLO v3 object detection model to segregate humans from the background and Deepsort approach to track the identified people with the help of bounding boxes and assigned IDs. The results of the YOLO v3 model are further compared with other popular state of the art models, e.g. faster region based CNN (convolution neural network) and single shot detector (SSD) in terms of mean average precision (mAP), frames per second (FPS) and loss values defined by object classification and localization. Later, the pairwise vectorized L2 norm is computed based on the three dimensional feature space obtained by using the centroid coordinates and dimensions of the bounding box. The violation index term is proposed to quantize the non adoption of social distancing protocol. From the experimental analysis, it is observed that the YOLO v3 with Deepsort tracking scheme displayed best results with balanced mAP and FPS score to monitor the social distancing in real time.


Experimental analysis of a physical pendulum with variable suspension point. A physical pendulum with variable point of suspension (and, as an outcome, variable inertia moment) is experimentally analysed. In particular, the period of the small oscillations as a function of position of the suspension point is measured using three different methods a smartphone used both as an independent tool or as a data logger and commercial photo gate. The experimental results are successfully compared with theoretical calculations based on the addition of inertia moments and the Steiner theorem.


Structure of Submetries. We investigate the geometric and topological structure of equidistant decompositions of Riemannian manifolds.


Popular Differences for Corners in Abelian Groups. For a compact abelian group G , a corner in G times G is a triple of points (x,y) , (x,y d) , (x d,y) . The classical corners theorem of Ajtai and Szemer 'edi implies that for every alpha 0 , there is some delta 0 such that every subset A subset G times G of density alpha contains a delta fraction of all corners in G times G , as x,y,d range over G . Recently, Mandache proved a "popular differences" version of this result in the finite field case G mathbb F p n , showing that for any subset A subset G times G of density alpha , one can fix d neq 0 such that A contains a large fraction, now known to be approximately alpha 4 , of all corners with difference d , as x,y vary over G . We generalize Mandache's result to all compact abelian groups G , as well as the case of corners in mathbb Z 2 .


Periodic Orbits on Obtuse Edge Tessellating Polygons. A periodic orbit on a frictionless billiard table is a piecewise linear path of a billiard ball that begins and ends at the same point with the same angle of incidence. The period of a primitive periodic orbit is the number of times the ball strikes a side of the table as it traverses its trajectory exactly once. In this paper we find and classify the periodic orbits on a billiard table in the shape of a 120 isosceles triangle, a 60 rhombus, a 60 90 120 kite, and a 30 right triangle. In each case, we use the edge tessellation (also known as tiling) of the plane generated by the figure to unfold a periodic orbit into a straight line segment and to derive a formula for its period in terms of the initial angle and initial position.


An Overview of the Ludii General Game System. The Digital Ludeme Project (DLP) aims to reconstruct and analyse over 1000 traditional strategy games using modern techniques. One of the key aspects of this project is the development of Ludii, a general game system that will be able to model and play the complete range of games required by this project. Such an undertaking will create a wide range of possibilities for new AI challenges. In this paper we describe many of the features of Ludii that can be used. This includes designing and modifying games using the Ludii game description language, creating agents capable of playing these games, and several advantages the system has over prior general game software.


On the growth of linear recurrences in function fields. Let (G n) n 0 infty be a non degenerate linear recurrence sequence with power sum representation G n a 1(n) alpha 1 n cdots a t(n) alpha t n . In this paper we will prove a function field analogue of the well known result that in the number field case, under some non restrictive conditions, for n large enough the inequality vert G n vert geq left( max j 1, ldots,t vert alpha j vert right) n(1 varepsilon) holds true.


A criterion for normality of analytic mappings. In this paper we give a generalization and improvement of the Pavlovi ' c result on the characterization of continuously differentiable functions in the Bloch space on the unit ball in mathbb R m . Then we derive a Holland Walsh type theorem for analytic normal mappings on the unit disk.


Fully Dynamic Graph Sparsifiers Against an Adaptive Adversary. Designing dynamic graph algorithms against an adaptive adversary is a major goal in the field of dynamic graph algorithms. While a few such algorithms are known for spanning trees, matchings, and single source shortest paths, very little was known for an important primitive like graph sparsifiers. The challenge is how to approximately preserve so much information about the graph (e.g., all pairs distances and all cuts) without revealing the algorithms' underlying randomness to the adaptive adversary. In this paper we present the first non trivial efficient adaptive algorithms for maintaining spanners and cut sparisifers. These algorithms in turn imply improvements over existing algorithms for other problems. Our first algorithm maintains a polylog (n) spanner of size tilde O(n) in polylog (n) amortized update time. The second algorithm maintains an O(k) approximate cut sparsifier of size tilde O(n) in tilde O(n 1 k ) amortized update time, for any k ge1 , which is polylog (n) time when k log(n) . The third algorithm maintains a polylog (n) approximate spectral sparsifier in polylog (n) amortized update time. The amortized update time of both algorithms can be made worst case by paying some sub polynomial factors. Prior to our result, there were near optimal algorithms against oblivious adversaries (e.g. Baswana et al. TALG'12 and Abraham et al. FOCS'16 ), but the only non trivial adaptive dynamic algorithm requires O(n) amortized update time to maintain 3 and 5 spanner of size O(n 1 1 2 ) and O(n 1 1 3 ) , respectively Ausiello et al. ESA'05 . Our results are based on two novel techniques. The first technique, is a generic black box reduction that allows us to assume that the graph undergoes only edge deletions and, more importantly, remains an expander with almost uniform degree. The second technique we call proactive resampling. ...


A second order face centred finite volume method for elliptic problems. A second order face centred finite volume method (FCFV) is proposed. Contrary to the more popular cell centred and vertex centred finite volume (FV) techniques, the proposed method defines the solution on the faces of the mesh (edges in two dimensions). The method is based on a mixed formulation and therefore considers the solution and its gradient as independent unknowns. They are computed solving an element by element problem after the solution at the faces is determined. The proposed approach avoids the need of reconstructing the solution gradient, as required by cell centred and vertex centred FV methods. This strategy leads to a method that is insensitive to mesh distortion and stretching. The current method is second order and requires the solution of a global system of equations of identical size and identical number of non zero elements when compared to the recently proposed first order FCFV. The formulation is presented for Poisson and Stokes problems. Numerical examples are used to illustrate the approximation properties of the method as well as to demonstrate its potential in three dimensional problems with complex geometries. The integration of a mesh adaptive procedure in the FCFV solution algorithm is also presented.


A fast regularisation of a Newtonian vortex equation. We consider equations of the form u t nabla cdot ( gamma(u) nabla mathrm N (u)) , where mathrm N is the Newtonian potential (inverse of the Laplacian) posed in the whole space mathbb R d , and gamma(u) is the mobility. For linear mobility, gamma(u) u , the equation and some variations have been proposed as a model for superconductivity or superfluidity. In that case the theory leads to uniqueness of bounded weak solutions having the property of compact space support, and in particular there is a special solution in the form of a disk vortex of constant intensity in space u c 1t 1 supported in a ball that spreads in time like c 2t 1 d , thus showing a discontinuous leading front. In this paper we propose the model with sublinear mobility gamma(u) u alpha , with 0 alpha 1 , and prove that nonnegative solutions recover positivity everywhere, and moreover display a fat tail at infinity. The model acts in many ways as a regularization of the previous one. In particular, we find that the equivalent of the previous vortex is an explicit self similar solution decaying in time like u O(t 1 alpha ) with a space tail with size u O( x d (1 alpha) ) . We restrict the analysis to radial solutions and construct solutions by the method of characteristics. We introduce the mass function, which solves an unusual variation of Burger's equation, and plays an important role in the analysis. We show well posedness in the sense of viscosity solutions. We also construct numerical finite difference convergent schemes.


Prime number theorem for regular Toeplitz subshifts. We prove that neither a prime nor an l almost prime number theorem hold in the class of regular Toeplitz subshifts. But, when a quantitative strengthening of the regularity with respect to the periodic structure involving Euler's totient function is assumed , then the two theorems hold.


Reversal potential and reversal permanent charge with unequal diffusion coefficients via classical Poisson Nernst Planck models. In this paper, based on geometric singular perturbation analysis of a quasi one dimensional Poisson Nernst Planck model for ionic flows, we study the problem of zero current condition for ionic flows through membrane channels with a simple profile of permanent charges. For ionic mixtures of multiple ion species, under equal diffusion constant condition, Eisenberg, et al em Nonlinearity bf 28 (2015), 103 128 derived a system of two equations for determining the reversal potential and an equation for the reversal permanent charge. The equal diffusion constant condition is significantly degenerate from physical points of view. For unequal diffusion coefficients, the analysis becomes extremely challenging. This work will focus only on two ion species, one positively charged (cation) and one negatively charged (anion), with two arbitrary diffusion coefficients. Dependence of reversal potential on channel geometry and diffusion coefficients has been investigated experimentally, numerically, and analytically in simple setups, in many works. In this paper, we identify two governing equations for the zero current, which enable one to mathematically analyze how the reversal potential depends on the channel structure and diffusion coefficients. In particular, we are able to show, with a number of concrete results, that the possible different diffusion constants indeed make significant differences. The inclusion of channel structures is also far beyond the situation where the Goldman Hodgkin Katz (GHK) equation might be applicable. A comparison of our result with the GHK equation is provided. The dual problem of reversal permanent charges is briefly discussed too.


Comparing the costs of abstraction for DL frameworks. High level abstractions for implementing, training, and testing Deep Learning (DL) models abound. Such frameworks function primarily by abstracting away the implementation details of arbitrary neural architectures, thereby enabling researchers and engineers to focus on design. In principle, such frameworks could be "zero cost abstractions" in practice, they incur translation and indirection overheads. We study at which points exactly in the engineering life cycle of a DL model the highest costs are paid and whether they can be mitigated. We train, test, and evaluate a representative DL model using PyTorch, LibTorch, TorchScript, and cuDNN on representative datasets, comparing accuracy, execution time and memory efficiency.


Modeling Engagement Dynamics of Online Discussions using Relativistic Gravitational Theory. Online discussions are valuable resources to study user behaviour on a diverse set of topics. Unlike previous studies which model a discussion in a static manner, in the present study, we model it as a time varying process and solve two inter related problems predict which user groups will get engaged with an ongoing discussion, and forecast the growth rate of a discussion in terms of the number of comments. We propose RGNet (Relativistic Gravitational Nerwork), a novel algorithm that uses Einstein Field Equations of gravity to model online discussions as cloud of dust' hovering over a user spacetime manifold, attracting users of different groups at different rates over time. We also propose GUVec, a global user embedding method for an online discussion, which is used by RGNet to predict temporal user engagement. RGNet leverages different textual and network based features to learn the dust distribution for discussions. We employ four baselines first two using LSTM architecture, third one using Newtonian model of gravity, and fourth one using a logistic regression adopted from a previous work on engagement prediction. Experiments on Reddit dataset show that RGNet achieves 0.72 Micro F1 score and 6.01 average error for temporal engagement prediction of user groups and growth rate forecasting, respectively, outperforming all the baselines significantly. We further employ RGNet to predict non temporal engagement whether users will comment to a given post or not. RGNet achieves 0.62 AUC for this task, outperforming existing baseline by 8.77 AUC.


Bohr phenomenon for operator valued functions with fixed initial coefficient. The purpose of this article is to study Bohr inequalities involving the absolute values of the coefficients of an operator valued function. To be more specific, we establish an operator valued analogue of a classical result regarding the Bohr phenomenon for scalar valued functions with fixed initial coefficient. Apart from that, operator valued versions of other related and well known results are obtained.


Spherical coefficients of slice regular functions. Given a quaternionic slice regular function f , we give a direct and effective way to compute the coefficients of its spherical expansion at any point. Such coefficients are obtained in terms of spherical and slice derivatives of the function itself. Afterwards, we compare the coefficients of f with those of its slice derivative partial c f obtaining a countable family of differential equations satisfied by any slice regular function. The results are proved in all details and are accompanied to several examples. For some of the results, we also give alternative proofs.


Treebank Embedding Vectors for Out of domain Dependency Parsing. A recent advance in monolingual dependency parsing is the idea of a treebank embedding vector, which allows all treebanks for a particular language to be used as training data while at the same time allowing the model to prefer training data from one treebank over others and to select the preferred treebank at test time. We build on this idea by 1) introducing a method to predict a treebank vector for sentences that do not come from a treebank used in training, and 2) exploring what happens when we move away from predefined treebank embedding vectors during test time and instead devise tailored interpolations. We show that 1) there are interpolated vectors that are superior to the predefined ones, and 2) treebank vectors can be predicted with sufficient accuracy, for nine out of ten test languages, to match the performance of an oracle approach that knows the most suitable predefined treebank embedding for the test set.


High Q transparency band in all dielectric metasurfaces induced by a quasi bound state in the continuum. Bound states in the continuum (BICs) emerge throughout Physics as leaky resonant modes that remain however highly localized. They have attracted much attention in Optics and Photonics, and especially in metasurfaces, i.e. planar arrays of sub wavelength meta atoms. One of their most outstanding feature is the arbitrarily large Q factors they induce upon approaching the BIC condition, which we exploit here to achieve a narrow transparency band. We first show how to shift a canonical BIC in an all dielectric metasurface, consisting of high refractive disks exhibiting in and out of plane magnetic dipole (MD) resonances, by tuning the periodicity of the array. By means of our coupled electric magnetic dipole formulation, we show analytically that when the quasi BIC overlaps with the broad (in plane MD) resonance, a full transparency band emerges with diverging Q factor upon approaching the BIC condition in parameter space. Finally, our experimental measurements in the microwave regime with a large array of high refractive index disks confirm the theoretical predictions. Our results reveal a simple mechanism to engineer an ultra narrow BIC induced transparency band that could be exploited throughout the electromagnetic spectrum with obvious applications in filtering and sensing.


Efficient Electro optical Tuning of Optical Frequency Microcomb on a Monolithically Integrated High Q Lithium Niobate Microdisk. We demonstrate efficient tuning of a monolithically integrated lithium niobate microdisk (LN) optical frequency microcomb. Utilizing the high optical quality (Q) factor (i.e., Q 7.1 10 6) of the microdisk, the microcomb spans over a spectral bandwidth of 200 nm at a pump power as low as 20.4 mW. Combining the large eletro optic coefficient of LN and optimum design of the geometry of microelectrodes, we demonstrate electro optical tuning of the comb with a spectral range of 400 pm and a tuning efficiency of 38 pm 100V.


Data from Model Extracting Data from Non robust and Robust Models. The essence of deep learning is to exploit data to train a deep neural network (DNN) model. This work explores the reverse process of generating data from a model, attempting to reveal the relationship between the data and the model. We repeat the process of Data to Model (DtM) and Data from Model (DfM) in sequence and explore the loss of feature mapping information by measuring the accuracy drop on the original validation dataset. We perform this experiment for both a non robust and robust origin model. Our results show that the accuracy drop is limited even after multiple sequences of DtM and DfM, especially for robust models. The success of this cycling transformation can be attributed to the shared feature mapping existing in data and model. Using the same data, we observe that different DtM processes result in models having different features, especially for different network architecture families, even though they achieve comparable performance.


MultiWiki Interlingual Text Passage Alignment in Wikipedia. In this article we address the problem of text passage alignment across interlingual article pairs in Wikipedia. We develop methods that enable the identification and interlinking of text passages written in different languages and containing overlapping information. Interlingual text passage alignment can enable Wikipedia editors and readers to better understand language specific context of entities, provide valuable insights in cultural differences and build a basis for qualitative analysis of the articles. An important challenge in this context is the trade off between the granularity of the extracted text passages and the precision of the alignment. Whereas short text passages can result in more precise alignment, longer text passages can facilitate a better overview of the differences in an article pair. To better understand these aspects from the user perspective, we conduct a user study at the example of the German, Russian and the English Wikipedia and collect a user annotated benchmark. Then we propose MultiWiki a method that adopts an integrated approach to the text passage alignment using semantic similarity measures and greedy algorithms and achieves precise results with respect to the user defined alignment. MultiWiki demonstration is publicly available and currently supports four language pairs.


Run Length Encoding in a Finite Universe. Text compression schemes and compact data structures usually combine sophisticated probability models with basic coding methods whose average codeword length closely match the entropy of known distributions. In the frequent case where basic coding represents run lengths of outcomes that have probability p , i.e. the geometric distribution Pr(i) p i(1 p) , a emph Golomb code is an optimal instantaneous code, which has the additional advantage that codewords can be computed using only an integer parameter calculated from p , without need for a large or sophisticated data structure. Golomb coding does not, however, gracefully handle the case where run lengths are bounded by a known integer n . In this case, codewords allocated for the case i n are wasted. While negligible for large n , this makes Golomb coding unattractive in situations where n is recurrently small, e.g., when representing many short lists of integers drawn from limited ranges, or when the range of n is narrowed down by a recursive algorithm. We address the problem of choosing a code for this case, considering efficiency from both information theoretic and computational perspectives, and arrive at a simple code that allows computing a codeword using only O(1) simple computer operations and O(1) machine words. We demonstrate experimentally that the resulting representation length is very close (equal in a majority of tested cases) to the optimal Huffman code, to the extent that the expected difference is practically negligible. We describe efficient branch free implementation of encoding and decoding.


Social Cost Guarantees in Smart Route Guidance. We model and study the problem of assigning traffic in an urban road network infrastructure. In our model, each driver submits their intended destination and is assigned a route to follow that minimizes the social cost (i.e., travel distance of all the drivers). We assume drivers are strategic and try to manipulate the system (i.e., misreport their intended destination and or deviate from the assigned route) if they can reduce their travel distance by doing so. Such strategic behavior is highly undesirable as it can lead to an overall suboptimal traffic assignment and cause congestion. To alleviate this problem, we develop moneyless mechanisms that are resilient to manipulation by the agents and offer provable approximation guarantees on the social cost obtained by the solution. We then empirically test the mechanisms studied in the paper, showing that they can be effectively used in practice in order to compute manipulation resistant traffic allocations.


Certain fractional Laplacian equations that do not have smooth solutions. Let f be a real valued function defined on mathbb R , with f(0) neq 0 and which is not constant in non empty open intervals. We prove the equations begin equation label edif left begin array rcll ( Delta ) s u f(u), text in B 1 , u 0, text in B 1 c , end array right. end equation where ( Delta ) s is the s fractional Laplacian, 0 s 1 , have no solutions in C 2 ( overline B 1 ) , if d 2s . The proof is based on the moving plane method and in the approximation of C 2 ( overline B 1 ) functions by s harmonic functions.


What is SemEval evaluating? A Systematic Analysis of Evaluation Campaigns in NLP. SemEval is the primary venue in the NLP community for the proposal of new challenges and for the systematic empirical evaluation of NLP systems. This paper provides a systematic quantitative analysis of SemEval aiming to evidence the patterns of the contributions behind SemEval. By understanding the distribution of task types, metrics, architectures, participation and citations over time we aim to answer the question on what is being evaluated by SemEval.


Q MIND Defeating Stealthy DoS Attacks in SDN with a Machine learning based Defense Framework. Software Defined Networking (SDN) enables flexible and scalable network control and management. However, it also introduces new vulnerabilities that can be exploited by attackers. In particular, low rate and slow or stealthy Denial of Service (DoS) attacks are recently attracting attention from researchers because of their detection challenges. In this paper, we propose a novel machine learning based defense framework named Q MIND, to effectively detect and mitigate stealthy DoS attacks in SDN based networks. We first analyze the adversary model of stealthy DoS attacks, the related vulnerabilities in SDN based networks and the key characteristics of stealthy DoS attacks. Next, we describe and analyze an anomaly detection system that uses a Reinforcement Learning based approach based on Q Learning in order to maximize its detection performance. Finally, we outline the complete Q MIND defense framework that incorporates the optimal policy derived from the Q Learning agent to efficiently defeat stealthy DoS attacks in SDN based networks. An extensive comparison of the Q MIND framework and currently existing methods shows that significant improvements in attack detection and mitigation performance are obtained by Q MIND.


Ultrafast optical rotation for extremely sensitive enantio discrimination. Sculpting sub cycle temporal structures of optical waveforms allows one to image and even control electronic clouds in atoms, molecules and solids. Here we show how the transverse spin component arising upon spatial confinement of such optical waveforms enables extremely efficient chiral recognition and control of ultrafast chiral dynamics. When an intense few cycle, linearly polarized laser pulse is tightly focused into a medium of randomly oriented chiral molecules, the medium generates light which is elliptically polarized, with opposite helicities and opposite rotations of the polarization ellipse in media of opposite handedness. In contrast to conventional optical activity of chiral media, this new nonlinear optical activity is driven by purely electric dipole interactions and leads to giant enantio sensitivity in the near VIS UV domain, where optical instrumentation is readily available. Adding a polarizer turns rotation of the polarization ellipse into highly enantio sensitive intensity of the nonlinear optical response. Sub cycle optical control of the incident light wave enables full control over the enantio sensitive response. The proposed all optical method not only enables extremely efficient chiral discrimination, but also ultrafast imaging and control of chiral dynamics with commercially available optical technology.


The Speed and Threshold of the Biased Hamilton Cycle Game. We show that there is a constant C such that for any b frac n ln n frac Cn ( ln n ) 3 2 , Maker wins the Maker Breaker Hamilton cycle game in n frac Cn sqrt ln n steps.


Lifelong Object Detection. Recent advances in object detection have benefited significantly from rapid developments in deep neural networks. However, neural networks suffer from the well known issue of catastrophic forgetting, which makes continual or lifelong learning problematic. In this paper, we leverage the fact that new training classes arrive in a sequential manner and incrementally refine the model so that it additionally detects new object classes in the absence of previous training data. Specifically, we consider the representative object detector, Faster R CNN, for both accurate and efficient prediction. To prevent abrupt performance degradation due to catastrophic forgetting, we propose to apply knowledge distillation on both the region proposal network and the region classification network, to retain the detection of previously trained classes. A pseudo positive aware sampling strategy is also introduced for distillation sample selection. We evaluate the proposed method on PASCAL VOC 2007 and MS COCO benchmarks and show competitive mAP and 6x inference speed improvement, which makes the approach more suitable for real time applications. Our implementation will be publicly available.


Variational Bayes' method for functions with applications to some inverse problems. Bayesian approach, as a useful tool for quantifying uncertainties, has been widely used for solving inverse problems of partial differential equations (PDEs). One of the key difficulties for employing Bayesian approach for the issue is how to extract information from the posterior probability measure. Variational Bayes' method (VBM) is firstly and broadly studied in the field of machine learning, which has the ability to extract posterior information approximately by using much lower computational resources compared with the conventional sampling type methods. In this paper, we generalize the usual finite dimensional VBM to infinite dimensional space, which makes the usage of VBM for inverse problems of PDEs rigorously. We further establish general infinite dimensional mean field approximate theory, and apply this theory to abstract linear inverse problems with Gaussian and Laplace noise assumptions. The results on some numerical examples substantiate the effectiveness of the proposed approach.


Notes on Graph Product Structure Theory. It was recently proved that every planar graph is a subgraph of the strong product of a path and a graph with bounded treewidth. This paper surveys generalisations of this result for graphs on surfaces, minor closed classes, various non minor closed classes, and graph classes with polynomial growth. We then explore how graph product structure might be applicable to more broadly defined graph classes. In particular, we characterise when a graph class defined by a cartesian or strong product has bounded or polynomial expansion. We then explore graph product structure theorems for various geometrically defined graph classes, and present several open problems.


Dynamics of state wise prospective reserves in the presence of non monotone information. In the presence of monotone information, the stochastic Thiele equation describing the dynamics of state wise prospective reserves is closely related to the classic martingale representation theorem. When the information utilized by the insurer is non monotone, the classic martingale theory does not apply. By taking an infinitesimal approach, we derive a generalized stochastic Thiele equation that allows for information discarding. En passant, we solve some open problems for the classic case of monotone information. The results and their implication in practice are illustrated via examples where information is discarded upon and after stochastic retirement.


An Immunology Inspired Network Security Architecture. The coming 5G networks have been enabling the creation of a wide variety of new services and applications which demand a new network security architecture. Immunology is the study of the immune system in vertebrates (including humans) which protects us from infection through various lines of defence. By studying the resemblance between the immune system and network security system, we acquire some inspirations from immunology and distill some guidelines for the design of network security architecture. We present a philosophical design principle, that is maintaining the balance between security and availability. Then, we derive two methodological principles 1) achieving situation awareness and fast response through community cooperation among heterogeneous nodes, and 2) Enhancing defense capability through consistently contesting with invaders in a real environment and actively mutating evolving attack strategies. We also present a reference architecture designed based on the principles.


An inductive method for mathrm OI modules. In this paper we introduce an inductive method to study mathrm OI modules presented in finite degrees, where mathrm OI is a skeleton of the category of finitely totally ordered sets and strictly increasing maps. As an application, we obtain an explicit upper bound for the Castelnuovo Mumford regularity of mathrm OI modules.


Eshelby tensors and overall properties of nano composites considering both interface stretching and bending effects. In this study, the fundamental framework of analytical micromechanics is generalized to consider nano composites with both interface stretching and bending effects. The interior and exterior Eshelby tensors for a spherical nano inclusion, with an interface defined by the Steigmann Ogden model, subjected to an arbitrary uniform eigenstrain are derived for the first time. Correspondingly, the stress strain concentration tensors for a spherical nano inhomogeneity subjected to arbitrary uniform far field stress strain loadings are also derived. Using the obtained concentration tensors, the effective bulk and shear moduli are derived by employing the dilute approximation and the Mori Tanaka method, respectively, which can be used for both nano composites and nano porous materials. An equivalent interface curvature parameter reflecting the influence of the interface bending resistance is found, which can significantly simplify the complex expressions of the effective properties. In addition to size dependency, the closed form expressions show that the effective bulk modulus is invariant to interface bending resistance parameters, in contrast to the effective shear modulus. We also put forward for the first time a characteristic interface curvature parameter, near which the effective shear modulus is affected significantly. Numerical results show that the effective shear moduli of nano composites and nano porous materials can be greatly improved by an appropriate surface modification. Finally, the derived effective modulus with the Steigmann Ogden interface model is provided in the supplemental MATLAB code, which can be easily executed, and used as a benchmark for semi analytical solutions and numerical solutions in future studies.


A New Unified Method for Detecting Text from Marathon Runners and Sports Players in Video. Detecting text located on the torsos of marathon runners and sports players in video is a challenging issue due to poor quality and adverse effects caused by flexible colorful clothing, and different structures of human bodies or actions. This paper presents a new unified method for tackling the above challenges. The proposed method fuses gradient magnitude and direction coherence of text pixels in a new way for detecting candidate regions. Candidate regions are used for determining the number of temporal frame clusters obtained by K means clustering on frame differences. This process in turn detects key frames. The proposed method explores Bayesian probability for skin portions using color values at both pixel and component levels of temporal frames, which provides fused images with skin components. Based on skin information, the proposed method then detects faces and torsos by finding structural and spatial coherences between them. We further propose adaptive pixels linking a deep learning model for text detection from torso regions. The proposed method is tested on our own dataset collected from marathon sports video and three standard datasets, namely, RBNR, MMM and R ID of marathon images, to evaluate the performance. In addition, the proposed method is also tested on the standard natural scene datasets, namely, CTW1500 and MS COCO text datasets, to show the objectiveness of the proposed method. A comparative study with the state of the art methods on bib number text detection of different datasets shows that the proposed method outperforms the existing methods.


Thermal, quantum anti bunching and lasing thresholds from single emitters to macroscopic devices. Starting from a fully quantized Hamiltonian for an ensemble of identical emitters coupled to the modes of an optical cavity, we determine analytically regimes of thermal, collective anti bunching and laser emission that depend explicitly on the number of emitters. The lasing regime is reached for a number of emitters above a critical number (which depends on the light matter coupling, detuning and the dissipation rates) via a universal transition from thermal emission to collective anti bunching to lasing as the pump increases. Cases where the second order intensity correlation fails to predict laser action are also presented.


Representations of C algebras of row countable graphs and unitary equivalence. In this article we show that there are branching systems (which induce representations of the graph algebra C (E) ) associated to each row countable graph E . For row countable graphs, we characterize the condition (L) via branching systems. Moreover, we show that each permutative representation in Hilbert spaces operators is unitarily equivalent to one induced by a branching system, even the spaces being not separable. Furthermore, under some hypothesis on the graph, we show that each representation of the graph C algebra is permutative.


On chip mid infrared and THz frequency combs for spectroscopy. Frequency combs have revolutionized time and frequency metrology and in recent years, new frequency comb lasers that are highly compact or even on chip have been demonstrated in the mid infrared and THz regions of the electromagnetic spectrum. The emerging technologies include electrically pumped quantum and interband cascade semiconductor devices, as well as high quality factor microresonators. In this guest editorial, the authors summarize recent advances in the field, the potential for rapid broadband spectroscopy, as well as the challenges and prospects for use in molecular gas sensing.


DeepDFT Neural Message Passing Network for Accurate Charge Density Prediction. We introduce DeepDFT, a deep learning model for predicting the electronic charge density around atoms, the fundamental variable in electronic structure simulations from which all ground state properties can be calculated. The model is formulated as neural message passing on a graph, consisting of interacting atom vertices and special query point vertices for which the charge density is predicted. The accuracy and scalability of the model are demonstrated for molecules, solids and liquids. The trained model achieves lower average prediction errors than the observed variations in charge density obtained from density functional theory simulations using different exchange correlation functionals.


Generalized algorithms for the approximate matrix polynomial GCD of reducing data uncertainties with application to MIMO system and control. Computation of (approximate) polynomials common factors is an important problem in several fields of science, like control theory and signal processing. While the problem has been widely studied for scalar polynomials, the scientific literature in the framework of matrix polynomials seems to be limited to the problem of exact greatest common divisors computation. In this paper, we generalize two algorithms from scalar to matrix polynomials. The first one is fast and simple. The second one is more accurate but computationally more expensive. We test the performances of the two algorithms and observe similar behavior to the one in the scalar case. Finally we describe an application to multi input multi output linear time invariant dynamical systems.


On the rank of Suzuki polytopes an answer to Hubard and Leemans. In this paper we show that the rank of every chiral polytope having a Suzuki group as automorphism group is 3 . This gives a positive answer to a conjecture of Isabel Hubard and Dimitri Leemans.


Stochastic Sign Descent Methods New Algorithms and Better Theory. Various gradient compression schemes have been proposed to mitigate the communication cost in distributed training of large scale machine learning models. Sign based methods, such as signSGD, have recently been gaining popularity because of their simple compression rule and connection to adaptive gradient methods, like ADAM. In this paper, we analyze sign based methods for non convex optimization in three key settings (i) standard single node, (ii) parallel with shared data and (iii) distributed with partitioned data. For single machine case, we generalize the previous analysis of signSGD relying on intuitive bounds on success probabilities and allowing even biased estimators. Furthermore, we extend the analysis to parallel setting within a parameter server framework, where exponentially fast noise reduction is guaranteed with respect to number of nodes, maintaining 1 bit compression in both directions and using small mini batch sizes. Next, we identify a fundamental issue with signSGD to converge in distributed environment. To resolve this issue, we propose a new sign based method, em Stochastic Sign Descent with Momentum (SSDM) , which converges under standard bounded variance assumption with the optimal asymptotic rate. We validate several aspects of our theoretical findings with numerical experiments.


Nonlinear filtering of stochastic differential equations driven by correlated L 'evy noises. The work concerns nonlinear filtering problems of stochastic differential equations with correlated L 'evy noises. First, we establish the Kushner Stratonovich and Zakai equations through martingale representation theorems and the Kallianpur Striebel formula. Second, we show the pathwise uniqueness and uniqueness in joint law of weak solutions for the Zakai equation. Finally, we investigate the uniqueness in joint law of weak solutions to the Kushner Stratonovich equation.


Generalizing Korchm 'aros Mazzocca arcs. In this paper, we generalize the so called Korchm 'aros Mazzocca arcs, that is, point sets of size q t intersecting each line in 0, 2 or t points in a finite projective plane of order q . For t neq 2 , this means that each point of the point set is incident with exactly one line meeting the point set in t points. In mathrm PG (2,p n) , we change 2 in the definition above to any integer m and describe all examples when m or t is not divisible by p . We also study mod p variants of these objects, give examples and under some conditions we prove the existence of a nucleus.


Fully Parallel Architecture for Semi global Stereo Matching with Refined Rank Method. Fully parallel architecture at disparity level for efficient semi global matching (SGM) with refined rank method is presented. The improved SGM algorithm is implemented with the non parametric unified rank model which is the combination of Rank filter AD and Rank SAD. Rank SAD is a novel definition by introducing the constraints of local image structure into the rank method. As a result, the unified rank model with Rank SAD can make up for the defects of Rank filter AD. Experimental results show both excellent subjective quality and objective performance of the refined SGM algorithm. The fully parallel construction for hardware implementation of SGM is architected with reasonable strategies at disparity level. The parallelism of the data stream allows proper throughput for specific applications with acceptable maximum frequency. The results of RTL emulation and synthesis ensure that the proposed parallel architecture is suitable for VLSI implementation.


Contagion in Bitcoin networks. We construct the Google matrices of bitcoin transactions for all year quarters during the period of January 11, 2009 till April 10, 2013. During the last quarters the network size contains about 6 million users (nodes) with about 150 million transactions. From PageRank and CheiRank probabilities, analogous to trade import and export, we determine the dimensionless trade balance of each user and model the contagion propagation on the network assuming that a user goes bankrupt if its balance exceeds a certain dimensionless threshold kappa . We find that the phase transition takes place for kappa kappa c approx0.1 with almost all users going bankrupt. For kappa 0.55 almost all users remain safe. We find that even on a distance from the critical threshold kappa c the top PageRank and CheiRank users, as a house of cards, rapidly drop to the bankruptcy. We attribute this effect to strong interconnections between these top users which we determine with the reduced Google matrix algorithm. This algorithm allows to establish efficiently the direct and indirect interactions between top PageRank users. We argue that this study models the contagion on real financial networks.


Global Reactions to the Cambridge Analytica Scandal An Inter Language Social Media Study. Currently, there is a limited understanding of how data privacy concerns vary across the world. The Cambridge Analytica scandal triggered a wide ranging discussion on social media about user data collection and use practices. We conducted an inter language study of this online conversation to compare how people speaking different languages react to data privacy breaches. We collected tweets about the scandal written in Spanish and English between April and July 2018. We used the Meaning Extraction Method in both datasets to identify their main topics. They reveal a similar emphasis on Zuckerberg's hearing in the US Congress and the scandal's impact on political issues. However, our analysis also shows that while English speakers tend to attribute responsibilities to companies, Spanish speakers are more likely to connect them to people. These findings show the potential of inter language comparisons of social media data to deepen the understanding of cultural differences in data privacy perspectives.


On triangles in derangement graphs. Given a permutation group G , the derangement graph Gamma G of G is the Cayley graph with connection set the set of all derangements of G . We prove that, when G is transitive of degree at least 3 , Gamma G contains a triangle. The motivation for this work is the question of how large can be the ratio of the independence number of Gamma G to the size of the stabilizer of a point in G . We give examples of transitive groups where this ratio is maximum.


The History of Digital Spam. Spam! that's what Lorrie Faith Cranor and Brian LaMacchia exclaimed in the title of a popular call to action article that appeared twenty years ago on Communications of the ACM. And yet, despite the tremendous efforts of the research community over the last two decades to mitigate this problem, the sense of urgency remains unchanged, as emerging technologies have brought new dangerous forms of digital spam under the spotlight. Furthermore, when spam is carried out with the intent to deceive or influence at scale, it can alter the very fabric of society and our behavior. In this article, I will briefly review the history of digital spam starting from its quintessential incarnation, spam emails, to modern days forms of spam affecting the Web and social media, the survey will close by depicting future risks associated with spam and abuse of new technologies, including Artificial Intelligence (e.g., Digital Humans). After providing a taxonomy of spam, and its most popular applications emerged throughout the last two decades, I will review technological and regulatory approaches proposed in the literature, and suggest some possible solutions to tackle this ubiquitous digital epidemic moving forward.


Multi source weak supervision for saliency detection. The high cost of pixel level annotations makes it appealing to train saliency detection models with weak supervision. However, a single weak supervision source usually does not contain enough information to train a well performing model. To this end, we propose a unified framework to train saliency detection models with diverse weak supervision sources. In this paper, we use category labels, captions, and unlabelled data for training, yet other supervision sources can also be plugged into this flexible framework. We design a classification network (CNet) and a caption generation network (PNet), which learn to predict object categories and generate captions, respectively, meanwhile highlight the most important regions for corresponding tasks. An attention transfer loss is designed to transmit supervision signal between networks, such that the network designed to be trained with one supervision source can benefit from another. An attention coherence loss is defined on unlabelled data to encourage the networks to detect generally salient regions instead of task specific regions. We use CNet and PNet to generate pixel level pseudo labels to train a saliency prediction network (SNet). During the testing phases, we only need SNet to predict saliency maps. Experiments demonstrate the performance of our method compares favourably against unsupervised and weakly supervised methods and even some supervised methods.


A Model Based, Decision Theoretic Perspective on Automated Cyber Response. Cyber attacks can occur at machine speeds that are far too fast for human in the loop (or sometimes on the loop) decision making to be a viable option. Although human inputs are still important, a defensive Artificial Intelligence (AI) system must have considerable autonomy in these circumstances. When the AI system is model based, its behavior responses can be aligned with risk aware cost benefit tradeoffs that are defined by user supplied preferences that capture the key aspects of how human operators understand the system, the adversary and the mission. This paper describes an approach to automated cyber response that is designed along these lines. We combine a simulation of the system to be defended with an anytime online planner to solve cyber defense problems characterized as partially observable Markov decision problems (POMDPs).


HotelRec a Novel Very Large Scale Hotel Recommendation Dataset. Today, recommender systems are an inevitable part of everyone's daily digital routine and are present on most internet platforms. State of the art deep learning based models require a large number of data to achieve their best performance. Many datasets fulfilling this criterion have been proposed for multiple domains, such as Amazon products, restaurants, or beers. However, works and datasets in the hotel domain are limited the largest hotel review dataset is below the million samples. Additionally, the hotel domain suffers from a higher data sparsity than traditional recommendation datasets and therefore, traditional collaborative filtering approaches cannot be applied to such data. In this paper, we propose HotelRec, a very large scale hotel recommendation dataset, based on TripAdvisor, containing 50 million reviews. To the best of our knowledge, HotelRec is the largest publicly available dataset in the hotel domain (50M versus 0.9M) and additionally, the largest recommendation dataset in a single domain and with textual reviews (50M versus 22M). We release HotelRec for further research https github.com Diego999 HotelRec.


DFS A Dataset File System for Data Discovering Users. Many research questions can be answered quickly and efficiently using data already collected for previous research. This practice is called secondary data analysis (SDA), and has gained popularity due to lower costs and improved research efficiency. In this paper we propose DFS, a file system to standardize the metadata representation of datasets, and DDU, a scalable architecture based on DFS for semi automated metadata generation and data recommendation on the cloud. We discuss how DFS and DDU lays groundwork for automatic dataset aggregation, how it integrates with existing data wrangling and machine learning tools, and explores their implications on datasets stored in digital libraries.


NLNDE The Neither Language Nor Domain Experts' Way of Spanish Medical Document De Identification. Natural language processing has huge potential in the medical domain which recently led to a lot of research in this field. However, a prerequisite of secure processing of medical documents, e.g., patient notes and clinical trials, is the proper de identification of privacy sensitive information. In this paper, we describe our NLNDE system, with which we participated in the MEDDOCAN competition, the medical document anonymization task of IberLEF 2019. We address the task of detecting and classifying protected health information from Spanish data as a sequence labeling problem and investigate different embedding methods for our neural network. Despite dealing in a non standard language and domain setting, the NLNDE system achieves promising results in the competition.


MVLidarNet Real Time Multi Class Scene Understanding for Autonomous Driving Using Multiple Views. Autonomous driving requires the inference of actionable information such as detecting and classifying objects, and determining the drivable space. To this end, we present Multi View LidarNet (MVLidarNet), a two stage deep neural network for multi class object detection and drivable space segmentation using multiple views of a single LiDAR point cloud. The first stage processes the point cloud projected onto a perspective view in order to semantically segment the scene. The second stage then processes the point cloud (along with semantic labels from the first stage) projected onto a bird's eye view, to detect and classify objects. Both stages use an encoder decoder architecture. We show that our multi view, multi stage, multi class approach is able to detect and classify objects while simultaneously determining the drivable space using a single LiDAR scan as input, in challenging scenes with more than one hundred vehicles and pedestrians at a time. The system operates efficiently at 150 fps on an embedded GPU designed for a self driving car, including a postprocessing step to maintain identities over time. We show results on both KITTI and a much larger internal dataset, thus demonstrating the method's ability to scale by an order of magnitude.


Nonsequenceable Steiner triple systems. A partial Steiner triple system is is sequenceable if the points can be sequenced so that no proper segment can be partitioned into blocks. We show that, if 0 leq a leq (n 1) 3 , then there exists a nonsequenceable PSTS (n) of size frac 1 3 binom n 2 a , for all n equiv 1 pmod 6 except for n 7 .


City Scale Visual Place Recognition with Deep Local Features Based on Multi Scale Ordered VLAD Pooling. Visual place recognition is the task of recognizing a place depicted in an image based on its pure visual appearance without metadata. In visual place recognition, the challenges lie upon not only the changes in lighting conditions, camera viewpoint, and scale, but also the characteristic of scene level images and the distinct features of the area. To resolve these challenges, one must consider both the local discriminativeness and the global semantic context of images. On the other hand, the diversity of the datasets is also particularly important to develop more general models and advance the progress of the field. In this paper, we present a fully automated system for place recognition at a city scale based on content based image retrieval. Our main contributions to the community lie in three aspects. Firstly, we take a comprehensive analysis of visual place recognition and sketch out the unique challenges of the task compared to general image retrieval tasks. Next, we propose yet a simple pooling approach on top of convolutional neural network activations to embed the spatial information into the image representation vector. Finally, we introduce new datasets for place recognition, which are particularly essential for application based research. Furthermore, throughout extensive experiments, various issues in both image retrieval and place recognition are analyzed and discussed to give some insights for improving the performance of retrieval models in reality.


Some new properties of a suitable weak solution to the Navier Stokes equations. The paper is concerned with the IBVP of the Navier Stokes equations. The goal is the construction of a weak solution enjoying some new properties. Of course, we look for properties which are global in time. The results hold assuming an initial data v 0 in J 2( Omega ) .


Non locally Encoder Decoder Convolutional Network for Whole Brain QSM Inversion. Quantitative Susceptibility Mapping (QSM) reconstruction is a challenging inverse problem driven by ill conditioning of its field to susceptibility transformation. State of art QSM reconstruction methods either suffer from image artifacts or long computation times, which limits QSM clinical translation efforts. To overcome these limitations, a non locally encoder decoder gated convolutional neural network is trained to infer whole brain susceptibility map, using the local field and brain mask as the inputs. The performance of the proposed method is evaluated relative to synthetic data, a publicly available challenge dataset, and clinical datasets. The proposed approach can outperform existing methods on quantitative metrics and visual assessment of image sharpness and streaking artifacts. The estimated susceptibility maps can preserve conspicuity of fine features and suppress streaking artifacts. The demonstrated methods have potential value in advancing QSM clinical research and aiding in the translation of QSM to clinical operations.


CenterMask single shot instance segmentation with point representation. In this paper, we propose a single shot instance segmentation method, which is simple, fast and accurate. There are two main challenges for one stage instance segmentation object instances differentiation and pixel wise feature alignment. Accordingly, we decompose the instance segmentation into two parallel subtasks Local Shape prediction that separates instances even in overlapping conditions, and Global Saliency generation that segments the whole image in a pixel to pixel manner. The outputs of the two branches are assembled to form the final instance masks. To realize that, the local shape information is adopted from the representation of object center points. Totally trained from scratch and without any bells and whistles, the proposed CenterMask achieves 34.5 mask AP with a speed of 12.3 fps, using a single model with single scale training testing on the challenging COCO dataset. The accuracy is higher than all other one stage instance segmentation methods except the 5 times slower TensorMask, which shows the effectiveness of CenterMask. Besides, our method can be easily embedded to other one stage object detectors such as FCOS and performs well, showing the generalization of CenterMask.


Stillleben Realistic Scene Synthesis for Deep Learning in Robotics. Training data is the key ingredient for deep learning approaches, but difficult to obtain for the specialized domains often encountered in robotics. We describe a synthesis pipeline capable of producing training data for cluttered scene perception tasks such as semantic segmentation, object detection, and correspondence or pose estimation. Our approach arranges object meshes in physically realistic, dense scenes using physics simulation. The arranged scenes are rendered using high quality rasterization with randomized appearance and material parameters. Noise and other transformations introduced by the camera sensors are simulated. Our pipeline can be run online during training of a deep neural network, yielding applications in life long learning and in iterative render and compare approaches. We demonstrate the usability by learning semantic segmentation on the challenging YCB Video dataset without actually using any training frames, where our method achieves performance comparable to a conventionally trained model. Additionally, we show successful application in a real world regrasping system.


Jointly Extracting and Compressing Documents with Summary State Representations. We present a new neural model for text summarization that first extracts sentences from a document and then compresses them. The proposed model offers a balance that sidesteps the difficulties in abstractive methods while generating more concise summaries than extractive methods. In addition, our model dynamically determines the length of the output summary based on the gold summaries it observes during training and does not require length constraints typical to extractive summarization. The model achieves state of the art results on the CNN DailyMail and Newsroom datasets, improving over current extractive and abstractive methods. Human evaluations demonstrate that our model generates concise and informative summaries. We also make available a new dataset of oracle compressive summaries derived automatically from the CNN DailyMail reference summaries.


Combined effects for non autonomous singular biharmonic problems. We study the existence of nontrivial weak solutions for a class of generalized p(x) biharmonic equations with singular nonlinearity and Navier boundary condition. The proofs combine variational and topological arguments. The approach developed in this paper allows for the treatment of several classes of singular biharmonic problems with variable growth arising in applied sciences, including the capillarity equation and the mean curvature problem.


Exploring intermediate representation for monocular vehicle pose estimation. We present a new learning based framework to recover vehicle pose in SO(3) from a single RGB image. In contrast to previous works that map from local appearance to observation angles, we explore a progressive approach by extracting meaningful Intermediate Geometrical Representations (IGRs) to estimate egocentric vehicle orientation. This approach features a deep model that transforms perceived intensities to IGRs, which are mapped to a 3D representation encoding object orientation in the camera coordinate system. Core problems are what IGRs to use and how to learn them more effectively. We answer the former question by designing IGRs based on an interpolated cuboid that derives from primitive 3D annotation readily. The latter question motivates us to incorporate geometry knowledge with a new loss function based on a projective invariant. This loss function allows unlabeled data to be used in the training stage to improve representation learning. Without additional labels, our system outperforms previous monocular RGB based methods for joint vehicle detection and pose estimation on the KITTI benchmark, achieving performance even comparable to stereo methods. Code and pre trained models are available at this https URL.


Solving Elliptic Interface Problems with Jump Conditions on Cartesian Grids. We present a simple numerical algorithm for solving elliptic equations where the diffusion coefficient, the source term, the solution and its flux are discontinuous across an irregular interface. The algorithm produces second order accurate solutions and first order accurate gradients in the L infty norm on Cartesian grids. The condition number is bounded, regardless of the ratio of the diffusion constant and scales like that of the standard 5 point stencil approximation on a rectangular grid with no interface. Numerical examples are given in two and three spatial dimensions.


A Novel Approach for Partial Fingerprint Identification to Mitigate MasterPrint Generation. Partial fingerprint recognition is a method to recognize an individual when the sensor size has a small form factor in accepting a full fingerprint. It is also used in forensic research to identify the partial fingerprints collected from the crime scenes. But the distinguishing features in the partial fingerprint are relatively low due to small fingerprint captured by the sensor. Hence, the uniqueness of a partial fingerprint cannot be guaranteed, leading to a possibility that a single partial fingerprint may identify multiple subjects. A MasterPrint is a partial fingerprint that identifies at least 4 different individuals from the enrolled template database. A fingerprint identification system with such a flaw can play a significant role in convicting an innocent in a criminal case. We propose a partial fingerprint identification approach that aims to mitigate MasterPrint generation. The proposed method, when applied to partial fingerprint dataset cropped from standard FVC 2002 DB1(A) dataset showed significant improvement in reducing the count of MasterPrints. The experimental result demonstrates improved results on other parameters, such as True match Rate (TMR) and Equal Error Rate (EER), generally used to evaluate the performance of a fingerprint biometric system.


The Daunting Task of Real World Textual Style Transfer Auto Evaluation. The difficulty of textual style transfer lies in the lack of parallel corpora. Numerous advances have been proposed for the unsupervised generation. However, significant problems remain with the auto evaluation of style transfer tasks. Based on the summary of Pang and Gimpel (2018) and Mir et al. (2019), style transfer evaluations rely on three criteria style accuracy of transferred sentences, content similarity between original and transferred sentences, and fluency of transferred sentences. We elucidate the problematic current state of style transfer research. Given that current tasks do not represent real use cases of style transfer, current auto evaluation approach is flawed. This discussion aims to bring researchers to think about the future of style transfer and style transfer evaluation research.


Double diffusion encoding and applications for biomedical imaging. Diffusion Magnetic Resonance Imaging (dMRI) is one of the most important contemporary non invasive modalities for probing tissue structure at the microscopic scale. The majority of dMRI techniques employ standard single diffusion encoding (SDE) measurements, covering different sequence parameter ranges depending on the complexity of the method. Although many signal representations and biophysical models have been proposed for SDE data, they are intrinsically limited by a lack of specificity. Advanced dMRI methods have been proposed to provide additional microstructural information beyond what can be inferred from SDE. These enhanced contrasts can play important roles in characterizing biological tissues, for instance upon diseases (e.g. neurodegenerative, cancer, stroke), aging, learning, and development. In this review we focus on double diffusion encoding (DDE), which stands out among other advanced acquisitions for its versatility, ability to probe more specific diffusion correlations, and feasibility for preclinical and clinical applications. Various DDE methodologies have been employed to probe compartment sizes (Section 3), decouple the effects of microscopic diffusion anisotropy from orientation dispersion (Section 4), probe displacement correlations, study exchange, or suppress fast diffusing compartments (Section 6). DDE measurements can also be used to improve the robustness of biophysical models (Section 5) and study intra cellular diffusion via magnetic resonance spectroscopy of metabolites (Section 7). This review discusses all these topics as well as important practical aspects related to the implementation and contrast in preclinical and clinical settings (Section 9) and aims to provide the readers a guide for deciding on the right DDE acquisition for their specific application.


On the Importance of Word Order Information in Cross lingual Sequence Labeling. Word order variances generally exist in different languages. In this paper, we hypothesize that cross lingual models that fit into the word order of the source language might fail to handle target languages. To verify this hypothesis, we investigate whether making models insensitive to the word order of the source language can improve the adaptation performance in target languages. To do so, we reduce the source language word order information fitted to sequence encoders and observe the performance changes. In addition, based on this hypothesis, we propose a new method for fine tuning multilingual BERT in downstream cross lingual sequence labeling tasks. Experimental results on dialogue natural language understanding, part of speech tagging, and named entity recognition tasks show that reducing word order information fitted to the model can achieve better zero shot cross lingual performance. Furthermore, our proposed methods can also be applied to strong cross lingual baselines, and improve their performances.


An extension of the standard multifractional Brownian motion. In this paper, firstly, we generalize the definition of the bifractional Brownian motion B H,K Big(B H,K t geq 0 Big) , with parameters H in(0,1) and K in(0,1 , to the case where H is no longer a constant, but a function H(.) of the time index t of the process. We denote this new process by B H(.),K . Secondly, we study its time regularities, the local asymptotic self similarity and the long range dependence properties. bf Key words Gaussian process Self similar process Fractional Brownian motion Bifractional Brownian motion Multifractional Brownian motion Local asymptotic self similarity.


e Positivity Results and Conjectures. In a 2016 ArXiv posting F. Bergeron listed a variety of symmetric functions G X q with the property that G X 1 q is e positive. A large subvariety of his examples could be explained by the conjecture that the Dyck path LLT polynomials exhibit the same phenomenon. In this paper we list the results of computer explorations which suggest that other examples exhibit the same phenomenon. We prove two of the resulting conjectures and propose algorithms that would prove several of our conjectures. In writing this paper we have learned that similar findings have been independently discovered by Per Alexandersson.


Probabilistic Successor Representations with Kalman Temporal Differences. The effectiveness of Reinforcement Learning (RL) depends on an animal's ability to assign credit for rewards to the appropriate preceding stimuli. One aspect of understanding the neural underpinnings of this process involves understanding what sorts of stimulus representations support generalisation. The Successor Representation (SR), which enforces generalisation over states that predict similar outcomes, has become an increasingly popular model in this space of inquiries. Another dimension of credit assignment involves understanding how animals handle uncertainty about learned associations, using probabilistic methods such as Kalman Temporal Differences (KTD). Combining these approaches, we propose using KTD to estimate a distribution over the SR. KTD SR captures uncertainty about the estimated SR as well as covariances between different long term predictions. We show that because of this, KTD SR exhibits partial transition revaluation as humans do in this experiment without additional replay, unlike the standard TD SR algorithm. We conclude by discussing future applications of the KTD SR as a model of the interaction between predictive and probabilistic animal reasoning.


On conjugacy of diagonalizable integral matrices. It is shown that under some additional assumption two diagonalizable integral matrices X and Y with only rational eigenvalues are conjugate in GL(n,Z) if and only if they are conjugate over all localizations. This is used to prove that for a prime p 3 (mod 4) the adjacency matrices of the Paley graph and the Peisert graph on p 2 vertices are conjugate in GL(p 2,Z), answering a question by Peter Sin.


Formal groups and quantum cohomology. We use chain level genus zero Gromov Witten theory to associate to any closed monotone symplectic manifold a formal group (loosely interpreted), whose Lie algebra is the odd degree cohomology of the manifold (with vanishing bracket). When taken with coefficients mod p, the p th power map of the formal group is related to quantum Steenrod operations. The motivation for this construction comes from derived Picard groups of Fukaya categories, and from arithmetic aspects of mirror symmetry.


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

A multiscale discrete velocity method for model kinetic equations. In this paper, authors focus effort on improving the conventional discrete velocity method (DVM) into a multiscale scheme in finite volume framework for gas flow in all flow regimes. Unlike the typical multiscale kinetic methods unified gas kinetic scheme (UGKS) and discrete unified gas kinetic scheme (DUGKS), which concentrate on the evolution of the distribution function at the cell interface, in the present scheme the flux for macroscopic variables is split into the equilibrium part and the nonequilibrium part, and the nonequilibrium flux is calculated by integrating the discrete distribution function at the cell center, which overcomes the excess numerical dissipation of the conventional DVM in the continuum flow regime. Afterwards, the macroscopic variables are finally updated by simply integrating the discrete distribution function at the cell center, or by a blend of the increments based on the macroscopic and the microscopic systems, and the multiscale property is achieved. Several test cases, involving unsteady, steady, high speed, low speed gas flows in all flow regimes, have been performed, demonstrating the good performance of the multiscale DVM from free molecule to continuum Navier Stokes solutions and the multiscale property of the scheme is proved.


ROSY An elegant language to teach the pure reactive nature of robot programming. Robotics is incredibly fun and is long recognized as a great way to teach programming, while drawing inspiring connections to other branches of engineering and science such as maths, physics or electronics. Although this symbiotic relationship between robotics and programming is perceived as largely beneficial, educational approaches often feel the need to hide the underlying complexity of the robotic system, but as a result fail to transmit the reactive essence of robot programming to the roboticists and programmers of the future. This paper presents ROSY, a novel language for teaching novice programmers through robotics. Its functional style is both familiar with a high school algebra background and a materialization of the inherent reactive nature of robotic programming. Working at a higher level of abstraction also teaches valuable design principles of decomposition of robotics software into collections of interacting controllers. Despite its simplicity, ROSY is completely valid Haskell code compatible with the ROS ecosystem. We make a convincing case for our language by demonstrating how non trivial applications can be expressed with ease and clarity, exposing its sound functional programming foundations, and developing a web enabled robot programming environment.