How will AI and automation transform society and cities?. Against the backdrop of rising anxiety and discussions on the impact of AI on society, I explore in this article the structural possibilities of AI and automation triggering a new social conflict between the current capitalist elites and the emerging "creative class" (R D scientists, engineers, business developers, etc.), and how this conflict can produce social tensions and transform urban space. By drawing insights from a structurally similar conflict in 17 18th century Europe between the aristocracy and the emerging bourgeoisie, the impact of this conflict on the social, spatial, and power landscapes in cities of that time, as well as current trends in urban geography, this article outlines the prospects of urban transformations under changing production and consumption economies.


Error estimate based Adaptive Integration For Immersed Isogeometric Analysis. The Finite Cell Method (FCM) together with Isogeometric analysis (IGA) has been applied successfully in various problems in solid mechanics, in image based analysis, fluid structure interaction and in many other applications. A challenging aspect of the isogeometric finite cell method is the integration of cut cells. In particular in three dimensional simulations the computational effort associated with integration can be the critical component of a simulation. A myriad of integration strategies has been proposed over the past years to ameliorate the difficulties associated with integration, but a general optimal integration framework that suits a broad class of engineering problems is not yet available. In this contribution we provide a thorough investigation of the accuracy and computational effort of the octree integration scheme. We quantify the contribution of the integration error using the theoretical basis provided by Strang's first lemma. Based on this study we propose an error estimate based adaptive integration procedure for immersed isogeometric analysis. Additionally, we present a detailed numerical investigation of the proposed optimal integration algorithm and its application to immersed isogeometric analysis using two and three dimensional linear elasticity problems.


Modelling of Flow Past Long Cylindrical Structures. Turbulent flows are fundamental in engineering and the environment, but their chaotic and three dimensional (3 D) nature makes them computationally expensive to simulate. In this work, a dimensionality reduction technique is investigated to exploit flows presenting an homogeneous direction, such as wake flows of extruded two dimensional (2 D) geometries. First, we examine the effect of the homogeneous direction span on the wake turbulence dynamics of incompressible flow past a circular cylinder at Re 10 4 . It is found that the presence of a solid wall induces 3 D structures even in highly constricted domains. The 3 D structures are rapidly two dimensionalised by the large scale K ' a rm ' a n vortices if the cylinder span is 50 of the diameter or less, as a result of the span being shorter than the natural wake Mode B instability wavelength ... . With this physical understanding, a 2 D data driven model that incorporates 3 D effects, as found in the 3 D wake flow, is presented. The 2 D model is derived from a novel flow decomposition based on a local spanwise average of the flow, yielding the spanwise averaged Navier Stokes (SANS) equations ... . A machine learning (ML) model is employed to provide closure to the SANS equations. In the a priori framework, the ML model yields accurate predictions of the SSR terms, in contrast to a standard eddy viscosity model which completely fails to capture the closure term structures ... . In the a posteriori analysis, while we find evidence of known stability issues with long time ML predictions for dynamical systems, the closed SANS equations are still capable of predicting wake metrics and induced forces with errors from 1 10 . This results in approximately an order of magnitude improvement over standard 2 D simulations while reducing the computational cost of 3 D simulations by 99.5 .


CVC4SY for SyGuS COMP 2019. CVC4Sy is a syntax guided synthesis (SyGuS) solver based on bounded term enumeration and, for restricted fragments, quantifier elimination. The enumerative strategies are based on encoding term enumeration as an extension of the quantifier free theory of algebraic datatypes and on a highly optimized brute force algorithm. The quantifier elimination strategy extracts solutions from unsatisfiability proofs of the negated form of synthesis conjectures. It uses recent counterexample guided techniques for quantifier instantiation that make finding such proofs practically feasible. CVC4Sy implements these strategies by extending the satisfiability modulo theories (SMT) solver CVC4. The strategy to be applied on a given problem is chosen heuristically based on the problem's structure. This document gives an overview of these techniques and their implementation in the SyGuS Solver CVC4Sy, an entry for SyGuS Comp 2019.


A Complete Set of Related Git Repositories Identified via Community Detection Approaches Based on Shared Commits. In order to understand the state and evolution of the entirety of open source software we need to get a handle on the set of distinct software projects. Most of open source projects presently utilize Git, which is a distributed version control system allowing easy creation of clones and resulting in numerous repositories that are almost entirely based on some parent repository from which they were cloned. Git commits are based on Merkle Tree and two commits are highly unlikely to be produced independently. Shared commits, therefore, appear like an excellent way to group cloned repositories and obtain an accurate map for such repositories. We use World of Code infrastructure containing approximately 2B commits and 100M repositories to create and share such a map. We discover that the largest group contains almost 14M repositories most of which are unrelated to each other. As it turns out, the developers can push git object to an arbitrary repository or pull objects from unrelated repositories, thus linking unrelated repositories. To address this, we apply Louvain community detection algorithm to this very large graph consisting of links between commits and projects. The approach successfully reduces the size of the megacluster with the largest group of highly interconnected projects containing under 100K repositories. We expect the tools that the resulting map of related projects as well as tools and methods to handle the very large graph will serve as a reference set for mining software projects and other applications. Further work is needed to determine different types of relationships among projects induced by shared commits and other relationships, for example, by shared source code or similar filenames.


Investigation of the near wake behaviour of a utility scale wind turbine. Super large scale particle image velocimetry and flow visualization with natural snowfall is used to collect and analyze multiple datasets in the near wake of a 2.5 MW wind turbine. Each dataset captures the full vertical span of the wake from a different perspective. Together, these datasets compose a three dimensional picture of the near wake flow, including the effect of the tower and hub and the variation of instantaneous wake expansion in response to changes in turbine operation. A region of high speed flow is observed directly behind the hub, and a region of low speed flow appears behind the tower. Additionally, the hub produces a region of enhanced turbulence in its wake while the tower reduces turbulence near the ground as it breaks up turbulent structures in the boundary layer. Analysis of the instantaneous wake behaviour reveals variations in wake expansion, and even periods of wake contraction, occurring in response to changes in the angle of attack and blade pitch gradient. This behaviour is found to depend on the region of operation of the turbine. These findings can be incorporated into wake models and advanced control algorithms for wind farm optimization and can be used to validate wind turbine wake simulations.


Generalized Newton Algorithms for Tilt Stable Minimizers in Nonsmooth Optimization. This paper aims at developing two versions of the generalized Newton method to compute not merely arbitrary local minimizers of nonsmooth optimization problems but just those, which possess an important stability property known as tilt stability. We start with unconstrained minimization of continuously differentiable cost functions having Lipschitzian gradients and suggest two second order algorithms of the Newton type one involving coderivatives of Lipschitzian gradient mappings, and the other based on graphical derivatives of the latter. Then we proceed with the propagation of these algorithms to minimization of extended real valued prox regular functions, while covering in this way problems of constrained optimization, by using Moreau envelops. Employing advanced techniques of second order variational analysis and characterizations of tilt stability allows us to establish the solvability of subproblems in both algorithms and to prove the Q superlinear convergence of their iterations.


Persistent spectral based machine learning (PerSpect ML) for drug design. In this paper, we propose persistent spectral based machine learning (PerSpect ML) models for drug design. Persistent spectral models, including persistent spectral graph, persistent spectral simplicial complex and persistent spectral hypergraph, are proposed based on spectral graph theory, spectral simplicial complex theory and spectral hypergraph theory, respectively. Different from all previous spectral models, a filtration process, as proposed in persistent homology, is introduced to generate multiscale spectral models. More specifically, from the filtration process, a series of nested topological representations, i,e., graphs, simplicial complexes, and hypergraphs, can be systematically generated and their spectral information can be obtained. Persistent spectral variables are defined as the function of spectral variables over the filtration value. Mathematically, persistent multiplicity (of zero eigenvalues) is exactly the persistent Betti number (or Betti curve). We consider 11 persistent spectral variables and use them as the feature for machine learning models in protein ligand binding affinity prediction. We systematically test our models on three most commonly used databases, including PDBbind 2007, PDBbind 2013 and PDBbind 2016. Our results, for all these databases, are better than all existing models, as far as we know. This demonstrates the great power of our PerSpect ML in molecular data analysis and drug design.


Role of Digital Twin in Optical Communication Fault Management, Hardware Configuration, and Transmission Simulation. Optical communication is developing rapidly in the directions of hardware resource diversification, transmission system flexibility, and network function virtualization. Its proliferation poses a significant challenge to traditional optical communication management and control systems. Digital twin (DT), a technology that utilizes data, models, and algorithms and integrates multiple disciplines, acts as a bridge between the real and virtual worlds for comprehensive connectivity. In the digital space, virtual models are stablished dynamically to simulate and describe the states, behaviors, and rules of physical objects in the physical space. DT has been significantly developed and widely applied in industrial and military fields. This study introduces the DT technology to optical communication through interdisciplinary crossing and proposes a DT framework suitable for optical communication. The intelligent fault management model, flexible hardware configuration model, and dynamic transmission simulation model are established in the digital space with the help of deep learning algorithms to ensure the highreliability operation and high efficiency management of optical communication systems and networks.


New method for characterization of magnetic nanoparticles by scanning magnetic microscopy. In this paper, we present a new method for the magnetic characterization of bulk materials, microstructures, and nanostructures. We investigated the magnetic and morphological properties of two colloidal dispersions of iron oxide (Fe3O4) magnetic nanoparticles (MNPs), synthesized by chemical precipitation (co precipitation) and pulsed laser ablation (PLA) in liquid, by scanning magnetic microscopy (SMM) applied to a small sample with mass on the order of tens of mu g. We evaluated the performance of this technique by comparing magnetization curves and measurements obtained with commercial magnetometers, considered standard. The errors obtained for the saturation and remanent magnetization were approximately 0.18 Am2 kg and 0.6 Am2 kg, respectively. The average size distribution of the NPs estimated from the magnetization curve measurements is consistent with the results obtained by traditional transmission electron microscopy (TEM). The technique can be extended to measure and analyze magnetization curves (hysteresis loops), thus enabling an even more accurate estimation of overall NP sizes.


Partial Hessian vibrational analysis vapour pressure isotope effects and their relation with non covalent interactions. In this study equilibrium isotope effects (EIEs) on evaporation to several organic solvents (bromobenzene, dibromomethane, ethanol, methanol, and trichloromethane) in the pure phase are estimated employing Kohn Sham Density functional theory (KS DFT) along with full Hessian vibrational analysis (FHVA) and partial Hessian vibrational analysis (PHVA). Both FHVA and PHVA qualitatively predict compounds EIEs. Weakly interacting systems (bromobenzene, dibromomethane, and trichloromethane) display identical EIE values for both, FHVA and PHVA. Whereas for strongly interacting systems (ethanol and methanol), PHVA estimates slightly smaller EIE compared to FHVA. By employing the symmetry adapted perturbation theory (SAPT) along with independent gradient model (IGM), it was possible to establish how minimal changes in compounds interaction energy affected carbon and bromine EIEs estimation in dibromomethane. Moreover, SAPT and IGM revealed how in ethanol, apparently insignificant intermolecular interactions possessed an enormous impact in carbon position specific isotope effects, which highlight the importance of solvent effects for strongly interacting compounds. The presented results have important implications for correctly comprehending and characterising the role of non covalent interactions in the prediction of isotope effects, as well as providing a robust test to PHVA for the prediction of EIEs.


Interactive Movement Primitives Planning to Push Occluding Pieces for Fruit Picking. Robotic technology is increasingly considered the major mean for fruit picking. However, picking fruits in a dense cluster imposes a challenging research question in terms of motion path planning as conventional planning approaches may not find collision free movements for the robot to reach and pick a ripe fruit within a dense cluster. In such cases, the robot needs to safely push unripe fruits to reach a ripe one. Nonetheless, existing approaches to planning pushing movements in cluttered environments either are computationally expensive or only deal with 2 D cases and are not suitable for fruit picking, where it needs to compute 3 D pushing movements in a short time. In this work, we present a path planning algorithm for pushing occluding fruits to reach and pick a ripe one. Our proposed approach, called Interactive Probabilistic Movement Primitives (I ProMP), is not computationally expensive (its computation time is in the order of 100 milliseconds) and is readily used for 3 D problems. We demonstrate the efficiency of our approach with pushing unripe strawberries in a simulated polytunnel. Our experimental results confirm I ProMP successfully pushes table top grown strawberries and reaches a ripe one.


Custom Extended Sobel Filters. Edge detection is widely and fundamental feature used in various algorithms in computer vision to determine the edges in an image. The edge detection algorithm is used to determine the edges in an image which are further used by various algorithms from line detection to machine learning that can determine objects based on their contour. Inspired by new convolution techniques in machine learning we discuss here the idea of extending the standard Sobel kernels, which are used to compute the gradient of an image in order to find its edges. We compare the result of our custom extended filters with the results of the standard Sobel filter and other edge detection filters using different image sets and algorithms. We present statistical results regarding the custom extended Sobel filters improvements.


Poincar ' e Sobolev inequalities with rearrangement invariant norms on the entire space. Poincar ' e Sobolev type inequalities involving rearrangement invariant norms on the entire mathbb R n are provided. Namely, inequalities of the type u P Y( mathbb R n) leq C nabla m u X( mathbb R n) , where X and Y are either rearrangement invariant spaces over mathbb R n or Orlicz spaces over mathbb R n , u is a m times weakly differentiable function whose gradient is in X , P is a polynomial of order at most m 1 , depending on u , and C is a constant independent of u , are studied. In a sense optimal rearrangement invariant spaces or Orlicz spaces Y in these inequalities when the space X is fixed are found. A variety of particular examples for customary function spaces are also provided.


Mesh based Camera Pairs Selection and Occlusion Aware Masking for Mesh Refinement. Many Multi View Stereo algorithms extract a 3D mesh model of a scene, after fusing depth maps into a volumetric representation of the space. Due to the limited scalability of such representations, the estimated model does not capture fine details of the scene. Therefore a mesh refinement algorithm is usually applied it improves the mesh resolution and accuracy by minimizing the photometric error induced by the 3D model into pairs of cameras. The choice of these pairs significantly affects the quality of the refinement and usually relies on sparse 3D points belonging to the surface. Instead, in this paper, to increase the quality of pairs selection, we exploit the 3D model (before the refinement) to compute five metrics scene coverage, mutual image overlap, image resolution, camera parallax, and a new symmetry term. To improve the refinement robustness, we also propose an explicit method to manage occlusions, which may negatively affect the computation of the photometric error. The proposed method takes into account the depth of the model while computing the similarity measure and its gradient. We quantitatively and qualitatively validated our approach on publicly available datasets against state of the art reconstruction methods.


Assessing The Factual Accuracy of Generated Text. We propose a model based metric to estimate the factual accuracy of generated text that is complementary to typical scoring schemes like ROUGE (Recall Oriented Understudy for Gisting Evaluation) and BLEU (Bilingual Evaluation Understudy). We introduce and release a new large scale dataset based on Wikipedia and Wikidata to train relation classifiers and end to end fact extraction models. The end to end models are shown to be able to extract complete sets of facts from datasets with full pages of text. We then analyse multiple models that estimate factual accuracy on a Wikipedia text summarization task, and show their efficacy compared to ROUGE and other model free variants by conducting a human evaluation study.


On the distribution of runners on a circle. Consider n runners running on a circular track of unit length with constant speeds such that k of the speeds are distinct. We show that, at some time, there will exist a sector S which contains at least S n Omega( sqrt k ) runners. The result can be generalized as follows. Let f(x,y) be a complex bivariate polynomial whose Newton polytope has k vertices. Then there exists a in mathbb C setminus 0 and a complex sector S re imath theta r 0, alpha leq theta leq beta such that the univariate polynomial f(x,a) contains at least frac beta alpha 2 pi n Omega( sqrt k ) non zero roots in S (where n is the total number of such roots and 0 leq ( beta alpha) leq 2 pi ). This shows that the Real tau Conjecture of Koiran implies the conjecture on Newton polytopes of Koiran et al.


Accurate 6D Object Pose Estimation by Pose Conditioned Mesh Reconstruction. Current 6D object pose methods consist of deep CNN models fully optimized for a single object but with its architecture standardized among objects with different shapes. In contrast to previous works, we explicitly exploit each object's distinct topological information i.e. 3D dense meshes in the pose estimation model, with an automated process and prior to any post processing refinement stage. In order to achieve this, we propose a learning framework in which a Graph Convolutional Neural Network reconstructs a pose conditioned 3D mesh of the object. A robust estimation of the allocentric orientation is recovered by computing, in a differentiable manner, the Procrustes' alignment between the canonical and reconstructed dense 3D meshes. 6D egocentric pose is then lifted using additional mask and 2D centroid projection estimations. Our method is capable of self validating its pose estimation by measuring the quality of the reconstructed mesh, which is invaluable in real life applications. In our experiments on the LINEMOD, OCCLUSION and YCB Video benchmarks, the proposed method outperforms state of the arts.


Planar Jet Stripping of Liquid Coatings Numerical Studies. In this paper, we present a detailed example of numerical study of flm formation in the context of metal coating. Subsequently we simulate wiping of the film by a planar jet. The simulations have been performed using Basilisk, a grid adapting, strongly optimized code. Mesh adaptation allows for arbitrary precision in relevant regions such as the contact line or the liquid air impact zone, while coarse grid is applied elsewhere. This, as the results indicate, is the only realistic approach for a numerical method to cover the wide range of necessary scales from the predicted film thickness (tens of microns) to the domain size (meters). The results suggest assumptions of laminar flow inside the film are not justified for heavy coats (liquid zinc). As for the wiping, our simulations supply a great amount of instantaneous results concerning initial film atomization as well as film thickness.


SSCR Iterative Language Based Image Editing via Self Supervised Counterfactual Reasoning. Iterative Language Based Image Editing (IL BIE) tasks follow iterative instructions to edit images step by step. Data scarcity is a significant issue for ILBIE as it is challenging to collect large scale examples of images before and after instruction based changes. However, humans still accomplish these editing tasks even when presented with an unfamiliar image instruction pair. Such ability results from counterfactual thinking and the ability to think about alternatives to events that have happened already. In this paper, we introduce a Self Supervised Counterfactual Reasoning (SSCR) framework that incorporates counterfactual thinking to overcome data scarcity. SSCR allows the model to consider out of distribution instructions paired with previous images. With the help of cross task consistency (CTC), we train these counterfactual instructions in a self supervised scenario. Extensive results show that SSCR improves the correctness of ILBIE in terms of both object identity and position, establishing a new state of the art (SOTA) on two IBLIE datasets (i CLEVR and CoDraw). Even with only 50 of the training data, SSCR achieves a comparable result to using complete data.


Strong solutions of stochastic differential equations with coefficients in mixed norm spaces. By studying parabolic equations in mixed norm spaces, we prove the existence and uniqueness of strong solutions to stochastic differential equations driven by Brownian motion with coefficients in spaces with mixed norm, which extends Krylov and R "ockner's result in 11 and Zhang's result in 18 .


The class of the d elliptic locus in genus 2. We compute the rational Chow class of the locus of genus 2 curves admitting a d to 1 map to a genus 1 curve, recovering a result of Faber Pagani when d 2. The answer exhibits quasi modularity properties similar to those in the Gromov Witten theory of a fixed genus 1 curve. Along the way, we give a classification of Harris Mumford admissible covers of a genus 1 curve by a genus 2 curve, which may be of independent interest. As an application of the main calculation, we compute the number of d elliptic curves in a very general family of genus 2 curves obtained by fixing five branch points of the hyperelliptic map and varying the sixth.


A quality of experience aware cross layer architecture for optimizing video streaming services. The popularity of the video services on the Internet has evolved various mechanisms that target the Quality of Experience (QoE) optimization of video traffic. The video quality has been enhanced through adapting the sending bitrates. However, rate adaptation alone is not sufficient for maintaining a good video QoE when congestion occurs. This paper presents a cross layer architecture for video streaming that is QoE aware. It combines adaptation capabilities of video applications and QoE aware admission control to optimize the trade off relationship between QoE and the number of admitted sessions. Simulation results showed the efficiency of the proposed architecture in terms of QoE and number of sessions compared to two other architectures (adaptive architecture and non adaptive architecture).


Avocado Open Source Flexible Constrained Interaction Testing for Practical Application. This paper presents the outcome of a research collaboration between academia and industry to implement and utilize the capabilities of constrained interaction testing for an open source tool for industrial scale application. The project helps promote flexibility in generating constrained interaction test suites, executing them, and setting up a test oracle to report them all within the same tool called Avocado. Avocado employs a constraint solver with computational algorithms to generate constrained interaction test suites. The environment of the application under test can be set up to execute the generated test suite with minimum effort. A test oracle can be set up by the tool to report the status and the results of the executed test cases. Avocado represents a comprehensive and flexible solution for conducting combinatorial interaction testing (CIT) and constrained CIT on an industrial application. In this paper, we present the structure of the tool and our method of implementing the algorithms in detail.


Identification of constitutive parameters from full thermal and kinematic fields application to hyperelasticity. In this paper, a new inverse identification method is developed from full kinematic and thermal field measurements. It consists in reconstructing the heat source from two approaches, a first one that requires the measurement of the temperature field and the value of the thermophysical parameters, and a second one based on the measurement of the kinematics field and a thermo hyperelastic model that contains the parameters to be identified. The identification does not require any boundary conditions since it is carried out at the local scale. In the present work, the method is applied to the identification of hyperelastic parameters from a heterogeneous heat source field. Due to large deformation undergone by the rubber specimen tested, a motion compensation technique is developed to plot the kinematic and thermal fields at the same points before reconstructing the heat source.


An Efficient Machine Learning Approach for PDF Tabulation in Turbulent Combustion Closure. Probability density function (PDF) based turbulent combustion modelling is limited by the need to store multi dimensional PDF tables that can take up large amounts of memory. A significant saving in storage can be achieved by using various machine learning techniques that represent the thermo chemical quantities of a PDF table using mathematical functions. These functions can be computationally more expensive than the existing interpolation methods used for thermo chemical quantities. More importantly, the training time can amount to a considerable portion of the simulation time. In this work, we address these issues by introducing an adaptive training algorithm that relies on multi layer perception (MLP) neural networks for regression and self organizing maps (SOMs) for clustering data to tabulate using different networks. The algorithm is designed to address both the multi dimensionality of the PDF table as well as the computational efficiency of the proposed algorithm. SOM clustering divides the PDF table into several parts based on similarities in data. Each cluster of data is trained using an MLP algorithm on simple network architectures to generate local functions for thermo chemical quantities. The algorithm is validated for the so called DLR A turbulent jet diffusion flame using both RANS and LES simulations and the results of the PDF tabulation are compared to the standard linear interpolation method. The comparison yields a very good agreement between the two tabulation techniques and establishes the MLP SOM approach as a viable method for PDF tabulation.


An efficient second order energy stable BDF scheme for the space fractional Cahn Hilliard equation. The space fractional Cahn Hilliard phase field model is more adequate and accurate in the description of the formation and phase change mechanism than the classical Cahn Hilliard model. In this article, we propose a temporal second order energy stable scheme for the space fractional Cahn Hilliard model. The scheme is based on the second order backward differentiation formula in time and a finite difference method in space. Energy stability and convergence of the scheme are analyzed, and the optimal convergence orders in time and space are illustrated numerically. Note that the coefficient matrix of the scheme is a 2 times 2 block matrix with a Toeplitz like structure in each block. Combining the advantages of this special structure with a Krylov subspace method, a preconditioning technique is designed to solve the system efficiently. Numerical examples are reported to illustrate the performance of the preconditioned iteration.


Towards Integration of Statistical Hypothesis Tests into Deep Neural Networks. We report our ongoing work about a new deep architecture working in tandem with a statistical test procedure for jointly training texts and their label descriptions for multi label and multi class classification tasks. A statistical hypothesis testing method is used to extract the most informative words for each given class. These words are used as a class description for more label aware text classification. Intuition is to help the model to concentrate on more informative words rather than more frequent ones. The model leverages the use of label descriptions in addition to the input text to enhance text classification performance. Our method is entirely data driven, has no dependency on other sources of information than the training data, and is adaptable to different classification problems by providing appropriate training data without major hyper parameter tuning. We trained and tested our system on several publicly available datasets, where we managed to improve the state of the art on one set with a high margin, and to obtain competitive results on all other ones.


Label Super Resolution with Inter Instance Loss. For the task of semantic segmentation, high resolution (pixel level) ground truth is very expensive to collect, especially for high resolution images such as gigapixel pathology images. On the other hand, collecting low resolution labels (labels for a block of pixels) for these high resolution images is much more cost efficient. Conventional methods trained on these low resolution labels are only capable of giving low resolution predictions. The existing state of the art label super resolution (LSR) method is capable of predicting high resolution labels, using only low resolution supervision, given the joint distribution between low resolution and high resolution labels. However, it does not consider the inter instance variance which is crucial in the ideal mathematical formulation. In this work, we propose a novel loss function modeling the inter instance variance. We test our method on a real world application infiltrating breast cancer region segmentation in histopathology slides. Experimental results show the effectiveness of our method.


CONAN COunter NArratives through Nichesourcing a Multilingual Dataset of Responses to Fight Online Hate Speech. Although there is an unprecedented effort to provide adequate responses in terms of laws and policies to hate content on social media platforms, dealing with hatred online is still a tough problem. Tackling hate speech in the standard way of content deletion or user suspension may be charged with censorship and overblocking. One alternate strategy, that has received little attention so far by the research community, is to actually oppose hate content with counter narratives (i.e. informed textual responses). In this paper, we describe the creation of the first large scale, multilingual, expert based dataset of hate speech counter narrative pairs. This dataset has been built with the effort of more than 100 operators from three different NGOs that applied their training and expertise to the task. Together with the collected data we also provide additional annotations about expert demographics, hate and response type, and data augmentation through translation and paraphrasing. Finally, we provide initial experiments to assess the quality of our data.


Counterexamples to the local global principle for non singular plane curves and a cubic analogue of Ankeny Artin Chowla Mordell conjecture. In this article, we introduce a systematic and uniform construction of non singular plane curves of odd degrees n geq 5 which violate the local global principle. Our construction works unconditionally for n divisible by p 2 for some odd prime number p . Moreover, our construction also works for n divisible by some p geq 5 which satisfies a conjecture on p adic properties of the fundamental units of mathbb Q (p 1 3 ) and mathbb Q ((2p) 1 3 ) . This conjecture is a natural cubic analogue of the classical Ankeny Artin Chowla Mordell conjecture for mathbb Q (p 1 2 ) and easily verified numerically.


Gamma ray spectra in the positron annihilation process of molecules at room temperature. In this study, a fully self consistent method was developed to obtain the wave functions of the positron and electrons in molecules simultaneously. The wave function of a positron at room temperature , with a characteristic energy of approximately 0.04 eV , was used to analyse the experimental results of its annihilation in helium, neon, hydrogen, and methane molecules. The interactions between the positron and molecule provide a significant correction in the gamma ray spectra of the annihilating electron positron pairs. It was also observed that high order correlations offered almost no correction in the spectra, as the interaction between the low energy positron and electrons cannot drive the electrons into excited electronic states. More accurate studies, which consider the coupling of the positron electron pair states and vibration states of nuclei, must be undertaken.


Heat kernel estimates on spaces with varying dimension. We obtain sharp two sided heat kernel estimates on spaces with varying dimension, in which two spaces of general dimension are connected at one point. On these spaces, if the dimensions of the two constituent parts are different, the volume doubling property fails with respect to the measure induced by the associated Lebesgue measures. Thus the parabolic Harnack inequalities fail and the heat kernels do not enjoy Aronson type estimates. Our estimates show that the on diagonal estimates are independent of the dimensions of the two parts of the space for small time, whereas they depend on their transience or recurrence for large time. These are multidimensional version of a space considered by Z. Q. Chen and S. Lou (Ann. Probab. 2019), in which a 1 dimensional space and a 2 dimensional space are connected at one point.


Periodic Solutions to Reversible Second Order Autonomous DDEs in Prescribed Symmetric Nonconvex Domains. The existence and spatio temporal patterns of 2 pi periodic solutions to second order reversible equivariant autonomous systems with commensurate delays are studied using the Brouwer O(2) times Gamma times mathbb Z 2 equivariant degree theory. The solutions are supposed to take their values in a prescribed symmetric domain D , while O(2) is related to the reversal symmetry combined with the autonomous form of the system. The group Gamma reflects symmetries of D and or possible coupling in the corresponding network of identical oscillators, and mathbb Z 2 is related to the oddness of the right hand side. Abstract results, based on the use of Gauss curvature of partial D , Hartman Nagumo type it a priori bounds and Brouwer equivariant degree techniques, are supported by a concrete example with Gamma D 8 the dihedral group of order 16 .


Causality Extraction based on Self Attentive BiLSTM CRF with Transferred Embeddings. Causality extraction from natural language texts is a challenging open problem in artificial intelligence. Existing methods utilize patterns, constraints, and machine learning techniques to extract causality, heavily depending on domain knowledge and requiring considerable human effort and time for feature engineering. In this paper, we formulate causality extraction as a sequence labeling problem based on a novel causality tagging scheme. On this basis, we propose a neural causality extractor with the BiLSTM CRF model as the backbone, named SCITE (Self attentive BiLSTM CRF wIth Transferred Embeddings), which can directly extract cause and effect without extracting candidate causal pairs and identifying their relations separately. To address the problem of data insufficiency, we transfer contextual string embeddings, also known as Flair embeddings, which are trained on a large corpus in our task. In addition, to improve the performance of causality extraction, we introduce a multihead self attention mechanism into SCITE to learn the dependencies between causal words. We evaluate our method on a public dataset, and experimental results demonstrate that our method achieves significant and consistent improvement compared to baselines.


Interface Development for the Nonlinear Degenerate Multidimensional Reaction Diffusion Equations. This paper presents a full classification of the short time behavior of the interfaces in the Cauchy problem for the nonlinear second order degenerate parabolic PDE u t Delta u m b u beta 0, x in mathbb R N, 0 t T with nonnegative initial function u 0 such that supp u 0 x R , u 0 sim C(R x ) alpha, quad as x to R 0, where m 1, C, alpha, beta 0, b in mathbb R . Interface surface t eta(x) may shrink, expand or remain stationary depending on the relative strength of the diffusion and reaction terms near the boundary of support, expressed in terms of the parameters m, beta, alpha, sign b and C . In all cases we prove explicit formula for the interface asymptotics, and local solution near the interface.


A Study of Genetic Algorithms for Hyperparameter Optimization of Neural Networks in Machine Translation. With neural networks having demonstrated their versatility and benefits, the need for their optimal performance is as prevalent as ever. A defining characteristic, hyperparameters, can greatly affect its performance. Thus engineers go through a process, tuning, to identify and implement optimal hyperparameters. That being said, excess amounts of manual effort are required for tuning network architectures, training configurations, and preprocessing settings such as Byte Pair Encoding (BPE). In this study, we propose an automatic tuning method modeled after Darwin's Survival of the Fittest Theory via a Genetic Algorithm (GA). Research results show that the proposed method, a GA, outperforms a random selection of hyperparameters.


The Information Mutual Information Ratio for Counting Image Features and Their Matches. Feature extraction and description is an important topic of computer vision, as it is the starting point of a number of tasks such as image reconstruction, stitching, registration, and recognition among many others. In this paper, two new image features are proposed the Information Ratio (IR) and the Mutual Information Ratio (MIR). The IR is a feature of a single image, while the MIR describes features common across two or more images.We begin by introducing the IR and the MIR and motivate these features in an information theoretical context as the ratio of the self information of an intensity level over the information contained over the pixels of the same intensity. Notably, the relationship of the IR and MIR with the image entropy and mutual information, classic information measures, are discussed. Finally, the effectiveness of these features is tested through feature extraction over INRIA Copydays datasets and feature matching over the Oxfords Affine Covariant Regions. These numerical evaluations validate the relevance of the IR and MIR in practical computer vision tasks


Cram ' e r moderate deviation expansion for martingales with one sided Sakhanenko's condition and its applications. We give a Cram ' e r moderate deviation expansion for martingales with differences having finite conditional moments of order 2 rho, rho in (0,1 , and finite one sided conditional exponential moments. The upper bound of the range of validity and the remainder of our expansion are both optimal. Consequently, it leads to a "half side" moderate deviation principle for martingales. It is worth mentioning that our result is new even for independent random variables. Moreover, applications to quantile coupling inequality, beta mixing and psi mixing sequences are discussed.


Consensus of the Hegselmann Krause opinion formation model with time delay. In this paper, we study Hegselmann Krause models with a time variable time delay. Under appropriate assumptions, we show the exponential asymptotic consensus when the time delay satisfies a suitable smallness assumption. Our main strategies for this are based on Lyapunov functional approach and careful estimates on the trajectories. We then study the mean field limit from the many individual Hegselmann Krause equation to the continuity type partial differential equation as the number N of individuals goes to infinity. For the limiting equation, we prove global in time existence and uniqueness of measure valued solutions. We also use the fact that constants appearing in the consensus estimates for the particle system are independent of N to extend the exponential consensus result to the continuum model. Finally, some numerical tests are illustrated.


Quantifying Classification Uncertainty using Regularized Evidential Neural Networks. Traditional deep neural nets (NNs) have shown the state of the art performance in the task of classification in various applications. However, NNs have not considered any types of uncertainty associated with the class probabilities to minimize risk due to misclassification under uncertainty in real life. Unlike Bayesian neural nets indirectly infering uncertainty through weight uncertainties, evidential neural networks (ENNs) have been recently proposed to support explicit modeling of the uncertainty of class probabilities. It treats predictions of an NN as subjective opinions and learns the function by collecting the evidence leading to these opinions by a deterministic NN from data. However, an ENN is trained as a black box without explicitly considering different types of inherent data uncertainty, such as vacuity (uncertainty due to a lack of evidence) or dissonance (uncertainty due to conflicting evidence). This paper presents a new approach, called a em regularized ENN , that learns an ENN based on regularizations related to different characteristics of inherent data uncertainty. Via the experiments with both synthetic and real world datasets, we demonstrate that the proposed regularized ENN can better learn of an ENN modeling different types of uncertainty in the class probabilities for classification tasks.


DualDis Dual Branch Disentangling with Adversarial Learning. In computer vision, disentangling techniques aim at improving latent representations of images by modeling factors of variation. In this paper, we propose DualDis, a new auto encoder based framework that disentangles and linearizes class and attribute information. This is achieved thanks to a two branch architecture forcing the separation of the two kinds of information, accompanied by a decoder for image reconstruction and generation. To effectively separate the information, we propose to use a combination of regular and adversarial classifiers to guide the two branches in specializing for class and attribute information respectively. We also investigate the possibility of using semi supervised learning for an effective disentangling even using few labels. We leverage the linearization property of the latent spaces for semantic image editing and generation of new images. We validate our approach on CelebA, Yale B and NORB by measuring the efficiency of information separation via classification metrics, visual image manipulation and data augmentation.


Smooth controllability of the Navier Stokes equation with Navier conditions. Application to Lagrangian controllability. We deal with the 3D Navier Stokes equation in a smooth simply connected bounded domain, with controls on a non empty open part of the boundary and a Navier slip with friction boundary condition on the remaining, uncontrolled, part of the boundary. We extend the small time global exact controllability result in J. M. Coron, F. Marbach and F. Sueur, Small time global exact controllability of the Navier Stokes equation with Navier slip with friction boundary conditions, J. Eur. Math. Soc., 22 (2020),1625 1673. from Leray weak solutions to the case of smooth solutions. Our strategy relies on a refinement of the method of well prepared dissipation of the viscous boundary layers which appear near the uncontrolled part of the boundary, which allows to handle the multi scale features in a finer topology. As a byproduct of our analysis we also obtain a small time global approximate Lagrangian controllability result, extending to the case of the Navier Stokes equations the recent results O. Glass and T. Horsin, Approximate Lagrangian controllability for the 2 D Euler equation. Application to the control of the shape of vortex patches, J. Math. Pures Appl. (9), 93 (2010), 61 90 , O. Glass and T. Horsin, Prescribing the motion of a set of particles in a three dimensional perfect fluid, SIAM J. Control Optim., 50 (2012), 2726 2742 , T. Horsin and O. Kavian, Lagrangian controllability of inviscid incompressible fluids a constructive approach, ESAIM Control Optim. Calc. Var., 23 (2017), 1179 1200 in the case of the Euler equations and the result O. Glass and T. Horsin, Lagrangian controllability at low Reynolds number, ESAIM Control Optim. Calc. Var., 22 (2016), 1040 1053 in the case of the steady Stokes equations.


Asymptotic behavior of Wronskian polynomials that are factorized via p cores and p quotients. In this paper we consider Wronskian polynomials labeled by partitions that can be factorized via the combinatorial concepts of p cores and p quotients. We obtain the asymptotic behavior for these polynomials when the p quotient is fixed while the size of the p core grows to infinity. For this purpose, we associate the p core with its characteristic vector and let all entries of this vector simultaneously tend to infinity. This result generalizes the Wronskian Hermite setting which is recovered when p 2 .


CodeVIO Visual Inertial Odometry with Learned Optimizable Dense Depth. In this work, we present a lightweight, tightly coupled deep depth network and visual inertial odometry (VIO) system, which can provide accurate state estimates and dense depth maps of the immediate surroundings. Leveraging the proposed lightweight Conditional Variational Autoencoder (CVAE) for depth inference and encoding, we provide the network with previously marginalized sparse features from VIO to increase the accuracy of initial depth prediction and generalization capability. The compact encoded depth maps are then updated jointly with navigation states in a sliding window estimator in order to provide the dense local scene geometry. We additionally propose a novel method to obtain the CVAE's Jacobian which is shown to be more than an order of magnitude faster than previous works, and we additionally leverage First Estimate Jacobian (FEJ) to avoid recalculation. As opposed to previous works relying on completely dense residuals, we propose to only provide sparse measurements to update the depth code and show through careful experimentation that our choice of sparse measurements and FEJs can still significantly improve the estimated depth maps. Our full system also exhibits state of the art pose estimation accuracy, and we show that it can run in real time with single thread execution while utilizing GPU acceleration only for the network and code Jacobian.


An order approach to SPDEs with antimonotone terms. We consider a class of parabolic stochastic partial differential equations featuring an antimonotone nonlinearity. The existence of unique maximal and minimal variational solutions is proved via a fixed point argument for nondecreasing mappings in ordered spaces. This relies on the validity of a comparison principle.


Fast Stencil Code Computation on a Wafer Scale Processor. The performance of CPU based and GPU based systems is often low for PDE codes, where large, sparse, and often structured systems of linear equations must be solved. Iterative solvers are limited by data movement, both between caches and memory and between nodes. Here we describe the solution of such systems of equations on the Cerebras Systems CS 1, a wafer scale processor that has the memory bandwidth and communication latency to perform well. We achieve 0.86 PFLOPS on a single wafer scale system for the solution by BiCGStab of a linear system arising from a 7 point finite difference stencil on a 600 X 595 X 1536 mesh, achieving about one third of the machine's peak performance. We explain the system, its architecture and programming, and its performance on this problem and related problems. We discuss issues of memory capacity and floating point precision. We outline plans to extend this work towards full applications.


Stochastic integration with respect to arbitrary collections of continuous semimartingales and applications to Mathematical Finance. Stochastic integrals are defined with respect to a collection P (P i , i in I) of continuous semimartingales, imposing no assumptions on the index set I and the subspace of mathbb R I where P takes values. The integrals are constructed though finite dimensional approximation, identifying the appropriate local geometry that allows extension to infinite dimensions. For local martingale integrators, the resulting space mathsf S (P) of stochastic integrals has an operational characterisation via a corresponding set of integrands mathsf R (C) , constructed with only reference the covariation structure C of P . This bijection between mathsf R (C) and the (closed in the semimartingale topology) set mathsf S (P) extends to families of continuous semimartingale integrators for which the drift process of P belongs to mathsf R (C) . In the context of infinite asset models in Mathematical Finance, the latter structural condition is equivalent to a certain natural form of market viability. The enriched class of wealth processes via extended stochastic integrals leads to exact analogues of optional decomposition and hedging duality as the finite asset case. A corresponding characterisation of market completeness in this setting is provided.


Classifying Breast Histopathology Images with a Ductal Instance Oriented Pipeline. In this study, we propose the Ductal Instance Oriented Pipeline (DIOP) that contains a duct level instance segmentation model, a tissue level semantic segmentation model, and three levels of features for diagnostic classification. Based on recent advancements in instance segmentation and the Mask R CNN model, our duct level segmenter tries to identify each ductal individual inside a microscopic image then, it extracts tissue level information from the identified ductal instances. Leveraging three levels of information obtained from these ductal instances and also the histopathology image, the proposed DIOP outperforms previous approaches (both feature based and CNN based) in all diagnostic tasks for the four way classification task, the DIOP achieves comparable performance to general pathologists in this unique dataset. The proposed DIOP only takes a few seconds to run in the inference time, which could be used interactively on most modern computers. More clinical explorations are needed to study the robustness and generalizability of this system in the future.


Caching in or falling back at the Sevilleta. Foraging in uncertain environments requires balancing the risks associated with finding alternative resources against potential gains. In aridland environments characterized by extreme variation in the amount and seasonal timing of primary production, consumer communities must weigh the risks associated with foraging for preferred seeds that can be cached against fallback foods of low nutritional quality (e.g., leaves) that must be consumed immediately. Here we explore the influence of resource scarcity, body size, and seasonal uncertainty on the expected foraging behaviors of caching rodents in the northern Chihuahaun Desert by integrating these elements with a Stochastic Dynamic Program (SDP) to determine fitness maximizing foraging strategies. We demonstrate that resource limited environments promote dependence on fallback foods, reducing the likelihood of starvation while increasing future risk exposure. Our results point to a qualitative difference in the use of fallback foods and the fitness benefits of caching at the threshold body size of 50 g. Above this threshold the fitness benefits are greater for consumers with smaller caches, affirming empirical observations of cache use among rodents in such dynamic environments. This suggests that larger bodied consumers with larger caches may be less sensitive to the future uncertainties in monsoonal onset predicted by global climate scenarios.


Partitions and the maximal excludant. For each nonempty integer partition pi , we define the maximal excludant of pi to be the largest nonnegative integer smaller than the largest part of pi that is not a part of pi . Let sigma ! operatorname maex (n) be the sum of maximal excludants over all partitions of n . We show that the generating function of sigma ! operatorname maex (n) is closely related to a mock theta function studied by Andrews textit et al. and Cohen. Further, we show that, as n to infty , sigma ! operatorname maex (n) is asymptotic to the sum of largest parts of all partitions of n . Finally, the expectation of the difference of the largest part and the maximal excludant over all partitions of n is shown to converge to 1 as n to infty .


Structural Properties of the Stable Core. The stable core, an inner model of the form langle L S , in, S rangle for a simply definable predicate S , was introduced by the first author in Fri12 , where he showed that V is a class forcing extension of its stable core. We study the structural properties of the stable core and its interactions with large cardinals. We show that the operatorname GCH can fail at all regular cardinals in the stable core, that the stable core can have a discrete proper class of measurable cardinals, but that measurable cardinals need not be downward absolute to the stable core. Moreover, we show that, if large cardinals exist in V , then the stable core has inner models with a proper class of measurable limits of measurables, with a proper class of measurable limits of measurable limits of measurables, and so forth. We show this by providing a characterization of natural inner models L C 1, dots, C n for specially nested class clubs C 1, dots, C n , like those arising in the stable core, generalizing recent results of Welch Wel19 .


Chromatic fixed point theory and the Balmer spectrum for extraspecial 2 groups. In the early 1940's, P.A.Smith showed that if a finite p group G acts on a finite complex X that is mod p acyclic, then its space of fixed points, X G, will also be mod p acyclic. In their recent study of the Balmer spectrum of equivariant stable homotopy theory, Balmer and Sanders were led to study chromatic versions of this statement, with the question given H G and n, what is the smallest r such that if X H is acyclic in the (n r)th Morava K theory, then X G must be acyclic in the nth Morava K theory? Barthel et.al. then answered this when G is abelian, by finding general lower and upper bounds for these blue shift' numbers which agree in the abelian case. In our paper, we first prove that these potential chromatic versions of Smith's theorem are equivalent to chromatic versions of a 1952 theorem of E.E.Floyd, which replaces acyclicity by bounds on dimensions of homology, and thus applies to all finite G spaces. This unlocks new techniques and applications in chromatic fixed point theory. In one direction, we are able to use classic constructions and representation theory to search for blue shift number lower bounds. We give a simple new proof of the known lower bound theorem, and then get the first results about nonabelian 2 groups that don't follow from previously known results. In particular, we are able to determine all blue shift numbers for extraspecial 2 groups. As samples of new applications, we offer a new result about involutions on the 5 dimensional Wu manifold, and a calculation of the mod 2 K theory of a 100 dimensional real Grassmanian that uses a C 4 chromatic Floyd theorem.


Vehicle Ego Lane Estimation with Sensor Failure Modeling. We present a probabilistic ego lane estimation algorithm for highway like scenarios that is designed to increase the accuracy of the ego lane estimate, which can be obtained relying only on a noisy line detector and tracker. The contribution relies on a Hidden Markov Model (HMM) with a transient failure model. The proposed algorithm exploits the OpenStreetMap (or other cartographic services) road property lane number as the expected number of lanes and leverages consecutive, possibly incomplete, observations. The algorithm effectiveness is proven by employing different line detectors and showing we could achieve much more usable, i.e. stable and reliable, ego lane estimates over more than 100 Km of highway scenarios, recorded both in Italy and Spain. Moreover, as we could not find a suitable dataset for a quantitative comparison with other approaches, we collected datasets and manually annotated the Ground Truth about the vehicle ego lane. Such datasets are made publicly available for usage from the scientific community.


PDE eigenvalue iterations with applications in two dimensional photonic crystals. We consider PDE eigenvalue problems as they occur in two dimensional photonic crystal modeling. If the permittivity of the material is frequency dependent, then the eigenvalue problem becomes nonlinear. In the lossless case, linearization techniques allow an equivalent reformulation as an extended but linear and Hermitian eigenvalue problem, which satisfies a Garding inequality. For this, known iterative schemes for the matrix case such as the inverse power or the Arnoldi method are extended to the infinite dimensional case. We prove convergence of the inverse power method on operator level and consider its combination with adaptive mesh refinement, leading to substantial computational speed ups. For more general photonic crystals, which are described by the Drude Lorentz model, we propose the direct application of a Newton type iteration. Assuming some a priori knowledge on the eigenpair of interest, we prove local quadratic convergence of the method. Finally, numerical experiments confirm the theoretical findings of the paper.


On the Number of Independent Sets in Uniform, Regular, Linear Hypergraphs. We study the problems of bounding the number weak and strong independent sets in r uniform, d regular, n vertex linear hypergraphs with no cross edges. In the case of weak independent sets, we provide an upper bound that is tight up to the first order term for all (fixed) r ge 3 , with d and n going to infinity. In the case of strong independent sets, for r 3 , we provide an upper bound that is tight up to the second order term, improving on a result of Ordentlich Roth (2004). The tightness in the strong independent set case is established by an explicit construction of a 3 uniform, d regular, cross edge free, linear hypergraph on n vertices which could be of interest in other contexts. We leave open the general case(s) with some conjectures. Our proofs use the occupancy method introduced by Davies, Jenssen, Perkins, and Roberts (2017).


What is Wrong with Continual Learning in Medical Image Segmentation?. Continual learning protocols are attracting increasing attention from the medical imaging community. In a continual setup, data from different sources arrives sequentially and each batch is only available for a limited period. Given the inherent privacy risks associated with medical data, this setup reflects the reality of deployment for deep learning diagnostic radiology systems. Many techniques exist to learn continuously for classification tasks, and several have been adapted to semantic segmentation. Yet most have at least one of the following flaws a) they rely too heavily on domain identity information during inference, or b) data as seen in early training stages does not profit from training with later data. In this work, we propose an evaluation framework that addresses both concerns, and introduce a fair multi model benchmark. We show that the benchmark outperforms two popular continual learning methods for the task of T2 weighted MR prostate segmentation.


Data augmentation and image understanding. Interdisciplinary research is often at the core of scientific progress. This dissertation explores some advantageous synergies between machine learning, cognitive science and neuroscience. In particular, this thesis focuses on vision and images. The human visual system has been widely studied from both behavioural and neuroscientific points of view, as vision is the dominant sense of most people. In turn, machine vision has also been an active area of research, currently dominated by the use of artificial neural networks. This work focuses on learning representations that are more aligned with visual perception and the biological vision. For that purpose, I have studied tools and aspects from cognitive science and computational neuroscience, and attempted to incorporate them into machine learning models of vision. A central subject of this dissertation is data augmentation, a commonly used technique for training artificial neural networks to augment the size of data sets through transformations of the images. Although often overlooked, data augmentation implements transformations that are perceptually plausible, since they correspond to the transformations we see in our visual world changes in viewpoint or illumination, for instance. Furthermore, neuroscientists have found that the brain invariantly represents objects under these transformations. Throughout this dissertation, I use these insights to analyse data augmentation as a particularly useful inductive bias, a more effective regularisation method for artificial neural networks, and as the framework to analyse and improve the invariance of vision models to perceptually plausible transformations. Overall, this work aims to shed more light on the properties of data augmentation and demonstrate the potential of interdisciplinary research.


Tunable strong coupling of two adjacent optical lambda 2 Fabry P 'erot microresonators. Optical half wave microresonators enable to control the optical mode density around a quantum system and thus to modify the temporal emission properties. If the coupling rate exceeds the damping rate, strong coupling between a microresonator and a quantum system can be achieved, leading to a coherent energy exchange and the creation of new hybrid modes. Here, we investigate strong coupling between two adjacent lambda 2 Fabry P 'erot microresonators, where the resonance of one microresonator can be actively tuned across the resonance of the other microresonator. The transmission spectra of the coupled microresonators show a clear anticrossing behavior, which proves that the two cavity modes are strongly coupled. Additionally, we can vary the coupling rate by changing the resonator geometry and thereby investigate the basic principles of strong coupling with a well defined model system. Finally, we will show that such a coupled system can theoretically be modelled by coupled damped harmonic oscillators.


Highly connected 7 manifolds, the linking form and non negative curvature. In a recent article, the authors constructed a six parameter family of highly connected 7 manifolds which admit an SO(3) invariant metric of non negative sectional curvature. Each member of this family is the total space of a Seifert fibration with generic fibre S 3 and, in particular, has the cohomology ring of an S 3 bundle over S 4 . In the present article, the linking form of these manifolds is computed and used to demonstrate that the family contains infinitely many manifolds which are not even homotopy equivalent to an S 3 bundle over S 4 , the first time that any such spaces have been shown to admit non negative sectional curvature.


OfdmFi Enabling Cross Technology Communication Between LTE U LAA and WiFi. Despite exhibiting very high theoretical data rates, in practice, the performance of LTE U LAA and WiFi networks is severely limited under cross technology coexistence scenarios in the unlicensed 5GHz band. As a remedy, recent research shows the need for collaboration and coordination among co located networks. However, enabling such collaboration requires an information exchange that is hard to realize due to completely incompatible network protocol stacks. We propose OfdmFi, the first cross technology communication scheme that enables direct bidirectional over the air communication between LTE U LAA and WiFi with minimal overhead to their legacy transmissions. Requiring neither hardware nor firmware changes in commodity technologies, OfdmFi leverages the standard compliant possibility of generating message bearing power patterns, similar to punched cards from the early days of computers, in the time frequency resource grid of an OFDM transmitter which can be cross observed and decoded by a heterogeneous OFDM receiver. As a proof of concept, we have designed and implemented a prototype using commodity devices and SDR platforms. Our comprehensive evaluation reveals that OfdmFi achieves robust bidirectional CTC between both systems with a data rate of up to 84kbps, which is more than 125x faster than state of the art.


An Efficient Transfer Learning Framework for Multiagent Reinforcement Learning. Transfer Learning has shown great potential to enhance single agent Reinforcement Learning (RL) efficiency. Similarly, Multiagent RL (MARL) can also be accelerated if agents can share knowledge with each other. However, it remains a problem of how an agent should learn from other agents. In this paper, we propose a novel Multiagent Policy Transfer Framework (MAPTF) to improve MARL efficiency. MAPTF learns which agent's policy is the best to reuse for each agent and when to terminate it by modeling multiagent policy transfer as the option learning problem. Furthermore, in practice, the option module can only collect all agent's local experiences for update due to the partial observability of the environment. While in this setting, each agent's experience may be inconsistent with each other, which may cause the inaccuracy and oscillation of the option value's estimation. Therefore, we propose a novel option learning algorithm, the successor representation option learning to solve it by decoupling the environment dynamics from rewards and learning the option value under each agent's preference. MAPTF can be easily combined with existing deep RL and MARL approaches, and experimental results show it significantly boosts the performance of existing methods in both discrete and continuous state spaces.


Optomagnets in nonmagnetic plasmonic nanostructures. Using a hydrodynamic model of the free electron gas of metal, we theoretically investigate optically induced DC current loops in a plasmonic nanostructure. Such current loops originate from an optical rectification process relying on three electromotive forces, one of which arises from an optical spin orbit interaction. The resulting static magnetic field is found to be maximum and dramatically confined at the corners of the plasmonic nanostructure, which reveals the ability of metallic discontinuities to concentrate and tailor static magnetic fields on the nanoscale.


Semantic Aware Knowledge Preservation for Zero Shot Sketch Based Image Retrieval. Sketch based image retrieval (SBIR) is widely recognized as an important vision problem which implies a wide range of real world applications. Recently, research interests arise in solving this problem under the more realistic and challenging setting of zero shot learning. In this paper, we investigate this problem from the viewpoint of domain adaptation which we show is critical in improving feature embedding in the zero shot scenario. Based on a framework which starts with a pre trained model on ImageNet and fine tunes it on the training set of SBIR benchmark, we advocate the importance of preserving previously acquired knowledge, e.g., the rich discriminative features learned from ImageNet, to improve the model's transfer ability. For this purpose, we design an approach named Semantic Aware Knowledge prEservation (SAKE), which fine tunes the pre trained model in an economical way and leverages semantic information, e.g., inter class relationship, to achieve the goal of knowledge preservation. Zero shot experiments on two extended SBIR datasets, TU Berlin and Sketchy, verify the superior performance of our approach. Extensive diagnostic experiments validate that knowledge preserved benefits SBIR in zero shot settings, as a large fraction of the performance gain is from the more properly structured feature embedding for photo images. Code is available at https github.com qliu24 SAKE.


A Novel Online Action Detection Framework from Untrimmed Video Streams. Online temporal action localization from an untrimmed video stream is a challenging problem in computer vision. It is challenging because of i) in an untrimmed video stream, more than one action instance may appear, including background scenes, and ii) in online settings, only past and current information is available. Therefore, temporal priors, such as the average action duration of training data, which have been exploited by previous action detection methods, are not suitable for this task because of the high intra class variation in human actions. We propose a novel online action detection framework that considers actions as a set of temporally ordered subclasses and leverages a future frame generation network to cope with the limited information issue associated with the problem outlined above. Additionally, we augment our data by varying the lengths of videos to allow the proposed method to learn about the high intra class variation in human actions. We evaluate our method using two benchmark datasets, THUMOS'14 and ActivityNet, for an online temporal action localization scenario and demonstrate that the performance is comparable to state of the art methods that have been proposed for offline settings.


Group distance magic Cartesian product of two cycles. Let G (V,E) be a graph and Gamma an Abelian group both of order n . A Gamma distance magic labeling of G is a bijection ell colon V rightarrow Gamma for which there exists mu in Gamma such that sum x in N(v) ell (x) mu for all v in V , where N(v) is the neighborhood of v . Froncek ( cite ref CicAus ) showed that the Cartesian product C m square C n , m, n geq3 is a mathbb Z mn distance magic graph if and only if mn is even. It is also known that if mn is even then C m square C n has mathbb Z alpha times mathcal A magic labeling for any alpha equiv 0 pmod rm lcm (m,n) and any Abelian group mathcal A of order mn alpha . cite ref CicAus However, the full characterization of group distance magic Cartesian product of two cycles is still unknown. In the paper we make progress towards the complete solution this problem by proving some necessary conditions. We further prove that for n even the graph C n square C n has a Gamma distance magic labeling for any Abelian group Gamma of order n 2 . Moreover we show that if m neq n , then there does not exist a ( mathbb Z 2) m n distance magic labeling of the Cartesian product C 2 m square C 2 n . We also give necessary and sufficient condition for C m square C n with gcd(m,n) 1 to be Gamma distance magic.


Runaway dynamics in the DT phase of ITER operations in the presence of massive material injection. A runaway avalanche can result in a conversion of the initial plasma current into a relativistic electron beam in high current tokamak disruptions. We investigate the effect of massive material injection of deuterium noble gas mixtures on the coupled dynamics of runaway generation, resistive diffusion of the electric field, and temperature evolution during disruptions in the DT phase of ITER operations. We explore the dynamics over a wide range of injected concentrations and find substantial runaway currents, unless the current quench time is intolerably long. The reason is that the cooling associated with the injected material leads to high induced electric fields that, in combination with a significant recombination of hydrogen isotopes, leads to a large avalanche generation. Balancing Ohmic heating and radiation losses provides qualitative insights into the dynamics, however, an accurate modeling of the temperature evolution based on energy balance appears crucial for quantitative predictions.


An Enriched Automated PV Registry Combining Image Recognition and 3D Building Data. While photovoltaic (PV) systems are installed at an unprecedented rate, reliable information on an installation level remains scarce. As a result, automatically created PV registries are a timely contribution to optimize grid planning and operations. This paper demonstrates how aerial imagery and three dimensional building data can be combined to create an address level PV registry, specifying area, tilt, and orientation angles. We demonstrate the benefits of this approach for PV capacity estimation. In addition, this work presents, for the first time, a comparison between automated and officially created PV registries. Our results indicate that our enriched automated registry proves to be useful to validate, update, and complement official registries.


Maternal education and offspring birthweight for gestational age the mediating effect of smoking during pregnancy. Background Small for gestational age (SGA) birthweight, a risk factor of infant mortality and delayed child development, is associated with maternal educational attainment. Maternal tobacco smoking during pregnancy could contribute to this association. We aimed to quantify the contribution of maternal smoking during pregnancy to social inequalities in child birthweight for gestational age (GA). Methods Data come from the French nation wide ELFE cohort study, which included 17,155 singletons. Birthweights for GA were calculated using z scores. Associations between maternal educational attainment, tobacco smoking during pregnancy and child birthweight for GA were ascertained using mediation analysis. Mediation analyses were also stratified by maternal pre pregnancy body mass index.Results Low maternal educational attainment was associated with an increased odd of tobacco smoking during pregnancy (adjusted OR (ORa) 2.58 95 CI 2.34, 2.84 ) as well as a decrease in child birthweight for GA (RRa 0.94 95 0.91, 0.98 ). Tobacco smoking during pregnancy was associated with a decrease in offspring birthweight for GA (RRa 0.73 95 CI 0.70, 0.76 ). Mediation analysis suggests that 39 of the effect of low maternal educational attainment on offspring birthweight for GA was mediated by smoking during pregnancy. A more important direct effect of maternal educational attainment on child birthweight for GA was observed among underweight women (RRa 0.82 95 CI 0.72, 0.93 ).Conclusions The relationship between maternal educational attainment and child birthweight for GA is strongly mediated by smoking during pregnancy. Reducing maternal smoking could lessen the occurrence of infant SGA and decrease socioeconomic inequalities in birthweight for GA.Keywords Birthweight, educational attainment, tobacco smoking, pregnancy, mediation analysis, health inequalities


Heating of the Solar Wind by Ion Acoustic Waves. Calculations are made of the energy supplied to the solar wind by the rapid decay of density fluctuations, identified as ion acoustic waves. It is shown that this process supplies an appreciable fraction, perhaps nearly all, of the observed heating of the solar wind. This process may be an important step in the conversion of magnetic turbulence to particle energy


Reconstruction of Backbone Curves for Snake Robots. Snake robots composed of alternating single axis pitch and yaw joints have many internal degrees of freedom, which make them capable of versatile three dimensional locomotion. In motion planning process, snake robot motions are often designed kinematically by a chronological sequence of continuous backbone curves that capture desired macroscopic shapes of the robot. However, as the geometric arrangement of single axis rotary joints creates constraints on the rotations in the robot, it is challenging for the robot to reconstruct an arbitrary 3D curve. When the robot configuration does not accurately achieve the desired shapes defined by these backbone curves, the robot can have unexpected contacts with the environment, such that the robot does not achieve the desired motion. In this work, we propose a method for snake robots to reconstruct desired backbone curves by posing an optimization problem that exploits the robot's geometric structure. We verified that our method enables fast and accurate curve configuration conversions through its applications to commonly used 3D gaits. We also demonstrated via robot experiments that 1) our method results in smooth locomotion on the robot 2) our method allows the robot to approach the numerically predicted locomotive performance of a sequence of continuous backbone curve.


TP LSD Tri Points Based Line Segment Detector. This paper proposes a novel deep convolutional model, Tri Points Based Line Segment Detector (TP LSD), to detect line segments in an image at real time speed. The previous related methods typically use the two step strategy, relying on either heuristic post process or extra classifier. To realize one step detection with a faster and more compact model, we introduce the tri points representation, converting the line segment detection to the end to end prediction of a root point and two endpoints for each line segment. TP LSD has two branches tri points extraction branch and line segmentation branch. The former predicts the heat map of root points and the two displacement maps of endpoints. The latter segments the pixels on straight lines out from background. Moreover, the line segmentation map is reused in the first branch as structural prior. We propose an additional novel evaluation metric and evaluate our method on Wireframe and YorkUrban datasets, demonstrating not only the competitive accuracy compared to the most recent methods, but also the real time run speed up to 78 FPS with the 320 times 320 input.


Learning Stereo Matchability in Disparity Regression Networks. Learning based stereo matching has recently achieved promising results, yet still suffers difficulties in establishing reliable matches in weakly matchable regions that are textureless, non Lambertian, or occluded. In this paper, we address this challenge by proposing a stereo matching network that considers pixel wise matchability. Specifically, the network jointly regresses disparity and matchability maps from 3D probability volume through expectation and entropy operations. Next, a learned attenuation is applied as the robust loss function to alleviate the influence of weakly matchable pixels in the training. Finally, a matchability aware disparity refinement is introduced to improve the depth inference in weakly matchable regions. The proposed deep stereo matchability (DSM) framework can improve the matching result or accelerate the computation while still guaranteeing the quality. Moreover, the DSM framework is portable to many recent stereo networks. Extensive experiments are conducted on Scene Flow and KITTI stereo datasets to demonstrate the effectiveness of the proposed framework over the state of the art learning based stereo methods.


Heat kernel estimates and their stabilities for symmetric jump processes with general mixed polynomial growths on metric measure spaces. In this paper, we consider a symmetric pure jump Markov process X on a general metric measure space that satisfies volume doubling conditions. We study estimates of the transition density p(t,x,y) of X and their stabilities when the jumping kernel for X has general mixed polynomial growths. Unlike 24 , in our setting, the rate function which gives growth of jumps of X may not be comparable to the scale function which provides the borderline for p(t,x,y) to have either near diagonal estimates or off diagonal estimates. Under the assumption that the lower scaling index of scale function is strictly bigger than 1 , we establish stabilities of heat kernel estimates. If underlying metric measure space admits a conservative diffusion process which has a transition density satisfying a general sub Gaussian bounds, we obtain heat kernel estimates which generalize 2, Theorems 1.2 and 1.4 . In this case, scale function is explicitly given by the rate function and the function F related to walk dimension of underlying space. As an application, we proved that the finite moment condition in terms of F on such symmetric Markov process is equivalent to a generalized version of Khintchine type law of iterated logarithm at the infinity.


Information Decomposition based on Cooperative Game Theory. We offer a new approach to the information decomposition problem in information theory given a 'target' random variable co distributed with multiple 'source' variables, how can we decompose the mutual information into a sum of non negative terms that quantify the contributions of each random variable, not only individually but also in combination? We derive our composition from cooperative game theory. It can be seen as assigning a "fair share" of the mutual information to each combination of the source variables. Our decomposition is based on a different lattice from the usual 'partial information decomposition' (PID) approach, and as a consequence our decomposition has a smaller number of terms it has analogs of the synergy and unique information terms, but lacks terms corresponding to redundancy. Because of this, it is able to obey equivalents of the axioms known as 'local positivity' and 'identity', which cannot be simultaneously satisfied by a PID measure.


A guide to choosing and implementing reference models for social network analysis. Analyzing social networks is challenging. Key features of relational data require the use of non standard statistical methods such as developing system specific null, or reference, models that randomize one or more components of the observed data. Here we review a variety of randomization procedures that generate reference models for social network analysis. Reference models provide an expectation for hypothesis testing when analyzing network data. We outline the key stages in producing an effective reference model and detail four approaches for generating reference distributions permutation, resampling, sampling from a distribution, and generative models. We highlight when each type of approach would be appropriate and note potential pitfalls for researchers to avoid. Throughout, we illustrate our points with examples from a simulated social system. Our aim is to provide social network researchers with a deeper understanding of analytical approaches to enhance their confidence when tailoring reference models to specific research questions.


Geodesic completeness of the H 3 2 metric on mathrm Diff (S 1 ) . Of concern is the study of the long time existence of solutions to the Euler Arnold equation of the right invariant H 3 2 metric on the diffeomorphism group of the circle. In previous work by Escher and Kolev it has been shown that this equation admits long time solutions if the order s of the metric is greater than 3 2 , the behaviour for the critical Sobolev index s 3 2 has been left open. In this article we fill this gap by proving the analogous result also for the boundary case. The behaviour of the H 3 2 metric is, however, still different from its higher order counter parts, as it does not induce a complete Riemannian metric on any group of Sobolev diffeomorphisms.


Answering Summation Queries for Numerical Attributes under Differential Privacy. In this work we explore the problem of answering a set of sum queries under Differential Privacy. This is a little understood, non trivial problem especially in the case of numerical domains. We show that traditional techniques from the literature are not always the best choice and a more rigorous approach is necessary to develop low error algorithms.


Power Error Locating Pairs. We present a new decoding algorithm based on error locating pairs and correcting an amount of errors exceeding half the minimum distance. When applied to Reed Solomon or algebraic geometry codes, the algorithm is a reformulation of the so called em power decoding algorithm. Asymptotically, it corrects errors up to Sudan's radius. In addition, this new framework applies to any code benefiting from an error locating pair. Similarly to Pellikaan's and K "otter's approach for unique algebraic decoding, our algorithm provides a unified point of view for decoding codes with an algebraic structure beyond the half minimum distance. It permits to get an abstract description of decoding using only codes and linear algebra and without involving the arithmetic of polynomial and rational function algebras used for the definition of the codes themselves. Such algorithms can be valuable for instance for cryptanalysis to construct a decoding algorithm of a code without having access to the hidden algebraic structure of the code.


Approximate representation of the solutions of fractional elliptical BVP through the solution of parabolic IVP. Boundary value problem for a fractional power of an elliptic operator is considered. An integral representation by means of a standard solution problem for parabolic equations is used to solve such problems. Quadrature generalized Gauss Laguerre formulas are constructed. We examine the effect of key parameters on the accuracy of the approximate solution the number of nodes of the quadrature and fractional power of the operator. Computational experiments were performed to model two dimensional problem with a fractional power of an elliptic operator.


Fukaya categories of surfaces, spherical objects, and mapping class groups. We prove that every spherical object in the derived Fukaya category of a closed surface of genus at least two whose Chern character represents a non zero Hochschild homology class is quasi isomorphic to a simple closed curve equipped with a rank one local system. (The homological hypothesis is necessary.) This largely answers a question of Haiden, Katzarkov and Kontsevich. It follows that there is a natural surjection from the autoequivalence group of the Fukaya category to the mapping class group. The proofs appeal to and illustrate numerous recent developments quiver algebra models for wrapped categories, sheafifying the Fukaya category, equivariant Floer theory for finite and continuous group actions, and homological mirror symmetry. An application to high dimensional symplectic mapping class groups is included.


Linearization of monomial ideals. We introduce a construction, called linearization, that associates to any monomial ideal I an ideal mathrm Lin (I) in a larger polynomial ring. The main feature of this construction is that the new ideal mathrm Lin (I) has linear quotients. In particular, since mathrm Lin (I) is generated in a single degree, it follows that mathrm Lin (I) has a linear resolution. We investigate some properties of this construction, such as its interplay with classical operations on ideals, its Betti numbers, functoriality and combinatorial interpretations. We moreover introduce an auxiliary construction, called equification, that associates to any monomial ideal a new monomial ideal generated in a single degree, in a polynomial ring with one more variable. We study some of the homological and combinatorial properties of the equification, which can be seen as a monomial analogue of the well known homogenization construction.


On the inverse best approximation property of systems of subspaces of a Hilbert space. Let H be a Hilbert space and H 1,...,H n be closed subspaces of H . Denote by P k the orthogonal projection onto H k , k 1,2,...,n . Following Patrick L. Combettes and Noli N. Reyes, we will say that the system of subspaces H 1,...,H n possesses the inverse best approximation property (IBAP) if for arbitrary elements x 1 in H 1,...,x n in H n there exists an element x in H such that P k x x k for all k 1,2,...,n . We provide various new necessary and sufficient conditions for a system of n subspaces to possess the IBAP. Using the main characterization theorem, we study properties of the systems of subspaces which possess the IBAP, obtain a sufficient condition for a system of subspaces to possess the IBAP, and provide examples of systems of subspaces which possess the IBAP. These results are applied to a problem of probability theory. Let ( Omega, mathcal F , mu) be a probability space and mathcal F 1,..., mathcal F n be sub sigma algebras of mathcal F . We will say that the collection mathcal F 1,..., mathcal F n possesses the inverse marginal property (IMP) if for arbitrary random variables xi 1,..., xi n such that (1) xi k is mathcal F k measurable, k 1,2,...,n (2) E xi k 2 infty , k 1,2,...,n (3) E xi 1 E xi 2 ... E xi n , there exists a random variable xi such that E xi 2 infty and E( xi mathcal F k) xi k for all k 1,2,...,n . We will show that a collection of sub sigma algebras possesses the IMP if and only if the system of corresponding marginal subspaces possesses the IBAP. We consider two examples in the first example Omega mathbb N , in the second example Omega a,b) . For these examples we establish relations between the IMP, the IBAP, closedness of the sum of marginal subspaces and "fast decreasing" of tails of the measure mu .


A Frame Decomposition of the Atmospheric Tomography Operator. We consider the problem of atmospheric tomography, as it appears for example in adaptive optics systems for extremely large telescopes. We derive a frame decomposition, i.e., a decomposition in terms of a frame, of the underlying atmospheric tomography operator, extending the singular value type decomposition results of Neubauer and Ramlau (2017) by allowing a mixture of both natural and laser guide stars, as well as arbitrary aperture shapes. Based on both analytical considerations as well as numerical illustrations, we provide insight into the properties of the derived frame decomposition and its building blocks.


Wideband THz Low Scattering Surface Based on Combination of Diffusion and Absorption. In this paper, a wideband and low scattering metasurface in terahertz (THz) is introduced. The proposed coding metasurface is composed of four different graphene square patches in one layer, which has a distinct bias voltage. By optimizing the chemical potential of each patch, the reflection phase and amplitude of a designed element can be controlled in a real time manner. The chemical potential optimizing approach is a promising method to develop metasurfaces, which can tune the reflection phase, magnitude, or polarization dynamically at different frequencies spectrum. Indeed, by adjusting the metasurface reflection profile, the suggested device can manipulate the reflected wave. Also, this metasurface can reduce reflection energy in the wide band spectrum. The programmable surface disperses reflected power in various directions in a first frequency band and converts incident electromagnetic waves into heat at second frequency band. The obtained results demonstrate that more than 10 dB reflection reduction can be realized over 1.02 to 2.82 THz under both TE and TM polarized wave incidences. Due to the conformal properties of the graphene monolayer, the stealth feature of the metasurface is well preserved while wrapping around a metallic curved object. This optimization method has an excellent aptitude for phase, magnitude, and polarization control in various beamforming applications at the THz spectrum for high resolution imaging and stealth technology.


A Transformational Approach to Resource Analysis with Typed norms Inference. In order to automatically infer the resource consumption of programs, analyzers track how data sizes change along program's execution. Typically, analyzers measure the sizes of data by applying norms which are mappings from data to natural numbers that represent the sizes of the corresponding data. When norms are defined by taking type information into account, they are named typed norms. This article presents a transformational approach to resource analysis with typed norms that are inferred by a data flow analysis. The analysis is based on a transformation of the program into an intermediate abstract program in which each variable is abstracted with respect to all considered norms which are valid for its type. We also present the data flow analysis to automatically infer the required, useful, typed norms from programs. Our analysis is formalized on a simple rule based representation to which programs written in different programming paradigms (e.g., functional, logic, imperative) can be automatically translated. Experimental results on standard benchmarks used by other type based analyzers show that our approach is both efficient and accurate in practice. Under consideration in Theory and Practice of Logic Programming (TPLP).


A First Order Approach To Accelerated Value Iteration. Markov decision processes (MDPs) are used to model stochastic systems in many applications. Several efficient algorithms to compute optimal policies have been studied in the literature, including value iteration (VI) and policy iteration. However, these do not scale well especially when the discount factor for the infinite horizon discounted reward, lambda , gets close to 1 . In particular, the running time scales as O left( 1 (1 lambda) right) for these algorithms. In this paper, our goal is to design new algorithms that scale better than previous approaches when lambda approaches 1 . Our main contribution is to present a connection between VI and gradient descent and adapt the ideas of acceleration and momentum in convex optimization to design faster algorithms for MDPs. We prove theoretical guarantees of a faster convergence of our algorithms for the computation of the value function of a policy, where the running times of our algorithms scale as O left( 1 sqrt 1 lambda right) for reversible MDP instances. The improvement is quite analogous to Nesterov's acceleration and momentum in convex optimization. We also provide a lower bound on the convergence properties of any first order algorithm for solving MDPs, presenting a family of MDPs instances for which no algorithm can converge faster than VI when the number of iterations is smaller than the number of states. We introduce a Safe Accelerated Value Iteration (S AVI), which alternates between accelerated updates and value iteration updates. Our algorithm S AVI is worst case optimal and retains the theoretical convergence properties of VI while exhibiting strong empirical performances, providing significant speedups compared to classical approaches (up to one order of magnitude in many cases) for a large test bed of MDP instances.


2nd Place Solution to Instance Segmentation of IJCAI 3D AI Challenge 2020. Compared with MS COCO, the dataset for the competition has a larger proportion of large objects which area is greater than 96x96 pixels. As getting fine boundaries is vitally important for large object segmentation, Mask R CNN with PointRend is selected as the base segmentation framework to output high quality object boundaries. Besides, a better engine that integrates ResNeSt, FPN and DCNv2, and a range of effective tricks that including multi scale training and test time augmentation are applied to improve segmentation performance. Our best performance is an ensemble of four models (three PointRend based models and SOLOv2), which won the 2nd place in IJCAI PRICAI 3D AI Challenge 2020 Instance Segmentation.