Adversarial Turing Patterns from Cellular Automata. State of the art deep classifiers are intriguingly vulnerable to universal adversarial perturbations single disturbances of small magnitude that lead to misclassification of most in puts. This phenomena may potentially result in a serious security problem. Despite the extensive research in this area,there is a lack of theoretical understanding of the structure of these perturbations. In image domain, there is a certain visual similarity between patterns, that represent these perturbations, and classical Turing patterns, which appear as a solution of non linear partial differential equations and are underlying concept of many processes in nature. In this paper,we provide a theoretical bridge between these two different theories, by mapping a simplified algorithm for crafting universal perturbations to (inhomogeneous) cellular automata,the latter is known to generate Turing patterns. Furthermore,we propose to use Turing patterns, generated by cellular automata, as universal perturbations, and experimentally show that they significantly degrade the performance of deep learning models. We found this method to be a fast and efficient way to create a data agnostic quasi imperceptible perturbation in the black box scenario. The source code is available at https github.com NurislamT advTuring.


Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution. Misconfiguration is a major cause of system failures. Prior solutions focus on detecting invalid settings that are introduced by user mistakes. But another type of misconfiguration that continues to haunt production services is specious configuration settings that are valid but lead to unexpectedly poor performance in production. Such misconfigurations are subtle, so even careful administrators may fail to foresee them. We propose a tool called Violet to detect such misconfiguration. We realize the crux of specious configuration is that it causes some slow code path to be executed, but the bad performance effect cannot always be triggered. Violet thus takes a novel approach that uses selective symbolic execution to systematically reason about the performance effect of configuration parameters, their combination effect, and the relationship with input. Violet outputs a performance impact model for the automatic detection of poor configuration settings. We applied Violet on four large systems. To evaluate the effectiveness of Violet, we collect 17 real world specious configuration cases. Violet detects 15 of them. Violet also identifies 9 unknown specious configurations.


Coarsening in Algebraic Multigrid using Gaussian Processes. Multigrid methods have proven to be an invaluable tool to efficiently solve large sparse linear systems arising in the discretization of partial differential equations (PDEs). Algebraic multigrid methods and in particular adaptive algebraic multigrid approaches have shown that multigrid efficiency can be obtained without having to resort to properties of the PDE. Yet the required setup of these methods poses a not negligible overhead cost. Methods from machine learning have attracted attention to streamline processes based on statistical models being trained on the available data. Interpreting algebraically smooth error as an instance of a Gaussian process, we develop a new, data driven approach to construct adaptive algebraic multigrid methods. Based on Gaussian a priori distributions, Kriging interpolation minimizes the mean squared error of the a posteriori distribution, given the data on the coarse grid. Going one step further, we exploit the quantification of uncertainty in the Gaussian process model in order to construct efficient variable splittings. Using a semivariogram fit of a suitable covariance model we demonstrate that our approach yields efficient methods using a single algebraically smooth vector.


V.M. Miklyukov from dimension 8 to nonassociative algebras. In this short survey we give a background and explain some recent developments in algebraic minimal cones and nonassociative algebras. A good deal of this paper is recollections of my collaboration with my teacher, PhD supervisor and a colleague, Vladimir Miklyukov on minimal surface theory that motivated the present research. This paper is dedicated to his memory.


Enhancements of the 3GPP LTE Advanced and the Prized Asset Dynamic TDD Transmissions. In this paper, we perform a survey on new Third Generation Partnership Project (3GPP) Long Term Evolution Advanced (LTE Advanced) enhancements,covering the technologies recently adopted by the 3GPP in LTE Release 11 and those being discussed in LTE Release 12. In more details, we introduce the latest enhancements on carrier aggregation (CA), multiple input multiple output (MIMO) and coordinated multi point (CoMP) as well as three dimensional (3D) MIMO. Moreover, considering that network nodes will become very diverse in the future, and thus with heterogeneous network (HetNet) being a key feature of LTE Advanced networks, we also discuss technologies of interest in HetNet scenarios, e.g., enhanced physical data control channel (ePDCCH), further enhanced inter cell interference coordination (FeICIC) and small cells, together with energy efficiency concerns. In particular, we pay special attention to one of the most important enhancements in LTE Release 12, i.e., dynamic time division duplex (TDD) transmissions, and present performance results that shed new light on this topic.


Singular perturbations and asymptotic expansions for SPDEs with an application to term structure models. We study the dependence of mild solutions to linear stochastic evolution equations on Hilbert space driven by Wiener noise, with drift having linear part of the type A varepsilon G , on the parameter varepsilon . In particular, we study the limit and the asymptotic expansions in powers of varepsilon of these solutions, as well as of functionals thereof, as varepsilon to 0 , with good control on the remainder. These convergence and series expansion results are then applied to a parabolic perturbation of the Musiela SPDE of mathematical finance modeling the dynamics of forward rates.


Exact Hochschild extensions and deformed Calabi Yau completions. We introduce the Hochschild extensions of dg algebras, which are A infty algebras. We show that all exact Hochschild extensions are symmetric Hochschild extensions, more precisely, every exact Hochschild extension of a finite dimensional complete typical dg algebra is a symmetric A infty algebra. Moreover, we prove that the Koszul dual of trivial extension is Calabi Yau completion and the Koszul dual of exact Hochschild extension is deformed Calabi Yau completion, more precisely, the Koszul dual of the trivial extension of a finite dimensional complete dg algebra is the Calabi Yau completion of its Koszul dual, and the Koszul dual of an exact Hochschild extension of a finite dimensional complete typical dg algebra is the deformed Calabi Yau completion of its Koszul dual.


Hierarchical Orthogonal Factorization Sparse Square matrices. In this work, we develop a new fast algorithm, spaQR sparsified QR, for solving large, sparse linear systems. The key to our approach is using low rank approximations to sparsify the separators in a Nested Dissection based Householder QR factorization. First, a modified version of Nested Dissection is used to identify interiors separators and reorder the matrix. Then, classical Householder QR is used to factorize the interiors, going from the leaves to the root to the elimination tree. After every level of interior factorization, we sparsify the remaining separators by using low rank approximations. This operation reduces the size of the separators without introducing any fill in in the matrix. However, it introduces a small approximation error which can be controlled by the user. The resulting approximate factorization is stored as a sequence of sparse orthogonal and sparse upper triangular factors. Hence, it can be applied efficiently to solve linear systems. Additionally, we further improve the algorithm by using a block diagonal scaling. Then, we show a systematic analysis of the approximation error and effectiveness of the algorithm in solving linear systems. Finally, we perform numerical tests on benchmark unsymmetric problems to evaluate the performance of the algorithm. The factorization time scales as mathcal O (N log N) and the solve time scales as mathcal O (N) .


Bounds for the multilevel construction. One of the main problems in random network coding is to compute good lower and upper bounds on the achievable cardinality of the so called subspace codes in the projective space mathcal P q(n) for a given minimum distance. The determination of the exact maximum cardinality is a very tough discrete optimization problem involving a huge number of symmetries. Besides some explicit constructions for textit good subspace codes several of the most success full constructions involve the solution of discrete optimization subproblems itself, which mostly have not been not been solved systematically. Here we consider the multilevel a.k.a. Echelon Ferrers construction and given lower and upper bounds for the achievable cardinalities. From a more general point of view, we solve maximum clique problems in weighted graphs, where the weights can be polynomials in the field size q .


Style Intervention How to Achieve Spatial Disentanglement with Style based Generators?. Generative Adversarial Networks (GANs) with style based generators (e.g. StyleGAN) successfully enable semantic control over image synthesis, and recent studies have also revealed that interpretable image translations could be obtained by modifying the latent code. However, in terms of the low level image content, traveling in the latent space would lead to spatially entangled changes' in corresponding images, which is undesirable in many real world applications where local editing is required. To solve this problem, we analyze properties of the 'style space' and explore the possibility of controlling the local translation with pre trained style based generators. Concretely, we propose 'Style Intervention', a lightweight optimization based algorithm which could adapt to arbitrary input images and render natural translation effects under flexible objectives. We verify the performance of the proposed framework in facial attribute editing on high resolution images, where both photo realism and consistency are required. Extensive qualitative results demonstrate the effectiveness of our method, and quantitative measurements also show that the proposed algorithm outperforms state of the art benchmarks in various aspects.


Transceive Phase Corrected Contrast Source Inversion Electrical Properties Tomography. Magnetic resonance imaging (MRI) based electrical properties tomography (EPT) is the quantification of the conductivity and permittivity of different tissues. These electrical properties can be obtained through different reconstruction methods and can be used as a contrast mechanism. The work presented here continues from the two dimensional CSI EPT algorithm which was shown to work with two dimensional Matlab based simulations. The existing CSI EPT algorithm is reformulated to use the transceive phase rather than relying on the transceive phase assumption. This is achieved by implementing a forward problem, computing the receive phase, into the inverse minimization problem, i.e. retrieving the electrical properties. Furthermore, the radio frequency (RF) shield is numerically implemented to model the RF fields inside the MRI more accurately. Afterwards, the algorithm is tested with three dimensional FDTD simulations to investigate if the two dimensional CSI EPT can retrieve the electrical properties for three dimensional RF fields. Finally, an MR experiment with a phantom is performed to show the potential for this method. From the results of the two dimensional Matlab simulations it is seen that CSI EPT can reconstruct the electrical properties using MRI accessible quantities. In the three dimensional simulations it is observed that the electrical properties are underestimated, nonetheless, CSI EPT is more precise than the standard Helmholtz based methods. Finally, the first CSI EPT results using measured data are shown. The results for the reconstruction using measured data were of the same quality as the results from the FDTD simulation.


Dynamics of large scale networks following a merger. We study the dynamic network of relationships among avatars in the massively multiplayer online game Planetside 2. In the spring of 2014, two separate servers of this game were merged, and as a result, two previously distinct networks were combined into one. We observed the evolution of this network in the seven month period following the merger and report our observations. We found that some structures of original networks persist in the combined network for a long time after the merger. As the original avatars are gradually removed, these structures slowly dissolve, but they remain observable for a surprisingly long time. We present a number of visualizations illustrating the post merger dynamics and discuss time evolution of selected quantities characterizing the topology of the network.


Usefulness of Instructor Annotations on Flipped Learning Preparation Video System. Flipped learning is a method that flips in out class activities to make lectures learner centered. In flipped learning, comments from learners on preparation material are useful information for instructors to consider before deciding in class topics. Thus, we arrive at the notion that receiving comments from instructors will be effective for learners watching the video. By including annotations from instructors, we propose to improve the quality of content for learners and thus enhance learners' motivation and study satisfaction. To achieve this, we introduced "Steering Mark," a tool that enables learners to easily grasp the overall structure of a video, to the video learning system. We examined the effectiveness and influence of Steering Mark through an experiment with 34 undergraduate learners. As a result, Steering Mark was found to be useful in improving the quality of video content for learners.


Profiling Resource Utilization of Bioinformatics Workflows. We present a software tool, the Container Profiler, that measures and records the resource usage of any containerized task. Our tool profiles the CPU, memory, disk, and network utilization of a containerized job by collecting Linux operating system metrics at the virtual machine, container, and process levels. The Container Profiler can produce utilization snapshots at multiple time points, allowing for continuous monitoring of the resources consumed by a container workflow. To investigate the utility of the Container Profiler we profiled the resource utilization requirements of a multi stage bioinformatics analytical workflow (RNA sequencing using unique molecular identifiers). We examined the collected profile metrics and confirmed that they were consistent with the expected CPU, disk, network resource utilization patterns for the different stages of the workflow. We also quantified the profiling overhead and found that this was negligible. The Container Profiler is a useful tool that can be used to continuously monitor the resource consumption of long and complex containerized workflows that run locally or on the cloud. This can identify bottlenecks where more resources are needed to improve performance.


Collaborative Pipeline Using Opportunistic Mobile Resources via D2D for Computation Intensive Tasks. This paper proposes a mobile pipeline computing concept in a Device to Device (D2D) communication setup and studies related issues, where D2D is likely based on millimeter wave (mmWave) in the 5G mobile communication. The proposed opportunistic system employs a cluster of pipelined resource limited devices on the move to handle real time on site computation intensive tasks for which current cloud computing technology may not be suitable. The feasibility of such a system can be anticipated as high speed and low latency wireless technologies get mature. We present a system model by defining the architecture, basic functions, processes at both system level and pipeline device level. A pipeline pathfinding algorithm along with a multi task optimization framework is developed. To minimize the search space since the algorithm may need to be run on resource limited mobile devices, an adjacency matrix power based graph trimming technique is proposed and validated using simulation. A preliminary feasibility assessment of our proposed techniques is performed using experiments and computer simulation. As part of the feasibility assessment, the impact of mmWave blockage on the pipeline stability is analyzed and examined for both single pipeline and concurrent multiple pipeline scenarios. Our design and analysis results provide certain insight to guide system design and lay a foundation for further work in this line.


Remarks on K(1) local K theory. We prove two basic structural properties of the algebraic K theory of rings after K(1) localization at an implicit prime p . Our first result (also recently obtained by Land Meier Tamme by different methods) states that L K(1) K(R) is insensitive to inverting p on R we deduce this from recent advances in prismatic cohomology and mathrm TC . Our second result yields a K "unneth formula in K(1) local K theory for adding p power roots of unity to R .


On the Rationality of Multidimentional Recusive Series. In this paper, we identify a class of solutions to multidimensional difference equation with rational generating function.


MoebInv C libraries for manipulations in non Euclidean geometry. The introduced package MoebInv contains two CPP libraries for symbolic, numeric and graphical manipulations in non Euclidean geometry. The first library cycle implements basic geometric operations on cycles, which are the zero sets of certain polynomials of degree two. The second library figure operates on ensembles of cycles interconnected by Moebius invariant relations orthogonality, tangency, etc. Both libraries work in spaces with any dimension and arbitrary signatures of their metrics. Their essential functionality is accessible in interactive modes from Python Jupyter shells and a dedicated Graphical User Interface. The latter does not require any coding skills and can be used in education. The package is tested on (and supplied for) various Linux distributions, Windows 10, Mac OS X and several cloud services.


In domain representation learning for remote sensing. Given the importance of remote sensing, surprisingly little attention has been paid to it by the representation learning community. To address it and to establish baselines and a common evaluation protocol in this domain, we provide simplified access to 5 diverse remote sensing datasets in a standardized form. Specifically, we investigate in domain representation learning to develop generic remote sensing representations and explore which characteristics are important for a dataset to be a good source for remote sensing representation learning. The established baselines achieve state of the art performance on these datasets.


Learning Sparse Filters in Deep Convolutional Neural Networks with a l1 l2 Pseudo Norm. While deep neural networks (DNNs) have proven to be efficient for numerous tasks, they come at a high memory and computation cost, thus making them impractical on resource limited devices. However, these networks are known to contain a large number of parameters. Recent research has shown that their structure can be more compact without compromising their performance. In this paper, we present a sparsity inducing regularization term based on the ratio l1 l2 pseudo norm defined on the filter coefficients. By defining this pseudo norm appropriately for the different filter kernels, and removing irrelevant filters, the number of kernels in each layer can be drastically reduced leading to very compact Deep Convolutional Neural Networks (DCNN) structures. Unlike numerous existing methods, our approach does not require an iterative retraining process and, using this regularization term, directly produces a sparse model during the training process. Furthermore, our approach is also much easier and simpler to implement than existing methods. Experimental results on MNIST and CIFAR 10 show that our approach significantly reduces the number of filters of classical models such as LeNet and VGG while reaching the same or even better accuracy than the baseline models. Moreover, the trade off between the sparsity and the accuracy is compared to other loss regularization terms based on the l1 or l2 norm as well as the SSL, NISP and GAL methods and shows that our approach is outperforming them.


Distribution of Non Wieferich primes in certain algebraic groups under ABC. Under ABC, Silverman showed that there are infinitely many non Wieferich primes with respect to any (non trivial) base a . Recently Srinivas and Subramani proved an analogous result over number fields with trivial class group. In the first part of this article, we extend their result to any arbitrary number fields. Secondly, we give an asymptotic lower bound for the number of non Wieferich prime ideals. Furthermore, we show a lower bound of same order is achievable for non Wieferich prime ideals having norm congruent to 1 pmod k. Lastly, we generalize Silverman's work for elliptic curves over arbitrary number fields following the treatment by K "uhn and M "uller.


Do Cyber Capabilities and Cyber Power Incentivize International Cooperation?. This paper explores a research question about whether defensive and offensive cyber security power and the capabilities to exercise the power influence the incentives of nation states to participate in bilateral and multilateral cooperation (BMC) through formal and informal agreements, alliances, and norms. Drawing from international relations in general and structural realism in particular, three hypotheses are presented for assessing the research question empirically (i) increasing cyber capability lessens the incentives for BMC (ii) actively demonstrating and exerting cyber power decreases the willingness for BMC and (iii) small states prefer BMC for cyber security and politics thereto. According to a cross country dataset of 29 countries, all three hypotheses are rejected. Although presenting a "negative result" with respect to the research question, the accompanying discussion contributes to the state centric cyber security research in international relations and political science.


The smallest grammar problem revisited. In a seminal paper of Charikar et al. on the smallest grammar problem, the authors derive upper and lower bounds on the approximation ratios for several grammar based compressors, but in all cases there is a gap between the lower and upper bound. Here the gaps for mathsf LZ78 and mathsf BISECTION are closed by showing that the approximation ratio of mathsf LZ78 is Theta( (n log n) 2 3 ) , whereas the approximation ratio of mathsf BISECTION is Theta( sqrt n log n ) . In addition, the lower bound for mathsf RePair is improved from Omega( sqrt log n ) to Omega( log n log log n) . Finally, results of Arpe and Reischuk relating grammar based compression for arbitrary alphabets and binary alphabets are improved.


A Simulation Based Dynamic Evaluation Framework for System wide Algorithmic Fairness. We propose the use of Agent Based Models (ABMs) inside a reinforcement learning framework in order to better understand the relationship between automated decision making tools, fairness inspired statistical constraints, and the social phenomena giving rise to discrimination towards sensitive groups. There have been many instances of discrimination occurring due to the applications of algorithmic tools by public and private institutions. Until recently, these practices have mostly gone unchecked. Given the large scale transformation these new technologies elicit, a joint effort of social sciences and machine learning researchers is necessary. Much of the research has been done on determining statistical properties of such algorithms and the data they are trained on. We aim to complement that approach by studying the social dynamics in which these algorithms are implemented. We show how bias can be accumulated and reinforced through automated decision making, and the possibility of finding a fairness inducing policy. We focus on the case of recidivism risk assessment by considering simplified models of arrest. We find that if we limit our attention to what is observed and manipulated by these algorithmic tools, we may determine some blatantly unfair practices as fair, illustrating the advantage of analyzing the otherwise elusive property with a system wide model. We expect the introduction of agent based simulation techniques will strengthen collaboration with social scientists, arriving at a better understanding of the social systems affected by technology and to hopefully lead to concrete policy proposals that can be presented to policymakers for a true systemic transformation.


Slow light mediated by mode topological transitions in hyperbolic waveguides. We show that symmetric planar waveguides made of a film composed of a type II hyperbolic metamaterial, where the optical axis (OA) lays parallel to the waveguide interfaces, result in a series of topological transitions in the dispersion diagram as the film electrical thickness increases. The transitions are mediated by elliptical mode branches, which, as soon as they grow from cutoff, coalesce along the OA with anomalously ordered hyperbolic mode branches, resulting in a saddle point. When the electrical thickness of the film increases further, the merged branch starts a transition to hyperbolic normally ordered modes with propagation direction orthogonal to the OA. In this process, the saddle point is transformed into a branch point where a new branch of Ghost waves appears and slow light is observed for a broad range of thicknesses.


Optical polarimetry based on geometric phase measurements unitary Jones matrices. We demonstrate a polarimetry technique based on geometric phase measurements. The technique can be used to obtain either the polarization state of a light beam or the properties of a polarizing optical system. On the one hand, we apply our method to determine the properties of homogeneous and unitary Jones matrices. On the other hand, we provide the recipe to measure the Stokes parameters of a light beam without requiring intensity projections.


TransNet A deep network for fast detection of common shot transitions. Shot boundary detection (SBD) is an important first step in many video processing applications. This paper presents a simple modular convolutional neural network architecture that achieves state of the art results on the RAI dataset with well above real time inference speed even on a single mediocre GPU. The network employs dilated convolutions and operates just on small resized frames. The training process employed randomly generated transitions using selected shots from the TRECVID IACC.3 dataset. The code and a selected trained network will be available at https github.com soCzech TransNet.


GraVF M Graph Processing System Generation for Multi FPGA Platforms. Due to the irregular nature of connections in most graph datasets, partitioning graph analysis algorithms across multiple computational nodes that do not share a common memory inevitably leads to large amounts of interconnect traffic. Previous research has shown that FPGAs can outcompete software based graph processing in shared memory contexts, but it remains an open question if this advantage can be maintained in distributed systems. In this work, we present GraVF M, a framework designed to ease the implementation of FPGA based graph processing accelerators for multi FPGA platforms with distributed memory. Based on a lightweight description of the algorithm kernel, the framework automatically generates optimized RTL code for the whole multi FPGA design. We exploit an aspect of the programming model to present a familiar message passing paradigm to the user, while under the hood implementing a more efficient architecture that can reduce the necessary inter FPGA network traffic by a factor equal to the average degree of the input graph. A performance model based on a theoretical analysis of the factors influencing performance serves to evaluate the efficiency of our implementation. With a throughput of up to 5.8 GTEPS (billions of traversed edges per second) on a 4 FPGA system, the designs generated by GraVF M compare favorably to state of the art frameworks from the literature and reach 94 of the projected performance limit of the system.


Application of Seq2Seq Models on Code Correction. We apply various seq2seq models on programming language correction tasks on Juliet Test Suite for C C and Java of Software Assurance Reference Datasets(SARD), and achieve 75 (for C C ) and 56 (for Java) repair rates on these tasks. We introduce Pyramid Encoder in these seq2seq models, which largely increases the computational efficiency and memory efficiency, while remain similar repair rate to their non pyramid counterparts. We successfully carry out error type classification task on ITC benchmark examples (with only 685 code instances) using transfer learning with models pre trained on Juliet Test Suite, pointing out a novel way of processing small programing language datasets.


Predicates of the 3D Apollonius Diagram. In this thesis we study one of the fundamental predicates required for the construction of the 3D Apollonius diagram (also known as the 3D Additively Weighted Voronoi diagram), namely the EDGECONFLICT predicate given five sites S i, S j,S k,S l,S m that define an edge e ijklm in the 3D Apollonius diagram, and a sixth query site S q , the predicate determines the portion of e ijklm that will disappear in the Apollonius diagram of the six sites due to the insertion of S q . Our focus is on the algorithmic analysis of the predicate with the aim to minimize its algebraic degree. We decompose the main predicate into sub predicates, which are then evaluated with the aid of additional primitive operations. We show that the maximum algebraic degree required to answer any of the sub predicates and primitives, and, thus, our main predicate is 10 in non degenerate configurations when the trisector is of Hausdorff dimension 1. We also prove that all subpredicates developed can be evaluated using 10 or 8 degree demanding operations for degenerate input for these trisector types, depending on whether they require the evaluation of an intermediate INSPHERE predicate or not. Among the tools we use is the 3D inversion transformation and the so called qualitative symbolic perturbation scheme. Most of our analysis is carried out in the inverted space, which is where our geometric observations and analysis is captured in algebraic terms.


Symmetric peaks and symmetric valleys in Dyck paths. The notion of symmetric and asymmetric peaks in Dyck paths was introduced by Fl 'orez and Rodr ' i guez, who counted the total number of such peaks over all Dyck paths of a given length. In this paper we generalize their results by giving multivariate generating functions that keep track of the number of symmetric peaks and the number of asymmetric peaks, as well as the widths of these peaks. We recover a formula of Denise and Simion as a special case of our results. We also consider the analogous but more intricate notion of symmetric valleys. We find a continued fraction expression for the generating function of Dyck paths with respect to the number of symmetric valleys and the sum of their widths, which provides an unexpected connection between symmetric valleys and statistics on ordered rooted trees. Finally, we enumerate Dyck paths whose peak or valley heights satisfy certain monotonicity and unimodality conditions, using a common framework to recover some known results, and relating our questions to the enumeration of certain classes of column convex polyominoes.


Coherent sheaves on the stack of Langlands parameters. We formulate a few conjectures on some hypothetical coherent sheaves on the stacks of arithmetic local Langlands parameters, including their roles played in the local global compatibility in the Langlands program. We survey some known results as evidences of these conjectures.


The Karpelevi v c Region Revisited. We consider the Karpelevi v c region Theta n subset mathbb C consisting of all eigenvalues of all stochastic matrices of order n . We provide an alternative characterisation of Theta n that sharpens the original description given by Karpelevi v c . In particular, for each theta in 0, 2 pi), we identify the point on the boundary of Theta n with argument theta. We further prove that if n in mathbb N with n ge 2, and t in Theta n, then t is a subdominant eigenvalue of some stochastic matrix of order n .


The motivic zeta functions of a matroid. We introduce motivic zeta functions for matroids. These zeta functions are defined as sums over the lattice points of Bergman fans, and in the realizable case, they coincide with the motivic Igusa zeta functions of hyperplane arrangements. We show that these motivic zeta functions satisfy a functional equation arising from matroid Poincar ' e duality in the sense of Adiprasito Huh Katz. In the process, we obtain a formula for the Hilbert series of the cohomology ring of a matroid, in the sense of Feichtner Yuzvinsky. We then show that our motivic zeta functions specialize to the topological zeta functions for matroids introduced by van der Veer, and we compute the first two coefficients in the Taylor expansion of these topological zeta functions, providing affirmative answers to two questions posed by van der Veer.


A COLREGs Compliant Motion Planner for Autonomous Maneuvering of Marine Vessels in Complex Environments. An enabling technology for future sea transports is safe and energy efficient autonomous maritime navigation in narrow environments with other marine vessels present. This requires that the algorithm controlling the ship is able to account for the vessel's dynamics, and obeys the rules specified in the international regulations for preventing collision at sea (COLREGs). To account for these properties, this work proposes a two step optimization based and COLREGs compliant motion planner tailored for large vessels. In the first step, a lattice based motion planner is used to compute a suboptimal trajectory based on a library of precomputed motion primitives. To comply with the rules specified in COLREGs, the lattice based planner is augmented with discrete states that represent what type of COLREGs situations that are active with respect to other nearby vessels. The trajectory computed by the lattice based planner is then used as warm start for the second receding horizon step based on direct optimal control techniques. The aim of the second step is to solve the problem to local optimality with the discrete COLREGs states remained fixed. The applicability of the proposed motion planner is demonstrated in simulations, where it computes energy efficient and COLREGs compliant trajectories. The results also show that the motion planner is able to prevent complex collision situations from occurring.


Fast and Robust Unsupervised Contextual Biasing for Speech Recognition. Automatic speech recognition (ASR) system is becoming a ubiquitous technology. Although its accuracy is closing the gap with that of human level under certain settings, one area that can further improve is to incorporate user specific information or context to bias its prediction. A common framework is to dynamically construct a small language model from the provided contextual mini corpus and interpolate its score with the main language model during the decoding process. Here we propose an alternative approach that does not entail explicit contextual language model. Instead, we derive the bias score for every word in the system vocabulary from the training corpus. The method is unique in that 1) it does not require meta data or class label annotation for the context or the training corpus. 2) The bias score is proportional to the word's log probability, thus not only would it bias the provided context, but also robust against irrelevant context (e.g. user mis specified or in case where it is hard to quantify a tight scope). 3) The bias score for the entire vocabulary is pre determined during the training stage, thereby eliminating computationally expensive language model construction during inference. We show significant improvement in recognition accuracy when the relevant context is available. Additionally, we also demonstrate that the proposed method exhibits high tolerance to false triggering errors in the presence of irrelevant context.


Distributive lattices and Auslander regular algebras. Let L denote a finite lattice with at least two points and let A denote the incidence algebra of L . We prove that L is distributive if and only if A is an Auslander regular ring, which gives a homological characterisation of distributive lattices. In this case, A has an explicit minimal injective coresolution, whose i th term is given by the elements of L covered by precisely i elements. We give a combinatorial formula of the Bass numbers of A . We apply our results to show that the order dimension of a distributive lattice L coincides with the global dimension of the incidence algebra of L . Also we categorify the rowmotion bijection for distributive lattices using higher Auslander Reiten translates of the simple modules.


TVR A Large Scale Dataset for Video Subtitle Moment Retrieval. We introduce TV show Retrieval (TVR), a new multimodal retrieval dataset. TVR requires systems to understand both videos and their associated subtitle (dialogue) texts, making it more realistic. The dataset contains 109K queries collected on 21.8K videos from 6 TV shows of diverse genres, where each query is associated with a tight temporal window. The queries are also labeled with query types that indicate whether each of them is more related to video or subtitle or both, allowing for in depth analysis of the dataset and the methods that built on top of it. Strict qualification and post annotation verification tests are applied to ensure the quality of the collected data. Further, we present several baselines and a novel Cross modal Moment Localization (XML ) network for multimodal moment retrieval tasks. The proposed XML model uses a late fusion design with a novel Convolutional Start End detector (ConvSE), surpassing baselines by a large margin and with better efficiency, providing a strong starting point for future work. We have also collected additional descriptions for each annotated moment in TVR to form a new multimodal captioning dataset with 262K captions, named TV show Caption (TVC). Both datasets are publicly available. TVR https tvr.cs.unc.edu, TVC https tvr.cs.unc.edu tvc.html.


What determines a variety?. We show that, over a field of characteristic 0, a normal, projective variety of dimension at least 4 is uniquely determined by its underlying topological space. The proof builds on previous work of Lieblich and Olsson. Version 2 many small changes and new references.


New Attacks and Defenses for Randomized Caches. The last level cache is vulnerable to timing based side channel attacks because it is shared by the attacker and the victim processes even if they are located on different cores. These timing attacks evict the victim cache lines using small conflict groups(SCG), and monitor the cache to observe when the victim uses these cache lines again. A conflict group is a collection of cache lines which will evict the target cache line. Randomization is often used by defenses to prevent creation of SCGs. We introduce new attacks to demonstrate that the current randomization schemes require an extremely high refresh rate to be secure, on average a 15 performance overhead, and upto 50 in the worst case. Next, we propose a new randomization strategy using an indirection table, which mitigates this issue. Addresses of cache lines are encrypted and used to lookup the indirection table entry. Each indirection table entry stores a mapping to a randomly chosen cache set. The cache line is placed into this randomly chosen set. The encryption key changes upto 50x faster than CEASER's default rate, by using evictions to trigger the re randomization. Instead of moving cache lines, this mechanism re randomizes one iTable entry at a time, whenever the cache lines corresponding to the iTable entry are naturally evicted. Thus, the miss rate is not much worse than the baseline. We quantitatively show that our scheme does almost as well as a fully associative cache to defend against these attacks. We also demonstrate new attacks that target the iTable by oversubscribing its entries, and quantitatively show that our scheme is resilient against new attacks for trillions of years. We estimate low area ( 7 ) and power overhead compared to a baseline inclusive last level cache. Lastly, we evaluate a low performance overhead ( 4 ) using the SPECrate 2017 and PARSEC 3.0 benchmarks.


An Interior Point Proximal Method of Multipliers for Convex Quadratic Programming. In this paper we combine an infeasible Interior Point Method (IPM) with the Proximal Method of Multipliers (PMM). The resulting algorithm (IP PMM) is interpreted as a primal dual regularized IPM, suitable for solving linearly constrained convex quadratic programming problems. We apply few iterations of the interior point method to each sub problem of the proximal method of multipliers. Once a satisfactory solution of the PMM sub problem is found, we update the PMM parameters, form a new IPM neighbourhood and repeat this process. Given this framework, we prove polynomial complexity of the algorithm, under standard assumptions. To our knowledge, this is the first polynomial complexity result for a primal dual regularized IPM. The algorithm is guided by the use of a single penalty parameter that of the logarithmic barrier. In other words, we show that IP PMM inherits the polynomial complexity of IPMs, as well as the strict convexity of the PMM sub problems. The updates of the penalty parameter are controlled by IPM, and hence are well tuned, and do not depend on the problem solved. Furthermore, we study the behavior of the method when it is applied to an infeasible problem, and identify a necessary condition for infeasibility. The latter is used to construct an infeasibility detection mechanism. Subsequently, we provide a robust implementation of the presented algorithm and test it over a set of small to large scale linear and convex quadratic programming problems. The numerical results demonstrate the benefits of using regularization in IPMs as well as the reliability of the method.


The Complex Permeability of Split Ring Resonator Arrays Measured at Microwave Frequencies. We have measured the relative permeability of split ring resonator (SRR) arrays used in metamaterials designed to have mu prime 0 over a narrow range of microwave frequencies. The SRR arrays were loaded into the bore of a loop gap resonator (LGR) and reflection coefficient measurements were used to determine both the real and imaginary parts of the array's effective permeability. Data were collected as a function of array size and SRR spacing. The results were compared to those obtained from continuous extended split ring resonators (ESRRs). The arrays of planar SRRs exhibited enhanced damping and a narrower range of frequencies with mu prime 0 when compared to the ESRRs. The observed differences in damping, however, were diminished considerably when the array size was expanded from a one dimensional array of N SRRs to a 2 times 2 times N array. Our method can also be used to experimentally determine the effective permeability of other metamaterial designs.


On angles, projections and iterations. We investigate connections between the geometry of linear subspaces and the convergence of the alternating projection method for linear projections. The aim of this article is twofold in the first part, we show that even in Euclidean spaces the convergence of the alternating method is not determined by the principal angles between the subspaces involved. In the second part, we investigate the properties of the Oppenheim angle between two linear projections. We discuss, in particular, the question of existence and uniqueness of "consistency projections" in this context.


mathbb Z 2 Godeaux surfaces. We compute explicit equations for all (universal coverings of) Godeaux surfaces with torsion group mathbb Z 2. We show that their moduli space is irreducible and unirational of dimension 8.


A simple individual based population growth model with limited resources. We address a novel approach for stochastic individual based modelling of a single species population. Individuals are distinguished by their remaining lifetimes, which are regulated by the interplay between the inexorable running of time and the individual's nourishment history. A food limited environment induces intraspecific competition and henceforth the carrying capacity of the medium may be finite, often emulating the qualitative features of logistic growth. Inherently non logistic behavior is also obtained by suitable change of the few parameters involved, composing a wide variety of dynamical features. Some analytical results are obtained. Beyond the rich phenomenology observed, we expect that possible modifications of our model may account for an even broader scope of collective population growth phenomena.


A spatial hue similarity measure for assessment of colourisation. Automatic colourisation of grey scale images is an ill posed multi modal problem. Where full reference images exist, objective performance measures rely on pixel difference techniques such as MSE and PSNR. These measures penalise any plausible modes other than the reference ground truth They often fail to adequately penalise implausible modes if they are close in pixel distance to the ground truth As these are pixel difference methods they cannot assess spatial coherency. We use the polar form of the a b channels from the CIEL a b colour space to separate the multi modal problems, which we confine to the hue channel, and the common mode which applies to the chroma channel. We apply SSIM to the chroma channel but reformulate SSIM for the hue channel to a measure we call the Spatial Hue Similarity Measure (SHSM). This reformulation allows spatially coherent hue channels to achieve a high score while penalising spatially incoherent modes. This method allows qualitative and quantitative performance comparison of SOTA colourisation methods and reduces reliance on subjective human visual inspection.


Light transport and vortex supported wave guiding in micro structured optical fibres. In hydrodynamics, vortex generation upon the transition from smooth laminar flows to turbulence is generally accompanied by increased dissipation. However, plane vortices can provide transport barriers and decrease losses, as it happens in numerous geophysical, astrophysical flows and in tokamaks. Photon interactions with matter can affectlight transportin waveguides in unexpected and somewhat counterintuitive ways resembling fluid dynamics. Here, we demonstrate dramatic impact of light vortex formation in micro structured optical fibres on the energy dissipation. We show possibility of vortices formationin both solid core and hollow core fibres on the zero amplitude lines in the cladding. We find that vortices reduce light leakage by three orders of magnitude, effectively improving wave guiding. A strong light localization based on the same principle can also be achieved in the negative curvature hollow core fibres.


Large Time Behaviour and the Second Eigenvalue Problem for Finite State Mean Field Interacting Particle Systems. This article examines large time behaviour of finite state mean field interacting particle systems. Our first main result is a sharp estimate (in the exponential scale) on the time required for convergence of the empirical measure process of the N particle system to its invariant measure we show that when time is of the order of exp N Lambda for a suitable constant Lambda geq 0 , the process has mixed well and it is close to its invariant measure. We then obtain large N asymptotics of the second largest eigenvalue of the generator associated with the empirical measure process when it is reversible with respect to its invariant measure. We show that its absolute value scales as exp N Lambda . The main tools used in establishing our results are the large deviation properties of the empirical measure process from its large N limit. As an application of the study of large time behaviour, we also show convergence of the empirical measure of the system of particles to a global minimum of a certain entropy' function when particles are added over time in a controlled fashion. The controlled addition of particles is analogous to the cooling schedule associated with the search for a global minimum of a function using the simulated annealing algorithm.


Structural Considerations of Ramsey Algebras. Ramsey algebras is an attempt to investigate Ramsey spaces generated by algebras in a purely combinatorial fashion. Previous studies have focused on the basic properties of Ramsey algebras and the study of a few specific examples. In this article, we study the properties of Ramsey algebras from a structural point of view. For instance, we will see that isomorphic algebras have the same Ramsey algebraic properties, but elementarily equivalent algebras need not be so, as expected. Answer to a long standing question about the Cartesian products of Ramsey algebras is also given.


EV Action Electromyography Vision Multi Modal Action Dataset. Multi modal human action analysis is a critical and attractive research topic. However, the majority of the existing datasets only provide visual modalities (i.e., RGB, depth and skeleton). To make up this, we introduce a new, large scale EV Action dataset in this work, which consists of RGB, depth, electromyography (EMG), and two skeleton modalities. Compared with the conventional datasets, EV Action dataset has two major improvements (1) we deploy a motion capturing system to obtain high quality skeleton modality, which provides more comprehensive motion information including skeleton, trajectory, acceleration with higher accuracy, sampling frequency, and more skeleton markers. (2) we introduce an EMG modality which is usually used as an effective indicator in the biomechanics area, also it has yet to be well explored in motion related research. To the best of our knowledge, this is the first action dataset with EMG modality. The details of EV Action dataset are clarified, meanwhile, a simple yet effective framework for EMG based action recognition is proposed. Moreover, state of the art baselines are applied to evaluate the effectiveness of all the modalities. The obtained result clearly shows the validity of EMG modality in human action analysis tasks. We hope this dataset can make significant contributions to human motion analysis, computer vision, machine learning, biomechanics, and other interdisciplinary fields.


On Percolation and Circular Bragg Phenomenon in Metallic, Helicoidally Periodic, Sculptured Thin Films. The concept of local homogenization is invoked in the visible and the sub visible frequency regimes to estimate the permittivity dyadics of a thin film helicoidal bianisotropic mediums (TFHBMs) a canonical class of sculptured thin films with helicoidally periodic microstructure made of a metal. Examination of the components of the permittivity dyadics, as well as of the co and the cross polarized reflectances of axially excited, metallic TFHBM halfspaces, reveals that three different absorbing dielectric to metal transitions will occur as the metallic volumetric fraction is increased, but only two will be optically sensed using normally incident plane waves. The first transition is show to virtually eliminate the circular Bragg phenomenon characteristically displayed by axially excited, dielectric TFHBMs.


Bias in Data driven AI Systems An Introductory Survey. AI based systems are widely employed nowadays to make decisions that have far reaching impacts on individuals and society. Their decisions might affect everyone, everywhere and anytime, entailing concerns about potential human rights issues. Therefore, it is necessary to move beyond traditional AI algorithms optimized for predictive performance and embed ethical and legal principles in their design, training and deployment to ensure social good while still benefiting from the huge potential of the AI technology. The goal of this survey is to provide a broad multi disciplinary overview of the area of bias in AI systems, focusing on technical challenges and solutions as well as to suggest new research directions towards approaches well grounded in a legal frame. In this survey, we focus on data driven AI, as a large part of AI is powered nowadays by (big) data and powerful Machine Learning (ML) algorithms. If otherwise not specified, we use the general term bias to describe problems related to the gathering or processing of data that might result in prejudiced decisions on the bases of demographic features like race, sex, etc.


Enabling Mobility in LTE Compatible Mobile edge Computing with Programmable Switches. Network softwarization triggered a new wave of innovation in modern network design. The next generation of mobile networks embraces this trend. Mobile edge computing (MEC) is a key part of emerging mobile networks that enables ultra low latency mission critical application such as vehicle to vehicle communication. MEC aims at bringing delay sensitive applications closer to the radio access network to enable ultra low latency for users and decrease the back haul pressure on mobile service providers. However, there are no practical solutions to enable mobility at MEC where connections are no longer anchored to the core network and serving applications are supposed to move as their users move. We propose the mobile edge gateway (MEGW) to address this gap. MEGW enables mobility for MEC applications transparently and without requiring any modifications to existing protocols and applications. MEGW supports mobility by reconstructing mobile users' location via listening to LTE control plane in addition to using two stage location dependent traffic steering for edge connections. Networks can incrementally upgrade to support MEC by upgrading some IP router to programmable switches that run MEGW. We have implemented MEGW using P4 language and verified its compatibility with existing LTE networks in a testbed running reference LTE protocol stack. Furthermore, using packet level simulations we show that the two stage traffic steering algorithm reduces the number of application migrations and simplifies service provisioning.


On the symmetric and exterior powers of Young permutation modules. Let n be a positive integer and lambda be a partition of n . Let M lambda be the Young permutation module labelled by lambda . In this paper, we study symmetric and exterior powers of M lambda in positive characteristic case. We determine the symmetric and exterior powers of M lambda that are projective. All the indecomposable exterior powers of M lambda are also classified. We then prove some results for indecomposable direct summands that have the largest complexity in direct sum decompositions of some symmetric and exterior powers of M lambda . We end by parameterizing all the Scott modules that are isomorphic to direct summands of the symmetric or exterior square of M lambda and determining their corresponding multiplicities explicitly.


Iterative Variable Reordering Taming Huge System Families. For the verification of systems using model checking techniques, symbolic representations based on binary decision diagrams (BDDs) often help to tackle the well known state space explosion problem. Symbolic BDD based representations have been also shown to be successful for the analysis of families of systems that arise, e.g., through configurable parameters or following the feature oriented modeling approach. The state space of such system families face an additional exponential blowup in the number of parameters or features. It is well known that the order of variables in ordered BDDs is crucial for the size of the model representation. Especially for automatically generated models from real world systems, family models might even be not constructible due to bad variable orders. In this paper we describe a technique, called iterative variable reordering, that can enable the construction of large scale family models. We exemplify feasibility of our approach by means of an aircraft velocity control system with redundancy mechanisms modeled in the input language of the probabilistic model checker PRISM. We show that standard reordering and dynamic reordering techniques fail to construct the family model due to memory and time constraints, respectively, while the new iterative approach succeeds to generate a symbolic family model.


A Bruhat Atlas on the Wonderful Compactification of PSO(2n) SO(2n 1). A stratified manifold has a Bruhat atlas on it if it can be covered with open charts such that each chart is stratified isomorphic to an (opposite) Bruhat cell in a (usually Kac Moody) flag manifold. In this paper, we construct an anticanonical stratification on the wonderful compactification of the symmetric space PSO(2n) SO(2n 1) and show that the open charts are isomorphic to certain (opposite) Bruhat cells in the type D n 1 flag manifold.


Augmentation Interpolative AutoEncoders for Unsupervised Few Shot Image Generation. We aim to build image generation models that generalize to new domains from few examples. To this end, we first investigate the generalization properties of classic image generators, and discover that autoencoders generalize extremely well to new domains, even when trained on highly constrained data. We leverage this insight to produce a robust, unsupervised few shot image generation algorithm, and introduce a novel training procedure based on recovering an image from data augmentations. Our Augmentation Interpolative AutoEncoders synthesize realistic images of novel objects from only a few reference images, and outperform both prior interpolative models and supervised few shot image generators. Our procedure is simple and lightweight, generalizes broadly, and requires no category labels or other supervision during training.


On L(2,1) labelings of some products of oriented cycles. We refine two results of Jiang, Shao and Vesel on the L(2,1) labeling number lambda of the Cartesian and the strong product of two oriented cycles. For the Cartesian product, we compute the exact value of lambda( overrightarrow C m square overrightarrow C n ) for m , n geq 40 in the case of strong product, we either compute the exact value or establish a gap of size one for lambda( overrightarrow C m boxtimes overrightarrow C n ) for m , n geq 48 .


What Can We Estimate from Fatality and Infectious Case Data using the Susceptible Infected Removed (SIR) model? A case Study of Covid 19 Pandemic. The rapidly spreading Covid 19 that affected almost all countries, was first reported at the end of 2019. As a consequence of its highly infectious nature, countries all over the world have imposed extremely strict measures to control its spread. Since the earliest stages of this major pandemic, academics have done a huge amount of research in order to understand the disease, develop medication, vaccines and tests, and model its spread. Among these studies, a great deal of effort has been invested in the estimation of epidemic parameters in the early stage, for the countries affected by Covid 19, hence to predict the course of the epidemic but the variability of the controls over the course of the epidemic complicated the modeling processes. In this article, the determination of the basic reproduction number, the mean duration of the infectious period, the estimation of the timing of the peak of the epidemic wave is discussed using early phase data. Daily case reports and daily fatalities for ten countries over the period January 22, 2020 April 18, 2020 are evaluated using the Susceptible Infected Removed (SIR) model. For each country, the SIR models fitting cumulative infective case data within 5 error are analysed. It is observed that the basic reproduction number and the mean duration of the infectious period can be estimated only in cases where the spread of the epidemic is over (for China and South Korea in the present case). Nevertheless, it is shown that the timing of the maximum and timings of the inflection points of the proportion of infected individuals can be robustly estimated from the normalized data. The validation of the estimates by comparing the predictions with actual data has shown that the predictions were realised for all countries except USA, as long as lock down measures were retained.


Study of Spatial Resolution of Muon Hodoscopes for Muography Applications in Geophysics. Muon radiography, also known as muography, is a non destructive geophysical technique for the study of the internal structure of large objects such as volcanoes. This is possible by constructing an image based on the differential absorption of the directional flux of high energy atmospheric muons produced during the interaction of cosmic rays with the atmosphere. So this no other source of radiation is required for this technique. Many muon telescopes are being built with crossed scintillator bars and so, the resolution of each panel is essentially given by the total surface of the bar crossings. Enhancing the resolution may require covering the same area with smaller scintillator bars, which adds costs and build complexity as more scintillators and fibers are required. More channels also require more acquisition electronics which have to be synchronized, increasing the complexity of the system, with associated operating issues and the final cost. In this work, we propose a novel analysis approach to obtain a reliable sub pixel resolution, by measuring and comparing the average signals measured at each end of the scintillation bar. This analysis approach achieves sub pixel resolutions, augmenting the spatial resolutions of existing designs. To study the feasibility of this technique we designed a laboratory setup, to emulate muon light pulses with a pulsed laser light located at different points on optical wavelength shifter fiber. By doing this we measured an increase in the spatial resolution when compared with traditional systems. These results enable the design of new prototypes for the muography of natural and artificial structures of strategic interest. We are currently assembling a prototype detector that will use this methodology.


Bridging Imagination and Reality for Model Based Deep Reinforcement Learning. Sample efficiency has been one of the major challenges for deep reinforcement learning. Recently, model based reinforcement learning has been proposed to address this challenge by performing planning on imaginary trajectories with a learned world model. However, world model learning may suffer from overfitting to training trajectories, and thus model based value estimation and policy search will be pone to be sucked in an inferior local policy. In this paper, we propose a novel model based reinforcement learning algorithm, called BrIdging Reality and Dream (BIRD). It maximizes the mutual information between imaginary and real trajectories so that the policy improvement learned from imaginary trajectories can be easily generalized to real trajectories. We demonstrate that our approach improves sample efficiency of model based planning, and achieves state of the art performance on challenging visual control benchmarks.


Keyphrase Extraction from Disaster related Tweets. While keyphrase extraction has received considerable attention in recent years, relatively few studies exist on extracting keyphrases from social media platforms such as Twitter, and even fewer for extracting disaster related keyphrases from such sources. During a disaster, keyphrases can be extremely useful for filtering relevant tweets that can enhance situational awareness. Previously, joint training of two different layers of a stacked Recurrent Neural Network for keyword discovery and keyphrase extraction had been shown to be effective in extracting keyphrases from general Twitter data. We improve the model's performance on both general Twitter data and disaster related Twitter data by incorporating contextual word embeddings, POS tags, phonetics, and phonological features. Moreover, we discuss the shortcomings of the often used F1 measure for evaluating the quality of predicted keyphrases with respect to the ground truth annotations. Instead of the F1 measure, we propose the use of embedding based metrics to better capture the correctness of the predicted keyphrases. In addition, we also present a novel extension of an embedding based metric. The extension allows one to better control the penalty for the difference in the number of ground truth and predicted keyphrases


AI Playground Unreal Engine based Data Ablation Tool for Deep Learning. Machine learning requires data, but acquiring and labeling real world data is challenging, expensive, and time consuming. More importantly, it is nearly impossible to alter real data post acquisition (e.g., change the illumination of a room), making it very difficult to measure how specific properties of the data affect performance. In this paper, we present AI Playground (AIP), an open source, Unreal Engine based tool for generating and labeling virtual image data. With AIP, it is trivial to capture the same image under different conditions (e.g., fidelity, lighting, etc.) and with different ground truths (e.g., depth or surface normal values). AIP is easily extendable and can be used with or without code. To validate our proposed tool, we generated eight datasets of otherwise identical but varying lighting and fidelity conditions. We then trained deep neural networks to predict (1) depth values, (2) surface normals, or (3) object labels and assessed each network's intra and cross dataset performance. Among other insights, we verified that sensitivity to different settings is problem dependent. We confirmed the findings of other studies that segmentation models are very sensitive to fidelity, but we also found that they are just as sensitive to lighting. In contrast, depth and normal estimation models seem to be less sensitive to fidelity or lighting and more sensitive to the structure of the image. Finally, we tested our trained depth estimation networks on two real world datasets and obtained results comparable to training on real data alone, confirming that our virtual environments are realistic enough for real world tasks.


Proximity in Triangulations and Quadrangulations. Let G be a connected graph. If bar sigma (v) denotes the arithmetic mean of the distances from v to all other vertices of G , then the proximity, pi(G) , of G is defined as the smallest value of bar sigma (v) over all vertices v of G . We give upper bounds for the proximity of simple triangulations and quadrangulations of given order and connectivity. We also construct simple triangulations and quadrangulations of given order and connectivity that match the upper bounds asymptotically and are likely optimal.


Multidirectional Associative Optimization of Function Specific Word Representations. We present a neural framework for learning associations between interrelated groups of words such as the ones found in Subject Verb Object (SVO) structures. Our model induces a joint function specific word vector space, where vectors of e.g. plausible SVO compositions lie close together. The model retains information about word group membership even in the joint space, and can thereby effectively be applied to a number of tasks reasoning over the SVO structure. We show the robustness and versatility of the proposed framework by reporting state of the art results on the tasks of estimating selectional preference and event similarity. The results indicate that the combinations of representations learned with our task independent model outperform task specific architectures from prior work, while reducing the number of parameters by up to 95 .


Orthodiagonal anti involutive Kokotsakis polyhedra. We study the properties of Kokotsakis polyhedra of orthodiagonal anti involutive type. Stachel conjectured that a certain resultant connected to a polynomial system describing flexion of a Kokotsakis polyhedron must be reducible. Izmestiev cite izmestiev2016classification showed that a polyhedron of the orthodiagonal anti involutive type is the only possible candidate to disprove Stachel's conjecture. We show that the corresponding resultant is reducible, thereby confirming the conjecture. We do it in two ways by factorization of the corresponding resultant and providing a simple geometric proof. We describe the space of parameters for which such a polyhedron exists and show that this space is non empty. We show that a Kokotsakis polyhedron of orthodiagonal anti involutive type is flexible and give explicit parameterizations in elementary functions and in elliptic functions of its flexion.


Differentiable Disentanglement Filter an Application Agnostic Core Concept Discovery Probe. It has long been speculated that deep neural networks function by discovering a hierarchical set of domain specific core concepts or patterns, which are further combined to recognize even more elaborate concepts for the classification or other machine learning tasks. Meanwhile disentangling the actual core concepts engrained in the word embeddings (like word2vec or BERT) or deep convolutional image recognition neural networks (like PG GAN) is difficult and some success there has been achieved only recently. In this paper we propose a novel neural network nonlinearity named Differentiable Disentanglement Filter (DDF) which can be transparently inserted into any existing neural network layer to automatically disentangle the core concepts used by that layer. The DDF probe is inspired by the obscure properties of the hyper dimensional computing theory. The DDF proof of concept implementation is shown to disentangle concepts within the neural 3D scene representation a task vital for visual grounding of natural language narratives.


On the Usage of Generative Models for Network Anomaly Detection in Multivariate Time Series. Despite the many attempts and approaches for anomaly detection explored over the years, the automatic detection of rare events in data communication networks remains a complex problem. In this paper we introduce Net GAN, a novel approach to network anomaly detection in time series, using recurrent neural networks (RNNs) and generative adversarial networks (GAN). Different from the state of the art, which traditionally focuses on univariate measurements, Net GAN detects anomalies in multivariate time series, exploiting temporal dependencies through RNNs. Net GAN discovers the underlying distribution of the baseline, multivariate data, without making any assumptions on its nature, offering a powerful approach to detect anomalies in complex, difficult to model network monitoring data. We further exploit the concepts behind generative models to conceive Net VAE, a complementary approach to Net GAN for network anomaly detection, based on variational auto encoders (VAE). We evaluate Net GAN and Net VAE in different monitoring scenarios, including anomaly detection in IoT sensor data, and intrusion detection in network measurements. Generative models represent a promising approach for network anomaly detection, especially when considering the complexity and ever growing number of time series to monitor in operational networks.


Can gender inequality be created without inter group discrimination?. Understanding human societies requires knowing how they develop gender hierarchies which are ubiquitous. We test whether a simple agent based dynamic process could create gender inequality. Relying on evidence of gendered status concerns, self construals, and cognitive habits, our model included a gender difference in how responsive male like and female like agents are to others' opinions about the level of esteem for someone. We simulate a population who interact in pairs of randomly selected agents to influence each other about their esteem judgments of self and others. Half the agents are more influenced by their relative status rank during the interaction than the others. Without prejudice, stereotypes, segregation, or categorization, our model produces inter group inequality of self esteem and status that is stable, consensual, and exhibits characteristics of glass ceiling effects. Outcomes are not affected by relative group size. We discuss implications for group orientation to dominance and individuals' motivations to exchange.


Weight Update Skipping Reducing Training Time for Artificial Neural Networks. Artificial Neural Networks (ANNs) are known as state of the art techniques in Machine Learning (ML) and have achieved outstanding results in data intensive applications, such as recognition, classification, and segmentation. These networks mostly use deep layers of convolution or fully connected layers with many filters in each layer, demanding a large amount of data and tunable hyperparameters to achieve competitive accuracy. As a result, storage, communication, and computational costs of training (in particular training time) become limiting factors to scale them up. In this paper, we propose a new training methodology for ANNs that exploits the observation of improvement of accuracy shows temporal variations which allow us to skip updating weights when the variation is minuscule. During such time windows, we keep updating bias which ensures the network still trains and avoids overfitting however, we selectively skip updating weights (and their time consuming computations). Such a training approach virtually achieves the same accuracy with considerably less computational cost, thus lower training time. We propose two methods for updating weights and evaluate them by analyzing four state of the art models, AlexNet, VGG 11, VGG 16, ResNet 18 on CIFAR datasets. On average, our two proposed methods called WUS and WUS LR reduced the training time (compared to the baseline) by 54 , and 50 , respectively on CIFAR 10 and 43 and 35 on CIFAR 100, respectively.


One phase free boundary problems with degeneracy. In this paper, we study local minimizers of a degenerate version of the Alt Caffarelli functional. Specifically, we consider local minimizers of the functional J Q (u, Omega) int Omega nabla u 2 Q(x) 2 chi u 0 dx where Q(x) dist(x, Gamma) gamma for gamma 0 and Gamma a C 1, alpha submanifold of dimension 0 le k le n 1 . We show that the free boundary may be decomposed into a rectifiable set, on which we prove effective estimates, and a degenerate cusp set, about which little can be said in general with the current techniques. Work in the theory of water waves and the Stokes wave serves both as our inspiration and as an application. However, the main thrust of this paper is to inaugurate a study of the geometry of the free boundary for degenerate one phase Bernoulli free boundary problems.


Piles of piles An inter country comparison of nuclear pile development during World War II. Between the time of the discovery of nuclear fission in early 1939 and the end of 1946, approximately 90 nuclear piles were constructed in six countries. These devices ranged from simple graphite columns containing neutron sources but no uranium to others as complex as the water cooled 250 megawatt plutonium production reactors built at Hanford, Washington. This paper summarizes and compares the properties of these piles.


What concerns do Chinese parents have about their children's digital adoption and how to better support them?. Digital devices are widely used by children, and children nowadays are spending more time online than with other media sources, such as watching television or playing offline video games. In the UK, 44 of children aged five to ten have been provided with their own tablets, with this percentage increasing annually, while in the US, ownership of tablets by children in this age group grew fivefold between 2011 and 2013. Our previous research found that UK children and parents need better support in dealing with online privacy risks. Interestingly, very few research was done on Chinese children and parents. In this report, we present findings from our online survey of 593 Chinese parents with children aged 6 10 in February and March 2019. Our study particularly focused on understanding Chinese parents' awareness and management of their children's online privacy risks. The goal of the survey was to examine the current adoption pattern of digital devices by Chinese families with young children, the concerns Chinese parents have about their children's online activities and the current practices they use for safeguarding their children online. Our findings imply that we need to continue presenting specific guidance to parents in order to support their choice of digital content for their young children. Further, we need to look more deeply into the roles schools are taking in children's online activities, how can we support schools and teachers when they are making recommendations to parents and children.


Rational Curves on Moduli Spaces of Vector Bundles. We completely describe the components of expected dimension of the Hilbert Scheme of rational curves of fixed degree k in the moduli space rm SU C (r,L) of semistable vector bundles of rank r and determinant L on a curve C . We show that for every k geq 1 there are rm gcd (r, deg L) unobstructed components. In addition, if k is divisible by r 1(r r 1)(g 1) for 1 le r 1 le r 1 , there is an additional obstructed component of the expected dimension for each such r 1 . We construct families of obstructed components and show that their generic point is not the generic vector bundle of given rank and determinant. Finally, we also obtain an upper bound on the degree of rational connectedness of rm SU C (r,L) which is linear in the dimension.


Hamilton cycles in weighted Erd H o s R 'enyi graphs. Given a symmetric n times n matrix P with 0 le P(u, v) le 1 , we define a random graph G n, P on n by independently including any edge u, v with probability P(u, v) . For k ge 1 let mathcal A k be the property of containing lfloor k 2 rfloor Hamilton cycles, and one perfect matching if k is odd, all edge disjoint. With an eigenvalue condition on P , and conditions on its row sums, G n, P in mathcal A k happens with high probability if and only if G n, P has minimum degree k whp. We also provide a hitting time version. As a special case, the random graph process on pseudorandom (n, d, mu) graphs with mu le d(d n) alpha for some constant alpha 0 has property mathcal A k as soon as it acquires minimum degree k with high probability.


Two Step Modification of Phonon Mean Free Paths for Thermal Conductivity Predictions of Thin Film Based Nanostructures. As one simple metamaterial, nanopatterns are often fabricated across a thin film so that the thermal transport can be manipulated. The etched sidewalls for these nanostructures are usually rough due to surface defects introduced during the nanofabrication, whereas the top and bottom film surfaces are smoother. In existing analytical models, the contrast between these surfaces has not been addressed and all boundaries are assumed to be diffusive for phonon reflection. In this paper, a new two step approach to address this issue is proposed for phonon transport modeling of general thin film based structures. In this approach, the effective in plane phonon mean free paths ( Lambda Film) are first modified from the bulk phonon MFPs to account for the influence of the top bottom film surfaces, with possibly enhanced probability of specular phonon reflection at cryogenic temperatures. This Lambda Film is further modified to include the scattering by etched sidewalls with almost completely diffusive phonon scattering. Such a two step phonon mean free path modification yields almost identical results as frequency dependent phonon Monte Carlo simulations for etched nanowires and representative nanoporous thin films. This simple yet accurate analytical model can be applied to general thin film based nanostructures to combine the phonon size effects along orthogonal directions.


Universal norms and Greenberg conjecture. We investigate the group of universal norms attached to the cyclotomic Z ell tower of a totally real number field in connection with Grenberg's conjecture on Iwasawa invariants of such a field.


Elementary fractal geometry. Networks and carpets involving irrational rotations. Self similar sets with open set condition, the linear objects of fractal geometry, have been considered mainly for crystallographic data. Here we introduce new symmetry classes in the plane, based on rotation by irrational angles. Examples without characteristic directions, with strong connectedness and small complexity were found in a computer assisted search. They are surprising since the rotations are given by rational matrices, and the proof of the open set condition usually requires integer data. We develop a classification of self similar sets by symmetry class and algebraic numbers. Examples are given for various quadratic number fields. .


Facial Expression Recognition with Deep Learning. One of the most universal ways that people communicate is through facial expressions. In this paper, we take a deep dive, implementing multiple deep learning models for facial expression recognition (FER). Our goals are twofold we aim not only to maximize accuracy, but also to apply our results to the real world. By leveraging numerous techniques from recent research, we demonstrate a state of the art 75.8 accuracy on the FER2013 test set, outperforming all existing publications. Additionally, we showcase a mobile web app which runs our FER models on device in real time.


iPaaS in Agriculture 4.0 An Industrial Case. Current automation approaches in the Industry 4.0 have generated increased interest in the utilization of Integration Platforms as a Service (iPaaS) cloud architectures in order to unify and synchronize several systems, applications, and services in order to build smart solutions for automated and adaptive industrial process management. Existing iPaaS solutions present several out of the box connectors and automation engines for easier integration of customers' projects, but show issues regarding overall adaptation outside their scope, brand locking, and occasionally high prices. Moreover, existing platforms fail to respond adequately to the needs of deploying multiple decision models capable of offering automated or semi automated management of processes, thanks to the integration of the large diversity of data and event sources as well as the different physical or logical action entities. With the popularization of open source software and applications such as BPM Engines, Machine Learning libraries, and Integration suites and libraries, it is possible to develop a fully customizable and adaptable, open source iPaaS that can be used both in and outside industrial applications. In this paper, we propose a generic iPaaS architecture implemented on the basis of several open source solutions boasting integration, interoperability, and automated decision making capabilities in the domain of Agriculture 4.0. A proof of concept based on these solutions is presented, as well as a case study on MA "I SADOUR's grain storage process with a comparison with the currently human operated tasks.


Overlapping domains for topology optimization of large area metasurfaces. We introduce an overlapping domain approach to large area metasurface design, in which each simulated domain consists of a unit cell and overlapping regions from the neighboring cells plus PML absorbers. We show that our approach generates greatly improved metalens quality compared to designs produced using a locally periodic approximation, thanks to sim 10 times better accuracy with similar computational cost. We use the new approach with topology optimization to design large area ( 200 lambda ) high NA (0.71) multichrome and broadband achromatic lenses with high focusing efficiency ( sim 50 ), greatly improving upon previously reported works.


Accurate and scalable multi element graph neural network force field and molecular dynamics with direct force architecture. Recently, machine learning (ML) has been used to address the computational cost that has been limiting ab initio molecular dynamics (AIMD). Here, we present GNNFF, a graph neural network framework to directly predict atomic forces from automatically extracted features of the local atomic environment that are translationally invariant, but rotationally covariant to the coordinate of the atoms. We demonstrate that GNNFF not only achieves high performance in terms of force prediction accuracy and computational speed on various materials systems, but also accurately predicts the forces of a large MD system after being trained on forces obtained from a smaller system. Finally, we use our framework to perform an MD simulation of Li7P3S11, a superionic conductor, and show that resulting Li diffusion coefficient is within 14 of that obtained directly from AIMD. The high performance exhibited by GNNFF can be easily generalized to study atomistic level dynamics of other material systems.


Near unity broadband omnidirectional emissivity via femtosecond laser surface processing. It is very challenging to achieve near perfect absorption emission that is both broadband and omnidirectional while utilizing a scalable fabrication process. Femtosecond laser surface processing is an emerging low cost and large scale manufacturing technique used to directly and permanently modify the surface properties of a material. The versatility of this technique to produce tailored surface properties has resulted in a rapidly growing number of applications. Here, we demonstrate near perfect, broadband, omnidirectional emissivity from aluminum surfaces by tuning the laser surface processing parameters including fluence, pulse count, and the ambient gas. Full wave simulations and experimental results prove that the obtained increase in emissivity is mainly a result of two distinct features produced by femtosecond laser surface processing the introduction of microscale surface features and the thick oxide layer. This technique leads to functionalized metallic surfaces that are ideal for emerging applications, such as passive radiative cooling and thermal management of spacecraft.


A Finite Time Technological Singularity Model With Artificial Intelligence Self Improvement. Recent advances in the development of artificial intelligence, technological progress acceleration, long term trends of macroeconomic dynamics increase the relevance of technological singularity hypothesis. In this paper, we build a model of finite time technological singularity assuming that artificial intelligence will replace humans for artificial intelligence engineers after some point in time when it is developed enough. This model implies the following let A be the level of development of artificial intelligence. Then, the moment of technological singularity n is defined as the point in time where artificial intelligence development function approaches infinity. Thus, it happens in finite time. Although infinite level of development of artificial intelligence cannot be reached practically, this approximation is useful for several reasons, firstly because it allows modeling a phase transition or a change of regime. In the model, intelligence growth function appears to be hyperbolic function under relatively broad conditions which we list and compare. Subsequently, we also add a stochastic term (Brownian motion) to the model and investigate the changes in its behavior. The results can be applied for the modeling of dynamics of various processes characterized by multiplicative growth.


A well posedness result for a system of cross diffusion equations. This work's major intention is the investigation of the well posedness of certain cross diffusion equations in the class of bounded functions. More precisely, we show existence, uniqueness and stability of bounded weak solutions under the assumption that the system has a dominant linear diffusion. As an application, we provide a new well posedness theory for a cross diffusion system that originates from a hopping model with size exclusions. Our approach is based on a fixed point argument in a function space that is induced by suitable Carleson type measures.


Challenges in migrating legacy software systems to the cloud an empirical study. Moving existing legacy systems to cloud platforms is a difficult and high cost process that may involve technical and non technical resources and challenges. There is evidence that the lack of understanding and preparedness of cloud computing migration underpin many migration failures in achieving organisations goals. The main goal of this article is to identify the most important challenging activities for moving legacy systems to cloud platforms from a perspective of reengineering process. Through a combination of a bottom up and a top down analysis, a set of common activities is derived from the extant cloud computing literature. These are expressed as a model and are validated using a population of 104 shortlisted and randomly selected domain experts from different industry sectors. We used a Web based survey questionnaire to collect data and analysed them using SPSS Sample T Test. The results of this study highlight the most important and critical challenges that should be addressed by various roles within a legacy to cloud migration endeavour. The study provides an overall understanding of this process including common occurring activities, concerns and recommendations. In addition, the findings of this study constitute a practical guide to conduct this transition. This guide is platform agnostic and independent from any specific migration scenario, cloud platform, or an application domain. Keywords. Cloud Computing, Legacy Systems, Cloud Migration, Cloud Migration Process


QUANOS Adversarial Noise Sensitivity Driven Hybrid Quantization of Neural Networks. Deep Neural Networks (DNNs) have been shown to be vulnerable to adversarial attacks, wherein, a model gets fooled by applying slight perturbations on the input. With the advent of Internet of Things and the necessity to enable intelligence in embedded devices, low power and secure hardware implementation of DNNs is vital. In this paper, we investigate the use of quantization to potentially resist adversarial attacks. Several recent studies have reported remarkable results in reducing the energy requirement of a DNN through quantization. However, no prior work has considered the relationship between adversarial sensitivity of a DNN and its effect on quantization. We propose QUANOS a framework that performs layer specific hybrid quantization based on Adversarial Noise Sensitivity (ANS). We identify a novel noise stability metric (ANS) for DNNs, i.e., the sensitivity of each layer's computation to adversarial noise. ANS allows for a principled way of determining optimal bit width per layer that incurs adversarial robustness as well as energy efficiency with minimal loss in accuracy. Essentially, QUANOS assigns layer significance based on its contribution to adversarial perturbation and accordingly scales the precision of the layers. A key advantage of QUANOS is that it does not rely on a pre trained model and can be applied in the initial stages of training. We evaluate the benefits of QUANOS on precision scalable Multiply and Accumulate (MAC) hardware architectures with data gating and subword parallelism capabilities. Our experiments on CIFAR10, CIFAR100 datasets show that QUANOS outperforms homogenously quantized 8 bit precision baseline in terms of adversarial robustness (3 4 higher) while yielding improved compression ( 5x) and energy savings ( 2x) at iso accuracy.


Rethinking Recurrent Neural Networks and Other Improvements for Image Classification. Over the long history of machine learning, which dates back several decades, recurrent neural networks (RNNs) have been used mainly for sequential data and time series and generally with 1D information. Even in some rare studies on 2D images, these networks are used merely to learn and generate data sequentially rather than for image recognition tasks. In this study, we propose integrating an RNN as an additional layer when designing image recognition models. We also develop end to end multimodel ensembles that produce expert predictions using several models. In addition, we extend the training strategy so that our model performs comparably to leading models and can even match the state of the art models on several challenging datasets (e.g., SVHN (0.99), Cifar 100 (0.9027) and Cifar 10 (0.9852)). Moreover, our model sets a new record on the Surrey dataset (0.949). The source code of the methods provided in this article is available at https github.com leonlha e2e 3m and http nguyenhuuphong.me.


Non finitely axiomatisable modal product logics with infinite canonical axiomatisations. Our concern is the axiomatisation problem for modal and algebraic logics that correspond to various fragments of two variable first order logic with counting quantifiers. In particular, we consider modal products with Diff, the propositional unimodal logic of the difference operator. We show that the two dimensional product logic Diff x Diff is non finitely axiomatisable, but can be axiomatised by infinitely many Sahlqvist axioms. We also show that its square' version (the modal counterpart of the substitution and equality free fragment of two variable first order logic with counting to two) is non finitely axiomatisable over Diff x Diff, but can be axiomatised by adding infinitely many Sahlqvist axioms. These are the first examples of products of finitely axiomatisable modal logics that are not finitely axiomatisable, but axiomatisable by explicit infinite sets of canonical axioms.


Active Tuning. We introduce Active Tuning, a novel paradigm for optimizing the internal dynamics of recurrent neural networks (RNNs) on the fly. In contrast to the conventional sequence to sequence mapping scheme, Active Tuning decouples the RNN's recurrent neural activities from the input stream, using the unfolding temporal gradient signal to tune the internal dynamics into the data stream. As a consequence, the model output depends only on its internal hidden dynamics and the closed loop feedback of its own predictions its hidden state is continuously adapted by means of the temporal gradient resulting from backpropagating the discrepancy between the signal observations and the model outputs through time. In this way, Active Tuning infers the signal actively but indirectly based on the originally learned temporal patterns, fitting the most plausible hidden state sequence into the observations. We demonstrate the effectiveness of Active Tuning on several time series prediction benchmarks, including multiple super imposed sine waves, a chaotic double pendulum, and spatiotemporal wave dynamics. Active Tuning consistently improves the robustness, accuracy, and generalization abilities of all evaluated models. Moreover, networks trained for signal prediction and denoising can be successfully applied to a much larger range of noise conditions with the help of Active Tuning. Thus, given a capable time series predictor, Active Tuning enhances its online signal filtering, denoising, and reconstruction abilities without the need for additional training.


Moment constrained optimal dividends precommitment consistent planning. A moment constraint that limits the number of dividends in the optimal dividend problem is suggested. This leads to a new type of time inconsistent stochastic impulse control problem. First, the optimal solution in the precommitment sense is derived. Second, the problem is formulated as an intrapersonal sequential dynamic game in line with Strotz' consistent planning. In particular, the notions of pure dividend strategies and a (strong) subgame perfect Nash equilibrium are adapted. An equilibrium is derived using a smooth fit condition. The equilibrium is shown to be strong. The uncontrolled state process is a fairly general diffusion.


Brown Halmos characterization of multi Toeplitz operators associated with noncommutative poly hyperballs. We obtain a noncommutative multivariable analogue of Louhichi and Olofsson characterization of Toeplitz operators with harmonic symbols on the weighted Bergman space A m( bf D ) , as well as Eschmeier and Langendorfer extension to the unit ball of bf C n . All our results are proved in the more general setting of noncommutative poly hyperballs bf D n m (H) , bf n,m in bf N k , and are used to characterize the bounded free k pluriharmonic functions with operator coefficients on poly hyperballs and to solve the associated Dirichlet extension problem. In particular, the results hold for the reproducing kernel Hilbert space with kernel kappa bf m (z,w) prod i 1 k frac 1 (1 bar z i w i) m i , qquad z,w in bf D k, where m i geq 1 . This includes the Hardy space, the Bergman space, and the weighted Bergman space over the polydisk.


Multi agent interaction in the problem of territorial distribution of production points and temporary storage facilities the model's construction and analysis. This article discusses the algorithms for finding the optimal solution of problems related to the location of temporary storage of goods, warehouses, factories for processing raw materials and shops selling the final product in the transport network. An algorithm is also proposed for finding a compromise solution to the problem of maximizing profits for each agent.