Modeling tumor growth a simple individual based model and its analysis. Initiation and development of a malignant tumor is a complex phenomenon that has critical stages determining its long time behavior. This phenomenon is mathematically described by means of various models from simple heuristic models to those employing stochastic processes. In this chapter, we discuss some aspects of such modeling by analyzing a simple individual based model, in which tumor cells are presented as point particles drifting in mathbf R 0, infty) towards the origin with unit speed. At the origin, each of them splits into two new particles that instantly appear in mathbf R at random positions. During their drift the particles are subject to a random death before splitting. In this model, trait x in mathbf R of a given cell corresponds to time to its division and the death is caused by therapeutic factors. On its base we demonstrate how to derive a condition involving the therapy related death rate and cell cycle distribution parameters under which the tumor size remains bounded in time, which practically means combating the disease.


The Reactive and Radiation Electromagnetic Energies of Antennas a New Formulation. It is required to calculate the stored reactive energy of an antenna in order to evaluate its Q factor. Although it has been investigated for a long time, some issues still need further clarifying. The main difficulty involved is that the reactive energy of an antenna tends to become infinitely large when integrating the conventionally defined energy density in the whole space outside a small sphere containing the antenna. The reactive energy can be made bounded by subtracting an additional term associated with the radiation fields. However, there exists no well founded accurate definition for this additional term that is valid for all cases. By re checking the definition of energy densities, a new formulation is proposed in this paper to separate the reactive energy and the radiation energy explicitly. The clearly defined reactive energy is bounded without necessary to subtract the additional term, and the formulae are easy to implement.


A Tool for Automatically Suggesting Source Code Optimizations for Complex GPU Kernels. Future computing systems, from handhelds to supercomputers, will undoubtedly be more parallel and heterogeneous than todays systems to provide more performance and energy efficiency. Thus, GPUs are increasingly being used to accelerate general purpose applications, including applications with data dependent, irregular control flow and memory access patterns. However, the growing complexity, exposed memory hierarchy, incoherence, heterogeneity, and parallelism will make accelerator based systems progressively more difficult to program. In the foreseeable future, the vast majority of programmers will no longer be able to extract additional performance or energy savings from next generation systems be cause the programming will be too difficult. Automatic performance analysis and optimization recommendation tools have the potential to avert this situation. They embody expert knowledge and make it available to software developers when needed. In this paper, we describe and evaluate such a tool.


On d distance m tuple ( ell, r ) domination in graphs. In this article, we study the d distance m tuple ( ell, r ) domination problem. Given a simple undirected graph G (V, E) , and positive integers d, m, ell and r , a subset V' subseteq V is said to be a d distance m tuple ( ell, r ) dominating set if it satisfies the following conditions (i) each vertex v in V is d distance dominated by at least m vertices in V' , and (ii) each r size subset U of V is d distance dominated by at least ell vertices in V' . Here, a vertex v is d distance dominated by another vertex u means the shortest path distance between u and v is at most d in G . A set U is d distance dominated by a set of ell vertices means size of the union of the d distance neighborhood of all vertices of U in V' is at least ell . The objective of the d distance m tuple ( ell, r ) domination problem is to find a minimum size subset V' subseteq V satisfying the above two conditions. We prove that the problem of deciding whether a graph G has (i) a 1 distance m tuple ( ell, r ) dominating set for each fixed value of m, ell , and r , and (ii) a d distance m tuple ( ell, 2 ) dominating set for each fixed value of d ( 1), m , and ell of cardinality at most k (here k is a positive integer) are NP complete. We also prove that for any varepsilon 0 , the 1 distance m tuple ( ell, r) domination problem and the d distance m tuple ( ell,2) domination problem cannot be approximated within a factor of ( frac 1 2 varepsilon) ln V and ( frac 1 4 varepsilon) ln V , respectively, unless P NP .


Stable invariance of the restricted Lie algebra structure of Hochschild cohomology. We show that the restricted Lie algebra structure on Hochschild cohomology is invariant under stable equivalences of Morita type between self injective algebras. Thereby we obtain a number of positive characteristic stable invariants, such as the p toral rank of mathrm HH 1(A,A) . We also prove a more general result concerning Iwanaga Gorenstein algebras, using a more general notion of stable equivalences of Morita type. Several applications are given to commutative algebra and modular representation theory. These results are proven by first establishing the stable invariance of the B infty structure of the Hochschild cochain complex. In the appendix we explain how the p power operation on Hochschild cohomology can be seen as an artifact of this B infty structure. In particular, we establish well definedness of the p power operation, following some originally topological methods due to May, Cohen and Turchin, using the language of operads.


EpiMob Interactive Visual Analytics of Citywide Human Mobility Restrictions for Epidemic Control. The outbreak of coronavirus disease (COVID 19) has swept across more than 180 countries and territories since late January 2020. As a worldwide emergency response, governments have implemented various measures and policies, such as self quarantine, travel restrictions, work from home, and regional lockdown, to control the spread of the epidemic. These countermeasures seek to restrict human mobility because COVID 19 is a highly contagious disease that is spread by human to human transmission. Medical experts and policymakers have expressed the urgency to effectively evaluate the outcome of human restriction policies with the aid of big data and information technology. Thus, based on big human mobility data and city POI data, an interactive visual analytics system called Epidemic Mobility (EpiMob) was designed in this study. The system interactively simulates the changes in human mobility and infection status in response to the implementation of a certain restriction policy or a combination of policies (e.g., regional lockdown, telecommuting, screening). Users can conveniently designate the spatial and temporal ranges for different mobility restriction policies. Then, the results reflecting the infection situation under different policies are dynamically displayed and can be flexibly compared and analyzed in depth. Multiple case studies consisting of interviews with domain experts were conducted in the largest metropolitan area of Japan (i.e., Greater Tokyo Area) to demonstrate that the system can provide insight into the effects of different human mobility restriction policies for epidemic control, through measurements and comparisons.


On the gonality of Cartesian products of graphs. In this paper we study Cartesian products of graphs and their divisorial gonality, which is a tropical version of the gonality of an algebraic curve. We present an upper bound on the gonality of the Cartesian product of any two graphs, and provide instances where this bound holds with equality, including for the m times n rook's graph with min m,n leq 5 . We use our upper bound to prove that Baker's gonality conjecture holds for the Cartesian product of any two graphs with two or more vertices each, and we determine precisely which nontrivial product graphs have gonality equal to Baker's conjectural upper bound.


Hardy inequalities with double singular weights. The aim of this paper is to obtain new Hardy inequalities with double singular weights at an interior point and on the boundary of the domain. These inequalities give us the possibility to derive estimates from below of the first eigenvalue of the p Laplacian with Dirichlet boundary conditions.


Upper bounds for the necklace folding problems. A necklace can be considered as a cyclic list of n red and n blue beads in an arbitrary order, and the goal is to fold it into two and find a large cross free matching of pairs of beads of different colors. We give a counterexample for a conjecture about the necklace folding problem, also known as the separated matching problem. The conjecture (given independently by three sets of authors) states that mu frac 2 3 , where mu is the ratio of the covered' beads to the total number of beads. We refute this conjecture by giving a construction which proves that mu le 2 nolinebreak nolinebreak sqrt 2 0.5858 . Our construction also applies to the homogeneous model when we are matching beads of the same color. Moreover, we also consider the problem where the two color classes not necessarily have the same size.


Serre weights and the Breuil M ' e zard conjecture for modular forms. Serre's strong conjecture, now a theorem of Khare and Wintenberger, states that every two dimensional continuous, odd, irreducible mod p Galois representation rho arises from a modular form of a specific minimal weight k( rho) , level N( rho) and character epsilon( rho) . In this short paper we show that the minimal weight k( rho) is equal to a notion of minimal weight inspired by the recipe for weights introduced by Buzzard, Diamond and Jarvis. Moreover, using the Breuil M ' e zard conjecture we show that both weight recipes are equal to the smallest k geq 2 such that rho has a crystalline lift of Hodge Tate type (0,k 1) .


Composing Knowledge Graph Embeddings via Word Embeddings. Learning knowledge graph embedding from an existing knowledge graph is very important to knowledge graph completion. For a fact (h,r,t) with the head entity h having a relation r with the tail entity t , the current approaches aim to learn low dimensional representations ( mathbf h , mathbf r , mathbf t ) , each of which corresponds to the elements in (h, r, t) , respectively. As ( mathbf h , mathbf r , mathbf t ) is learned from the existing facts within a knowledge graph, these representations can not be used to detect unknown facts (if the entities or relations never occur in the knowledge graph). This paper proposes a new approach called TransW, aiming to go beyond the current work by composing knowledge graph embeddings using word embeddings. Given the fact that an entity or a relation contains one or more words (quite often), it is sensible to learn a mapping function from word embedding spaces to knowledge embedding spaces, which shows how entities are constructed using human words. More importantly, composing knowledge embeddings using word embeddings makes it possible to deal with the emerging new facts (either new entities or relations). Experimental results using three public datasets show the consistency and outperformance of the proposed TransW.


Contextual Document Similarity for Content based Literature Recommender Systems. To cope with the ever growing information overload, an increasing number of digital libraries employ content based recommender systems. These systems traditionally recommend related documents with the help of similarity measures. However, current document similarity measures simply distinguish between similar and dissimilar documents. This simplification is especially crucial for extensive documents, which cover various facets of a topic and are often found in digital libraries. Still, these similarity measures neglect to what facet the similarity relates. Therefore, the context of the similarity remains ill defined. In this doctoral thesis, we explore contextual document similarity measures, i.e., methods that determine document similarity as a triple of two documents and the context of their similarity. The context is here a further specification of the similarity. For example, in the scientific domain, research papers can be similar with respect to their background, methodology, or findings. The measurement of similarity in regards to one or more given contexts will enhance recommender systems. Namely, users will be able to explore document collections by formulating queries in terms of documents and their contextual similarities. Thus, our research objective is the development and evaluation of a recommender system based on contextual similarity. The underlying techniques will apply established similarity measures and as well as neural approaches while utilizing semantic features obtained from links between documents and their text.


Template Based Automatic Search of Compact Semantic Segmentation Architectures. Automatic search of neural architectures for various vision and natural language tasks is becoming a prominent tool as it allows to discover high performing structures on any dataset of interest. Nevertheless, on more difficult domains, such as dense per pixel classification, current automatic approaches are limited in their scope due to their strong reliance on existing image classifiers they tend to search only for a handful of additional layers with discovered architectures still containing a large number of parameters. In contrast, in this work we propose a novel solution able to find light weight and accurate segmentation architectures starting from only few blocks of a pre trained classification network. To this end, we progressively build up a methodology that relies on templates of sets of operations, predicts which template and how many times should be applied at each step, while also generating the connectivity structure and downsampling factors. All these decisions are being made by a recurrent neural network that is rewarded based on the score of the emitted architecture on the holdout set and trained using reinforcement learning. One discovered architecture achieves 63.2 mean IoU on CamVid and 67.8 on CityScapes having only 270K parameters. Pre trained models and the search code are available at https github.com DrSleep nas segm pytorch.


A nonlocal anisotropic eigenvalue problem. We determine the shape which minimizes, among domains with given measure, the first eigenvalue of the anisotropic laplacian perturbed by an integral of the unknown function. Using also some properties related to the associated lq lq twisted rq rq problem, we show that, this problem displays a emph saturation phenomenon the first eigenvalue increases with the weight up to a critical value and then remains constant.


Eliminating Reflections in Waveguide Bends Using a Metagrating Inspired Semianalytical Methodology. We present a semianalytical method to obtain perfect transmission across abrupt H plane bends in single mode rectangular waveguides using a single passive polarizable element (scatterer). The underlying analysis and synthesis schemes are inspired by the rapidly growing research on metagratings, typically used to manipulate wave trajectories in free space. These sparse configurations of subwavelength polarizable particles (meta atoms) are designed by careful tailoring of inter element near field and far field interactions, relying on analytical models to resolve the required meta atom distribution and geometry to facilitate a desired interference pattern when excited by the incident wave. Utilizing these metagrating design concepts, we develop a modal formalism for obtaining a collection of locations inside the bend junction, in which a passive scatterer may be placed to zero out the return loss. Subsequently, we propose two different shapes for the scatterer and discuss, for each of them, the ways in which their geometrical characteristics may be retrieved. This versatile and efficient methodology, verified via full wave simulations, can be utilized to eliminate reflection loss in diverse bend configurations, often found in complex wave guiding systems used for antenna feeding and power transmission. Moreover, these results demonstrate the usefulness and potential of metagrating design concepts for various applications, beyond free space beam manipulation.


Monocular Depth Prediction through Continuous 3D Loss. This paper reports a new continuous 3D loss function for learning depth from monocular images. The dense depth prediction from a monocular image is supervised using sparse LIDAR points, which enables us to leverage available open source datasets with camera LIDAR sensor suites during training. Currently, accurate and affordable range sensor is not readily available. Stereo cameras and LIDARs measure depth either inaccurately or sparsely costly. In contrast to the current point to point loss evaluation approach, the proposed 3D loss treats point clouds as continuous objects therefore, it compensates for the lack of dense ground truth depth due to LIDAR's sparsity measurements. We applied the proposed loss in three state of the art monocular depth prediction approaches DORN, BTS, and Monodepth2. Experimental evaluation shows that the proposed loss improves the depth prediction accuracy and produces point clouds with more consistent 3D geometric structures compared with all tested baselines, implying the benefit of the proposed loss on general depth prediction networks. A video demo of this work is available at https youtu.be 5HL8BjSAY4Y.


A Fat boundary type method for localized nonhomogeneous material problems. Problems with localized nonhomogeneous material properties arise frequently in many applications and are a well known source of difficulty in numerical simulations. In certain applications (including additive manufacturing), the physics of the problem may be considerably more complicated in relatively small portions of the domain, requiring a significantly finer local mesh compared to elsewhere in the domain. This can make the use of a uniform mesh numerically unfeasible. While nonuniform meshes can be employed, they may be challenging to generate (particularly for regions with complex boundaries) and more difficult to precondition. The problem becomes even more prohibitive when the region requiring a finer level mesh changes in time, requiring the introduction of refinement and derefinement techniques. To address the aforementioned challenges, we employ a technique related to the Fat boundary method as a possible alternative. We analyze the proposed methodology, from a mathematical point of view and validate our findings on two dimensional numerical tests.


Harmonic 2 forms and positively curved 4 manifolds. We prove that if a compact Riemannian 4 manifold with positive sectional curvature satisfies a Kato type inequality, then it is definite. We also discuss some new insights for compact Riemannian 4 manifolds of positive sectional curvature.


Regularity, Rees algebra and Betti numbers of certain cover ideals. Let S sf k X 1, dots, X n be a polynomial ring, where sf k is a field. This article deals with the defining ideal of the Rees algebra of squarefree monomial ideal generated in degree n 2 . As a consequence, we prove that Betti numbers of powers of the cover ideal of the complement graph of a tree do not depend on the choice of tree. Further, we study the regularity and Betti numbers of powers of cover ideals associated to certain graphs.


On Diers theory of Spectrum I Stable functors and right multi adjoints. Diers developed a general theory of right multi adjoint functors leading to a purely categorical, point set construction of spectra. Situations of multiversal properties return sets of canonical solutions rather than a unique one. In the case of a right multi adjoint, each object deploys a canonical cone of local units jointly assuming the role of the unit of an adjunction. This first part revolves around the theory of multi adjoint and recalls or precises results that will be used later on for geometric purpose. We also study the weaker notion of local adjoint, proving Beck Chevalley conditions relating local adjunctions and the equivalence with the notion of stable functor. We also recall the link with the free product completion, and describe factorization aspects involved in a situation of multi adjunction. The relation between accessible right multi adjoints and locally finitely multipresentable categories is also revisited.


Derivations and dimensionally nilpotent derivations in Lie triple algebras. In this paper, we first study derivations in non nilpotent Lie triple algebras. We determine the structure of derivation algebra according to whether the algebra admits an idempotent or a pseudo idempotent. We study the multiplicative structure of non nilpotent dimensionally nilpotent Lie triple algebras. We show that when n 2p 1 the adapted basis coincides with the canonical basis of the gametic algebra G(2p 2,2) or this one obviously associated to a pseudo idempotent and if n 2p then the algebra is either one of the precedent case or a conservative Bernstein algebra.


An Erd H o s Ko Rado Theorem for unions of length 2 paths. A family of sets is intersecting if any two sets in the family intersect. Given a graph G and an integer r geq 1 , let mathcal I (r) (G) denote the family of independent sets of size r of G . For a vertex v of G , the family of independent sets of size r that contain v is called an r star. Then G is said to be r EKR if no intersecting subfamily of mathcal I (r) (G) is bigger than the largest r star. Let n be a positive integer, and let G consist of the disjoint union of n paths each of length 2. We prove that if 1 leq r leq n 2 , then G is r EKR. This affirms a longstanding conjecture of Holroyd and Talbot for this class of graphs and can be seen as an analogue of a well known theorem on signed sets, proved using different methods, by Deza and Frankl and by Bollob 'as and Leader. Our main approach is a novel probabilistic extension of Katona's elegant cycle method, which might be of independent interest.


Rotationally symmetric Ricci flow on mathbb R n 1 . We study the Ricci flow on mathbb R n 1 , with n geq 2 , starting at some complete bounded curvature rotationally symmetric metric g 0 . We first focus on the case where ( mathbb R n 1 ,g 0 ) does not contain minimal hyperspheres we prove that if g 0 is asymptotic to a cylinder then the solution develops a Type II singularity and converges to the Bryant soliton, while if the curvature of g 0 decays at infinity, then the solution is immortal. As a corollary, we prove a conjecture by Chow and Tian about Perelman's standard solutions. We then consider a class of asymptotically flat initial data ( mathbb R n 1 ,g 0 ) containing a neck and we prove that if the neck is sufficiently pinched, in a precise way, the Ricci flow encounters a Type I singularity.


Unsupervised Disentanglement of Pose, Appearance and Background from Images and Videos. Unsupervised landmark learning is the task of learning semantic keypoint like representations without the use of expensive input keypoint level annotations. A popular approach is to factorize an image into a pose and appearance data stream, then to reconstruct the image from the factorized components. The pose representation should capture a set of consistent and tightly localized landmarks in order to facilitate reconstruction of the input image. Ultimately, we wish for our learned landmarks to focus on the foreground object of interest. However, the reconstruction task of the entire image forces the model to allocate landmarks to model the background. This work explores the effects of factorizing the reconstruction task into separate foreground and background reconstructions, conditioning only the foreground reconstruction on the unsupervised landmarks. Our experiments demonstrate that the proposed factorization results in landmarks that are focused on the foreground object of interest. Furthermore, the rendered background quality is also improved, as the background rendering pipeline no longer requires the ill suited landmarks to model its pose and appearance. We demonstrate this improvement in the context of the video prediction task.


Learning to swim in potential flow. Fish swim by undulating their bodies. These propulsive motions require coordinated shape changes of a body that interacts with its fluid environment, but the specific shape coordination that leads to robust turning and swimming motions remains unclear. To address the problem of underwater motion planning, we propose a simple model of a three link fish swimming in a potential flow environment and we use model free reinforcement learning for shape control. We arrive at optimal shape changes for two swimming tasks swimming in a desired direction and swimming towards a known target. This fish model belongs to a class of problems in geometric mechanics, known as driftless dynamical systems, which allow us to analyze the swimming behavior in terms of geometric phases over the shape space of the fish. These geometric methods are less intuitive in the presence of drift. Here, we use the shape space analysis as a tool for assessing, visualizing, and interpreting the control policies obtained via reinforcement learning in the absence of drift. We then examine the robustness of these policies to drift related perturbations. Although the fish has no direct control over the drift itself, it learns to take advantage of the presence of moderate drift to reach its target.


On Occupancy Moments and Bloom Filter Efficiency. Two multivariate committee distributions are shown to belong to Berg's family of factorial series distributions and Kemp's family of generalized hypergeometric factorial moment distributions. Exact moment formulas, upper and lower bounds, and statistical parameter estimators are provided for the classic occupancy and committee distributions. The derived moment equations are used to determine exact formulas for the false positive rate and efficiency of Bloom filters probabilistic data structures used to solve the set membership problem. This study reveals that the conventional Bloom filter analysis overestimates the number of hash functions required to minimize the false positive rate, and shows that Bloom filter efficiency is monotonic in the number of hash functions.


Improved bounds for the eigenvalues of prolate spheroidal wave functions and discrete prolate spheroidal sequences. The discrete prolate spheroidal sequences (DPSSs) are a set of orthonormal sequences in ell 2( mathbb Z ) which are strictly bandlimited to a frequency band W,W and maximally concentrated in a time interval 0, ldots,N 1 . The timelimited DPSSs (sometimes referred to as the Slepian basis) are an orthonormal set of vectors in mathbb C N whose discrete time Fourier transform (DTFT) is maximally concentrated in a frequency band W,W . Due to these properties, DPSSs have a wide variety of signal processing applications. The DPSSs are the eigensequences of a timelimit then bandlimit operator and the Slepian basis vectors are the eigenvectors of the so called prolate matrix. The eigenvalues in both cases are the same, and they exhibit a particular clustering behavior slightly fewer than 2NW eigenvalues are very close to 1 , slightly fewer than N 2NW eigenvalues are very close to 0 , and very few eigenvalues are not near 1 or 0 . This eigenvalue behavior is critical in many of the applications in which DPSSs are used. There are many asymptotic characterizations of the number of eigenvalues not near 0 or 1 . In contrast, there are very few non asymptotic results, and these don't fully characterize the clustering behavior of the DPSS eigenvalues. In this work, we establish two novel non asymptotic bounds on the number of DPSS eigenvalues between epsilon and 1 epsilon . Also, we obtain bounds detailing how close the first approx 2NW eigenvalues are to 1 and how close the last approx N 2NW eigenvalues are to 0 . Furthermore, we extend these results to the eigenvalues of the prolate spheroidal wave functions (PSWFs), which are the continuous time version of the DPSSs. Finally, we present numerical experiments demonstrating the quality of our non asymptotic bounds on the number of DPSS eigenvalues between epsilon and 1 epsilon .


Analysis of Social Robotic Navigation approaches CNN Encoder and Incremental Learning as an alternative to Deep Reinforcement Learning. Dealing with social tasks in robotic scenarios is difficult, as having humans in the learning loop is incompatible with most of the state of the art machine learning algorithms. This is the case when exploring Incremental learning models, in particular the ones involving reinforcement learning. In this work, we discuss this problem and possible solutions by analysing a previous study on adaptive convolutional encoders for a social navigation task.


Shallow to Deep Training for Neural Machine Translation. Deep encoders have been proven to be effective in improving neural machine translation (NMT) systems, but training an extremely deep encoder is time consuming. Moreover, why deep models help NMT is an open question. In this paper, we investigate the behavior of a well tuned deep Transformer system. We find that stacking layers is helpful in improving the representation ability of NMT models and adjacent layers perform similarly. This inspires us to develop a shallow to deep training method that learns deep models by stacking shallow models. In this way, we successfully train a Transformer system with a 54 layer encoder. Experimental results on WMT'16 English German and WMT'14 English French translation tasks show that it is 1.4 times faster than training from scratch, and achieves a BLEU score of 30.33 and 43.29 on two tasks. The code is publicly available at https github.com libeineu SDT Training .


Projection based Implicit Modeling Method (PIMM) for Functionally Graded Lattice Optimization. This paper proposes a projection based implicit modeling method (PIMM) for functionally graded lattice optimization, which does not require any homogenization techniques. In this method, a parametric projection function is proposed to link the implicit function of functionally graded lattice with the finite element background mesh. To reduce the number of design variables, the radial basis function (RBF) is utilized to interpolate the implicit design field. The triply periodic minimal surface (TPMS) lattice is employed to demonstrate the proposed method. Compared with conventional homogenization based topology optimization, the proposed method can effectively resolve the stress constrained lattice design for example, sharp corners are removed from the initial design after optimization. Several two and three dimensional lattice design examples are presented to solve the compliance and stress constrained problems, for which GPU based computing is adopted to accelerate the finite element analysis. The proposed PIMM method is flexible and can potentially be extended to design graded irregular porous scaffold and non periodic lattice infill designs.


OpenSBLI Automated code generation for heterogeneous computing architectures applied to compressible fluid dynamics on structured grids. OpenSBLI is an open source code generation system for compressible fluid dynamics (CFD) on heterogeneous computing architectures. Written in Python, OpenSBLI is an explicit high order finite difference solver on structured curvilinear meshes. Shock capturing is performed by a choice of high order Weighted Essentially Non Oscillatory (WENO) or Targeted Essentially Non Oscillatory (TENO) schemes. OpenSBLI generates a complete CFD solver in the Oxford Parallel Structured (OPS) domain specific language. The OPS library is embedded in C code, enabling massively parallel execution of the code on a variety of high performance computing architectures, including GPUs. The present paper presents a code base that has been completely rewritten from the earlier proof of concept (Jacobs et al, JoCS 18 (2017), 12 23), allowing shock capturing, coordinate transformations for complex geometries, and a wide range of boundary conditions, including solid walls with and without heat transfer. A suite of validation and verification cases are presented, plus demonstration of a large scale Direct Numerical Simulation (DNS) of a transitional Shockwave Boundary Layer Interaction (SBLI). The code is shown to have good weak and strong scaling on multi GPU clusters. We demonstrate that code generation and domain specific languages are suitable for performing efficient large scale simulations of complex fluid flows on emerging computing architectures.


The algebraic and geometric classification of nilpotent noncommutative Jordan algebras. We give algebraic and geometric classifications of complex 4 dimensional nilpotent noncommutative Jordan algebras. Specifically, we find that, up to isomorphism, there are only 18 non isomorphic nontrivial nilpotent noncommutative Jordan algebras. The corresponding geometric variety is determined by the Zariski closure of 3 rigid algebras and 2 one parametric families of algebras.


Online Deep Clustering for Unsupervised Representation Learning. Joint clustering and feature learning methods have shown remarkable performance in unsupervised representation learning. However, the training schedule alternating between feature clustering and network parameters update leads to unstable learning of visual representations. To overcome this challenge, we propose Online Deep Clustering (ODC) that performs clustering and network update simultaneously rather than alternatingly. Our key insight is that the cluster centroids should evolve steadily in keeping the classifier stably updated. Specifically, we design and maintain two dynamic memory modules, i.e., samples memory to store samples labels and features, and centroids memory for centroids evolution. We break down the abrupt global clustering into steady memory update and batch wise label re assignment. The process is integrated into network update iterations. In this way, labels and the network evolve shoulder to shoulder rather than alternatingly. Extensive experiments demonstrate that ODC stabilizes the training process and boosts the performance effectively. Code https github.com open mmlab OpenSelfSup.


Tuning the Effective PT Phase of Plasmonic Eigenmodes. We experimentally observe an effective PT phase transition through the exceptional point in a hybrid plasmonic dielectric waveguide system. Transmission experiments reveal fundamental changes in the underlying Eigenmode interactions as the environmental refractive index is tuned, which can be unambiguously attributed to a crossing through the plasmonic exceptional point. These results extend the design opportunities for tuneable non Hermitian physics to plasmonic systems.


Unified description of turbulent entrainment. We present a mathematical description of turbulent entrainment that is applicable to free shear problems that evolve in space, time or both. Defining the global entrainment velocity overline V g to be the fluid motion across an isosurface of an averaged scalar, we find that for a slender flow, overline V g overline u zeta overline D h t overline D t , where overline D overline D t is the material derivative of the average flowfield and overline u zeta is the average velocity perpendicular to the flow direction across the interface located at zeta h t . The description is shown to reproduce well known results for the axisymmetric jet, the planar wake and the temporal jet, and provides a clear link between the local (small scale) and global (integral) descriptions of turbulent entrainment. Application to unsteady jets plumes demonstrates that, under unsteady conditions, the entrainment coefficient alpha no longer only captures entrainment of ambient fluid, but also time dependency effects due to the loss of self similarity.


The mechanical and electrical properties of direct spun carbon nanotube mat epoxy composites. Composites of direct spun carbon nanotube (CNT) mats and epoxy are manufactured and tested in order to determine their mechanical and electrical properties. The mats are spun directly from a floating catalyst, chemical vapour deposition reactor. The volume fraction of epoxy is varied widely by suitable dilution of the epoxy resin with acetone. Subsequent evaporation of the acetone, followed by a cure cycle, leads to composites of varying volume fraction of CNT, epoxy and air. The modulus, strength, electrical conductivity and piezoresistivity of the composites are measured. The CNT mats and their composites exhibit an elastic plastic stress strain response under uniaxial tensile loading, and the degree of anisotropy is assessed by testing specimens in 0 deg , 45 deg and 90 deg directions with respect to the draw direction of mat manufacture. The electrical conductivity scales linearly with CNT volume fraction, irrespective of epoxy volume fraction. In contrast, the modulus and strength depend upon both CNT and epoxy volume fractions in a non linear manner. The macroscopic moduli of the CNT mat epoxy composites are far below the Voigt bound based on the modulus of CNT walls and epoxy. A micromechanical model is proposed to relate the macroscopic modulus and yield strength of a CNT mat epoxy composite to the microstructure.


Value distribution of derivatives in polynomial dynamics. For every m in mathbb N , we establish the equidistribution of the sequence of the averaged pull backs of a Dirac measure at any given value in mathbb C setminus 0 under the m th order derivatives of the iterates of a polynomials f in mathbb C z of degree d 1 towards the harmonic measure of the filled in Julia set of f with pole at infty . We also establish non archimedean and arithmetic counterparts using the potential theory on the Berkovich projective line and the adelic equidistribution theory over a number field k for a sequence of effective divisors on mathbb P 1( overline k ) having small diagonals and small heights. We show a similar result on the equidistribution of the analytic sets where the derivative of each iterate of a H 'enon type polynomial automorphism of mathbb C 2 has a given eigenvalue.


Low Resource Neural Machine Translation A Benchmark for Five African Languages. Recent advents in Neural Machine Translation (NMT) have shown improvements in low resource language (LRL) translation tasks. In this work, we benchmark NMT between English and five African LRL pairs (Swahili, Amharic, Tigrigna, Oromo, Somali SATOS ). We collected the available resources on the SATOS languages to evaluate the current state of NMT for LRLs. Our evaluation, comparing a baseline single language pair NMT model against semi supervised learning, transfer learning, and multilingual modeling, shows significant performance improvements both in the En LRL and LRL En directions. In terms of averaged BLEU score, the multilingual approach shows the largest gains, up to 5 points, in six out of ten translation directions. To demonstrate the generalization capability of each model, we also report results on multi domain test sets. We release the standardized experimental data and the test sets for future works addressing the challenges of NMT in under resourced settings, in particular for the SATOS languages.


How Hummingbirds Hum Oscillating Aerodynamic Forces Explain Timbre of the Humming Sound. The source of the hummingbirds distinctive hum is not well understood, but there are clues to its origin in the acoustic nearfield and farfield. To unravel this mystery, we recorded the acoustic nearfield generated by six freely hovering Annas hummingbirds using a 2176 microphone array. We also directly measured the 3D aerodynamic forces generated by the hummingbird in vivo using a new aerodynamic force platform. To determine the degree to which the aerodynamic forces cause the hum, we developed a simple first principles model to predict the acoustic field radiated by the 3D oscillating forces. The correspondence between the predicted and measured acoustic field shows the primary acoustic sources of the hum are the lift and drag forces that oscillate as the flapping wings move back and forth. The model also shows how the aerodynamic force profile of the flapping wing determines the hums timbre and sound pressure level profiles that support bodyweight with higher harmonics radiate more acoustic power. Further, extending this model across birds and flying insects, we show how the radiated acoustic power scales with body mass to the second power with allometric deviation making larger birds quieter and elongated flies louder. The model's ability to predict the acoustic signature of flapping wings suggests it can be applied for such diverse uses as differentiating wing and feather sounds in bird display behaviors to interpreting how insects generate courtship songs with their wings to making flapping robot wings more silent.


Inverse modified differential equations for discovery of dynamics. The combination of numerical integration and deep learning, i.e., ODE net, has been successfully employed in a variety of applications. In this work, we introduce inverse modified differential equations (IMDE) to contribute to the behaviour and error analysis of discovery of dynamics using ODE net. It is shown that the difference between the learned ODE and the truncated IMDE is bounded by the sum of learning loss and a discrepancy which can be made sub exponentially small. In addition, we deduce that the total error of ODE net is bounded by the sum of discrete error and learning loss. Furthermore, with the help of IMDE, theoretical results on learning Hamiltonian system are derived. Several experiments are performed to numerically verify our theoretical results.


Flows on signed graphs without long barbells. Many basic properties in Tutte's flow theory for unsigned graphs do not have their counterparts for signed graphs. However, signed graphs without long barbells in many ways behave like unsigned graphs from the point view of flows. In this paper, we study whether some basic properties in Tutte's flow theory remain valid for this family of signed graphs. Specifically let (G, sigma) be a flow admissible signed graph without long barbells. We show that it admits a nowhere zero 6 flow and that it admits a nowhere zero modulo k flow if and only if it admits a nowhere zero integer k flow for each integer k geq 3 and k not 4 . We also show that each nowhere zero positive integer k flow of (G, sigma) can be expressed as the sum of some 2 flows. For general graphs, we show that every nowhere zero frac p q flow can be normalized in such a way, that each flow value is a multiple of frac 1 2q . As a consequence we prove the equality of the integer flow number and the ceiling of the circular flow number for flow admissible signed graphs without long barbells.


Wave averaged balance a simple example. In the presence of inertia gravity waves, the geostrophic and hydrostatic balance that characterises the slow dynamics of rapidly rotating, strongly stratified flows holds in a time averaged sense and applies to the Lagrangian mean velocity and buoyancy. We give an elementary derivation of this wave averaged balance and illustrate its accuracy in numerical solutions of the three dimensional Boussinesq equations, using a simple configuration in which vertically planar near inertial waves interact with a barotropic anticylonic vortex. We further use the conservation of the wave averaged potential vorticity to predict the change in the barotropic vortex induced by the waves.


Instance Credibility Inference for Few Shot Learning. Few shot learning (FSL) aims to recognize new objects with extremely limited training data for each category. Previous efforts are made by either leveraging meta learning paradigm or novel principles in data augmentation to alleviate this extremely data scarce problem. In contrast, this paper presents a simple statistical approach, dubbed Instance Credibility Inference (ICI) to exploit the distribution support of unlabeled instances for few shot learning. Specifically, we first train a linear classifier with the labeled few shot examples and use it to infer the pseudo labels for the unlabeled data. To measure the credibility of each pseudo labeled instance, we then propose to solve another linear regression hypothesis by increasing the sparsity of the incidental parameters and rank the pseudo labeled instances with their sparsity degree. We select the most trustworthy pseudo labeled instances alongside the labeled examples to re train the linear classifier. This process is iterated until all the unlabeled samples are included in the expanded training set, i.e. the pseudo label is converged for unlabeled data pool. Extensive experiments under two few shot settings show that our simple approach can establish new state of the arts on four widely used few shot learning benchmark datasets including miniImageNet, tieredImageNet, CIFAR FS, and CUB. Our code is available at https github.com Yikai Wang ICI FSL


Person in Context Synthesiswith Compositional Structural Space. Despite significant progress, controlled generation of complex images with interacting people remains difficult. Existing layout generation methods fall short of synthesizing realistic person instances while pose guided generation approaches focus on a single person and assume simple or known backgrounds. To tackle these limitations, we propose a new problem, textbf Persons in Context Synthesis , which aims to synthesize diverse person instance(s) in consistent contexts, with user control over both. The context is specified by the bounding box object layout which lacks shape information, while pose of the person(s) by keypoints which are sparsely annotated. To handle the stark difference in input structures, we proposed two separate neural branches to attentively composite the respective (context person) inputs into shared compositional structural space'', which encodes shape, location and appearance information for both context and person structures in a disentangled manner. This structural space is then decoded to the image space using multi level feature modulation strategy, and learned in a self supervised manner from image collections and their corresponding inputs. Extensive experiments on two large scale datasets (COCO Stuff cite caesar2018cvpr and Visual Genome cite krishna2017visual ) demonstrate that our framework outperforms state of the art methods w.r.t. synthesis quality.


Augmenting Molecular Images with Vector Representations as a Featurization Technique for Drug Classification. One of the key steps in building deep learning systems for drug classification and generation is the choice of featurization for the molecules. Previous featurization methods have included molecular images, binary strings, graphs, and SMILES strings. This paper proposes the creation of molecular images captioned with binary vectors that encode information not contained in or easily understood from a molecular image alone. Specifically, we use Morgan fingerprints, which encode higher level structural information, and MACCS keys, which encode yes or no questions about a molecules properties and structure. We tested our method on the HIV dataset published by the Pande lab, which consists of 41,127 molecules labeled by if they inhibit the HIV virus. Our final model achieved a state of the art AUC ROC on the HIV dataset, outperforming all other methods. Moreover, the model converged significantly faster than most other methods, requiring dramatically less computational power than unaugmented images.


The agglomeration and dispersion dichotomy of human settlements on Earth. Human settlements on Earth are scattered in a multitude of shapes, sizes and spatial arrangements. These patterns are often not random but a result of complex geographical, cultural, economic and historical processes that have profound human and ecological impacts. However, little is known about the global distribution of these patterns and the spatial forces that creates them. This study analyses human settlements from high resolution satellite imagery and provides a global classification of spatial patterns. We find two emerging classes, namely agglomeration and dispersion. In the former, settlements are fewer than expected based on the predictions of scaling theory, while an unexpectedly high number of settlements characterizes the latter. Our global classification of spatial patterns correlates with some urban outcomes, such as the amount of CO2 emitted for transportation, providing insights into the relationship between land use patterns and socio economic and environmental indicators. To explain the observed spatial patterns, we also propose a model that combines two agglomeration forces and simulates human settlements' historical growth. Our results show that our model accurately matches the observed global classification (F1 0.73), helps to understand and estimate the growth of human settlements and, in turn, the distribution and physical dynamics of all human settlements on Earth, from small villages to cities.


Proving Non Inclusion of B "uchi Automata based on Monte Carlo Sampling. The search for a proof of correctness and the search for counterexamples (bugs) are complementary aspects of verification. In order to maximize the practical use of verification tools it is better to pursue them at the same time. While this is well understood in the termination analysis of programs, this is not the case for the language inclusion analysis of B "uchi automata, where research mainly focused on improving algorithms for proving language inclusion, with the search for counterexamples left to the expensive complementation operation. In this paper, we present mathsf IMC 2 , a specific algorithm for proving B "uchi automata non inclusion mathcal L ( mathcal A ) not subseteq mathcal L ( mathcal B ) , based on Grosu and Smolka's algorithm mathsf MC 2 developed for Monte Carlo model checking against LTL formulas. The algorithm we propose takes M lceil ln delta ln (1 epsilon) rceil random lasso shaped samples from mathcal A to decide whether to reject the hypothesis mathcal L ( mathcal A ) not subseteq mathcal L ( mathcal B ) , for given error probability epsilon and confidence level 1 delta . With such a number of samples, mathsf IMC 2 ensures that the probability of witnessing mathcal L ( mathcal A ) not subseteq mathcal L ( mathcal B ) via further sampling is less than delta , under the assumption that the probability of finding a lasso counterexample is larger than epsilon . Extensive experimental evaluation shows that mathsf IMC 2 is a fast and reliable way to find counterexamples to B "uchi automata inclusion.


Maximum number of solutions of x q x in a finite noncommutative algebra. We obtain a bound on the number of solutions of x q x in a finite noncommutative algebra over a field with q elements. Furthermore, we completely characterize those rings for which this maximum number is attained.


Minimal Assumptions Refinement for GR(1) Specifications. Reactive synthesis is concerned with finding a correct by construction controller from formal specifications, typically expressed in Linear Temporal Logic (LTL). The specifications describe assumptions about an environment and guarantees to be achieved by the controller operating in that environment. If a controller exists, given the assumptions, the specification is said to be realizable. This paper focuses on finding a minimal set of assumptions that guarantee realizability in the context of counterstrategy guided assumption refinement procedures. Specifically, we introduce the notion of minimal assumptions refinements and provide an algorithm that provably computes these with little time overhead. We show experimentally, using common benchmarks, that embedding our algorithm in state of the art approaches for assumption refinement results in consistently shorter solutions than without such embedding, and allows to explore a higher number of candidate solutions. We also propose a hybrid variant for dealing with the higher sparsity of solutions in the space of minimal refinements and show that its application speeds up the identification of a solution.


Recommendations for Emerging Air Taxi Network Operations based on Online Review Analysis of Helicopter Services. The effects of traffic congestion are adverse, primarily including air pollution, commuter stress, and an increase in vehicle operating costs and accidents on the road. In efforts to alleviate these problems in metropolitan cities, logistics companies plan to introduce a new method of everyday commute called air taxis, an Urban Air Mobility (UAM) service. These are electric powered vehicles that are expected to operate in the forthcoming years by international transportation companies like Airbus, Uber, and Kitty Hawk. Since these flying taxis are emerging mode of transportation, it is necessary to provide recommendations for the initial design, implementation, and operation. This study proposes managerial insights for these upcoming services by analyzing online customer reviews and conducting an internal assessment of helicopter operations. Helicopters are similar to air taxis in regards to their operations, and therefore, customer reviews pertaining to the former can enable us to obtain insights into the strengths and weaknesses of the short distance aviation service, in general. A four stage sequential approach is used in this research, wherein the online reviews are mined in Stage 1, analyzed using the bigram and trigram models in Stage 2, 7S internal assessment is conducted for helicopter services in Stage 3, and managerial recommendations for air taxis are proposed in Stage 4. The insights obtained in this paper could assist any air taxi companies in providing better customer service when they venture into the market. Keywords Air taxi Emerging technology Urban Air Mobility (UAM) Helicopter services Online customer reviews Text analytics


Advanced Customer Activity Prediction based on Deep Hierarchic Encoder Decoders. Product recommender systems and customer profiling techniques have always been a priority in online retail. Recent machine learning research advances and also wide availability of massive parallel numerical computing has enabled various approaches and directions of recommender systems advancement. Worth to mention is the fact that in past years multiple traditional "offline" retail business are gearing more and more towards employing inferential and even predictive analytics both to stock related problems such as predictive replenishment but also to enrich customer interaction experience. One of the most important areas of recommender systems research and development is that of Deep Learning based models which employ representational learning to model consumer behavioral patterns. Current state of the art in Deep Learning based recommender systems uses multiple approaches ranging from already classical methods such as the ones based on learning product representation vector, to recurrent analysis of customer transactional time series and up to generative models based on adversarial training. Each of these methods has multiple advantages and inherent weaknesses such as inability of understanding the actual user journey, ability to propose only single product recommendation or top k product recommendations without prediction of actual next best offer. In our work we will present a new and innovative architectural approach of applying state of the art hierarchical multi module encoder decoder architecture in order to solve several of current state of the art recommender systems issues. Our approach will also produce by products such as product need based segmentation and customer behavioral segmentation all in an end to end trainable approach. Finally, we will present a couple methods that solve known retail distribution pain points based on the proposed architecture.


On a weighted sum of multiple T values of fixed weight and depth. The multiple T value, which is a variant of multiple zeta value of level two, is introduced by Kaneko and Tsumura. We show that the generating function of a weighted sum of the multiple T values of fixed weight and depth is given in terms of the multiple T values of depth one by solving a differential equation of Heun type.


Progressive Transfer Learning. Model fine tuning is a widely used transfer learning approach in person Re identification (ReID) applications, which fine tuning a pre trained feature extraction model into the target scenario instead of training a model from scratch. It is challenging due to the significant variations inside the target scenario, e.g., different camera viewpoint, illumination changes, and occlusion. These variations result in a gap between the distribution of each mini batch and the whole dataset's distribution when using mini batch training. In this paper, we study model fine tuning from the perspective of the aggregation and utilization of the global information of the dataset when using mini batch training. Specifically, we introduce a novel network structure called Batch related Convolutional Cell (BConv Cell), which progressively collects the global information of the dataset into a latent state and uses it to rectify the extracted feature. Based on BConv Cells, we further proposed the Progressive Transfer Learning (PTL) method to facilitate the model fine tuning process by jointly optimizing the BConv Cells and the pre trained ReID model. Empirical experiments show that our proposal can improve the performance of the ReID model greatly on MSMT17, Market 1501, CUHK03 and DukeMTMC reID datasets. Moreover, we extend our proposal to the general image classification task. The experiments in several image classification benchmark datasets demonstrate that our proposal can significantly improve the performance of baseline models. The code has been released at url https github.com ZJULearning PTL


Policy Gradient Methods for the Noisy Linear Quadratic Regulator over a Finite Horizon. We explore reinforcement learning methods for finding the optimal policy in the linear quadratic regulator (LQR) problem. In particular, we consider the convergence of policy gradient methods in the setting of known and unknown parameters. We are able to produce a global linear convergence guarantee for this approach in the setting of finite time horizon and stochastic state dynamics under weak assumptions. The convergence of a projected policy gradient method is also established in order to handle problems with constraints. We illustrate the performance of the algorithm with two examples. The first example is the optimal liquidation of a holding in an asset. We show results for the case where we assume a model for the underlying dynamics and where we apply the method to the data directly. The empirical evidence suggests that the policy gradient method can learn the global optimal solution for a larger class of stochastic systems containing the LQR framework and that it is more robust with respect to model mis specification when compared to a model based approach. The second example is an LQR system in a higher dimensional setting with synthetic data.


Cross Supervised Object Detection. After learning a new object category from image level annotations (with no object bounding boxes), humans are remarkably good at precisely localizing those objects. However, building good object localizers (i.e., detectors) currently requires expensive instance level annotations. While some work has been done on learning detectors from weakly labeled samples (with only class labels), these detectors do poorly at localization. In this work, we show how to build better object detectors from weakly labeled images of new categories by leveraging knowledge learned from fully labeled base categories. We call this novel learning paradigm cross supervised object detection. We propose a unified framework that combines a detection head trained from instance level annotations and a recognition head learned from image level annotations, together with a spatial correlation module that bridges the gap between detection and recognition. These contributions enable us to better detect novel objects with image level annotations in complex multi object scenes such as the COCO dataset.


Almost Sure Invariance Principle for Random Distance Expanding Maps with a Nonuniform Decay of Correlations. We prove a quenched almost sure invariance principle for certain classes of random distance expanding dynamical systems which do not necessarily exhibit uniform decay of correlations.


The Laplace transform of the integrated Volterra Wishart process. We establish an explicit expression for the conditional Laplace transform of the integrated Volterra Wishart process in terms of a certain resolvent of the covariance function. The core ingredient is the derivation of the conditional Laplace transform of general Gaussian processes in terms of Fredholm's determinant and resolvent. Furthermore , we link the characteristic exponents to a system of non standard infinite dimensional matrix Riccati equations. This leads to a second representation of the Laplace transform for a special case of convolution kernel. In practice, we show that both representations can be approximated by either closed form solutions of conventional Wishart distributions or finite dimensional matrix Riccati equations stemming from conventional linear quadratic models. This allows fast pricing in a variety of highly flexible models, ranging from bond pricing in quadratic short rate models with rich autocorrelation structures, long range dependence and possible default risk, to pricing basket options with covariance risk in multivariate rough volatility models.


Glider Representation Rings with a view on distinguishing groups. Let G be a finite group. In the first part of the paper we develop further the foundations of the youngly introduced glider representation theory. Glider representations encompass filtered modules over filtered rings and as such carry much information of G . Therefore the main focus is on the glider representation ring R d( widetilde G ) , which is shown to be realisable as a concrete subring of the split Grothendieck ring of the monoidal category text glid d(G) of (Noetherian) glider mathbb C representations of (length d ) of G . In the second part we investigate a Wedderburn Malcev type decomposition of the (infinite dimensional) mathbb Q algebra mathbb Q ( widetilde G ) mathbb Q otimes mathbb Z R 1( widetilde G ) . The main theorem obtains a mathbb Q G ab module decomposition of mathbb Q ( widetilde G ) relating it in a precise way to mathbb C representation theory of subnormal subgroups in G . Under certain vanishing assumptions, which are proven to hold for nilpotent groups (of class 2 ), the second main theorem completely describes a mathbb Q G ab algebra decomposition. We end with pointing out applications on distinguishing isocategorical groups.


Propositional Dynamic Logic for Hyperproperties. Information security properties of reactive systems like non interference often require relating different executions of the system to each other and following them simultaneously. Such hyperproperties can also be useful in other contexts, e.g., when analysing properties of distributed systems like linearizability. Since common logics like LTL, CTL, or the modal mu calculus cannot express hyperproperties, the hyperlogics HyperLTL and HyperCTL were developed to cure this defect. However, these logics are not able to express arbitrary omega regular properties. In this paper, we introduce HyperPDL Delta, an adaptation of the Propositional Dynamic Logic of Fischer and Ladner for hyperproperties, in order to remove this limitation. Using an elegant automata theoretic framework, we show that HyperPDL Delta model checking is asymptotically not more expensive than HyperCTL model checking, despite its vastly increased expressive power. We further investigate fragments of HyperPDL Delta with regard to satisfiability checking.


Around Efimov's differential test for homeomorphism. In 1968, N. ,V. Efimov proved the following remarkable theorem textit Let f mathbb R 2 to mathbb R 2 in C 1 be such that det f'(x) 0 for all x in mathbb R 2 and let there exist a function a(x) 0 and constants C 1 geqslant 0 , C 2 geqslant 0 such that the inequalities 1 a(x) 1 a(y) leqslant C 1 x y C 2 and det f'(x) geqslant a(x) operatorname curl f(x) a 2(x) hold true for all x, y in mathbb R 2 . Then f( mathbb R 2) is a convex domain and f maps mathbb R 2 onto f( mathbb R 2) homeomorphically. Here operatorname curl f(x) stands for the curl of f at x in mathbb R 2 . This article is an overview of analogues of this theorem, its generalizations and applications in the theory of surfaces, theory of global inverse functions, as well as in the study of the Jacobian Conjecture and the global asymptotic stability of dynamical systems.


Asymptomatic infectives and R 0 for COVID. We discuss how the presence of a large set of asymptomatic infectives changes our estimate of the COVID 19 basic reproduction number, also known as R 0 .


Generic Constructions and Semidualizing Modules. We investigate some general machinery for describing semidualizing modules over generic constructions like ladder determinantal rings with coefficients in a normal domain. We also pose and investigate natural localization questions that arise in the process.


Impact of High PV Penetration on Regional Power Grids. Due to the high solar irradiance or energy price, certain regions in the U.S. may reach 100 PV penetration and experience degradation of frequency response greater than the interconnection as a whole. Therefore, in this section, the 100 PV penetration region in each interconnection is simulated to study the local high PV penetration effects. The study was performed by quantifying RoCoF, frequency nadir, and settling frequency at different regional PV penetration levels. The impact of high regional PV penetration on the compliance of grid code on frequency response is also studied.


New error bounds in multivariate normal approximations via exchangeable pairs with applications to Wishart matrices and fourth moment theorems. We extend Stein's celebrated Wasserstein bound for normal approximation via exchangeable pairs to the multi dimensional setting. As an intermediate step, we exploit the symmetry of exchangeable pairs to obtain an error bound for smooth test functions. We also obtain a continuous version of the multi dimensional Wasserstein bound in terms of fourth moments. We apply the main results to multivariate normal approximations to Wishart matrices of size n and degree d , where we obtain the optimal convergence rate sqrt n 3 d under only moment assumptions, and to quadratic forms and Poisson functionals, where we strengthen a few of the fourth moment bounds in the literature on the Wasserstein distance.


PoliWAM An Exploration of a Large Scale Corpus of Political Discussions on WhatsApp Messenger. WhatsApp Messenger is one of the most popular channels for spreading information with a current reach of more than 180 countries and 2 billion people. Its widespread usage has made it one of the most popular media for information propagation among the masses during any socially engaging event. In the recent past, several countries have witnessed its effectiveness and influence in political and social campaigns. We observe a high surge in information and propaganda flow during election campaigning. In this paper, we explore a high quality large scale user generated dataset curated from WhatsApp comprising of 281 groups, 31,078 unique users, and 223,404 messages shared before, during, and after the Indian General Elections 2019, encompassing all major Indian political parties and leaders. In addition to the raw noisy user generated data, we present a fine grained annotated dataset of 3,848 messages that will be useful to understand the various dimensions of WhatsApp political campaigning. We present several complementary insights into the investigative and sensational news stories from the same period. Exploratory data analysis and experiments showcase several exciting results and future research opportunities. To facilitate reproducible research, we make the anonymized datasets available in the public domain.


Software Defect Prediction Based On Deep Learning Models Performance Study. In recent years, defect prediction, one of the major software engineering problems, has been in the focus of researchers since it has a pivotal role in estimating software errors and faulty modules. Researchers with the goal of improving prediction accuracy have developed many models for software defect prediction. However, there are a number of critical conditions and theoretical problems in order to achieve better results. In this paper, two deep learning models, Stack Sparse Auto Encoder (SSAE) and Deep Belief Network (DBN), are deployed to classify NASA datasets, which are unbalanced and have insufficient samples. According to the conducted experiment, the accuracy for the datasets with sufficient samples is enhanced and beside this SSAE model gains better results in comparison to DBN model in the majority of evaluation metrics.


Extitation of wakefield by a laser pulse in a metallic density electron plasma. Since it is possible to form laser pulses with a frequency much larger than the frequency of visible light, Prof. T.Tajima proposed using such pulse to accelerate the particles at its injection into the crystal. Here, the wakefield excitation in the metallic density plasma and the electron acceleration by laser pulse are simulated. The accelerating gradient has been ob tained approximately 3TV m. It is shown that, as in ordinary plasma, with time beam plasma wakefield acceleration is added to laser wakefield acceleration.


Analyzing Network Effects on a Fanfiction Community. Since the early days of the Web 2.0, online communities have been growing quickly and have become important part of life for large number of people. In one of these communities, fanfiction.net, users can read and write stories which are adapted, recreated and modified from original famous books, tv series, movies, among others. By following stories and their authors, the fanfiction community creates a social network. Previous research on online communities has shown how features of the social network can help explain the behavior of the community, so we are interested in studying fanfiction's social network as well as its influence in aspects of the community. In particular, in this article we describe several properties of the members of the community, and we also try to discover which factors explain the popularity of the authors. We discover that time since joining fanfiction and the size of the authors' biography, has a negative effect on the authors popularity. Moreover, we show that the users' network metrics help to explain better authors' popularity.


Tropical representations and identities of plactic monoids. We exhibit a faithful representation of the plactic monoid of every finite rank as a monoid of upper triangular matrices over the tropical semiring. This answers a question first posed by Izhakian and subsequently studied by several authors. A consequence is a proof of a conjecture of Kubat and Okni ' n ski that every plactic monoid of finite rank satisfies a non trivial semigroup identity. In the converse direction, we show that every identity satisfied by the plactic monoid of rank n is satisfied by the monoid of n times n upper triangular tropical matrices. In particular this implies that the variety generated by the 3 times 3 upper triangular tropical matrices coincides with that generated by the plactic monoid of rank 3 , answering another question of Izhakian.


A dynamical theory for singular stochastic delay differential equations II Nonlinear equations and invariant manifolds. Building on results obtained in GVRS , we prove Local Stable and Unstable Manifold Theorems for nonlinear, singular stochastic delay differential equations. The main tools are rough paths theory and a semi invertible Multiplicative Ergodic Theorem for cocycles acting on measurable fields of Banach spaces obtained in GVR .


Graph Nets for Partial Charge Prediction. Atomic partial charges are crucial parameters for Molecular Dynamics (MD) simulations, molecular mechanics calculations, and virtual screening, as they determine the electrostatic contributions to interaction energies. Current methods for calculating partial charges, however, are either slow and scale poorly with molecular size (quantum chemical methods) or unreliable (empirical methods). Here, we present a new charge derivation method based on Graph Nets a set of update and aggregate functions that operate on molecular topologies and propagate information thereon that could approximate charges derived from Density Functional Theory (DFT) calculations with high accuracy and an over 500 fold speed up.


An improved spectrophotometry tests the Einstein Smoluchowski equation a revisit and update. Light matter interaction in solvents has attracted continuous attention for theoretical prediction and experimental measure, due in part to the simple curiosity to nature, and in part to increasing calls from solvent involved applications. Yet hitherto, a majority of reliable spectrophotometric measurements on transparent solvents upon visible light end up using long path length cells, usually over dozens of cm, rendering the measures costly and complex meanwhile, the guidance for choosing the best formula to describe solvent scattering has remained unsettled. Here we theoretically and experimentally demonstrate a simple, low cost, and versatile spectrophotometric method, recording sensitivity 10 4 dB cm over 0.5 cm differential path length based on using a standard double beam spectrophotometer. We attest the method reduces the path length by a factor of 100 while still making its closest approach to the record low measurements. Revisiting the present equations of solvent scattering, we unfold that they all give similar predictive values, revealing the criterion of choice merely on the formula's simple practicality. Following the clarification of wavelengths over which light scattering dictates the solvent's extinction, we identify that the discrepancies persist between the calculated scattering coefficients and those measured results, suggesting the need for improving solvent scattering theory to comprehend the phenomenon in greater depth.


Interactive Semi automated Specification Mining for Debugging An Experience Report. Context Specification mining techniques are typically used to extract the specification of a software in the absence of (up to date) specification documents. This is useful for program comprehension, testing, and anomaly detection. However, specification mining can also potentially be used for debugging, where a faulty behavior is abstracted to give developers a context about the bug and help them locating it. Objective In this project, we investigate this idea in an industrial setting. We propose a very basic semi automated specification mining approach for debugging and apply that on real reported issues from an AutoPilot software system from our industry partner, MicroPilot Inc. The objective is to assess the feasibility and usefulness of the approach in a real world setting. Method The approach is developed as a prototype tool, working on C code, which accept a set of relevant state fields and functions, per issue, and generates an extended finite state machine that represents the faulty behavior, abstracted with respect to the relevant context (the selected fields and functions). Results We qualitatively evaluate the approach by a set of interviews (including observational studies) with the company's developers on their real world reported bugs. The results show that a) our approach is feasible, b) it can be automated to some extent, and c) brings advantages over only using their code level debugging tools. We also compared this approach with traditional fully automated state merging algorithms and reported several issues when applying those techniques on a real world debugging context. Conclusion The main conclusion of this study is that the idea of an "interactive" specification mining rather than a fully automated mining tool is NOT impractical and indeed is useful for the debugging use case.


Lightweight Generative Adversarial Networks for Text Guided Image Manipulation. We propose a novel lightweight generative adversarial network for efficient image manipulation using natural language descriptions. To achieve this, a new word level discriminator is proposed, which provides the generator with fine grained training feedback at word level, to facilitate training a lightweight generator that has a small number of parameters, but can still correctly focus on specific visual attributes of an image, and then edit them without affecting other contents that are not described in the text. Furthermore, thanks to the explicit training signal related to each word, the discriminator can also be simplified to have a lightweight structure. Compared with the state of the art, our method has a much smaller number of parameters, but still achieves a competitive manipulation performance. Extensive experimental results demonstrate that our method can better disentangle different visual attributes, then correctly map them to corresponding semantic words, and thus achieve a more accurate image modification using natural language descriptions.


Multimillijoule terahertz radiation from laser interactions with microplasma waveguides. When a relativistic, femtosecond laser pulse enters a waveguide, the pulse energy is coupled into waveguide optical modes. The longitudinal laser field effectively accelerates electrons along the axis of the channel, while the asymmetric transverse electromagnetic fields tend to expel fast electrons radially outwards. At the exit of the waveguide, the sim rm nC , sim 10 rm MeV electron bunch converts its energy to a sim 10 rm mJ terahertz (THz) laser pulse through coherent diffraction radiation. In this paper, we present 3D particle in cell simulations and theoretical analyses of the aforementioned interaction process. We investigate the process of longitudinal acceleration and radial expulsion of fast electrons, as well as the dependence of the properties of the resulting THz radiation on laser and plasma parameters and the effects of the preplasma. The simulation results indicate that the conversion efficiency of energy can be over 5 if the waveguide length is optimal and a high contrast pump laser is used. These results guide the design of more intense and powerful THz sources.


A Kernel Based Unconditionally Stable Scheme for Nonlinear Parabolic Partial Differential Equations. In this paper, a class of high order numerical schemes is proposed to solve the nonlinear parabolic equations with variable coefficients. This method is based on our previous work 10 for convection diffusion equations, which relies on a special kernel based formulation of the solutions and successive convolution. However, disadvantages appear when we extend the previous method to our equations, such as inefficient choice of parameters and unprovable stability for high dimensional problems. To overcome these difficulties, a new kernel based formulation is designed to approach the spatial derivatives. It maintains the good properties of the original one, including the high order accuracy and unconditionally stable for one dimensional problems, hence allowing much larger time step evolution compared with other explicit schemes. In additional, without extra computational cost, the proposed scheme can enlarge the available interval of the special parameter in the formulation, leading to less errors and higher efficiency. Moreover, theoretical investigations indicate that it is unconditionally stable for multi dimensional problems as well. We present numerical tests for one and two dimensional scalar and system, demonstrating the designed high order accuracy and unconditionally stable property of the scheme.


Wach models and overconvergence of 'etale ( varphi, Gamma) modules. A classical result of Cherbonnier and Colmez says that all 'etale ( varphi, Gamma) modules are overconvergent. In this paper, we give another proof of this fact when the base field K is a finite extension of mathbb Q p . Furthermore, we obtain an explicit ("uniform") lower bound for the overconvergence radius, which was previously not known. The method is similar to that in a previous joint paper with Tong Liu. Namely, we study Wach models (when K is unramified) in modulo p n Galois representations, and use them to build an overconvergence basis.


Latent Patient Network Learning for Automatic Diagnosis. Recently, Graph Convolutional Networks (GCNs) has proven to be a powerful machine learning tool for Computer Aided Diagnosis (CADx) and disease prediction. A key component in these models is to build a population graph, where the graph adjacency matrix represents pair wise patient similarities. Until now, the similarity metrics have been defined manually, usually based on meta features like demographics or clinical scores. The definition of the metric, however, needs careful tuning, as GCNs are very sensitive to the graph structure. In this paper, we demonstrate for the first time in the CADx domain that it is possible to learn a single, optimal graph towards the GCN's downstream task of disease classification. To this end, we propose a novel, end to end trainable graph learning architecture for dynamic and localized graph pruning. Unlike commonly employed spectral GCN approaches, our GCN is spatial and inductive, and can thus infer previously unseen patients as well. We demonstrate significant classification improvements with our learned graph on two CADx problems in medicine. We further explain and visualize this result using an artificial dataset, underlining the importance of graph learning for more accurate and robust inference with GCNs in medical applications.


Fixed point theorems for Kannan type mappings with applications to split feasibility and variational inequality problems. The aim of this paper in to introduce a large class of mappings, called it enriched Kannan mappings , that includes all Kannan mappings and some nonexpansive mappings. We study the set of fixed points and prove a convergence theorem for Kransnoselskij iteration used to approximate fixed points of enriched Kannan mappings in Banach spaces. We then extend further these mappings to the class of enriched Bianchini mappings. Examples to illustrate the effectiveness of our results are also given. As applications of our main fixed point theorems, we present two Kransnoselskij projection type algorithms for solving split feasibility problems and variational inequality problems in the class of enriched Kannan mappings and enriched Bianchini mappings, respectively.


Training Agents using Upside Down Reinforcement Learning. We develop Upside Down Reinforcement Learning (UDRL), a method for learning to act using only supervised learning techniques. Unlike traditional algorithms, UDRL does not use reward prediction or search for an optimal policy. Instead, it trains agents to follow commands such as "obtain so much total reward in so much time." Many of its general principles are outlined in a companion report the goal of this paper is to develop a practical learning algorithm and show that this conceptually simple perspective on agent training can produce a range of rewarding behaviors for multiple episodic environments. Experiments show that on some tasks UDRL's performance can be surprisingly competitive with, and even exceed that of some traditional baseline algorithms developed over decades of research. Based on these results, we suggest that alternative approaches to expected reward maximization have an important role to play in training useful autonomous agents.


Evaluating Alignment Approaches in Superimposed Time Series and Temporal Event Sequence Visualizations. Composite temporal event sequence visualizations have included sentinel event alignment techniques to cope with data volume and variety. Prior work has demonstrated the utility of using single event alignment for understanding the precursor, co occurring, and aftereffect events surrounding a sentinel event. However, the usefulness of single event alignment has not been sufficiently evaluated in composite visualizations. Furthermore, recently proposed dual event alignment techniques have not been empirically evaluated. In this work, we designed tasks around temporal event sequence and timing analysis and conducted a controlled experiment on Amazon Mechanical Turk to examine four sentinel event alignment approaches no sentinel event alignment (NoAlign), single event alignment (SingleAlign), dual event alignment with left justification (DualLeft), and dual event alignment with stretch justification (DualStretch). Differences between approaches were most pronounced with more rows of data. For understanding intermediate events between two sentinel events, dual event alignment was the clear winner for correctness 71 vs. 18 for NoAlign and SingleAlign. For understanding the duration between two sentinel events, NoAlign was the clear winner correctness 88 vs. 36 for DualStretch completion time 55 seconds vs. 101 seconds for DualLeft and error 1.5 vs. 8.4 for DualStretch. For understanding precursor and aftereffect events, there was no significant difference among approaches. A free copy of this paper, the evaluation stimuli and data, and source code are available at https osf.io 78fs5


The Detection of Distributional Discrepancy for Text Generation. The text generated by neural language models is not as good as the real text. This means that their distributions are different. Generative Adversarial Nets (GAN) are used to alleviate it. However, some researchers argue that GAN variants do not work at all. When both sample quality (such as Bleu) and sample diversity (such as self Bleu) are taken into account, the GAN variants even are worse than a well adjusted language model. But, Bleu and self Bleu can not precisely measure this distributional discrepancy. In fact, how to measure the distributional discrepancy between real text and generated text is still an open problem. In this paper, we theoretically propose two metric functions to measure the distributional difference between real text and generated text. Besides that, a method is put forward to estimate them. First, we evaluate language model with these two functions and find the difference is huge. Then, we try several methods to use the detected discrepancy signal to improve the generator. However the difference becomes even bigger than before. Experimenting on two existing language GANs, the distributional discrepancy between real text and generated text increases with more adversarial learning rounds. It demonstrates both of these language GANs fail.


Dual stream Multiple Instance Learning Network for Whole Slide Image Classification with Self supervised Contrastive Learning. We address the challenging problem of whole slide image (WSI) classification. WSIs have very high resolutions and usually lack localized annotations. WSI classification can be cast as a multiple instance learning (MIL) problem when only slide level labels are available. We propose a MIL based method for WSI classification and tumor detection that does not require localized annotations. Our method has three major components. First, we introduce a novel MIL aggregator that models the relations of the instances in a dual stream architecture with trainable distance measurement. Second, since WSIs can produce large or unbalanced bags that hinder the training of MIL models, we propose to use self supervised contrastive learning to extract good representations for MIL and alleviate the issue of prohibitive memory cost for large bags. Third, we adopt a pyramidal fusion mechanism for multiscale WSI features, and further improve the accuracy of classification and localization. Our model is evaluated on two representative WSI datasets. The classification accuracy of our model compares favorably to fully supervised methods, with less than 2 accuracy gap across datasets. Our results also outperform all previous MIL based methods. Additional benchmark results on standard MIL datasets further demonstrate the superior performance of our MIL aggregator on general MIL problems. GitHub repository https github.com binli123 dsmil wsi


Positivity determines the quantum cohomology of Grassmannians. We prove that if X is a Grassmannian of type A, then the Schubert basis of the (small) quantum cohomology ring QH(X) is the only homogeneous deformation of the Schubert basis of the ordinary cohomology ring of X that multiplies with non negative structure constants. This implies that the (three point, genus zero) Gromov Witten invariants of X are uniquely determined by Witten's presentation of QH(X) and the fact that they are non negative. We conjecture that the same is true for any flag variety X G P of simply laced Lie type. For the variety GL(n) B of complete flags, this conjecture is equivalent to Fomin, Gelfand, and Postnikov's conjecture that the quantum Schubert polynomials of type A are uniquely determined by positivity properties. Our proof for Grassmannians answers a question of Fulton.


Supervised Contrastive Learning for Pre trained Language Model Fine tuning. State of the art natural language understanding classification models follow two stages pre training a large language model on an auxiliary task, and then fine tuning the model on a task specific labeled dataset using cross entropy loss. However, the cross entropy loss has several shortcomings that can lead to sub optimal generalization and instability. Driven by the intuition that good generalization requires capturing the similarity between examples in one class and contrasting them with examples in other classes, we propose a supervised contrastive learning (SCL) objective for the fine tuning stage. Combined with cross entropy, our proposed SCL loss obtains significant improvements over a strong RoBERTa Large baseline on multiple datasets of the GLUE benchmark in few shot learning settings, without requiring specialized architecture, data augmentations, memory banks, or additional unsupervised data. Our proposed fine tuning objective leads to models that are more robust to different levels of noise in the fine tuning training data, and can generalize better to related tasks with limited labeled data.


Antarjami Exploring psychometric evaluation through a computer based game. A number of questionnaire based psychometric testing frameworks are globally for example OCEAN (Five factor) indicator, MBTI (Myers Brigg Type Indicator) etc. However, questionnaire based psychometric tests have some known shortcomings. This work explores whether these shortcomings can be mitigated through computer based gaming platforms for evaluating psychometric parameters. A computer based psychometric game framework called Antarjami has been developed for evaluating OCEAN (Five factor) indicators. It investigates the feasibility of extracting psychometric parameters through computer based games, utilizing underlying improvements in the area of modern artificial intelligence. The candidates for the test are subjected to a number scenarios as part of the computer based game and their reactions responses are used to evaluate their psychometric parameters. As part of the study, the parameters obtained from the game were compared with those evaluated using paper based tests and scores given by a panel of psychologists. The achieved results were very promising.


Constructions and T ast Extensions of 3 Bihom Lie Superalgebras. The aim of this paper is to generalise the construction of 3 Bihom Lie superalgebras and we provide some properties can be lifted to its T ast extensions such as nilpotency, solvability and decomposition. We study the representations, T theta extensions and T ast theta extension of 3 Bihom Lie superalgebras and prove the necessary and sufficient conditions for a 2n dimensional quadratic 3 Bihom Lie superalgebra to be isomorphic to a T ast theta extension.


NUTA Non uniform Temporal Aggregation for Action Recognition. In the world of action recognition research, one primary focus has been on how to construct and train networks to model the spatial temporal volume of an input video. These methods typically uniformly sample a segment of an input clip (along the temporal dimension). However, not all parts of a video are equally important to determine the action in the clip. In this work, we focus instead on learning where to extract features, so as to focus on the most informative parts of the video. We propose a method called the non uniform temporal aggregation (NUTA), which aggregates features only from informative temporal segments. We also introduce a synchronization method that allows our NUTA features to be temporally aligned with traditional uniformly sampled video features, so that both local and clip level features can be combined. Our model has achieved state of the art performance on four widely used large scale action recognition datasets (Kinetics400, Kinetics700, Something something V2 and Charades). In addition, we have created a visualization to illustrate how the proposed NUTA method selects only the most relevant parts of a video clip.


Higher balancing for locally tropically convex tropical varieties. In this text, we show that locally tropically convex tropical varieties in mathbb R n have locally a canonical polyhedral structure that satisfies higher balancing conditions at all cells of positive codimension.


LiDAM Semi Supervised Learning with Localized Domain Adaptation and Iterative Matching. Although data is abundant, data labeling is expensive. Semi supervised learning methods combine a few labeled samples with a large corpus of unlabeled data to effectively train models. This paper introduces our proposed method LiDAM, a semi supervised learning approach rooted in both domain adaptation and self paced learning. LiDAM first performs localized domain shifts to extract better domain invariant features for the model that results in more accurate clusters and pseudo labels. These pseudo labels are then aligned with real class labels in a self paced fashion using a novel iterative matching technique that is based on majority consistency over high confidence predictions. Simultaneously, a final classifier is trained to predict ground truth labels until convergence. LiDAM achieves state of the art performance on the CIFAR 100 dataset, outperforming FixMatch (73.50 vs. 71.82 ) when using 2500 labels.


On a recently proposed dating of the foundation of Julia Augusta Taurinorum (Torino). Recently, a preprint arXiv 1901.08545 and a series of news announced that Torino, as the roman Augusta Taurinorum, was founded on 30 January 9 BC. The assumption is based on the coincidence of the Julian date, obtained by means of astronomical calculations, and the date of the inauguration, by Augustus, of the Ara Pacis in Rome (historical date). Here we show that, in the framework proposed in 1 , the abovementioned date of the foundation is impossible. The impossibility is based on the following fact. The Julian date (30 January 9 BC), proposed by the authors in arXiv 1901.08545 , cannot definitely be the historical 30 January 9 BC of the Julian Calendar.


Monte Carlo Simulation Variance Reduction Techniques for Photon Transport in Liquid Xenon Detectors. Monte Carlo simulations are a crucial tool for the analysis and prediction of various background components in liquid xenon (LXe) detectors. With improving shielding in new experiments, the simulation of external backgrounds, such as induced by gamma rays from detector materials, gets more computationally expensive. We introduce and validate an accelerated Monte Carlo simulation technique for photon transport in liquid xenon detectors. The method simulates photon induced interactions within a defined geometry and energy range with high statistics while interactions outside of the region of interest are not simulated directly but are taken into account by means of probability weights. For a simulation of gamma induced backgrounds in an exemplary detector geometry we achieve a three orders of magnitude acceleration compared to a standard simulation of a current ton scale LXe dark matter experiment.


The state complexity of a class of operations involving roots and boolean operations. Modifiers are a sets of functions acting on tuple of automata and allowing one to construct regular operations. We define and study the class of friendly modifiers that describes a class of regular operations involving compositions of boolean operations and roots. We also give an explicit tight bound for the state complexity of these operations.


Mask Based Unsupervised Content Transfer. We consider the problem of translating, in an unsupervised manner, between two domains where one contains some additional information compared to the other. The proposed method disentangles the common and separate parts of these domains and, through the generation of a mask, focuses the attention of the underlying network to the desired augmentation alone, without wastefully reconstructing the entire target. This enables state of the art quality and variety of content translation, as demonstrated through extensive quantitative and qualitative evaluation. Our method is also capable of adding the separate content of different guide images and domains as well as remove existing separate content. Furthermore, our method enables weakly supervised semantic segmentation of the separate part of each domain, where only class labels are provided. Our code is publicly available at https github.com rmokady mbu content tansfer.