Local limits of bipartite maps with prescribed face degrees in high genus. We study the local limits of uniform high genus bipartite maps with prescribed face degrees. We prove the convergence towards a family of infinite maps of the plane, the q IBPMs, which exhibit both a spatial Markov property and a hyperbolic behaviour. Therefore, we observe a similar local behaviour for a wide class of models of random high genus maps, which can be seen as a result of universality. Our results cover all the regimes where the expected degree of the root face remains finite in the limit. This follows a work by the same authors on high genus triangulations arXiv 1902.00492.


Ultrahigh Q AlGaAs on insulator microresonators for integrated nonlinear photonics. Aluminum gallium arsenide (AlGaAs) and related III V semiconductors have excellent optoelectronic properties. They also possess strong material nonlinearity as well as high refractive indices. In view of these properties, AlGaAs is a promising candidate for integrated photonics, including both linear and nonlinear devices, passive and active devices, and associated applications. For integrated photonics low propagation loss is essential, particularly in nonlinear applications. However, achieving low loss and high confinement AlGaAs photonic integrated circuits poses a challenge. Here we show an effective reduction of surface roughness induced scattering loss in fully etched high confinement AlGaAs on insulator nanowaveguides, by using a heterogeneous wafer bonding approach and optimizing fabrication techniques. We demonstrate ultrahigh quality AlGaAs microring resonators and realize quality factors up to 3.52E6 and finesses as high as 1.4E4. We also show ultra efficient frequency comb generations in those resonators and achieve record low threshold powers on the order of 20 uW and 120 uW for the resonators with 1 THz and 90 GHz free spectral ranges, respectively. Our result paves the way for the implementation of AlGaAs as a novel integrated material platform specifically for nonlinear photonics, and opens a new window for chip based efficiency demanding practical applications.


Energy Consumption of Group Search on a Line. Consider two robots that start at the origin of the infinite line in search of an exit at an unknown location on the line. The robots can only communicate if they arrive at the same location at exactly the same time, i.e. they use the so called face to face communication model. The group search time is defined as the worst case time as a function of d , the distance of the exit from the origin, when both robots can reach the exit. It has long been known that for a single robot traveling at unit speed, the search time is at least 9d o(d) . It was shown recently that k geq2 robots traveling at unit speed also require at least 9d group search time. We investigate energy time trade offs in group search by two robots, where the energy loss experienced by a robot traveling a distance x at constant speed s is given by s 2 x . Specifically, we consider the problem of minimizing the total energy used by the robots, under the constraints that the search time is at most a multiple c of the distance d and the speed of the robots is bounded by b . Motivation for this study is that for the case when robots must complete the search in 9d time with maximum speed one, a single robot requires at least 9d energy, while for two robots, all previously proposed algorithms consume at least 28d 3 energy. When the robots have bounded memory, we generalize existing algorithms to obtain a family of optimal (and in some cases nearly optimal) algorithms parametrized by pairs of b,c values that can solve the problem for the entire spectrum of these pairs for which the problem is solvable. We also propose a novel search algorithm, with unbounded memory, that simultaneously achieves search time 9d and consumes energy 8.42588d . Our result shows that two robots can search on the line in optimal time 9d while consuming less total energy than a single robot within the same search time.


Two families of graphs that are Cayley on nonisomorphic groups. A number of authors have studied the question of when a graph can be represented as a Cayley graph on more than one nonisomorphic group. The work to date has focussed on a few special situations when the groups are p groups when the groups have order pq when the Cayley graphs are normal or when the groups are both abelian. In this paper, we construct two infinite families of graphs, each of which is Cayley on an abelian group and a nonabelian group. These families include the smallest examples of such graphs that had not appeared in other results.


Introduction to gauge theory. This is lecture notes for a course given at the PCMI Summer School "Quantum Field Theory and Manifold Invariants" (July 1 July 5, 2019). I describe basics of gauge theoretic approach to construction of invariants of manifolds. The main example considered here is the Seiberg Witten gauge theory. However, I tried to present the material in a form, which is suitable for other gauge theoretic invariants too.


Improving Sequence Tagging for Vietnamese Text Using Transformer based Neural Models. This paper describes our study on using mutilingual BERT embeddings and some new neural models for improving sequence tagging tasks for the Vietnamese language. We propose new model architectures and evaluate them extensively on two named entity recognition datasets of VLSP 2016 and VLSP 2018, and on two part of speech tagging datasets of VLSP 2010 and VLSP 2013. Our proposed models outperform existing methods and achieve new state of the art results. In particular, we have pushed the accuracy of part of speech tagging to 95.40 on the VLSP 2010 corpus, to 96.77 on the VLSP 2013 corpus and the F1 score of named entity recognition to 94.07 on the VLSP 2016 corpus, to 90.31 on the VLSP 2018 corpus. Our code and pre trained models viBERT and vELECTRA are released as open source to facilitate adoption and further research.


Boosting Parallel Influence Maximization Kernels for Undirected Networks with Fusing and Vectorization. Influence maximization (IM) is the problem of finding a seed vertex set which is expected to incur the maximum influence spread on a graph. It has various applications in practice such as devising an effective and efficient approach to disseminate information, news or ad within a social network. The problem is shown to be NP hard and approximation algorithms with provable quality guarantees exist in the literature. However, these algorithms are computationally expensive even for medium scaled graphs. Furthermore, graph algorithms usually suffer from spatial and temporal irregularities during memory accesses, and this adds an extra cost on top of the already expensive IM kernels. In this work, we leverage fused sampling, memoization, and vectorization to restructure, parallelize and boost their performance on undirected networks. The proposed approach employs a pseudo random function and performs multiple Monte Carlo simulations in parallel to exploit the SIMD lanes effectively and efficiently. Besides, it significantly reduces the number of edge traversals, hence the amount of data brought from the memory, which is critical for almost all memory bound graph kernels. We apply the proposed approach to the traditional MixGreedy algorithm and propose Infuser which is more than 3000 times faster than the traditional greedy approaches and can run on large graphs that have been considered as too large in the literature.


Higher integrability for obstacle problem related to the singular porous medium equation. This paper is concerned with the self improving property for obstacle problem related to the singular porous medium equation. We establish a local higher integrability result for the spatial gradient of the m th power of nonnegative weak solutions, under some suitable regularity assumptions on the obstacle function.


Certain Estimates of Normalized Analytic Functions. Let phi be a normalized convex function defined on open unit disk mathbb D . For a unified class of normalized analytic functions which satisfy the second order differential subordination f'(z) alpha z f''(z) prec phi(z) for all z in mathbb D , we investigate the distortion theorem and growth theorem. Further, the bounds on initial logarithmic coefficients, inverse coefficient and the second Hankel determinant involving the inverse coefficients are examined.


A reduction of the spectrum problem for odd sun systems and the prime case. A k cycle with a pendant edge attached to each vertex is called a k sun. The existence problem for k sun decompositions of K v , with k odd, has been solved only when k 3 or 5 . By adapting a method used by Hoffmann, Lindner and Rodger to reduce the spectrum problem for odd cycle systems of the complete graph, we show that if there is a k sun system of K v ( k odd) whenever v lies in the range 2k v 6k and satisfies the obvious necessary conditions, then such a system exists for every admissible v geq 6k .


Motivations, Benefits, and Issues for Adopting Micro Frontends A Multivocal Literature Review. Context Micro Frontends are increasing in popularity, being adopted by several large companies, such as DAZN, Ikea, Starbucks and may others. Micro Frontends enable splitting of monolithic frontends into independent and smaller micro applications. However, many companies are still hesitant to adopt Micro Frontends, due to the lack of knowledge concerning their benefits. Additionally, provided online documentation is often times perplexed and contradictory. Objective The goal of this work is to map the existing knowledge on Micro Frontends, by understanding the motivations of companies when adopting such applications as well as possible benefits and issues. Method We conducted a Multivocal Literature Review, analyzing 43 sources , and classifying motivations, benefits and issues. Results The results show that existing architectural options to build web applications are cumbersome if the application and development team grows, and if multiple teams need to develop the same frontend application. The application of the Micro Frontend, confirmed the expected benefits, and Micro Frontends resulted to provide the same benefits as microservices on the back end side, combining the development team into a fully cross functional development team that can scale processes when needed. However, Micro Frontends also showed some issues, such as the increased payload size of the application, increased code duplication and coupling between teams, and monitoring complexity. Conclusions Micro Frontends allow companies to scale development according to business needs in the same way microservices do with the back end side. In addition, ...


On Bounds and Closed Form Expressions for Capacities of Discrete Memoryless Channels with Invertible Positive Matrices. While capacities of discrete memoryless channels are well studied, it is still not possible to obtain a closed form expression for the capacity of an arbitrary discrete memoryless channel. This paper describes an elementary technique based on Karush Kuhn Tucker (KKT) conditions to obtain (1) a good upper bound of a discrete memoryless channel having an invertible positive channel matrix and (2) a closed form expression for the capacity if the channel matrix satisfies certain conditions related to its singular value and its Gershgorin disk.


A stochastic output feedback MPC scheme for distributed systems. In this paper, we present a novel stochastic output feedback MPC scheme for distributed systems with additive process and measurement noise. The chance constraints are treated with the concept of probabilistic reachable sets, which, under an unimodality assumption on the disturbance distributions are guaranteed to be satisfied in closed loop. By conditioning the initial state of the optimization problem on feasibility, the fundamental property of recursive feasibility is ensured. Closed loop chance constraint satisfaction, recursive feasibility and convergence to an asymptotic average cost bound are proven. The paper closes with a numerical example of three interconnected subsystems, highlighting the chance constraint satisfaction and average cost compared to a centralized setting.


Counting elliptic curves with an isogeny of degree three. We count by height the number of elliptic curves over the rationals that possess an isogeny of degree three.


Weakly Supervised Deep Nuclei Segmentation Using Partial Points Annotation in Histopathology Images. Nuclei segmentation is a fundamental task in histopathology image analysis. Typically, such segmentation tasks require significant effort to manually generate accurate pixel wise annotations for fully supervised training. To alleviate such tedious and manual effort, in this paper we propose a novel weakly supervised segmentation framework based on partial points annotation, i.e., only a small portion of nuclei locations in each image are labeled. The framework consists of two learning stages. In the first stage, we design a semi supervised strategy to learn a detection model from partially labeled nuclei locations. Specifically, an extended Gaussian mask is designed to train an initial model with partially labeled data. Then, selftraining with background propagation is proposed to make use of the unlabeled regions to boost nuclei detection and suppress false positives. In the second stage, a segmentation model is trained from the detected nuclei locations in a weakly supervised fashion. Two types of coarse labels with complementary information are derived from the detected points and are then utilized to train a deep neural network. The fully connected conditional random field loss is utilized in training to further refine the model without introducing extra computational complexity during inference. The proposed method is extensively evaluated on two nuclei segmentation datasets. The experimental results demonstrate that our method can achieve competitive performance compared to the fully supervised counterpart and the state of the art methods while requiring significantly less annotation effort.


Algebras with finite relative dominant dimension and almost n precluster tilting modules. In this paper, we investigate the relative dominant dimension with respect to an injective module and characterize the algebras with finite relative dominant dimension. As an application, we introduce the almost n precluster tilting module and establish a correspondence between almost n precluster tilting modules and almost n minimal Auslander Gorenstein algebras. Moreover, we give a description of the Gorenstein projective modules over almost n minimal Auslander Gorenstein algebras in terms of the corresponding almost n precluster tilting modules.


Derivatives of local times for some Gaussian fields II. Given a (2,d) Gaussian field Z big Z(t,s) X H 1 t tilde X H 2 s, s,t ge 0 big , where X H 1 and tilde X H 2 are independent d dimensional centered Gaussian processes satisfying certain properties, we will give the necessary condition for existence of derivatives of the local time of Z .


When Machine Learning Meets Privacy A Survey and Outlook. The newly emerged machine learning (e.g. deep learning) methods have become a strong driving force to revolutionize a wide range of industries, such as smart healthcare, financial technology, and surveillance systems. Meanwhile, privacy has emerged as a big concern in this machine learning based artificial intelligence era. It is important to note that the problem of privacy preservation in the context of machine learning is quite different from that in traditional data privacy protection, as machine learning can act as both friend and foe. Currently, the work on the preservation of privacy and machine learning (ML) is still in an infancy stage, as most existing solutions only focus on privacy problems during the machine learning process. Therefore, a comprehensive study on the privacy preservation problems and machine learning is required. This paper surveys the state of the art in privacy issues and solutions for machine learning. The survey covers three categories of interactions between privacy and machine learning (i) private machine learning, (ii) machine learning aided privacy protection, and (iii) machine learning based privacy attack and corresponding protection schemes. The current research progress in each category is reviewed and the key challenges are identified. Finally, based on our in depth analysis of the area of privacy and machine learning, we point out future research directions in this field.


Conformational impact on deformation of DNA TATA box. The theoretical study of deformability of special sequence of DNA double helix TATA box is presentated. The paper elaborates on the mechanisms of abnormal deformation of DNA TATA box double helix that cannot be explained using the standard mechanical model of polymer molecules (WLC) and needs more detailed modeling. Analyzing of DNA TATA box deformation it is shown the molucule can undergo significant deformations due to its property of the structural polymorphism, that is, possibility of the double helix fragment to exist in more then one conformations. In addition to elastic components (bending, twisting), the presented model includes the following deformation features possibility of conformation rearrangement of the shapes of the sugar rings, effects of a specific nucleotide sequence and anisotropy, the coupling between components. Presented model allows describe abnormal deformation based on physical special fitures of double helix inner structure.


Ethical Underpinnings in the Design and Management of ICT Projects. With a view towards understanding why undesirable outcomes often arise in ICT projects, we draw attention to three aspects in this essay. First, we present several examples to show that incorporating an ethical framework in the design of an ICT system is not sufficient in itself, and that ethics need to guide the deployment and ongoing management of the projects as well. We present a framework that brings together the objectives, design, and deployment management of ICT projects as being shaped by a common underlying ethical system. Second, we argue that power based equality should be incorporated as a key underlying ethical value in ICT projects, to ensure that the project does not reinforce inequalities in power relationships between the actors directly or indirectly associated with the project. We present a method to model ICT projects to make legible its influence on the power relationships between various actors in the ecosystem. Third, we discuss that the ethical values underlying any ICT project ultimately need to be upheld by the project teams, where certain factors like political ideologies or dispersed teams may affect the rigour with which these ethical values are followed. These three aspects of having an ethical underpinning to the design and management of ICT projects, the need for having a power based equality principle for ICT projects, and the importance of socialization of the project teams, needs increasing attention in today's age of ICT platforms where millions and billions of users interact on the same platform but which are managed by only a few people.


PKUSEG A Toolkit for Multi Domain Chinese Word Segmentation. Chinese word segmentation (CWS) is a fundamental step of Chinese natural language processing. In this paper, we build a new toolkit, named PKUSEG, for multi domain word segmentation. Unlike existing single model toolkits, PKUSEG targets at multi domain word segmentation and provides separate models for different domains, such as web, medicine, and tourism. The new toolkit also supports POS tagging and model training to adapt to various application scenarios. Experiments show that PKUSEG achieves high performance on multiple domains. The toolkit is now freely and publicly available for the usage of research and industry.


Relevance of temporal cores for epidemic spread in temporal networks. Temporal networks are widely used to represent a vast diversity of systems, including in particular social interactions, and the spreading processes unfolding on top of them. The identification of structures playing important roles in such processes remains largely an open question, despite recent progresses in the case of static networks. Here, we consider as candidate structures the recently introduced concept of span cores the span cores decompose a temporal network into subgraphs of controlled duration and increasing connectivity, generalizing the core decomposition of static graphs. To assess the relevance of such structures, we explore the effectiveness of strategies aimed either at containing or maximizing the impact of a spread, based respectively on removing span cores of high cohesiveness or duration to decrease the epidemic risk, or on seeding the process from such structures. The effectiveness of such strategies is assessed in a variety of empirical data sets and compared to baselines that use only static information on the centrality of nodes and static concepts of coreness, as well as to a baseline based on a temporal centrality measure. Our results show that the most stable and cohesive temporal cores play indeed an important role in epidemic processes on temporal networks, and that their nodes are likely to represent influential spreaders.


On the Relevance of Wait free Coordination Algorithms in Shared Memory HPC The Global Virtual Time Case. High performance computing on shared memory multi core architectures could suffer from non negligible performance bottlenecks due to coordination algorithms, which are nevertheless necessary to ensure the overall correctness and or to support the execution of housekeeping operations, e.g. to recover computing resources (e.g., memory). Although more complex in design development, a paradigm switch from classical coordination algorithms to wait free ones could significantly boost the performance of HPC applications. In this paper we explore the relevance of this paradigm shift in shared memory architectures, by focusing on the context of Parallel Discrete Event Simulation, where the Global Virtual Time (GVT) represents a fundamental coordination algorithm. It allows to compute the lower bound on the value of the logical time passed through by all the entities participating in a parallel distributed computation. Hence it can be used to discriminate what events belong to the past history of the computation thus being considered as committed and allowing for memory recovery (e.g. of obsolete logs that were taken in order to support state recoverability) and non revokable operations (e.g. I O). We compare the reference (blocking) algorithm for shared memory, the one proposed by by Fujimoto and Hybinette cite Fuj97 , with an innovative wait free implementation, emphasizing on what design choices must be made to enforce this paradigm shift, and what are the performance implications of removing critical sections in coordination algorithms.


Algorithms used for the Cell Segmentation Benchmark Competition at ISBI 2019 by RWTH GE. The presented algorithms for segmentation and tracking follow a 3 step approach where we detect, track and finally segment nuclei. In the preprocessing phase, we detect centroids of the cell nuclei using a convolutional neural network (CNN) for the 2D images and a Laplacian of Gaussian Scale Space Maximum Projection approach for the 3D data sets. Tracking was performed in a backwards fashion on the predicted seed points, i.e., starting at the last frame and sequentially connecting corresponding objects until the first frame was reached. Correspondences were identified by propagating detections of a frame t to its preceding frame t 1 and by combining redundant detections using a hierarchical clustering approach. The tracked centroids were then used as input to variants of the seeded watershed algorithm to obtain the final segmentation.


A novel object slicing based grasp planner for 3D object grasping using underactuated robot gripper. Robotic grasping of arbitrary objects even in completely known environments still remains a challenging problem. Most previously developed algorithms had focused on fingertip grasp, failing to solve the problem even for fully actuated hands grippers during adaptive wrapping type of grasps, where each finger makes contact with object at several points. Kinematic closed form solutions are not possible for such an articulated finger which simultaneously reaches several given goal points. This paper, presents a framework for computing best grasp for an underactuated robotic gripper, based on a novel object slicing method. The proposed method quickly find contacts using an object slicing technique and use grasp quality measure to find the best grasp from a pool of grasps. To validate the proposed method, implementation has been done on twenty four household objects and toys using a two finger underactuated robot gripper. Unlike the many other existing approaches, the proposed approach has several advantages it can handle objects with complex shapes and sizes it does not require simplifying the objects into primitive geometric shape Most importantly, it can be applied on point clouds taken using depth sensor it takes into account gripper kinematic constraints and generates feasible grasps for both adaptive enveloping and fingertip types of grasps.


Communication for Generating Correlation A Unifying Survey. The task of manipulating correlated random variables in a distributed setting has received attention in the fields of both Information Theory and Computer Science. Often shared correlations can be converted, using a little amount of communication, into perfectly shared uniform random variables. Such perfect shared randomness, in turn, enables the solutions of many tasks. Even the reverse conversion of perfectly shared uniform randomness into variables with a desired form of correlation turns out to be insightful and technically useful. In this survey article, we describe progress to date on such problems and lay out pertinent measures, achievability results, limits of performance, and point to new directions.


Plane photoacoustic wave generation in liquid water using irradiation of terahertz pulses. We demonstrate photoacoustic wave propagation with a plane wavefront in liquid water using a terahertz (THz) laser pulse. The THz light can effectively generate the photoacoustic wave in water because of strong absorption via a stretching vibration mode of the hydrogen bonding network. The excitation of a large area water surface irradiated by loosely focused THz light produces a plane photoacoustic wave. This is in contrast with conventional methods using absorbers or plasma generation using near infrared laser light. The photoacoustic wave generation and plane wave propagation are observed using a system with a THz free electron laser and shadowgraph imaging. The plane photoacoustic wave is generated by incident THz light with a small radiant exposure of 1 mJ cm2 and delivered 600 times deeper than the penetration depth of THz light for water. The THz light induced plane photoacoustic wave offers great advantages to non invasive operations for industrial and biological applications as demonstrated in our previous report (Yamazaki et al, Sci. Rep. 846295 (2020)).


Fundamental groups of split real Kac Moody groups and generalized real flag manifolds. With appendices by Tobias Hartnick and Ralf K "ohl and by Julius Gr "uning and Ralf K "ohl. We determine the fundamental groups of symmetrizable algebraically simply connected split real Kac Moody groups endowed with the Kac Peterson topology. In analogy to the finite dimensional situation, the Iwasawa decomposition G KAU provides a weak homotopy equivalence K hookrightarrow G , implying pi 1(G) pi 1(K) . It thus suffices to determine pi 1(K) which we achieve by investigating the fundamental groups of generalized flag varieties. Our results apply in all cases in which the Bruhat decomposition of the generalized flag variety is a CW decomposition in particular, we cover the complete symmetrizable situation the result concerning the structure of pi 1(K) more generally also holds in the non symmetrizable two spherical situation.


Filling the Gap of Utterance aware and Speaker aware Representation for Multi turn Dialogue. A multi turn dialogue is composed of multiple utterances from two or more different speaker roles. Thus utterance and speaker aware clues are supposed to be well captured in models. However, in the existing retrieval based multi turn dialogue modeling, the pre trained language models (PrLMs) as encoder represent the dialogues coarsely by taking the pairwise dialogue history and candidate response as a whole, the hierarchical information on either utterance interrelation or speaker roles coupled in such representations is not well addressed. In this work, we propose a novel model to fill such a gap by modeling the effective utterance aware and speaker aware representations entailed in a dialogue history. In detail, we decouple the contextualized word representations by masking mechanisms in Transformer based PrLM, making each word only focus on the words in current utterance, other utterances, two speaker roles (i.e., utterances of sender and utterances of receiver), respectively. Experimental results show that our method boosts the strong ELECTRA baseline substantially in four public benchmark datasets, and achieves various new state of the art performance over previous methods. A series of ablation studies are conducted to demonstrate the effectiveness of our method.


Approximation of Riemannian measures by Stein's method. In this article, we present the theoretical basis for an approach to Stein's method for probability distributions on Riemannian manifolds. Using a semigroup representation for the solution to the Stein equation, we use tools from stochastic calculus to estimate the derivatives of the solution, yielding a bound on the Wasserstein distance. We first assume the Bakry Emery Ricci tensor is bounded below by a positive constant, after which we deal separately with the case of uniform approximation on a compact manifold. Applications of these results are currently under development and will appear in a subsequent article.


Fine grained linguistic evaluation for state of the art Machine Translation. This paper describes a test suite submission providing detailed statistics of linguistic performance for the state of the art German English systems of the Fifth Conference of Machine Translation (WMT20). The analysis covers 107 phenomena organized in 14 categories based on about 5,500 test items, including a manual annotation effort of 45 person hours. Two systems (Tohoku and Huoshan) appear to have significantly better test suite accuracy than the others, although the best system of WMT20 is not significantly better than the one from WMT19 in a macro average. Additionally, we identify some linguistic phenomena where all systems suffer (such as idioms, resultative predicates and pluperfect), but we are also able to identify particular weaknesses for individual systems (such as quotation marks, lexical ambiguity and sluicing). Most of the systems of WMT19 which submitted new versions this year show improvements.


Topological Persistence in Geometry and Analysis. The theory of persistence modules is an emerging field of algebraic topology which originated in topological data analysis. In these notes we provide a concise introduction into this field and give an account on some of its interactions with geometry and analysis. In particular, we present applications of persistence to symplectic topology, including the geometry of symplectomorphism groups and embedding problems. Furthermore, we discuss topological function theory which provides a new insight on oscillation of functions. The material should be accessible to readers with a basic background in algebraic and differential topology.


Fluid Dynamics of Earth's core geodynamo, inner core dynamics, core formation. This chapter is build from three 1.5 hours lectures given in Udine in april 2018 on various aspects of Earth's core dynamics. The chapter starts with a short historical note on the discovery of Earth's magnetic field and core (section 1). We then turn to an introduction of magnetohydrodynamics (section 2), introducing and discussing the induction equation and the form and effects of the Lorentz force. Section 3 is devoted to the description of Earth's magnetic field, introducing its spherical harmonics description and showing how it can be used to demonstrate the internal origin of the geomagnetic origin. We then move to an introduction of the convection driven model of the geodynamo (section 4), discussing our current understanding of the dynamics of Earth's core, obtaining heuristically the Ekman dependency of the critical Rayleigh number for natural rotating convection, and introducing the equations and non dimensional parameters used to model a convectively driven dynamo. The following section deals with the energetics of the geodynamo (section 5). The final two section deal with the dynamics of the inner core, focusing on the effect of the magnetic field (section 6), and with the formation of the core (section 7). Given the wide scope of this chapter and the limited time available, this introduction to Earth's core dynamics is by no means intended to be comprehensive. For more informations, the interested reader may refer to Jones (2011), Olson (2013), or Christensen and Wicht (2015) on the geomagnetic field and the geodynamo, to Sumita and Bergman (2015), Deguen (2012) and Lasbleis and Deguen (2015) on the dynamics of the inner core, and to Rubie et al. (2015) on core formation.


Bet and Attack Incentive Compatible Collaborative Attacks Using Smart Contracts. Smart contract enabled blockchains allow building decentralized applications in which mutually distrusted parties can work together. Recently, oracle services emerged to provide these applications with real world data feeds. Unfortunately, these capabilities have been used for malicious purposes under what is called criminal smart contracts. A few works explored this dark side and showed a variety of such attacks. However, none of them considered collaborative attacks against targets that reside outside the blockchain ecosystem. In this paper, we bridge this gap and introduce a smart contract based framework that allows a sponsor to orchestrate a collaborative attack among (pseudo)anonymous attackers and reward them for that. While all previous works required a technique to quantify an attacker's individual contribution, which could be infeasible with respect to real world targets, our framework avoids that. This is done by developing a novel scheme for trustless collaboration through betting. That is, attackers bet on an event (i.e., the attack takes place) and then work on making that event happen (i.e., perform the attack). By taking DDoS as a usecase, we formulate attackers' interaction as a game, and formally prove that these attackers will collaborate in proportion to the amount of their bets in the game's unique equilibrium. We also model our framework and its reward function as an incentive mechanism and prove that it is a strategy proof and budget balanced one. Finally, we conduct numerical simulations to demonstrate the equilibrium behavior of our framework.


How to fairly share a watermelon. Geometry, calculus and in particular integrals, are too often seen by young students as technical tools with no link to the reality. This fact generates into the students a loss of interest with a consequent removal of motivation in the study of such topics and more widely in pursuing scientific curricula. With this note we put to the fore a simple example of practical interest where the above concepts prove central our aim is thus to motivate students and to reverse the dropout trend by proposing an introduction to the theory starting from practical applications. More precisely, we will show how using a mixture of geometry, calculus and integrals one can easily share a watermelon into regular slices with equal volume.


A New Algorithm for Decremental Single Source Shortest Paths with Applications to Vertex Capacitated Flow and Cut Problems. We study the vertex decremental Single Source Shortest Paths (SSSP) problem given an undirected graph G (V,E) with lengths ell(e) geq 1 on its edges and a source vertex s , we need to support (approximate) shortest path queries in G , as G undergoes vertex deletions. In a shortest path query, given a vertex v , we need to return a path connecting s to v , whose length is at most (1 epsilon) times the length of the shortest such path, where epsilon is a given accuracy parameter. The problem has many applications, for example to flow and cut problems in vertex capacitated graphs. Our main result is a randomized algorithm for vertex decremental SSSP with total expected update time O(n 2 o(1) log L) , that responds to each shortest path query in O(n log L) time in expectation, returning a (1 epsilon) approximate shortest path. The algorithm works against an adaptive adversary. The main technical ingredient of our algorithm is an tilde O( E(G) n 1 o(1) ) time algorithm to compute a emph core decomposition of a given dense graph G , which allows us to compute short paths between pairs of query vertices in G efficiently. We believe that this core decomposition algorithm may be of independent interest. We use our result for vertex decremental SSSP to obtain (1 epsilon) approximation algorithms for maximum s t flow and minimum s t cut in vertex capacitated graphs, in expected time n 2 o(1) , and an O( log 4n) approximation algorithm for the vertex version of the sparsest cut problem with expected running time n 2 o(1) . These results improve upon the previous best known results for these problems in the regime where m omega(n 1.5 o(1) ) .


Local subsemigroups and variants of some class of semigroups. For an element a in a semigroup S the local subsemigroup of S with respect to a is the subsemigroup aSa of S and the variant of S with respect to a is a semigroup with underlying set S with a sandwich operation xy xay for all x, y in S. In this paper we discuss the structures of local subsemigroups of full transformation semigroups and symmetric inverse monoids. It is also shown that the set of all local subsemigroups of finite symmetric inverse monoids and the set of all variants of all finite symmetric inverse monoids are same upto isomorphism.


Resource Aware Pareto Optimal Automated Machine Learning Platform. In this study, we introduce a novel platform Resource Aware AutoML (RA AutoML) which enables flexible and generalized algorithms to build machine learning models subjected to multiple objectives, as well as resource and hard ware constraints. RA AutoML intelligently conducts Hyper Parameter Search(HPS) as well as Neural Architecture Search (NAS) to build models optimizing predefined objectives. RA AutoML is a versatile framework that allows user to prescribe many resource hardware constraints along with objectives demanded by the problem at hand or business requirements. At its core, RA AutoML relies on our in house search engine algorithm,MOBOGA, which combines a modified constraint aware Bayesian Optimization and Genetic Algorithm to construct Pareto optimal candidates. Our experiments on CIFAR 10 dataset shows very good accuracy compared to results obtained by state of art neural network models, while subjected to resource constraints in the form of model size.


Attribute analysis with synthetic dataset for person re identification. Person re identification (re ID) plays an important role in applications such as public security and video surveillance. Recently, learning from synthetic data, which benefits from the popularity of synthetic data engine, have achieved remarkable performance. However, existing synthetic datasets are in small size and lack of diversity, which hinders the development of person re ID in real world scenarios. To address this problem, firstly, we develop a large scale synthetic data engine, the salient characteristic of this engine is controllable. Based on it, we build a large scale synthetic dataset, which are diversified and customized from different attributes, such as illumination and viewpoint. Secondly, we quantitatively analyze the influence of dataset attributes on re ID system. To our best knowledge, this is the first attempt to explicitly dissect person re ID from the aspect of attribute on synthetic dataset. Comprehensive experiments help us have a deeper understanding of the fundamental problems in person re ID. Our research also provides useful insights for dataset building and future practical usage.


A Direct Method for Solving Integral Penalty Transcriptions of Optimal Control Problems. We present a numerical method for the minimization of objectives that are augmented with large quadratic penalties of overdetermined inconsistent equality constraints. Such objectives arise from quadratic integral penalty methods for the direct transcription of equality constrained optimal control problems. The Augmented Lagrangian Method (ALM) has a number of advantages over the Quadratic Penalty Method (QPM) for solving this class of problems. However, if the equality constraints of the discretization are inconsistent, then ALM might not converge to a point that minimizes the unconstrained bias of the objective and penalty term. Therefore, in this paper we explore a modification of ALM that fits our purpose. Numerical experiments demonstrate that the modified ALM can minimize certain quadratic penalty augmented functions faster than QPM, whereas the unmodified ALM converges to a minimizer of a significantly different problem.


Advances in Big Data Bio Analytics. Delivering effective data analytics is of crucial importance to the interpretation of the multitude of biological datasets currently generated by an ever increasing number of high throughput techniques. Logic programming has much to offer in this area. Here, we detail advances that highlight two of the strengths of logical formalisms in developing data analytic solutions in biological settings access to large relational databases and building analytical pipelines collecting graph information from multiple sources. We present significant advances on the bio db package which serves biological databases as Prolog facts that can be served either by in memory loading or via database backends. These advances include modularising the underlying architecture and the incorporation of datasets from a second organism (mouse). In addition, we introduce a number of data analytics tools that operate on these datasets and are bundled in the analysis package bio analytics. Emphasis in both packages is on ease of installation and use. We highlight the general architecture of our components based approach. An experimental graphical user interface via SWISH for local installation is also available. Finally, we advocate that biological data analytics is a fertile area which can drive further innovation in applied logic programming.


Noncommutative unicellular LLT polynomials. It is known that unicellular LLT polynomials are related to the quasi symmetric chromatic polynomials of certain graphs by the (t 1) transform of symmetric functions. We investigate the extension of this transformation to various combinatorial Hopf algebras and prove a noncommutative version of this property.


Lower Bound on the Capacity of the Continuous Space SSFM Model of Optical Fiber. The capacity of a discrete time model of optical fiber described by the split step Fourier method (SSFM) as a function of the signal to noise ratio text SNR and the number of segments in distance K is considered. It is shown that if K geq text SNR 2 3 and text SNR rightarrow infty , the capacity of the resulting continuous space lossless model is lower bounded by frac 1 2 log 2(1 text SNR ) frac 1 2 o(1) , where o(1) tends to zero with text SNR . As K rightarrow infty , the inter symbol interference (ISI) averages out to zero due to the law of large numbers and the SSFM model tends to a diagonal phase noise model. It follows that, in contrast to the discrete space model where there is only one signal degree of freedom (DoF) at high powers, the number of DoFs in the continuous space model is at least half of the input dimension n . Intensity modulation and direct detection achieves this rate. The pre log in the lower bound when K sqrt delta text SNR is generally characterized in terms of delta . It is shown that if the nonlinearity parameter gamma rightarrow infty , the capacity of the continuous space model is frac 1 2 log 2(1 text SNR ) o(1) . The SSFM model when the dispersion matrix does not depend on K is considered. It is shown that the capacity of this model when K sqrt delta text SNR , delta 3 , and text SNR rightarrow infty is frac 1 2n log 2(1 text SNR ) O(1) . Thus, there is only one DoF in this model. Finally, it is found that the maximum achievable information rates (AIRs) of the SSFM model with back propagation equalization obtained using numerical simulation follows a double ascent curve.


Uniqueness, stability and global convergence for a discrete inverse elliptic Robin transmission problem. We derive a simple criterion that ensures uniqueness, Lipschitz stability and global convergence of Newton's method for the finite dimensional zero finding problem of a continuously differentiable, pointwise convex and monotonic function. Our criterion merely requires to evaluate the directional derivative of the forward function at finitely many evaluation points and for finitely many directions. We then demonstrate that this result can be used to prove uniqueness, stability and global convergence for an inverse coefficient problem with finitely many measurements. We consider the problem of determining an unknown inverse Robin transmission coefficient in an elliptic PDE. Using a relation to monotonicity and localized potentials techniques, we show that a piecewise constant coefficient on an a priori known partition with a priori known bounds is uniquely determined by finitely many boundary measurements and that it can be uniquely and stably reconstructed by a globally convergent Newton iteration. We derive a constructive method to identify these boundary measurements, calculate the stability constant and give a numerical example.


Counting closed geodesics in a compact rank one locally CAT(0) space. Let X be a compact, geodesically complete, locally CAT(0) space such that the universal cover admits a rank one axis. Assume X is not homothetic to a metric graph with integer edge lengths. Let P t be the number of parallel classes of oriented closed geodesics of length le t then lim limits t to infty P t frac e ht ht 1 , where h is the entropy of the geodesic flow on the space SX of parametrized unit speed geodesics in X .


Navigation and Exploration in 3D Game Automated Play Testing. To enable automated software testing, the ability to automatically navigate to a state of interest and to explore all, or at least sufficient number of, instances of such a state is fundamental. When testing a computer game the problem has an extra dimension, namely the virtual world where the game is played on. This world often plays a dominant role in constraining which logical states are reachable, and how to reach them. So, any automated testing algorithm for computer games will inevitably need a layer that deals with navigation on a virtual world. Unlike e.g. navigating through the GUI of a typical web based application, navigating over a virtual world is much more challenging. This paper discusses how concepts from geometry and graph based path finding can be applied in the context of game testing to solve the problem of automated navigation and exploration. As a proof of concept, the paper also briefly discusses the implementation of the proposed approach.


MFL COVID19 Quantifying Country based Factors affecting Case Fatality Rate in Early Phase of COVID 19 Epidemic via Regularised Multi task Feature Learning. Recent outbreak of COVID 19 has led a rapid global spread around the world. Many countries have implemented timely intensive suppression to minimize the infections, but resulted in high case fatality rate (CFR) due to critical demand of health resources. Other country based factors such as sociocultural issues, ageing population etc., has also influenced practical effectiveness of taking interventions to improve morality in early phase. To better understand the relationship of these factors across different countries with COVID 19 CFR is of primary importance to prepare for potentially second wave of COVID 19 infections. In the paper, we propose a novel regularized multi task learning based factor analysis approach for quantifying country based factors affecting CFR in early phase of COVID 19 epidemic. We formulate the prediction of CFR progression as a ML regression problem with observed CFR and other countries based factors. In this formulation, all CFR related factors were categorized into 6 sectors with 27 indicators. We proposed a hybrid feature selection method combining filter, wrapper and tree based models to calibrate initial factors for a preliminary feature interaction. Then we adopted two typical single task model (Ridge and Lasso regression) and one state of the art MTFL method (fused sparse group lasso) in our formulation. The fused sparse group Lasso (FSGL) method allows the simultaneous selection of a common set of country based factors for multiple time points of COVID 19 epidemic and also enables incorporating temporal smoothness of each factor over the whole early phase period. Finally, we proposed one novel temporal voting feature selection scheme to balance the weight instability of multiple factors in our MTFL model.


Local existence of solutions to the initial value problem for one dimensional strain limiting viscoelasticity. In this work we prove local existence of strong solutions to the initial value problem arising in one dimensional strain limiting viscoelasticity, which is based on a nonlinear constitutive relation between the linearized strain, the rate of change of the linearized strain and the stress. The model is a generalization of the nonlinear Kelvin Voigt viscoelastic solid under the assumption that the strain and the strain rate are small. We define an initial value problem for the stress variable and then, under the assumption that the nonlinear constitutive function is strictly increasing, we convert the problem to a new form for the sum of the strain and the strain rate. Using the theory of variable coefficient heat equation together with a fixed point argument we prove local existence of solutions. Finally, for several constitutive functions widely used in the literature we show that the assumption on which the proof of existence is based is not violated.


Learning with Molecules beyond Graph Neural Networks. We demonstrate a deep learning framework which is inherently based in the highly expressive language of relational logic, enabling to, among other things, capture arbitrarily complex graph structures. We show how Graph Neural Networks and similar models can be easily covered in the framework by specifying the underlying propagation rules in the relational logic. The declarative nature of the used language then allows to easily modify and extend the propagation schemes into complex structures, such as the molecular rings which we choose for a short demonstration in this paper.


Narvis Authoring Narrative Slideshows for Introducing Data Visualization Designs. Visual designs can be complex in modern data visualization systems, which poses special challenges for explaining them to the non experts. However, few if any presentation tools are tailored for this purpose. In this study, we present Narvis, a slideshow authoring tool designed for introducing data visualizations to non experts. Narvis targets two types of end users teachers, experts in data visualization who produce tutorials for explaining a data visualization, and students, non experts who try to understand visualization designs through tutorials. We present an analysis of requirements through close discussions with the two types of end users. The resulting considerations guide the design and implementation of Narvis. Additionally, to help teachers better organize their introduction slideshows, we specify a data visualization as a hierarchical combination of components, which are automatically detected and extracted by Narvis. The teachers craft an introduction slideshow through first organizing these components, and then explaining them sequentially. A series of templates are provided for adding annotations and animations to improve efficiency during the authoring process. We evaluate Narvis through a qualitative analysis of the authoring experience, and a preliminary evaluation of the generated slideshows.


A non intrusive data driven ROM framework for hemodynamics problems. Reduced order modeling (ROM) techniques are numerical methods that approximate the solution of parametric partial differential equation (PDE) by properly combining the high fidelity solutions of the problem obtained for several configurations, i.e. for several properly chosen values of the physical geometrical parameters characterizing the problem. In this contribution, we propose an efficient non intrusive data driven framework involving ROM techniques in computational fluid dynamics (CFD) for hemodynamics applications. By starting from a database of high fidelity solutions related to a certain values of the parameters, we apply the proper orthogonal decomposition with interpolation (PODI) and then reconstruct the variables of interest for new values of the parameters, i.e. different values from the ones included in the database. Furthermore, we present a preliminary web application through which one can run the ROM with a very user friendly approach, without the need of having expertise in the numerical analysis and scientific computing field. The case study we have chosen to test the efficiency of our algorithm is represented by the aortic blood flow pattern in presence of a Left Ventricular Assist Device (LVAD) when varying the pump flow rate.


Generalized rainbow Tur 'an problems. Alon and Shikhelman initiated the systematic study of the following generalized Tur 'an problem for fixed graphs H and F and an integer n , what is the maximum number of copies of H in an n vertex F free graph? An edge colored graph is called rainbow if all its edges have different colors. The rainbow Tur 'an number of F is defined as the maximum number of edges in a properly edge colored graph on n vertices with no rainbow copy of F . The study of rainbow Tur 'an problems was initiated by Keevash, Mubayi, Sudakov and Verstra "ete. Motivated by the above problems, we study the following problem What is the maximum number of copies of F in a properly edge colored graph on n vertices without a rainbow copy of F ? We establish several results, including when F is a path, cycle or tree.


Uniqueness and Regularity of Unbounded Weak Solutions to a Class of Cross Diffusion Systems. We establish the uniqueness and regularity of weak (and very weak) solutions to a class of cross diffusion systems which is inspired by models in mathematical biology ecology, in particular the Shigesada Kawasaki Teramoto (SKT) model in population biology. No boundedness assumption on these solutions is supposed here as known techniques for scalar equations such as maximum comparison principles are generally unavailable for systems. Furthermore, for planar domains we show that unbounded weak solutions satisfying mild integrability conditions are in fact smooth.


A Cochain Level Proof of Adem Relations in the Mod 2 Steenrod Algebra. In 1947, N.E. Steenrod defined the Steenrod Squares, which are mod 2 cohomology operations, using explicit cochain formulae for cup i products of cocycles. He later recast the construction in more general homological terms, using group homology and acyclic model methods, rather than explicit cochain formulae, to define mod p operations for all primes p. Steenrod's student J. Adem applied the homological point of view to prove fundamental relations, known as the Adem relations, in the algebra of cohomology operations generated by the Steenrod operations. In this paper we give a proof of the mod 2 Adem relations at the cochain level. Specifically, given a mod 2 cocycle, we produce explicit cochain formulae whose coboundaries are the Adem relations among compositions of Steenrod Squares applied to the cocycle, using Steenrod's original cochain definition of the Square operations.


Equivariant formality of the isotropy action on mathbb Z 2 oplus mathbb Z 2 symmetric spaces. Compact symmetric spaces are probably one of the most prominent class of formal spaces, i.e. of spaces where the rational homotopy type is a formal consequence of the rational cohomology algebra. As a generalisation, it is even known that their isotropy action is equivariantly formal. In this article we show that ( mathbb Z 2 oplus mathbb Z 2) symmetric spaces are equivariantly formal and formal in the sense of Sullivan, in particular. Moreover, we give a short alternative proof of equivariant formality in the case of symmetric spaces with our new approach.


Affine Pricing and Hedging of Collateralized Debt Obligations. This study deals with the pricing and hedging of single tranche collateralized debt obligations (STCDOs). We specify an affine two factor model in which a catastrophic risk component is incorporated. Apart from being analytically tractable, this model has the feature that it captures the dynamics of super senior tranches, thanks to the catastrophic component. We estimate the factor model based on the iTraxx Europe data with six tranches and four different maturities, using a quasi maximum likelihood (QML) approach in conjunction with the Kalman filter. We derive the model based variance minimizing strategy for the hedging of STCDOs with a dynamically rebalanced portfolio on the underlying swap index. We analyze the actual performance of the variance minimizing hedge on the iTraxx Europe data. In order to assess the hedging performance further, we run a simulation analysis where normal and extreme loss scenarios are generated via the method of importance sampling. Both in sample hedging and simulation analysis suggest that the variance minimizing strategy is most effective for mezzanine tranches in terms of yielding less riskier hedging portfolios and it fails to provide adequate hedge performance regarding equity tranches.


Logic for exact real arithmetic. Continuing earlier work of the first author with U. Berger, K. Miyamoto and H. Tsuiki, it is shown how a division algorithm for real numbers given as a stream of signed digits can be extracted from an appropriate formal proof. The property of being a real number represented as a stream is formulated by means of coinductively defined predicates, and formal proofs involve coinduction. The proof assistant Minlog is used to generate the formal proofs and extract their computational content as terms of the underlying theory, a form of type theory for finite or infinite data. Some experiments with running the extracted term are described, after its translation to Haskell.


Linear Codes from Incidence Matrices of Unit Graphs. In this paper, we examine the binary linear codes with respect to Hamming metric from incidence matrix of a unit graph G( mathbb Z n ) with vertex set is mathbb Z n and two distinct vertices x and y being adjacent if and only if x y is unit. The main parameters of the codes are given.


Label Universal Targeted Attack. We introduce Label Universal Targeted Attack (LUTA) that makes a deep model predict a label of attacker's choice for any' sample of a given source class with high probability. Our attack stochastically maximizes the log probability of the target label for the source class with first order gradient optimization, while accounting for the gradient moments. It also suppresses the leakage of attack information to the non source classes for avoiding the attack suspicions. The perturbations resulting from our attack achieve high fooling ratios on the large scale ImageNet and VGGFace models, and transfer well to the Physical World. Given full control over the perturbation scope in LUTA, we also demonstrate it as a tool for deep model autopsy. The proposed attack reveals interesting perturbation patterns and observations regarding the deep models.


Assessing the Difficulty of Classifying ConceptNet Relations in a Multi Label Classification Setting. Commonsense knowledge relations are crucial for advanced NLU tasks. We examine the learnability of such relations as represented in CONCEPTNET, taking into account their specific properties, which can make relation classification difficult a given concept pair can be linked by multiple relation types, and relations can have multi word arguments of diverse semantic types. We explore a neural open world multi label classification approach that focuses on the evaluation of classification accuracy for individual relations. Based on an in depth study of the specific properties of the CONCEPTNET resource, we investigate the impact of different relation representations and model variations. Our analysis reveals that the complexity of argument types and relation ambiguity are the most important challenges to address. We design a customized evaluation method to address the incompleteness of the resource that can be expanded in future work.


Discriminative Topic Mining via Category Name Guided Text Embedding. Mining a set of meaningful and distinctive topics automatically from massive text corpora has broad applications. Existing topic models, however, typically work in a purely unsupervised way, which often generate topics that do not fit users' particular needs and yield suboptimal performance on downstream tasks. We propose a new task, discriminative topic mining, which leverages a set of user provided category names to mine discriminative topics from text corpora. This new task not only helps a user understand clearly and distinctively the topics he she is most interested in, but also benefits directly keyword driven classification tasks. We develop CatE, a novel category name guided text embedding method for discriminative topic mining, which effectively leverages minimal user guidance to learn a discriminative embedding space and discover category representative terms in an iterative manner. We conduct a comprehensive set of experiments to show that CatE mines high quality set of topics guided by category names only, and benefits a variety of downstream applications including weakly supervised classification and lexical entailment direction identification.


Indeterminate moment problem associated with continuous dual q Hahn polynomials. We study a limiting case of the Askey Wilson polynomials when one of the parameters goes to infinity, namely continuous dual q Hahn polynomials when q 1. Solutions to the associated indeterminate moment problem are found and an orthogonality relation is established.


Metric completions, the Heine Borel property, and approachability. We show that the metric universal cover of a plane with a puncture yields an example of a nonstandard hull properly containing the metric completion of a metric space. As mentioned by do Carmo, a nonextendible Riemannian manifold can be noncomplete, but in the broader category of metric spaces it becomes extendible. We give a short proof of a characterisation of the Heine Borel property of the metric completion of a metric space M in terms of the absence of inapproachable finite points in M.


Maximum parsimony distance on phylogenetictrees a linear kernel and constant factor approximation algorithm. Maximum parsimony distance is a measure used to quantify the dissimilarity of two unrooted phylogenetic trees. It is NP hard to compute, and very few positive algorithmic results are known due to its complex combinatorial structure. Here we address this shortcoming by showing that the problem is fixed parameter tractable. We do this by establishing a linear kernel i.e., that after applying certain reduction rules the resulting instance has size that is bounded by a linear function of the distance. As powerful corollaries to this result we prove that the problem permits a polynomial time constant factor approximation algorithm that the treewidth of a natural auxiliary graph structure encountered in phylogenetics is bounded by a function of the distance and that the distance is within a constant factor of the size of a maximum agreement forest of the two trees, a well studied object in phylogenetics.


Oscillation properties of one boundary problem of fourth order with a spectral parameter in the boundary conditions. For one boundary problem of fourth order with a spectral parameter in the boundary condition we prove the simplicity of the spectrum and the oscillation properties of the system of the eigenfunctions derivatives.


A Discrete Convex Min Max Formula for Box TDI Polyhedra. A min max formula is proved for the minimum of an integer valued separable discrete convex function where the minimum is taken over the set of integral elements of a box total dual integral (box TDI) polyhedron. One variant of the theorem uses the notion of conjugate function (a fundamental concept in non linear optimization) but we also provide another version that avoids conjugates, and its spirit is conceptually closer to the standard form of classic min max theorems in combinatorial optimization. The presented framework provides a unified background for separable convex minimization over the set of integral elements of the intersection of two integral base polyhedra, submodular flows, L convex sets, and polyhedra defined by totally unimodular (TU) matrices. As an unexpected application, we show how a wide class of inverse combinatorial optimization problems can be covered by this new framework.


Object Discovery with a Copy Pasting GAN. We tackle the problem of object discovery, where objects are segmented for a given input image, and the system is trained without using any direct supervision whatsoever. A novel copy pasting GAN framework is proposed, where the generator learns to discover an object in one image by compositing it into another image such that the discriminator cannot tell that the resulting image is fake. After carefully addressing subtle issues, such as preventing the generator from cheating', this game results in the generator learning to select objects, as copy pasting objects is most likely to fool the discriminator. The system is shown to work well on four very different datasets, including large object appearance variations in challenging cluttered backgrounds.


Enumerating Range Modes. We consider the range mode problem where given a sequence and a query range in it, we want to find items with maximum frequency in the range. We give time and space efficient algorithms for this problem. Our algorithms are efficient for small maximum frequency cases. We also consider a natural generalization of the problem the range mode enumeration problem, for which there has been no known efficient algorithms. Our algorithms have query time complexities which is linear to the output size plus small terms.


Understanding Troll Writing as a Linguistic Phenomenon. The current study yielded a number of important findings. We managed to build a neural network that achieved an accuracy score of 91 per cent in classifying troll and genuine tweets. By means of regression analysis, we identified a number of features that make a tweet more susceptible to correct labelling and found that they are inherently present in troll tweets as a special type of discourse. We hypothesised that those features are grounded in the sociolinguistic limitations of troll writing, which can be best described as a combination of two factors speaking with a purpose and trying to mask the purpose of speaking. Next, we contended that the orthogonal nature of these factors must necessarily result in the skewed distribution of many different language parameters of troll messages. Having chosen as an example distribution of the topics and vocabulary associated with those topics, we showed some very pronounced distributional anomalies, thus confirming our prediction.


Simple embeddings of rational homology balls and antiflips. Let V be a regular neighborhood of a negative chain of 2 spheres (i.e. exceptional divisor of a cyclic quotient singularity), and let B p,q be a rational homology ball which is smoothly embedded in V . Assume that the embedding is simple, i.e. the corresponding rational blow up can be obtained by just a sequence of ordinary blow ups from V . Then we show that this simple embedding comes from the semi stable minimal model program (MMP) for 3 dimensional complex algebraic varieties under certain mild conditions. That is, one can find all simply embedded B p,q 's in V via a finite sequence of antiflips applied to a trivial family over a disk. As applications, simple embeddings are impossible for chains of 2 spheres with self intersections equal to 2 . We also show that there are (infinitely many) pairs of disjoint B p,q 's smoothly embedded in regular neighborhoods of (almost all) negative chains of 2 spheres. Along the way, we describe how MMP gives (infinitely many) pairs of disjoint rational homology balls B p,q embedded in blown up rational homology balls B n,a bar mathbb CP 2 (via certain divisorial contractions), and in the Milnor fibers of certain cyclic quotient surface singularities. This generalizes results in Khodorovskiy 2014 , H. Park J. Park D. Shin 2016 , Owens 2017 by means of a uniform point of view.


Accurate spectra for high energy ions by advanced time of flight diamond detector schemes in experiments with high energy and intensity lasers. Time Of Flight (TOF) methods are very effective to detect particles accelerated in laser plasma interactions, but they shows significant limitations when used in experiments with high energy and intensity lasers, where both high energy ions and remarkable levels of ElectroMagnetic Pulses (EMPs) in the radiofrequency microwave range are generated. Here we describe a novel advanced diagnostic method for the characterization of protons accelerated by intense matter interactions with high energy and high intensity ultra short laser pulses up to the femtosecond and even future attosecond range. The method employs a stacked diamond detector structure and the TOF technique, featuring high sensitivity, high resolution, high radiation hardness and high signal to noise ratio in environments heavily affected by remarkable EMP fields. A detailed study on the use, the optimization and the properties of a single module of the stack is here also described for an experiment where a fast diamond detector is employed in an highly EMP polluted environment. Accurate calibrated spectra of accelerated protons are presented from an experiment with the femtosecond Flame laser (beyond 100 TW power and 10 19 W cm 2 intensity) interacting with thin foil targets. The results that can be readily applied to the case of complex stack configurations and to more general experimental conditions.


Understanding Multi Modal Perception Using Behavioral Cloning for Peg In a Hole Insertion Tasks. One of the main challenges in peg in a hole (PiH) insertion tasks is in handling the uncertainty in the location of the target hole. In order to address it, high dimensional sensor inputs from sensor modalities such as vision, force torque sensing, and proprioception can be combined to learn control policies that are robust to this uncertainty in the target pose. Whereas deep learning has shown success in recognizing objects and making decisions with high dimensional inputs, the learning procedure might damage the robot when applying directly trial and error algorithms on the real system. At the same time, learning from Demonstration (LfD) methods have been shown to achieve compelling performance in real robotic systems by leveraging demonstration data provided by experts. In this paper, we investigate the merits of multiple sensor modalities such as vision, force torque sensors, and proprioception when combined to learn a controller for real world assembly operation tasks using LfD techniques. The study is limited to PiH insertions we plan to extend the study to more experiments in the future. Additionally, we propose a multi step ahead loss function to improve the performance of the behavioral cloning method. Experimental results on a real manipulator support our findings, and show the effectiveness of the proposed loss function.


Embodied Visual Active Learning for Semantic Segmentation. We study the task of embodied visual active learning, where an agent is set to explore a 3d environment with the goal to acquire visual scene understanding by actively selecting views for which to request annotation. While accurate on some benchmarks, today's deep visual recognition pipelines tend to not generalize well in certain real world scenarios, or for unusual viewpoints. Robotic perception, in turn, requires the capability to refine the recognition capabilities for the conditions where the mobile system operates, including cluttered indoor environments or poor illumination. This motivates the proposed task, where an agent is placed in a novel environment with the objective of improving its visual recognition capability. To study embodied visual active learning, we develop a battery of agents both learnt and pre specified and with different levels of knowledge of the environment. The agents are equipped with a semantic segmentation network and seek to acquire informative views, move and explore in order to propagate annotations in the neighbourhood of those views, then refine the underlying segmentation network by online retraining. The trainable method uses deep reinforcement learning with a reward function that balances two competing objectives task performance, represented as visual recognition accuracy, which requires exploring the environment, and the necessary amount of annotated data requested during active exploration. We extensively evaluate the proposed models using the photorealistic Matterport3D simulator and show that a fully learnt method outperforms comparable pre specified counterparts, even when requesting fewer annotations.


Mixed Cages monotony, connectivity and upper bounds. A emph z, r g mixed cage is a mixed graph z regular by arcs, r regular by edges, with girth g and minimum order. In this paper we study structural properties of mixed cages Let n z,r g denote the order of a z,r g mixed cage. In this paper we prove that n z,r g is a monotonicity function, with respect of g , for z in 1,2 , and we use it to prove that the underlying graph of a z,r g mixed cage is 2 connected, for z in 1,2 . We also prove that z,r g mixed cages are strong connected. We present bounds of n z,r g and constructions of z,r 5 mixed graphs and show a 10,3 5 mixed cage of order 50 .


Analytical solution for an acoustic boundary layer around an oscillating rigid sphere. Analytical solutions in fluid dynamics can be used to elucidate the physics of complex flows and to serve as test cases for numerical models. In this work, we present the analytical solution for the acoustic boundary layer that develops around a rigid sphere executing small amplitude harmonic rectilinear motion in a compressible fluid. The mathematical framework that describes the primary flow is identical to that of wave propagation in linearly elastic solids, the difference being the appearance of complex instead of real valued wave numbers. The solution reverts to well known classical solutions in special limits the potential flow solution in the thin boundary layer limit, the oscillatory flat plate solution in the limit of large sphere radius and the Stokes flow solutions in the incompressible limit of infinite sound speed. As a companion analytical result, the steady second order acoustic streaming flow is obtained. This streaming flow is driven by the Reynolds stress tensor that arises from the axisymmetric first order primary flow around such a rigid sphere. These results are obtained with a linearization of the non linear Navier Stokes equations valid for small amplitude oscillations of the sphere. The streaming flow obeys a time averaged Stokes equation with a body force given by the Nyborg model in which the above mentioned primary flow in a compressible Newtonian fluid is used to estimate the time averaged body force. Numerical results are presented to explore different regimes of the complex transverse and longitudinal wave numbers that characterize the primary flow.


New Insights into the Structure of Equilibria for the Network Creation Game. We study the sum classic network creation game introduced by Fabrikant et al. in which n players conform a network buying links at individual price alpha . When studying this model we are mostly interested in emph Nash equilibria ( NE) and the emph Price of Anarchy ( PoA). It is conjectured that the PoA is constant for any alpha . Up until now, it has been proved constant PoA for the range alpha O(n 1 delta 1 ) with delta 1 0 a positive constant and it has been proved constant PoA for the range alpha n(1 delta 2) with delta 2 0 a positive constant. Our contribution consists in proving that NE graphs satisfy very restrictive topological properties generalising some properties proved in the literature and providing new insights that might help settling the conjecture that the PoA is constant for the remaining range of alpha (i) We show that emph every node has the majority of the other nodes of the NE graph at the emph same narrow range of distances. (ii) If instead of considering the average degree, we focus on the number of non bridge links bought for any player, we can prove that there exists a constant D such that the average degree is upper bounded by max(R, frac 2n alpha 6) for any NE graph of diameter larger than D , where R is a positive constant.


Generalised geometric Brownian motion Theory and applications to option pricing. Classical option pricing schemes assume that the value of a financial asset follows a geometric Brownian motion (GBM). However, a growing body of studies suggest that a simple GBM trajectory is not an adequate representation for asset dynamics due to irregularities found when comparing its properties with empirical distributions. As a solution, we develop a generalisation of GBM where the introduction of a memory kernel critically determines the behavior of the stochastic process. We find the general expressions for the moments, log moments, and the expectation of the periodic log returns, and obtain the corresponding probability density functions by using the subordination approach. Particularly, we consider subdiffusive GBM (sGBM), tempered sGBM, a mix of GBM and sGBM, and a mix of sGBMs. We utilise the resulting generalised GBM (gGBM) to examine the empirical performance of a selected group of kernels in the pricing of European call options. Our results indicate that the performance of a kernel ultimately depends on the maturity of the option and its moneyness.


Modeling Behaviour to Predict User State Self Reports as Ground Truth. Methods that detect user states such as emotions are useful for interactive systems. In this position paper, we argue for model based approaches that are trained on user behaviour and self reported user state as ground truths. In an application context, they record behaviour, extract relevant features, and use the models to predict user states. We describe how this approach can be implemented and discuss its benefits in comparison to solely self reports in an application and to models of behaviour without the selfreport ground truths. Finally, we discuss shortcomings of this approach by considering its drawbacks and limitations.


Preprocessing and Cutting Planes with Conflict Graphs. This paper addresses the development of conflict graph based algorithms and data structures into the COIN OR Branch and Cut (CBC) solver, including (i) an efficient infrastructure for the construction and manipulation of conflict graphs (ii) a preprocessing routine based on a clique strengthening scheme that can both reduce the number of constraints and produce stronger formulations (iii) a clique cut separator capable of obtaining dual bounds at the root node LP relaxation that are 19.65 stronger than those provided by the equivalent cut generator of a state of the art commercial solver, 3.62 times better than those attained by the clique cut separator of the GLPK solver and 4.22 times stronger than the dual bounds obtained by the clique separation routine of the COIN OR Cut Generation Library and (iv) an odd cycle cut separator with a new lifting module to produce valid odd wheel inequalities. The average gap closed by this new version of CBC was up to four times better than its previous version. Moreover, the number of mixed integer programs solved by CBC in a time limit of three hours was increased by 23.53 .


Finite Meta Dynamic Neurons in Spiking Neural Networks for Spatio temporal Learning. Spiking Neural Networks (SNNs) have incorporated more biologically plausible structures and learning principles, hence are playing critical roles in bridging the gap between artificial and natural neural networks. The spikes are the sparse signals describing the above threshold event based firing and under threshold dynamic computation of membrane potentials, which give us an alternative uniformed and efficient way on both information representation and computation. Inspired from the biological network, where a finite number of meta neurons integrated together for various of cognitive functions, we proposed and constructed Meta Dynamic Neurons (MDN) to improve SNNs for a better network generalization during spatio temporal learning. The MDNs are designed with basic neuronal dynamics containing 1st order and 2nd order dynamics of membrane potentials, including the spatial and temporal meta types supported by some hyper parameters. The MDNs generated from a spatial (MNIST) and a temporal (TIDigits) datasets first, and then extended to various other different spatio temporal tasks (including Fashion MNIST, NETtalk, Cifar 10, TIMIT and N MNIST). The comparable accuracy was reached compared to other SOTA SNN algorithms, and a better generalization was also achieved by SNNs using MDNs than that without using MDNs.


Conjectures on the distribution of roots modulo a prime of a polynomial. For a given monic integral polynomial f(x) of degree n , we define local roots r i of f(x) for a completely decomposable prime p by r i in mathbb Z , f(r i) equiv 0 bmod p and 0 le r 1 le r 2 le dots le r n p . With numerical data, we propose a conjecture on the distribution of (r 1 p, dots,r n p) , which is a new kind of equi distribution, and a conjecture of the distribution of (r 1, dots,r n) which satisfies r i equiv R i bmod L for given natural numbers L,R 1, dots,R n , which is nothing but Dirichlet's theorem on an arithmetic progression in the case n 1 .


DGL KE Training Knowledge Graph Embeddings at Scale. Knowledge graphs have emerged as a key abstraction for organizing information in diverse domains and their embeddings are increasingly used to harness their information in various information retrieval and machine learning tasks. However, the ever growing size of knowledge graphs requires computationally efficient algorithms capable of scaling to graphs with millions of nodes and billions of edges. This paper presents DGL KE, an open source package to efficiently compute knowledge graph embeddings. DGL KE introduces various novel optimizations that accelerate training on knowledge graphs with millions of nodes and billions of edges using multi processing, multi GPU, and distributed parallelism. These optimizations are designed to increase data locality, reduce communication overhead, overlap computations with memory accesses, and achieve high operation efficiency. Experiments on knowledge graphs consisting of over 86M nodes and 338M edges show that DGL KE can compute embeddings in 100 minutes on an EC2 instance with 8 GPUs and 30 minutes on an EC2 cluster with 4 machines with 48 cores machine. These results represent a 2x 5x speedup over the best competing approaches. DGL KE is available on https github.com awslabs dgl ke.


Analysis of a cross diffusion model for rival gangs interaction in a city. We study a two species cross diffusion model that is inspired by a system of convection diffusion equations derived from an agent based model on a two dimensional discrete lattice. The latter model has been proposed to simulate gang territorial development through the use of graffiti markings. We find two energy functionals for the system that allow us to prove a weak stability result and identify equilibrium solutions. We show that under the natural definition of weak solutions, obtained from the weak stability result, the system does not allow segregated solutions. Moreover, we present a result on the long term behavior of solutions in the case when the product of the masses of the densities are smaller than a critical value. This result is complemented with numerical experiments.


PDE and hypersurfaces with prescribed mean curvature. These are lecture notes for the mini course textit PDE and hypersurfaces with prescribed mean curvature held in Federal University of S ao Carlos at the Workshop on Submanifold Theory and Geometric Analysis, August 05 09, 2019. The aim of these notes is to introduce to the geometers useful tools from the textit Theory of partial differential equations which are used in order to obtain hypersurfaces with prescribed mean curvature. For instance, graphs with prescribed mean curvature can be obtained by solving the Dirichlet problem for a particular quasilinear elliptic partial differential equation of second order.


Outer Valence Intermolecular Coulombic Decay in Hydrogen Bonded Complexes Induced by Resonant Two Photon Excitation by 4.4 eV Photons. Photoexcitation of van der Waals complexes can lead to several decay pathways depending on the nature of the potential energy surfaces. Upon excitation of a chromophore in a complex, ionization of its weakly bound neighbour via energy transfer happens via a unique relaxation process known as intermolecular Coulombic decay (ICD) a phenomenon of renewed focus owing to its relevance in biological systems. Herein, we report an experimental evidence of outer valence ICD induced by multiphoton excitation by near UV radiation of 4.4 eV photons, hitherto unknown in molecular systems. In the binary complexes of 2,6 difluorophenylacetylene with aliphatic amines such as dimethylamine and trimethylamine a resonant two photon excitation is localized on the 2,6 difluorophenylacetylene chromophore. The absorbed energy is then transferred to its hydrogen bonded partner amine and resulting in the formation of an amine cation. The kinetic energy distribution of the amine cations is invariant with respect to the initial geometry of the binary complex. The present experimental results combined with electronic structure calculations provide valuable insights into the nature of ICD in van der Waals complexes and more importantly, the role of ICD as a fast, efficient, and prominent decay channel following excitation at modest (4.4 eV) photon energies.


Annotating Social Determinants of Health Using Active Learning, and Characterizing Determinants Using Neural Event Extraction. Social determinants of health (SDOH) affect health outcomes, and knowledge of SDOH can inform clinical decision making. Automatically extracting SDOH information from clinical text requires data driven information extraction models trained on annotated corpora that are heterogeneous and frequently include critical SDOH. This work presents a new corpus with SDOH annotations, a novel active learning framework, and the first extraction results on the new corpus. The Social History Annotation Corpus (SHAC) includes 4,480 social history sections with detailed annotation for 12 SDOH characterizing the status, extent, and temporal information of 18K distinct events. We introduce a novel active learning framework that selects samples for annotation using a surrogate text classification task as a proxy for a more complex event extraction task. The active learning framework successfully increases the frequency of health risk factors and improves automatic extraction of these events over undirected annotation. An event extraction model trained on SHAC achieves high extraction performance for substance use status (0.82 0.93 F1), employment status (0.81 0.86 F1), and living status type (0.81 0.93 F1) on data from three institutions.


Convergence of a series associated with the convexification method for coefficient inverse problems. This paper is concerned with the convergence of a series associated with a certain version of the convexification method. That version has been recently developed by the research group of the first author for solving coefficient inverse problems. The convexification method aims to construct a globally convex Tikhonov like functional with a Carleman Weight Function in it. In the previous works the construction of the strictly convex weighted Tikhonov like functional assumes a truncated Fourier series (i.e. a finite series instead of an infinite one) for a function generated by the total wave field. In this paper we prove a convergence property for this truncated Fourier series approximation. More precisely, we show that the residual of the approximate PDE obtained by using the truncated Fourier series tends to zero in L 2 as the truncation index in the truncated Fourier series tends to infinity. The proof relies on a convergence result in the H 1 norm for a sequence of L 2 orthogonal projections on finite dimensional subspaces spanned by elements of a special Fourier basis. However, due to the ill posed nature of coefficient inverse problems, we cannot prove that the solution of that approximate PDE, which results from the minimization of that Tikhonov like functional, converges to the correct solution.


Trigger turbulent bands directly at low Reynolds numbers in channel flow using a moving force technique. We show a method, for direct numerical simulations, to trigger and maintain turbulent bands directly at low Reynolds numbers in channel flow. The key is to impose a moving localised force which induces a local flow with sufficiently strong inflectional instability. With the method, we can trigger and maintain turbulent bands at Reynolds numbers down to Re simeq 500 . More importantly, we can generate any band patterns with desired relative position and orientation. The usual perturbation approach resorts to turbulent fields simulated at higher Reynolds numbers, random noise, or localised vortical perturbation, which neither assures a successful generation of bands at low Reynolds numbers nor offers a control on the orientation of the generated bands. A precise control on the position and orientation of turbulent bands is important for the investigation of all possible types of band interaction and for understanding the transition in channel flow at low Reynolds numbers.


Using Lie Sphere Geometry to Study Dupin Hypersurfaces in bf R n . A hypersurface M in bf R n or S n is said to be Dupin if along each curvature surface, the corresponding principal curvature is constant. A Dupin hypersurface is said to be proper Dupin if each principal curvature has constant multiplicity on M , i.e., the number of distinct principal curvatures is constant on M . The notions of Dupin and proper Dupin hypersurfaces in bf R n or S n can be generalized to the setting of Lie sphere geometry, and these properties are easily seen to be invariant under Lie sphere transformations. This makes Lie sphere geometry an effective setting for the study of Dupin hypersurfaces, and many classifications of proper Dupin hypersurfaces have been obtained up to Lie sphere transformations. In these notes, we give a detailed introduction to this method for studying Dupin hypersurfaces in bf R n or S n , including proofs of several fundamental results.


d p convergence and epsilon regularity theorems for entropy and scalar curvature lower bounds. Consider a sequence of Riemannian manifolds (M n i,g i) with scalar curvatures and entropies bounded below by small constants R i, mu i geq epsilon i . The goal of this paper is to understand notions of convergence and the structure of limits for such spaces. Even in the seemingly rigid case epsilon i to 0 , we construct examples showing that such a sequence may converge wildly in the Gromov Hausdorff or Intrinsic Flat sense. On the other hand, we will see that these classical notions of convergence are the incorrect ones to consider. Indeed, even a metric space is the wrong underlying category to be working on. Instead, we introduce d p convergence, a weaker notion of convergence that is valid for a class of rectifiable Riemannian spaces. These rectifiable spaces have well behaved topology, measure theory, and analysis, though potentially there will be no reasonably associated distance function. Under the d p notion of closeness, a space with almost nonnegative scalar curvature and small entropy bounds must in fact be close to Euclidean space this will constitute our epsilon regularity theorem. More generally, we have a compactness theorem saying that sequences of Riemannian manifolds (M n i,g i) with small lower scalar curvature and entropy bounds R i, mu i geq epsilon must d p converge to such a rectifiable Riemannian space X . Comparing to the first paragraph, the distance functions of M i may be degenerating, even though in a well defined sense the analysis cannot be. Applications for manifolds with small scalar and entropy lower bounds include an L infty Sobolev embedding and apriori L p scalar curvature bounds for p 1 .


Comparison of nonlinear mappings for reduced order modelling of vibrating structures normal form theory and quadratic manifold method with modal derivatives. The objective of this contribution is to compare two methods proposed recently in order to build efficient reduced order models for geometrically nonlinear structures. The first method relies on the normal form theory that allows one to obtain a nonlinear change of coordinates for expressing the reduced order dynamics in an invariant based span of the phase space. The second method is the modal derivative (MD) approach, and more specifically the quadratic manifold defined in order to derive a second order nonlinear change of coordinates. Both methods share a common point of view, willing to introduce a nonlinear mapping to better define a reduced order model that could take more properly into account the nonlinear restoring forces. However the calculation methods are different and the quadratic manifold approach has not the invariance property embedded in its definition. Modal derivatives and static modal derivatives are investigated, and their distinctive features in the treatment of the quadratic nonlinearity is underlined. Assuming a slow fast decomposition allows understanding how the three methods tend to share equivalent properties. While they give proper estimations for flat symmetric structures having a specific shape of nonlinearities and a clear slow fast decomposition between flexural and in plane modes, the treatment of the quadratic nonlinearity makes the predictions different in the case of curved structures such as arches and shells. In the more general case, normal form approach appears preferable since it allows correct predictions of a number of important nonlinear features, including for example the hardening softening behaviour, whatever the relationships between slave and master coordinates are.


Analytical and numerical study of weakly nonlinear hyperbolic waves in a van der Waals gas. In this paper, we characterized resonant interaction of weakly nonlinear hyperbolic waves in gas dynamics with a real gas background. An asymptotic approach is used to study the interaction between waves, governed by the Euler equations of gas dynamics, supplemented by a van der Waal equation of state the evolution equation is an integro differential equation composed of a Burgers type nonlinear term and a convolution term with a known kernel. A one parameter family of traveling wave solutions for various values of van der Waals parameter is studied analytically and numerically. Effect of the influence of van der Waals parameter on the properties of traveling waves solution is investigated. Numerical experiments on the evolution of arbitrary initial data are performed using fractional step algorithm, describing the behavior of convolution term in the integrodiffrential equation. The existence of non breaking for all time solutions is substantiated numerically.


Haefliger's differentiable cohomology. We review Haefliger's differentiable cohomology for the pseudogroup of diffeomorphisms of mathbb R q . We investigate the structure needed to define such a cohomology, which, remarkably, is related to the so called Cartan distribution underlying the geometric study of PDE. We define an analogue of Haefliger differentiable cohomology for flat Cartan groupoids, investigate its infinitesimal counterpart and relate the two by a Van Est like map. Finally, we define a characteristic map for geometric structures on manifolds M associated to flat Cartan groupoids. The outcome generalizes the existing approaches to characteristic classes for foliations.


Architecture, Dataflow and Physical Design Implications of 3D ICs for DNN Accelerators. The everlasting demand for higher computing power for deep neural networks (DNNs) drives the development of parallel computing architectures. 3D integration, in which chips are integrated and connected vertically, can further increase performance because it introduces another level of spatial parallelism. Therefore, we analyze dataflows, performance, area, power and temperature of such 3D DNN accelerators. Monolithic and TSV based stacked 3D ICs are compared against 2D ICs. We identify workload properties and architectural parameters for efficient 3D ICs and achieve up to 9.14x speedup of 3D vs. 2D. We discuss area performance trade offs. We demonstrate applicability as the 3D IC draws similar power as 2D ICs and is not thermal limited.