Ramsey games near the critical threshold. A well known result of R "odl and Ruci 'nski states that for any graph H there exists a constant C such that if p geq C n 1 m 2(H) , then the random graph G n,p is a.a.s. H Ramsey, that is, any 2 colouring of its edges contains a monochromatic copy of H . Aside from a few simple exceptions, the corresponding 0 statement also holds, that is, there exists c 0 such that whenever p leq cn 1 m 2(H) the random graph G n,p is a.a.s. not H Ramsey. We show that near this threshold, even when G n,p is not H Ramsey, it is often extremely close to being H Ramsey. More precisely, we prove that for any constant c 0 and any strictly 2 balanced graph H , if p geq c n 1 m 2(H) , then the random graph G n,p a.a.s. has the property that every 2 edge colouring without monochromatic copies of H cannot be extended to an H free colouring after omega(1) extra random edges are added. This generalises a result by Friedgut, Kohayakawa, R "odl, Ruci 'nski and Tetali, who in 2002 proved the same statement for triangles, and addresses a question raised by those authors. We also extend a result of theirs on the three colour case and show that these theorems need not hold when H is not strictly 2 balanced.


Toward Efficient In memory Data Analytics on NUMA Systems. Data analytics systems commonly utilize in memory query processing techniques to achieve better throughput and lower latency. Modern computers increasingly rely on Non Uniform Memory Access (NUMA) architectures in order to achieve scalability. A key drawback of NUMA architectures is that many existing software solutions are not aware of the underlying NUMA topology and thus do not take full advantage of the hardware. Modern operating systems are designed to provide basic support for NUMA systems. However, default system configurations are typically sub optimal for large data analytics applications. Additionally, achieving NUMA awareness by rewriting the application from the ground up is not always feasible. In this work, we evaluate a variety of strategies that aim to accelerate memory intensive data analytics workloads on NUMA systems. We analyze the impact of different memory allocators, memory placement strategies, thread placement, and kernel level load balancing and memory management mechanisms. With extensive experimental evaluation we demonstrate that methodical application of these techniques can be used to obtain significant speedups in four commonplace in memory data analytics workloads, on three different hardware architectures. Furthermore, we show that these strategies can speed up two popular database systems running a TPC H workload.


XLBoost Geo An IP Geolocation System Based on Extreme Landmark Boosting. IP geolocation aims at locating the geographical position of Internet devices, which plays an essential role in many Internet applications. In this field, a long standing challenge is how to find a large number of highly reliable landmarks, which is the key to improve the precision of IP geolocation. To this end, many efforts have been made, while many IP geolocation methods still suffer from unacceptable error distance because of the lack of landmarks. In this paper, we propose a novel IP geolocation system, named XLBoost Geo, which focuses on enhancing the number and the density of highly reliable landmarks. The main idea is to extract location indicating clues from web pages and locating the web servers based on the clues. Based on the landmarks, XLBoost Geo is able to geolocate arbitrary IPs with little error distance. Specifically, we first design an entity extracting method based on a bidirectional LSTM neural network with a self adaptive loss function (LSTM Ada) to extract the location indicating clues on web pages and then generate landmarks based on the clues. Then, by measurements on network latency and topology, we estimate the closest landmark and associate the coordinate of the landmark with the location of the target IP. The results of our experiments clearly validate the effectiveness and efficiency of the extracting method, the precision, number, coverage of the landmarks, and the precision of the IP geolocation. On RIPE Atlas nodes, XLBoost Geo achieves 2,561m median error distance, which outperforms SLG and IPIP.


On singular signed graphs with nullspace spanned by a full vector Signed nut graphs. A signed graph has edge weights drawn from the set 1, 1 , and is termed sign balanced if it is equivalent to an unsigned graph under the operation of sign switching otherwise it is called sign unbalanced. A nut graph has a one dimensional kernel with a corresponding eigenvector that is full. In this paper we generalise the notion of nut graphs to signed graphs. Orders for which unsigned regular nut graphs exist were determined recently for the degrees up to 11 . By extending the definition to signed nut graphs, we find all pairs ( rho, n) for which a rho regular nut graph (sign balanced or sign unbalanced) of order n exists with rho le 11 . We devise a construction for signed nut graphs based on a smaller seed' graph, giving infinite series of both sign balanced and sign unbalanced rho regular nut graphs. All orders for which a complete sign unbalanced nut graph exists are characterised they have underlying graph K n with n equiv 1 pmod 4 . All orders for which a regular sign unbalanced nut graph with rho n 2 exists are also characterised they have an underlying cocktail party graph mathrm CP (n) with even n geq 8 .


Hermitian Lifted Codes. In this paper, we construct codes for local recovery of erasures with high availability and constant bounded rate from the Hermitian curve. These new codes, called Hermitian lifted codes, are evaluation codes with evaluation set being the set of mathbb F q 2 rational points on the affine curve. The novelty is in terms of the functions to be evaluated they are a special set of monomials which restrict to low degree polynomials on lines intersected with the Hermitian curve. As a result, the positions corresponding to points on any line through a given point act as a recovery set for the position corresponding to that point.


SingCubic Cyclic Incremental Newton type Gradient Descent with Cubic Regularization for Non Convex Optimization. In this work, we generalized and unified two recent completely different works of cite shi2015large and cite cartis2012adaptive respectively into one by proposing the cyclic incremental Newton type gradient descent with cubic regularization (SingCubic) method for optimizing non convex functions. Through the iterations of SingCubic, a cubic regularized global quadratic approximation using Hessian information is kept and solved. Preliminary numerical experiments show the encouraging performance of the SingCubic algorithm when compared to basic incremental or stochastic Newton type implementations. The results and technique can be served as an initiate for the research on the incremental Newton type gradient descent methods that employ cubic regularization. The methods and principles proposed in this paper can be used to do logistic regression, autoencoder training, independent components analysis, Ising model Hopfield network training, multilayer perceptron, deep convolutional network training and so on. We will open source parts of our implementations soon.


A Knowledge Driven Approach to Classifying Object and Attribute Coreferences in Opinion Mining. Classifying and resolving coreferences of objects (e.g., product names) and attributes (e.g., product aspects) in opinionated reviews is crucial for improving the opinion mining performance. However, the task is challenging as one often needs to consider domain specific knowledge (e.g., iPad is a tablet and has aspect resolution) to identify coreferences in opinionated reviews. Also, compiling a handcrafted and curated domain specific knowledge base for each domain is very time consuming and arduous. This paper proposes an approach to automatically mine and leverage domain specific knowledge for classifying objects and attribute coreferences. The approach extracts domain specific knowledge from unlabeled review data and trains a knowledgeaware neural coreference classification model to leverage (useful) domain knowledge together with general commonsense knowledge for the task. Experimental evaluation on realworld datasets involving five domains (product types) shows the effectiveness of the approach.


Unsupervised Euclidean Distance Attack on Network Embedding. Considering the wide application of network embedding methods in graph data mining, inspired by the adversarial attack in deep learning, this paper proposes a Genetic Algorithm (GA) based Euclidean Distance Attack strategy (EDA) to attack the network embedding, so as to prevent certain structural information from being discovered. EDA focuses on disturbing the Euclidean distance between a pair of nodes in the embedding space as much as possible through minimal modifications of the network structure. Since a large number of downstream network algorithms, such as community detection and node classification, rely on the Euclidean distance between nodes to evaluate the similarity between them in the embedding space, EDA can be considered as a universal attack on a variety of network algorithms. Different from traditional supervised attack strategies, EDA does not need labeling information, and, in other words, is an unsupervised network embedding attack method.


Passive radiative cooling impact on commercial crystalline silicon based photovoltaics. The radiative cooling of objects during daytime under direct sunlight has recently been shown to be significantly enhanced by utilizing nanophotonic coatings. Multilayer thin film stacks, 2D photonic crystals, etc. as coating structures improved the thermal emission rate of a device in the infrared atmospheric transparency window reducing considerably devices' temperature. Due to the increased heating in photovoltaic (PV) devices, that has significant adverse consequences on both their efficiency and life time, and inspired by the recent advances in daytime radiative cooling, we developed a coupled thermal electrical modeling to examine the physical mechanisms on how a radiative cooler affects the overall efficiency of commercial photovoltaic modules. Employing this modeling, which takes into account all the major processes affected by the temperature variation in a PV device, we evaluated the relative impact of the main radiative cooling approaches proposed so far on the PV efficiency, and we established required conditions for optimized radiative cooling. Moreover, we identified the validity regimes of the currently existing PV cooling models which treat the PV coolers as simple thermal emitters. Finally, we assessed some realistic photonic coolers from the literature, compatible with photovoltaics, to implement the radiative cooling requirements, and demonstrated their associated impact on the temperature reduction and PV efficiency. Providing the physical mechanisms and requirements for cooling radiatively solar cells, our study provides guidelines for utilizing suitable photonic structures as radiative coolers, enhancing the efficiency and the lifetime of PV devices.


Time position characterization of conflicts a case study of collaborative editing. Collaborative editing (CE) became increasingly common, often compulsory in academia and industry where people work in teams and are distributed across space and time. We aim to study collabora tive editing behavior in terms of collaboration patterns users adopt and in terms of a characterisation of conflicts, i.e. edits from different users that occur close in time and position in the document. The process of a CE can be split into several editing 'sessions' which are performed by a single author ('single authored session') or several authors ('co authored session'). This fragmentation process requires a pre defined 'maximum time gap' between sessions which is not yet well defined in previous studies. In this study, we analysed CE logs of 108 collaboratively edited documents. We show how to establish a suitable 'maximum time gap' to split CE activities into sessions by evaluating the distribution of the time distance between two adjacent sessions. We studied editing activities inside each 'co author session' in order to define potential conflicts in terms of time and position dimensions before they occur in the document. We also analysed how many of these potential conflicts become real conflicts. Findings show that potential conflicting cases are few. However, they are more likely to become real conflicts.


Efficient solvers for hybridized three field mixed finite element coupled poromechanics. We consider a mixed hybrid finite element formulation for coupled poromechanics. A stabilization strategy based on a macro element approach is advanced to eliminate the spurious pressure modes appearing in undrained incompressible conditions. The efficient solution of the stabilized mixed hybrid block system is addressed by developing a class of block triangular preconditioners based on a Schur complement approximation strategy. Robustness, computational efficiency and scalability of the proposed approach are theoretically discussed and tested using challenging benchmark problems on massively parallel architectures.


Look It Up Bilingual Dictionaries Improve Neural Machine Translation. Despite advances in neural machine translation (NMT) quality, rare words continue to be problematic. For humans, the solution to the rare word problem has long been dictionaries, but dictionaries cannot be straightforwardly incorporated into NMT. In this paper, we describe a new method for "attaching" dictionary definitions to rare words so that the network can learn the best way to use them. We demonstrate improvements of up to 1.8 BLEU using bilingual dictionaries.


Dynamics of a surfactant laden bubble bursting through an interface. We study the effect of surfactant on the dynamics of a bubble bursting through an interface. We perform fully three dimensional direct numerical simulations using a hybrid interface tracking level set method accounting for surfactant induced Marangoni stresses, sorption kinetics, and diffusive effects. We select an initial bubble shape corresponding to a large Laplace number and a vanishingly small Bond number in order to neglect gravity, and isolate the effects of surfactant on the flow. Our results demonstrate that the presence of surfactant affects the dynamics of the system through Marangoni induced flow, driving motion from high to low concentration regions, which is responsible for the onset of a recirculation zone close to the free surface. These Marangoni stresses rigidify the interface, delay the cavity collapse, and influence the jet breakup process.


Extension of delta ziti method in the unit ball Numerical integration, resolution of Poisson's problem and Heat transfer. Inspired by the Galerkin and particular method, a new approximation approach is recalled in the Cartesian case. In this paper, we are interested specially by constructing this method, when the domain of consideration is a two dimensional ball, to extend this work to the several dimension. We reduce the number of iterations to calculate integrals and numerical solution of Poisson and the Heat problems (elliptic nd parabolic PDEs), in a very fast way.


The workweek is the best time to start a family A Study of GPT 2 Based Claim Generation. Argument generation is a challenging task whose research is timely considering its potential impact on social media and the dissemination of information. Here we suggest a pipeline based on GPT 2 for generating coherent claims, and explore the types of claims that it produces, and their veracity, using an array of manual and automatic assessments. In addition, we explore the interplay between this task and the task of Claim Retrieval, showing how they can complement one another.


Semantic SLAM with Autonomous Object Level Data Association. It is often desirable to capture and map semantic information of an environment during simultaneous localization and mapping (SLAM). Such semantic information can enable a robot to better distinguish places with similar low level geometric and visual features and perform high level tasks that use semantic information about objects to be manipulated and environments to be navigated. While semantic SLAM has gained increasing attention, there is little research on semanticlevel data association based on semantic objects, i.e., object level data association. In this paper, we propose a novel object level data association algorithm based on bag of words algorithm, formulated as a maximum weighted bipartite matching problem. With object level data association solved, we develop a quadratic programming based semantic object initialization scheme using dual quadric and introduce additional constraints to improve the success rate of object initialization. The integrated semantic level SLAM system can achieve high accuracy object level data association and real time semantic mapping as demonstrated in the experiments. The online semantic map building and semantic level localization capabilities facilitate semantic level mapping and task planning in a priori unknown environment.


2D Eigenvalue Problem I Existence and Number of Solutions. A two dimensional eigenvalue problem (2DEVP) of a Hermitian matrix pair (A, C) is introduced in this paper. The 2DEVP can be viewed as a linear algebraic formulation of the well known eigenvalue optimization problem of the parameter matrix H( mu) A mu C . We present fundamental properties of the 2DEVP such as the existence, the necessary and sufficient condition for the finite number of 2D eigenvalues and variational characterizations. We use eigenvalue optimization problems from the minmax of two Rayleigh quotients and the computation of distance to instability to show their connections with the 2DEVP and new insights of these problems derived from the properties of the 2DEVP.


Jumping numbers of analytic multiplier ideals (with an appendix by S 'ebastien Boucksom). We extend the study of jumping numbers of multiplier ideals due to Ein Lazarsfeld Smith Varolin from the algebraic case to the case of general plurisubharmonic functions. While many properties from Ein Lazarsfeld Smith Varolin are shown to generalize to the plurisubharmonic case, important properties such as periodicity and discreteness do not hold any more. Previously only two particular examples with a cluster point (i.e. failure of discreteness) of jumping numbers were known, due to Guan Li and to Ein Lazarsfeld Smith Varolin respectively. We generalize them to all toric plurisubharmonic functions in dimension 2 by characterizing precisely when cluster points of jumping numbers exist and by computing all those cluster points. This characterization suggests that clustering of jumping numbers is a rather frequent phenomenon. In particular, we obtain uncountably many new such examples.


An entropy stable high order discontinuous Galerkin spectral element method for the Baer Nunziato two phase flow model. In this work we propose a high order discretization of the Baer Nunziato two phase flow model (Baer and Nunziato, Int. J. Multiphase Flow, 12 (1986), pp. 861 889) with closures for interface velocity and pressure adapted to the treatment of discontinuous solutions, and stiffened gas equations of states. We use the discontinuous Galerkin spectral element method (DGSEM), based on collocation of quadrature and interpolation points (Kopriva and Gassner, J. Sci. Comput., 44 (2010), pp. 136 155). The DGSEM uses summation by parts (SBP) operators in the numerical quadrature for approximating the integrals over discretization elements (Carpenter et al., SIAM J. Sci. Comput., 36 (2014), pp. B835 B867 Gassner et al., J. Comput. Phys., 327 (2016), pp. 39 66). Here, we build upon the framework provided in (F. Renac, J. Comput. Phys., 382 (2019), pp. 1 36) for nonconservative hyperbolic systems to modify the integration over cell elements using the SBP operators and replace the physical fluxes with entropy conservative fluctuation fluxes from Castro et al. (SIAM J. Numer. Anal., 51 (2013), pp. 1371 1391), while we derive entropy stable fluxes applied at interfaces. This allows to establish a semi discrete inequality for the cell averaged physical entropy, while being high order accurate. The design of the numerical fluxes also formally preserves the kinetic energy at the semi discrete level. High order integration in time is performed using strong stability preserving Runge Kutta schemes and we propose conditions on the numerical parameters for the positivity of the cell averaged void fraction and partial densities. The positivity of the cell averaged solution is extended to nodal values by the use of an a posteriori limiter. The high order accuracy, nonlinear stability, and robustness of the present scheme are assessed through several numerical experiments in one and two space dimensions.


Refined floor diagrams from higher genera and lambda classes. We show that, after the change of variables q e iu , refined floor diagrams for mathbb P 2 and Hirzebruch surfaces compute generating series of higher genus relative Gromov Witten invariants with insertion of a lambda class. The proof uses an inductive application of the degeneration formula in relative Gromov Witten theory and an explicit result in relative Gromov Witten theory of mathbb P 1 . Combining this result with the similar looking refined tropical correspondence theorem for log Gromov Witten invariants, we obtain some non trivial relation between relative and log Gromov Witten invariants for mathbb P 2 and Hirzebruch surfaces. We also prove that the Block G "ottsche invariants of mathbb F 0 and mathbb F 2 are related by the Abramovich Bertram formula.


Weighing Counts Sequential Crowd Counting by Reinforcement Learning. We formulate counting as a sequential decision problem and present a novel crowd counting model solvable by deep reinforcement learning. In contrast to existing counting models that directly output count values, we divide one step estimation into a sequence of much easier and more tractable sub decision problems. Such sequential decision nature corresponds exactly to a physical process in reality scale weighing. Inspired by scale weighing, we propose a novel 'counting scale' termed LibraNet where the count value is analogized by weight. By virtually placing a crowd image on one side of a scale, LibraNet (agent) sequentially learns to place appropriate weights on the other side to match the crowd count. At each step, LibraNet chooses one weight (action) from the weight box (the pre defined action pool) according to the current crowd image features and weights placed on the scale pan (state). LibraNet is required to learn to balance the scale according to the feedback of the needle (Q values). We show that LibraNet exactly implements scale weighing by visualizing the decision process how LibraNet chooses actions. Extensive experiments demonstrate the effectiveness of our design choices and report state of the art results on a few crowd counting benchmarks. We also demonstrate good cross dataset generalization of LibraNet. Code and models are made available at https git.io libranet


On Structural Invariants in the Energy Based Control of Infinite Dimensional Port Hamiltonian Systems with In Domain Actuation. This contribution deals with energy based in domain control of systems governed by partial differential equations with spatial domain up to dimension two. We exploit a port Hamiltonian system description based on an underlying jet bundle formalism, where we restrict ourselves to systems with 2nd order Hamiltonian. A certain power conserving interconnection enables the application of a dynamic control law based on structural invariants. Furthermore, we use various examples such as beams and plates with in domain actuation to demonstrate the capability of our approach.


A multi stage deep learning based algorithm for multiscale modelreduction. In this work, we propose a multi stage training strategy for the development of deep learning algorithms applied to problems with multiscale features. Each stage of the pro posed strategy shares an (almost) identical network structure and predicts the same reduced order model of the multiscale problem. The output of the previous stage will be combined with an intermediate layer for the current stage. We numerically show that using different reduced order models as inputs of each stage can improve the training and we propose several ways of adding different information into the systems. These methods include mathematical multiscale model reductions and network approaches but we found that the mathematical approach is a systematical way of decoupling information and gives the best result. We finally verified our training methodology on a time dependent nonlinear problem and a steady state model


Optimization over Young Diagrams. We consider the problem of finding a Young diagram minimizing the sum of evaluations of a given pair of functions on the parts of the associated pair of conjugate partitions. While there are exponentially many diagrams, we show it is polynomial time solvable.


Estimates of the bounds of pi(x) and pi((x 1) 2 ) pi(x 2 ) . We show the following bounds on the prime counting function pi(x) using principles from analytic number theory, giving an estimate 2 log 2 geq limsup x rightarrow infty frac pi(x) x log x geq liminf x rightarrow infty frac pi(x) x log x geq log 2 for all x sufficiently large. We also conjecture about the bounding of pi((x 1) 2 ) pi(x 2 ) , as is relevant to Legendre's conjecture about the number of primes in the aforementioned interval such that left lfloor frac 1 2 left( frac left(x 1 right) 2 log left(x 1 right) frac x 2 log x right) frac left( log x right) 2 log left( log x right) right rfloor leq pi((x 1) 2 ) pi(x 2 ) leq left lfloor frac 1 2 left( frac left(x 1 right) 2 log left(x 1 right) frac x 2 log x right) log 2 x log log x right rfloor


Excitation of the transition radiation by a relativistic electron bunch in the plasma half space. The process of transition excitation of an electromagnetic field by a relativistic electron bunch in a plasma half space is investigated. The influence of the plasma boundary on the spatial structure of plasma wake oscillations is studied. The shape and intensity of the transition electromagnetic pulse propagating in the plasma are determined.


MERIT Tensor Transform for Memory Efficient Vision Processing on Parallel Architectures. Computationally intensive deep neural networks (DNNs) are well suited to run on GPUs, but newly developed algorithms usually require the heavily optimized DNN routines to work efficiently, and this problem could be even more difficult for specialized DNN architectures. In this paper, we propose a mathematical formulation which can be useful for transferring the algorithm optimization knowledge across computing platforms. We discover that data movement and storage inside parallel processor architectures can be viewed as tensor transforms across memory hierarchies, making it possible to describe many memory optimization techniques mathematically. Such transform, which we call Memory Efficient Ranged Inner Product Tensor (MERIT) transform, can be applied to not only DNN tasks but also many traditional machine learning and computer vision computations. Moreover, the tensor transforms can be readily mapped to existing vector processor architectures. In this paper, we demonstrate that many popular applications can be converted to a succinct MERIT notation on GPUs, speeding up GPU kernels up to 20 times while using only half as many code tokens. We also use the principle of the proposed transform to design a specialized hardware unit called MERIT z processor. This processor can be applied to a variety of DNN tasks as well as other computer vision tasks while providing comparable area and power efficiency to dedicated DNN ASICs.


MIC Mining Interclass Characteristics for Improved Metric Learning. Metric learning seeks to embed images of objects suchthat class defined relations are captured by the embeddingspace. However, variability in images is not just due to different depicted object classes, but also depends on other latent characteristics such as viewpoint or illumination. In addition to these structured properties, random noise further obstructs the visual relations of interest. The common approach to metric learning is to enforce a representation that is invariant under all factors but the ones of interest. In contrast, we propose to explicitly learn the latent characteristics that are shared by and go across object classes. We can then directly explain away structured visual variability, rather than assuming it to be unknown random noise. We propose a novel surrogate task to learn visual characteristics shared across classes with a separate encoder. This encoder is trained jointly with the encoder for class information by reducing their mutual information. On five standard image retrieval benchmarks the approach significantly improves upon the state of the art.


It's All About The Scale Efficient Text Detection Using Adaptive Scaling. "Text can appear anywhere". This property requires us to carefully process all the pixels in an image in order to accurately localize all text instances. In particular, for the more difficult task of localizing small text regions, many methods use an enlarged image or even several rescaled ones as their input. This significantly increases the processing time of the entire image and needlessly enlarges background regions. If we were to have a prior telling us the coarse location of text instances in the image and their approximate scale, we could have adaptively chosen which regions to process and how to rescale them, thus significantly reducing the processing time. To estimate this prior we propose a segmentation based network with an additional "scale predictor", an output channel that predicts the scale of each text segment. The network is applied on a scaled down image to efficiently approximate the desired prior, without processing all the pixels of the original image. The approximated prior is then used to create a compact image containing only text regions, resized to a canonical scale, which is fed again to the segmentation network for fine grained detection. We show that our approach offers a powerful alternative to fixed scaling schemes, achieving an equivalent accuracy to larger input scales while processing far fewer pixels. Qualitative and quantitative results are presented on the ICDAR15 and ICDAR17 MLT benchmarks to validate our approach.


Rethinking Pseudo LiDAR Representation. The recently proposed pseudo LiDAR based 3D detectors greatly improve the benchmark of monocular stereo 3D detection task. However, the underlying mechanism remains obscure to the research community. In this paper, we perform an in depth investigation and observe that the efficacy of pseudo LiDAR representation comes from the coordinate transformation, instead of data representation itself. Based on this observation, we design an image based CNN detector named Patch Net, which is more generalized and can be instantiated as pseudo LiDAR based 3D detectors. Moreover, the pseudo LiDAR data in our PatchNet is organized as the image representation, which means existing 2D CNN designs can be easily utilized for extracting deep features from input data and boosting 3D detection performance. We conduct extensive experiments on the challenging KITTI dataset, where the proposed PatchNet outperforms all existing pseudo LiDAR based counterparts. Code has been made available at https github.com xinzhuma patchnet.


Resource Allocation Using Gradient Boosting Aided Deep Q Network for IoT in C RANs. In this paper, we investigate dynamic resource allocation (DRA) problems for Internet of Things (IoT) in real time cloud radio access networks (C RANs), by combining gradient boosting approximation and deep reinforcement learning to solve the following two major problems. Firstly, in C RANs, the decision making process of resource allocation is time consuming and computational expensive, motivating us to use an approximation method, i.e. the gradient boosting decision tree (GBDT) to approximate the solutions of second order cone programming (SOCP) problem. Moreover, considering the innumerable states in real time C RAN systems, we employ a deep reinforcement learning framework, i.e., deep Q network (DQN) to generate a robust policy that controls the status of remote radio heads (RRHs). We propose a GBDT based DQN framework for the DRA problem, where the heavy computation to solve SOCP problems is cut down and great power consumption is saved in the whole C RAN system. We demonstrate that the generated policy is error tolerant even the gradient boosting regression may not be strictly subject to the constraints of the original problem. Comparisons between the proposed method and existing baseline methods confirm the advantages of our method.


Conv MCD A Plug and Play Multi task Module for Medical Image Segmentation. For the task of medical image segmentation, fully convolutional network (FCN) based architectures have been extensively used with various modifications. A rising trend in these architectures is to employ joint learning of the target region with an auxiliary task, a method commonly known as multi task learning. These approaches help impose smoothness and shape priors, which vanilla FCN approaches do not necessarily incorporate. In this paper, we propose a novel plug and play module, which we term as Conv MCD, which exploits structural information in two ways i) using the contour map and ii) using the distance map, both of which can be obtained from ground truth segmentation maps with no additional annotation costs. The key benefit of our module is the ease of its addition to any state of the art architecture, resulting in a significant improvement in performance with a minimal increase in parameters. To substantiate the above claim, we conduct extensive experiments using 4 state of the art architectures across various evaluation metrics, and report a significant increase in performance in relation to the base networks. In addition to the aforementioned experiments, we also perform ablative studies and visualization of feature maps to further elucidate our approach.


Enhancement of Water Repellence by Hierarchical Surface Structures Integrating Micro dome and Micro pillar Arrays with Nanoporous Coatings. Superhydrophobic surfaces with multi scale topographies offer exceptionally high apparent water contact angles and low contact angle hysteresis by virtue of the small liquid textendash solid contact fractions they enable. Natural water repellent surfaces such as lotus leaves often feature dome shaped micro scale protrusions, whose lack of sharp edges also facilitates smooth droplet shedding without pinning. Engineered hydrophobic surfaces, however, have not yet fully exploited the merits of protrusions with controlled curvature. In this work, thermal re flow of photoresist patterns followed by elastomeric casting was used to fabricate arrays of micro domes with sizes 20 textendash 50 mu m. These microstructures were coated with a nanoporous zinc oxide film and fluorosilanized to produce hierarchical surface topographies with static water contact angles up to 169.7 pm 0.4 deg and contact angle hysteresis as low as 14.7 pm 1.3 deg . Performance of the micro dome arrays significantly exceeded that of arrays of sharp edged square pillars and flat surfaces coated with the same nanoporous film. The highest performance came from the smallest micro domes (20 mu m) and closest spacings (10 mu m) investigated. For larger features, contact angles reduced and hysteresis increased textemdash unexpected trends not explained by contact fraction alone. This simple fabrication technique could be adapted to manufacture large surfaces for droplet shedding, including in heat transfer applications.


On the Bieri Neumann Strebel Renz invariants of the weak commutativity construction X(G) . For a finitely generated group G we calculate the Bieri Neumann Strebel Renz invariant Sigma 1( X(G)) for the weak commutativity construction X(G) . Identifying S( X(G)) with S( X(G) W(G)) we show Sigma 2( X(G), Z) subseteq Sigma 2( X(G) W(G), Z) and Sigma 2( X(G)) subseteq Sigma 2( X(G) W(G)) that are equalities when W(G) is finitely generated and we explicitly calculate Sigma 2( X(G) W(G), Z) and Sigma 2( X(G) W(G)) in terms of the Sigma invariants of G . We calculate completely the Sigma invariants in dimensions 1 and 2 of the group nu(G) and show that if G is finitely generated group with finitely presented commutator subgroup then the non abelian tensor square G otimes G is finitely presented.


The Effect of Wearing a Mask on Face Recognition Performance an Exploratory Study. Face recognition has become essential in our daily lives as a convenient and contactless method of accurate identity verification. Process such as identity verification at automatic border control gates or the secure login to electronic devices are increasingly dependant on such technologies. The recent COVID 19 pandemic have increased the value of hygienic and contactless identity verification. However, the pandemic led to the wide use of face masks, essential to keep the pandemic under control. The effect of wearing a mask on face recognition in a collaborative environment is currently sensitive yet understudied issue. We address that by presenting a specifically collected database containing three session, each with three different capture instructions, to simulate realistic use cases. We further study the effect of masked face probes on the behaviour of three top performing face recognition systems, two academic solutions and one commercial off the shelf (COTS) system.


Collaborative Multi Robot Systems for Search and Rescue Coordination and Perception. Autonomous or teleoperated robots have been playing increasingly important roles in civil applications in recent years. Across the different civil domains where robots can support human operators, one of the areas where they can have more impact is in search and rescue (SAR) operations. In particular, multi robot systems have the potential to significantly improve the efficiency of SAR personnel with faster search of victims, initial assessment and mapping of the environment, real time monitoring and surveillance of SAR operations, or establishing emergency communication networks, among other possibilities. SAR operations encompass a wide variety of environments and situations, and therefore heterogeneous and collaborative multi robot systems can provide the most advantages. In this paper, we review and analyze the existing approaches to multi robot SAR support, from an algorithmic perspective and putting an emphasis on the methods enabling collaboration among the robots as well as advanced perception through machine vision and multi agent active perception. Furthermore, we put these algorithms in the context of the different challenges and constraints that various types of robots (ground, aerial, surface or underwater) encounter in different SAR environments (maritime, urban, wilderness or other post disaster scenarios). This is, to the best of our knowledge, the first review considering heterogeneous SAR robots across different environments, while giving two complimentary points of view control mechanisms and machine perception. Based on our review of the state of the art, we discuss the main open research questions, and outline our insights on the current approaches that have potential to improve the real world performance of multi robot SAR systems.


A Comparative Analysis of Knowledge Graph Query Performance. As Knowledge Graphs (KGs) continue to gain widespread momentum for use in different domains, storing the relevant KG content and efficiently executing queries over them are becoming increasingly important. A range of Data Management Systems (DMSs) have been employed to process KGs. This paper aims to provide an in depth analysis of query performance across diverse DMSs and KG query types. Our aim is to provide a fine grained, comparative analysis of four major DMS types, namely, row , column , graph , and document stores, against major query types, namely, subject subject, subject object, tree like, and optional joins. In particular, we analyzed the performance of row store Virtuoso, column store Virtuoso, Blazegraph (i.e., graph store), and MongoDB (i.e., document store) using five well known benchmarks, namely, BSBM, WatDiv, FishMark, BowlognaBench, and BioBench Allie. Our results show that no single DMS displays superior query performance across the four query types. In particular, row and column store Virtuoso are a factor of 3 8 faster for tree like joins, Blazegraph performs around one order of magnitude faster for subject object joins, and MongoDB performs over one order of magnitude faster for high selective queries.


On the Two Dimensional Knapsack Problem for Convex Polygons. We study the two dimensional geometric knapsack problem for convex polygons. Given a set of weighted convex polygons and a square knapsack, the goal is to select the most profitable subset of the given polygons that fits non overlappingly into the knapsack. We allow to rotate the polygons by arbitrary angles. We present a quasi polynomial time O(1) approximation algorithm for the general case and a polynomial time O(1) approximation algorithm if all input polygons are triangles, both assuming polynomially bounded integral input data. Also, we give a quasi polynomial time algorithm that computes a solution of optimal weight under resource augmentation, i.e., we allow to increase the size of the knapsack by a factor of 1 delta for some delta 0 but compare ourselves with the optimal solution for the original knapsack. To the best of our knowledge, these are the first results for two dimensional geometric knapsack in which the input objects are more general than axis parallel rectangles or circles and in which the input polygons can be rotated by arbitrary angles.


Local Connectivity in Centroid Clustering. Clustering is a fundamental task in unsupervised learning, one that targets to group a dataset into clusters of similar objects. There has been recent interest in embedding normative considerations around fairness within clustering formulations. In this paper, we propose 'local connectivity' as a crucial factor in assessing membership desert in centroid clustering. We use local connectivity to refer to the support offered by the local neighborhood of an object towards supporting its membership to the cluster in question. We motivate the need to consider local connectivity of objects in cluster assignment, and provide ways to quantify local connectivity in a given clustering. We then exploit concepts from density based clustering and devise LOFKM, a clustering method that seeks to deepen local connectivity in clustering outputs, while staying within the framework of centroid clustering. Through an empirical evaluation over real world datasets, we illustrate that LOFKM achieves notable improvements in local connectivity at reasonable costs to clustering quality, illustrating the effectiveness of the method.


Leveraging Passage Retrieval with Generative Models for Open Domain Question Answering. Generative models for open domain question answering have proven to be competitive, without resorting to external knowledge. While promising, this approach requires to use models with billions of parameters, which are expensive to train and query. In this paper, we investigate how much these models can benefit from retrieving text passages, potentially containing evidence. We obtain state of the art results on the Natural Questions and TriviaQA open benchmarks. Interestingly, we observe that the performance of this method significantly improves when increasing the number of retrieved passages. This is evidence that generative models are good at aggregating and combining evidence from multiple passages.


Computing the Homology of Semialgebraic Sets. II General formulas. We describe and analyze a numerical algorithm for computing the homology (Betti numbers and torsion coefficients) of semialgebraic sets given by Boolean formulas. The algorithm works in weak exponential time. This means that outside a subset of data having exponentially small measure, the cost of the algorithm is single exponential in the size of the data. This extends the previous work of the authors in arXiv 1807.06435 to arbitrary semialgebraic sets. All previous algorithms proposed for this problem have doubly exponential complexity.


On Relating 'Why?' and 'Why Not?' Explanations. Explanations of Machine Learning (ML) models often address a 'Why?' question. Such explanations can be related with selecting feature value pairs which are sufficient for the prediction. Recent work has investigated explanations that address a 'Why Not?' question, i.e. finding a change of feature values that guarantee a change of prediction. Given their goals, these two forms of explaining predictions of ML models appear to be mostly unrelated. However, this paper demonstrates otherwise, and establishes a rigorous formal relationship between 'Why?' and 'Why Not?' explanations. Concretely, the paper proves that, for any given instance, 'Why?' explanations are minimal hitting sets of 'Why Not?' explanations and vice versa. Furthermore, the paper devises novel algorithms for extracting and enumerating both forms of explanations.


Crossed products whose unit group is locally solvable. Crossed products whose unit group is locally solvable


Using Radiomics as Prior Knowledge for Thorax Disease Classification and Localization in Chest X rays. Chest X ray becomes one of the most common medical diagnoses due to its noninvasiveness. The number of chest X ray images has skyrocketed, but reading chest X rays still have been manually performed by radiologists, which creates huge burnouts and delays. Traditionally, radiomics, as a subfield of radiology that can extract a large number of quantitative features from medical images, demonstrates its potential to facilitate medical imaging diagnosis before the deep learning era. In this paper, we develop an end to end framework, ChexRadiNet, that can utilize the radiomics features to improve the abnormality classification performance. Specifically, ChexRadiNet first applies a light weight but efficient triplet attention mechanism to classify the chest X rays and highlight the abnormal regions. Then it uses the generated class activation map to extract radiomic features, which further guides our model to learn more robust image features. After a number of iterations and with the help of radiomic features, our framework can converge to more accurate image regions. We evaluate the ChexRadiNet framework using three public datasets NIH ChestX ray, CheXpert, and MIMIC CXR. We find that ChexRadiNet outperforms the state of the art on both disease detection (0.843 in AUC) and localization (0.679 in T(IoU) 0.1). We will make the code publicly available at https github.com bionlplab lung disease detection amia2021, with the hope that this method can facilitate the development of automatic systems with a higher level understanding of the radiological world.


L space surgeries on 2 component L space links. In this paper, we analyze L space surgeries on two component L space links. We show that if one surgery coefficient is negative for the L space surgery, then the corresponding link component is an unknot. If the link admits very negative (i.e. d 1 , d 2 ll0 ) L space surgeries, it is the Hopf link. We also give a way to characterize the torus link T(2, 2l) by observing an L space surgery S 3 d 1 , d 2 ( mathcal L ) with d 1 d 2 0 on a 2 component L space link with unknotted components. For some 2 component L space links, we give explicit descriptions of the L space surgery sets.


On non gradient (m, rho) quasi Einstein contact metric manifolds. Many authors have studied Ricci solitons and their analogs within the framework of (almost) contact geometry. In this article, we thoroughly study the (m, rho) quasi Einstein structure on a contact metric manifold. First, we prove that if a K contact or Sasakian manifold M 2n 1 admits a closed (m, rho) quasi Einstein structure, then it is an Einstein manifold of constant scalar curvature 2n(2n 1) , and for the particular case a non Sasakian (k, mu) contact structure it is locally isometric to the product of a Euclidean space RR n 1 and a sphere S n of constant curvature 4 . Next, we prove that if a compact contact or H contact metric manifold admits an (m, rho) quasi Einstein structure, whose potential vector field V is collinear to the Reeb vector field, then it is a K contact eta Einstein manifold.


Learning Guided Convolutional Network for Depth Completion. Dense depth perception is critical for autonomous driving and other robotics applications. However, modern LiDAR sensors only provide sparse depth measurement. It is thus necessary to complete the sparse LiDAR data, where a synchronized guidance RGB image is often used to facilitate this completion. Many neural networks have been designed for this task. However, they often na " i vely fuse the LiDAR data and RGB image information by performing feature concatenation or element wise addition. Inspired by the guided image filtering, we design a novel guided network to predict kernel weights from the guidance image. These predicted kernels are then applied to extract the depth image features. In this way, our network generates content dependent and spatially variant kernels for multi modal feature fusion. Dynamically generated spatially variant kernels could lead to prohibitive GPU memory consumption and computation overhead. We further design a convolution factorization to reduce computation and memory consumption. The GPU memory reduction makes it possible for feature fusion to work in multi stage scheme. We conduct comprehensive experiments to verify our method on real world outdoor, indoor and synthetic datasets. Our method produces strong results. It outperforms state of the art methods on the NYUv2 dataset and ranks 1st on the KITTI depth completion benchmark at the time of submission. It also presents strong generalization capability under different 3D point densities, various lighting and weather conditions as well as cross dataset evaluations. The code will be released for reproduction.


CompRes A Dataset for Narrative Structure in News. This paper addresses the task of automatically detecting narrative structures in raw texts. Previous works have utilized the oral narrative theory by Labov and Waletzky to identify various narrative elements in personal stories texts. Instead, we direct our focus to news articles, motivated by their growing social impact as well as their role in creating and shaping public opinion. We introduce CompRes the first dataset for narrative structure in news media. We describe the process in which the dataset was constructed first, we designed a new narrative annotation scheme, better suited for news media, by adapting elements from the narrative theory of Labov and Waletzky (Complication and Resolution) and adding a new narrative element of our own (Success) then, we used that scheme to annotate a set of 29 English news articles (containing 1,099 sentences) collected from news and partisan websites. We use the annotated dataset to train several supervised models to identify the different narrative elements, achieving an F 1 score of up to 0.7. We conclude by suggesting several promising directions for future work.


One parameter groups of orthogonality preservers on JB algebras. In a first objective we improve our understanding about surjective and bijective bounded linear operators preserving orthogonality from a JB algebra mathcal A into a JB triple E . Among many other conclusions, it is shown that a bounded linear bijection T mathcal A to E is orthogonality preserving if, and only if, it is biorthogonality preserving if, and only if, it preserves zero triple products in both directions (i.e., a,b,c 0 Leftrightarrow T(a),T(b),T(c) 0 ). In the second main result we establish a complete characterization of all one parameter groups of orthogonality preserving operators on a JB algebra.


Towards Evaluating Gaussian Blurring in Perceptual Hashing as a Facial Image Filter. With the growth in social media, there is a huge amount of images of faces available on the internet. Often, people use other people's pictures on their own profile. Perceptual hashing is often used to detect whether two images are identical. Therefore, it can be used to detect whether people are misusing others' pictures. In perceptual hashing, a hash is calculated for a given image, and a new test image is mapped to one of the existing hashes if duplicate features are present. Therefore, it can be used as an image filter to flag banned image content or adversarial attacks which are modifications that are made on purpose to deceive the filter even though the content might be changed to deceive the filters. For this reason, it is critical for perceptual hashing to be robust enough to take transformations such as resizing, cropping, and slight pixel modifications into account. In this paper, we would like to propose to experiment with effect of gaussian blurring in perceptual hashing for detecting misuse of personal images specifically for face images. We hypothesize that use of gaussian blurring on the image before calculating its hash will increase the accuracy of our filter that detects adversarial attacks which consist of image cropping, adding text annotation, and image rotation.


Fault Tolerant Distributed Ledger Implementation of Digital Social Contracts. A companion paper defined the notion of digital social contracts, presented a design for a social contracts programming language, and demonstrated its potential utility via example social contracts. The envisioned setup consists of people with genuine identifiers, which are unique and singular cryptographic key pairs, that operate software agents thus identified on their mobile device. The abstract model of digital social contracts consists of a transition system specifying concurrent, non deterministic asynchronous agents that operate on a shared ledger by performing digital speech acts, which are cryptographically signed sequentially indexed digital actions. Here, we address the distributed ledger implementation of digital social contracts in the presence of faulty agents we present a design of a fault tolerant distributed ledger transition system and show that it implements the abstract shared ledger model of digital social contracts, and discuss its resilience to faulty agents. The result is a novel ledger architecture that is distributed with a blockchain per person (as opposed to centralized with one blockchain for all), partially ordered (as opposed to totally ordered), locally replicated (as opposed to globally replicated), asynchronous (as opposed to globally synchronized), peer to peer with each agent being both an actor and a validator (as opposed to having dedicated miners, validators, and clients), environmentally friendly (as opposed to the environmentally harmful Proof of Work), self sufficient (as opposed to the energy hogging Proof of Work or capital hogging Proof of Stake) and egalitarian (as opposed to the plutocratic Proof of Work and Proof of Stake).


A concise guide to existing and emerging vehicle routing problem variants. Vehicle routing problems have been the focus of extensive research over the past sixty years, driven by their economic importance and their theoretical interest. The diversity of applications has motivated the study of a myriad of problem variants with different attributes. In this article, we provide a concise overview of existing and emerging problem variants. Models are typically refined along three lines considering more relevant objectives and performance metrics, integrating vehicle routing evaluations with other tactical decisions, and capturing fine grained yet essential aspects of modern supply chains. We organize the main problem attributes within this structured framework. We discuss recent research directions and pinpoint current shortcomings, recent successes, and emerging challenges.


A case study for zeta(4) . Using symbolic summation tools in the setting of difference rings, we prove a two parametric identity that relates rational approximations to zeta(4) .


Adversarial Grammatical Error Correction. Recent works in Grammatical Error Correction (GEC) have leveraged the progress in Neural Machine Translation (NMT), to learn rewrites from parallel corpora of grammatically incorrect and corrected sentences, achieving state of the art results. At the same time, Generative Adversarial Networks (GANs) have been successful in generating realistic texts across many different tasks by learning to directly minimize the difference between human generated and synthetic text. In this work, we present an adversarial learning approach to GEC, using the generator discriminator framework. The generator is a Transformer model, trained to produce grammatically correct sentences given grammatically incorrect ones. The discriminator is a sentence pair classification model, trained to judge a given pair of grammatically incorrect correct sentences on the quality of grammatical correction. We pre train both the discriminator and the generator on parallel texts and then fine tune them further using a policy gradient method that assigns high rewards to sentences which could be true corrections of the grammatically incorrect text. Experimental results on FCE, CoNLL 14, and BEA 19 datasets show that Adversarial GEC can achieve competitive GEC quality compared to NMT based baselines.


DNS of Taylor Couette flow between counter rotating cylinders at small radius ratio. A counter rotating Taylor Couette flow with relatively small radius ratios of eta 0.2 0.5 was investigated over a wide range of the Reynolds number, from laminar to turbulent regime, by means of three dimensional direct numerical simulations. We investigated the eta dependence of the flow structure and determined a critical value between eta 0.2 and 0.3, below which, the stable outer cylinder side exhibited a modal structure that was different from the Taylor vortex flow on the inner side. At eta geq 0.3, the Taylor vortex on the unstable inner side dominated the entire flow field between the cylinders, whose footprints were observed in the vicinity of the outer cylinder wall. However, for eta 0.2, the influence from the inner side was limited up to the centre of the cylinder gap. Moreover, on the stable outer cylinder side, there appeared a modal structure that was axially homogeneous, azimuthally periodic, and similar to the Tollmien Schlichting (TS) instability wave. As the Reynolds number increased with a fixed eta 0.2, the modal structure changed its azimuthal wavenumber and thickened radially in the wall unit. Although the Reynolds shear stress on the outer side remained approximately zero, the intensity of the velocity fluctuations was comparable to the Taylor vortex flows in the central part.


Topological approach for laser acceleration investigation. An approach using topology reveals a new understanding and knowledge of laser particle acceleration. Laser pulse irradiation on a thin foil target is examined using two dimensional particle in cell simulations. Through topology, laser ion acceleration schemes are classified depending on whether the deformed target shape after laser irradiation is homeomorphic with respect to the initial target. High energy ions are generated with high efficiency when the deformed target shape is non homeomorphic. In this case, the target thickness greatly affects the obtained ion energy. However, when the deformed target shape is homeomorphic, the obtained ion energy is low, and the effect of the target thickness is small.


A Multi Media Exchange Format for Time Series Dataset Curation. Exchanging data as character separated values (CSV) is slow, cumbersome and error prone. Especially for time series data, which is common in Activity Recognition, synchronizing several independently recorded sensors is challenging. Adding second level evidence, like video recordings from multiple angles and time coded annotations, further complicates the matter of curating such data. A possible alternative is to make use of standardized multi media formats. Sensor data can be encoded in audio format, and time coded information, like annotations, as subtitles. Video data can be added easily. All this media can be merged into a single container file, which makes the issue of synchronization explicit. The incurred performance overhead by this encoding is shown to be negligible and compression can be applied to optimize storage and transmission overhead.


The Methods to Improve Quality of Service by Accounting Secure Parameters. A solution to the problem of ensuring quality of service, providing a greater number of services with higher efficiency taking into account network security is proposed. In this paper, experiments were conducted to analyze the effect of self similarity and attacks on the quality of service parameters. Method of buffering and control of channel capacity and calculating of routing cost method in the network, which take into account the parameters of traffic multifractality and the probability of detecting attacks in telecommunications networks were proposed. The both proposed methods accounting the given restrictions on the delay time and the number of lost packets for every type quality of service traffic. During simulation the parameters of transmitted traffic (self similarity, intensity) and the parameters of network (current channel load, node buffer size) were changed and the maximum allowable load of network was determined. The results of analysis show that occurrence of overload when transmitting traffic over a switched channel associated with multifractal traffic characteristics and presence of attack. It was shown that proposed methods can reduce the lost data and improve the efficiency of network resources.


Maximizing Stylistic Control and Semantic Accuracy in NLG Personality Variation and Discourse Contrast. Neural generation methods for task oriented dialogue typically generate from a meaning representation that is populated using a database of domain information, such as a table of data describing a restaurant. While earlier work focused solely on the semantic fidelity of outputs, recent work has started to explore methods for controlling the style of the generated text while simultaneously achieving semantic accuracy. Here we experiment with two stylistic benchmark tasks, generating language that exhibits variation in personality, and generating discourse contrast. We report a huge performance improvement in both stylistic control and semantic accuracy over the state of the art on both of these benchmarks. We test several different models and show that putting stylistic conditioning in the decoder and eliminating the semantic re ranker used in earlier models results in more than 15 points higher BLEU for Personality, with a reduction of semantic error to near zero. We also report an improvement from .75 to .81 in controlling contrast and a reduction in semantic error from 16 to 2 .


Virtual Critical Coupling. Electromagnetic resonators are a versatile platform to harvest, filter and trap electromagnetic energy, at the basis of many applications from microwaves to optics. Resonators with a large intrinsic quality factor (Q) are highly desirable since they can store a large amount of energy, leading to sharp filtering and low loss. Exciting high Q cavities with monochromatic signals, however, suffers from poor excitation efficiency, i.e., most of the impinging energy is lost in the form of reflection, since high Q resonators are weakly coupled to external radiation. Although critical coupling eliminates reflections in steady state by matching the intrinsic and coupling decay rates, this approach requires the introduction of loss in the resonator, causing dissipation and lowering the overall Q factor. Here, we extend the notion of critical coupling to high Q lossless resonators based on tailoring the temporal profile of the excitation wave. Utilizing coupled mode theory, we demonstrate an effect analogous to critical coupling by mimicking loss with non monochromatic excitations at complex frequencies. Remarkably, we show that this approach enables unitary excitation efficiency in open systems, even in the limit of extreme quality factors in the regime of quasi bound states in the continuum.


Mixed Multiplicities of Maximal Degrees (J. Korean Math. Soc. 55 (2018), No. 3, 605 622). The original mixed multiplicity theory considered the class of mixed multiplicities concerning the terms of highest total degree in the Hilbert polynomial. This paper defines a broader class of mixed multiplicities that concern the maximal terms in this polynomial, and gives many results, which are not only general but also more natural than many results in the original mixed multiplicity theory.


Video based Remote Physiological Measurement via Cross verified Feature Disentangling. Remote physiological measurements, e.g., remote photoplethysmography (rPPG) based heart rate (HR), heart rate variability (HRV) and respiration frequency (RF) measuring, are playing more and more important roles under the application scenarios where contact measurement is inconvenient or impossible. Since the amplitude of the physiological signals is very small, they can be easily affected by head movements, lighting conditions, and sensor diversities. To address these challenges, we propose a cross verified feature disentangling strategy to disentangle the physiological features with non physiological representations, and then use the distilled physiological features for robust multi task physiological measurements. We first transform the input face videos into a multi scale spatial temporal map (MSTmap), which can suppress the irrelevant background and noise features while retaining most of the temporal characteristics of the periodic physiological signals. Then we take pairwise MSTmaps as inputs to an autoencoder architecture with two encoders (one for physiological signals and the other for non physiological information) and use a cross verified scheme to obtain physiological features disentangled with the non physiological features. The disentangled features are finally used for the joint prediction of multiple physiological signals like average HR values and rPPG signals. Comprehensive experiments on different large scale public datasets of multiple physiological measurement tasks as well as the cross database testing demonstrate the robustness of our approach.


Towards a secure behavior modeling for IoT networks using Blockchain. Internet of Things (IoT) occupies a vital aspect of our everyday lives. IoT networks composed of smart devices which communicate and transfer the information without the physical intervention of humans. Due to such proliferation and autonomous nature of IoT systems make these devices threatened and prone to a severe kind of threats. In this paper, we introduces a behavior capturing, and verification procedures in blockchain supported smart IoT systems that can be able to show the trust level confidence to outside networks. We defined a custom emph Behavior Monitor and implement on a selected node that can extract the activity of each device and analyzes the behavior using deep machine learning strategy. Besides, we deploy Trusted Execution Technology (TEE) which can be used to provide a secure execution environment (enclave) for sensitive application code and data on the blockchain. Finally, in the evaluation phase we analyze various IoT devices data that is infected by Mirai attack. The evaluation results show the strength of our proposed method in terms of accuracy and time required for detection.


Towards Gradually Typed Capabilities in the Pi Calculus. Gradual typing is an approach to integrating static and dynamic typing within the same language, and puts the programmer in control of which regions of code are type checked at compile time and which are type checked at run time. In this paper, we focus on the pi calculus equipped with types for the modeling of input output capabilities of channels. We present our preliminary work towards a gradually typed version of this calculus. We present a type system, a cast insertion procedure that automatically inserts run time checks, and an operational semantics of a pi calculus that handles casts on channels. Although we do not claim any theoretical results on our formulations, we demonstrate our calculus with an example and discuss our future plans.


Low Resource Multi Task Sequence Tagging Revisiting Dynamic Conditional Random Fields. We compare different models for low resource multi task sequence tagging that leverage dependencies between label sequences for different tasks. Our analysis is aimed at datasets where each example has labels for multiple tasks. Current approaches use either a separate model for each task or standard multi task learning to learn shared feature representations. However, these approaches ignore correlations between label sequences, which can provide important information in settings with small training datasets. To analyze which scenarios can profit from modeling dependencies between labels in different tasks, we revisit dynamic conditional random fields (CRFs) and combine them with deep neural networks. We compare single task, multi task and dynamic CRF setups for three diverse datasets at both sentence and document levels in English and German low resource scenarios. We show that including silver labels from pretrained part of speech taggers as auxiliary tasks can improve performance on downstream tasks. We find that especially in low resource scenarios, the explicit modeling of inter dependencies between task predictions outperforms single task as well as standard multi task models.


Proving Properties of Sorting Programs A Case Study in Horn Clause Verification. The proof of a program property can be reduced to the proof of satisfiability of a set of constrained Horn clauses (CHCs) which can be automatically generated from the program and the property. In this paper we have conducted a case study in Horn clause verification by considering several sorting programs with the aim of exploring the effectiveness of a transformation technique which allows us to eliminate inductive data structures such as lists or trees. If this technique is successful, we derive a set of CHCs with constraints over the integers and booleans only, and the satisfiability check can often be performed in an effective way by using state of the art CHC solvers, such as Eldarica or Z3. In this case study we have also illustrated the usefulness of a companion technique based on the introduction of the so called difference predicates, whose definitions correspond to lemmata required during the verification. We have considered functional programs which implement the following kinds of sorting algorithms acting on lists of integers (i) linearly recursive sorting algorithms, such as insertion sort and selection sort, and (ii) non linearly recursive sorting algorithms, such as quicksort and mergesort, and we have considered the following properties (i) the partial correctness properties, that is, the orderedness of the output lists, and the equality of the input and output lists when viewed as multisets, and (ii) some arithmetic properties, such as the equality of the sum of the elements before and after sorting.


Narrow bandwidth gamma comb from nonlinear Compton scattering using the polarization gating technique. Nonlinear Compton scattering is a promising source of bright gamma rays. Using readily available intense laser pulses to scatter off the energetic electrons on the one hand allows to significantly increase the total photon yield, but on the other hand leads to a dramatic spectral broadening of fundamental emission line as well as its harmonics due to the laser pulse shape induced ponderomotive effects. In this paper we propose to avoid ponderomotive broadening in harmonics by using the polarization gating technique a well known method to construct a laser pulse with temporally varying polarization. We show that by restricting harmonic emission only to the region near the peak of the pulse, where the polarization is linear, it is possible to generate a bright narrow bandwidth comb in the gamma region.


Machine learning techniques for the optimal design of acoustic metamaterials. Recently, an increasing research effort has been dedicated to analyse the transmission and dispersion properties of periodic acoustic metamaterials, characterized by the presence of local resonators. Within this context, particular attention has been paid to the optimization of the amplitudes and center frequencies of selected stop and pass bands inside the Floquet Bloch spectra of the acoustic metamaterials featured by a chiral or antichiral microstructure. Novel functional applications of such research are expected in the optimal parametric design of smart tunable mechanical filters and directional waveguides. The present paper deals with the maximization of the amplitude of low frequency band gaps, by proposing suitable numerical techniques to solve the associated optimization problems. Specifically, the feasibility and effectiveness of Radial Basis Function networks and Quasi Monte Carlo methods for the interpolation of the objective functions of such optimization problems are discussed, and their numerical application to a specific acoustic metamaterial with tetrachiral microstructure is presented. The discussion is motivated theoretically by the high computational effort often needed for an exact evaluation of the objective functions arising in band gap optimization problems, when iterative algorithms are used for their approximate solution. By replacing such functions with suitable surrogate objective functions constructed applying machine learning techniques, well performing suboptimal solutions can be obtained with a smaller computational effort. Numerical results demonstrate the effective potential of the proposed approach. Current directions of research involving the use of additional machine learning techniques are also presented.


Palindromic Length of Words with Many Periodic Palindromes. The palindromic length text PL (v) of a finite word v is the minimal number of palindromes whose concatenation is equal to v . In 2013, Frid, Puzynina, and Zamboni conjectured that If w is an infinite word and k is an integer such that text PL (u) leq k for every factor u of w then w is ultimately periodic. Suppose that w is an infinite word and k is an integer such text PL (u) leq k for every factor u of w . Let Omega(w,k) be the set of all factors u of w that have more than sqrt k k 1 vert u vert palindromic prefixes. We show that Omega(w,k) is an infinite set and we show that for each positive integer j there are palindromes a,b and a word u in Omega(w,k) such that (ab) j is a factor of u and b is nonempty. Note that (ab) j is a periodic word and (ab) ia is a palindrome for each i leq j . These results justify the following question What is the palindromic length of a concatenation of a suffix of b and a periodic word (ab) j with "many" periodic palindromes? It is known that lvert text PL (uv) text PL (u) rvert leq text PL (v) , where u and v are nonempty words. The main result of our article shows that if a,b are palindromes, b is nonempty, u is a nonempty suffix of b , vert ab vert is the minimal period of aba , and j is a positive integer with j geq3 text PL (u) then text PL (u(ab) j) text PL (u) geq 0 .


Minkowski gauges and deviation measures. We propose to derive deviation measures through the Minkowski gauge of a given set of acceptable positions. We show that, given a suitable acceptance set, any positive homogeneous deviation measure can be accommodated in our framework. In doing so, we provide a new interpretation for such measures, namely, that they quantify how much one must shrink or deleverage a position for it to become acceptable. In particular, the Minkowski Deviation of a set which is convex, stable under scalar addition, and radially bounded at non constants, is a generalized deviation measure. Furthermore, we explore the relations existing between mathematical and financial properties attributable to an acceptance set, and the corresponding properties of the induced measure. Hence, we fill the gap that is the lack of an acceptance set for deviation measures. Dual characterizations in terms of polar sets and support functionals are provided.


Soft Robots for Extreme Environments Removing Electronic Control. The ignition of flammable liquids and gases in offshore oil and gas environments is a major risk and can cause loss of life, serious injury, and significant damage to infrastructure. Power supplies that are used to provide regulated voltages to drive motors, relays, and power electronic controls can produce heat and cause sparks. As a result, the European Union requires ATEX certification on electrical equipment to ensure safety in such extreme environments. Implementing designs that meet this standard is time consuming and adds to the cost of operations. Soft robots are often made with soft materials and can be actuated pneumatically, without electronics, making these systems inherently compliant with this directive. In this paper, we aim to increase the capability of new soft robotic systems moving from a one to one control actuator architecture and implementing an electronics free control system. We have developed a robot that demonstrates locomotion and gripping using three pneumatic lines a vacuum power line, a control input, and a clock line. We have followed the design principles of digital electronics and demonstrated an integrated fluidic circuit with eleven, fully integrated fluidic switches and six actuators. We have realized the basic building blocks of logical operation into combinational logic and memory using our fluidic switches to create a two state automata machine. This system expands on the state of the art increasing the complexity over existing soft systems with integrated control.


Data driven Regularization via Racecar Training for Generalizing Neural Networks. We propose a novel training approach for improving the generalization in neural networks. We show that in contrast to regular constraints for orthogonality, our approach represents a em data dependent orthogonality constraint, and is closely related to singular value decompositions of the weight matrices. We also show how our formulation is easy to realize in practical network architectures via a reverse pass, which aims for reconstructing the full sequence of internal states of the network. Despite being a surprisingly simple change, we demonstrate that this forward backward training approach, which we refer to as em racecar training, leads to significantly more generic features being extracted from a given data set. Networks trained with our approach show more balanced mutual information between input and output throughout all layers, yield improved explainability and, exhibit improved performance for a variety of tasks and task transfers.


Dataset of Video Game Development Problems. Different from traditional software development, there is little information about the software engineering process and techniques in video game development. One popular way to share knowledge among the video game developers' community is the publishing of postmortems, which are documents summarizing what happened during the video game development project. However, these documents are written without formal structure and often providing disparate information. Through this paper, we provide developers and researchers with grounded dataset describing software engineering problems in video game development extracted from postmortems. We created the dataset using an iterative method through which we manually coded more than 200 postmortems spanning 20 years (1998 to 2018) and extracted 1,035 problems related to software engineering while maintaining traceability links to the postmortems. We grouped the problems in 20 different types. This dataset is useful to understand the problems faced by developers during video game development, providing researchers and practitioners a starting point to study video game development in the context of software engineering.


Equivalent Classification Mapping for Weakly Supervised Temporal Action Localization. Weakly supervised temporal action localization is a newly emerging yet widely studied topic in recent years. The existing methods can be categorized into two localization by classification pipelines, i.e., the pre classification pipeline and the post classification pipeline. The pre classification pipeline first performs classification on each video snippet and then aggregate the snippet level classification scores to obtain the video level classification score. In contrast, the post classification pipeline aggregates the snippet level features first and then predicts the video level classification score based on the aggregated feature. Although the classifiers in these two pipelines are used in different ways, the role they play is exactly the same to classify the given features to identify the corresponding action categories. To this end, an ideal classifier can make both pipelines work. This inspires us to simultaneously learn these two pipelines in a unified framework to obtain an effective classifier. Specifically, in the proposed learning framework, we implement two parallel network streams to model the two localization by classification pipelines simultaneously and make the two network streams share the same classifier. This achieves the novel Equivalent Classification Mapping (ECM) mechanism. Moreover, we discover that an ideal classifier may possess two characteristics 1) The frame level classification scores obtained from the pre classification stream and the feature aggregation weights in the post classification stream should be consistent 2) The classification results of these two streams should be identical. Based on these two characteristics, we further introduce a weight transition module and an equivalent training strategy into the proposed learning framework, which assists to thoroughly mine the equivalence mechanism.


Distributed Data Summarization in Well Connected Networks. We study distributed algorithms for some fundamental problems in data summarization. Given a communication graph G of n nodes each of which may hold a value initially, we focus on computing sum i 1 N g(f i) , where f i is the number of occurrences of value i and g is some fixed function. This includes important statistics such as the number of distinct elements, frequency moments, and the empirical entropy of the data. In the CONGEST model, a simple adaptation from streaming lower bounds shows that it requires tilde Omega (D n) rounds, where D is the diameter of the graph, to compute some of these statistics exactly. However, these lower bounds do not hold for graphs that are well connected. We give an algorithm that computes sum i 1 N g(f i) exactly in tau G cdot 2 O( sqrt log n ) rounds where tau G is the mixing time of G . This also has applications in computing the top k most frequent elements. We demonstrate that there is a high similarity between the GOSSIP model and the CONGEST model in well connected graphs. In particular, we show that each round of the GOSSIP model can be simulated almost perfectly in tilde O ( tau G rounds of the CONGEST model. To this end, we develop a new algorithm for the GOSSIP model that 1 pm epsilon approximates the p th frequency moment F p sum i 1 N f i p in tilde O ( epsilon 2 n 1 k p ) rounds, for p geq2 , when the number of distinct elements F 0 is at most O left(n 1 (k 1) right) . This result can be translated back to the CONGEST model with a factor tilde O ( tau G) blow up in the number of rounds.


Economically High Order Unstructured Grid Methods Clarification and Efficient FSR Schemes. In this paper, we clarify reconstruction based discretization schemes for unstructured grids and discuss their economically high order versions, which can achieve high order accuracy under certain conditions at little extra cost. The clarification leads to one of the most economical approaches the flux and solution reconstruction (FSR) approach, where highly economical schemes can be constructed based on an extended kappa scheme combined with economical flux reconstruction formulas, achieving up to fifth order accuracy (sixth order with zero dissipation) when a grid is regular. Various economical FSR schemes are presented and their formal orders of accuracy are verified by numerical experiments.


Optimal Orthogonal Drawings of Planar 3 Graphs in Linear Time. A planar orthogonal drawing Gamma of a planar graph G is a geometric representation of G such that the vertices are drawn as distinct points of the plane, the edges are drawn as chains of horizontal and vertical segments, and no two edges intersect except at their common end points. A bend of Gamma is a point of an edge where a horizontal and a vertical segment meet. Gamma is bend minimum if it has the minimum number of bends over all possible planar orthogonal drawings of G . This paper addresses a long standing, widely studied, open question Given a planar 3 graph G (i.e., a planar graph with vertex degree at most three), what is the best computational upper bound to compute a bend minimum planar orthogonal drawing of G in the variable embedding setting? In this setting the algorithm can choose among the exponentially many planar embeddings of G the one that leads to an orthogonal drawing with the minimum number of bends. We answer the question by describing an O(n) time algorithm that computes a bend minimum planar orthogonal drawing of G with at most one bend per edge, where n is the number of vertices of G . The existence of an orthogonal drawing algorithm that simultaneously minimizes the total number of bends and the number of bends per edge was previously unknown.


On Bredon's trick from local to global properties. One of the most interesting problems that arise when studying certain structures on topological spaces and in particular on differential manifolds, is to be able to extend the properties that are valid locally to the whole space. A useful tool, which has perhaps been underestimated, is a lemma introduced by G. Bredon, which we refer to as Bredon's trick and which allows the extension of local properties to certain topological spaces. We make a review of this result and show its application in the context of De Rham's cohomology, we will see how this trick allows to give natural alternative demonstrations to classic results, as well as it is fundamental in other cases such as in stratified pseudo manifolds.


Attention Driven Dynamic Graph Convolutional Network for Multi Label Image Recognition. Recent studies often exploit Graph Convolutional Network (GCN) to model label dependencies to improve recognition accuracy for multi label image recognition. However, constructing a graph by counting the label co occurrence possibilities of the training data may degrade model generalizability, especially when there exist occasional co occurrence objects in test images. Our goal is to eliminate such bias and enhance the robustness of the learnt features. To this end, we propose an Attention Driven Dynamic Graph Convolutional Network (ADD GCN) to dynamically generate a specific graph for each image. ADD GCN adopts a Dynamic Graph Convolutional Network (D GCN) to model the relation of content aware category representations that are generated by a Semantic Attention Module (SAM). Extensive experiments on public multi label benchmarks demonstrate the effectiveness of our method, which achieves mAPs of 85.2 , 96.0 , and 95.5 on MS COCO, VOC2007, and VOC2012, respectively, and outperforms current state of the art methods with a clear margin. All codes can be found at https github.com Yejin0111 ADD GCN.


Hurricane Forecasting A Novel Multimodal Machine Learning Framework. This paper describes a novel machine learning (ML) framework for tropical cyclone intensity and track forecasting, combining multiple ML techniques and utilizing diverse data sources. Our multimodal framework, called Hurricast, efficiently combines spatial temporal data with statistical data by extracting features with deep learning encoder decoder architectures and predicting with gradient boosted trees. We evaluate our models in the North Atlantic and Eastern Pacific basins on 2016 2019 for 24 hour lead time track and intensity forecasts and show they achieve comparable mean average error and skill to current operational forecast models while computing in seconds. Furthermore, the inclusion of Hurricast into an operational forecast consensus model could improve over the National Hurricane Center's official forecast, thus highlighting the complementary properties with existing approaches. In summary, our work demonstrates that utilizing machine learning techniques to combine different data sources can lead to new opportunities in tropical cyclone forecasting.


Th 'eorie de Bruhat Tits pour les groupes quasi r 'eductifs. We extend (scheme theoretic) Bruhat Tits theory to quasi reductive groups i.e. with trivial split unipotent radical over discretely valued henselian non archimedean fields K , whose ring of integers is excellent and residue field is perfect, building on Bruhat Tits I et II and the classification of pseudo reductive groups by Conrad Gabber Prasad. The buildings had been constructed previously by Solleveld in a different manner, but they ultimately coincide with ours. We were motivated by the geometry of affine Grassmannians and give some applications at the end (compare also with previously submitted work arXiv 1912.11918).


Graph Neural Networks Meet Neural Symbolic Computing A Survey and Perspective. Neural symbolic computing has now become the subject of interest of both academic and industry research laboratories. Graph Neural Networks (GNN) have been widely used in relational and symbolic domains, with widespread application of GNNs in combinatorial optimization, constraint satisfaction, relational reasoning and other scientific domains. The need for improved explainability, interpretability and trust of AI systems in general demands principled methodologies, as suggested by neural symbolic computing. In this paper, we review the state of the art on the use of GNNs as a model of neural symbolic computing. This includes the application of GNNs in several domains as well as its relationship to current developments in neural symbolic computing.


On Lebesgue null sets. Letting A be a Borel subset of n dimensional Euclidean space, and W(x) be an m dimensional affine subspace containing x and varying in a Lipschitz way according to x, we establish that A is Lebesgue null if and only if A cap W(x) has m dimensional Hausdorff measure vanishing for almost every x.


GAN Leaks A Taxonomy of Membership Inference Attacks against Generative Models. Deep learning has achieved overwhelming success, spanning from discriminative models to generative models. In particular, deep generative models have facilitated a new level of performance in a myriad of areas, ranging from media manipulation to sanitized dataset generation. Despite the great success, the potential risks of privacy breach caused by generative models have not been analyzed systematically. In this paper, we focus on membership inference attack against deep generative models that reveals information about the training data used for victim models. Specifically, we present the first taxonomy of membership inference attacks, encompassing not only existing attacks but also our novel ones. In addition, we propose the first generic attack model that can be instantiated in a large range of settings and is applicable to various kinds of deep generative models. Moreover, we provide a theoretically grounded attack calibration technique, which consistently boosts the attack performance in all cases, across different attack settings, data modalities, and training configurations. We complement the systematic analysis of attack performance by a comprehensive experimental study, that investigates the effectiveness of various attacks w.r.t. model type and training configurations, over three diverse application scenarios (i.e., images, medical data, and location data).


Gradual Network for Single Image De raining. Most advances in single image de raining meet a key challenge, which is removing rain streaks with different scales and shapes while preserving image details. Existing single image de raining approaches treat rain streak removal as a process of pixel wise regression directly. However, they are lacking in mining the balance between over de raining (e.g. removing texture details in rain free regions) and under de raining (e.g. leaving rain streaks). In this paper, we firstly propose a coarse to fine network called Gradual Network (GraNet) consisting of coarse stage and fine stage for delving into single image de raining with different granularities. Specifically, to reveal coarse grained rain streak characteristics (e.g. long and thick rain streaks raindrops), we propose a coarse stage by utilizing local global spatial dependencies via a local global subnetwork composed of region aware blocks. Taking the residual result (the coarse de rained result) between the rainy image sample (i.e. the input data) and the output of coarse stage (i.e. the learnt rain mask) as input, the fine stage continues to de rain by removing the fine grained rain streaks (e.g. light rain streaks and water mist) to get a rain free and well reconstructed output image via a unified contextual merging sub network with dense blocks and a merging block. Solid and comprehensive experiments on synthetic and real data demonstrate that our GraNet can significantly outperform the state of the art methods by removing rain streaks with various densities, scales and shapes while keeping the image details of rain free regions well preserved.


Stable Visual Summaries for Trajectory Collections. The availability of devices that track moving objects has led to an explosive growth in trajectory data. When exploring the resulting large trajectory collections, visual summaries are a useful tool to identify time intervals of interest. A typical approach is to represent the spatial positions of the tracked objects at each time step via a one dimensional ordering visualizations of such orderings can then be placed in temporal order along a time line. There are two main criteria to assess the quality of the resulting visual summary spatial quality how well does the ordering capture the structure of the data at each time step, and stability how coherent are the orderings over consecutive time steps or temporal ranges? In this paper we introduce a new Stable Principal Component (SPC) method to compute such orderings, which is explicitly parameterized for stability, allowing a trade off between the spatial quality and stability. We conduct extensive computational experiments that quantitatively compare the orderings produced by ours and other stable dimensionality reduction methods to various state of the art approaches using a set of well established quality metrics that capture spatial quality and stability. We conclude that stable dimensionality reduction outperforms existing methods on stability, without sacrificing spatial quality or efficiency in particular, our new SPC method does so at a fraction of the computational costs.


Robust Learning by Self Transition for Handling Noisy Labels. Real world data inevitably contains noisy labels, which induce the poor generalization of deep neural networks. It is known that the network typically begins to rapidly memorize false labeled samples after a certain point of training. Thus, to counter the label noise challenge, we propose a novel self transitional learning method called MORPH, which automatically switches its learning phase at the transition point from seeding to evolution. In the seeding phase, the network is updated using all the samples to collect a seed of clean samples. Then, in the evolution phase, the network is updated using only the set of arguably clean samples, which precisely keeps expanding by the updated network. Thus, MORPH effectively avoids the overfitting to false labeled samples throughout the entire training period. Extensive experiments using five real world or synthetic benchmark datasets demonstrate substantial improvements over state of the art methods in terms of robustness and efficiency.


Handling Inter Annotator Agreement for Automated Skin Lesion Segmentation. In this work, we explore the issue of the inter annotator agreement for training and evaluating automated segmentation of skin lesions. We explore what different degrees of agreement represent, and how they affect different use cases for segmentation. We also evaluate how conditioning the ground truths using different (but very simple) algorithms may help to enhance agreement and may be appropriate for some use cases. The segmentation of skin lesions is a cornerstone task for automated skin lesion analysis, useful both as an end result to locate detect the lesions and as an ancillary task for lesion classification. Lesion segmentation, however, is a very challenging task, due not only to the challenge of image segmentation itself but also to the difficulty in obtaining properly annotated data. Detecting accurately the borders of lesions is challenging even for trained humans, since, for many lesions, those borders are fuzzy and ill defined. Using lesions and annotations from the ISIC Archive, we estimate inter annotator agreement for skin lesion segmentation and propose several simple procedures that may help to improve inter annotator agreement if used to condition the ground truths.