The Scalability for Parallel Machine Learning Training Algorithm Dataset Matters. To gain a better performance, many researchers put more computing resource into an application. However, in the AI area, there is still a lack of a successful large scale machine learning training application The scalability and performance reproducibility of parallel machine learning training algorithm are limited and there are a few pieces of research focusing on why these indexes are limited but there are very few research efforts explaining the reasons in essence. In this paper, we propose that the sample difference in dataset plays a more prominent role in parallel machine learning algorithm scalability. Dataset characters can measure sample difference. These characters include the variance of the sample in a dataset, sparsity, sample diversity and similarity in sampling sequence. To match our proposal, we choose four kinds of parallel machine learning training algorithms as our research objects (1) Asynchronous parallel SGD algorithm (Hogwild! algorithm) (2) Parallel model average SGD algorithm (Mini batch SGD algorithm) (3) Decenterilization optimization algorithm, (4) Dual Coordinate Optimization (DADM algorithm). These algorithms cover different types of machine learning optimization algorithms. We present the analysis of their convergence proof and design experiments. Our results show that the characters datasets decide the scalability of the machine learning algorithm. What is more, there is an upper bound of parallel scalability for machine learning algorithms.


A Content Based Deep Intrusion Detection System. The growing number of Internet users and the prevalence of web applications make it necessary to deal with very complex software and applications in the network. This results in an increasing number of new vulnerabilities in the systems, and leading to an increase in cyber threats and, in particular, zero day attacks. The cost of generating appropriate signatures for these attacks is a potential motive for using machine learning based methodologies. Although there are many studies on using learning based methods for attack detection, they generally use extracted features and overlook raw contents. This approach can lessen the performance of detection systems against content based attacks like SQL injection, Cross site Scripting (XSS), and various viruses. In this work, we propose a framework, called deep intrusion detection (DID) system, that uses the pure content of traffic flows in addition to traffic metadata in the learning and detection phases of a passive DNN IDS. To this end, we deploy and evaluate an offline IDS following the framework using LSTM as a deep learning technique. Due to the inherent nature of deep learning, it can process high dimensional data content and, accordingly, discover the sophisticated relations between the auto extracted features of the traffic. To evaluate the proposed DID system, we use the CIC IDS2017 and CSE CIC IDS2018 datasets. The evaluation metrics, such as precision and recall, reach 0.992 and 0.998 on CIC IDS2017, and 0.933 and 0.923 on CSE CIC IDS2018 respectively, which show the high performance of the proposed DID method.


The relation between Hamiltonian and 1 tough properties of the Cartesian product graphs. The relation between Hamiltonicity and toughness of a graph is a long standing research problem. The paper studies the Hamiltonicity of the Cartesian product graph G 1 square G 2 of graphs G 1 and G 2 satisfying that G 1 is traceable and G 2 is connected with a path factor. Let Pn be the path of order n and H be a connected bipartite graph. With certain requirements of n , we show that the following three statements are equivalent (i) P n square H is Hamiltonian (ii) P n square H is 1 tough and (iii) H has a path factor.


Monopole Floer homology for codimension 3 Riemannian foliation. In this paper, we give a systematic study of Seiberg Witten theory on closed oriented manifold M with codimension 3 oriented Riemannian foliation F . Under a certain topological condition, we construct the basic Seiberg Witten invariant and the monopole Floer homologies overline HM (M,F, mfs Gamma), widehat HM (M,F, mfs Gamma), widecheck HM (M,F, mfs Gamma) , for each transverse spinc structure mfs , where Gamma is a complete local system. We will show that these homologies are independent of the bundle like metric and generic perturbation. The major difference between the basic monopole Floer homologies and the ones on manifolds is the necessity to use the Novikov ring on basic monopole Floer homologies.


The Non Iterative Transformation Method. The Blasius flow is the idealized flow of a viscous fluid past an infinitesimally thick, semi infinite flat plate. The definition of a non iterative transformation method for the celebrated Blasius problem is due to T "o pfer and dates more than a century ago. Here we define a non iterative transformation method for Blasius equation with a moving wall, a slip flow condition or a surface gasification. The defined method allows us to deal with classes of problems in boundary layer theory that, depending on a parameter, admit multiple or no solutions. This approach is particularly convenient when the main interest is on the behaviour of the considered models with respect to the involved parameter. The obtained numerical results are found to be in good agreement with those available in literature.


Dis Empowerment Online An Investigation of Privacy Sharing Perceptions Method Preferences. While it is often claimed that users are empowered via online technologies, there is also a general feeling of privacy dis empowerment. We investigate the perception of privacy and sharing empowerment online, as well as the use of privacy technologies, via a cross national online study with N 907 participants. We find that perception of privacy empowerment differs from that of sharing across dimensions of meaningfulness, competence and choice. We find similarities and differences in privacy method preference between the US, UK and Germany. We also find that non technology methods of privacy protection are among the most preferred methods, while more advanced and standalone privacy technologies are least preferred.. By mapping the perception of privacy dis empowerment into patterns of privacy behavior online, and clarifying the similarities and distinctions in privacy technology use, this paper provides an important foundation for future research and the design of privacy technologies. The findings may be used across disciplines to develop more user centric privacy technologies, that support and enable the user.


Project PIAF Building a Native French Question Answering Dataset. Motivated by the lack of data for non English languages, in particular for the evaluation of downstream tasks such as Question Answering, we present a participatory effort to collect a native French Question Answering Dataset. Furthermore, we describe and publicly release the annotation tool developed for our collection effort, along with the data obtained and preliminary baselines.


Progress towards 3D printing diamond for medical implants A review. Additive manufacturing or 3D printing is used to create bespoke items in many fields, such as defence, aerospace and medicine. Despite the progress made in 3D printed orthopaedic implants, significant challenges remain in terms of creating a material capable of osseointegration while inhibiting bacterial colonisation of the implant. Diamond is rapidly emerging as a material with an extensive range of biomedical applications, especially due to its excellent biocompatibility. However, diamond is a difficult material to fabricate, owing to its extreme level of hardness and its brittleness. New methods of fabrication including additive manufacturing, have overcome some of these challenges and given rise to an increase in the use of diamond based implants in both soft and hard tissue applications. Therefore, due to the unique properties of diamond, it is being considered as a facilitator of bone growth and subsequent tissue integration. This review outlines the recent progress in fabricating diamond for orthopaedic application, specifically focusing on the different fabrication approaches and their applicability in vitro and in vivo. The prospects and challenges for using diamond in medical implant technologies are also discussed.


A decentralized framework for simultaneous calibration, localization and mapping with multiple LiDARs. LiDAR is playing a more and more essential role in autonomous driving vehicles for objection detection, self localization and mapping. A single LiDAR frequently suffers from hardware failure (e.g., temporary loss of connection) due to the harsh vehicle environment (e.g., temperature, vibration, etc.), or performance degradation due to the lack of sufficient geometry features, especially for solid state LiDARs with small field of view (FoV). To improve the system robustness and performance in self localization and mapping, we develop a decentralized framework for simultaneous calibration, localization and mapping with multiple LiDARs. Our proposed framework is based on an extended Kalman filter (EKF), but is specially formulated for decentralized implementation. Such an implementation could potentially distribute the intensive computation among smaller computing devices or resources dedicated for each LiDAR and remove the single point of failure problem. Then this decentralized formulation is implemented on an unmanned ground vehicle (UGV) carrying 5 low cost LiDARs and moving at 1.3m s in urban environments. Experiment results show that the proposed method can successfully and simultaneously estimate the vehicle state (i.e., pose and velocity) and all LiDAR extrinsic parameters. The localization accuracy is up to 0.2 on the two datasets we collected. To share our findings and to make contributions to the community, meanwhile enable the readers to verify our work, we will release all our source codes and hardware design blueprint on our Github.


Computer Program Decomposition and Dynamic Behavioral Modeling. Decomposition, statically dividing a program into multiple units, is a common programming technique for realizing parallelism and refining programs. The decomposition of a sequential program into components is tedious, due to the limitations of program analysis and because sequential programs frequently employ inherently sequential algorithms. This paper contributes to this area of study by proposing a diagrammatic methodology to decompose a sequential program. The methodology involves visualizing the program in terms of a conceptual model called the thinging machine (TM) model. The TM diagram based model establishes three levels of representation (1) a static description (2) a dynamic representation and (3) a behavioral model. The decomposition is performed in the last phase of modeling, according to the streams of events. This method is contrasted with formal decomposition specifications and compared with the typical decomposition of a C program. The results point to the viability of using TM for decomposing programs.


Optimization of the Belief Propagation Algorithm for Distributed Detection by Linear Data Fusion Techniques. In this paper, we investigate distributed inference schemes, over binary valued Markov random fields, which are realized by the belief propagation (BP) algorithm. We first show that a decision variable obtained by the BP algorithm in a network of distributed agents can be approximated by a linear fusion of all the local log likelihood ratios. The proposed approach clarifies how the BP algorithm works, simplifies the statistical analysis of its behavior, and enables us to develop a performance optimization framework for the BP based distributed inference systems. Next, we propose a blind learning adaptation scheme to optimize the system performance when there is no information available a priori describing the statistical behavior of the wireless environment concerned. In addition, we propose a blind threshold adaptation method to guarantee a certain performance level in a BP based distributed detection system. To clarify the points discussed, we design a novel linear BP based distributed spectrum sensing scheme for cognitive radio networks and illustrate the performance improvement obtained, over an existing BP based detection method, via computer simulations.


On the Meaning of Transition System Specifications. Transition System Specifications provide programming and specification languages with a semantics. They provide the meaning of a closed term as a process graph a state in a labelled transition system. At the same time they provide the meaning of an n ary operator, or more generally an open term with n free variables, as an n ary operation on process graphs. The classical way of doing this, the closed term semantics, reduces the meaning of an open term to the meaning of its closed instantiations. It makes the meaning of an operator dependent on the context in which it is employed. Here I propose an alternative process graph semantics of TSSs that does not suffer from this drawback. Semantic equivalences on process graphs can be lifted to open terms conform either the closed term or the process graph semantics. For pure TSSs the latter is more discriminating. I consider five sanity requirements on the semantics of programming and specification languages equipped with a recursion construct compositionality, applied to n ary operators, recursion and variables, invariance under alpha conversion, and the recursive definition principle, saying that the meaning of a recursive call should be a solution of the corresponding recursion equations. I establish that the satisfaction of four of these requirements under the closed term semantics of a TSS implies their satisfaction under the process graph semantics.


Grothendieck Duality theories abstract and concrete, I pseudo coherent finite maps. Grothendieck Duality the theory of the twisted inverse image pseudofunctor ( ) ! over a suitable category of scheme maps can be developed concretely, with emphasis on explicit constructions, or abstractly, with emphasis on category theoretic considerations. It is not obvious that the two resulting theories are essentially the same. This is a semi expository account of the connection between these approaches, a nontrivial matter involving some alluring relations, for instance among differential forms, residues and duality. In particular, it emerges that the culminating Ideal Theorem in Hartshorne's "Residues and Duality" holds for arbitrary essentially finite type maps of noetherian schemes and bounded below complexes with quasi coherent cohomology. What appears in this first part mostly concerns pseudo coherent finite maps. The rest is being prepared.


A proof of the Veselov Conjecture for segments. In this note, we prove Veselov's conjecture on the zeros of Wronskians whose entries are Hermite polynomials when the degrees of the polynomials are consecutive positive integres.


An implicit kinetic inviscid flux for predicting continuum flows in all speed regimes. In this study, the kinetic inviscid flux (KIF) is improved and an implicit strategy is coupled. The recently proposed KIF is a kind of inviscid flux, whose microscopic mechanism makes it good at solving shock waves, with advantages against the shock instability phenomenon. When developing the implicit KIF, a phenomenon is noticed that the kinetic flux vector splitting (KFVS) part in boundary layers not only reduces the accuracy, but seriously reduces the Courant Friedrichs Lewy (CFL) number as well. As a result, in this paper, a new weight is proposed about how to combine the KFVS method well with the totally thermalized transport (TTT) method. Besides admitting the using of larger CFL numbers, this new weight brings about more accurate numerical results like pressure, friction coefficient and heat flux when solving shock waves, boundary layers and complex supersonic hypersonic flows. In order to examine the validity, accuracy and efficiency of the present method, six numerical test cases, covering the whole speed regime, are conducted, including the hypersonic viscous flow past a cylinder, the hypersonic double cone flow, the hypersonic double ellipsoid flow, the laminar shock boundary layer interaction, the supersonic flow around a ramp segment and the lid driven cavity flow. The advantages of this scheme and corresponding mechanisms are to be discussed in detail.


Smooth non projective equivariant completions of affine spaces. In this paper we construct an equivariant embedding of the affine space mathbb A n with the translation group action into a complete non projective algebraic variety X for all n geq 3 . The theory of toric varieties is used as the main tool for this construction. In the case of n 3 we describe the orbit structure on the variety X .


A Fleet Learning Architecture for Enhanced Behavior Predictions during Challenging External Conditions. Already today, driver assistance systems help to make daily traffic more comfortable and safer. However, there are still situations that are quite rare but are hard to handle at the same time. In order to cope with these situations and to bridge the gap towards fully automated driving, it becomes necessary to not only collect enormous amounts of data but rather the right ones. This data can be used to develop and validate the systems through machine learning and simulation pipelines. Along this line this paper presents a fleet learning based architecture that enables continuous improvements of systems predicting the movement of surrounding traffic participants. Moreover, the presented architecture is applied to a testing vehicle in order to prove the fundamental feasibility of the system. Finally, it is shown that the system collects meaningful data which are helpful to improve the underlying prediction systems.


Ready Student One Exploring the predictors of student learning in virtual reality. Immersive virtual reality (VR) has enormous potential for education, but classroom resources are limited. Thus, it is important to identify whether and when VR provides sufficient advantages over other modes of learning to justify its deployment. In a between subjects experiment, we compared three methods of teaching Moon phases (a hands on activity, VR, and a desktop simulation) and measured student improvement on existing learning and attitudinal measures. While a substantial majority of students preferred the VR experience, we found no significant differences in learning between conditions. However, we found differences between conditions based on gender, which was highly correlated with experience with video games. These differences may indicate certain groups have an advantage in the VR setting.


Detection of Bangla Fake News using MNB and SVM Classifier. Fake news has been coming into sight in significant numbers for numerous business and political reasons and has become frequent in the online world. People can get contaminated easily by these fake news for its fabricated words which have enormous effects on the offline community. Thus, interest in research in this area has risen. Significant research has been conducted on the detection of fake news from English texts and other languages but a few in Bangla Language. Our work reflects the experimental analysis on the detection of Bangla fake news from social media as this field still requires much focus. In this research work, we have used two supervised machine learning algorithms, Multinomial Naive Bayes (MNB) and Support Vector Machine (SVM) classifiers to detect Bangla fake news with CountVectorizer and Term Frequency Inverse Document Frequency Vectorizer as feature extraction. Our proposed framework detects fake news depending on the polarity of the corresponding article. Finally, our analysis shows SVM with the linear kernel with an accuracy of 96.64 outperform MNB with an accuracy of 93.32 .


The DARK side of generalized Demazure crystals. Naoi showed that tensor products of perfect Kirillov Reshetikhin crystals are isomorphic to certain generalized Demazure crystals. We extend Naoi's results to address distinguished subsets of these tensor products. In type A, these are naturally described in terms of katabolizable tableaux which was key to resolving conjectures of Shimozono Weyman and Chen Haiman in arXiv 2007.04952.


Non Hyperoctahedral Categories of Two Colored Partitions, Part II All Possible Parameter Values. This article is part of a series with the aim of classifying all non hyperoctahedral categories of two colored partitions. Those constitute by some Tannaka Krein type result the co representation categories of a specific class of quantum groups. However, our series of articles is purely combinatorial. In Part I we introduced a class of parameters which gave rise to many new non hyperoctahedral categories of partitions. In the present article we show that this class actually contains all possible parameter values of all non hyperoctahedral categories of partitions. This is an important step towards the classification of all non hyperoctahedral categories.


Importance Aware Semantic Segmentation in Self Driving with Discrete Wasserstein Training. Semantic segmentation (SS) is an important perception manner for self driving cars and robotics, which classifies each pixel into a pre determined class. The widely used cross entropy (CE) loss based deep networks has achieved significant progress w.r.t. the mean Intersection over Union (mIoU). However, the cross entropy loss can not take the different importance of each class in an self driving system into account. For example, pedestrians in the image should be much more important than the surrounding buildings when make a decisions in the driving, so their segmentation results are expected to be as accurate as possible. In this paper, we propose to incorporate the importance aware inter class correlation in a Wasserstein training framework by configuring its ground distance matrix. The ground distance matrix can be pre defined following a priori in a specific task, and the previous importance ignored methods can be the particular cases. From an optimization perspective, we also extend our ground metric to a linear, convex or concave increasing function w.r.t. pre defined ground distance. We evaluate our method on CamVid and Cityscapes datasets with different backbones (SegNet, ENet, FCN and Deeplab) in a plug and play fashion. In our extenssive experiments, Wasserstein loss demonstrates superior segmentation performance on the predefined critical classes for safe driving.


Self Calibration Supported Robust Projective Structure from Motion. Typical Structure from Motion (SfM) pipelines rely on finding correspondences across images, recovering the projective structure of the observed scene and upgrading it to a metric frame using camera self calibration constraints. Solving each problem is mainly carried out independently from the others. For instance, camera self calibration generally assumes correct matches and a good projective reconstruction have been obtained. In this paper, we propose a unified SfM method, in which the matching process is supported by self calibration constraints. We use the idea that good matches should yield a valid calibration. In this process, we make use of the Dual Image of Absolute Quadric projection equations within a multiview correspondence framework, in order to obtain robust matching from a set of putative correspondences. The matching process classifies points as inliers or outliers, which is learned in an unsupervised manner using a deep neural network. Together with theoretical reasoning why the self calibration constraints are necessary, we show experimental results demonstrating robust multiview matching and accurate camera calibration by exploiting these constraints.


BSF a parallel computation model for scalability estimation of iterative numerical algorithms on cluster computing systems. This paper examines a new parallel computation model called bulk synchronous farm (BSF) that focuses on estimating the scalability of compute intensive iterative algorithms aimed at cluster computing systems. In the BSF model, a computer is a set of processor nodes connected by a network and organized according to the master slave paradigm. A cost metric of the BSF model is presented. This cost metric requires the algorithm to be represented in the form of operations on lists. This allows us to derive an equation that predicts the scalability boundary of a parallel program the maximum number of processor nodes after which the speedup begins to decrease. The paper includes several examples of applying the BSF model to designing and analyzing parallel nu merical algorithms. The large scale computational experiments conducted on a cluster computing system confirm the adequacy of the analytical estimations obtained using the BSF model.


A refinement checking based strategy for component based systems evolution. We propose inheritance and refinement relations for a CSP based component model (BRIC), which supports a constructive design based on composition rules that preserve classical concurrency properties such as deadlock freedom. The proposed relations allow extension of functionality, whilst preserving behavioural properties. A notion of extensibility is defined on top of a behavioural relation called convergence, which distinguishes inputs from outputs and the context where they are communicated, allowing extensions to reuse existing events with different purposes. We mechanise the strategy for extensibility verification using the FDR4 tool, and illustrate our results with an autonomous healthcare robot case study.


Scaling Laws for Gaussian Random Many Access Channels. This paper considers a Gaussian multiple access channel with random user activity where the total number of users ell n and the average number of active users k n may grow with the blocklength n . For this channel, it studies the maximum number of bits that can be transmitted reliably per unit energy as a function of ell n and k n . When all users are active with probability one, i.e., ell n k n , it is demonstrated that if k n is of an order strictly below n log n , then each user can achieve the single user capacity per unit energy ( log e) N 0 (where N 0 2 is the noise power) by using an orthogonal access scheme. In contrast, if k n is of an order strictly above n log n , then the capacity per unit energy is zero. Consequently, there is a sharp transition between orders of growth where interference free communication is feasible and orders of growth where reliable communication at a positive rate per unit energy is infeasible. It is further demonstrated that orthogonal access schemes in combination with orthogonal codebooks, which achieve the capacity per unit energy when the number of users is bounded, can be strictly suboptimal. When the user activity is random, i.e., when ell n and k n are different, it is demonstrated that if k n log ell n is sublinear in n , then each user can achieve the single user capacity per unit energy ( log e) N 0 . Conversely, if k n log ell n is superlinear in n , then the capacity per unit energy is zero. Consequently, there is again a sharp transition between orders of growth where interference free communication is feasible and orders of growth where reliable communication at a positive rate is infeasible that depends on the asymptotic behaviours of both ell n and k n . It is further demonstrated that orthogonal access schemes, which are optimal when ell n k n , can be strictly suboptimal.


Hermes Attack Steal DNN Models with Lossless Inference Accuracy. Deep Neural Networks (DNNs) models become one of the most valuable enterprise assets due to their critical roles in all aspects of applications. With the trend of privatization deployment of DNN models, the data leakage of the DNN models is becoming increasingly serious and widespread. All existing model extraction attacks can only leak parts of targeted DNN models with low accuracy or high overhead. In this paper, we first identify a new attack surface unencrypted PCIe traffic, to leak DNN models. Based on this new attack surface, we propose a novel model extraction attack, namely Hermes Attack, which is the first attack to fully steal the whole victim DNN model. The stolen DNN models have the same hyper parameters, parameters, and semantically identical architecture as the original ones. It is challenging due to the closed source CUDA runtime, driver, and GPU internals, as well as the undocumented data structures and the loss of some critical semantics in the PCIe traffic. Additionally, there are millions of PCIe packets with numerous noises and chaos orders. Our Hermes Attack addresses these issues by huge reverse engineering efforts and reliable semantic reconstruction, as well as skillful packet selection and order correction. We implement a prototype of the Hermes Attack, and evaluate two sequential DNN models (i.e., MINIST and VGG) and one consequential DNN model (i.e., ResNet) on three NVIDIA GPU platforms, i.e., NVIDIA Geforce GT 730, NVIDIA Geforce GTX 1080 Ti, and NVIDIA Geforce RTX 2080 Ti. The evaluation results indicate that our scheme is able to efficiently and completely reconstruct ALL of them with making inferences on any one image. Evaluated with Cifar10 test dataset that contains 10,000 images, the experiment results show that the stolen models have the same inference accuracy as the original ones (i.e., lossless inference accuracy).


TargetDrop A Targeted Regularization Method for Convolutional Neural Networks. Dropout regularization has been widely used in deep learning but performs less effective for convolutional neural networks since the spatially correlated features allow dropped information to still flow through the networks. Some structured forms of dropout have been proposed to address this but prone to result in over or under regularization as features are dropped randomly. In this paper, we propose a targeted regularization method named TargetDrop which incorporates the attention mechanism to drop the discriminative feature units. Specifically, it masks out the target regions of the feature maps corresponding to the target channels. Experimental results compared with the other methods or applied for different networks demonstrate the regularization effect of our method.


On the Complexity of lambda infty ,, Vertex Expansion, and Spread Constant of Trees. Bobkov, Houdr 'e, and the last author introduced a Poincar 'e type functional parameter, lambda infty , of a graph G . They related lambda infty to the em vertex expansion of the graph via a Cheeger type inequality, analogous to the inequality relating the spectral gap of the graph, lambda 2 , to its em edge expansion . While lambda 2 can be computed efficiently, the computational complexity of lambda infty has remained an open question. Following the work of the second author with Raghavendra and Vempala, wherein the complexity of lambda infty was related to the so called small set expansion (SSE) problem, it has been believed that computing lambda infty is a hard problem. We confirm this conjecture by proving that computing lambda infty is indeed NP hard, even for weighted trees. Our gadget further proves NP hardness of computing emph spread constant of a weighted tree i.e., a geometric measure of the graph, introduced by Alon, Boppana, and Spencer, in the context of deriving an asymptotic isoperimetric inequality of Cartesian products of graphs. We conclude this case by providing a fully polynomial time approximation scheme. We further study a generalization of spread constant in machine learning literature, namely the em maximum variance embedding problem. For trees, we provide fast combinatorial algorithms that avoid solving a semidefinite relaxation of the problem. On the other hand, for general graphs, we propose a randomized projection method that can outperform the optimal orthogonal projection, i.e., PCA, classically used for rounding of the optimum lifted solution (to SDP relaxation) of the problem.


Does the dataset meet your expectations? Explaining sample representation in image data. Since the behavior of a neural network model is adversely affected by a lack of diversity in training data, we present a method that identifies and explains such deficiencies. When a dataset is labeled, we note that annotations alone are capable of providing a human interpretable summary of sample diversity. This allows explaining any lack of diversity as the mismatch found when comparing the textit actual distribution of annotations in the dataset with an textit expected distribution of annotations, specified manually to capture essential label diversity. While, in many practical cases, labeling (samples rightarrow annotations) is expensive, its inverse, simulation (annotations rightarrow samples) can be cheaper. By mapping the expected distribution of annotations into test samples using parametric simulation, we present a method that explains sample representation using the mismatch in diversity between simulated and collected data. We then apply the method to examine a dataset of geometric shapes to qualitatively and quantitatively explain sample representation in terms of comprehensible aspects such as size, position, and pixel brightness.


Power Functions over Finite Fields with Low c Differential Uniformity. Very recently, a new concept called multiplicative differential (and the corresponding c differential uniformity) was introduced by Ellingsen textit et al in C differentials, multiplicative uniformity and (almost) perfect c nonlinearity, IEEE Trans. Inform. Theory, 2020 which is motivated from practical differential cryptanalysis. Unlike classical perfect nonlinear functions, there are perfect c nonlinear functions even for characteristic two. The objective of this paper is to study power function F(x) x d over finite fields with low c differential uniformity. Some power functions are shown to be perfect c nonlinear or almost perfect c nonlinear. Notably, we completely determine the c differential uniformity of almost perfect nonlinear functions with the well known Gold exponent. We also give an affirmative solution to a recent conjecture proposed by Bartoli and Timpanella in 2019 related to an exceptional quasi planar power function.


Invariant measure for 2D stochastic Cahn Hilliard Navier Stokes equations. Using the Maslowski and Seidler method, the existence of invariant measure for 2 dimensional stochastic Cahn Hilliard Navier Stokes equations with multiplicative noise is proved in state space L x 2 times H 1 , working with the weak topology. Also, the existence of global pathwise solution is investigated using the stochastic compactness argument.


Dominant Set Clustering and Pooling for Multi View 3D Object Recognition. View based strategies for 3D object recognition have proven to be very successful. The state of the art methods now achieve over 90 correct category level recognition performance on appearance images. We improve upon these methods by introducing a view clustering and pooling layer based on dominant sets. The key idea is to pool information from views which are similar and thus belong to the same cluster. The pooled feature vectors are then fed as inputs to the same layer, in a recurrent fashion. This recurrent clustering and pooling module, when inserted in an off the shelf pretrained CNN, boosts performance for multi view 3D object recognition, achieving a new state of the art test set recognition accuracy of 93.8 on the ModelNet 40 database. We also explore a fast approximate learning strategy for our cluster pooling CNN, which, while sacrificing end to end learning, greatly improves its training efficiency with only a slight reduction of recognition accuracy to 93.3 . Our implementation is available at https github.com fate3439 dscnn.


An early warning tool for predicting mortality risk of COVID 19 patients using machine learning. COVID 19 pandemic has created an extreme pressure on the global healthcare services. Fast, reliable and early clinical assessment of the severity of the disease can help in allocating and prioritizing resources to reduce mortality. In order to study the important blood biomarkers for predicting disease mortality, a retrospective study was conducted on 375 COVID 19 positive patients admitted to Tongji Hospital (China) from January 10 to February 18, 2020. Demographic and clinical characteristics, and patient outcomes were investigated using machine learning tools to identify key biomarkers to predict the mortality of individual patient. A nomogram was developed for predicting the mortality risk among COVID 19 patients. Lactate dehydrogenase, neutrophils ( ), lymphocyte ( ), high sensitive C reactive protein, and age acquired at hospital admission were identified as key predictors of death by multi tree XGBoost model. The area under curve (AUC) of the nomogram for the derivation and validation cohort were 0.961 and 0.991, respectively. An integrated score (LNLCA) was calculated with the corresponding death probability. COVID 19 patients were divided into three subgroups low , moderate and high risk groups using LNLCA cut off values of 10.4 and 12.65 with the death probability less than 5 , 5 to 50 , and above 50 , respectively. The prognostic model, nomogram and LNLCA score can help in early detection of high mortality risk of COVID 19 patients, which will help doctors to improve the management of patient stratification.


Edge Bias in Federated Learning and its Solution by Buffered Knowledge Distillation. Federated learning (FL), which utilizes communication between the server (core) and local devices (edges) to indirectly learn from more data, is an emerging field in deep learning research. Recently, Knowledge Distillation based FL methods with notable performance and high applicability have been suggested. In this paper, we choose knowledge distillation based FL method as our baseline and tackle a challenging problem that ensues from using these methods. Especially, we focus on the problem incurred in the server model that tries to mimic different datasets, each of which is unique to an individual edge device. We dub the problem 'edge bias', which occurs when multiple teacher models trained on different datasets are used individually to distill knowledge. We introduce this nuisance that occurs in certain scenarios of FL, and to alleviate it, we propose a simple yet effective distillation scheme named 'buffered distillation'. In addition, we also experimentally show that this scheme is effective in mitigating the straggler problem caused by delayed edges.


An incompressible polymer fluid interacting with a Koiter shell. We study a mutually coupled mesoscopic macroscopic shell system of equations modeling a dilute incompressible polymer fluid which is evolving and interacting with a flexible shell of Koiter type. The polymer constitutes a solvent solute mixture where the solvent is modelled on the macroscopic scale by the incompressible Navier Stokes equation and the solute is modelled on the mesoscopic scale by a Fokker Planck equation (Kolmogorov forward equation) for the probability density function of the bead spring polymer chain configuration. This mixture interacts with a nonlinear elastic shell which serves as a moving boundary of the physical spatial domain of the polymer fluid. We use the classical model by Koiter to describe the shell movement which yields a fully nonlinear fourth order hyperbolic equation. Our main result is the existence of a weak solution to the underlying system which exists until the Koiter energy degenerates or the flexible shell approaches a self intersection.


On the Strong Attraction Limit for a Class of Nonlocal Interaction Energies. This note concerns the problem of minimizing a certain family of non local energy functionals over measures on mathbb R n , subject to a mass constraint, in a strong attraction limit. In these problems, the total energy is an integral over pair interactions of attractive repulsive type. The interaction kernel is a sum of competing power law potentials with attractive powers alpha in (0, infty) and repulsive powers associated with Riesz potentials. The strong attraction limit alpha to infty is addressed via Gamma convergence, and minimizers of the limit are characterized in terms of an isodiametric capacity problem. We also provide evidence for symmetry breaking in high dimensions.


Flow induced by the rotation of two circular cylinders in a viscous fluid. The Stokes flow driven by the rotation of two parallel cylinders of equal unit radius is determined by both numerical and analytical techniques. A numerical solution is obtained by enclosing the system in an outer cylinder of radius R 0 1, on which different boundary conditions can be imposed. With a gap 2epsilon between the inner cylinders, attention is focused on the small gap situation epsilon 1 when lubrication theory becomes applicable. Good agreement with the numerical solution is obtained for both counter rotating and co rotating cases. In the counter rotating situation, the total force F acting on the cylinders is determined. Numerical evidence is presented for the conclusion that F log(R 0) 1 as R 0 infty. An exact analytic solution is obtained in the contact limit epsilon 0, and a contact force in F c is identified, which contributes to the torque that each cylinder experiences about its axis. The far field torque doublet is also identified. The manner in which the flow topology adapts to the change in topology of the fluid domain when the cylinders are brought into contact is noted. The sliced cylinder situation when epsilon 0 is also considered, and in this case a distributed contact force is identified, and a similarity solution is found that describes the flow near the corner singularities. In the case of co rotating cylinders, the theory of Watson is elucidated and shown to agree well with the numerical solution and with lubrication theory when epsilon 0.01. The torque generated by the co rotation of the cylinders is determined, with asymptotic value 17.25 as epsilon 0. An alternative exact analytic solution in the contact limit is obtained, for which the torque is zero and the far field flow is one of uniform rotation in a rotating frame of reference in which the fluid at infinity is at rest, the relative flow in this case is identified as a radial quadrupole'.


A sparse quadratic T1 theorem. We show that any Littlewood Paley square function S satisfying a minimal local testing condition is dominated by a sparse form, begin equation langle (Sf) 2,g rangle le C sum I in mathscr S langle lvert f rvert rangle I 2 langle lvert g rvert rangle I lvert I rvert . end equation This implies strong weighted L p estimates for all A p weights with sharp dependence on the A p characteristic. The proof uses random dyadic grids, decomposition in the Haar basis, and a stopping time argument.


Fast Approximate CoSimRanks via Random Projections. Given a graph G with n nodes, and two nodes u,v in G, the CoSim Rank value s(u,v) quantifies the similarity between u and v based on graph topology. Compared to SimRank, CoSimRank has been shown to be more accurate and effective in many real world applications including synonym expansion, lexicon extraction, and entity relatedness in knowledge graphs. The computation of all pair CoSimRank values in G is highly expensive and challenging. Existing methods all focus on devising approximate algorithms for the computation of all pair CoSimRanks. To attain the desired absolute error delta, the state of the art approximate algorithm for computing all pair CoSimRank values requires O(n 3log2(ln(1 delta))) time. In this paper, we propose RP CoSim, a randomized algorithm for computing all pair CoSimRank values. The basic idea of RP CoSim is to reduce the n n matrix multiplications into a k dimensional(k n) subspace via a random projection such that the pairwise inner product is preserved within a certain error, and then iteratively approximate CoSimRank values in the k dimensional subspace in O(n 2k) time. Theoretically, RP CoSimruns in O(n 2 ln(n) ln(1 delta) delta 2) time, and meanwhile ensures an absolute error of at most delta in the CoSimRank value of every two nodes in G with a high probability.


The minimum time function for the controlled Moreau's Sweeping Process. Let C(t) , t geq0 be a Lipschitz set valued map with closed and (mildly non )convex values and f(t, x,u) be a map, Lipschitz continuous w.r.t. x . We consider the problem of reaching a target S within the graph of C subject to the differential inclusion ( star) qquad dot x in N C(t) (x) G(t,x) starting from x 0 in C(t 0 ) in the minimum time T(t 0 ,x 0 ) . The dynamics ( star) is called a perturbed sweeping (or Moreau) process. We give sufficient conditions for T to be finite and continuous and characterize T through Hamilton Jacobi inequalities. Crucial tools for our approach are characterizations of weak and strong flow invariance of a set S subject to ( star) . Due to the presence of the normal cone N C(t) (x) , the right hand side of ( star) contains implicitly the state constraint x(t) in C(t) and is not Lipschitz continuous with respect to x .


Curvatures for unions of WDC sets. We prove the existence of the curvature measures for a class of cal U rm WDC sets, which is a direct generalization of cal U rm PR sets studied by Rataj and Z "ahle. Moreover, we provide a simple characterisation of cal U rm WDC sets in mathbb R 2 and prove that in mathbb R 2 the class of cal U rm WDC sets contains essentially all classes of sets known to admit curvature measures.


Recognizing Families In the Wild White Paper for the 4th Edition Data Challenge. Recognizing Families In the Wild (RFIW) an annual large scale, multi track automatic kinship recognition evaluation that supports various visual kin based problems on scales much higher than ever before. Organized in conjunction with the 15th IEEE International Conference on Automatic Face and Gesture Recognition (FG) as a Challenge, RFIW provides a platform for publishing original work and the gathering of experts for a discussion of the next steps. This paper summarizes the supported tasks (i.e., kinship verification, tri subject verification, and search retrieval of missing children) in the evaluation protocols, which include the practical motivation, technical background, data splits, metrics, and benchmark results. Furthermore, top submissions (i.e., leader board stats) are listed and reviewed as a high level analysis on the state of the problem. In the end, the purpose of this paper is to describe the 2020 RFIW challenge, end to end, along with forecasts in promising future directions.


Asymptotic Plateau problem for prescribed mean curvature hypersurfaces. We prove the existence of solutions to the asymptotic Plateau problem for hypersurfaces of prescribed mean curvature in Cartan Hadamard manifolds N . More precisely, given a suitable subset L of the asymptotic boundary of N and a suitable function H on N , we are able to construct a set of locally finite perimeter whose boundary has generalized mean curvature H provided that N satisfies the so called strict convexity condition and that its sectional curvatures are bounded from above by a negative constant. We also obtain a multiplicity result in low dimensions.


Real Time Pattern Matching with Dynamic Normalization. Pattern matching in time series data streams is considered to be an essential data mining problem that still stays challenging for many practical scenarios. Different factors such as noise, varying amplitude scale or shift, signal stretches or shrinks in time are all leading to performance degradation of many existing pattern matching algorithms. In this paper, we introduce a dynamic z normalization mechanism allowing for proper signal scaling even under significant time and amplitude distortions. Based on that, we further propose a Dynamic Time Warping based real time pattern matching method to recover hidden patterns that can be distorted in both time and amplitude. We evaluate our proposed method on synthetic and real world scenarios under realistic conditions demonstrating its high operational characteristics comparing to other state of the art pattern matching methods.


Additive Approximation Schemes for Load Balancing Problems. In this paper we introduce the concept of additive approximation schemes and apply it to load balancing problems. Additive approximation schemes aim to find a solution with an absolute error in the objective of at most epsilon h for some suitable parameter h . In the case that the parameter h provides a lower bound an additive approximation scheme implies a standard multiplicative approximation scheme and can be much stronger when h ll OPT. On the other hand, when no PTAS exists (or is unlikely to exist), additive approximation schemes can provide a different notion for approximation. We consider the problem of assigning jobs to identical machines with lower and upper bounds for the loads of the machines. This setting generalizes problems like makespan minimization, the Santa Claus problem (on identical machines), and the envy minimizing Santa Claus problem. For the last problem, in which the objective is to minimize the difference between the maximum and minimum load, the optimal objective value may be zero and hence it is NP hard to obtain any multiplicative approximation guarantee. For this class of problems we present additive approximation schemes for h p max , the maximum processing time of the jobs. Our technical contribution is two fold. First, we introduce a new relaxation based on integrally assigning slots to machines and fractionally assigning jobs to the slots (the slot MILP). We identify structural properties of (near )optimal solutions of the slot MILP, which allow us to solve it efficiently, assuming that there are O(1) different lower and upper bounds on the machine loads (which is the relevant setting for the three problems mentioned above). The second technical contribution is a local search based algorithm which rounds a solution to the slot MILP introducing an additive error on the target load intervals of at most epsilon cdot p max .


On Ricci solitons whose potential is convex. In this paper we consider the Ricci curvature of a Ricci soliton. In particular, we have showed that a complete gradient Ricci soliton with non negative Ricci curvature possessing a non constant convex potential function having finite weighted Dirichlet integral satisfying an integral condition is Ricci flat and also it isometrically splits a line. We have also proved that a gradient Ricci soliton with non constant concave potential function and bounded Ricci curvature is non shrinking and hence the scalar curvature has at most one critical point.


A Hamilton Jacobi approach of sensitivity of ODE flows and switching points in optimal control problems. In optimal control problems of control affine systems, whose solutions are bang bang or singular type, verification of optimality using the Hamilton Jacobi Bellman (HJB) equation involves the computation of partial derivatives of switching times and switching states with respect to initial conditions (time and state). In this paper, we establish a formula for the partial derivatives of ordinary differential equations (ODE) flows with respect to initial conditions, which is more suitable for using in HJB equation than such provided by the classical theory of ODE. We apply the obtained results to the sensitivity analysis of hitting time and state of a reachable set, that in an optimal control problem can represent a switching locus.


Dim and bright void regimes in capacitively coupled RF complex plasmas. We demonstrate experimentally that the void in capacitively coupled RF complex plasmas can exist in two qualitative different regimes. The "bright" void is characterized by bright plasma emission associated with the void, whereas the "dim" void possesses no detectable emission feature. The transition from the dim to the bright regime occurs with an increase of the discharge power and has a discontinuous character. The discontinuity is manifested by a kink in the void size power dependencies. We reproduce the bright void (mechanically stabilized due to the balance of ion drag and electrostatic forces) by a simplified time averaged 1D fluid model. To reproduce the dim void, we artificially include the radial ion diffusion into the continuity equation for ions, which allows to mechanically stabilize the void boundary due to very weak electrostatic forces. The electric field at the void boundary occurs to be so small that it, in accordance with the experimental observation, causes no void related emission feature.


Automatic Inference of High Level Network Intents by Mining Forwarding Patterns. There is a semantic gap between the high level intents of network operators and the low level configurations that achieve the intents. Previous works tried to bridge the gap using verification or synthesis techniques, both requiring formal specifications of the intended behavior which are rarely available or even known in the real world. This paper discusses an alternative approach for bridging the gap, namely to infer the high level intents from the low level network behavior. Specifically, we provide Anime, a framework and a tool that given a set of observed forwarding behavior, automatically infers a set of possible intents that best describe all observations. Our results show that Anime can infer high quality intents from the low level forwarding behavior with acceptable performance.


Uniform Partition in Population Protocol Model under Weak Fairness. We focus on a uniform partition problem in a population protocol model. The uniform partition problem aims to divide a population into k groups of the same size, where k is a given positive integer. In the case of k 2 (called uniform bipartition), a previous work clarified space complexity under various assumptions 1) an initialized base station (BS) or no BS, 2) weak or global fairness, 3) designated or arbitrary initial states of agents, and 4) symmetric or asymmetric protocols, except for the setting that agents execute a protocol from arbitrary initial states under weak fairness in the model with an initialized base station. In this paper, we clarify the space complexity for this remaining setting. In this setting, we prove that P states are necessary and sufficient to realize asymmetric protocols, and that P 1 states are necessary and sufficient to realize symmetric protocols, where P is the known upper bound of the number of agents. From these results and the previous work, we have clarified the solvability of the uniform bipartition for each combination of assumptions. Additionally, we newly consider an assumption on a model of a non initialized BS and clarify solvability and space complexity in the assumption. Moreover, the results in this paper can be applied to the case that k is an arbitrary integer (called uniform k partition).


On the Random Wave Conjecture for Dihedral Maa ss Forms. We prove two results on arithmetic quantum chaos for dihedral Maass forms, both of which are manifestations of Berry's random wave conjecture Planck scale mass equidistribution and an asymptotic formula for the fourth moment. For level 1 forms, these results were previously known for Eisenstein series and conditionally on the generalised Lindelof hypothesis for Hecke Maass eigenforms. A key aspect of the proofs is bounds for certain mixed moments of L functions that imply hybrid subconvexity.


Invariance of entropy for maps isotopic to Anosov. We prove the topological entropy remains constant inside the class of partially hyperbolic diffeomorphisms of mathbb T d with simple central bundle (that is, when it decomposes into one dimensional sub bundles with controlled geometry) and such that their induced action on H 1( mathbb T d) is hyperbolic. In absence of the simplicity condition we construct a robustly transitive counter example.


First Demonstration of the Use of LG SiPMs for Optical Readout of a TPC. This paper describes a new method for optical readout of Time Projection Chambers (TPCs), based on the Linearly Graded Silicon Photomultiplier (LG SiPM). This is a single photon sensitive detector with excellent timing and 2D position resolution developed at Fondazione Bruno Kessler, Trento (FBK). The LG SiPM produces time varying voltage signals that are used to reconstruct the 3D position and energy of ionisation tracks generated inside the TPC. The TPC used in this work contained room temperature CF 4 gas at a pressure of 100 mbar, with two THGEMs to produce secondary scintillation light. A collimated 241 Am source (Q alpha 5.486 MeV) was used to produce the ionisation tracks. The successful reconstruction of these tracks is demonstrated, and the consistency of the methodology characterised through varying the geometry of the tracks within the TPC. Energy reconstruction and deposition studies are also described, demonstrating the feasibility of the LG SiPM as a potential option for optical TPC readout.


Kernel Cokernel Sequence for Composition and its Applications. If this article, an elementary kernel cokernel exact sequence is introduced for A stackrel f to B stackrel g to C . Some relative sequences and applications are dicussed. This result can simplify some proofs the indices of Frodholm operators, Harada and Sai theorem, and the derived couples of exact couples.


DiverseDepth Affine invariant Depth Prediction Using Diverse Data. We present a method for depth estimation with monocular images, which can predict high quality depth on diverse scenes up to an affine transformation, thus preserving accurate shapes of a scene. Previous methods that predict metric depth often work well only for a specific scene. In contrast, learning relative depth (information of being closer or further) can enjoy better generalization, with the price of failing to recover the accurate geometric shape of the scene. In this work, we propose a dataset and methods to tackle this dilemma, aiming to predict accurate depth up to an affine transformation with good generalization to diverse scenes. First we construct a large scale and diverse dataset, termed Diverse Scene Depth dataset (DiverseDepth), which has a broad range of scenes and foreground contents. Compared with previous learning objectives, i.e., learning metric depth or relative depth, we propose to learn the affine invariant depth using our diverse dataset to ensure both generalization and high quality geometric shapes of scenes. Furthermore, in order to train the model on the complex dataset effectively, we propose a multi curriculum learning method. Experiments show that our method outperforms previous methods on 8 datasets by a large margin with the zero shot test setting, demonstrating the excellent generalization capacity of the learned model to diverse scenes. The reconstructed point clouds with the predicted depth show that our method can recover high quality 3D shapes. Code and dataset are available at https tinyurl.com DiverseDepth


Uncertainty Estimation and Sample Selection for Crowd Counting. We present a method for image based crowd counting, one that can predict a crowd density map together with the uncertainty values pertaining to the predicted density map. To obtain prediction uncertainty, we model the crowd density values using Gaussian distributions and develop a convolutional neural network architecture to predict these distributions. A key advantage of our method over existing crowd counting methods is its ability to quantify the uncertainty of its predictions. We illustrate the benefits of knowing the prediction uncertainty by developing a method to reduce the human annotation effort needed to adapt counting networks to a new domain. We present sample selection strategies which make use of the density and uncertainty of predictions from the networks trained on one domain to select the informative images from a target domain of interest to acquire human annotation. We show that our sample selection strategy drastically reduces the amount of labeled data from the target domain needed to adapt a counting network trained on a source domain to the target domain. Empirically, the networks trained on UCF QNRF dataset can be adapted to surpass the performance of the previous state of the art results on NWPU dataset and Shanghaitech dataset using only 17 of the labeled training samples from the target domain.


Bipartite Graft I Dulmage Mendelsohn Decomposition for Combs. We provide an analogue of the Dulmage Mendelsohn decomposition for a class of grafts known as comb bipartite grafts. The Dulmage Mendelsohn decomposition in matching theory is a classical canonical structure theorem for bipartite graphs. The substantial part of this classical theorem resides in bipartite graphs that are factorizable, that is, those with a perfect matching. Minimum joins in grafts, also known as minimum T joins in graphs, is a generalization of perfect matchings in factorizable graphs. Seb "o revealed in his paper that comb bipartite grafts form one of the two fundamental classes of grafts that serve as skeletons or building blocks of any grafts. Particularly, any bipartite grafts, that is, bipartite counterpart of grafts, can be considered as a recursive combination of comb bipartite grafts. In this paper, we generalize the Dulmage Mendelsohn decomposition for comb bipartite grafts. We also show for this decomposition a property that is characteristics to grafts using the general Kotzig Lov 'asz decomposition for grafts, which is a known graft analogue of another canonical structure theorem from matching theory. This paper is the first from a series of studies regarding bipartite grafts.


On a random entanglement problem. We study a model for the entanglement of a two dimensional reflecting Brownian motion in a bounded region divided into two halves by a wall with three or more small windows. We map the Brownian motion into a Markov Chain on the fundamental groupoid of the region. We quantify entanglement of the path with the length of the appropriate element in this groupoid. Our main results are a law of large numbers and a central limit theorem for this quantity. The constants appearing in the limit theorems are expressed in terms of a coupled system of quadratic equations.


A sorting algorithm for complex eigenvalues. We present SPEC RE, a new algorithm to sort complex eigenvalues, generated as the solutions to algebraic equations, whose coefficients are analytic functions of one or many, possibly complex parameters. The fact that the eigenvalues are analytic functions of the parameters, with atmost algebraic singularities, is used in formulating the algorithm. Several examples are presented to demonstrate the efficacy of the method simple examples where other methods fail are also presented. The algorithm is likely to be useful in several problems of physics and engineering that require identification and sorting of eigenmodes.


Characterization of Silicon Drift Detectors with Electrons for the TRISTAN Project. Sterile neutrinos are a minimal extension of the Standard Model of Particle Physics. A promising model independent way to search for sterile neutrinos is via high precision beta spectroscopy. The Karlsruhe Tritium Neutrino (KATRIN) experiment, equipped with a novel multi pixel silicon drift detector focal plane array and read out system, named the TRISTAN detector, has the potential to supersede the sensitivity of previous laboratory based searches. In this work we present the characterization of the first silicon drift detector prototypes with electrons and we investigate the impact of uncertainties of the detector's response to electrons on the final sterile neutrino sensitivity.


What BERT is not Lessons from a new suite of psycholinguistic diagnostics for language models. Pre training by language modeling has become a popular and successful approach to NLP tasks, but we have yet to understand exactly what linguistic capacities these pre training processes confer upon models. In this paper we introduce a suite of diagnostics drawn from human language experiments, which allow us to ask targeted questions about the information used by language models for generating predictions in context. As a case study, we apply these diagnostics to the popular BERT model, finding that it can generally distinguish good from bad completions involving shared category or role reversal, albeit with less sensitivity than humans, and it robustly retrieves noun hypernyms, but it struggles with challenging inferences and role based event prediction and in particular, it shows clear insensitivity to the contextual impacts of negation.


Robot Navigation in Constrained Pedestrian Environments using Reinforcement Learning. Navigating fluently around pedestrians is a necessary capability for mobile robots deployed in human environments, such as buildings and homes. While research on social navigation has focused mainly on the scalability with the number of pedestrians in open spaces, typical indoor environments present the additional challenge of constrained spaces such as corridors and doorways that limit maneuverability and influence patterns of pedestrian interaction. We present an approach based on reinforcement learning (RL) to learn policies capable of dynamic adaptation to the presence of moving pedestrians while navigating between desired locations in constrained environments. The policy network receives guidance from a motion planner that provides waypoints to follow a globally planned trajectory, whereas RL handles the local interactions. We explore a compositional principle for multi layout training and find that policies trained in a small set of geometrically simple layouts successfully generalize to more complex unseen layouts that exhibit composition of the structural elements available during training. Going beyond walls world like domains, we show transfer of the learned policy to unseen 3D reconstructions of two real environments. These results support the applicability of the compositional principle to navigation in real world buildings and indicate promising usage of multi agent simulation within reconstructed environments for tasks that involve interaction.


Active Domain Randomization. Domain randomization is a popular technique for improving domain transfer, often used in a zero shot setting when the target domain is unknown or cannot easily be used for training. In this work, we empirically examine the effects of domain randomization on agent generalization. Our experiments show that domain randomization may lead to suboptimal, high variance policies, which we attribute to the uniform sampling of environment parameters. We propose Active Domain Randomization, a novel algorithm that learns a parameter sampling strategy. Our method looks for the most informative environment variations within the given randomization ranges by leveraging the discrepancies of policy rollouts in randomized and reference environment instances. We find that training more frequently on these instances leads to better overall agent generalization. Our experiments across various physics based simulated and real robot tasks show that this enhancement leads to more robust, consistent policies.


On properness of K moduli spaces and optimal degenerations of Fano varieties. We establish an algebraic approach to prove the properness of moduli spaces of K polystable Fano varieties and reduce the problem to a conjecture on destabilizations of K unstable Fano varieties. Specifically, we prove that if the stability threshold of every K unstable Fano variety is computed by a divisorial valuation, then such K moduli spaces are proper. The argument relies on studying certain optimal destabilizing test configurations and constructing a Theta stratification on the moduli stack of Fano varieties.


On the interstellar Von Neumann micro self reproducing probes. In this paper we consider efficiency of self reproducing extraterrestrial Von Neumann micro scale robots and analyse the observational characteristics. By examining the natural scenario of moving in the HII clouds, it has been found that the timescale of replication might be several years and even less making the process of observation quite promising. We have shown that by encountering the interstellar protons the probes might be visible at least in the infrared energy band and the corresponding luminosities might reach enormous values.


Adaptive Offline and Online Similarity Based Caching. With similarity based content delivery, the request for a content can be satisfied by delivering a related content under a dissimilarity cost. This letter addresses the joint optimization of caching and similarity based delivery decisions across a network so as to minimize the weighted sum of average delay and dissimilarity cost. A convergent alternate gradient descent ascent algorithm is first introduced for an offline scenario with prior knowledge of the request rates, and then extended to an online setting. Numerical results validate the advantages of the approach with respect to standard per cache solutions.


Signal to Noise Ratio optimization for extended sources with a new kind of MURA masks. Using coded aperture, for localization of radioactive hot spots, results in enhanced efficiency and under certain configurations wide Field of View (FOV). We present a coded aperture assembly technique which can be restructured easily, as well as the reduction of the intrinsic noise of coded apertures constructed with this technique, when they localize spatially extended gamma emitters. Specifically, Modified Uniformly Redundant Array (MURA) coded apertures are structured by embedding lead spheres in a matrix of positions machined inside a transparent medium such as acrylic glass, resulting in an advantageous transparent to opaque area ratio and thus an improved detection efficiency. This configuration also induces a systematic, element wise, noise on the Point Spread Function (PSF) of the correlation matrix. When imaging with these apertures extended hot spots, a penumbra phenomenon occurrs and reduces this intrinsic noise, in the way a kernel filter does. Fast Fourier Transform (FFT) is used to analyze the effect of this phenomenon on the correlation matrix and to explain the maximization of its Signal to Noise Ratio (SNR) for certain extent of the hot spots. Simulations have been used for the detailed study of the SNR dependence on the dimensions of the hot spot, while experiments with two 99mTc cylindrical sources with 11mm and 24mm diameter, respectively and 1.5 MBq activity each, confirm the reduction of the intrinsic noise. The results define the way of optimization of the imaging setup for the detection of extended hot spots. Such an optimization could be useful for example in the case of lymph nodes or thyroid remnant imaging in nuclear medicine. Finally, we propose a kernel filter, derived by the Auto Correlation Function (ACF), to be applied on PSFs with high intrinsic noise, in order to eliminate it.


PU GAN a Point Cloud Upsampling Adversarial Network. Point clouds acquired from range scans are often sparse, noisy, and non uniform. This paper presents a new point cloud upsampling network called PU GAN, which is formulated based on a generative adversarial network (GAN), to learn a rich variety of point distributions from the latent space and upsample points over patches on object surfaces. To realize a working GAN network, we construct an up down up expansion unit in the generator for upsampling point features with error feedback and self correction, and formulate a self attention unit to enhance the feature integration. Further, we design a compound loss with adversarial, uniform and reconstruction terms, to encourage the discriminator to learn more latent patterns and enhance the output point distribution uniformity. Qualitative and quantitative evaluations demonstrate the quality of our results over the state of the arts in terms of distribution uniformity, proximity to surface, and 3D reconstruction quality.


LaDDer Latent Data Distribution Modelling with a Generative Prior. In this paper, we show that the performance of a learnt generative model is closely related to the model's ability to accurately represent the inferred textbf latent data distribution , i.e. its topology and structural properties. We propose LaDDer to achieve accurate modelling of the latent data distribution in a variational autoencoder framework and to facilitate better representation learning. The central idea of LaDDer is a meta embedding concept, which uses multiple VAE models to learn an embedding of the embeddings, forming a ladder of encodings. We use a non parametric mixture as the hyper prior for the innermost VAE and learn all the parameters in a unified variational framework. From extensive experiments, we show that our LaDDer model is able to accurately estimate complex latent distribution and results in improvement in the representation quality. We also propose a novel latent space interpolation method that utilises the derived data distribution.


Inference of alpha particle density profiles from ITER collective Thomson scattering. The primary purpose of the collective Thomson scattering (CTS) diagnostic at ITER is to measure the properties of fast ion populations, in particular those of fusion born alpha particles. Based on the present design of the diagnostic, we compute and fit synthetic CTS spectra for the ITER baseline plasma scenario, including the effects of noise, refraction, multiple fast ion populations, and uncertainties on nuisance parameters. As part of this, we developed a model for CTS that incorporates spatial effects of frequency dependent refraction. While such effects will distort the measured ITER CTS spectra, we demonstrate that the true alpha particle densities can nevertheless be recovered to within 10 from noisy synthetic spectra, using existing fitting methods that do not take these spatial effects into account. Under realistic operating conditions, we thus find the predicted performance of the ITER CTS system to be consistent with the ITER measurement requirements of a 20 accuracy on inferred alpha particle density profiles at 100 ms time resolution.


Semantic Editing On Segmentation Map Via Multi Expansion Loss. Semantic editing on segmentation map has been proposed as an intermediate interface for image generation, because it provides flexible and strong assistance in various image generation tasks. This paper aims to improve quality of edited segmentation map conditioned on semantic inputs. Even though recent studies apply global and local adversarial losses extensively to generate images for higher image quality, we find that they suffer from the misalignment of the boundary area in the mask area. To address this, we propose MExGAN for semantic editing on segmentation map, which uses a novel Multi Expansion (MEx) loss implemented by adversarial losses on MEx areas. Each MEx area has the mask area of the generation as the majority and the boundary of original context as the minority. To boost convenience and stability of MEx loss, we further propose an Approximated MEx (A MEx) loss. Besides, in contrast to previous model that builds training data for semantic editing on segmentation map with part of the whole image, which leads to model performance degradation, MExGAN applies the whole image to build the training data. Extensive experiments on semantic editing on segmentation map and natural image inpainting show competitive results on four datasets.


Fun Problems in Geometry and Beyond. We discuss fun problems, vaguely related to notions and theorems of a course in differential geometry. This paper can be regarded as a weekend "treasure chest" supplementing the course weekday lecture notes. The problems and solutions are not original, while their relation to the course might be so.


Quiver gauge theories and symplectic singularities. Braverman, Finkelberg and Nakajima have recently given a mathematical construction of the Coulomb branches of a large class of 3d mathcal N 4 gauge theories, as algebraic varieties with Poisson structure. They conjecture that these varieties have symplectic singularities. We confirm this conjecture for all quiver gauge theories without loops or multiple edges, which in particular implies that the corresponding Coulomb branches have finitely many symplectic leaves and rational Gorenstein singularities. We also give a criterion for proving that any particular Coulomb branch has symplectic singularities, and discuss the possible extension of our results to quivers with loops and or multiple edges.


On randomized trace estimates for indefinite matrices with an application to determinants. Randomized trace estimation is a popular and well studied technique that approximates the trace of a large scale matrix B by computing the average of x T Bx for many samples of a random vector X . Often, B is symmetric positive definite (SPD) but a number of applications give rise to indefinite B . Most notably, this is the case for log determinant estimation, a task that features prominently in statistical learning, for instance in maximum likelihood estimation for Gaussian process regression. The analysis of randomized trace estimates, including tail bounds, has mostly focused on the SPD case. In this work, we derive new tail bounds for randomized trace estimates applied to indefinite B with Rademacher or Gaussian random vectors. These bounds significantly improve existing results for indefinite B , reducing the the number of required samples by a factor n or even more, where n is the size of B . Even for an SPD matrix, our work improves an existing result by Roosta Khorasani and Ascher for Rademacher vectors. This work also analyzes the combination of randomized trace estimates with the Lanczos method for approximating the trace of f(A) . Particular attention is paid to the matrix logarithm, which is needed for log determinant estimation. We improve and extend an existing result, to not only cover Rademacher but also Gaussian random vectors.


Differential radial basis function network for sequence modelling. We propose a differential radial basis function (RBF) network termed RBF DiffNet whose hidden layer blocks are partial differential equations (PDEs) linear in terms of the RBF to make the baseline RBF network robust to noise in sequential data. Assuming that the sequential data derives from the discretisation of the solution to an underlying PDE, the differential RBF network learns constant linear coefficients of the PDE, consequently regularising the RBF network by following modified backward Euler updates. We experimentally validate the differential RBF network on the logistic map chaotic timeseries as well as on 30 real world timeseries provided by Walmart in the M5 forecasting competition. The proposed model is compared with the normalised and unnormalised RBF networks, ARIMA, and ensembles of multilayer perceptrons (MLPs) and recurrent networks with long short term memory (LSTM) blocks. From the experimental results, RBF DiffNet consistently shows a marked reduction over the baseline RBF network in terms of the prediction error (e.g., 26 reduction in the root mean squared scaled error on the M5 dataset) RBF DiffNet also shows a comparable performance to the LSTM ensemble at less than one sixteenth the LSTM computational time. Our proposed network consequently enables more accurate predictions in the presence of observational noise in sequence modelling tasks such as timeseries forecasting that leverage the model interpretability, fast training, and function approximation properties of the RBF network.


Micro Fresnel Mirror Array with Individual Mirror Control. We present the design and fabrication of a miniaturized array of piezoelectrically actuated high speed Fresnel mirrors with individual mirror control. These Fresnel mirrors can be used to generate propagation invariant and self healing interference patterns. The mirrors are actuated using piezobimorph actuators, and the consequent change of the tilting angle of the mirrors changes the fringe spacing of the interference pattern generated. The array consists of four Fresnel mirrors each having an area of 2x2 mm2 arranged in a 2x2 configuration. The device, optimized using FEM simulations, is able to achieve maximum mirror deflections of 15 mrad, and has a resonance frequency of 28 kHz.


Van der Corput lemmas for Mittag Leffler functions. II. alpha directions. The paper is devoted to study analogues of the van der Corput lemmas involving Mittag Leffler functions. The generalisation is that we replace the exponential function with the Mittag Leffler type function, to study oscillatory integrals appearing in the analysis of time fractional partial differential equations. More specifically, we study integral of the form I alpha, beta ( lambda) int mathbb R E alpha, beta left(i alpha lambda phi(x) right) psi(x)dx, for the range 0 alpha leq 2, , beta 0 . This extends the variety of estimates obtained in the first part, where integrals with functions E alpha, beta left(i lambda phi(x) right) have been studied. Several generalisations of the van der Corput lemmas are proved. As an application of the above results, the generalised Riemann Lebesgue lemma, the Cauchy problem for the time fractional Klein Gordon and time fractional Schr " o dinger equations are considered.


A Simple Domain Shifting Networkfor Generating Low Quality Images. Deep Learning systems have proven to be extremely successful for image recognition tasks for which significant amounts of training data is available, e.g., on the famous ImageNet dataset. We demonstrate that for robotics applications with cheap camera equipment, the low image quality, however,influences the classification accuracy, and freely available databases cannot be exploited in a straight forward way to train classifiers to be used on a robot. As a solution we propose to train a network on degrading the quality images in order to mimic specific low quality imaging systems. Numerical experiments demonstrate that classification networks trained by using images produced by our quality degrading network along with the high quality images outperform classification networks trained only on high quality data when used on a real robot system, while being significantly easier to use than competing zero shot domain adaptation techniques.


picFoam An OpenFOAM based electrostatic Particle in Cell solver. picFoam is a fully kinetic electrostatic Particle in Cell(PIC) solver, including Monte Carlo Collisions(MCC), for non equilibrium plasma research in the open source framework of OpenFOAM. The solver's modular design, based on the same principles used in OpenFOAM, makes it highly flexible, by allowing the user to choose different methods at run time, and extendable, by building upon templated modular classes. The implementation of the PIC method employing the finite volume method, allows it to simulate on arbitrary geometries in one to three dimensions. OpenFOAM's barycentric particle tracking is used effectively to performe charge and field weighting from the Lagrangian particle based description to the Eulerian field description and backwards without computational expensive particle searching algorithm. picFoam also includes open and general circuit boundary models for the description of real plasma devices.


Strategies to architect AI Safety Defense to guard AI from Adversaries. The impact of designing for security of AI is critical for humanity in the AI era. With humans increasingly becoming dependent upon AI, there is a need for neural networks that work reliably, inspite of Adversarial attacks. The vision for Safe and secure AI for popular use is achievable. To achieve safety of AI, this paper explores strategies and a novel deep learning architecture. To guard AI from adversaries, paper explores combination of 3 strategies 1. Introduce randomness at inference time to hide the representation learning from adversaries. 2. Detect presence of adversaries by analyzing the sequence of inferences. 3. Exploit visual similarity. To realize these strategies, this paper designs a novel architecture, Dynamic Neural Defense, DND. This defense has 3 deep learning architectural features 1. By hiding the way a neural network learns from exploratory attacks using a random computation graph, DND evades attack. 2. By analyzing input sequence to cloud AI inference engine with LSTM, DND detects attack sequence. 3. By inferring with visual similar inputs generated by VAE, any AI defended by DND approach does not succumb to hackers. Thus, a roadmap to develop reliable, safe and secure AI is presented.


Analysis of Committee Selection Mechanism in Blockchain. The Committee Selection Mechanism can select multiple users of blockchain network to execute a consensus algorithm, such as PBFT. In order to guarantee two properties, the mathematical form of the mechanism is relatively limited. Further, if the mechanism is used in open network, it will bring about an increase in efficiency, but it will reduce the security and practicability of the blockchain network.


The squeezing function on doubly connected domains via the Loewner differential equation. For any bounded domains Omega in mathbb C n , Deng, Guan and Zhang introduced the squeezing function S Omega (z) which is a biholomorphic invariant of bounded domains. We show that for n 1 , the squeezing function on an annulus A r lbrace z in mathbb C r z 1 rbrace is given by S A r (z) max left lbrace z , frac r z right rbrace for all 0 r 1 . This disproves the conjectured formula for the squeezing function proposed by Deng, Guan and Zhang and establishes (up to biholomorphisms) the squeezing function for all doubly connected domains in mathbb C other than the punctured plane. It provides the first non trivial formula for the squeezing function for a wide class of plane domains and answers a question of Wold. Our main tools used to prove this result are the Schottky Klein prime function (following the work of Crowdy) and a version of the Loewner differential equation on annuli due to Komatu. We also show that these results can be used to obtain lower bounds on the squeezing function for certain product domains in mathbb C n .


Rank One Transformations, Odometers, and Finite Factors. In this paper we give explicit characterizations, based on the cutting and spacer parameters, of (a) which rank one transformations factor onto a given finite cyclic permutation, (b) which rank one transformations factor onto a given odometer, and (c) which rank one transformations are isomorphic to a given odometer. These naturally yield characterizations of (d) which rank one transformations factor onto some (unspecified) finite cyclic permutation, (d') which rank one transformations are totally ergodic, (e) which rank one transformations factor onto some (unspecified) odometer, and (f) which rank one transformations are isomorphic to some (unspecified) odometer.


Schr "odinger equations on compact globally symmetric spaces. In this article, we establish scale invariant Strichartz estimates for the Schr "odinger equation on arbitrary compact globally symmetric spaces and some bilinear Strichartz estimates on products of rank one spaces. As applications, we provide local well posedness results for nonlinear Schr "odinger equations on such spaces in both subcritical and critical regularities.


Model of Trust Management for Digital Industry Services. Towards E Commerce 4.0. The progressive digitalization is changing the way businesses work and interact. Concepts like Internet of Things, Cloud Computing, Industry 4.0, Service 4.0, Smart Production or Smart Cities are based on systems that are linked to the Internet. The online access to the provided data creates potential to optimize processes and cost reductions, but also exposes it to a risk for an inappropriate use. Trust management systems are necessary in terms of data security, but also to assure the trustworthiness of data that is distributed. Fake news in social media is an example for problems with online data that is not trustable. Security and trustworthiness of data are major concerns today. The speed in digitalization makes it even a greater challenge for future research. This article introduces therefore a model of online trust content usable to compute the trust of an online service advertisement. It contributes to standardize business service descriptions necessary to realize visions of E commerce 4.0, because it is the basis for the development of AI systems that are able to match an service request to a service advertisement. It is necessary for building trust enhancing architectures in B2B e commerce. To do so, we conducted case studies, analysed websites, developed a prototype system and verified it by conducting expert interviews.


Fully Non autoregressive Neural Machine Translation Tricks of the Trade. Fully non autoregressive neural machine translation (NAT) is proposed to simultaneously predict tokens with single forward of neural networks, which significantly reduces the inference latency at the expense of quality drop compared to the Transformer baseline. In this work, we target on closing the performance gap while maintaining the latency advantage. We first inspect the fundamental issues of fully NAT models, and adopt dependency reduction in the learning space of output tokens as the basic guidance. Then, we revisit methods in four different aspects that have been proven effective for improving NAT models, and carefully combine these techniques with necessary modifications. Our extensive experiments on three translation benchmarks show that the proposed system achieves the new state of the art results for fully NAT models, and obtains comparable performance with the autoregressive and iterative NAT systems. For instance, one of the proposed models achieves 27.49 BLEU points on WMT14 En De with approximately 16.5X speed up at inference time.


SMap Internet wide Scanning for Ingress Filtering. To protect from attacks, networks need to enforce ingress filtering. Despite the importance, the existing studies do not allow to infer the extent of ingress filtering at Internet scale, providing results with only a limited coverage they can either measure networks that operate servers with faulty network stack implementations, or require installation of the measurement software by volunteers, or assume specific properties, like traceroute loops, which are challenging to reproduce in practice. Improving coverage of the spoofing measurements is critical. In this work we present the Spoofing Mapper (SMap) the first scanner for performing Internet wide studies of enforcement of ingress filtering. The SMap measurement methodology utilises standard protocols' behaviour that are present in almost any network. SMap not only provides better coverage of ingress filtering measurements, but it is also more effective than the previous approaches. We applied SMap for Internet wide measurements we found that 21 of all the Autonomous Systems (ASes) in the Internet do not filter spoofed packets, in contrast to 2.5 ASes identified by the most recent study with volunteers (of the Spoofer Project), as well as 13173 new spoofable ASes, which were not detected by the other tools. Our study with SMap provides the most comprehensive view of ingress filtering deployment in the Internet and remediation in filtering spoofed packets over a period of six months until February 2020. SMap is simple to use and does not require installation on the tested network nor coordination with the tested networks. We set up a web service at http to be revealed which reports statistics from SMap evaluations and enables continual Internet wide data collection and analysis. We also make our datasets as well as the SMap tool publicly available to enable researchers to reproduce and validate the results.


Improving Chemical Named Entity Recognition in Patents with Contextualized Word Embeddings. Chemical patents are an important resource for chemical information. However, few chemical Named Entity Recognition (NER) systems have been evaluated on patent documents, due in part to their structural and linguistic complexity. In this paper, we explore the NER performance of a BiLSTM CRF model utilising pre trained word embeddings, character level word representations and contextualized ELMo word representations for chemical patents. We compare word embeddings pre trained on biomedical and chemical patent corpora. The effect of tokenizers optimized for the chemical domain on NER performance in chemical patents is also explored. The results on two patent corpora show that contextualized word representations generated from ELMo substantially improve chemical NER performance w.r.t. the current state of the art. We also show that domain specific resources such as word embeddings trained on chemical patents and chemical specific tokenizers have a positive impact on NER performance.


Skew gentle algebras and orbifolds Oberwolfach talk, January 2020. This is an extended abstract of my talk at the Oberwolfach Workshop "Representation Theory of Finite Dimensional Algebras" (19 24 January 2020). It introduces a geometric orbifold model for the bounded derived category of a skew gentle algebra. This is joint work with Daniel Labardini Fragoso and Yadira Valdivieso D 'iaz.


An extension of Pizzetti's formula associated with the Dunkl operators. We give an extension of Pizzetti's formula associated with the Dunkl operators. It gives an explicit formula for the Dunkl inner product of an arbitrary function and a homogeneous Dunkl harmonic polynomial on the unit sphere.


Self training Improves Pre training for Natural Language Understanding. Unsupervised pre training has led to much recent progress in natural language understanding. In this paper, we study self training as another way to leverage unlabeled data through semi supervised learning. To obtain additional data for a specific task, we introduce SentAugment, a data augmentation method which computes task specific query embeddings from labeled data to retrieve sentences from a bank of billions of unlabeled sentences crawled from the web. Unlike previous semi supervised methods, our approach does not require in domain unlabeled data and is therefore more generally applicable. Experiments show that self training is complementary to strong RoBERTa baselines on a variety of tasks. Our augmentation approach leads to scalable and effective self training with improvements of up to 2.6 on standard text classification benchmarks. Finally, we also show strong gains on knowledge distillation and few shot learning.


A BSDE based approach for the optimal reinsurance problem under partial information. We investigate the optimal reinsurance problem under the criterion of maximizing the expected utility of terminal wealth when the insurance company has restricted information on the loss process. We propose a risk model with claim arrival intensity and claim sizes distribution affected by an unobservable environmental stochastic factor. By filtering techniques (with marked point process observations), we reduce the original problem to an equivalent stochastic control problem under full information. Since the classical Hamilton Jacobi Bellman approach does not apply, due to the infinite dimensionality of the filter, we choose an alternative approach based on Backward Stochastic Differential Equations (BSDEs). Precisely, we characterize the value process and the optimal reinsurance strategy in terms of the unique solution to a BSDE driven by a marked point process.


Coloring near quadrangulations of the cylinder and the torus. Let G be a simple connected plane graph and let C 1 and C 2 be cycles in G bounding distinct faces f 1 and f 2. For a positive integer l, let r(l) denote the number of integers n such that l n l, n is divisible by 3, and n has the same parity as l in particular, r(4) 1. Let r f 1,f 2 (G) be the product of r( f ) over all faces f of G distinct from f 1 and f 2, and let q(G) 1 sum f f neq 4 f , where the sum is over all faces f of G. We give an algorithm with time complexity O(r f 1,f 2 (G)q(G) G ) which, given a 3 coloring psi of C 1 and C 2, either finds an extension of psi to a 3 coloring of G, or correctly decides no such extension exists. The algorithm is based on a min max theorem for a variant of integer 2 commodity flows, and consequently in the negative case produces an obstruction to the existence of the extension. As a corollary, we show that every triangle free graph drawn in the torus with edge width at least 21 is 3 colorable.


Rate of convergence of attractors of reaction diffusion equations with nonlinear boundary conditions. This paper we study the rate of convergence of the asymptotic dynamics of reaction diffusion equations with nonlinear Robin boundary conditions. We show how the rate of convergence of the global attractors can be affected by the variation of the potentials, boundary conditions and vectors fields.


Film deposition of a self propelled droplet on a cone with slip. We study the dynamic wetting of a self propelled viscous droplet using the time dependent lubrication equation on a conical shaped substrate for different cone radii, cone angles and slip lengths. The droplet velocity is found to increase with the cone angle and the slip length, but decrease with the cone radius. We show that a film is formed at the receding part of the droplet, much like the classical Landau Levich Derjaguin (LLD) film. The film thickness h f is found to decrease with the slip length lambda . By using the approach of matching asymptotic profiles in the film region and the quasi static droplet, we obtain the same film thickness as the results from the lubrication approach for all slip lengths. We identify two scaling laws for the asymptotic regimes h fh'' o sim Ca 2 3 for lambda ll h f and h f h'' 3 o sim (Ca lambda) 2 for lambda gg h f , here 1 h'' o is a characteristic length at the receding contact line and Ca is the capillary number. We compare the position and the shape of the droplet predicted from our continuum theory with molecular dynamics simulations, which are in close agreement. Our results show that manipulating the droplet size, the cone angle and the slip length provides different schemes for guiding droplet motion and coating the substrate with a film.