Cores and quotients of partitions through the Frobenius symbol. The Frobenius symbol was first introduced in 1900 by Frobenius as a way to encode an integer partition. In 1941, motivated by the modular representation theory of the symmetric group, Nakayama introduced the idea of a p core partition, for p prime, using hook removals. In the following decade, Robinson, Littlewood, Staal and Farahat codified the p quotient of such a partition, using variations of the star diagram. Since the 1970s, the convention has been to build up the theory of both core and quotients with the abacus construction, first introduced by G. James. In this paper we return to the earlier point of view. First we show that, for any positive integer t, the t core and t quotient of an integer partition can be directly obtained from its Frobenius symbol. The argument also works in the opposite direction that is, given the Frobenius symbol of a t core and a t tuple of Frobenius symbols, one can recover the Frobenius symbol of the corresponding partition. One immediate application is the calculation of the Durfee number of the associated partition from the Frobenius symbols of the core and quotient. In 1991, J. Scopes gathered together the p core partitions into families to prove that Donovan's conjecture holds for the symmetric groups at the prime p. We describe, using our methods, the action of the affine Weyl group W p of type A on Frobenius symbols, and use this to parametrize and compute the explicit number of Scopes families. In particular we enumerate both the infinite and finite Scopes families. Core partitions have also attracted recent interest in number theory. By constructing explicit and combinatorial bijections, we revisit some well known identities originally obtained using sophisticated methods. We end with a close study of the relationship between certain hooks in the quotient and certain hooks in the associated partition.


Conditional Mutual Information Neural Estimator. Several recent works in communication systems have proposed to leverage the power of neural networks in the design of encoders and decoders. In this approach, these blocks can be tailored to maximize the transmission rate based on aggregated samples from the channel. Motivated by the fact that, in many communication schemes, the achievable transmission rate is determined by a conditional mutual information term, this paper focuses on neural based estimators for this information theoretic quantity. Our results are based on variational bounds for the KL divergence and, in contrast to some previous works, we provide a mathematically rigorous lower bound. However, additional challenges with respect to the unconditional mutual information emerge due to the presence of a conditional density function which we address here.


Entire spacelike hypersurfaces with constant sigma n 1 curvature in Minkowski space. We prove that, in Minkowski space, if a spacelike, (n 1) convex hypersurface M with constant sigma n 1 curvature has bounded principal curvatures, then M is convex. Moreover, if M is not strictly convex, after an mathbb R n,1 rigid motion, M splits as a product M n 1 times mathbb R . We also construct nontrivial examples of strictly convex, spacelike hypersurface M with constant sigma n 1 curvature and bounded principal curvatures.


Scattering Transform Based Image Clustering using Projection onto Orthogonal Complement. In the last few years, large improvements in image clustering have been driven by the recent advances in deep learning. However, due to the architectural complexity of deep neural networks, there is no mathematical theory that explains the success of deep clustering techniques. In this work we introduce Projected Scattering Spectral Clustering (PSSC), a state of the art, stable, and fast algorithm for image clustering, which is also mathematically interpretable. PSSC includes a novel method to exploit the geometric structure of the scattering transform of small images. This method is inspired by the observation that, in the scattering transform domain, the subspaces formed by the eigenvectors corresponding to the few largest eigenvalues of the data matrices of individual classes are nearly shared among different classes. Therefore, projecting out those shared subspaces reduces the intra class variability, substantially increasing the clustering performance. We call this method Projection onto Orthogonal Complement (POC). Our experiments demonstrate that PSSC obtains the best results among all shallow clustering algorithms. Moreover, it achieves comparable clustering performance to that of recent state of the art clustering techniques, while reducing the execution time by more than one order of magnitude. In the spirit of reproducible research, we publish a high quality code repository along with the paper.


Low power (mW) nonlinearities of polarization maintaining fibers. Polarization maintaining (PM) fibers are meant to maintain linear polarization along a preferred axis. A PM fiber can be seen as the fiber version of a very high order waveplate, designed with different refractive indices along two orthogonal axes. It is shown that monitoring the polarization of initially circularly polarized light sent through a PM fiber, leads not only to new sensing methods, but also to power control, saturable absorption, and optical path stabilization. Even at peak power levels not exceeding a few mW, nonlinear transmission is detected, with time constants in the microsecond range.


On zero shot recognition of generic objects. Many recent advances in computer vision are the result of a healthy competition among researchers on high quality, task specific, benchmarks. After a decade of active research, zero shot learning (ZSL) models accuracy on the Imagenet benchmark remains far too low to be considered for practical object recognition applications. In this paper, we argue that the main reason behind this apparent lack of progress is the poor quality of this benchmark. We highlight major structural flaws of the current benchmark and analyze different factors impacting the accuracy of ZSL models. We show that the actual classification accuracy of existing ZSL models is significantly higher than was previously thought as we account for these flaws. We then introduce the notion of structural bias specific to ZSL datasets. We discuss how the presence of this new form of bias allows for a trivial solution to the standard benchmark and conclude on the need for a new benchmark. We then detail the semi automated construction of a new benchmark to address these flaws.


Reasoning about strategies on collapsible pushdown arenas with imperfect information. Strategy Logic with imperfect information (SLiR) is a very expressive logic designed to express complex properties of strategic abilities in distributed systems. Previous work on SLiR focused on finite systems, and showed that the model checking problem is decidable when information on the control states of the system is hierarchical among the players or components of the system, meaning that the players or components can be totally ordered according to their respective knowledge of the state. We show that moving from finite to infinite systems generated by collapsible (higher order) pushdown systems preserves decidability, under the natural restriction that the stack content is visible. The proof follows the same lines as in the case of finite systems, but requires to use (collapsible) alternating pushdown tree automata. Such automata are undecidable, but semi alternating pushdown tree automata were introduced and proved decidable, to study a strategic problem on pushdown systems with two players. In order to tackle multiple players with hierarchical information, we refine further these automata we define direction guided (collapsible) pushdown tree automata, and show that they are stable under projection, nondeterminisation and narrowing. For the latter operation, used to deal with imperfect information, stability holds under some assumption that is satisfied when used for systems with visible stack. We then use these automata to prove our main result.


Intra Variable Handwriting Inspection Reinforced with Idiosyncrasy Analysis. In this paper, we work on intra variable handwriting, where the writing samples of an individual can vary significantly. Such within writer variation throws a challenge for automatic writer inspection, where the state of the art methods do not perform well. To deal with intra variability, we analyze the idiosyncrasy in individual handwriting. We identify verify the writer from highly idiosyncratic text patches. Such patches are detected using a deep recurrent reinforcement learning based architecture. An idiosyncratic score is assigned to every patch, which is predicted by employing deep regression analysis. For writer identification, we propose a deep neural architecture, which makes the final decision by the idiosyncratic score induced weighted average of patch based decisions. For writer verification, we propose two algorithms for patch fed deep feature aggregation, which assist in authentication using a triplet network. The experiments were performed on two databases, where we obtained encouraging results.


On the Performance of Metaheuristics A Different Perspective. Nowadays, we are immersed in tens of newly proposed evolutionary and swam intelligence metaheuristics, which makes it very difficult to choose a proper one to be applied on a specific optimization problem at hand. On the other hand, most of these metaheuristics are nothing but slightly modified variants of the basic metaheuristics. For example, Differential Evolution (DE) or Shuffled Frog Leaping (SFL) are just Genetic Algorithms (GA) with a specialized operator or an extra local search, respectively. Therefore, what comes to the mind is whether the behavior of such newly proposed metaheuristics can be investigated on the basis of studying the specifications and characteristics of their ancestors. In this paper, a comprehensive evaluation study on some basic metaheuristics i.e. Genetic Algorithm (GA), Particle Swarm Optimization (PSO), Artificial Bee Colony (ABC), Teaching Learning Based Optimization (TLBO), and Cuckoo Optimization algorithm (COA) is conducted, which give us a deeper insight into the performance of them so that we will be able to better estimate the performance and applicability of all other variations originated from them. A large number of experiments have been conducted on 20 different combinatorial optimization benchmark functions with different characteristics, and the results reveal to us some fundamental conclusions besides the following ranking order among these metaheuristics, ABC, PSO, TLBO, GA, COA i.e. ABC and COA are the best and the worst methods from the performance point of view, respectively. In addition, from the convergence perspective, PSO and ABC have significant better convergence for unimodal and multimodal functions, respectively, while GA and COA have premature convergence to local optima in many cases needing alternative mutation mechanisms to enhance diversification and global search.


A Quantitative Understanding of Pattern Matching. This paper shows that the recent approach to quantitative typing systems for programming languages can be extended to pattern matching features. Indeed, we define two resource aware type systems, named U and E, for a lambda calculus equipped with pairs for both patterns and terms. Our typing systems borrow some basic ideas from BKRDR15 , which characterises (head) normalisation in a qualitative way, in the sense that typability and normalisation coincide. But in contrast to BKRDR15 , our (static) systems also provides quantitative information about the dynamics of the calculus. Indeed, system U provides upper bounds for the length of normalisation sequences plus the size of their corresponding normal forms, while system E, which can be seen as a refinement of system U, produces exact bounds for each of them. This is achieved by means of a non idempotent intersection type system equipped with different technical tools. First of all, we use product types to type pairs, instead of the disjoint unions in BKRDR15 , thus avoiding an overlap between "being a pair" and "being duplicable", resulting in an essential tool to reason about quantitativity. Secondly, typing sequents in system E are decorated with tuples of integers, which provide quantitative information about normalisation sequences, notably time (c.f. length) and space (c.f. size). Another key tool of system E is that the type system distinguishes between consuming (contributing to time) and persistent (contributing to space) constructors. Moreover, the time resource information is remarkably refined, because it discriminates between different kinds of reduction steps performed during evaluation, so that beta reduction, substitution and matching steps are counted separately.


Computing base extensions of ordinary abelian varieties over finite fields. We study base field extensions of ordinary abelian varieties defined over finite fields using the module theoretic description introduced by Deligne. As applications we give algorithms to determine the minimal field of definition of such a variety and to determine whether two such varieties are twists.


Conformal mappings revisited in the octonions and Clifford algebras of arbitrary dimension. In this paper we revisit the concept of conformality in the sense of Gauss in the context of octonions and Clifford algebras. We extend a characterization of conformality in terms of a system of partial differential equations and differential forms using special orthonormal sets of continuous functions that have been used before in the particular quaternionic setting. The aim is to describe to which higher dimensional algebras this characterization can exactly be extended and under which circumstances. It turns out to be crucial that this characterization requires a domain of definition that lies in a subalgebra that has the norm composition property and that is either associative (Clifford algebra case) or at least alternative (octonionic case). The orthonormal frames are elements of the spin group Spin(n 1). We round off by relating the nature of the orthonormal frames to the associated M "obius transformation which are related to SO(9,1) in the octonionic case and to the Ahlfors Vahlen group in the case of a Clifford algebra.


Reducible specializations of polynomials the nonsolvable case. Given an irreducible polynomial F in Q(t) x , we develop methods for determining the set of exceptions in Hilbert's irreducibility theorem up to a finite set, under nonsolvability assumptions on its Galois group A Gal(F Q(t)). As opposed to previous results, these methods address the case where A is imprimitive. As a consequence, we answer the Davenport Lewis Schinzel problem (1959), and the problem of determining the reducibility of fibers of a polynomial f in Q x over rational points (1971), when the involved polynomials do not factor through x n, a Chebyshev polynomial, and an indecomposable degree 4 polynomial.


An efficient method to construct self dual cyclic codes of length p s over mathbb F p m u mathbb F p m . Let p be an odd prime number, mathbb F p m be a finite field of cardinality p m and s a positive integer. Using some combinatorial identities, we obtain certain properties for Kronecker product of matrices over mathbb F p with a specific type. On that basis, we give an explicit representation and enumeration for all distinct self dual cyclic codes of length p s over the finite chain ring mathbb F p m u mathbb F p m (u 2 0) . Moreover, We provide an efficient method to construct every self dual cyclic code of length p s over mathbb F p m u mathbb F p m precisely.


MSNet A Multilevel Instance Segmentation Network for Natural Disaster Damage Assessment in Aerial Videos. In this paper, we study the problem of efficiently assessing building damage after natural disasters like hurricanes, floods or fires, through aerial video analysis. We make two main contributions. The first contribution is a new dataset, consisting of user generated aerial videos from social media with annotations of instance level building damage masks. This provides the first benchmark for quantitative evaluation of models to assess building damage using aerial videos. The second contribution is a new model, namely MSNet, which contains novel region proposal network designs and an unsupervised score refinement network for confidence score calibration in both bounding box and mask branches. We show that our model achieves state of the art results compared to previous methods in our dataset. We will release our data, models and code.


BERT Loses Patience Fast and Robust Inference with Early Exit. In this paper, we propose Patience based Early Exit, a straightforward yet effective inference method that can be used as a plug and play technique to simultaneously improve the efficiency and robustness of a pretrained language model (PLM). To achieve this, our approach couples an internal classifier with each layer of a PLM and dynamically stops inference when the intermediate predictions of the internal classifiers remain unchanged for a pre defined number of steps. Our approach improves inference efficiency as it allows the model to make a prediction with fewer layers. Meanwhile, experimental results with an ALBERT model show that our method can improve the accuracy and robustness of the model by preventing it from overthinking and exploiting multiple classifiers for prediction, yielding a better accuracy speed trade off compared to existing early exit methods.


On the Surjectivity of Certain Maps IV For Congruence Ideal Subgroups of Type A k and C k . For a positive integer k , we extend the surjectivity results from special linear groups (Type A k ) and symplectic linear groups (Type C k ) onto product of generalized projective spaces by associating the rows or columns, to certain congruence ideal subgroups of special linear groups and symplectic linear groups.


Nice formulas, xyx formulas, and palindrome patterns. We characterize the formulas that are avoided by every alpha free word for some alpha 1 . We study the avoidability index of formulas whose fragments are of the form XYX . The largest avoidability index of an avoidable palindrome pattern is known to be at least 4 and at most 16 . We make progress toward the conjecture that every avoidable palindrome pattern is 4 avoidable.


Decay of correlations for certain isometric extensions of Anosov flows. We establish exponential decay of correlations of all orders for locally G accessible isometric extensions of transitive Anosov flows, under the assumption that the strong stable and strong unstable foliations of the base Anosov flow are jointly C 1 . This is accomplished by translating accessibility properties of the extension into local non integrability estimates measured by Dolgopyat's infinitesimal transitivity group, from which we obtain contraction properties for a class of 'twisted' symbolic transfer operators.


An adjoint optimization approach for the topological design of large scale district heating networks based on nonlinear models. This article deals with the problem of finding the best topology, pipe diameter choices, and operation parameters for realistic district heating networks. Present design tools that employ non linear flow and heat transport models for topological design are limited to small heating networks with up to 20 potential consumers. We introduce an alternative adjoint based numerical optimization strategy to enable large scale nonlinear thermal network optimization. In order to avoid a strong computational cost scaling with the network size, we aggregate consumer constraints with a constraint aggregation strategy. Moreover, to align this continuous optimization strategy with the discrete nature of topology optimization and pipe size choices, we present a numerical continuation strategy that gradually forces the design variables towards discrete design choices. As such, optimal network topology and pipe sizes are determined simultaneously. Finally, we demonstrate the scalability of the algorithm by designing a fictitious district heating network with 160 consumers. As a proof of concept, the network is optimized for minimal investment cost and pumping power, while keeping the heat supplied to the consumers within a thermal comfort range of 5 . Starting from a uniform distribution of 15 cm wide piping throughout the network, the novel algorithm finds a network lay out that reduces piping investment by 23 and pump related costs by a factor of 14 in less than an hour on a standard laptop. Moreover, the importance of embedding the non linear transport model is clear from a temperature induced variation in the consumer flow rates of 72 .


Conservation Laws in a Limit Order Book. We present a class of macroscopic models of the Limit Order Book to simulate the aggregate behaviour of market makers in response to trading flows. The resulting models are solved numerically and asymptotically, and a class of similarity solutions linked to order book formation and recovery is explored. The main result is that order book recovery from aggressive liquidity taking follows a simple t 1 3 scaling law.


A multi agent model for growing spiking neural networks. Artificial Intelligence has looked into biological systems as a source of inspiration. Although there are many aspects of the brain yet to be discovered, neuroscience has found evidence that the connections between neurons continuously grow and reshape as a part of the learning process. This differs from the design of Artificial Neural Networks, that achieve learning by evolving the weights in the synapses between them and their topology stays unaltered through time. This project has explored rules for growing the connections between the neurons in Spiking Neural Networks as a learning mechanism. These rules have been implemented on a multi agent system for creating simple logic functions, that establish a base for building up more complex systems and architectures. Results in a simulation environment showed that for a given set of parameters it is possible to reach topologies that reproduce the tested functions. This project also opens the door to the usage of techniques like genetic algorithms for obtaining the best suited values for the model parameters, and hence creating neural networks that can adapt to different functions.


A canonical algebra of open transition systems. Feedback and state are closely interrelated concepts. Categories with feedback, originally proposed by Katis, Sabadini and Walters, are a weakening of the notion of traced monoidal categories, with several pertinent applications in computer science. The construction of the free such categories has appeared in several different contexts, and can be considered as state bootstrapping. We show that a categorical algebra for open transition systems, mathbf Span ( mathbf Graph ) ast , also due to Katis, Sabadini and Walters, is the free category with feedback over mathbf Span ( mathbf Set ) . Intuitively, this algebra of transition systems is obtained by adding state to an algebra of predicates, and therefore mathbf Span ( mathbf Graph ) ast is, in this sense, the canonical such algebra.


On Szeg " o Kolmogorov Prediction Theorem. The classical Szeg " o Kolmogorov Prediction Theorem gives necessary and sufficient condition on a weight w on the unite cirlce T so that the exponentials with positive integer frequences span the weighted space L 2(T,w) . We consider the problem how many of these exponentials can be removed while still keeping the completeness property.


Complementing Lexical Retrieval with Semantic Residual Embedding. This paper presents CLEAR, a retrieval model that seeks to complement classical lexical exact match models such as BM25 with semantic matching signals from a neural embedding matching model. CLEAR explicitly trains the neural embedding to encode language structures and semantics that lexical retrieval fails to capture with a novel residual based embedding learning method. Empirical evaluations demonstrate the advantages of CLEAR over state of the art retrieval models, and that it can substantially improve the end to end accuracy and efficiency of reranking pipelines.


Enhanced stability of the focus obtained by wavefront optimization in dynamical scattering media. Focusing scattered light using wavefront shaping provides interesting perspectives to image deep in opaque samples, as e.g. in nonlinear fluorescence microscopy. Applying these technics to in vivo imaging remains challenging due to the short decorrelation time of the speckle in depth, as focusing and imaging has to be achieved within the order of the decorrelation time. In this paper, we experimentally study the focus lifetime after focusing through dynamical scattering media, when iterative wavefront optimization and speckle decorrelation occur over the same timescale. We show experimental situations with heterogeneous stability of the scattering sequences, where the focus presents significantly higher stability than the surrounding speckle.


Correlations between Word Vector Sets. Similarity measures based purely on word embeddings are comfortably competing with much more sophisticated deep learning and expert engineered systems on unsupervised semantic textual similarity (STS) tasks. In contrast to commonly used geometric approaches, we treat a single word embedding as e.g. 300 observations from a scalar random variable. Using this paradigm, we first illustrate that similarities derived from elementary pooling operations and classic correlation coefficients yield excellent results on standard STS benchmarks, outperforming many recently proposed methods while being much faster and trivial to implement. Next, we demonstrate how to avoid pooling operations altogether and compare sets of word embeddings directly via correlation operators between reproducing kernel Hilbert spaces. Just like cosine similarity is used to compare individual word vectors, we introduce a novel application of the centered kernel alignment (CKA) as a natural generalisation of squared cosine similarity for sets of word vectors. Likewise, CKA is very easy to implement and enjoys very strong empirical results.


Logarithmic Stability for Coefficients Inverse Problem of Coupled Wave Equations. This paper investigates the identification of two coefficients in a coupled hyperbolic system with an observation on one component of the solution. Based on the the Carleman estimate for coupled wave equations a logarithmic type stability result is obtained by measurement data only in a suitably chosen subdomain under the assumption that the coefficients are given in a neighborhood of some subboundary.


Motivic classes of Quot schemes on surfaces. Given a locally free coherent sheaf on a smooth algebraic surface, we consider the Quot scheme parametrizing zero dimensional quotients of the sheaf and find the corresponding motivic class in the Grothendieck ring of algebraic varieties.


Streaming Verification for Graph Problems Optimal Tradeoffs and Nonlinear Sketches. We study graph computations in an enhanced data streaming setting, where a space bounded client reading the edge stream of a massive graph may delegate some of its work to a cloud service. We seek algorithms that allow the client to verify a purported proof sent by the cloud service that the work done in the cloud is correct. A line of work starting with Chakrabarti et al. (ICALP 2009) has provided such algorithms, which we call schemes, for several statistical and graph theoretic problems, many of which exhibit a tradeoff between the length of the proof and the space used by the streaming verifier. This work designs new schemes for a number of basic graph problems including triangle counting, maximum matching, topological sorting, and single source shortest paths where past work had either failed to obtain smooth tradeoffs between these two key complexity measures or only obtained suboptimal tradeoffs. Our key innovation is having the verifier compute certain nonlinear sketches of the input stream, leading to either new or improved tradeoffs. In many cases, our schemes in fact provide optimal tradeoffs up to logarithmic factors. Specifically, for most graph problems that we study, it is known that the product of the verifier's space cost v and the proof length h must be at least Omega(n 2) for n vertex graphs. However, matching upper bounds are only known for a handful of settings of h and v on the curve h cdot v tilde Theta (n 2) . For example, for counting triangles and maximum matching, schemes with costs lying on this curve are only known for (h tilde O (n 2), v tilde O (1)) , (h tilde O (n), v tilde O (n)) , and the trivial (h tilde O (1), v tilde O (n 2)) . A major message of this work is that by exploiting nonlinear sketches, a significant portion'' of costs on the tradeoff curve h cdot v n 2 can be achieved.


On Axiomatization of Lewis' Conditional Logics. This paper first shows that the popular axiomatic systems proposed by Nute for Lewis' conditional logics are not equivalent to Lewis' original systems. In particular, the axiom CA which is derivable in Lewis' systems is not derivable in Nute's systems. Then the paper proposes a new set of axiomatizations for Lewis' conditional logics, without using CSO, or RCEA, or the rule of interchange of logical equivalents. Instead, the new axiomatizations adopt two axioms which correspond to cautious monotonicity and cautious cut in nonmonotonic logics, respectively. Finally, the paper gives a simple resolution to a puzzle about the controversial axiom of simplification of disjunctive antecedents, using a long neglected axiom in one of Lewis' systems for conditional logics.


On CCZ equivalence of the inverse function. The inverse function x mapsto x 1 on mathbb F 2 n is one of the most studied functions in cryptography due to its widespread use as an S box in block ciphers like AES. In this paper, we show that, if n geq 5 , every function that is CCZ equivalent to the inverse function is already EA equivalent to it. This confirms a conjecture by Budaghyan, Calderini and Villa. We also prove that every permutation that is CCZ equivalent to the inverse function is already affine equivalent to it. The majority of the paper is devoted to proving that there are no permutation polynomials of the form L 1(x 1 ) L 2(x) over mathbb F 2 n if n geq 5 , where L 1,L 2 are nonzero linear functions. In the proof, we combine Kloosterman sums, quadratic forms and tools from additive combinatorics.


Reinforcement Learning for POMDP Partitioned Rollout and Policy Iteration with Application to Autonomous Sequential Repair Problems. In this paper we consider infinite horizon discounted dynamic programming problems with finite state and control spaces, and partial state observations. We discuss an algorithm that uses multistep lookahead, truncated rollout with a known base policy, and a terminal cost function approximation. This algorithm is also used for policy improvement in an approximate policy iteration scheme, where successive policies are approximated by using a neural network classifier. A novel feature of our approach is that it is well suited for distributed computation through an extended belief space formulation and the use of a partitioned architecture, which is trained with multiple neural networks. We apply our methods in simulation to a class of sequential repair problems where a robot inspects and repairs a pipeline with potentially several rupture sites under partial information about the state of the pipeline.


Jacobi type algorithm for low rank orthogonal approximation of symmetric tensors and its convergence analysis. In this paper, we propose a Jacobi type algorithm to solve the low rank orthogonal approximation problem of symmetric tensors. This algorithm includes as a special case the well known Jacobi CoM2 algorithm for the approximate orthogonal diagonalization problem of symmetric tensors. We first prove the weak convergence of this algorithm, textit i.e. any accumulation point is a stationary point. Then we study the global convergence of this algorithm under a gradient based ordering for a special case the best rank 2 orthogonal approximation of 3rd order symmetric tensors, and prove that an accumulation point is the unique limit point under some conditions. Numerical experiments are presented to show the efficiency of this algorithm.


A Knowledge Graph for Assessing Aggressive Tax Planning Strategies. The taxation of multi national companies is a complex field, since it is influenced by the legislation of several states. Laws in different states may have unforeseen interaction effects, which can be exploited by allowing multinational companies to minimize taxes, a concept known as tax planning. In this paper, we present a knowledge graph of multinational companies and their relationships, comprising almost 1.5M business entities. We show that commonly known tax planning strategies can be formulated as subgraph queries to that graph, which allows for identifying companies using certain strategies. Moreover, we demonstrate that we can identify anomalies in the graph which hint at potential tax planning strategies, and we show how to enhance those analyses by incorporating information from Wikidata using federated queries.


Africa 3 A Continental Network Model to Enable the African Fourth Industrial Revolution. It is widely recognised that collaboration can help fast track the development of countries in Africa. Leveraging on the fourth industrial revolution, Africa can achieve accelerated development in health care services, educational systems and socio economic infrastructures. While a number of conceptual frameworks have been proposed for the African continent, many have discounted the Cloud infrastructure used for data storage and processing, as well as the underlying network infrastructure upon which such frameworks would be built. This work therefore presents a continental network model for interconnecting nations in Africa through its data centres. The proposed model is based on a multilayer network engineering approach, which first groups African countries into clusters of data centres using a hybrid combination of clustering techniques then utilizes Ant Colony Optimization with Stench Pheromone, that is modified to support variable evaporation rates, to find the ideal network path(s) across the clusters and the continent as a whole. The propsoed model takes into consideration the geo spatial location, population sizes, data centre counts and intercontinental submarine cable landings of each African country, when clustering and routing. For bench marking purposes, the path selection algorithm was tested on both the obtained clusters and African Union's regional clusters.


Surrounding cops and robbers on graphs of bounded genus. We consider a surrounding variant of cops and robbers on graphs of bounded genus. We obtain bounds on the number of cops required to surround a robber on planar graphs, toroidal graphs, and outerplanar graphs. We also obtain improved bounds for bipartite planar and toroidal graphs. We briefly consider general graphs of bounded genus and graphs with a forbidden minor.


On the Exploration of Incremental Learning for Fine grained Image Retrieval. In this paper, we consider the problem of fine grained image retrieval in an incremental setting, when new categories are added over time. On the one hand, repeatedly training the representation on the extended dataset is time consuming. On the other hand, fine tuning the learned representation only with the new classes leads to catastrophic forgetting. To this end, we propose an incremental learning method to mitigate retrieval performance degradation caused by the forgetting issue. Without accessing any samples of the original classes, the classifier of the original network provides soft "labels" to transfer knowledge to train the adaptive network, so as to preserve the previous capability for classification. More importantly, a regularization function based on Maximum Mean Discrepancy is devised to minimize the discrepancy of new classes features from the original network and the adaptive network, respectively. Extensive experiments on two datasets show that our method effectively mitigates the catastrophic forgetting on the original classes while achieving high performance on the new classes.


Weak and strong type estimates for the multilinear Littlewood Paley operators. Let S alpha be the multilinear square function defined on the cone with aperture alpha geq 1 . In this paper, we investigate several kinds of weighted norm inequalities for S alpha . We first obtain a sharp weighted estimate in terms of aperture alpha and vec w in A vec p . By means of some pointwise estimates, we also establish two weight inequalities including bump and entropy bump estimates, and Fefferman Stein inequalities with arbitrary weights. Beyond that, we consider the mixed weak type estimates corresponding Sawyer's conjecture, for which a Coifman Fefferman inequality with the precise A infty norm is proved. Finally, we present the local decay estimates using the extrapolation techniques and dyadic analysis respectively. All the conclusions aforementioned hold for the Littlewood Paley g lambda function. Some results are new even in the linear case.


Impact of Distributed Processing on Power Consumption for IoT Based Surveillance Applications. With the rapid proliferation of connected devices in the Internet of Things (IoT), the centralized cloud solution faces several challenges, out of which, there is an overwhelming consensus to put energy efficiency at the top of the research agenda. In this paper, we evaluate the impact of demand splitting over heterogeneous processing resources in an IoT platform, supported by Fog and Cloud infrastructure. We develop a Mixed Integer Linear Programming (MILP) model to study the gains of splitting resource intensive demands among IoT nodes, Fog devices and Cloud servers. A surveillance application is considered, which consists of multiple smart cameras capable of capturing and analyzing real time video streams. The PON access network aggregates IoT layer demands for processing in the Fog, or the Cloud which is accessed through the IP WDM network. For typical video analysis workloads, the results show that splitting medium demand sizes among IoT and Fog resources yields a total power consumption saving of up to 32 , even if they can host only 10 of the total workload and this can reach 93 for lower number of demands, compared to the centralized cloud solution. However, the gains in power savings from splitting decreases as the number of splits increases. Keywords IoT surveillance, PON, energy efficiency, fog, distributed processing.


Long range frequency chirping of Alfven eigenmodes. A theoretical framework has been developed for an NBI scenario to model the hard nonlinear evolution of Global Alfven Eigenmodes (GAEs) where the adiabatic motion of phase space sturctures (holes and clumps), associated with the frequency chirping, occurs in generalized phase space of slowing down energetic particles. The radial profile of the GAE is expanded using finite elements which allows update of the mode structure as the mode frequency chirps. Constants of motion are introduced to track the dynamics of energetic particles during frequency chirping by implementing proper Action Angle variables and canonical transformations which reduce the dynamics essentially to 1D. Consequently, we specify whether the particles are drifting inward outward as the frequency deviates from the initial MHD eigenfrequency. Using the principle of least action, we have derived the nonlinear equation describing the evolution of the radial profile by varying the total Lagrangian of the system with respect to the weights of finite elements. For the choice of parameters in this work, it is shown that the peak of the radial profile is shifted and also broadens due to frequency chirping. The time rate of frequency change is also calculated using the energy balance and we show that the adiabatic condition remains valid once it is satisfied. This model clearly illustrates the theoretical treatment to study the long range adiabatic frequency sweeping events observed for Alfven gap modes in real experiments.


The Key Features of the CoCalc Cloud Service Use in the Process of Mathematics and Science Teachers Training. The article describes the features of the evolution of the cloud based systems in the context of mathematics and science teachers training. The notion of the systems of computer mathematics (SCM) is considered as the special kind of learning software. The lists of the special mathematical operations, functions and methods used within the structure of modern SCM are examined. Web SCM properties are considered as general and specific. The cloud based SCM are taken as the special stage of Web SCM development. The criteria for an appropriate cloud service selection to support the process of mathematics disciplines learning are revealed. The key features of the CoCalc cloud service use are considered in concern to the proposed selection criteria the available computing capacities, the diversity of tools for training and its control, the possibility of increasing the computing capability, the openness of the program code, the availability of tools for joint editing. The results of the experimental testing of CoCalc use in the process of mathematics teachers training are described. Besides, the discussion covering the issues of integration and compatibility with the other tools and services used for mathematics learning (on the example of Octave) is presented. The main trends of the CoCalc cloud service introduction into the training process and the prospects for further research are revealed.


An Automaton Group with PSPACE Complete Word Problem. We construct an automaton group with a PSPACE complete word problem, proving a conjecture due to Steinberg. Additionally, the constructed group has a provably more difficult, namely EXPSPACE complete, compressed word problem and acts over a binary alphabet. Thus, it is optimal in terms of the alphabet size. Our construction directly simulates the computation of a Turing machine in an automaton group and, therefore, seems to be quite versatile. It combines two ideas the first one is a construction used by D'Angeli, Rodaro and the first author to obtain an inverse automaton semigroup with a PSPACE complete word problem and the second one is to utilize a construction used by Barrington to simulate Boolean circuits of bounded degree and logarithmic depth in the group of even permutations over five elements.


MFST A Python OpenFST Wrapper With Support for Custom Semirings and Jupyter Notebooks. This paper introduces mFST, a new Python library for working with Finite State Machines based on OpenFST. mFST is a thin wrapper for OpenFST and exposes all of OpenFST's methods for manipulating FSTs. Additionally, mFST is the only Python wrapper for OpenFST that exposes OpenFST's ability to define a custom semirings. This makes mFST ideal for developing models that involve learning the weights on a FST or creating neuralized FSTs. mFST has been designed to be easy to get started with and has been previously used in homework assignments for a NLP class as well in projects for integrating FSTs and neural networks. In this paper, we exhibit mFST API and how to use mFST to build a simple neuralized FST with PyTorch.


Epipolar Guided Deep Object Matching for Scene Change Detection. This paper describes a viewpoint robust object based change detection network (OBJ CDNet). Mobile cameras such as drive recorders capture images from different viewpoints each time due to differences in camera trajectory and shutter timing. However, previous methods for pixel wise change detection are vulnerable to the viewpoint differences because they assume aligned image pairs as inputs. To cope with the difficulty, we introduce a deep graph matching network that establishes object correspondence between an image pair. The introduction enables us to detect object wise scene changes without precise image alignment. For more accurate object matching, we propose an epipolar guided deep graph matching network (EGMNet), which incorporates the epipolar constraint into the deep graph matching layer used in OBJCDNet. To evaluate our network's robustness against viewpoint differences, we created synthetic and real datasets for scene change detection from an image pair. The experimental results verified the effectiveness of our network.


Piecewise analytic interfaces with weakly singular points of arbitrary order always scatter. It is proved that an inhomogeneous medium whose boundary contains a weakly singular point of arbitrary order scatters every incoming wave. Similarly, a compactly supported source term with weakly singular points on the boundary always radiates acoustic waves. These results imply the absence of non scattering energies and non radiating sources in a domain that is not C infty smooth. Local uniqueness results with a single far field pattern are obtained for inverse source and inverse medium scattering problems. Our arguments provide a sufficient condition of the surface under which solutions to the Helmholtz equation admits no analytical continuation.


Cut and project quasicrystals, lattices, and dense forests. Dense forests are discrete subsets of Euclidean space which are uniformly close to all sufficiently long line segments. The degree of density of a dense forest is measured by its visibility function. We show that cut and project quasicrystals are never dense forests, but their finite unions could be uniformly discrete dense forests. On the other hand, we show that finite unions of lattices typically are dense forests, and give a bound on their visibility function, which is close to optimal. We also construct an explicit finite union of lattices which is a uniformly discrete dense forest with an explicit bound on its visibility.


Statistical learning in Wasserstein space. We seek a generalization of regression and principle component analysis (PCA) in a metric space where data points are distributions metrized by the Wasserstein metric. We recast these analyses as multimarginal optimal transport problems. The particular formulation allows efficient computation, ensures existence of optimal solutions, and admits a probabilistic interpretation over the space of paths (line segments). Application of the theory to the interpolation of empirical distributions, images, power spectra, as well as assessing uncertainty in experimental designs, is envisioned.


A note on big Ramsey degrees. Generalizing and simplifying recent work of Dobrinen, we show that if mathcal L is a finite binary relational language and mathcal F is a finite set of finite irreducible mathcal L structures, then the class mathcal K mathrm Forb ( mathcal F ) has finite big Ramsey degrees.


HIN Hierarchical Inference Network for Document Level Relation Extraction. Document level RE requires reading, inferring and aggregating over multiple sentences. From our point of view, it is necessary for document level RE to take advantage of multi granularity inference information entity level, sentence level and document level. Thus, how to obtain and aggregate the inference information with different granularity is challenging for document level RE, which has not been considered by previous work. In this paper, we propose a Hierarchical Inference Network (HIN) to make full use of the abundant information from entity level, sentence level and document level. Translation constraint and bilinear transformation are applied to target entity pair in multiple subspaces to get entity level inference information. Next, we model the inference between entity level information and sentence representation to achieve sentence level inference information. Finally, a hierarchical aggregation approach is adopted to obtain the document level inference information. In this way, our model can effectively aggregate inference information from these three different granularities. Experimental results show that our method achieves state of the art performance on the large scale DocRED dataset. We also demonstrate that using BERT representations can further substantially boost the performance.


Multiple Kerker conditions in arbitrary dielectric spheres. High refractive index dielectric particles present unique light scattering properties in the spectral range dominated by electric and magnetic dipolar resonances. These properties are absent in non resonant low index particles due to the strong overlap between dipolar and higher order multipolar contributions. Here we propose to induce duality and zero optical backscattering (first Kerker conditions) at multiple size parameter values on arbitrary dielectric spheres by illuminating with a tightly focused dipolar beam. As an illustrative example, we show that duality signatures, including topological optical vortices and enhanced spin orbit optical mirages, can be induced on arbitrary sized spheres of Polystyrene immersed in water.


On the structure of some locally nilpotent groups without contranormal subgroups. Following J.S. Rose, a subgroup H of a group G is said contranormal in G if G H G . In a certain sense, contranormal subgroups are antipodes to subnormal subgroups. It is well known that a finite group is nilpotent if and only if it has no proper contranormal subgroups. We prove that a nilpotent by finite group with no proper contranormal subgroup is nilpotent. There are locally nilpotent groups with a proper contranormal subgroup. We study the structure of hypercentral groups with a finite proper contranormal subgroup.


From Standard Summarization to New Tasks and Beyond Summarization with Manifold Information. Text summarization is the research area aiming at creating a short and condensed version of the original document, which conveys the main idea of the document in a few words. This research topic has started to attract the attention of a large community of researchers, and it is nowadays counted as one of the most promising research areas. In general, text summarization algorithms aim at using a plain text document as input and then output a summary. However, in real world applications, most of the data is not in a plain text format. Instead, there is much manifold information to be summarized, such as the summary for a web page based on a query in the search engine, extreme long document (e.g., academic paper), dialog history and so on. In this paper, we focus on the survey of these new summarization tasks and approaches in the real world application.


Piveau A Large scale Open Data Management Platform based on Semantic Web Technologies. The publication and (re)utilization of Open Data is still facing multiple barriers on technical, organizational and legal levels. This includes limitations in interfaces, search capabilities, provision of quality information and the lack of definite standards and implementation guidelines. Many Semantic Web specifications and technologies are specifically designed to address the publication of data on the web. In addition, many official publication bodies encourage and foster the development of Open Data standards based on Semantic Web principles. However, no existing solution for managing Open Data takes full advantage of these possibilities and benfits. In this paper, we present our solution "Piveau", a fully fledged Open Data management solution, based on Semantic Web technologies. It harnesses a variety of standards, like RDF, DCAT, DQV, and SKOS, to overcome the barriers in Open Data publication. The solution puts a strong focus on assuring data quality and scalability. We give a detailed description of the underlying, highly scalable, service oriented architecture, how we integrated the aforementioned standards, and used a triplestore as our primary database. We have evaluated our work in a comprehensive feature comparison to established solutions and through a practical application in a production environment, the European Data Portal. Our solution is available as Open Source.


MediaEval 2019 Concealed FGSM Perturbations for Privacy Preservation. This work tackles the Pixel Privacy task put forth by MediaEval 2019. Our goal is to manipulate images in a way that conceals them from automatic scene classifiers while preserving the original image quality. We use the fast gradient sign method, which normally has a corrupting influence on image appeal, and devise two methods to minimize the damage. The first approach uses a map of pixel locations that are either salient or flat, and directs perturbations away from them. The second approach subtracts the gradient of an aesthetics evaluation model from the gradient of the attack model to guide the perturbations towards a direction that preserves appeal. We make our code available at https git.io JesXr.


On the interplay between Noether's theorem and the theory of adiabatic invariants. This article focuses on an important quantity that will be called the Rund Trautman function. It already plays a central role in Noether's theorem since its vanishing characterizes a symmetry and leads to a conservation law. The main aim of the paper is to show how, in the realm of classical mechanics, an 'almost' vanishing Rund Trautman function accompanying an 'almost' symmetry leads to an 'almost' constant of motion within the adiabatic assumption, that is, to an adiabatic invariant. To this end, the Rund Trautman function is first introduced and analysed in detail, then it is implemented for the general one dimensional problem. Finally, its relevance in the adiabatic context is examined through the example of the harmonic oscillator with a slowly varying frequency. Notably, for some frequency profiles, explicit expansions of adiabatic invariants are derived through it and an illustrative numerical test is realized.


Meta MgNet Meta Multigrid Networks for Solving Parameterized Partial Differential Equations. This paper studies numerical solutions for parameterized partial differential equations (P PDEs) with deep learning (DL). P PDEs arise in many important application areas and the computational cost using traditional numerical schemes can be exorbitant, especially when the parameters fall into a particular range and the underlying PDE is required to be solved with high accuracy. Recently, solving PDEs with DL has become an emerging field. Existing works demonstrate great potentials of the DL based approach in speeding up numerical solutions of PDEs. However, there is still limited research on the DL approach for P PDEs. If we directly apply existing supervised learning models to P PDEs, the models need to be constantly fine tuned or retrained when the parameters change. This drastically limits the applicability and utility of these models in practice. To resolve this issue, we propose a meta learning based method that can efficiently solve P PDEs with a wide range of parameters without retraining. Our key observation is to regard training a solver for the P PDE with a given set of parameters as a learning task. Then, training a solver for the P PDEs with varied parameters can be viewed as a multi task learning problem, to which meta learning is one of the most effective approaches. This new perspective can be applied to many existing PDE solvers. As an example, we adopt the Multigrid Network (MgNet) as the base solver. To achieve multi task learning, we introduce a new hypernetwork, called Meta NN, in MgNet and refer to the entire network as the Meta MgNet. Meta NN takes the differential operators and the right hand side of the underlying P PDEs as inputs and generates appropriate smoothers for MgNet which can significantly affect the convergent speed. Finally, extensive numerical experiments demonstrate that Meta MgNet is more efficient in solving P PDEs than the MG methods and MgNet.


Orbifold splice quotients and log covers of surface pairs. A three dimensional orbifold ( Sigma, gamma i, n i) , where Sigma is a rational homology sphere, has a universal abelian orbifold covering, whose covering group is the first orbifold homology. A singular pair (X,C) , where X is a normal surface singularity with mathbb Q HS link and C is a Weil divisor, gives rise on its boundary to an orbifold. One studies the preceding orbifold notions in the algebro geometric setting, in particular defining the universal abelian log cover of a pair. A first key theorem computes the orbifold homology from an appropriate resolution of the pair. In analogy with the case where C is empty and one considers the universal abelian cover, under certain conditions on a resolution graph one can construct pairs and their universal abelian log covers. Such pairs are called orbifold splice quotients.


Meta Reasoning over Knowledge Graphs. The ability to reason over learned knowledge is an innate ability for humans and humans can easily master new reasoning rules with only a few demonstrations. While most existing studies on knowledge graph (KG) reasoning assume enough training examples, we study the challenging and practical problem of few shot knowledge graph reasoning under the paradigm of meta learning. We propose a new meta learning framework that effectively utilizes the task specific meta information such as local graph neighbors and reasoning paths in KGs. Specifically, we design a meta encoder that encodes the meta information into task specific initialization parameters for different tasks. This allows our reasoning module to have diverse starting points when learning to reason over different relations, which is expected to better fit the target task. On two few shot knowledge base completion benchmarks, we show that the augmented task specific meta encoder yields much better initial point than MAML and outperforms several few shot learning baselines.


Reducing Bias in Modeling Real world Password Strength via Deep Learning and Dynamic Dictionaries. Password security hinges on an in depth understanding of the techniques adopted by attackers. Unfortunately, real world adversaries resort to pragmatic guessing strategies such as dictionary attacks that are inherently difficult to model in password security studies. In order to be representative of the actual threat, dictionary attacks must be thoughtfully configured and tuned. However, this process requires a domain knowledge and expertise that cannot be easily replicated. The consequence of inaccurately calibrating dictionary attacks is the unreliability of password security analyses, impaired by a severe measurement bias. In the present work, we introduce a new generation of dictionary attacks that is consistently more resilient to inadequate configurations. Requiring no supervision or domain knowledge, this technique automatically approximates the advanced guessing strategies adopted by real world attackers. To achieve this (1) We use deep neural networks to model the proficiency of adversaries in building attack configurations. (2) Then, we introduce dynamic guessing strategies within dictionary attacks. These mimic experts' ability to adapt their guessing strategies on the fly by incorporating knowledge on their targets. Our techniques enable more robust and sound password strength estimates within dictionary attacks, eventually reducing overestimation in modeling real world threats in password security. Code available https github.com TheAdamProject adams


SGG Spinbot, Grammarly and GloVe based Fake News Detection. Recently, news consumption using online news portals has increased exponentially due to several reasons, such as low cost and easy accessibility. However, such online platforms inadvertently also become the cause of spreading false information across the web. They are being misused quite frequently as a medium to disseminate misinformation and hoaxes. Such malpractices call for a robust automatic fake news detection system that can keep us at bay from such misinformation and hoaxes. We propose a robust yet simple fake news detection system, leveraging the tools for paraphrasing, grammar checking, and word embedding. In this paper, we try to the potential of these tools in jointly unearthing the authenticity of a news article. Notably, we leverage Spinbot (for paraphrasing), Grammarly (for grammar checking), and GloVe (for word embedding) tools for this purpose. Using these tools, we were able to extract novel features that could yield state of the art results on the Fake News AMT dataset and comparable results on Celebrity datasets when combined with some of the essential features. More importantly, the proposed method is found to be more robust empirically than the existing ones, as revealed in our cross domain analysis and multi domain analysis.


SiEVE Semantically Encoded Video Analytics on Edge and Cloud. Recent advances in computer vision and neural networks have made it possible for more surveillance videos to be automatically searched and analyzed by algorithms rather than humans. This happened in parallel with advances in edge computing where videos are analyzed over hierarchical clusters that contain edge devices, close to the video source. However, the current video analysis pipeline has several disadvantages when dealing with such advances. For example, video encoders have been designed for a long time to please human viewers and be agnostic of the downstream analysis task (e.g., object detection). Moreover, most of the video analytics systems leverage 2 tier architecture where the encoded video is sent to either a remote cloud or a private edge server but does not efficiently leverage both of them. In response to these advances, we present SIEVE, a 3 tier video analytics system to reduce the latency and increase the throughput of analytics over video streams. In SIEVE, we present a novel technique to detect objects in compressed video streams. We refer to this technique as semantic video encoding because it allows video encoders to be aware of the semantics of the downstream task (e.g., object detection). Our results show that by leveraging semantic video encoding, we achieve close to 100 object detection accuracy with decompressing only 3.5 of the video frames which results in more than 100x speedup compared to classical approaches that decompress every video frame.


An Efficient and Layout Independent Automatic License Plate Recognition System Based on the YOLO detector. This paper presents an efficient and layout independent Automatic License Plate Recognition (ALPR) system based on the state of the art YOLO object detector that contains a unified approach for license plate (LP) detection and layout classification to improve the recognition results using post processing rules. The system is conceived by evaluating and optimizing different models, aiming at achieving the best speed accuracy trade off at each stage. The networks are trained using images from several datasets, with the addition of various data augmentation techniques, so that they are robust under different conditions. The proposed system achieved an average end to end recognition rate of 96.9 across eight public datasets (from five different regions) used in the experiments, outperforming both previous works and commercial systems in the ChineseLP, OpenALPR EU, SSIG SegPlate and UFPR ALPR datasets. In the other datasets, the proposed approach achieved competitive results to those attained by the baselines. Our system also achieved impressive frames per second (FPS) rates on a high end GPU, being able to perform in real time even when there are four vehicles in the scene. An additional contribution is that we manually labeled 38,351 bounding boxes on 6,239 images from public datasets and made the annotations publicly available to the research community.


Adaptive Honeypot Engagement through Reinforcement Learning of Semi Markov Decision Processes. A honeynet is a promising active cyber defense mechanism. It reveals the fundamental Indicators of Compromise (IoCs) by luring attackers to conduct adversarial behaviors in a controlled and monitored environment. The active interaction at the honeynet brings a high reward but also introduces high implementation costs and risks of adversarial honeynet exploitation. In this work, we apply infinite horizon Semi Markov Decision Process (SMDP) to characterize a stochastic transition and sojourn time of attackers in the honeynet and quantify the reward risk trade off. In particular, we design adaptive long term engagement policies shown to be risk averse, cost effective, and time efficient. Numerical results have demonstrated that our adaptive engagement policies can quickly attract attackers to the target honeypot and engage them for a sufficiently long period to obtain worthy threat information. Meanwhile, the penetration probability is kept at a low level. The results show that the expected utility is robust against attackers of a large range of persistence and intelligence. Finally, we apply reinforcement learning to the SMDP to solve the curse of modeling. Under a prudent choice of the learning rate and exploration policy, we achieve a quick and robust convergence of the optimal policy and value.


The Hadwiger theorem on convex functions. I. A complete classification of all continuous, epi translation and rotation invariant valuations on the space of super coercive convex functions on mathbb R n is established. The valuations obtained are functional versions of the classical intrinsic volumes. For their definition, singular Hessian valuations are introduced.


Regula Sub rosa Latent Backdoor Attacks on Deep Neural Networks. Recent work has proposed the concept of backdoor attacks on deep neural networks (DNNs), where misbehaviors are hidden inside "normal" models, only to be triggered by very specific inputs. In practice, however, these attacks are difficult to perform and highly constrained by sharing of models through transfer learning. Adversaries have a small window during which they must compromise the student model before it is deployed. In this paper, we describe a significantly more powerful variant of the backdoor attack, latent backdoors, where hidden rules can be embedded in a single "Teacher" model, and automatically inherited by all "Student" models through the transfer learning process. We show that latent backdoors can be quite effective in a variety of application contexts, and validate its practicality through real world attacks against traffic sign recognition, iris identification of lab volunteers, and facial recognition of public figures (politicians). Finally, we evaluate 4 potential defenses, and find that only one is effective in disrupting latent backdoors, but might incur a cost in classification accuracy as tradeoff.


A simple approach for vortex core visualization. We propose a method to visualize vortex cores based on manipulation of the pressure field produced by isolated vortices in incompressible flow. Under ideal conditions the function D 2 nabla P nabla 2 P yields an approximate distance to vortex centerlines. As opposed to local methods to identify coherent structures, isosurfaces of D produce a field of vortex tubes equidistant to the vortex core center which, ideally, are independent of vortex intensity or size. In contrast to other line vortex identification methods, which typically rely on algorithms to detect vortex core lines and frequently need complex implementations, the proposed method can be computed from the local Eulerian velocity and pressure fields as easily as vortex identification methods such as the Q and lambda 2 criteria. 2 nabla P nabla 2 P results in the exact distance to the core center for a Rankine vortex and is in general valid for the region of a vortex where there is pure rotation, yielding an approximation to the distance farther from the core in other simple one dimensional vortex models. The methodology performs well in all tests we attempted, though limitations are presented and discussed. The method is demonstrated for a canonical Burgers vortex, a Bodewadt vortex, homogeneous isotropic turbulent flow, the wake of a propeller, a heaving plate, a turning containership and the airwake of a surface combatant. The proposed method helps to better visualize vortical flow fields by displaying vortex cores, complementing methods like Q and lambda 2 which display vortical volumes.


Taskflow A Lightweight Parallel and Heterogeneous Task Graph Computing System. Taskflow aims to streamline the building of parallel and heterogeneous applications using a lightweight task graph based approach. Taskflow introduces an expressive task graph programming model to assist developers in the implementation of parallel and heterogeneous decomposition strategies on a heterogeneous computing platform. Our programming model distinguishes itself as a very general class of task graph parallelism with in graph control flow to enable end to end parallel optimization. To support our model with high performance, we design an efficient system runtime that solves many of the new scheduling challenges arising out of our models and optimizes the performance across latency, energy efficiency, and throughput. We have demonstrated the promising performance of Taskflow in real world applications. As an example, Taskflow solves a large scale machine learning workload up to 29 faster, 1.5x less memory, and 1.9x higher throughput than the industrial system, oneTBB, on a machine of 40 CPUs and 4 GPUs. We have opened the source of Taskflow and deployed it to large numbers of users in the open source community.


End to End Recognition System for Recognizing Offline Unconstrained Vietnamese Handwriting. Inspired by recent successes in neural machine translation and image caption generation, we present an attention based encoder decoder model (AED) to recognize Vietnamese Handwritten Text. The model composes of two parts a DenseNet for extracting invariant features, and a Long Short Term Memory network (LSTM) with an attention model incorporated for generating output text (LSTM decoder), which are connected from the CNN part to the attention model. The input of the CNN part is a handwritten text image and the target of the LSTM decoder is the corresponding text of the input image. Our model is trained end to end to predict the text from a given input image since all the parts are differential components. In the experiment section, we evaluate our proposed AED model on the VNOnDB Word and VNOnDB Line datasets to verify its efficiency. The experiential results show that our model achieves 12.30 of word error rate without using any language model. This result is competitive with the handwriting recognition system provided by Google in the Vietnamese Online Handwritten Text Recognition competition.


Linearization of holomorphic families of algebraic automorphisms of the affine plane. Let G be a reductive group. We prove that a family of polynomial actions of G on mathbb C 2 , holomorphically parametrized by an open Riemann surface, is linearizable. As an application, we show that a particular class of reductive group actions on mathbb C 3 is linearizable. The main step of our proof is to establish a certain restrictive Oka property for groups of equivariant algebraic automorphisms of mathbb C 2 .


Is human scoring the best criteria for summary evaluation?. Normally, summary quality measures are compared with quality scores produced by human annotators. A higher correlation with human scores is considered to be a fair indicator of a better measure. We discuss observations that cast doubt on this view. We attempt to show a possibility of an alternative indicator. Given a family of measures, we explore a criterion of selecting the best measure not relying on correlations with human scores. Our observations for the BLANC family of measures suggest that the criterion is universal across very different styles of summaries.


Massey products, toric topology and combinatorics of polytopes. In this paper we introduce a direct family of simple polytopes P 0 subset P 1 subset ldots such that for any k , 2 leq k leq n there are non trivial strictly defined Massey products of order k in the cohomology rings of their moment angle manifolds mathcal Z P n . We prove that the direct sequence of manifolds ast subset S 3 hookrightarrow ldots hookrightarrow mathcal Z P n hookrightarrow mathcal Z P n 1 hookrightarrow ldots has the following properties every manifold mathcal Z P n is a retract of mathcal Z P n 1 , and one has inverse sequences in cohomology (over n and k , where k to infty as n to infty ) of the Massey products constructed. As an application we get that there are non trivial differentials d k , for arbitrarily large k as n to infty in the Eilenberg Moore spectral sequence connecting the rings H ( Omega X) and H (X) with coefficients in a field, where X mathcal Z P n .


Performance of object recognition in wearable videos. Wearable technologies are enabling plenty of new applications of computer vision, from life logging to health assistance. Many of them are required to recognize the elements of interest in the scene captured by the camera. This work studies the problem of object detection and localization on videos captured by this type of camera. Wearable videos are a much more challenging scenario for object detection than standard images or even another type of videos, due to lower quality images (e.g. poor focus) or high clutter and occlusion common in wearable recordings. Existing work typically focuses on detecting the objects of focus or those being manipulated by the user wearing the camera. We perform a more general evaluation of the task of object detection in this type of video, because numerous applications, such as marketing studies, also need detecting objects which are not in focus by the user. This work presents a thorough study of the well known YOLO architecture, that offers an excellent trade off between accuracy and speed, for the particular case of object detection in wearable video. We focus our study on the public ADL Dataset, but we also use additional public data for complementary evaluations. We run an exhaustive set of experiments with different variations of the original architecture and its training strategy. Our experiments drive to several conclusions about the most promising directions for our goal and point us to further research steps to improve detection in wearable videos.


Simulating Crowds and Autonomous Vehicles. Understanding how people view and interact with autonomous vehicles is important to guide future directions of research. One such way of aiding understanding is through simulations of virtual environments involving people and autonomous vehicles. We present a simulation model that incorporates people and autonomous vehicles in a shared urban space. The model is able to simulate many thousands of people and vehicles in real time. This is achieved by use of GPU hardware, and through a novel linear program solver optimized for large numbers of problems on the GPU. The model is up to 30 times faster than the equivalent multi core CPU model.


Continual Learning in Low rank Orthogonal Subspaces. In continual learning (CL), a learner is faced with a sequence of tasks, arriving one after the other, and the goal is to remember all the tasks once the continual learning experience is finished. The prior art in CL uses episodic memory, parameter regularization or extensible network structures to reduce interference among tasks, but in the end, all the approaches learn different tasks in a joint vector space. We believe this invariably leads to interference among different tasks. We propose to learn tasks in different (low rank) vector subspaces that are kept orthogonal to each other in order to minimize interference. Further, to keep the gradients of different tasks coming from these subspaces orthogonal to each other, we learn isometric mappings by posing network training as an optimization problem over the Stiefel manifold. To the best of our understanding, we report, for the first time, strong results over experience replay baseline with and without memory on standard classification benchmarks in continual learning. The code is made publicly available.


Graus Din amicos e Cohomol 'ogicos em Variedades Abelianas. We prove that for an endomorphism f of an abelian manifold defined over an algebraically closed field of arbitrary characteristic, chi 2q (f) lambda q (f) . Note that this paper is based on recent results due to Fei Hu cite Hu19 , cite Hu cndd , cite Hu Tits e Truong cite Truong1611 .


Power variations for fractional type infinitely divisible random fields. This paper presents new limit theorems for power variation of fractional type symmetric infinitely divisible random fields. More specifically, the random field X (X( boldsymbol t )) boldsymbol t in 0,1 d is defined as an integral of a kernel function g with respect to a symmetric infinitely divisible random measure L and is observed on a grid with mesh size n 1 . As n to infty , the first order limits are obtained for power variation statistics constructed from rectangular increments of X . The present work is mostly related to Basse O'Connor, Lachi eze Rey, Podolskij (2017), Basse O'Connor, Heinrich, Podolskij (2019), who studied a similar problem in the case d 1 . We will see, however, that the asymptotic theory in the random field setting is much richer compared to Basse O'Connor, Lachi eze Rey, Podolskij (2017), Basse O'Connor, Heinrich, Podolskij (2019) as it contains new limits, which depend on the precise structure of the kernel g . We will give some important examples including the L 'evy moving average field, the well balanced symmetric linear fractional beta stable sheet, and the moving average fractional beta stable field, and discuss potential consequences for statistical inference.


Inside the Echo Chamber Disentangling network dynamics from polarization. Echo chambers are defined by the simultaneous presence of opinion polarization with respect to a controversial topic and homophily, i.e. the preference of individuals to interact with like minded peers. While recent efforts have been devoted to detecting the presence of echo chambers in polarized debates on online social media, the dynamics leading to the emergence of these phenomena remain unclear. Here, we contribute to this endeavor by proposing novel metrics to single out the effect of the network dynamics from the opinion polarization. By using a Twitter data set collected during a controversial political debate in Brazil in 2016, we employ a temporal network approach to gauge the strength of the echo chamber effect over time. We define a measure of opinion coherence in the network showing how the echo chamber becomes weaker across the observed period. The analysis of the hashtags diffusion in the network shows that this is due to the increase of social interactions between users with opposite opinions. Finally, the analysis of the mutual entropy between the opinions expressed and received by the users permits to quantify the social contagion effect. We find empirical evidence that the polarization of the users and the dynamics of their interactions may evolve independently. Our findings may be of interest to the broad array of researchers studying the dynamics of echo chambers and polarization in online social networks.


Distributed Hypothesis Testing and Social Learning in Finite Time with a Finite Amount of Communication. We consider the problem of distributed hypothesis testing (or social learning) where a network of agents seeks to identify the true state of the world from a finite set of hypotheses, based on a series of stochastic signals that each agent receives. Prior work on this problem has provided distributed algorithms that guarantee asymptotic learning of the true state, with corresponding efforts to improve the rate of learning. In this paper, we first argue that one can readily modify existing asymptotic learning algorithms to enable learning in finite time, effectively yielding arbitrarily large (asymptotic) rates. We then provide a simple algorithm for finite time learning which only requires the agents to exchange a binary vector (of length equal to the number of possible hypotheses) with their neighbors at each time step. Finally, we show that if the agents know the diameter of the network, our algorithm can be further modified to allow all agents to learn the true state and stop transmitting to their neighbors after a finite number of time steps.


A higher order Faber spline basis for sampling discretization of functions. This paper is devoted to the question of constructing a higher order Faber spline basis for the sampling discretization of functions with higher regularity than Lipschitz. The basis constructed in this paper has similar properties as the piecewise linear classical Faber Schauder basis except for the compactness of the support. Although the new basis functions are supported on the real line they are very well localized (exponentially decaying) and the main parts are concentrated on a segment. This construction gives a complete answer to Problem 3.13 in Triebel's monograph (see References 47 ) by extending the classical Faber basis to higher orders. Roughly, the crucial idea to obtain a higher order Faber spline basis is to apply Taylor's remainder formula to the dual Chui Wang wavelets. As a first step we explicitly determine these dual wavelets which may be of independent interest. Using this new basis we provide sampling characterizations for Besov and Triebel Lizorkin spaces and overcome the smoothness restriction coming from the classical piecewise linear Faber Schauder system. This basis is unconditional and coefficient functionals are computed from discrete function values similar as for the Faber Schauder situation.


Consistency, convergence and error estimates for a mixed finite element finite volume scheme to compressible Navier Stokes equations with general inflow outflow boundary data. We study convergence of a mixed finite element finite volume scheme for the compressible Navier Stokes equations in the isentropic regime under the full range of the adiabatic coefficient gamma for the problem with general non zero inflow outflow boundary conditions. We propose a modification of Karper scheme Numer. Math. 125 441 510, 2013 in order to accommodate the non zero boundary data, prove existence of its solutions, establish the stability and uniform estimates, derive a convenient consistency formulation of the balance laws and use it to show the weak convergence of the numerical solutions to a dissipative solution with the Reynold defect introduced in Abbatiello et al. Preprint Arxiv 1912.12896 . If the target system admits a strong solution then the convergence is strong towards the strong solution. Moreover, we establish the convergence rate of the strong convergence in terms of the size of the space discretization h (which is supposed to be comparable with the time step). In the case of non zero inflow outflow boundary data, all results are new. The latter result is new also for the no slip boundary conditions.


An End to end Deep Learning Approach for Landmark Detection and Matching in Medical Images. Anatomical landmark correspondences in medical images can provide additional guidance information for the alignment of two images, which, in turn, is crucial for many medical applications. However, manual landmark annotation is labor intensive. Therefore, we propose an end to end deep learning approach to automatically detect landmark correspondences in pairs of two dimensional (2D) images. Our approach consists of a Siamese neural network, which is trained to identify salient locations in images as landmarks and predict matching probabilities for landmark pairs from two different images. We trained our approach on 2D transverse slices from 168 lower abdominal Computed Tomography (CT) scans. We tested the approach on 22,206 pairs of 2D slices with varying levels of intensity, affine, and elastic transformations. The proposed approach finds an average of 639, 466, and 370 landmark matches per image pair for intensity, affine, and elastic transformations, respectively, with spatial matching errors of at most 1 mm. Further, more than 99 of the landmark pairs are within a spatial matching error of 2 mm, 4 mm, and 8 mm for image pairs with intensity, affine, and elastic transformations, respectively. To investigate the utility of our developed approach in a clinical setting, we also tested our approach on pairs of transverse slices selected from follow up CT scans of three patients. Visual inspection of the results revealed landmark matches in both bony anatomical regions as well as in soft tissues lacking prominent intensity gradients.


Question Directed Graph Attention Network for Numerical Reasoning over Text. Numerical reasoning over texts, such as addition, subtraction, sorting and counting, is a challenging machine reading comprehension task, since it requires both natural language understanding and arithmetic computation. To address this challenge, we propose a heterogeneous graph representation for the context of the passage and question needed for such reasoning, and design a question directed graph attention network to drive multi step numerical reasoning over this context graph.


Robust Re Identification by Multiple Views Knowledge Distillation. To achieve robustness in Re Identification, standard methods leverage tracking information in a Video To Video fashion. However, these solutions face a large drop in performance for single image queries (e.g., Image To Video setting). Recent works address this severe degradation by transferring temporal information from a Video based network to an Image based one. In this work, we devise a training strategy that allows the transfer of a superior knowledge, arising from a set of views depicting the target object. Our proposal Views Knowledge Distillation (VKD) pins this visual variety as a supervision signal within a teacher student framework, where the teacher educates a student who observes fewer views. As a result, the student outperforms not only its teacher but also the current state of the art in Image To Video by a wide margin (6.3 mAP on MARS, 8.6 on Duke Video ReId and 5 on VeRi 776). A thorough analysis on Person, Vehicle and Animal Re ID investigates the properties of VKD from a qualitatively and quantitatively perspective. Code is available at https github.com aimagelab VKD.


On the linear structures of Balanced functions and quadratic APN functions. The set of linear structures of most known balanced Boolean functions is nontrivial. In this paper, some balanced Boolean functions whose set of linear structures is trivial are constructed. We show that any APN function in even dimension must have a component whose set of linear structures is trivial. We determine a general form for the number of bent components in quadratic APN functions in even dimension and some bounds on the number are produced. We also count bent components in any quadratic power functions.


Leveraging Siamese Networks for One Shot Intrusion Detection Model. The use of supervised Machine Learning (ML) to enhance Intrusion Detection Systems has been the subject of significant research. Supervised ML is based upon learning by example, demanding significant volumes of representative instances for effective training and the need to re train the model for every unseen cyber attack class. However, retraining the models in situ renders the network susceptible to attacks owing to the time window required to acquire a sufficient volume of data. Although anomaly detection systems provide a coarse grained defence against unseen attacks, these approaches are significantly less accurate and suffer from high false positive rates. Here, a complementary approach referred to as 'One Shot Learning', whereby a limited number of examples of a new attack class is used to identify a new attack class (out of many) is detailed. The model grants a new cyber attack classification without retraining. A Siamese Network is trained to differentiate between classes based on pairs similarities, rather than features, allowing to identify new and previously unseen attacks. The performance of a pre trained model to classify attack classes based only on one example is evaluated using three datasets. Results confirm the adaptability of the model in classifying unseen attacks and the trade off between performance and the need for distinctive class representation.


A Put Call Transformation of the Exchange Option Problem under Stochastic Volatility and Jump Diffusion Dynamics. We price European and American exchange options where the underlying asset prices are modelled using a Merton (1976) jump diffusion with a common Heston (1993) stochastic volatility process. Pricing is performed under an equivalent martingale measure obtained by setting the second asset yield process as the numeraire asset, as suggested by Bjerskund and Stensland (1993). Such a choice for the numeraire reduces the exchange option pricing problem, a two dimensional problem, to pricing a call option written on the ratio of the yield processes of the two assets, a one dimensional problem. The joint transition density function of the asset yield ratio process and the instantaneous variance process is then determined from the corresponding Kolmogorov backward equation via integral transforms. We then determine integral representations for the European exchange option price and the early exercise premium and state a linked system of integral equations that characterizes the American exchange option price and the associated early exercise boundary. Properties of the early exercise boundary near maturity are also discussed.


On canonical bases of Letzter algebra mathbf U imath ( mathfrak sl 2) . Let mathbf U imath equiv mathbf U imath ( mathfrak sl 2) be Letzter's coideal subalgebra of quantum mathfrak sl 2 corresponding to the symmetric pair ( mathfrak sl 2( mathbb C), mathbb C) . As a subalgebra of quantum mathfrak sl 2 , mathbf U imath is generated by the sum mathbf E v mathbf K mathbf F mathbf K of standard generators, and hence can be identified with the polynomial ring mathbb Q(v) t . In BW13 and LW18 , two distinguished bases, called imath canonical bases, are constructed inside the modified form of mathbf U imath via algebraic and geometric approaches respectively. The modified form of mathbf U imath can be identified with a direct sum of two copies of mathbf U imath cong mathbb Q(v) t itself. An explicit and elegant formula, as a polynomial in t , of algebraic basis elements is conjectured in BW13 and proved in BeW18 . The purpose of this short paper is to show that the geometric basis in LW18 admits the same description and, consequently, that the two bases coincide.


Benchmarking Popular Classification Models' Robustness to Random and Targeted Corruptions. Text classification models, especially neural networks based models, have reached very high accuracy on many popular benchmark datasets. Yet, such models when deployed in real world applications, tend to perform badly. The primary reason is that these models are not tested against sufficient real world natural data. Based on the application users, the vocabulary and the style of the model's input may greatly vary. This emphasizes the need for a model agnostic test dataset, which consists of various corruptions that are natural to appear in the wild. Models trained and tested on such benchmark datasets, will be more robust against real world data. However, such data sets are not easily available. In this work, we address this problem, by extending the benchmark datasets along naturally occurring corruptions such as Spelling Errors, Text Noise and Synonyms and making them publicly available. Through extensive experiments, we compare random and targeted corruption strategies using Local Interpretable Model Agnostic Explanations(LIME). We report the vulnerabilities in two popular text classification models along these corruptions and also find that targeted corruptions can expose vulnerabilities of a model better than random choices in most cases.


DeepSurf A surface based deep learning approach for the prediction of ligand binding sites on proteins. The knowledge of potentially druggable binding sites on proteins is an important preliminary step towards the discovery of novel drugs. The computational prediction of such areas can be boosted by following the recent major advances in the deep learning field and by exploiting the increasing availability of proper data. In this paper, a novel computational method for the prediction of potential binding sites is proposed, called DeepSurf. DeepSurf combines a surface based representation, where a number of 3D voxelized grids are placed on the protein's surface, with state of the art deep learning architectures. After being trained on the large database of scPDB, DeepSurf demonstrates superior results on three diverse testing datasets, by surpassing all its main deep learning based competitors, while attaining competitive performance to a set of traditional non data driven approaches.


GivEn Shape Optimization for Gas Turbines in Volatile Energy Networks. This paper describes the project GivEn that develops a novel multicriteria optimization process for gas turbine blades and vanes using modern "adjoint" shape optimization algorithms. Given the many start and shut down processes of gas power plants in volatile energy grids, besides optimizing gas turbine geometries for efficiency, the durability understood as minimization of the probability of failure is a design objective of increasing importance. We also describe the underlying coupling structure of the multiphysical simulations and use modern, gradient based multicriteria optimization procedures to enhance the exploration of Pareto optimal solutions.


Distributed Saddle Point Problems Lower Bounds, Near Optimal and Robust Algorithms. This paper focuses on the distributed optimization of stochastic saddle point problems. The first part of the paper is devoted to lower bounds for the cenralized and decentralized distributed methods for smooth (strongly) convex (strongly) concave saddle point problems as well as the near optimal algorithms by which these bounds are achieved. Next, we present a new federated algorithm for cenralized distributed saddle point problems Extra Step Local SGD. Theoretical analysis of the new method is carried out for strongly convex strongly concave and non convex non concave problems. In the experimental part of the paper, we show the effectiveness of our method in practice. In particular, we train GANs in a distributed manner.


Much faster heat mass than momentum transport in rotating Couette flows. Heat and mass transport is generally closely correlated to momentum transport in shear flows. This so called Reynolds analogy between advective heat or mass transport and momentum transport hinders efficiency improvements in engineering heat and mass transfer applications. I show through direct numerical simulations that in plane Couette and Taylor Couette flow rotation can strongly influence wall to wall passive tracer transport and make it much faster than momentum transport, clearly in violation of the Reynolds analogy. This difference between passive tracer transport, representative of heat mass transport, and momentum transport is observed in steady flows with large counter rotating vortices at low Reynolds numbers as well as in fully turbulent flows at higher Reynolds numbers. It is especially large near the neutral (Rayleigh's) stability limit. The rotation induced Coriolis force strongly damps the streamwise azimuthal velocity fluctuations when this limit is approached while tracer fluctuations are much less affected. Accordingly, momentum transport is much more reduced than tracer transport, showing that the Coriolis force breaks the Reynolds analogy. At higher Reynolds numbers this strong advective transport dissimilarity is accompanied by approximate limit cycle dynamics with intense low frequency bursts of turbulence when approaching the neutral stability limit. The study demonstrates that simple body forces can cause clear dissimilarities between heat mass and momentum transport in shear flows.


Analysis of the Blade Element Momentum Theory. The Blade Element Momentum theory (BEM), introduced by H. Glauert in 1926, provides a framework to model the aerodynamic interaction between a turbine and a fluid flow. This theory is either used to estimate turbine efficiency or as a design aid. However, a lack of mathematical interpretation limits the understanding of some of its angles. The aim of this paper is to propose an analysis of BEM equations. Our approach is based on a reformulation of Glauert's model which enables us to identify criteria which ensure the existence of solution(s). In this framework, we also study the convergence of solution algorithms and analyze turbine design procedures. The mathematical analysis is completed and illustrated by numerical experiments.


A SIR model on a refining spatial grid Law of Large Numbers. We study in this paper a compartmental SIR model for a population distributed in a bounded domain D of mathbb R d , d 1, 2, or 3. We describe a spatial model for the spread of a disease on a grid of D. We prove two laws of large numbers. On the one hand, we prove that the stochastic model converges to the corresponding deterministic patch model as the size of the population tends to infinity. On the other hand, by letting both the size of the population tend to infinity and the mesh of the grid go to zero, we obtain a law of large numbers in the supremum norm, where the limit is a diffusion SIR model in D.


NbOx based memristor as artificial synapse emulating short term plasticity. Memristors can mimic the functions of biological synapse, where it can simultaneously store the synaptic weight and modulate the transmitted signal. Here, we report Nb Nb2O5 Pt based memristors with bipolar resistive switching, exhibiting synapse like property of gradual and continuously change of conductance with subsequent voltage signals. Mimicking of basic functions of remembering and forgetting processes of biological brain were demonstrated through short term plasticity, spike rate dependent plasticity, paired pulse facilitation and post titanic potentiation. The device layer interface tuning was shown to affect the device properties shift from digital to analog behaviour. Demonstration of basic synaptic functions in the NbOx based devices makes them suitable for neuromorphic applications.