Automatically Proving Microkernels Free from Privilege Escalation from their Executable. Operating system kernels are the security keystone of most computer systems, as they provide the core protection mechanisms. Kernels are in particular responsible for their own security, i.e. they must prevent untrusted user tasks from reaching their level of privilege. We demonstrate that proving such absence of privilege escalation is a pre requisite for any definitive security proof of the kernel. While prior OS kernel formal verifications were performed either on source code or crafted kernels, with manual or semi automated methods requiring significant human efforts in annotations or proofs, we show that it is possible to compute such kernel security proofs using fully automated methods and starting from the executable code of an existing microkernel with no modification, thus formally verifying absence of privilege escalation with high confidence for a low cost. We applied our method on two embedded microkernels, including the industrial kernel AnonymOS with only 58 lines of annotation and less than 10 minutes of computation, our method finds a vulnerability in a first (buggy) version of AnonymOS and verifies absence of privilege escalation in a second (secure) version.


Generation and decay of counter rotating vortices downstream of yawed wind turbines in the atmospheric boundary layer. A quantitative understanding of the dominant mechanisms that govern the generation and decay of the counter rotating vortex pair (CVP) produced by yawed wind turbines is needed to fully realize the potential of yawing for wind farm power maximization and regulation. Observations from large eddy simulations (LES) of yawed wind turbines in the turbulent atmospheric boundary layer and concepts from the airplane trailing vortex literature inform a model for the shed vorticity and circulation. The model is formed through analytical integration of simplified forms of the vorticity transport equation. Based on an eddy viscosity approach, it uses the boundary layer friction velocity as the velocity scale and the width of the vorticity distribution itself as the length scale. As with the widely used Jensen model for wake deficit evolution in wind farms, our analytical expressions do not require costly numerical integration of differential equations. The predicted downstream decay of maximum vorticity and total circulation agree well with LES results. We also show that the vorticity length scale grows linearly with downstream distance and find several power laws for the decay of maximum vorticity. These results support the notion that the decay of the CVP is dominated by gradual cancellation of the vorticity at the line of symmetry of the wake through cross diffusion.


Blocks with abelian defect groups of rank 2 and one simple module. In this paper, we investigate the block that has an abelian defect group of rank 2 and its Brauer correspondent has only one simple module. We will get an isotypy between the block and its Brauer correspondent. It will generalize the result of Kessar and Linckelmann ( cite KL ).


Probabilistic QoS aware Placement of VNF chains at the Edge. Deploying IoT enabled Virtual Network Function (VNF) chains to Cloud Edge infrastructures requires determining a placement for each VNF that satisfies all set deployment requirements as well as a software defined routing of traffic flows between consecutive functions that meets all set communication requirements. In this article, we present a declarative solution, EdgeUsher, to the problem of how to best place VNF chains to Cloud Edge infrastructures. EdgeUsher can determine all eligible placements for a set of VNF chains to a Cloud Edge infrastructure so to satisfy all of their hardware, IoT, security, bandwidth, and latency requirements. It exploits probability distributions to model the dynamic variations in the available Cloud Edge infrastructure, and to assess output eligible placements against those variations.


Sectional algebras of semigroupoid bundles. In this article we use semigroupoids to describe a notion of algebraic bundles, mostly motivated by Fell ( C algebraic) bundles, and the sectional algebras associated to them. As the main motivational example, Steinberg algebras may be regarded as the sectional algebras of trivial (direct product) bundles. Several theorems which relate geometric and algebraic constructions via the construction of a sectional algebra are widely generalized Direct products bundles by semigroupoids correspond to tensor products of algebras Semidirect products of bundles correspond to "na "ive" crossed products of algebras Skew products of graded bundles correspond to smash products of graded algebras Quotient bundles correspond to quotient algebras. Moreover, most of the results hold in the non Hausdorff setting. In the course of this work, we generalize the definition of smash products to groupoid graded algebras. As an application, we prove that whenever theta is a land preaction of a discrete inverse semigroupoid S on an ample (possibly non Hausdorff) groupoid mathcal G , the Steinberg algebra of the associated groupoid of germs is naturally isomorphic to a crossed product of the Steinberg algebra of mathcal G by S . This is a far reaching generalization of analogous results which had been proven in particular cases.


Leveraging Touch Sensors to Improve Mobile Manipulation. Despite many advances in service robotics, successful and secure object manipulation on mobile platforms is still a challenge. In order to come closer to human grasping performance, it is natural to provide robots with the same capability that humans have the sense of touch. This abstract presents novel, tactile equipped end effectors for the service robot TIAGo that are currently being developed. Their primary goal is to improve reliability and success of mobile manipulation, but they also enable further research in related fields such as learning by human demonstration, object exploration and force control algorithms.


Atmospheric Pressure Mass Spectrometry of Single Viruses and Nanoparticles by Nanoelectromechanical Systems. Mass spectrometry of intact nanoparticles and viruses can serve as a potent characterization tool for material science and biophysics. Inaccessible by widespread commercial techniques, the mass of single nanoparticles and viruses ( 10MDa) can be readily measured by NEMS (Nanoelectromechanical Systems) based Mass Spectrometry, where charged and isolated analyte particles are generated by Electrospray Ionization (ESI) in air and transported onto the NEMS resonator for capture and detection. However, the applicability of NEMS as a practical solution is hindered by their miniscule surface area, which results in poor limit of detection and low capture efficiency values. Another hindrance is the necessity to house the NEMS inside complex vacuum systems, which is required in part to focus analytes towards the miniscule detection surface of the NEMS. Here, we overcome both limitations by integrating an ion lens onto the NEMS chip. The ion lens is composed of a polymer layer, which charges up by receiving part of the ions incoming from the ESI tip and consequently starts to focus the analytes towards an open window aligned with the active area of the NEMS electrostatically. With this integrated system, we have detected the mass of gold and polystyrene nanoparticles under ambient conditions and with two orders of magnitude improvement in capture efficiency compared to the state of the art. We then applied this technology to obtain the mass spectrum of SARS CoV 2 and BoHV 1 virions. With the increase in analytical throughput, the simplicity of the overall setup and the operation capability under ambient conditions, the technique demonstrates that NEMS Mass Spectrometry can be deployed for mass detection of engineered nanoparticles and biological samples efficiently.


LaCulturaNonSiFerma Report su uso e la diffusione degli hashtag delle istituzioni culturali italiane durante il periodo di lockdown. This report presents an analysis of hashtags used by Italian Cultural Heritage institutions to promote and communicate cultural content during the COVID 19 lock down period in Italy. Several activities to support and engage users' have been proposed using social media. Most of these activities present one or more hashtags which help to aggregate content and create a community on specific topics. Results show that on one side Italian institutions have been very proactive in adapting to the pandemic scenario and on the other side users' reacted very positively increasing their participation in the proposed activities.


Node Aware Improvements to Allreduce. The texttt MPI Allreduce collective operation is a core kernel of many parallel codebases, particularly for reductions over a single value per process. The commonly used allreduce recursive doubling algorithm obtains the lower bound message count, yielding optimality for small reduction sizes based on node agnostic performance models. However, this algorithm yields duplicate messages between sets of nodes. Node aware optimizations in MPICH remove duplicate messages through use of a single master process per node, yielding a large number of inactive processes at each inter node step. In this paper, we present an algorithm that uses the multiple processes available per node to reduce the maximum number of inter node messages communicated by a single process, improving the performance of allreduce operations, particularly for small message sizes.


Patching over Analytic Fibers and the Local Global Principle. As a starting point for higher dimensional patching in the Berkovich setting, we show that this technique is applicable around certain fibers of a relative Berkovich analytic curve. As a consequence, we prove a local global principle over the field of overconvergent meromorphic functions on said fibers. By showing that these germs of meromorphic functions are algebraic, we also obtain local global principles over function fields of algebraic curves defined over a class of (not necessarily complete) ultrametric fields.


Corona Warn App Tracing the Start of the Official COVID 19 Exposure Notification App for Germany. On June 16, 2020, Germany launched an open source smartphone contact tracing app ("Corona Warn App") to help tracing SARS CoV 2 (coronavirus) infection chains. It uses a decentralized, privacy preserving design based on the Exposure Notification APIs in which a centralized server is only used to distribute a list of keys of SARS CoV 2 infected users that is fetched by the app once per day. Its success, however, depends on its adoption. In this poster, we characterize the early adoption of the app using Netflow traces captured directly at its hosting infrastructure. We show that the app generated traffic from allover Germany already on the first day. We further observe that local COVID 19 outbreaks do not result in noticeable traffic increases.


Embedding mathbb Q into a Finitely Presented Group. We observe that the group of all lifts of elements of Thompson's group T to the real line is finitely presented and contains the additive group mathbb Q of the rational numbers. This gives an explicit realization of the Higman embedding theorem for mathbb Q , answering a Kourovka notebook question of Martin Bridson and Pierre de la Harpe.


Understanding Neural Machine Translation by Simplification The Case of Encoder free Models. In this paper, we try to understand neural machine translation (NMT) via simplifying NMT architectures and training encoder free NMT models. In an encoder free model, the sums of word embeddings and positional embeddings represent the source. The decoder is a standard Transformer or recurrent neural network that directly attends to embeddings via attention mechanisms. Experimental results show (1) that the attention mechanism in encoder free models acts as a strong feature extractor, (2) that the word embeddings in encoder free models are competitive to those in conventional models, (3) that non contextualized source representations lead to a big performance drop, and (4) that encoder free models have different effects on alignment quality for German English and Chinese English.


A continuous time formulation of stochastic dual control to avoid the curse of dimensionality. Dual control denotes a class of control problems where the parameters governing the system are imperfectly known. The challenge is to find the optimal balance between probing, i.e. exciting the system to understand it more, and caution, i.e. selecting conservative controls based on current knowledge to achieve the control objective. Dynamic programming techniques can achieve this optimal trade off. However, while dynamic programming performs well with discrete state and time, it is not well suited to problems with continuous time frames or continuous or unbounded state spaces. Another limitation is that multidimensional states often cause the dynamic programming approaches to be intractable. In this paper, we investigate whether continuous time optimal control tools could help circumvent these caveats whilst still achieving the probing caution balance. We introduce a stylized problem where the state is governed by one of two differential equations. It is initially unknown which differential equation governs the system, so we must simultaneously determine the true differential equation and control the system to the desired state. We show how this problem can be transformed to apply optimal control tools, and compare the performance of this approach to a dynamic programming approach. Our results suggest that the optimal control algorithm rivals dynamic programming on small problems, achieving the right balance between aggressive and smoothly varying controls. In contrast to dynamic programming, the optimal control approach remains tractable when several states are to be controlled simultaneously.


Twisted conjugacy in fundamental groups of geometric 3 manifolds. A group G has property R infty if for every phi in Aut(G) , there are an infinite number of phi twisted conjugacy classes of elements in G . In this note, we determine the R infty property for G pi 1(M) for all geometric 3 manifolds M .


Multidimensional Capacitive Sensing for Robot Assisted Dressing and Bathing. Robotic assistance presents an opportunity to benefit the lives of many people with physical disabilities, yet accurately sensing the human body and tracking human motion remain difficult for robots. We present a multidimensional capacitive sensing technique that estimates the local pose of a human limb in real time. A key benefit of this sensing method is that it can sense the limb through opaque materials, including fabrics and wet cloth. Our method uses a multielectrode capacitive sensor mounted to a robot's end effector. A neural network model estimates the position of the closest point on a person's limb and the orientation of the limb's central axis relative to the sensor's frame of reference. These pose estimates enable the robot to move its end effector with respect to the limb using feedback control. We demonstrate that a PR2 robot can use this approach with a custom six electrode capacitive sensor to assist with two activities of daily living dressing and bathing. The robot pulled the sleeve of a hospital gown onto able bodied participants' right arms, while tracking human motion. When assisting with bathing, the robot moved a soft wet washcloth to follow the contours of able bodied participants' limbs, cleaning their surfaces. Overall, we found that multidimensional capacitive sensing presents a promising approach for robots to sense and track the human body during assistive tasks that require physical human robot interaction.


Parabolic Hilbert schemes via the Dunkl Opdam subalgebra. In this note we explicitly construct an action of the rational Cherednik algebra H 1,m n (S n, mathbb C n) corresponding to the permutation representation of S n on the mathbb C equivariant homology of parabolic Hilbert schemes of points on the plane curve singularity x m y n for coprime m and n . We use this to construct actions of quantized Gieseker algebras on parabolic Hilbert schemes on the same plane curve singularity, and actions of the Cherednik algebra at t 0 on the equivariant homology of parabolic Hilbert schemes on the non reduced curve y n 0 . Our main tool is the study of the combinatorial representation theory of the rational Cherednik algebra via the subalgebra generated by Dunkl Opdam elements.


Leidenfrost temperature surface thermal diffusivity and effusivity effect. Droplet impact on hot surfaces results in either droplet surface contact or droplet surface non contact, i.e., the Leidenfrost state. The Leidenfrost droplet is levitated upon its vapor, deteriorating the heat transfer. The Leidenfrost temperature depends on the thermal properties of the surface, which are usually characterized by two parameters the thermal diffusivity and the thermal effusivity. In this paper, the effects of these two parameters on the Leidenfrost temperature are clarified experimentally by varying the one of interest while keeping the other one constant. The experimental results indicate that the Leidenfrost temperature is affected by the thermal effusivity rather than by the thermal diffusivity the higher the thermal effusivity is, the lower the Leidenfrost temperature and the increase of the Leidenfrost temperature with the droplet impact velocity is greater for the surface with the lower thermal effusivity. To further understand the experimental findings, a theoretical model is proposed, which considers the transient heat transfer in the surface. The theoretical analysis shows that the Leidenfrost temperature scales as the inverse of the thermal effusivity and the root square of the impact velocity, in good agreement with the experimental results.


Self guiding of long wave infrared laser pulses mediated by avalanche ionization. Nonlinear self guided propagation of intense long wave infrared (LWIR) laser pulses is of significant recent interest owing to the high critical power for self focusing collapse at long wavelengths. This promises transmission of very high power in a single filament as opposed to beam breakup and multi filamentation. Here, using the most current picture of LWIR ionization processes in air, we present extensive simulations showing that isolated avalanche sites centered on aerosols can arrest self focusing, providing a route to self guided propagation of moderate intensity LWIR pulses in outdoor environments.


Entanglement Fidelity Ratio for Elastic Collisions in Non Ideal Two Temperature Dense Plasma. The quantum diffraction and symmetry effects on the entanglement fidelity (EF) of different elastic electron electron, ion ion and electron ion interactions are investigated in non ideal dense plasma. The partial wave analysis and an effective screened interaction potential including quantum mechanical diffraction and symmetry effects are employed to obtain the EF in a non ideal dense plasma. We show that collision energy and temperatures of electron and ion have a destroying role in the entanglement. In fact, by decreasing the temperature of any kind of particles, the quantum effects become dominant and the entanglement grows up. Also, increase in the density of plasma leads to the enhancement of entanglement ratio.


Counterexample to a conjecture of Ziegler concerning a simple polytope and its dual. Problem 4.19 in Ziegler's "Lectures on Polytopes" asserts that every simple 3 dimensional polytope has the property that its dual can be constructed as the convex hull of a subset of the vertices of the original simple polytope. In this note we state a higher dimensional analogue of this conjecture and provide a family of counterexamples for dimension d geq 3 .


Relative Fontaine Messing theory over power series rings. Let k be a perfect field of characteristic p 2 , R W(k) ! t 1, dots, t d ! be the power series ring over the Witt vectors, and X be a smooth proper scheme over R . The main goal of this article is to extend classical Fontaine Messing theory to the setting where the base ring is R . In particular, we obtain comparison theorems between torsion crystalline cohomology of X R and torsion 'etale cohomology in this setting.


Efficient Surface Aware Semi Global Matching with Multi View Plane Sweep Sampling. Online augmentation of an oblique aerial image sequence with structural information is an essential aspect in the process of 3D scene interpretation and analysis. One key aspect in this is the efficient dense image matching and depth estimation. Here, the Semi Global Matching (SGM) approach has proven to be one of the most widely used algorithms for efficient depth estimation, providing a good trade off between accuracy and computational complexity. However, SGM only models a first order smoothness assumption, thus favoring fronto parallel surfaces. In this work, we present a hierarchical algorithm that allows for efficient depth and normal map estimation together with confidence measures for each estimate. Our algorithm relies on a plane sweep multi image matching followed by an extended SGM optimization that allows to incorporate local surface orientations, thus achieving more consistent and accurate estimates in areasmade up of slanted surfaces, inherent to oblique aerial imagery. We evaluate numerous configurations of our algorithm on two different datasets using an absolute and relative accuracy measure. In our evaluation, we show that the results of our approach are comparable to the ones achieved by refined Structure from Motion (SfM) pipelines, such as COLMAP, which are designed for offline processing. In contrast, however, our approach only considers a confined image bundle of an input sequence, thus allowing to perform an online and incremental computation at 1Hz 2Hz.


Greedy but Cautious Conditions for Miner Convergence to Resource Allocation Equilibrium. All public blockchains are secured by a proof of opportunity cost among block producers. For example, the security offered by proof of work (PoW) systems, like Bitcoin, is due to spent computation it is work precisely because it cannot be performed for free. In general, more resources provably lost in producing blocks yields more security for the blockchain. When two blockchains share the same mechanism for providing opportunity cost, as is the case when they share the same PoW algorithm, the two chains compete for resources from block producers. Indeed, if there exists a liquid market between resource types, then theoretically all blockchains will compete for resources. In this paper, we show that there exists a resource allocation equilibrium between any two blockchains, which is essentially driven by the fiat value of reward that each chain offers in return for providing security. We go on to prove that this equilibrium is singular and always achieved provided that block producers behave in a greedy, but cautious fashion. The opposite is true when they are overly greedy resource allocation oscillates in extremes between the two chains. We show that these results hold both in practice and in a block generation simulation. Finally, we demonstrate several applications of this theory including a trustless price ratio oracle, increased security for blockchains whose coins have lower fiat value, and a quantification of cost to allocating resources away from the equilibrium.


The flux homomorphism and central extensions of diffeomorphism groups. Let D be a 2 dimensional closed unit disk and rm Symp (D,0) rm rel the group of symplectomorphisms preserving the origin and the boundary partial D pointwise. We consider the mathbb R valued flux homomorphism on rm Symp (D,0) rm rel and define the central mathbb R extension called the mathbb R valued flux extension. We determine the Euler class of this extension and investigate the relation between the extension, the group 2 cocycle defined by Ismagilov, Losik, and Michor, and the Calabi invariant of D .


Unique continuation of the normal operator of the X ray transform and applications in geophysics. We show that the normal operator of the X ray transform in mathbb R d , d geq 2 , has a unique continuation property in the class of compactly supported distributions. This immediately implies uniqueness for the X ray tomography problem with partial data and generalizes some earlier results to higher dimensions. Our proof also gives a unique continuation property for certain Riesz potentials in the space of rapidly decreasing distributions. We present applications to local and global seismology. These include linearized travel time tomography with half local data and global tomography based on shear wave splitting in a weakly anisotropic elastic medium.


Quantum mechanical spin dynamics of a molecular magnetoreceptor. Radical pair recombination reactions are known to be sensitive to extremely weak magnetic fields, and can therefore be said to function as molecular magnetoreceptors. The classic example is a carotenoid porphyrin fullerene (C PF ) radical pair that has been shown to provide a "proof of principle" for the operation of a chemical compass K. Maeda et al., Nature 453, 387 (2008) . Previous simulations of this radical pair have employed semiclassical approximations, which are routinely applicable to its 47 coupled electronic and nuclear spins. However, calculating the exact quantum mechanical spin dynamics presents a significant challenge, and has not been possible before now. Here we use a recently developed method to perform numerically converged simulations of the C PF quantum mechanical spin dynamics, including all coupled spins. Comparison of these quantum mechanical simulations with various semiclassical approximations reveals that, while it is not perfect, the best semiclassical approximation does capture essentially all of the relevant physics in this problem.


Parameter Free Style Projection for Arbitrary Style Transfer. Arbitrary image style transfer is a challenging task which aims to stylize a content image conditioned on arbitrary style images. In this task the feature level content style transformation plays a vital role for proper fusion of features. Existing feature transformation algorithms often suffer from loss of content or style details, non natural stroke patterns, and unstable training. To mitigate these issues, this paper proposes a new feature level style transformation technique, named Style Projection, for parameter free, fast, and effective content style transformation. This paper further presents a real time feed forward model to leverage Style Projection for arbitrary image style transfer, which includes a regularization term for matching the semantics between input contents and stylized outputs. Extensive qualitative analysis, quantitative evaluation, and user study have demonstrated the effectiveness and efficiency of the proposed methods.


Batch Normalization Embeddings for Deep Domain Generalization. Domain generalization aims at training machine learning models to perform robustly across different and unseen domains. Several recent methods use multiple datasets to train models to extract domain invariant features, hoping to generalize to unseen domains. Instead, first we explicitly train domain dependant representations by using ad hoc batch normalization layers to collect independent domain's statistics. Then, we propose to use these statistics to map domains in a shared latent space, where membership to a domain can be measured by means of a distance function. At test time, we project samples from an unknown domain into the same space and infer properties of their domain as a linear combination of the known ones. We apply the same mapping strategy at training and test time, learning both a latent representation and a powerful but lightweight ensemble model. We show a significant increase in classification accuracy over current state of the art techniques on popular domain generalization benchmarks PACS, Office 31 and Office Caltech.


A Glimpse of Arithmetic Dynamics. In this note, we offer a palatable introduction to the field of arithmetic dynamics. That is, we study the patterns that arise when iterating a polynomial map. This note is accessible to those who have taken an introductory proof based course and some linear algebra the appendix utilizes abstract algebra.


Complete Logarithmic Sobolev inequalities via Ricci curvature bounded below. We prove that for a symmetric Markov semigroup, Ricci curvature bounded from below by a non positive constant combined with a finite L infty mixing time implies the modified log Sobolev inequality. Such L infty mixing time estimates always hold for Markov semigroups that have spectral gap and finite Varopoulos dimension. Our results apply to non ergodic quantum Markov semigroups with noncommutative Ricci curvature bounds recently introduced by Carlen and Maas. As an application, we prove that the heat semigroup on a compact Riemannian manifold admits a uniform modified log Sobolev inequality for all its matrix valued extensions.


MARNet Multi Abstraction Refinement Network for 3D Point Cloud Analysis. Representation learning from 3D point clouds is challenging due to their inherent nature of permutation invariance and irregular distribution in space. Existing deep learning methods follow a hierarchical feature extraction paradigm in which high level abstract features are derived from low level features. However, they fail to exploit different granularity of information due to the limited interaction between these features. To this end, we propose Multi Abstraction Refinement Network (MARNet) that ensures an effective exchange of information between multi level features to gain local and global contextual cues while effectively preserving them till the final layer. We empirically show the effectiveness of MARNet in terms of state of the art results on two challenging tasks Shape classification and Coarse to fine grained semantic segmentation. MARNet significantly improves the classification performance by 2 over the baseline and outperforms the state of the art methods on semantic segmentation task.


Why do developers take breaks from contributing to OSS projects? A preliminary analysis. Creating a successful and sustainable Open Source Software (OSS) project often depends on the strength and the health of the community behind it. Current literature explains the contributors' lifecycle, starting with the motivations that drive people to contribute and barriers to joining OSS projects, covering developers' evolution until they become core members. However, the stages when developers leave the projects are still weakly explored and are not well defined in existing developers' lifecycle models. In this position paper, we enrich the knowledge about the leaving stage by identifying sleeping and dead states, representing temporary and permanent brakes that developers take from contributing. We conducted a preliminary set of semi structured interviews with active developers. We analyzed the answers by focusing on defining and understanding the reasons for the transitions to from sleeping and dead states. This paper raises new questions that may guide further discussions and research, which may ultimately benefit OSS communities.


Contextual Text Style Transfer. We introduce a new task, Contextual Text Style Transfer translating a sentence into a desired style with its surrounding context taken into account. This brings two key challenges to existing style transfer approaches ( i ) how to preserve the semantic meaning of target sentence and its consistency with surrounding context during transfer ( ii ) how to train a robust model with limited labeled data accompanied with context. To realize high quality style transfer with natural context preservation, we propose a Context Aware Style Transfer (CAST) model, which uses two separate encoders for each input sentence and its surrounding context. A classifier is further trained to ensure contextual consistency of the generated sentence. To compensate for the lack of parallel data, additional self reconstruction and back translation losses are introduced to leverage non parallel data in a semi supervised fashion. Two new benchmarks, Enron Context and Reddit Context, are introduced for formality and offensiveness style transfer. Experimental results on these datasets demonstrate the effectiveness of the proposed CAST model over state of the art methods across style accuracy, content preservation and contextual consistency metrics.


Probabilistic MIMO Symbol Detection with Expectation Consistency Approximate Inference. In this paper we explore low complexity probabilistic algorithms for soft symbol detection in high dimensional multiple input multiple output (MIMO) systems. We present a novel algorithm based on the Expectation Consistency (EC) framework, which describes the approximate inference problem as an optimization over a non convex function. EC generalizes algorithms such as Belief Propagation and Expectation Propagation. For the MIMO symbol detection problem, we discuss feasible methods to find stationary points of the EC function and explore their tradeoffs between accuracy and speed of convergence. The accuracy is studied, first in terms of input output mutual information and show that the proposed EC MIMO detector greatly improves state of the art methods, with a complexity order cubic in the number of transmitting antennas. Second, these gains are corroborated by combining the probabilistic output of the EC detector with a low density parity check (LDPC) channel code.


Understanding Wall's theorem on dependence of Lie relators in Burnside groups. G.E. Wall gave two different proofs of a remarkable result about the multilinear Lie relators satisfied by groups of prime power exponent q . He showed that if q is a power of the prime p , and if f is a multilinear Lie relator in n variables where n neq1 operatorname mod (p 1) , then f 0 is a consequence of multilinear Lie relators in fewer than n variables. For years I have struggled to understand his proofs, and while I still have not the slightest clue about his first proof published in the Journal of Algebra, I finally have some understanding of his second proof published in a conference proceedings. In this note I offer my insights into Wall's second proof of this theorem.


Brushing up a theorem by Lehel Banjai on the convergence of Trapezoidal Rule Convolution Quadrature. This document is made up of two different units. One of them is a regular terse research article, whereas the other one is the detailed and independently written explanations for the paper, so that readers of the short paper do not need to go over all the cumbersome computations. The goal is to clarify the dependence with respect to the time variable of some estimates about the convergence of the Trapezoidal Rule based Convolution Quadrature method applied to hyperbolic problems. This requires a careful investigation of the article of Lehel Banjai where the first convergence estimates were introduced, and of some technical results from a classical paper of Christian Lubich.


Deep Discriminative Feature Learning for Accent Recognition. Accent recognition with deep learning framework is a similar work to deep speaker identification, they're both expected to give the input speech an identifiable representation. Compared with the individual level features learned by speaker identification network, the deep accent recognition work throws a more challenging point that forging group level accent features for speakers. In this paper, we borrow and improve the deep speaker identification framework to recognize accents, in detail, we adopt Convolutional Recurrent Neural Network as front end encoder and integrate local features using Recurrent Neural Network to make an utterance level accent representation. Novelly, to address overfitting, we simply add Connectionist Temporal Classification based speech recognition auxiliary task during training, and for ambiguous accent discrimination, we introduce some powerful discriminative loss functions in face recognition works to enhance the discriminative power of accent features. We show that our proposed network with discriminative training method (without data augment) is significantly ahead of the baseline system on the accent classification track in the Accented English Speech Recognition Challenge 2020, where the loss function Circle Loss has achieved the best discriminative optimization for accent representation.


GraphBGS Background Subtraction via Recovery of Graph Signals. Background subtraction is a fundamental pre processing task in computer vision. This task becomes challenging in real scenarios due to variations in the background for both static and moving camera sequences. Several deep learning methods for background subtraction have been proposed in the literature with competitive performances. However, these models show performance degradation when tested on unseen videos and they require huge amount of data to avoid overfitting. Recently, graph based algorithms have been successful approaching unsupervised and semi supervised learning problems. Furthermore, the theory of graph signal processing and semi supervised learning have been combined leading to new insights in the field of machine learning. In this paper, concepts of recovery of graph signals are introduced in the problem of background subtraction. We propose a new algorithm called Graph BackGround Subtraction (GraphBGS), which is composed of instance segmentation, background initialization, graph construction, graph sampling, and a semi supervised algorithm inspired from the theory of recovery of graph signals. Our algorithm has the advantage of requiring less labeled data than deep learning methods while having competitive results on both static and moving camera videos. GraphBGS outperforms unsupervised and supervised methods in several challenging conditions on the publicly available Change Detection (CDNet2014), and UCSD background subtraction databases.


Elliptic special Weingarten surfaces of minimal type in mathbb R 3 of finite total curvature. We extend the theory of complete minimal surfaces in mathbb R 3 of finite total curvature to the wider class of elliptic special Weingarten surfaces of finite total curvature in particular, we extend the seminal works of L. Jorge and W. Meeks and R. Schoen. Specifically, we extend the Jorge Meeks formula relating the total curvature and the topology of the surface and we use it to classify planes as the only elliptic special Weingarten surfaces whose total curvature is less than 4 pi . Moreover, we show that a complete (connected), embedded outside a compact set, elliptic special Weingarten surface of minimal type in mathbb R 3 of finite total curvature and two ends is rotationally symmetric in particular, it must be one of the rotational special catenoids described by R. Sa Earp and E. Toubiana. This answers in the positive a question posed in 1993 by R. Sa Earp. We also prove that the special catenoids are the only connected non flat special Weingarten surfaces whose total curvature is less than 8 pi .


Weights and Methodology Brief for the COVID 19 Symptom Survey by University of Maryland and Carnegie Mellon University, in Partnership with Facebook. Facebook is partnering with academic institutions to support COVID 19 research. Currently, we are inviting Facebook app users in the United States to take a survey collected by faculty at Carnegie Mellon University (CMU) Delphi Research Center, and we are inviting Facebook app users in more than 200 countries or territories globally to take a survey collected by faculty at the University of Maryland (UMD) Joint Program in Survey Methodology (JPSM). As part of this initiative, we are applying best practices from survey statistics to design and execute two components (1) sampling design and (2) survey weights, which make the sample more representative of the general population. This paper describes the methods we used in these efforts in order to allow data users to execute their analyses using the weights.


On the non critical exceptional zeros of Katz p adic L functions for CM fields. The primary goal of this article is to study p adic Beilinson conjectures in the presence of exceptional zeros for Artin motives over CM fields. In more precise terms, we address a question raised by Hida and Tilouine on the order of vanishing of Katz p adic L functions associated to CM fields, by means of a leading term formula we prove in terms of Rubin Stark elements. In the particular case when the CM field in question is imaginary quadratic, our leading term formula and its consequences we record herein are unconditional.


PVSNet Pixelwise Visibility Aware Multi View Stereo Network. Recently, learning based multi view stereo methods have achieved promising results. However, they all overlook the visibility difference among different views, which leads to an indiscriminate multi view similarity definition and greatly limits their performance on datasets with strong viewpoint variations. In this paper, a Pixelwise Visibility aware multi view Stereo Network (PVSNet) is proposed for robust dense 3D reconstruction. We present a pixelwise visibility network to learn the visibility information for different neighboring images before computing the multi view similarity, and then construct an adaptive weighted cost volume with the visibility information. Moreover, we present an anti noise training strategy that introduces disturbing views during model training to make the pixelwise visibility network more distinguishable to unrelated views, which is different with the existing learning methods that only use two best neighboring views for training. To the best of our knowledge, PVSNet is the first deep learning framework that is able to capture the visibility information of different neighboring views. In this way, our method can be generalized well to different types of datasets, especially the ETH3D high res benchmark with strong viewpoint variations. Extensive experiments show that PVSNet achieves the state of the art performance on different datasets.


BayLIME Bayesian Local Interpretable Model Agnostic Explanations. Given the pressing need for assuring algorithmic transparency, Explainable AI (XAI) has emerged as one of the key areas of AI research. In this paper, we develop a novel Bayesian extension to the LIME framework, one of the most widely used approaches in XAI which we call BayLIME. Compared to LIME, BayLIME exploits prior knowledge and Bayesian reasoning to improve both the consistency in repeated explanations of a single prediction and the robustness to kernel settings. BayLIME also exhibits better explanation fidelity than the state of the art (LIME, SHAP and GradCAM) by its ability to integrate prior knowledge from, e.g., a variety of other XAI techniques, as well as verification and validation (V V) methods. We demonstrate the desirable properties of BayLIME through both theoretical analysis and extensive experiments.


Blends in Maple. A blend of two Taylor series for the same smooth real or complex valued function of a single variable can be useful for approximation. We use an explicit formula for a two point Hermite interpolational polynomial to construct such blends. We show a robust Maple implementation that can stably and efficiently evaluate blends using linear cost Horner form, evaluate their derivatives to arbitrary order at the same time, or integrate a blend exactly. The implementation is suited for use with evalhf. We provide a top level user interface and efficient module exports for programmatic use. This work was presented at the Maple Conference 2020. See www.maplesoft.com mapleconference


Kesten McKay law for random subensembles of Paley equiangular tight frames. We apply the method of moments to prove a recent conjecture of Haikin, Zamir and Gavish (2017) concerning the distribution of the singular values of random subensembles of Paley equiangular tight frames. Our analysis applies more generally to real equiangular tight frames of redundancy 2, and we suspect similar ideas will eventually produce more general results for arbitrary choices of redundancy.


A Survey of Methods to Leverage Monolingual Data in Low resource Neural Machine Translation. Neural machine translation has become the state of the art for language pairs with large parallel corpora. However, the quality of machine translation for low resource languages leaves much to be desired. There are several approaches to mitigate this problem, such as transfer learning, semi supervised and unsupervised learning techniques. In this paper, we review the existing methods, where the main idea is to exploit the power of monolingual data, which, compared to parallel, is usually easier to obtain and significantly greater in amount.


A nice involution for multivariable polynomial rings. The principal minors of the Toeplitz matrix left( x i j 1 right) 1 le i,j, le n , where x 0 1, x k 0 if k le 1 , directly determine an involution of the polynomial ring R x 1, ... ,x n over any commutative ring R .


Adaptive Federated Dropout Improving Communication Efficiency and Generalization for Federated Learning. With more regulations tackling users' privacy sensitive data protection in recent years, access to such data has become increasingly restricted and controversial. To exploit the wealth of data generated and located at distributed entities such as mobile phones, a revolutionary decentralized machine learning setting, known as Federated Learning, enables multiple clients located at different geographical locations to collaboratively learn a machine learning model while keeping all their data on device. However, the scale and decentralization of federated learning present new challenges. Communication between the clients and the server is considered a main bottleneck in the convergence time of federated learning. In this paper, we propose and study Adaptive Federated Dropout (AFD), a novel technique to reduce the communication costs associated with federated learning. It optimizes both server client communications and computation costs by allowing clients to train locally on a selected subset of the global model. We empirically show that this strategy, combined with existing compression methods, collectively provides up to 57x reduction in convergence time. It also outperforms the state of the art solutions for communication efficiency. Furthermore, it improves model generalization by up to 1.7 .


Derived equivalences between skew gentle algebras using orbifolds. Skew gentle algebras are skew group algebras of gentle algebras equipped with a certain Z 2 action. Building on the bijective correspondence between gentle algebras and dissected surfaces, we obtain in this paper a bijection between skew gentle algebras and certain dissected orbifolds that admit a double cover. We prove the compatibility of the Z 2 action on the double cover with the skew group algebra construction. This allows us to investigate the derived equivalence relation between skew gentle algebras in geometric terms We associate to each skew gentle algebra a line field on the orbifold, and on its double cover, and interpret different kinds of derived equivalences of skew gentle algebras in terms of diffeomorphisms respecting the homotopy class of the line fields associated to the algebras.


Increasing Scalability of Process Mining using Event Dataframes How Data Structure Matters. Process Mining is a branch of Data Science that aims to extract process related information from event data contained in information systems, that is steadily increasing in amount. Many algorithms, and a general purpose open source framework (ProM 6), have been developed in the last years for process discovery, conformance checking, machine learning on event data. However, in very few cases scalability has been a target, prioritizing the quality of the output over the execution speed and the optimization of resources. This is making progressively more difficult to apply process mining with mainstream workstations on real life event data with any open source process mining framework. Hence, exploring more scalable storage techniques, in memory data structures, more performant algorithms is a strictly incumbent need. In this paper, we propose the usage of mainstream columnar storages and dataframes to increase the scalability of process mining. These can replace the classic event log structures in most tasks, but require completely different implementations with regards to mainstream process mining algorithms. Dataframes will be defined, some algorithms on such structures will be presented and their complexity will be calculated.


Optimization of Electrostatic Quadrupole Profile to Reduce Image Charge Effects. Vertical electric fields need to remain orders of magnitude smaller than the horizontal electric field in storage ring electric dipole moment experiments. Otherwise, the coupling with the magnetic dipole moment dominates the spin precession, eventually leading to a false signal. This work presents first quantitative studies regarding electrostatic quadrupole profile optimization, which helps suppressing image beam induced vertical electric fields. Besides the demonstration of the profile optimization, its suppression performance is also studied for various beam offsets and beam size configurations. It is found that with the optimum profile, the vertical electric field can be reduced by two orders of magnitude.


A t motivic interpretation of shuffle relations for multizeta values. Thakur (2010) showed that, for r, s in mathbb N , a product of two Carlitz zeta values zeta A(r) and zeta A(s) can be expressed as an mathbb F p linear combination of zeta A(r s) and double zeta values of weight r s . Such an expression is called shuffle relation by Thakur. Fixing r, s in mathbb N , we construct a t module E' . To determine whether an (r s) tuple mathfrak C in mathbb F q( theta) r s gives a shuffle relation, we relate it to the mathbb F q t torsion property of the point mathbf v mathfrak C in E'( mathbb F q theta ) constructed with respect to the given (r s) tuple mathfrak C . We also provide an effective criterion for deciding the mathbb F q t torsion property of the point mathbf v mathfrak C .


On the use of machine learning methods for mPSD calibration in HDR brachytherapy. Purpose We sought to evaluate the feasibility of using machine learning algorithms for multipoint plastic scintillator detector calibration in high dose rate brachytherapy. Methods The dosimetry system consisted of an optimized 1 mm core mPSD and a compact assembly of photomultiplier tubes coupled with dichroic mirrors and filters. An 192 Ir source was remotely controlled and sent to various positions in a homemade PMMA holder. Dose measurements covering a range of 0.5 to 12 cm of source displacement were carried out according to TG 43 recommendations. Individual scintillator doses were decoupled using a linear regression model, a random forest estimator, and artificial neural network algorithms. The performance of the different algorithms was evaluated using different sample sizes and distances to the source for the mPSD system calibration. Results The decoupling methods' deviations from the expected TG 43 dose generally remained below 20 . However, the dose prediction with the three algorithms was accurate to within 7 relative to the dose predicted by the TG 43 formalism for measurements performed in the same range of distances used for calibration. The performance random forest was compromised when the predictions were done beyond the range of distances used for calibration. The dose prediction by the linear regression was less influenced by the calibration conditions than random forest, but with more significant deviations. The number of available measurements for training purposes influenced the random forest and neural network models the most. Their accuracy tended to converge toward deviation values close to 1 from a number of dwell positions greater than 100. Conclusions In performing HDR brachytherapy dose measurements with an optimized mPSD system, ML algorithms are good alternatives for precise dose reporting and treatment assessment.


Duality of moduli in regular toroidal metric spaces. We generalize a result of Freedman and He, concerning the duality of moduli and capacities in solid tori, to sufficiently regular metric spaces. This is a continuation of the work of the author and K. Rajala on the corresponding duality in condensers.


Social Commonsense Reasoning with Multi Head Knowledge Attention. Social Commonsense Reasoning requires understanding of text, knowledge about social events and their pragmatic implications, as well as commonsense reasoning skills. In this work we propose a novel multi head knowledge attention model that encodes semi structured commonsense inference rules and learns to incorporate them in a transformer based reasoning cell. We assess the model's performance on two tasks that require different reasoning skills Abductive Natural Language Inference and Counterfactual Invariance Prediction as a new task. We show that our proposed model improves performance over strong state of the art models (i.e., RoBERTa) across both reasoning tasks. Notably we are, to the best of our knowledge, the first to demonstrate that a model that learns to perform counterfactual reasoning helps predicting the best explanation in an abductive reasoning task. We validate the robustness of the model's reasoning capabilities by perturbing the knowledge and provide qualitative analysis on the model's knowledge incorporation capabilities.


Using Google Analytics to Support Cybersecurity Forensics. Web traffic is a valuable data source, typically used in the marketing space to track brand awareness and advertising effectiveness. However, web traffic is also a rich source of information for cybersecurity monitoring efforts. To better understand the threat of malicious cyber actors, this study develops a methodology to monitor and evaluate web activity using data archived from Google Analytics. Google Analytics collects and aggregates web traffic, including information about web visitors' location, date and time of visit, visited webpages, and searched keywords. This study seeks to streamline analysis of this data and uses rule based anomaly detection and predictive modeling to identify web traffic that deviates from normal patterns. Rather than evaluating pieces of web traffic individually, the methodology seeks to emulate real user behavior by creating a new unit of analysis the user session. User sessions group individual pieces of traffic from the same location and date, which transforms the available information from single point in time snapshots to dynamic sessions showing users' trajectory and intent. The result is faster and better insight into large volumes of noisy web traffic.


Concordance, crossing changes, and knots in homology spheres. Any knot in S 3 may be reduced to a slice knot by crossing changes. Indeed, this slice knot can be taken to be the unknot. In this paper we study the question of when the same holds for knots in homology spheres. We show that a knot in a homology sphere is nullhomotopic in a smooth homology ball if and only if that knot is smoothly concordant to a knot which is homotopic to a smoothly slice knot. As a consequence, we prove that the equivalence relation on knots in homology spheres given by cobounding immersed annuli in a homology cobordism is generated by concordance in homology cobordisms together with homotopy in a homology sphere.


Sensing Matrix Design and Sparse Recovery on the Sphere and the Rotation Group. In this paper, the goal is to design deterministic sampling patterns on the sphere and the rotation group and, thereby, construct sensing matrices for sparse recovery of band limited functions. It is first shown that random sensing matrices, which consists of random samples of Wigner D functions, satisfy the Restricted Isometry Property (RIP) with proper preconditioning and can be used for sparse recovery on the rotation group. The mutual coherence, however, is used to assess the performance of deterministic and regular sensing matrices. We show that many of widely used regular sampling patterns yield sensing matrices with the worst possible mutual coherence, and therefore are undesirable for sparse recovery. Using tools from angular momentum analysis in quantum mechanics, we provide a new expression for the mutual coherence, which encourages the use of regular elevation samples. We construct low coherence deterministic matrices by fixing the regular samples on the elevation and minimizing the mutual coherence over the azimuth polarization choice. It is shown that once the elevation sampling is fixed, the mutual coherence has a lower bound that depends only on the elevation samples. This lower bound, however, can be achieved for spherical harmonics, which leads to new sensing matrices with better coherence than other representative regular sampling patterns. This is reflected as well in our numerical experiments where our proposed sampling patterns perfectly match the phase transition of random sampling patterns.


A Unified Architecture for Data Driven Metadata Tagging of Building Automation Systems. This article presents a Unified Architecture for automated point tagging of Building Automation System data, based on a combination of data driven approaches. Advanced energy analytics applications including fault detection and diagnostics and supervisory control have emerged as a significant opportunity for improving the performance of our built environment. Effective application of these analytics depends on harnessing structured data from the various building control and monitoring systems, but typical Building Automation System implementations do not employ any standardized metadata schema. While standards such as Project Haystack and Brick Schema have been developed to address this issue, the process of structuring the data, i.e., tagging the points to apply a standard metadata schema, has, to date, been a manual process. This process is typically costly, labor intensive, and error prone. In this work we address this gap by proposing a UA that automates the process of point tagging by leveraging the data accessible through connection to the BAS, including time series data and the raw point names. The UA intertwines supervised classification and unsupervised clustering techniques from machine learning and leverages both their deterministic and probabilistic outputs to inform the point tagging process. Furthermore, we extend the UA to embed additional input and output data processing modules that are designed to address the challenges associated with the real time deployment of this automation solution. We test the UA on two datasets for real life buildings 1. commercial retail buildings and 2. office buildings from the National Renewable Energy Laboratory campus. The proposed methodology correctly applied 85 90 percent and 70 75 percent of the tags in each of these test scenarios, respectively.


Efficiency and Scalability of Multi Lane Capsule Networks (MLCN). Some Deep Neural Networks (DNN) have what we call lanes, or they can be reorganized as such. Lanes are paths in the network which are data independent and typically learn different features or add resilience to the network. Given their data independence, lanes are amenable for parallel processing. The Multi lane CapsNet (MLCN) is a proposed reorganization of the Capsule Network which is shown to achieve better accuracy while bringing highly parallel lanes. However, the efficiency and scalability of MLCN had not been systematically examined. In this work, we study the MLCN network with multiple GPUs finding that it is 2x more efficient than the original CapsNet when using model parallelism. Further, we present the load balancing problem of distributing heterogeneous lanes in homogeneous or heterogeneous accelerators and show that a simple greedy heuristic can be almost 50 faster than a naive random approach.


Finite difference approach to fourth order linear boundary value problems. Discrete approximations to the equation begin equation L cont u u (4) D(x) u (3) A(x) u (2) (A'(x) H(x)) u (1) B(x) u f, x in 0,1 end equation are considered. This is an extension of the Sturm Liouville case D(x) equiv H(x) equiv 0 M. Ben Artzi, J. P. Croisille, D. Fishelov and R. Katzir, Discrete fourth order Sturm Liouville problems, IMA J. Numer. Anal. bf 38 (2018), 1485 1522. doi 10.1093 imanum drx038 to the non self adjoint setting. The "natural" boundary conditions in the Sturm Liouville case are the values of the function and its derivative. The inclusion of a third order discrete derivative entails a revision of the underlying discrete functional calculus. This revision forces evaluations of accurate discrete approximations to the boundary values of the second, third and fourth order derivatives. The resulting functional calculus provides the discrete analogs of the fundamental Sobolev properties compactness and coercivity. It allows to obtain a general convergence theorem of the discrete approximations to the exact solution. Some representative numerical examples are presented.


Mixed metric dimension of graphs with edge disjoint cycles. In a graph G, the cardinality of the smallest ordered set of vertices that distinguishes every element of V (G) E(G) is called the mixed metric dimension of G. In this paper we first establish the exact value of the mixed metric dimension of a unicycic graph G which is derived from the structure of G. We further consider graphs G with edge disjoint cycles in which a unicyclic restriction Gi is introduced for each cycle Ci Applying the result for unicyclic graph to each Gi then yields the exact value of the mixed metric dimension of such a graph G. The obtained formulas for the exact value of the mixed metric dimension yield a simple sharp upper bound on the mixed metric dimension, and we conclude the paper conjecturing that the analogous bound holds for general graphs with prescribed cyclomatic number.


Binomial Edge Ideals of Unicyclic Graphs. Let G be a connected simple graph on the vertex set n . Banerjee Betancourt proved that depth(S J G) leq n 1 . In this article, we prove that if G is a unicyclic graph, then the depth of S J G is bounded below by n . Also, we characterize G with depth(S J G) n and depth(S J G) n 1 . We then compute one of the distinguished extremal Betti numbers of S J G . If G is obtained by attaching whiskers at some vertices of the cycle of length k , then we show that k 1 leq reg(S J G) leq k 1 . Furthermore, we characterize G with reg(S J G) k 1 , reg(S J G) k and reg(S J G) k 1 . In each of these cases, we classify the uniqueness of extremal Betti number of these graphs.


A Quality Metric for Visualization of Clusters in Graphs. Traditionally, graph quality metrics focus on readability, but recent studies show the need for metrics which are more specific to the discovery of patterns in graphs. Cluster analysis is a popular task within graph analysis, yet there is no metric yet explicitly quantifying how well a drawing of a graph represents its cluster structure. We define a clustering quality metric measuring how well a node link drawing of a graph represents the clusters contained in the graph. Experiments with deforming graph drawings verify that our metric effectively captures variations in the visual cluster quality of graph drawings. We then use our metric to examine how well different graph drawing algorithms visualize cluster structures in various graphs the results con firm that some algorithms which have been specifically designed to show cluster structures perform better than other algorithms.


Exponential periods and o minimality II. This paper is a sequel to "Exponential periods and o minimality I" that the authors wrote together with Philipp Habegger. We complete the comparison between different definitions of exponential periods, and show that they all lead to the same notion. In the first paper, we show that naive exponential periods are absolutely convergent exponential periods. We also show that naive exponential periods are up to signs volumes of definable sets in the o minimal structure generated by mathbb Q , the real exponential function and sin 0,1 . In this paper, we compare these definitions with cohomological exponential periods and periods of exponential Nori motives. In particular, naive exponential periods are the same as periods of exponential Nori motives, which justifies that the definition of naive exponential periods singles out the correct set of complex numbers to be called exponential periods.


Progressive Differentiable Architecture Search Bridging the Depth Gap between Search and Evaluation. Recently, differentiable search methods have made major progress in reducing the computational costs of neural architecture search. However, these approaches often report lower accuracy in evaluating the searched architecture or transferring it to another dataset. This is arguably due to the large gap between the architecture depths in search and evaluation scenarios. In this paper, we present an efficient algorithm which allows the depth of searched architectures to grow gradually during the training procedure. This brings two issues, namely, heavier computational overheads and weaker search stability, which we solve using search space approximation and regularization, respectively. With a significantly reduced search time ( 7 hours on a single GPU), our approach achieves state of the art performance on both the proxy dataset (CIFAR10 or CIFAR100) and the target dataset (ImageNet). Code is available at https github.com chenxin061 pdarts.


CLAWS Clustering Assisted Weakly Supervised Learning with Normalcy Suppression for Anomalous Event Detection. Learning to detect real world anomalous events through video level labels is a challenging task due to the rare occurrence of anomalies as well as noise in the labels. In this work, we propose a weakly supervised anomaly detection method which has manifold contributions including1) a random batch based training procedure to reduce inter batch correlation, 2) a normalcy suppression mechanism to minimize anomaly scores of the normal regions of a video by taking into account the overall information available in one training batch, and 3) a clustering distance based loss to contribute towards mitigating the label noise and to produce better anomaly representations by encouraging our model to generate distinct normal and anomalous clusters. The proposed method obtains83.03 and 89.67 frame level AUC performance on the UCF Crime and ShanghaiTech datasets respectively, demonstrating its superiority over the existing state of the art algorithms.


Transparent Synchronous Dataflow. Dataflow programming is a popular and convenient programming paradigm in systems modelling, optimisation, and machine learning. It has a number of advantages, for instance the lacks of control flow allows computation to be carried out in parallel as well as in distributed machines. More recently the idea of dataflow graphs has also been brought into the design of various deep learning frameworks. They facilitate an easy and efficient implementation of automatic differentiation, which is the heart of modern deep learning paradigm. abstract abridged


Modeling User Selection in Quality Diversity. The initial phase in real world engineering optimization and design is a process of discovery in which not all requirements can be made in advance, or are hard to formalize. Quality diversity algorithms, which produce a variety of high performing solutions, provide a unique chance to support engineers and designers in the search for what is possible and high performing. In this work we begin to answer the question how a user can interact with quality diversity and turn it into an interactive innovation aid. By modeling a user's selection it can be determined whether the optimization is drifting away from the user's preferences. The optimization is then constrained by adding a penalty to the objective function. We present an interactive quality diversity algorithm that can take into account the user's selection. The approach is evaluated in a new multimodal optimization benchmark that allows various optimization tasks to be performed. The user selection drift of the approach is compared to a state of the art alternative on both a planning and a neuroevolution control task, thereby showing its limits and possibilities.


The edge colorings of K 5 minor free graphs. In 1965, Vizing proved that every planar graph G with maximum degree Delta geq 8 is edge Delta colorable. It is also proved that every planar graph G with maximum degree Delta 7 is edge Delta colorable by Sanders and Zhao, independently by Zhang. In this paper, we extend the above results by showing that every K 5 minor free graph with maximum degree Delta at least seven is edge Delta colorable.


On the Decycling Number of 4 regular Random Graphs. The decycling number phi(G) of a graph G is the smallest number of vertices which can be removed from G so that the resulting graph has no cycles. Bau, Wormald and Zhou conjectured that with probability tending to one the decycling number of the random 4 regular graph G 4(n) on n vertices is equal to lceil (n 1) 3 rceil . In this paper we show that this conjecture holds asymptotically, i.e. asymptotically almost surely lim n to infty phi(G 4(n)) n 1 3 .


Drop to Adapt Learning Discriminative Features for Unsupervised Domain Adaptation. Recent works on domain adaptation exploit adversarial training to obtain domain invariant feature representations from the joint learning of feature extractor and domain discriminator networks. However, domain adversarial methods render suboptimal performances since they attempt to match the distributions among the domains without considering the task at hand. We propose Drop to Adapt (DTA), which leverages adversarial dropout to learn strongly discriminative features by enforcing the cluster assumption. Accordingly, we design objective functions to support robust domain adaptation. We demonstrate efficacy of the proposed method on various experiments and achieve consistent improvements in both image classification and semantic segmentation tasks. Our source code is available at https github.com postBG DTA.pytorch.


On complexity of representations of quivers. It is shown that, given a representation of a quiver over a finite field, one can check in polynomial time whether it is absolutely indecomposable.


On a variant of Tingley's problem for some function spaces. Let ( Omega, mathfrak A , mu) and ( Gamma, mathfrak B , nu) be two arbitrary measure spaces, and p in 1, infty . Set L p( mu) mathrm sp f in L p( mu) f p 1 f geq 0 mu text a.e. i.e., the positive part of the unit sphere of L p( mu) . We show that every metric preserving bijection Phi L p( mu) mathrm sp to L p( nu) mathrm sp can be extended (necessarily uniquely) to an isometric order isomorphism from L p( mu) onto L p( nu) . A Lamperti form, i.e., a weighted composition like form, of Phi is provided, when ( Gamma, mathfrak B , nu) is localizable (in particular, when it is sigma finite). On the other hand, we show that for compact Hausdorff spaces X and Y , if Phi is a metric preserving bijection from the positive part of the unit sphere of C(X) to that of C(Y) , then there is a homeomorphism tau Y to X satisfying Phi(f)(y) f( tau(y)) ( f in C(X) mathrm sp y in Y ).


Geno A Developer Tool for Authoring Multimodal Interaction on Existing Web Applications. Supporting voice commands in applications presents significant benefits to users. However, adding such support to existing GUI based web apps is effort consuming with a high learning barrier, as shown in our formative study, due to the lack of unified support for creating multimodal interfaces. We present Geno a developer tool for adding the voice input modality to existing web apps without requiring significant NLP expertise. Geno provides a high level workflow for developers to specify functionalities to be supported by voice (intents), create language models for detecting intents and the relevant information (parameters) from user utterances, and fulfill the intents by either programmatically invoking the corresponding functions or replaying GUI actions on the web app. Geno further supports multimodal references to GUI context in voice commands (e.g. "move this event to next week" while pointing at an event with the cursor). In a study, developers with little NLP expertise were able to add multimodal voice command support for two existing web apps using Geno.


Transfinite diameter with generalized polynomial degree. We prove a Chebyshev transform formula for a notion of (weighted) transfinite diameter that is defined using a generalized notion of polynomial degree. We also generalize Leja points to this setting. As an application of our main formula, we prove that in the unweighted case, these generalized Leja points recover the transfinite diameter.


Similarity Invariants of Essentially normal Cowen Douglas Operators and Chern Polynomials. In this paper, we systematically study a class of essentially normal operators by using the geometry method from the Cowen Douglas theory and prove a Brown Douglas Fillmore theorem in the Cowen Douglas theory. More precisely, the Chern polynomials and the second fundamental forms are the similarity invariants (in the sense of Herrero) of this class of essentially normal operators.


High Q Dual Band Graphene Absorbers by Selective Excitation of Graphene Plasmon Polaritons Circuit Model Analysis. This article presents the design of two dual band graphene based absorbers for terahertz frequencies. The absorbers are composed of two dimensional (2D)arrays of ribbons and disks printed on a ground plane backed dielectric spacer. The design is based on the excitation of a specific plasmon polariton of the graphene patterned array at each resonance band. An analytical circuit model is used to derive closed form relations for the geometrical parameters of the absorber and graphene parameters. The graphene patterned array appears as a surface admittance made of an infinite parallel array of series RLC branches. Each branch is equivalent to a graphene plasmon polariton (GPP) providing a distinct resonance mode. The design procedure is based on selectively exciting the first two GPPs. This means that two of the parallel RLC branches are selectively used in the circuit model analysis. The results obtained using the analytical solution are compared with the full wave simulations in HFSS. The agreement between the results validates the developed design method.


Wasserstein stability of porous medium type equations on manifolds with Ricci curvature bounded below. Given a complete, connected Riemannian manifold mathbb M n with Ricci curvature bounded from below, we discuss the stability of the solutions of a porous medium type equation with respect to the 2 Wasserstein distance. We produce (sharp) stability estimates under negative curvature bounds, which to some extent generalize well known results by Sturm and Otto Westdickenberg. The strategy of the proof mainly relies on a quantitative L 1 L infty smoothing property of the equation considered, combined with the Hamiltonian approach developed by Ambrosio, Mondino and Savar 'e in a metric measure setting.


IBFT 2.0 A Safe and Live Variation of the IBFT Blockchain Consensus Protocol for Eventually Synchronous Networks. In this work, we present IBFT 2.0 (Istanbul BFT 2.0), which is a Proof of Authority (PoA) Byzantine fault tolerant (BFT) blockchain consensus protocols that (i) ensures immediate finality, (ii) is robust in an eventually synchronous network model and (iii) features a dynamic validator set. IBFT 2.0, as the name suggests, builds upon the IBFT blockchain consensus protocol retaining all of the original features while addressing the safety and liveness limitations described in one of our previous works. In this paper, we present a high level description of the IBFT 2.0 protocol and related robustness proof. Formal specification of the protocol and related formal proofs will be subject of a separate body of work. We also envision a separate work that will provide detailed implementation specifications for IBFT 2.0.


Totally positive kernels, Polya frequency functions, and their transforms. The composition operators preserving total non negativity and total positivity for various classes of kernels are classified, following three themes. Letting a function act by post composition on kernels with arbitrary domains, it is shown that such a composition operator maps the set of totally non negative kernels to itself if and only if the function is constant or linear, or just linear if it preserves total positivity. Symmetric kernels are also discussed, with a similar outcome. These classification results are a byproduct of two matrix completion results and the second theme an extension of A.M. Whitney's density theorem from finite domains to subsets of the real line. This extension is derived via a discrete convolution with modulated Gaussian kernels. The third theme consists of analyzing, with tools from harmonic analysis, the preservers of several families of totally non negative and totally positive kernels with additional structure continuous Hankel kernels on an interval, P 'olya frequency functions, and P 'olya frequency sequences. The rigid structure of post composition transforms of totally positive kernels acting on infinite sets is obtained by combining several specialized situations settled in our present and earlier works.


Knowledge Transfer in Multi Task Deep Reinforcement Learning for Continuous Control. While Deep Reinforcement Learning (DRL) has emerged as a promising approach to many complex tasks, it remains challenging to train a single DRL agent that is capable of undertaking multiple different continuous control tasks. In this paper, we present a Knowledge Transfer based Multi task Deep Reinforcement Learning framework (KTM DRL) for continuous control, which enables a single DRL agent to achieve expert level performance in multiple different tasks by learning from task specific teachers. In KTM DRL, the multi task agent first leverages an offline knowledge transfer algorithm designed particularly for the actor critic architecture to quickly learn a control policy from the experience of task specific teachers, and then it employs an online learning algorithm to further improve itself by learning from new online transition samples under the guidance of those teachers. We perform a comprehensive empirical study with two commonly used benchmarks in the MuJoCo continuous control task suite. The experimental results well justify the effectiveness of KTM DRL and its knowledge transfer and online learning algorithms, as well as its superiority over the state of the art by a large margin.


Boundary complexes of moduli spaces of curves in higher genus. Given a collection of boundary divisors in the moduli space of stable genus zero n pointed curves, Giansiracusa proved that their intersection is nonempty if and only if all pairwise intersections are nonempty. We give a complete classification of the pairs (g,n) for which the analogous statement holds in the moduli space of n pointed curves of genus g.


Investigating Pretrained Language Models for Graph to Text Generation. Graph to text generation aims to generate fluent texts from graph based data. In this paper, we investigate two recently proposed pretrained language models (PLMs) and analyze the impact of different task adaptive pretraining strategies for PLMs in graph to text generation. We present a study across three graph domains meaning representations, Wikipedia knowledge graphs (KGs) and scientific KGs. We show that the PLMs BART and T5 achieve new state of the art results and that task adaptive pretraining strategies improve their performance even further. In particular, we report new state of the art BLEU scores of 49.72 on LDC2017T10, 59.70 on WebNLG, and 25.66 on AGENDA datasets a relative improvement of 31.8 , 4.5 , and 42.4 , respectively. In an extensive analysis, we identify possible reasons for the PLMs' success on graph to text tasks. We find evidence that their knowledge about true facts helps them perform well even when the input graph representation is reduced to a simple bag of node and edge labels.


On the Embeddings of Variables in Recurrent Neural Networks for Source Code. Source code processing heavily relies on the methods widely used in natural language processing (NLP), but involves specifics that need to be taken into account to achieve higher quality. An example of this specificity is that the semantics of a variable is defined not only by its name but also by the contexts in which the variable occurs. In this work, we develop dynamic embeddings, a recurrent mechanism that adjusts the learned semantics of the variable when it obtains more information about the variable's role in the program. We show that using the proposed dynamic embeddings significantly improves the performance of the recurrent neural network, in code completion and bug fixing tasks.


Learning Transformation Aware Embeddings for Image Forensics. A dramatic rise in the flow of manipulated image content on the Internet has led to an aggressive response from the media forensics research community. New efforts have incorporated increased usage of techniques from computer vision and machine learning to detect and profile the space of image manipulations. This paper addresses Image Provenance Analysis, which aims at discovering relationships among different manipulated image versions that share content. One of the main sub problems for provenance analysis that has not yet been addressed directly is the edit ordering of images that share full content or are near duplicates. The existing large networks that generate image descriptors for tasks such as object recognition may not encode the subtle differences between these image covariates. This paper introduces a novel deep learning based approach to provide a plausible ordering to images that have been generated from a single image through transformations. Our approach learns transformation aware descriptors using weak supervision via composited transformations and a rank based quadruplet loss. To establish the efficacy of the proposed approach, comparisons with state of the art handcrafted and deep learning based descriptors, and image matching approaches are made. Further experimentation validates the proposed approach in the context of image provenance analysis.


Moving Indoor Unsupervised Video Depth Learning in Challenging Environments. Recently unsupervised learning of depth from videos has made remarkable progress and the results are comparable to fully supervised methods in outdoor scenes like KITTI. However, there still exist great challenges when directly applying this technology in indoor environments, e.g., large areas of non texture regions like white wall, more complex ego motion of handheld camera, transparent glasses and shiny objects. To overcome these problems, we propose a new optical flow based training paradigm which reduces the difficulty of unsupervised learning by providing a clearer training target and handles the non texture regions. Our experimental evaluation demonstrates that the result of our method is comparable to fully supervised methods on the NYU Depth V2 benchmark. To the best of our knowledge, this is the first quantitative result of purely unsupervised learning method reported on indoor datasets.


Minimal Equivalence Relations in Hyperarithmetical and Analytical Hierarchies. A standard tool for classifying the complexity of equivalence relations on omega is provided by computable reducibility. This reducibility gives rise to a rich degree structure. The paper studies equivalence relations, which induce minimal degrees with respect to computable reducibility. Let Gamma be one of the following classes Sigma 0 alpha , Pi 0 alpha , Sigma 1 n , or Pi 1 n , where alpha geq 2 is a computable ordinal and n is a non zero natural number. We prove that there are infinitely many pairwise incomparable minimal equivalence relations that are properly in Gamma .


The relationship between dynamic programming and active inference the discrete, finite horizon case. Active inference is a normative framework for generating behaviour based upon the free energy principle, a theory of self organisation. This framework has been successfully used to solve reinforcement learning and stochastic control problems, yet, the formal relation between active inference and reward maximisation has not been fully explicated. In this paper, we consider the relation between active inference and dynamic programming under the Bellman equation, which underlies many approaches to reinforcement learning and control. We show that, on partially observable Markov decision processes, dynamic programming is a limiting case of active inference. In active inference, agents select actions to minimise expected free energy. In the absence of ambiguity about states, this reduces to matching expected states with a target distribution encoding the agent's preferences. When target states correspond to rewarding states, this maximises expected reward, as in reinforcement learning. When states are ambiguous, active inference agents will choose actions that simultaneously minimise ambiguity. This allows active inference agents to supplement their reward maximising (or exploitative) behaviour with novelty seeking (or exploratory) behaviour. This clarifies the connection between active inference and reinforcement learning, and how both frameworks may benefit from each other.


Delayed Recognition the Co citation Perspective. A Sleeping Beauty is a publication that is apparently unrecognized for some period of time before experiencing sudden recognition by citation. Various reasons, including resistance to new ideas, have been attributed to such delayed recognition. We examine this phenomenon in the special case of co citations, which represent new ideas generated through the combination of existing ones. Using relatively stringent selection criteria derived from the work of others, we analyze a very large dataset of over 940 million unique co cited article pairs, and identified 1,196 cases of delayed co citations. We further classify these 1,196 cases with respect to amplitude, rate of citation, and disciplinary origin and discuss alternative approaches towards identifying such instances.


Decompositions with atoms and molecules for variable exponent Triebel Lizorkin Morrey spaces. We continue the study of the variable exponent Morreyfied Triebel Lizorkin spaces introduced in a previous paper. Here we give characterizations by means of atoms and molecules. We also show that in some cases the number of zero moments needed for molecules, in order that an infinite linear combination of them (with coefficients in a natural sequence space) converges in the space of tempered distributions, is much smaller than what is usually required. We also establish a Sobolev type theorem for related sequence spaces, which might have independent interest.


Generalized Fitch Graphs III Symmetrized Fitch maps and Sets of Symmetric Binary Relations that are explained by Unrooted Edge labeled Trees. Binary relations derived from labeled rooted trees play an import role in mathematical biology as formal models of evolutionary relationships. The (symmetrized) Fitch relation formalizes xenology as the pairs of genes separated by at least one horizontal transfer event. As a natural generalization, we consider symmetrized Fitch maps, that is, symmetric maps varepsilon that assign a subset of colors to each pair of vertices in X and that can be explained by a tree T with edges that are labeled with subsets of colors in the sense that the color m appears in varepsilon(x,y) if and only if m appears in a label along the unique path between x and y in T . We first give an alternative characterization of the monochromatic case and then give a characterization of symmetrized Fitch maps in terms of compatibility of a certain set of quartets. We show that recognition of symmetrized Fitch maps is NP complete. In the restricted case where varepsilon(x,y) leq 1 the problem becomes polynomial, since such maps coincide with class of monochromatic Fitch maps whose graph representations form precisely the class of complete multi partite graphs.


Deformed Infinite series metric in Cartan Spaces. Igarashi introduce the concept of ( alpha, beta) metric in Cartan space ell n analogously to one in Finsler space and obtained the basic important geometric properties and also investigate the special class of the space with ( alpha, beta) metric in ell n in terms of 'invariants' . In the present paper we determine the 'invariants' in two different cases of deformed infinite series metric which characterize the special classes of Cartan spaces ell n .


Towards Secure Composition of Integrated Circuits and Electronic Systems On the Role of EDA. Modern electronic systems become evermore complex, yet remain modular, with integrated circuits (ICs) acting as versatile hardware components at their heart. Electronic design automation (EDA) for ICs has focused traditionally on power, performance, and area. However, given the rise of hardware centric security threats, we believe that EDA must also adopt related notions like secure by design and secure composition of hardware. Despite various promising studies, we argue that some aspects still require more efforts, for example effective means for compilation of assumptions and constraints for security schemes, all the way from the system level down to the "bare metal" modeling, evaluation, and consideration of security relevant metrics or automated and holistic synthesis of various countermeasures, without inducing negative cross effects. In this paper, we first introduce hardware security for the EDA community. Next we review prior (academic) art for EDA driven security evaluation and implementation of countermeasures. We then discuss strategies and challenges for advancing research and development toward secure composition of circuits and systems.


Congruence properties for the trinomial coefficients. In this paper, we state and prove some congruence properties for the trinomial coeficients, one of which is similar to the Wolstenholme's theorem.


Parameter identifiability for a profile mixture model of protein evolution. A Profile Mixture Model is a model of protein evolution, describing sequence data in which sites are assumed to follow many related substitution processes on a single evolutionary tree. The processes depend in part on different amino acid distributions, or profiles, varying over sites in aligned sequences. A fundamental question for any stochastic model, which must be answered positively to justify model based inference, is whether the parameters are identifiable from the probability distribution they determine. Here we show that a Profile Mixture Model has identifiable parameters under circumstances in which it is likely to be used for empirical analyses. In particular, for a tree relating 9 or more taxa, both the tree topology and all numerical parameters are generically identifiable when the number of profiles is less than 74.


Near Field UHF RFID Transponder with a Screen Printed Graphene Antenna. As a method of producing RFID tags, printed graphene provides a low cost and eco friendly alternative to the etching of aluminum or copper. The high resistivity of graphene, however, sets a challenge for the antenna design. In practice, it has led to using very large antennas in the UHF RFID far field tags demonstrated before. Using inductive near field as the coupling method between the reader and the tag is an alternative to the radiating far field also at UHF. The read range of such a near field tag is very short, but, on the other hand, the tag is extremely simple and small. In this paper, near field UHF RFID transponders with screen printed graphene antennas are presented and the effect of the dimensions of the tag and the attachment method of the microchip studied. The attachment of the microchip is an important step of the fabrication process of a tag that has its impact on the final cost of a tag. Of the tags demonstrated, even the smallest one with the outer dimensions of 21 mm 18 mm and the chip attached with isotropic conductive adhesive (ICA) was readable from a distance of 10 mm with an RF power marginal of 19 dB, which demonstrates that an operational and small graphene based UHF RFID tag can be fabricated with low cost industrial processes.


Privacy Preserving Smart Parking System Using Blockchain and Private Information Retrieval. Searching for available parking spaces is a major problem for drivers especially in big crowded cities, causing traffic congestion and air pollution, and wasting drivers' time. Smart parking systems are a novel solution to enable drivers to have real time parking information for pre booking. However, current smart parking requires drivers to disclose their private information, such as desired destinations. Moreover, the existing schemes are centralized and vulnerable to the bottleneck of the single point of failure and data breaches. In this paper, we propose a distributed privacy preserving smart parking system using blockchain. A consortium blockchain created by different parking lot owners to ensure security, transparency, and availability is proposed to store their parking offers on the blockchain. To preserve drivers' location privacy, we adopt a private information retrieval (PIR) technique to enable drivers to retrieve parking offers from blockchain nodes privately, without revealing which parking offers are retrieved. Furthermore, a short randomizable signature is used to enable drivers to reserve available parking slots in an anonymous manner. Besides, we introduce an anonymous payment system that cannot link drivers' to specific parking locations. Finally, our performance evaluations demonstrate that the proposed scheme can preserve drivers' privacy with low communication and computation overhead.


Learning Two Stream CNN for Multi Modal Age related Macular Degeneration Categorization. This paper tackles automated categorization of Age related Macular Degeneration (AMD), a common macular disease among people over 50. Previous research efforts mainly focus on AMD categorization with a single modal input, let it be a color fundus photograph (CFP) or an OCT B scan image. By contrast, we consider AMD categorization given a multi modal input, a direction that is clinically meaningful yet mostly unexplored. Contrary to the prior art that takes a traditional approach of feature extraction plus classifier training that cannot be jointly optimized, we opt for end to end multi modal Convolutional Neural Networks (MM CNN). Our MM CNN is instantiated by a two stream CNN, with spatially invariant fusion to combine information from the CFP and OCT streams. In order to visually interpret the contribution of the individual modalities to the final prediction, we extend the class activation mapping (CAM) technique to the multi modal scenario. For effective training of MM CNN, we develop two data augmentation methods. One is GAN based CFP OCT image synthesis, with our novel use of CAMs as conditional input of a high resolution image to image translation GAN. The other method is Loose Pairing, which pairs a CFP image and an OCT image on the basis of their classes instead of eye identities. Experiments on a clinical dataset consisting of 1,094 CFP images and 1,289 OCT images acquired from 1,093 distinct eyes show that the proposed solution obtains better F1 and Accuracy than multiple baselines for multi modal AMD categorization. Code and data are available at https github.com li xirong mmc amd.


Environmental conditions and human activity nexus. The case of Northern Italy during COVID 19 lockdown. During COVID 19, draconian countermeasures forbidding non essential human activities have been adopted worldwide, providing an unprecedented setup for testing sustainability policies. We unravel causal relationships among 16 environmental conditions and human activity variables and argue that, despite a measurable decrease in NO2 concentration due to human activities, locking down a region is insufficient to significantly reduce emissions. Policy strategies more effective than lockdowns must be considered for pollution control and climate change mitigation.


Bimolecular binding rates for pairs of spherical molecules with small binding sites. Bimolecular binding rate constants are often used to describe the association of large molecules, such as proteins. In this paper, we analyze a model for such binding rates that includes the fact that pairs of molecules can bind only in certain orientations. The model considers two spherical molecules, each with an arbitrary number of small binding sites on their surface, and the two molecules bind if and only if their binding sites come into contact (such molecules are often called "patchy particles" in the biochemistry literature). The molecules undergo translational and rotational diffusion, and the binding sites are allowed to diffuse on their surfaces. Mathematically, the model takes the form of a high dimensional, anisotropic diffusion equation with mixed boundary conditions. We apply matched asymptotic analysis to derive the bimolecular binding rate in the limit of small, well separated binding sites. The resulting binding rate formula involves a factor that depends on the electrostatic capacitance of a certain four dimensional region embedded in five dimensions. We compute this factor numerically by modifying a recent kinetic Monte Carlo algorithm. We then apply a quasi chemical formalism to obtain a simple analytical approximation for this factor and find a binding rate formula that includes the effects of binding site competition saturation. We verify our results by numerical simulation.