The edge labeling of higher order Voronoi diagrams. We present an edge labeling of order k Voronoi diagrams, V k(S) , of point sets S in the plane, and study properties of the regions defined by them. Among them, we show that V k(S) has a small orientable cycle and path double cover, and we identify configurations that cannot appear in V k(S) for small values of k . This paper also contains a systematic study of well known and new properties of V k(S) , all whose proofs only rely on elementary geometric arguments in the plane. The maybe most comprehensive study of structural properties of V k(S) was done by D.T. Lee (On k nearest neighbor Voronoi diagrams in the plane) in 1982. Our work reviews and extends the list of properties of higher order Voronoi diagrams.


Reference based Weak Supervision for Answer Sentence Selection using Web Data. Answer sentence selection (AS2) modeling requires annotated data, i.e., hand labeled question answer pairs. We present a strategy to collect weakly supervised answers for a question based on its reference to improve AS2 modeling. Specifically, we introduce Reference based Weak Supervision (RWS), a fully automatic large scale data pipeline that harvests high quality weakly supervised answers from abundant Web data requiring only a question reference pair as input. We study the efficacy and robustness of RWS in the setting of TANDA, a recent state of the art fine tuning approach specialized for AS2. Our experiments indicate that the produced data consistently bolsters TANDA. We achieve the state of the art in terms of P 1, 90.1 , and MAP, 92.9 , on WikiQA.


Counterfactual Instances Explain Little. In many applications, it is important to be able to explain the decisions of machine learning systems. An increasingly popular approach has been to seek to provide emph counterfactual instance explanations . These specify close possible worlds in which, contrary to the facts, a person receives their desired decision from the machine learning system. This paper will draw on literature from the philosophy of science to argue that a satisfactory explanation must consist of both counterfactual instances and a causal equation (or system of equations) that support the counterfactual instances. We will show that counterfactual instances by themselves explain little. We will further illustrate how explainable AI methods that provide both causal equations and counterfactual instances can successfully explain machine learning predictions.


Arc wise analytic t stratifications. We introduce two new notions of stratifications in valued fields t 2 stratifications and arc wise analytic t stratifications. We show the existence of arc wise analytic t stratifications in algebraically closed valued fields with analytic structure in the sense of R. Cluckers and L. Lipshitz. We prove that arc wise analytic t stratifications are t 2 stratifications and, moreover, that t 2 stratifications are valuative Lipschitz stratifications as defined by the second author and Y. Yin (the latter ones being closely related to Lipschitz stratifications in the sense of Mostowski). Finally, we introduce a combinatorial invariant associated to a t stratification which we call the critical value function. We explain how the critical value function of arc wise analytic t stratifications can be used to formulate programatic conjectural bounds for the Nash Semple conjecture.


On Language Models for Creoles. Creole languages such as Nigerian Pidgin English and Haitian Creole are under resourced and largely ignored in the NLP literature. Creoles typically result from the fusion of a foreign language with multiple local languages, and what grammatical and lexical features are transferred to the creole is a complex process. While creoles are generally stable, the prominence of some features may be much stronger with certain demographics or in some linguistic situations. This paper makes several contributions We collect existing corpora and release models for Haitian Creole, Nigerian Pidgin English, and Singaporean Colloquial English. We evaluate these models on intrinsic and extrinsic tasks. Motivated by the above literature, we compare standard language models with distributionally robust ones and find that, somewhat surprisingly, the standard language models are superior to the distributionally robust ones. We investigate whether this is an effect of over parameterization or relative distributional stability, and find that the difference persists in the absence of over parameterization, and that drift is limited, confirming the relative stability of creole languages.


Multigoal oriented error estimation and mesh adaptivity for fluid structure interaction. In this work, we consider multigoal oriented error estimation for stationary fluid structure interaction. The problem is formulated within a variational monolithic setting using arbitrary Lagrangian Eulerian coordinates. Employing the dual weighted residual method for goal oriented a posteriori error estimation, adjoint sensitivities are required. For multigoal oriented error estimation, a combined functional is formulated such that several quantities of interest are controlled simultaneously. As localization technique for mesh refinement we employ a partition of unity. Our algorithmic developments are substantiated with several numerical tests such as an elastic lid driven cavity with two goal functionals, an elastic bar in a chamber with two goal functionals, and the FSI 1 benchmark with three goal functionals.


Solving Backward Doubly Stochastic Differential Equations through Splitting Schemes. A splitting scheme for backward doubly stochastic differential equations is proposed. The main idea is to decompose a backward doubly stochastic differential equation into a backward stochastic differential equation and a stochastic differential equation. The backward stochastic differential equation and the stochastic differential equation are then approximated by first order finite difference schemes, which results in a first order scheme for the backward doubly stochastic differential equation. Numerical experiments are conducted to illustrate the convergence rate of the proposed scheme.


An Efficient Insect Pest Classification Using Multiple Convolutional Neural Network Based Models. Accurate insect pest recognition is significant to protect the crop or take the early treatment on the infected yield, and it helps reduce the loss for the agriculture economy. Design an automatic pest recognition system is necessary because manual recognition is slow, time consuming, and expensive. The Image based pest classifier using the traditional computer vision method is not efficient due to the complexity. Insect pest classification is a difficult task because of various kinds, scales, shapes, complex backgrounds in the field, and high appearance similarity among insect species. With the rapid development of deep learning technology, the CNN based method is the best way to develop a fast and accurate insect pest classifier. We present different convolutional neural network based models in this work, including attention, feature pyramid, and fine grained models. We evaluate our methods on two public datasets the large scale insect pest dataset, the IP102 benchmark dataset, and a smaller dataset, namely D0 in terms of the macro average precision (MPre), the macro average recall (MRec), the macro average F1 score (MF1), the accuracy (Acc), and the geometric mean (GM). The experimental results show that combining these convolutional neural network based models can better perform than the state of the art methods on these two datasets. For instance, the highest accuracy we obtained on IP102 and D0 is 74.13 and 99.78 , respectively, bypassing the corresponding state of the art accuracy 67.1 (IP102) and 98.8 (D0). We also publish our codes for contributing to the current research related to the insect pest classification problem.


Verbal width by set of squares in alternating group A n , Mathieu groups and its subgroups. In this paper questions of the width in verbal subgroups of A n is considered. Verbal width by set of squares of alternating group is found, it is happened equals to 2. The criterion of squareness in A n is presented. The necessary and sufficient conditions when an element of alternating group can be presented as a squares of one element are also found by us. Some necessary conditions to an element g in A n being the square in A n are investigated. The criterion square root of an element existing in PSL 2(F p) is found.


LI Net Large Pose Identity Preserving Face Reenactment Network. Face reenactment is a challenging task, as it is difficult to maintain accurate expression, pose and identity simultaneously. Most existing methods directly apply driving facial landmarks to reenact source faces and ignore the intrinsic gap between two identities, resulting in the identity mismatch issue. Besides, they neglect the entanglement of expression and pose features when encoding driving faces, leading to inaccurate expressions and visual artifacts on large pose reenacted faces. To address these problems, we propose a Large pose Identity preserving face reenactment network, LI Net. Specifically, the Landmark Transformer is adopted to adjust driving landmark images, which aims to narrow the identity gap between driving and source landmark images. Then the Face Rotation Module and the Expression Enhancing Generator decouple the transformed landmark image into pose and expression features, and reenact those attributes separately to generate identity preserving faces with accurate expressions and poses. Both qualitative and quantitative experimental results demonstrate the superiority of our method.


A result on the size of iterated sumsets in mathbb Z d . In this paper we give a different approach to determining the cardinality of h fold sumsets hA when A subset mathbb Z d has d 2 elements. We also obtain the upper and lower bounds for the value of hA when A subset mathbb Z d is a set of d 3 elements with simplicial hull.


Alchemical Transfer Approach to Absolute Binding Free Energy Estimation. The Alchemical Transfer Method (ATM) for the calculation of standard binding free energies of non covalent molecular complexes is presented. The method is based on a coordinate displacement perturbation of the ligand between the receptor binding site and the explicit solvent bulk, and a thermodynamic cycle connected by a symmetric intermediate in which the ligand interacts with the receptor and solvent environments with equal strength. While the approach is alchemical, the implementation of ATM is as straightforward as for physical pathway methods of binding. The method is applicable in principle with any force field, it does not require splitting the alchemical transformations into electrostatic and non electrostatic steps, and it does not require soft core pair potentials. We have implemented ATM as a freely available and open source plugin of the OpenMM molecular dynamics library. The method and its implementation are validated on the SAMPL6 SAMPLing host guest benchmark set. The work paves the way to streamlined alchemical relative and absolute binding free energy implementations on many molecular simulation packages and with arbitrary energy functions including polarizable, quantum mechanical, and artificial neural network potentials.


VMAgent Scheduling Simulator for Reinforcement Learning. A novel simulator called VMAgent is introduced to help RL researchers better explore new methods, especially for virtual machine scheduling. VMAgent is inspired by practical virtual machine (VM) scheduling tasks and provides an efficient simulation platform that can reflect the real situations of cloud computing. Three scenarios (fading, recovering, and expansion) are concluded from practical cloud computing and corresponds to many reinforcement learning challenges (high dimensional state and action spaces, high non stationarity, and life long demand). VMAgent provides flexible configurations for RL researchers to design their customized scheduling environments considering different problem features. From the VM scheduling perspective, VMAgent also helps to explore better learning based scheduling solutions.


A Remark on the Invariant Energy Quadratization (IEQ) Method for Preserving the Original Energy Dissipation Laws. In this letter, we revisit the IEQ method and provide a new perspective on its ability to preserve the original energy dissipation laws. The invariant energy quadratization (IEQ) method has been widely used to design energy stable numerical schemes for phase field or gradient flow models. Although there are many merits of the IEQ method, one major disadvantage is that the IEQ method usually respects a modified energy law, where the modified energy is expressed in the auxiliary variables. Still, the dissipation laws in terms of the original energy are not guaranteed. Using the widely used Cahn Hilliard equation as an example, we demonstrate that the Runge Kutta IEQ method indeed can preserve the original energy dissipation laws for certain situations up to arbitrary high order accuracy. Interested readers are highly encouraged to apply our idea to other phase field equations or gradient flow models.


Curved Micro Electrode Arrays. Multi electrode arrays serve to record electrical signals of many neurons in the brain simultaneously. For most of the past century, electrodes that penetrate brain tissue have had exactly one shape a straight needle. Certainly this was a good starting choice at the time, but there is no reason to think that a straight line would be the optimal shape in all Neuroscience applications. Here I argue that, in fact, a wide variety of curved shapes is equally practical all possible helices. I discuss the manufacture and manipulation of such devices, and illustrate a few use cases where they will likely outperform conventional needles. With some collective action from the research community, curved arrays could be manufactured and distributed at low cost.


Deterministic Graph Coloring in the Streaming Model. Recent breakthroughs in graph streaming have led to the design of single pass semi streaming algorithms for various graph coloring problems such as ( Delta 1) coloring, degeneracy coloring, coloring triangle free graphs, and others. These algorithms are all randomized in crucial ways and whether or not there is any deterministic analogue of them has remained an important open question in this line of work. We settle this fundamental question by proving that there is no deterministic single pass semi streaming algorithm that given a graph G with maximum degree Delta , can output a proper coloring of G using any number of colors which is sub exponential in Delta . Our proof is based on analyzing the multi party communication complexity of a related communication game, using random graph theory type arguments that may be of independent interest. We complement our lower bound by showing that just one extra pass over the input allows one to recover an O( Delta 2) coloring via a deterministic semi streaming algorithm. This result is further extended to an O( Delta) coloring in O( log Delta ) passes even in dynamic streams.


Binary Polar Codes Based on Bit Error Probability. This paper introduces techniques to construct binary polar source channel codes based on the bit error probability of successive cancellation decoding. The polarization lemma is reconstructed based on the bit error probability and then techniques to compute the bit error probability are introduced. These techniques can be applied to the construction of polar codes and the computation of lower and upper bounds of the block decoding error probability.


On the R 'enyi Ulam Game with Restricted Size Queries. We investigate the following version of the well known R 'enyi Ulam game. Two players the Questioner and the Responder play against each other. The Responder thinks of a number from the set 1, ldots,n and the Questioner has to find this number. To do this, he can ask if the sought number is an element of a subset of 1, ldots,n with at most k elements. The Responder answers with YES or NO immediately, but during the game he may lie at most ell times. The minimal number of queries needed for the Questioner to find the unknown element in the worst case is denoted by RU ell k(n) . First, we develop a highly effective tool, which we call Convexity Lemma. Using this, we give a general lower bound of RU ell k(n) with an error at most 2 ell 1 , and we also give its exact value when n is sufficiently large with respect to k . With this, we manage to improve and generalize the results obtained by Meng, Lin and Yang in a 2013 paper about the case ell 1 .


Citation Recommendation for Research Papers via Knowledge Graphs. Citation recommendation for research papers is a valuable task that can help researchers improve the quality of their work by suggesting relevant related work. Current approaches for this task rely primarily on the text of the papers and the citation network. In this paper, we propose to exploit an additional source of information, namely research knowledge graphs (KG) that interlink research papers based on mentioned scientific concepts. Our experimental results demonstrate that the combination of information from research KGs with existing state of the art approaches is beneficial. Experimental results are presented for the STM KG (STM Science, Technology, Medicine), which is an automatically populated knowledge graph based on the scientific concepts extracted from papers of ten domains. The proposed approach outperforms the state of the art with a mean average precision of 20.6 ( 0.8) for the top 50 retrieved results.


Doubling and Poincar 'e inequalities for uniformized measures on Gromov hyperbolic spaces. We generalize the recent results of Bj "orn Bj "orn Shanmugalingam cite BBS20 concerning how measures transform under the uniformization procedure of Bonk Heinonen Koskela for Gromov hyperbolic spaces cite BHK by showing that these results also hold in the setting of uniformizing Gromov hyperbolic spaces by Busemann functions that we introduced in cite Bu20 . In particular uniformly local doubling and uniformly local Poincar 'e inequalities for the starting measure transform into global doubling and global Poincar 'e inequalities for the uniformized measure. We then show in the setting of uniformizations of universal covers of closed negatively curved Riemannian manifolds equipped with the Riemannian measure that one can obtain sharp ranges of exponents for the uniformized measure to be doubling and satisfy a 1 Poincar 'e inequality. Lastly we introduce the procedure of uniform inversion for uniform metric spaces, and show that both the doubling property and the p Poincar 'e inequality are preserved by uniform inversion for any p geq 1 .


A Framework for Institutional Risk Identification using Knowledge Graphs and Automated News Profiling. Organizations around the world face an array of risks impacting their operations globally. It is imperative to have a robust risk identification process to detect and evaluate the impact of potential risks before they materialize. Given the nature of the task and the current requirements of deep subject matter expertise, most organizations utilize a heavily manual process. In our work, we develop an automated system that (a) continuously monitors global news, (b) is able to autonomously identify and characterize risks, (c) is able to determine the proximity of reaching triggers to determine the distance from the manifestation of the risk impact and (d) identifies organization's operational areas that may be most impacted by the risk. Other contributions also include (a) a knowledge graph representation of risks and (b) relevant news matching to risks identified by the organization utilizing a neural embedding model to match the textual description of a given risk with multi lingual news.


Aqueous humor dynamics in human eyes a lattice Boltzmann study. This paper presents a lattice Boltzmann model to simulate the aqueous humor (AH) dynamics in the human eyes by involving incompressible Navier Stokes flow, heat convection and diffusion, and Darcy seepage flow. Verifying simulations indicate that the model is stable, convergent and robust. Further investigations were carried out, including the effects of heat convection and buoyancy, AH production rate, permeability of trabecular meshwork, viscosity of AH and anterior chamber angle on intraocular pressure (IOP). The heat convection and diffusion can significantly affect the flow patterns in the healthy eye, and the IOP can be controlled by increasing the anterior chamber angle or decreasing the secretion rate, the drainage resistance and viscosity of AH. However, the IOP is insensitive to the viscosity of the AH, which may be one of the causes that the viscosity would not have been considered as a factor for controlling the IOP. It's interesting that all these factors have more significant influences on the IOP in pathologic eyes than healthy ones. The temperature difference and the eye orientation have obvious influence on the cornea and iris wall shear stresses. The present model and simulation results are expected to provide an alternative tool and theoretical reference for the study of AH dynamics.


Efficient Exact k Flexible Aggregate Nearest Neighbor Search in Road Networks Using the M tree. This study proposes an efficient exact k flexible aggregate nearest neighbor (k FANN) search algorithm in road networks using the M tree. The state of the art IER kNN algorithm used the R tree and pruned off unnecessary nodes based on the Euclidean coordinates of objects in road networks. However, IER kNN made many unnecessary accesses to index nodes since the Euclidean distances between objects are significantly different from the actual shortest path distances between them. In contrast, our algorithm proposed in this study can greatly reduce unnecessary accesses to index nodes compared with IER kNN since the M tree is constructed based on the actual shortest path distances between objects. To the best of our knowledge, our algorithm is the first exact FANN algorithm that uses the M tree. We prove that our algorithm does not cause any false drop. In conducting a series of experiments using various real road network datasets, our algorithm consistently outperformed IER kNN by up to 6.92 times.


Local Propagation for Few Shot Learning. The challenge in few shot learning is that available data is not enough to capture the underlying distribution. To mitigate this, two emerging directions are (a) using local image representations, essentially multiplying the amount of data by a constant factor, and (b) using more unlabeled data, for instance by transductive inference, jointly on a number of queries. In this work, we bring these two ideas together, introducing emph local propagation . We treat local image features as independent examples, we build a graph on them and we use it to propagate both the features themselves and the labels, known and unknown. Interestingly, since there is a number of features per image, even a single query gives rise to transductive inference. As a result, we provide a universally safe choice for few shot inference under both non transductive and transductive settings, improving accuracy over corresponding methods. This is in contrast to existing solutions, where one needs to choose the method depending on the quantity of available data.


Stable Isoperimetric Ratios and the Hodge Laplacian of Hyperbolic Manifolds. We show that for a closed hyperbolic 3 manifold the size of the first eigenvalue of the Hodge Laplacian acting on coexact 1 forms is comparable to an isoperimetric ratio relating geodesic length and stable commutator length with comparison constants that depend polynomially on the volume and on a lower bound on injectivity radius, refining estimates of Lipnowski and Stern. We use this estimate to show that there exist sequences of closed hyperbolic 3 manifolds with injectivity radius bounded below and volume going to infinity for which the 1 form Laplacian has spectral gap vanishing exponentially fast in the volume.


On Self Contact and Human Pose. People touch their face 23 times an hour, they cross their arms and legs, put their hands on their hips, etc. While many images of people contain some form of self contact, current 3D human pose and shape (HPS) regression methods typically fail to estimate this contact. To address this, we develop new datasets and methods that significantly improve human pose estimation with self contact. First, we create a dataset of 3D Contact Poses (3DCP) containing SMPL X bodies fit to 3D scans as well as poses from AMASS, which we refine to ensure good contact. Second, we leverage this to create the Mimic The Pose (MTP) dataset of images, collected via Amazon Mechanical Turk, containing people mimicking the 3DCP poses with selfcontact. Third, we develop a novel HPS optimization method, SMPLify XMC, that includes contact constraints and uses the known 3DCP body pose during fitting to create near ground truth poses for MTP images. Fourth, for more image variety, we label a dataset of in the wild images with Discrete Self Contact (DSC) information and use another new optimization method, SMPLify DC, that exploits discrete contacts during pose optimization. Finally, we use our datasets during SPIN training to learn a new 3D human pose regressor, called TUCH (Towards Understanding Contact in Humans). We show that the new self contact training data significantly improves 3D human pose estimates on withheld test data and existing datasets like 3DPW. Not only does our method improve results for self contact poses, but it also improves accuracy for non contact poses. The code and data are available for research purposes at https tuch.is.tue.mpg.de.


Federated Learning for Privacy Preserving Open Innovation Future on Digital Health. Privacy protection is an ethical issue with broad concern in Artificial Intelligence (AI). Federated learning is a new machine learning paradigm to learn a shared model across users or organisations without direct access to the data. It has great potential to be the next general AI model training framework that offers privacy protection and therefore has broad implications for the future of digital health and healthcare informatics. Implementing an open innovation framework in the healthcare industry, namely open health, is to enhance innovation and creative capability of health related organisations by building a next generation collaborative framework with partner organisations and the research community. In particular, this game changing collaborative framework offers knowledge sharing from diverse data with a privacy preserving. This chapter will discuss how federated learning can enable the development of an open health ecosystem with the support of AI. Existing challenges and solutions for federated learning will be discussed.


Multi Image Visual Question Answering. While a lot of work has been done on developing models to tackle the problem of Visual Question Answering, the ability of these models to relate the question to the image features still remain less explored. We present an empirical study of different feature extraction methods with different loss functions. We propose New dataset for the task of Visual Question Answering with multiple image inputs having only one ground truth, and benchmark our results on them. Our final model utilising Resnet RCNN image features and Bert embeddings, inspired from stacked attention network gives 39 word accuracy and 99 image accuracy on CLEVER TinyImagenet dataset.


The Generation of Security Scoring Systems Leveraging Human Expert Opinion. While the existence of many security elements can be measured (e.g., vulnerabilities, security controls, or privacy controls), it is challenging to measure their relative security impact. In the physical world we can often measure the impact of individual elements to a system. However, in cyber security we often lack ground truth (i.e., the ability to directly measure significance). In this work we propose to solve this by leveraging human expert opinion to provide ground truth. Experts are iteratively asked to compare pairs of security elements to determine their relative significance. On the back end our knowledge encoding tool performs a form of binary insertion sort on a set of security elements using each expert as an oracle for the element comparisons. The tool not only sorts the elements (note that equality may be permitted), but it also records the strength or degree of each relationship. The output is a directed acyclic constraint' graph that provides a total ordering among the sets of equivalent elements. Multiple constraint graphs are then unified together to form a single graph that is used to generate a scoring or prioritization system. For our empirical study, we apply this domain agnostic measurement approach to generate scoring prioritization systems in the areas of vulnerability scoring, privacy control prioritization, and cyber security control evaluation.


Enhanced Language Representation with Label Knowledge for Span Extraction. Span extraction, aiming to extract text spans (such as words or phrases) from plain texts, is a fundamental process in Information Extraction. Recent works introduce the label knowledge to enhance the text representation by formalizing the span extraction task into a question answering problem (QA Formalization), which achieves state of the art performance. However, QA Formalization does not fully exploit the label knowledge and suffers from low efficiency in training inference. To address those problems, we introduce a new paradigm to integrate label knowledge and further propose a novel model to explicitly and efficiently integrate label knowledge into text representations. Specifically, it encodes texts and label annotations independently and then integrates label knowledge into text representation with an elaborate designed semantics fusion module. We conduct extensive experiments on three typical span extraction tasks flat NER, nested NER, and event detection. The empirical results show that 1) our method achieves state of the art performance on four benchmarks, and 2) reduces training time and inference time by 76 and 77 on average, respectively, compared with the QA Formalization paradigm. Our code and data are available at https github.com Akeepers LEAR.


Minimax Problems with Coupled Linear Constraints Computational Complexity, Duality and Solution Methods. In this work we study a special minimax problem where there are linear constraints that couple both the minimization and maximization decision variables. The problem is a generalization of the traditional saddle point problem (which does not have the coupling constraint), and it finds applications in wireless communication, game theory, transportation, robust optimization, just to name a few. We show that the considered problem is challenging, in the sense that it violates the classical max min inequality, and that it is NP hard even under very strong assumptions (e.g., the objective is strongly convex strongly concave). We then develop a duality theory for it, and analyze conditions under which the duality gap becomes zero. Leveraging the resulting duality based relaxations, we propose a family of efficient algorithms named multiplier gradient descent (MGD), and study their convergence properties. Finally, we test the effectiveness of the proposed algorithms in an application on adversarial attacks on network flow problems.


Transferable End to end Room Layout Estimation via Implicit Encoding. We study the problem of estimating room layouts from a single panorama image. Most former works have two stages feature extraction and parametric model fitting. Here we propose an end to end method that directly predicts parametric layouts from an input panorama image. It exploits an implicit encoding procedure that embeds parametric layouts into a latent space. Then learning a mapping from images to this latent space makes end to end room layout estimation possible. However end to end methods have several notorious drawbacks despite many intriguing properties. A widely raised criticism is that they are troubled with dataset bias and do not transfer to unfamiliar domains. Our study echos this common belief. To this end, we propose to use semantic boundary prediction maps as an intermediate domain. It brings significant performance boost on four benchmarks (Structured3D, PanoContext, S3DIS, and Matterport3D), notably in the zero shot transfer setting. Code, data, and models will be released.


A paucity problem associated with a shifted integer analogue of the divisor function. Suppose that theta is irrational. Then almost all elements nu in mathbb Z theta that may be written as a k fold product of the shifted integers n theta (n in mathbb N ) are thus represented essentially uniquely.


Anti isomorphisms and involutions on the idealization of the incidence space over the finitary incidence algebra. Let K be a field and X a partially ordered set (poset). Let FI(X,K) and I(X,K) be the finitary incidence algebra and the incidence space of X over K , respectively, and let D(X,K) FI(X,K)( )I(X,K) be the idealization of the FI(X,K) bimodule I(X,K) . In the first part of this paper, we show that D(X,K) has an anti automorphism (involution) if and only if X has an anti automorphism (involution). We also present a characterization of the anti automorphisms and involutions on D(X,K) . In the second part, we obtain the classification of involutions on D(X,K) to the case when characteristic of K is different from 2 and X is a connected poset such that every multiplicative automorphism of FI(X,K) is inner and every derivation from FI(X,K) to I(X,K) is inner (in particular, when X has an element that is comparable with all its elements).


The Art and Practice of Data Science Pipelines A Comprehensive Study of Data Science Pipelines In Theory, In The Small, and In The Large. Increasingly larger number of software systems today are including data science components for descriptive, predictive, and prescriptive analytics. The collection of data science stages from acquisition, to cleaning curation, to modeling, and so on are referred to as data science pipelines. To facilitate research and practice on data science pipelines, it is essential to understand their nature. What are the typical stages of a data science pipeline? How are they connected? Do the pipelines differ in the theoretical representations and that in the practice? Today we do not fully understand these architectural characteristics of data science pipelines. In this work, we present a three pronged comprehensive study to answer this for the state of the art, data science in the small, and data science in the large. Our study analyzes three datasets a collection of 71 proposals for data science pipelines and related concepts in theory, a collection of over 105 implementations of curated data science pipelines from Kaggle competitions to understand data science in the small, and a collection of 21 mature data science projects from GitHub to understand data science in the large. Our study has led to three representations of data science pipelines that capture the essence of our subjects in theory, in the small, and in the large.


Maximal 3 wise intersecting families. A family mathcal F of subsets of 1,2, ldots,n is called maximal k wise intersecting if every collection of at most k members from mathcal F has a common element, and moreover no set can be added to mathcal F while preserving this property. In 1974, Erd H o s and Kleitman asked for the smallest possible size of a maximal k wise intersecting family, for k ge 3 . We resolve this problem for k 3 and n even and sufficiently large.


Internet of Things Technologies for Managing COVID 19 Pandemic Recommendations and Proposed Framework. The Internet of Things, often known as IoT, is an innovative technology that connects digital devices all around us, allowing Machine to Machine (M2M) communication between digital devices all over the world. Due to the convenience, connectivity, and affordability, this IoT is being served in various domains including healthcare where it brings exceptional benefits to improve patient care, uplifting medical resources to the next level. Some of these examples include surveillance networks, healthcare delivery technologies, and smart thermal detection. As of now, the IoT is served in various aspects of healthcare making many of the medical processes much easier as opposed to the earlier times. One of the most important aspects that this IoT can be used is, managing various aspects of healthcare during global pandemics, as pandemics can bring an immense strain on healthcare resources, during the pandemic. As there is no proper study is done with regards to the proper use of IoT for managing pandemics, in this regard, through our study we aim to review various use cases of IoT towards managing pandemics especially in terms of COVID 19 owing to what we are currently going through. In this regard, we are proposing a conceptual framework synthesizing the current literature and resources, which can be adopted when managing global pandemics to accelerate the battle pace with these deadly pandemics and focusing on what the entire world is currently going through where almost more than four (04) million people are diminished of this COVID 19 pandemic.


Can Edge Probing Tasks Reveal Linguistic Knowledge in QA Models?. There have been many efforts to try to understand what gram matical knowledge (e.g., ability to understand the part of speech of a token) is encoded in large pre trained language models (LM). This is done through 'Edge Probing' (EP) tests simple ML models that predict the grammatical properties ofa span (whether it has a particular part of speech) using only the LM's token representations. However, most NLP applications use fine tuned LMs. Here, we ask if a LM is fine tuned, does the encoding of linguistic information in it change, as measured by EP tests? Conducting experiments on multiple question answering (QA) datasets, we answer that question negatively the EP test results do not change significantly when the fine tuned QA model performs well or in adversarial situations where the model is forced to learn wrong correlations. However, a critical analysis of the EP task datasets reveals that EP models may rely on spurious correlations to make predictions. This indicates even if fine tuning changes the encoding of such knowledge, the EP tests might fail to measure it.


Pixel wise Deep Image Stitching. Image stitching aims at stitching the images taken from different viewpoints into an image with a wider field of view. Existing methods warp the target image to the reference image using the estimated warp function, and a homography is one of the most commonly used warping functions. However, when images have large parallax due to non planar scenes and translational motion of a camera, the homography cannot fully describe the mapping between two images. Existing approaches based on global or local homography estimation are not free from this problem and suffer from undesired artifacts due to parallax. In this paper, instead of relying on the homography based warp, we propose a novel deep image stitching framework exploiting the pixel wise warp field to handle the large parallax problem. The proposed deep image stitching framework consists of two modules Pixel wise Warping Module (PWM) and Stitched Image Generating Module (SIGMo). PWM employs an optical flow estimation model to obtain pixel wise warp of the whole image, and relocates the pixels of the target image with the obtained warp field. SIGMo blends the warped target image and the reference image while eliminating unwanted artifacts such as misalignments, seams, and holes that harm the plausibility of the stitched result. For training and evaluating the proposed framework, we build a large scale dataset that includes image pairs with corresponding pixel wise ground truth warp and sample stitched result images. We show that the results of the proposed framework are qualitatively superior to those of the conventional methods, especially when the images have large parallax. The code and the proposed dataset will be publicly available soon.


Injective metrics on buildings and symmetric spaces. In this article, we show that the Goldman Iwahori metric on the space of all norms on a fixed vector space satisfies the Helly property for balls. On the non Archimedean side, we deduce that most classical Bruhat Tits buildings may be endowed with a natural piecewise ell infty metric which is injective. We also prove that most classical semisimple groups over non Archimedean local fields act properly and cocompactly on Helly graphs. This gives another proof of biautomaticity for their uniform lattices. On the Archimedean side, we deduce that most classical symmetric spaces of non compact type may be endowed with a natural invariant Finsler metric, restricting to an ell infty on each flat, which is coarsely injective. We also prove that most classical semisimple groups over Archimedean local fields act properly and cocompactly on injective metric spaces. We identify the injective hull of the symmetric space of operatorname GL (n, mathbb R ) as the space of all norms on mathbb R n . The only exception is the special linear group if n 3 or n geq 5 and mathbb K is a local field, we show that operatorname SL (n, mathbb K ) does not act properly and coboundedly on an injective metric space.


An Interpretable Approach to Hateful Meme Detection. Hateful memes are an emerging method of spreading hate on the internet, relying on both images and text to convey a hateful message. We take an interpretable approach to hateful meme detection, using machine learning and simple heuristics to identify the features most important to classifying a meme as hateful. In the process, we build a gradient boosted decision tree and an LSTM based model that achieve comparable performance (73.8 validation and 72.7 test auROC) to the gold standard of humans and state of the art transformer models on this challenging task.


Credit Assignment in Neural Networks through Deep Feedback Control. The success of deep learning sparked interest in whether the brain learns by using similar techniques for assigning credit to each synaptic weight for its contribution to the network output. However, the majority of current attempts at biologically plausible learning methods are either non local in time, require highly specific connectivity motives, or have no clear link to any known mathematical optimization method. Here, we introduce Deep Feedback Control (DFC), a new learning method that uses a feedback controller to drive a deep neural network to match a desired output target and whose control signal can be used for credit assignment. The resulting learning rule is fully local in space and time and approximates Gauss Newton optimization for a wide range of feedback connectivity patterns. To further underline its biological plausibility, we relate DFC to a multi compartment model of cortical pyramidal neurons with a local voltage dependent synaptic plasticity rule, consistent with recent theories of dendritic processing. By combining dynamical system theory with mathematical optimization theory, we provide a strong theoretical foundation for DFC that we corroborate with detailed results on toy experiments and standard computer vision benchmarks.


On mathsf CD spaces with nonnegative curvature outside a compact set. In this paper we adapt work of Z. D. Liu to prove a ball covering property for non branching mathsf CD spaces with nonnegative curvature outside a compact set. As a consequence we obtain uniform bounds on the number of ends of such spaces.


Frequency conversion of abruptly autofocusing waves. Abruptly autofocusing waves and associated ring Airy (RA) beams are attracting increasing interest owing to their fascinating properties such as their ability of abruptly autofocusing to small F number. Optical frequency conversion via nonlinear interactions can further expand their applications to new area, yet are rarely studied. In this work, we report the frequency conversion of RA beams via sum frequency generation using perfect flattop and common Gauss beams as the pump beams. The nonlinear transformation of the spatial complex amplitude of the signal and associated influences on autofocusing behavior, under different conditions of interaction location (i.e., original, autofocusing, and Fourier planes) and pump structure, were systematically studied and experimentally investigated. This proof of principle demonstration provides a general guideline to build the frequency interface for abruptly autofocusing waves and a reference for relevant studies involving nonlinear transformation of abruptly autofocusing waves.


Constant Random Perturbations Provide Adversarial Robustness with Minimal Effect on Accuracy. This paper proposes an attack independent (non adversarial training) technique for improving adversarial robustness of neural network models, with minimal loss of standard accuracy. We suggest creating a neighborhood around each training example, such that the label is kept constant for all inputs within that neighborhood. Unlike previous work that follows a similar principle, we apply this idea by extending the training set with multiple perturbations for each training example, drawn from within the neighborhood. These perturbations are model independent, and remain constant throughout the entire training process. We analyzed our method empirically on MNIST, SVHN, and CIFAR 10, under different attacks and conditions. Results suggest that the proposed approach improves standard accuracy over other defenses while having increased robustness compared to vanilla adversarial training.


Risk Assessment, Prediction, and Avoidance of Collision in Autonomous Drones. Unmanned Aerial Vehicles (UAVs), in particular Drones, have gained significant importance in diverse sectors, mainly military uses. Recently, we can see a growth in acceptance of autonomous UAVs in civilian spaces as well. However, there is still a long way to go before drones are capable enough to be safely used without human surveillance. A lot of subsystems and components are involved in taking care of position estimation, route planning, software data security, and collision avoidance to have autonomous drones that fly in civilian spaces without being harmful to themselves, other UAVs, environment, or humans. The ultimate goal of this research is to advance collision avoidance and mitigation techniques through quantitative safety risk assessment. To this end, it is required to identify the most relevant faults failures threats that can happen during a drone's flight mission. The analysis of historical data is also a relevant instrument to help to characterize the most frequent and relevant issues in UAV systems, which may cause safety hazards. Then we need to estimate their impact quantitatively, by using fault injection techniques. Knowing the growing interests in UAVs and their huge potential for future commercial applications, the expected outcome of this work will be helpful to researchers for future related research studies. Furthermore, we envisage the utilization of expected results by companies to develop safer drone applications, and by air traffic controllers for building failure prediction and collision avoidance solutions.


Rigorous Analysis and Dynamics of Hibler's sea ice model. This article develops for the first time a rigorous analysis of Hibler's model of sea ice dynamics. Identifying Hibler's ice stress as a quasilinear second order operator and regarding Hibler's model as a quasilinear evolution equation, it is shown that Hibler's coupled sea ice model, i.e., the model coupling velocity, thickness and compactness of sea ice, is locally strongly well posed within the L q setting and also globally strongly well posed for initial data close to constant equilibria.


Analytical relationships for imposing minimum length scale in the robust Topology Optimization formulation. The robust topology optimization formulation that introduces the eroded and dilated versions of the design has gained increasing popularity in recent years, mainly because of its ability to produce designs satisfying a minimum length scale. Despite its success in various topology optimization fields, the robust formulation presents some drawbacks. This paper addresses one in particular, which concerns the imposition of the minimum length scale. In the density framework, the minimum size of the solid and void phases must be imposed implicitly through the parameters that define the density filter and the smoothed Heaviside projection. Finding these parameters can be time consuming and cumbersome, hindering a general code implementation of the robust formulation. Motivated by this issue, in this article we provide analytical expressions that explicitly relate the minimum length scale and the parameters that define it. The expressions are validated on a density based framework. To facilitate the reproduction of results, MATLAB codes are provided. As a side finding, this paper shows that to obtain simultaneous control over the minimum size of the solid and void phases, it is necessary to involve the 3 fields (eroded, intermediate and dilated) in the topology optimization problem. Therefore, for the compliance minimization problem subject to a volume restriction, the intermediate and dilated designs can be excluded from the objective function, but the volume restriction has to be applied to the dilated design in order to involve all 3 designs in the formulation.


Invariant Differential Operators for the Real Exceptional Lie Algebra F " 4 . In the present paper we continue the project of systematic construction of invariant differential operators on the example of the non compact exceptional Lie algebra F" 4 which is the split rank one form of the exceptional Lie algebra F 4 . We classify the reducible Verma modules over F 4 which are compatible with this induction. Thus, we obtain the classification of the corresponding invariant differential operators.


Dual Online Stein Variational Inference for Control and Dynamics. Model predictive control (MPC) schemes have a proven track record for delivering aggressive and robust performance in many challenging control tasks, coping with nonlinear system dynamics, constraints, and observational noise. Despite their success, these methods often rely on simple control distributions, which can limit their performance in highly uncertain and complex environments. MPC frameworks must be able to accommodate changing distributions over system parameters, based on the most recent measurements. In this paper, we devise an implicit variational inference algorithm able to estimate distributions over model parameters and control inputs on the fly. The method incorporates Stein Variational gradient descent to approximate the target distributions as a collection of particles, and performs updates based on a Bayesian formulation. This enables the approximation of complex multi modal posterior distributions, typically occurring in challenging and realistic robot navigation tasks. We demonstrate our approach on both simulated and real world experiments requiring real time execution in the face of dynamically changing environments.


The SDP value of random 2CSPs. We consider a very wide class of models for sparse random Boolean 2CSPs equivalently, degree 2 optimization problems over pm 1 n . For each model mathcal M , we identify the "high probability value" s mathcal M of the natural SDP relaxation (equivalently, the quantum value). That is, for all varepsilon 0 we show that the SDP optimum of a random n variable instance is (when normalized by n ) in the range (s mathcal M varepsilon, s mathcal M varepsilon) with high probability. Our class of models includes non regular CSPs, and ones where the SDP relaxation value is strictly smaller than the spectral relaxation value.


Data Augmentation using Random Image Cropping for High resolution Virtual Try On (VITON CROP). Image based virtual try on provides the capacity to transfer a clothing item onto a photo of a given person, which is usually accomplished by warping the item to a given human pose and adjusting the warped item to the person. However, the results of real world synthetic images (e.g., selfies) from the previous method is not realistic because of the limitations which result in the neck being misrepresented and significant changes to the style of the garment. To address these challenges, we propose a novel method to solve this unique issue, called VITON CROP. VITON CROP synthesizes images more robustly when integrated with random crop augmentation compared to the existing state of the art virtual try on models. In the experiments, we demonstrate that VITON CROP is superior to VITON HD both qualitatively and quantitatively.


Autonomous Coordinated Control of the Light Guide for Positioning in Vitreoretinal Surgery. Vitreoretinal surgery is challenging even for expert surgeons owing to the delicate target tissues and the diminutive workspace in the retina. In addition to improved dexterity and accuracy, robot assistance allows for (partial) task automation. In this work, we propose a strategy to automate the motion of the light guide with respect to the surgical instrument. This automation allows the instrument's shadow to always be inside the microscopic view, which is an important cue for the accurate positioning of the instrument in the retina. We show simulations and experiments demonstrating that the proposed strategy is effective in a 700 point grid in the retina of a surgical phantom. Furthermore, we integrated the proposed strategy with image processing and succeeded in positioning the surgical instrument's tip in the retina, relying on only the robot's geometric information and microscopic images.


Fixed point Quantization of Convolutional Neural Networks for Quantized Inference on Embedded Platforms. Convolutional Neural Networks (CNNs) have proven to be a powerful state of the art method for image classification tasks. One drawback however is the high computational complexity and high memory consumption of CNNs which makes them unfeasible for execution on embedded platforms which are constrained on physical resources needed to support CNNs. Quantization has often been used to efficiently optimize CNNs for memory and computational complexity at the cost of a loss of prediction accuracy. We therefore propose a method to optimally quantize the weights, biases and activations of each layer of a pre trained CNN while controlling the loss in inference accuracy to enable quantized inference. We quantize the 32 bit floating point precision parameters to low bitwidth fixed point representations thereby finding optimal bitwidths and fractional offsets for parameters of each layer of a given CNN. We quantize parameters of a CNN post training without re training it. Our method is designed to quantize parameters of a CNN taking into account how other parameters are quantized because ignoring quantization errors due to other quantized parameters leads to a low precision CNN with accuracy losses of up to 50 which is far beyond what is acceptable. Our final method therefore gives a low precision CNN with accuracy losses of less than 1 . As compared to a method used by commercial tools that quantize all parameters to 8 bits, our approach provides quantized CNN with averages of 53 lower memory consumption and 77.5 lower cost of executing multiplications for the two CNNs trained on the four datasets that we tested our work on. We find that layer wise quantization of parameters significantly helps in this process.


Parafree fundamental groups of graphs of groups with cyclic edge subgroups. We determine when the fundamental group of a finite graph of groups with cyclic edge subgroups is parafree.


Beyond 300Gbps Silicon Microring Modulator with AI Acceleration. Silicon microring modulator (Si MRM) has become one of the most promising compact modulators to meet the increasing capacity requirements of the next generation optical interconnection. The limited electro optical (E O) bandwidth, low modulation efficiency, and inherent modulation nonlinearity are the major factors that limit the Si MRM modulation speed. To address these issues, we comprehensively optimize the Si MRM from the device to the modulation and the signal processing. Large modulation bandwidth over 67GHz is achieved in our newly fabricated Si MRM. Additionally, the laser wavelength and bias voltage of Si MRM are optimized to significantly improve the modulation performance. Finally, we comprehensively study the theoretical model of modulation nonlinearity in Si MRM, especially transient nonlinearity. A bidirectional gate recurrent unit (Bi GRU) neural network with minor modification is applied to compensate for the nonlinear impairments. With all these efforts, we experimentally demonstrate a 302 Gbps Si MRM based O band optical interconnection and achieve 300 Gbps transmission over a 1 km standard single mode fiber using the discrete multitone modulation format with bit and power loading (BPL DMT).


On the homeomorphism problem for 4 manifolds. We show that there is no algorithm to decide whether or not a given 4 manifold is homeomorphic to the connected sum of 12 copies of S 2 times S 2.


Multicommodity routing optimization for engineering networks. Optimizing passengers routes is crucial to design efficient transportation networks. Recent results show that optimal transport provides an efficient alternative to standard optimization methods. However, it is not yet clear if this formalism has empirical validity on engineering networks. We address this issue by considering different response functions quantities determining the interaction between passengers in the dynamics implementing the optimal transport formulation. Particularly, we couple passengers' fluxes by taking their sum or the sum of their squares. The first choice naturally reflects edges occupancy in transportation networks, however the second guarantees convergence to an optimal configuration of flows. Both modeling choices are applied to the Paris metro. We measure the extent of traffic bottlenecks and infrastructure resilience to node removal, showing that the two settings are equivalent in the congested transport regime, but different in the branched one. In the latter, the two formulations differ on how fluxes are distributed, with one function favoring routes consolidation, thus potentially being prone to generate traffic overload. Additionally, we compare our method to Dijkstra's algorithm to show its capacity to efficiently recover shortest path like graphs. Finally, we observe that optimal transport networks lie in the Pareto front drawn by the energy dissipated by passengers, and the cost to build the infrastructure.


High order accurate entropy stable adaptive moving mesh finite difference schemes for special relativistic (magneto)hydrodynamics. This paper develops high order accurate entropy stable (ES) adaptive moving mesh finite difference schemes for the two and three dimensional special relativistic hydrodynamic (RHD) and magnetohydrodynamic (RMHD) equations, which is the high order accurate extension of J.M. Duan and H.Z. Tang, Entropy stable adaptive moving mesh schemes for 2D and 3D special relativistic hydrodynamics, J. Comput. Phys., 426(2021), 109949 . The key point is the derivation of the higher order accurate entropy conservative (EC) and ES finite difference schemes in the curvilinear coordinates by carefully dealing with the discretization of the temporal and spatial metrics and the Jacobian of the coordinate transformation and constructing the high order EC and ES fluxes with the discrete metrics. The spatial derivatives in the source terms of the symmetrizable RMHD equations and the geometric conservation laws are discretized by using the linear combinations of the corresponding second order case to obtain high order accuracy. Based on the proposed high order accurate EC schemes and the high order accurate dissipation terms built on the WENO reconstruction, the high order accurate ES schemes are obtained for the RHD and RMHD equations in the curvilinear coordinates. The mesh iteration redistribution or adaptive moving mesh strategy is built on the minimization of the mesh adaption functional. Several numerical tests are conducted to validate the shock capturing ability and high efficiency of our high order accurate ES adaptive moving mesh methods on the parallel computer system with the MPI communication. The numerical results show that the high order accurate ES adaptive moving mesh schemes outperform both their counterparts on the uniform mesh and the second order ES adaptive moving mesh schemes.


3D RETR End to End Single and Multi View 3D Reconstruction with Transformers. 3D reconstruction aims to reconstruct 3D objects from 2D views. Previous works for 3D reconstruction mainly focus on feature matching between views or using CNNs as backbones. Recently, Transformers have been shown effective in multiple applications of computer vision. However, whether or not Transformers can be used for 3D reconstruction is still unclear. In this paper, we fill this gap by proposing 3D RETR, which is able to perform end to end 3D REconstruction with TRansformers. 3D RETR first uses a pretrained Transformer to extract visual features from 2D input images. 3D RETR then uses another Transformer Decoder to obtain the voxel features. A CNN Decoder then takes as input the voxel features to obtain the reconstructed objects. 3D RETR is capable of 3D reconstruction from a single view or multiple views. Experimental results on two datasets show that 3DRETR reaches state of the art performance on 3D reconstruction. Additional ablation study also demonstrates that 3D DETR benefits from using Transformers.


Pink for Princesses, Blue for Superheroes The Need to Examine Gender Stereotypes in Kid's Products in Search and Recommendations. In this position paper, we argue for the need to investigate if and how gender stereotypes manifest in search and recommender systems.As a starting point, we particularly focus on how these systems may propagate and reinforce gender stereotypes through their results in learning environments, a context where teachers and children in their formative stage regularly interact with these systems. We provide motivating examples supporting our concerns and outline an agenda to support future research addressing the phenomena.


Few Shot Semantic Parsing for New Predicates. In this work, we investigate the problems of semantic parsing in a few shot learning setting. In this setting, we are provided with utterance logical form pairs per new predicate. The state of the art neural semantic parsers achieve less than 25 accuracy on benchmark datasets when k 1. To tackle this problem, we proposed to i) apply a designated meta learning method to train the model ii) regularize attention scores with alignment statistics iii) apply a smoothing technique in pre training. As a result, our method consistently outperforms all the baselines in both one and two shot settings.


Memory Augmented Sequential Paragraph Retrieval for Multi hop Question Answering. Retrieving information from correlative paragraphs or documents to answer open domain multi hop questions is very challenging. To deal with this challenge, most of the existing works consider paragraphs as nodes in a graph and propose graph based methods to retrieve them. However, in this paper, we point out the intrinsic defect of such methods. Instead, we propose a new architecture that models paragraphs as sequential data and considers multi hop information retrieval as a kind of sequence labeling task. Specifically, we design a rewritable external memory to model the dependency among paragraphs. Moreover, a threshold gate mechanism is proposed to eliminate the distraction of noise paragraphs. We evaluate our method on both full wiki and distractor subtask of HotpotQA, a public textual multi hop QA dataset requiring multi hop information retrieval. Experiments show that our method achieves significant improvement over the published state of the art method in retrieval and downstream QA task performance.


Approximate Integrals Over Bounded Volumes with Smooth Boundaries. A Radial Basis Function Generated Finite Differences (RBF FD) inspired technique for evaluating definite integrals over bounded volumes that have smooth boundaries in three dimensions is described. Such methods are necessary in many areas of Applied Mathematics, Mathematical Physics and myriad other application areas. Previous approaches needed restrictive uniformity in the node set, which the algorithm presented here does not require. By using RBF FD approach, the proposed algorithm computes quadrature weights for N arbitrarily scattered nodes in only O(N mbox log N) operations with high orders of accuracy.


Position Measurement of Multiple Microparticles in Hollow Core Photonic Crystal Fiber by Coherent Optical Frequency Domain Reflectometry. Flying particle sensors in hollow core photonic crystal fibers require accurate localization of the optically trapped microparticles. We report position measurement to micrometer resolution, using optical frequency domain reflectometry, of two 1.65 mu m diameter polystyrene particles.


Multi parameter analysis of the obstacle scattering problem. We consider the acoustic field scattered by a bounded impenetrable obstacle and we study its dependence upon a certain set of parameters. As usual, the problem is modeled by an exterior Dirichlet problem for the Helmholtz equation Delta u k 2u 0 . We show that the solution u and its far field pattern u infty depend real analytically on the shape of the obstacle, the wave number k , and the Dirichlet datum. We also prove a similar result for the corresponding Dirichlet to Neumann map.


An inverse problem for the porous medium equation with partial data and a possibly singular absorption term. In this paper we prove uniqueness in the inverse boundary value problem for the three coefficient functions in the porous medium equation with an absorption term epsilon partial t u nabla cdot( gamma nabla u m) lambda u q 0 , with m 1 , m 1 q sqrt m , with the space dimension 2 or higher. This is a degenerate parabolic type quasilinear PDE which has been used as a model for phenomena in fields such as gas flow (through a porous medium), plasma physics, and population dynamics. In the case when gamma 1 a priori, we prove unique identifiability with data supported in an arbitrarily small part of the boundary. Even for the global problem we improve on previous work by obtaining uniqueness with a finite (rather than infinite) time of observation and also by introducing the additional absorption term lambda u q .


Neumann boundary optimal control problems governed by parabolic variational equalities. We consider a heat conduction problem S with mixed boundary conditions in a n dimensional domain Omega with regular boundary and a family of problems S alpha with also mixed boundary conditions in Omega , where alpha 0 is the heat transfer coefficient on the portion of the boundary Gamma 1 . In relation to these state systems, we formulate Neumann boundary optimal control problems on the heat flux q which is definite on the complementary portion Gamma 2 of the boundary of Omega . We obtain existence and uniqueness of the optimal controls, the first order optimality conditions in terms of the adjoint state and the convergence of the optimal controls, the system state and the adjoint state when the heat transfer coefficient alpha goes to infinity. Furthermore, we formulate particular boundary optimal control problems on a real parameter lambda , in relation to the parabolic problems S and S alpha and to mixed elliptic problems P and P alpha . We find a explicit form for the optimal controls, we prove monotony properties and we obtain convergence results when the parameter time goes to infinity.


Improving Generalization in Meta RL with Imaginary Tasks from Latent Dynamics Mixture. The generalization ability of most meta reinforcement learning (meta RL) methods is largely limited to test tasks that are sampled from the same distribution used to sample training tasks. To overcome the limitation, we propose Latent Dynamics Mixture (LDM) that trains a reinforcement learning agent with imaginary tasks generated from mixtures of learned latent dynamics. By training a policy on mixture tasks along with original training tasks, LDM allows the agent to prepare for unseen test tasks during training and prevents the agent from overfitting the training tasks. LDM significantly outperforms standard meta RL methods in test returns on the gridworld navigation and MuJoCo tasks where we strictly separate the training task distribution and the test task distribution.


Borderline case of traces and extensions for weighted Sobolev spaces. In this paper, we study the traces and the extensions for weighted Sobolev spaces on upper half spaces when the weights reach to the borderline cases. We first give a full characterization of the existence of trace spaces for these weighted Sobolev spaces, and then study the trace parts and the extension parts between the weighted Sobolev spaces and a new kind of Besov type spaces (on hyperplanes) which are defined by using integral averages over selected layers of dyadic cubes.


Why Existing Machine Learning Methods Fails At Extracting the Information of Future Returns Out of Historical Sctock Prices the Curve Shape Feature and Non Curve Shape Feature Modes. The financial time series analysis is important access to touch the complex laws of financial markets. Among many goals of the financial time series analysis, one is to construct a model that can extract the information of the future return out of the known historical stock data, such as stock price, financial news, and e.t.c. To design such a model, prior knowledge on how the future return is correlated with the historical stock prices is needed. In this work, we focus on the issue in what mode the future return is correlated with the historical stock prices. We manually design several financial time series where the future return is correlated with the historical stock prices in pre designed modes, namely the curve shape feature (CSF) and the non curve shape feature (NCSF) modes. In the CSF mode, the future return can be extracted from the curve shapes of the historical stock prices. By applying various kinds of existing algorithms on those pre designed time series and real financial time series, we show that (1) the major information of the future return is not contained in the curve shape features of historical stock prices. That is, the future return is not mainly correlated with the historical stock prices in the CSF mode. (2) Various kinds of existing machine learning algorithms are good at extracting the curveshape features in the historical stock prices and thus are inappropriate for financial time series analysis although they are successful in the image recognition and natural language processing. That is, new models handling the NCSF series are needed in the financial time series analysis.


The dual Lagrangian fibration of known hyper K "ahler manifolds. Given a Lagrangian fibration pi X to mathbb P n of a compact hyper K "ahler manifold of text K3 n , text Kum n , text OG10 or text OG6 type, we construct a natural compactification of its dual torus fibration. Specifically, this compactification is given by a quotient of X by text Aut circ (X mathbb P n) , the group of automorphisms acting trivially on the second cohomology and respecting the Lagrangian fibration. It is a compact hyper K "ahler orbifold with identical period mapping behavior as X .


Dual view Molecule Pre training. Inspired by its success in natural language processing and computer vision, pre training has attracted substantial attention in cheminformatics and bioinformatics, especially for molecule based tasks. A molecule can be represented by either a graph (where atoms are connected by bonds) or a SMILES sequence (where depth first search is applied to the molecular graph with specific rules). Existing works on molecule pre training use either graph representations only or SMILES representations only. In this work, we propose to leverage both the representations and design a new pre training algorithm, dual view molecule pre training (briefly, DMP), that can effectively combine the strengths of both types of molecule representations. The model of DMP consists of two branches a Transformer branch that takes the SMILES sequence of a molecule as input, and a GNN branch that takes a molecular graph as input. The training of DMP contains three tasks (1) predicting masked tokens in a SMILES sequence by the Transformer branch, (2) predicting masked atoms in a molecular graph by the GNN branch, and (3) maximizing the consistency between the two high level representations output by the Transformer and GNN branches separately. After pre training, we can use either the Transformer branch (this one is recommended according to empirical results), the GNN branch, or both for downstream tasks. DMP is tested on nine molecular property prediction tasks and achieves state of the art performances on seven of them. Furthermore, we test DMP on three retrosynthesis tasks and achieve state of the art results on them.


A Polarizable Water Potential Derived from a Model Electron Density. A new empirical potential for efficient, large scale molecular dynamics simulation of water is presented. The HIPPO (Hydrogen like Intermolecular Polarizable POtential) force field is based upon the model electron density of a hydrogen like atom. This framework is used to derive and parameterize individual terms describing charge penetration damped permanent electrostatics, damped polarization, charge transfer, anisotropic Pauli repulsion, and damped dispersion interactions. Initial parameter values were fit to Symmetry Adapted Perturbation Theory (SAPT) energy components for ten water dimer configurations, as well as the radial and angular dependence of the canonical dimer. The SAPT based parameters were then systematically refined to extend the treatment to water bulk phases. The final HIPPO water model provides a balanced representation of a wide variety of properties of gas phase clusters, liquid water and ice polymorphs, across a range of temperatures and pressures. This water potential yields a rationalization of water structure, dynamics and thermodynamics explicitly correlated with an ab initio energy decomposition, while providing a level of accuracy comparable or superior to previous polarizable atomic multipole force fields. The HIPPO water model serves as a cornerstone around which similarly detailed physics based models can be developed for additional molecular species.


ABEM An Adaptive Agent based Evolutionary Approach for Mining Influencers in Online Social Networks. A key step in influence maximization in online social networks is the identification of a small number of users, known as influencers, who are able to spread influence quickly and widely to other users. The evolving nature of the topological structure of these networks makes it difficult to locate and identify these influencers. In this paper, we propose an adaptive agent based evolutionary approach to address this problem in the context of both static and dynamic networks. This approach is shown to be able to adapt the solution as the network evolves. It is also applicable to large scale networks due to its distributed framework. Evaluation of our approach is performed by using both synthetic networks and real world datasets. Experimental results demonstrate that the proposed approach outperforms state of the art seeding algorithms in terms of maximizing influence.


GraphPlan Story Generation by Planning with Event Graph. Story generation is a task that aims to automatically produce multiple sentences to make up a meaningful story. This task is challenging because it requires high level understanding of semantic meaning of sentences and causality of story events. Naive sequence to sequence models generally fail to acquire such knowledge, as the logical correctness can hardly be guaranteed in a text generation model without the strategic planning. In this paper, we focus on planning a sequence of events assisted by event graphs, and use the events to guide the generator. Instead of using a sequence to sequence model to output a storyline as in some existing works, we propose to generate an event sequence by walking on an event graph. The event graphs are built automatically based on the corpus. To evaluate the proposed approach, we conduct human evaluation both on event planning and story generation. Based on large scale human annotation results, our proposed approach is shown to produce more logically correct event sequences and stories.


Least squares fitting of Gaussian spots on graphics processing units. The investigation of samples with a spatial resolution in the nanometer range relies on the precise and stable positioning of the sample. Due to inherent mechanical instabilities of typical sample stages in optical microscopes, it is usually required to control and or monitor the sample position during the acquisition. The tracking of sparsely distributed fiducial markers at high speed allows stabilizing the sample position at millisecond time scales. For this purpose, we present a scalable fitting algorithm with significantly improved performance for two dimensional Gaussian fits as compared to Gpufit.


Refined asymptotic expansions of solutions to fractional diffusion equations. In this paper, as an improvement of the paper K. Ishige, T. Kawakami and H. Michihisa, SIAM J. Math. Anal. 49 (2017) pp. 2167 2190 , we obtain the higher order asymptotic expansions of the large time behavior of the solution to the Cauchy problem for inhomogeneous fractional diffusion equations and nonlinear fractional diffusion equations.


SMURF Efficient and Scalable Metadata Access for Distributed Applications. In parallel with big data processing and analysis dominating the usage of distributed and cloud infrastructures, the demand for distributed metadata access and transfer has increased. In many application domains, the volume of data generated exceeds petabytes, while the corresponding metadata amounts to terabytes or even more. This paper proposes a novel solution for efficient and scalable metadata access for distributed applications across wide area networks, dubbed SMURF. Our solution combines novel pipelining and concurrent transfer mechanisms with reliability, provides distributed continuum caching and prefetching strategies to sidestep fetching latency, and achieves scalable and high performance metadata fetch prefetch services in the cloud. We also study the phenomenon of semantic locality in real trace logs, which is not well utilized in metadata access prediction. We implement a novel prefetch predictor based on this observation and compare it with three existing state of the art prefetch schemes on Yahoo! Hadoop audit traces. By effectively caching and prefetching metadata based on the access patterns, our continuum caching and prefetching mechanism significantly improves local cache hit rate and reduces the average fetching latency. We replayed approximately 20 Million metadata access operations from real audit traces, in which our system achieved 90 accuracy during prefetch prediction and reduced the average fetch latency by 50 compared to the state of the art mechanisms.


Integrated Modular Solution for Task Oriented Manipulator Configuration Design. Modular and reconfigurable robotic systems have been designed to provide a customized solution for the non repetitive tasks to be performed in a constrained environment. Customized solutions are normally extracted from task based optimization of the possible manipulator configurations but the solution are not integrated, for providing the modular compositions directly. In this work, in the first phase, a strategy of finding unconventional optimal configurations with minimal number of degrees of freedom are discussed based upon the prescribed working locations and the cluttered environment. Then, in the second phase, design of the modular and reconfigurable architecture is presented which can adapt these unconventional robotic parameters. Rather than generating and evolving the modular compositions, a strategy is presented through which the unconventional optimal configurations can be mapped directly to the modular compositions. The generated modular composition is validated using Robot Operating System for the motion planning between the prescribed working locations in a given cluttered environment.


Time domain analysis for electromagnetic scattering by an elastic obstacle in a two layered medium. In this paper, we consider the scattering of a time dependent electromagnetic wave by an elastic body immersed in the lower half space of a two layered background medium which is separated by an unbounded rough surface. By proposing two exact transparent boundary conditions (TBCs) on the artificial planes, we reformulate the unbounded scattering problem into an equivalent initial boundary value problem in a strip domain with the well posedness and stability proved using the Laplace transform, variational method and energy method. A perfectly matched layer (PML) is then introduced to truncate the interaction problem with two finite layers containing the elastic body, leading to a PML problem in a finite strip domain. We further verify the existence, uniqueness and stability estimate of solution for the PML problem. Finally, we establish the exponential convergence in terms of the thickness and parameters of the PML layers via an error estimate on the electric to magnetic (EtM) capacity operators between the original problem and the PML problem.


Demystifying Removed Apps in iOS App Store. With the popularity of mobile devices, mobile applications have become an essential part of people's lives. To provide secure mobile application download channels for users, various modern app markets are maintained by different companies. For example, Google maintains Google Play for Android users, while Apple maintains App Store for iOS, iPadOS, and MacOS users. Though app markets have come up with strict policies which impose restrictions on developers to avoid the potential harmful applications, we still have quite limited knowledge on the process of app vetting and the status of potential harmful apps. To fill this gap, this paper takes the initiative to conduct a large scale and longitudinal study of removed apps in the iOS app store. Our analysis reveals that although most of the removed apps are low quality apps, a number of them are quite popular. Furthermore, the mis behaviors of these apps are reflected on app metadata, which makes it possible to distinguish potential harmful apps.


Local cohomology an invitation. This article is part introduction and part survey to the mathematical area centered around local cohomology.


Radio Assisted Human Detection. In this paper, we propose a radio assisted human detection framework by incorporating radio information into the state of the art detection methods, including anchor based onestage detectors and two stage detectors. We extract the radio localization and identifer information from the radio signals to assist the human detection, due to which the problem of false positives and false negatives can be greatly alleviated. For both detectors, we use the confidence score revision based on the radio localization to improve the detection performance. For two stage detection methods, we propose to utilize the region proposals generated from radio localization rather than relying on region proposal network (RPN). Moreover, with the radio identifier information, a non max suppression method with the radio localization constraint has also been proposed to further suppress the false detections and reduce miss detections. Experiments on the simulative Microsoft COCO dataset and Caltech pedestrian datasets show that the mean average precision (mAP) and the miss rate of the state of the art detection methods can be improved with the aid of radio information. Finally, we conduct experiments in real world scenarios to demonstrate the feasibility of our proposed method in practice.


ROS NetSim A Framework for the Integration of Robotic and Network Simulators. Multi agent systems play an important role in modern robotics. Due to the nature of these systems, coordination among agents via communication is frequently necessary. Indeed, Perception Action Communication (PAC) loops, or Perception Action loops closed over a communication channel, are a critical component of multi robot systems. However, we lack appropriate tools for simulating PAC loops. To that end, in this paper, we introduce ROS NetSim, a ROS package that acts as an interface between robotic and network simulators. With ROS NetSim, we can attain high fidelity representations of both robotic and network interactions by accurately simulating the PAC loop. Our proposed approach is lightweight, modular and adaptive. Furthermore, it can be used with many available network and physics simulators by making use of our proposed interface. In summary, ROS NetSim is (i) Transparent to the ROS target application, (ii) Agnostic to the specific network and physics simulator being used, and (iii) Tunable in fidelity and complexity. As part of our contribution, we have made available an open source implementation of ROS NetSim to the community.


Beyond Ads Sequential Decision Making Algorithms in Law and Public Policy. We explore the promises and challenges of employing sequential decision making algorithms such as bandits, reinforcement learning, and active learning in law and public policy. While such algorithms have well characterized performance in the private sector (e.g., online advertising), their potential in law and the public sector remains largely unexplored, due in part to distinct methodological challenges of the policy setting. Public law, for instance, can pose multiple objectives, necessitate batched and delayed feedback, and require systems to learn rational, causal decision making policies, each of which presents novel questions at the research frontier. We highlight several applications of sequential decision making algorithms in regulation and governance, and discuss areas for needed research to render such methods policy compliant, more widely applicable, and effective in the public sector. We also note the potential risks of such deployments and describe how sequential decision systems can also facilitate the discovery of harms. We hope our work inspires more investigation of sequential decision making in law and public policy, which provide unique challenges for machine learning researchers with tremendous potential for social benefit.


Log canonical foliation singularities on surfaces. We give a classification of the dual graphs of the exceptional divisors on the minimal resolutions of log canonical foliation singularities on surfaces. For an application, we show the set of foliated minimal log discrepancies for foliated surface triples satisfies the ascending chain condition and a Grauert Riemenschneider type vanishing theorem for foliated surfaces with good log canonical foliation singularities.


Smart Adaptive Mesh Refinement with NEMoSys. Adaptive mesh refinement (AMR) offers a practical solution to reduce the computational cost and memory requirement of numerical simulations that use computational meshes. In this work, we introduce a novel smart methodology for adaptive mesh refinement. Smart adaptive refinement blends classical AMR with machine learning to address some of the known issues of the conventional approaches. We provide an algorithm for adaptive refinement. Subsequently, we introduce a modular object oriented structure for our smart AMR algorithm. Then we present procedures used for the training of a smart AMR model. The study follows with a demonstration of preliminary numerical studies indicating the feasibility of performing adaptive mesh refinement on a few demonstrative problems selected from the CFD domain. Finally, we conclude with a few comments about future work.


Roles of positively charged dust, ion fluid temperature, and nonthermal electrons in the formation of modified ion acoustic solitary and shock waves. The dusty plasma system (containing nonthermally distributed inertialess electron species, warm inertial ion species, and positively charged stationary dust species) is considered. The basic features of subsonic and supersonic modified ion acoustic solitary and shock waves formed in such a dusty plasma system have been investigated by the reductive perturbation method. It has been shown that positively charged dust species play a new role in favor of the formation of subsonic solitary and shock waves. On the other hand, the ion fluid temperature (represented by the parameter sigma ) and the electron nonthermal parameter (represented by alpha ) play new significant roles against the formation of subsonic solitary and shock waves and give rise to the formation of the supersonic solitary and shock waves after their ( sigma 's and alpha 's) certain values. It is also shown that after a certain value of the nonthermal parameter alpha , the subsonic as well as supersonic solitary and shock waves are formed with negative potential. The important applications of the results of this theoretical investigation in space and laboratory dusty plasma systems are pinpointed.


k Anonymity in Practice How Generalisation and Suppression Affect Machine Learning Classifiers. The protection of private information is a crucial issue in data driven research and business contexts. Typically, techniques like anonymisation or (selective) deletion are introduced in order to allow data sharing, eg in the case of collaborative research endeavours. For use with anonymisation techniques, the k anonymity criterion is one of the most popular, with numerous scientific publications on different algorithms and metrics. Anonymisation techniques often require changing the data and thus necessarily affect the results of machine learning models trained on the underlying data. In this work, we conduct a systematic comparison and detailed investigation into the effects of different k anonymisation algorithms on the results of machine learning models. We investigate a set of popular k anonymisation algorithms with different classifiers and evaluate them on different real world datasets. Our systematic evaluation shows that with an increasingly strong k anonymity constraint, the classification performance generally degrades, but to varying degrees and strongly depending on the dataset and anonymisation method. Furthermore, Mondrian can be considered as the method with the most appealing properties for subsequent classification.


Planning for Proactive Assistance in Environments with Partial Observability. This paper addresses the problem of synthesizing the behavior of an AI agent that provides proactive task assistance to a human in settings like factory floors where they may coexist in a common environment. Unlike in the case of requested assistance, the human may not be expecting proactive assistance and hence it is crucial for the agent to ensure that the human is aware of how the assistance affects her task. This becomes harder when there is a possibility that the human may neither have full knowledge of the AI agent's capabilities nor have full observability of its activities. Therefore, our textit proactive assistant is guided by the following three principles textbf (1) its activity decreases the human's cost towards her goal textbf (2) the human is able to recognize the potential reduction in her cost textbf (3) its activity optimizes the human's overall cost (time resources) of achieving her goal. Through empirical evaluation and user studies, we demonstrate the usefulness of our approach.


Federated Learning over Next Generation Ethernet Passive Optical Networks. Federated Learning (FL) is a distributed machine learning (ML) type of processing that preserves the privacy of user data, sharing only the parameters of ML models with a common server. The processing of FL requires specific latency and bandwidth demands that need to be fulfilled by the operation of the communication network. This paper introduces a Dynamic Wavelength and Bandwidth Allocation algorithm for Quality of Service (QoS) provisioning for FL traffic over 50 Gb s Ethernet Passive Optical Networks. The proposed algorithm prioritizes FL traffic and reduces the delay of FL and delay critical applications supported on the same infrastructure.


Laminar flow characterization using low field magnetic resonance techniques. Laminar flow velocity profiles depend heavily on fluid rheology. Developing methods of laminar flow characterization, based on low field magnetic resonance (MR), contributes to the widespread industrial application of the MR technique in rheology. In this paper, we designed a low cost, palm sized permanent magnet with a 1H resonance frequency of 20.48 MHz to measure laminar flow. The magnet consists of two disk magnets, which were each tilted at an angle of 1 deg from a starting separation of 1.4 cm to generate a constant gradient, 65 gauss cm, in the direction of flow. Subsequently, a series of process methods, for MR measurements, were proposed to characterize Newtonian and non Newtonian fluid flows in a pipe, including phase based method, magnitude based method, and velocity spectrum method. The accuracies of the proposed methods were validated by simulations, and experiments of Poiseuille flow and shear thinning flow on the designed magnet. The new velocity profile methods proposed are advantageous because the MR instrumentation and measurement methods are simple and portable. The sophistication is found in the analysis although the physical principles are straight forward.


Improved Gamma Ray Point Source Quantification in Three Dimensions by Modeling Attenuation in the Scene. Using a series of detector measurements taken at different locations to localize a source of radiation is a well studied problem. The source of radiation is sometimes constrained to a single point like source, in which case the location of the point source can be found using techniques such as maximum likelihood. Recent advancements have shown the ability to locate point sources in 2D and even 3D, but few have studied the effect of intervening material on the problem. In this work we examine gamma ray data taken from a freely moving system and develop voxelized 3 D models of the scene using data from the onboard LiDAR. Ray casting is used to compute the distance each gamma ray travels through the scene material, which is then used to calculate attenuation assuming a single attenuation coefficient for solids within the geometry. Parameter estimation using maximum likelihood is performed to simultaneously find the attenuation coefficient, source activity, and source position that best match the data. Using a simulation, we validate the ability of this method to reconstruct the true location and activity of a source, along with the true attenuation coefficient of the structure it is inside, and then we apply the method to measured data with sources and find good agreement.


Unified Spatio Temporal Modeling for Traffic Forecasting using Graph Neural Network. Research in deep learning models to forecast traffic intensities has gained great attention in recent years due to their capability to capture the complex spatio temporal relationships within the traffic data. However, most state of the art approaches have designed spatial only (e.g. Graph Neural Networks) and temporal only (e.g. Recurrent Neural Networks) modules to separately extract spatial and temporal features. However, we argue that it is less effective to extract the complex spatio temporal relationship with such factorized modules. Besides, most existing works predict the traffic intensity of a particular time interval only based on the traffic data of the previous one hour of that day. And thereby ignores the repetitive daily weekly pattern that may exist in the last hour of data. Therefore, we propose a Unified Spatio Temporal Graph Convolution Network (USTGCN) for traffic forecasting that performs both spatial and temporal aggregation through direct information propagation across different timestamp nodes with the help of spectral graph convolution on a spatio temporal graph. Furthermore, it captures historical daily patterns in previous days and current day patterns in current day traffic data. Finally, we validate our work's effectiveness through experimental analysis, which shows that our model USTGCN can outperform state of the art performances in three popular benchmark datasets from the Performance Measurement System (PeMS). Moreover, the training time is reduced significantly with our proposed USTGCN model.


Noncompact self shrinkers for mean curvature flow with arbitrary genus. In his lecture notes on mean curvature flow, Ilmanen conjectured the existence of noncompact self shrinkers with arbitrary genus. Here, we employ min max techniques to give a rigorous existence proof for these surfaces. Conjecturally, the self shrinkers that we obtain have precisely one (asymptotically conical) end. We confirm this for large genus via a precise analysis of the limiting object of sequences of such self shrinkers for which the genus tends to infinity. Finally, we provide numerical evidence for a further family of noncompact self shrinkers with odd genus and two asymptotically conical ends.


A Refined Probabilistic Error Bound for Sums. This paper considers a probabilistic model for floating point computation in which the roundoff errors are represented by bounded random variables with mean zero. Using this model, a probabilistic bound is derived for the forward error of the computed sum of n real numbers. This work improves upon existing probabilistic bounds by holding to all orders, and as a result provides informative bounds for larger problem sizes.