Poisson hyperplane processes and approximation of convex bodies. A natural model for the approximation of a convex body K in mathbb R d by random polytopes is obtained as follows. Take a stationary Poisson hyperplane process in the space, and consider the random polytope Z K defined as the intersection of all closed halfspaces containing K that are bounded by hyperplanes of the process not intersecting K . If f is a functional on convex bodies, then for increasing intensities of the process, the expectation of the difference f(Z K) f(K) may or may not converge to zero. If it does, then the order of convergence and possible limit relations are of interest. We study these questions if f is either the hitting functional or the mean width.


Classification of congruences of twisted partition monoids. The twisted partition monoid mathcal P n Phi is an infinite monoid obtained from the classical finite partition monoid mathcal P n by taking into account the number of floating components when multiplying partitions. The main result of this paper is a complete description of the congruences on mathcal P n Phi . The succinct encoding of a congruence, which we call a C pair, consists of a sequence of n 1 congruences on the additive monoid mathbb N of natural numbers and a certain (n 1) times mathbb N matrix. We also give a description of the inclusion ordering of congruences in terms of a lexicographic like ordering on C pairs. This is then used to classify congruences on the finite d twisted partition monoids mathcal P n,d Phi , which are obtained by factoring out from mathcal P n Phi the ideal of all partitions with more than d floating components. Further applications of our results, elucidating the structure and properties of the congruence lattices of the ( d )twisted partition monoids, will be the subject of a future article.


Visibility aware Multi view Stereo Network. Learning based multi view stereo (MVS) methods have demonstrated promising results. However, very few existing networks explicitly take the pixel wise visibility into consideration, resulting in erroneous cost aggregation from occluded pixels. In this paper, we explicitly infer and integrate the pixel wise occlusion information in the MVS network via the matching uncertainty estimation. The pair wise uncertainty map is jointly inferred with the pair wise depth map, which is further used as weighting guidance during the multi view cost volume fusion. As such, the adverse influence of occluded pixels is suppressed in the cost fusion. The proposed framework Vis MVSNet significantly improves depth accuracies in the scenes with severe occlusion. Extensive experiments are performed on DTU, BlendedMVS, and Tanks and Temples datasets to justify the effectiveness of the proposed framework.


Convergence Rates of Subgradient Methods for Quasi convex Optimization Problems. Quasi convex optimization acts a pivotal part in many fields including economics and finance the subgradient method is an effective iterative algorithm for solving large scale quasi convex optimization problems. In this paper, we investigate the iteration complexity and convergence rates of various subgradient methods for solving quasi convex optimization in a unified framework. In particular, we consider a sequence satisfying a general (inexact) basic inequality, and investigate the global convergence theorem and the iteration complexity when using the constant, diminishing or dynamic stepsize rules. More importantly, we establish the linear (or sublinear) convergence rates of the sequence under an additional assumption of weak sharp minima of H " o lderian order and upper bounded noise. These convergence theorems are applied to establish the iteration complexity and convergence rates of several subgradient methods, including the standard inexact conditional subgradient methods, for solving quasi convex optimization problems under the assumptions of the H " o lder condition and or the weak sharp minima of H " o lderian order.


Grammatical Sequence Prediction for Real Time Neural Semantic Parsing. While sequence to sequence (seq2seq) models achieve state of the art performance in many natural language processing tasks, they can be too slow for real time applications. One performance bottleneck is predicting the most likely next token over a large vocabulary methods to circumvent this bottleneck are a current research topic. We focus specifically on using seq2seq models for semantic parsing, where we observe that grammars often exist which specify valid formal representations of utterance semantics. By developing a generic approach for restricting the predictions of a seq2seq model to grammatically permissible continuations, we arrive at a widely applicable technique for speeding up semantic parsing. The technique leads to a 74 speed up on an in house dataset with a large vocabulary, compared to the same neural model without grammatical restrictions.


Transverse flow induced vibrations of a sphere in the proximity of a free surface A numerical study. We present a numerical study on the transverse flow induced vibration (FIV) of an elastically mounted sphere in the vicinity of a free surface at subcritical Reynolds numbers. To begin, We verify and analyze the mode transitions and the motion trajectories of a fully submerged sphere vibrating freely in all directions for the Reynolds number up to 30 ,000 . Next, the response dynamics of a transversely vibrating sphere is studied for three values of normalized immersion ratio ( h h D , where h is the distance from the top of the sphere to undisturbed free surface level and D is the sphere diameter), at h 1 (fully submerged sphere with no free surface effect), h 0 (where the top of the sphere touches the free surface) and h 0.25 (where the sphere pierces the free surface). At the lock in range, we observe that the amplitude response at h 0 is decreased significantly compared to the case at h 1 . It is found that the vorticity flux is diffused due to the free surface boundary and the free surface acts as a sink of energy that leads to a reduction in the transverse force and amplitude response. When the sphere pierces the free surface at h 0.25 , the amplitude response at the lock in state is found to be greater than all the submerged cases studied with the maximum peak to peak amplitude of sim2D . We find that the interaction of the piercing sphere with the air water interface causes a relatively large surface deformation and has a significant impact on the synchronization of the vortex shedding and the vibration frequency. Increased streamwise vorticity gives rise to a relatively larger transverse force to the piercing sphere at h 0.25 , resulting in greater positive energy transfer per cycle to sustain the large amplitude vibration. Lasty, we study the sensitivity of FIV response on the mass ratio, m , and Froude number, Fr , at the lock in state.


A Quantitative Perspective on Values of Domain Knowledge for Machine Learning. With the exploding popularity of machine learning, domain knowledge in various forms has been playing a crucial role in improving the learning performance, especially when training data is limited. Nonetheless, there is little understanding of to what extent domain knowledge can affect a machine learning task from a quantitative perspective. To increase the transparency and rigorously explain the role of domain knowledge in machine learning, we study the problem of quantifying the values of domain knowledge in terms of its contribution to the learning performance in the context of informed machine learning. We propose a quantification method based on Shapley value that fairly attributes the overall learning performance improvement to different domain knowledge. We also present Monte Carlo sampling to approximate the fair value of domain knowledge with a polynomial time complexity. We run experiments of injecting symbolic domain knowledge into semi supervised learning tasks on both MNIST and CIFAR10 datasets, providing quantitative values of different symbolic knowledge and rigorously explaining how it affects the machine learning performance in terms of test accuracy.


Use of a controlled experiment and computational models to measure the impact of sequential peer exposures on decision making. It is widely believed that one's peers influence product adoption behaviors. This relationship has been linked to the number of signals a decision maker receives in a social network. But it is unclear if these same principles hold when the pattern by which it receives these signals vary and when peer influence is directed towards choices which are not optimal. To investigate that, we manipulate social signal exposure in an online controlled experiment using a game with human participants. Each participant in the game makes a decision among choices with differing utilities. We observe the following (1) even in the presence of monetary risks and previously acquired knowledge of the choices, decision makers tend to deviate from the obvious optimal decision when their peers make similar decision which we call the influence decision, (2) when the quantity of social signals vary over time, the forwarding probability of the influence decision and therefore being responsive to social influence does not necessarily correlate proportionally to the absolute quantity of signals. To better understand how these rules of peer influence could be used in modeling applications of real world diffusion and in networked environments, we use our behavioral findings to simulate spreading dynamics in real world case studies. We specifically try to see how cumulative influence plays out in the presence of user uncertainty and measure its outcome on rumor diffusion, which we model as an example of sub optimal choice diffusion. Together, our simulation results indicate that sequential peer effects from the influence decision overcomes individual uncertainty to guide faster rumor diffusion over time. However, when the rate of diffusion is slow in the beginning, user uncertainty can have a substantial role compared to peer influence in deciding the adoption trajectory of a piece of questionable information.


Gated CRF Loss for Weakly Supervised Semantic Image Segmentation. State of the art approaches for semantic segmentation rely on deep convolutional neural networks trained on fully annotated datasets, that have been shown to be notoriously expensive to collect, both in terms of time and money. To remedy this situation, weakly supervised methods leverage other forms of supervision that require substantially less annotation effort, but they typically present an inability to predict precise object boundaries due to approximate nature of the supervisory signals in those regions. While great progress has been made in improving the performance, many of these weakly supervised methods are highly tailored to their own specific settings. This raises challenges in reusing algorithms and making steady progress. In this paper, we intentionally avoid such practices when tackling weakly supervised semantic segmentation. In particular, we train standard neural networks with partial cross entropy loss function for the labeled pixels and our proposed Gated CRF loss for the unlabeled pixels. The Gated CRF loss is designed to deliver several important assets 1) it enables flexibility in the kernel construction to mask out influence from undesired pixel positions 2) it offloads learning contextual relations to CNN and concentrates on semantic boundaries 3) it does not rely on high dimensional filtering and thus has a simple implementation. Throughout the paper we present the advantages of the loss function, analyze several aspects of weakly supervised training, and show that our purist' approach achieves state of the art performance for both click based and scribble based annotations.


Equilibrium states for self products of flows and the mixing properties of rank 1 geodesic flows. Equilibrium states for geodesic flows over closed rank 1 manifolds were studied recently by Burns, Climenhaga, Fisher and Thompson. For sufficiently regular potentials, it was shown that if the singular set does not carry full pressure then the equilibrium state is unique. The main result of this paper is that these equilibrium states have the Kolmogorov property. In particular, these measures are mixing of all orders and have positive entropy. For the Bowen Margulis measure, we go further and obtain the Bernoulli property from the K property using classic arguments from Ornstein theory. Our argument for the K property is based on an idea due to Ledrappier. We prove uniqueness of equilibrium states on the product of the system with itself. To carry this out, we develop techniques for uniqueness of equilibrium states which apply in the presence of the 2 dimensional center direction which appears for a product of flows. This is a key technical challenge of this paper.


Bilevel Distributed Optimization in Directed Networks. Motivated by emerging applications in wireless sensor networks and large scale data processing, we consider distributed optimization over directed networks where the agents communicate their information locally to their neighbors to cooperatively minimize a global cost function. We introduce a new unifying distributed constrained optimization model that is characterized as a bilevel optimization problem. This model captures a wide range of existing problems over directed networks including (i) Distributed optimization with linear constraints (ii) Distributed unconstrained nonstrongly convex optimization over directed networks. Employing a novel regularization based relaxation approach and gradient tracking schemes, we develop an iteratively regularized push pull gradient algorithm. We establish the consensus and derive new convergence rate statements for suboptimality and infeasibility of the generated iterates for solving the bilevel model. The proposed algorithm and the complexity analysis obtained in this work appear to be new for addressing the bilevel model and also for the two sub classes of problems. The numerical performance of the proposed algorithm is presented.


Planning With Uncertain Specifications (PUnS). Reward engineering is crucial to high performance in reinforcement learning systems. Prior research into reward design has largely focused on Markovian functions representing the reward. While there has been research into expressing non Markov rewards as linear temporal logic (LTL) formulas, this has focused on task specifications directly defined by the user. However, in many real world applications, task specifications are ambiguous, and can only be expressed as a belief over LTL formulas. In this paper, we introduce planning with uncertain specifications (PUnS), a novel formulation that addresses the challenge posed by non Markovian specifications expressed as beliefs over LTL formulas. We present four criteria that capture the semantics of satisfying a belief over specifications for different applications, and analyze the qualitative implications of these criteria within a synthetic domain. We demonstrate the existence of an equivalent Markov decision process (MDP) for any instance of PUnS. Finally, we demonstrate our approach on the real world task of setting a dinner table automatically with a robot that inferred task specifications from human demonstrations.


On Khovanov Homology of Quasi Alternating Links. We prove that the length of any gap in the differential grading of the Khovanov homology of any quasi alternating link is one. As a consequence, we obtain that the length of any gap in the Jones polynomial of any such link is one. This establishes a weaker version of Conjecture 2.3 in 5 . Moreover, we obtain a lower bound for the determinant of any such link in terms of the breadth of its Jones polynomial. This establishes a weaker version of Conjecture 3.8 in 17 . The main tool in obtaining this result is establishing the Knight Move Conjecture 2,Conjecture 1 for the class of quasi alternating links.


Quasi Interpolant Operators and the Solution of Fractional Differential Problems. Nowadays, fractional differential equations are a well established tool to model phenomena from the real world. Since the analytical solution is rarely available, there is a great effort in constructing efficient numerical methods for their solution. In this paper we are interested in solving boundary value problems having space derivative of fractional order. To this end, we present a collocation method in which the solution of the fractional problem is approximated by a spline quasi interpolant operator. This allows us to construct the numerical solution in an easy way. We show through some numerical tests that the proposed method is efficient and accurate.


Space Public Outreach Team Successful STEM Engagement on Complex Technical Topics. It is the responsibility of today's scientists, engineers, and educators to inspire and encourage our youth into technical careers that benefit our society. Too often, however, this responsibility is buried beneath daily job demands and the routines of teaching. Space Public Outreach Team (SPOT) programs leverage a train the trainer model to empower college students to make meaningful impacts in their local communities by engaging and inspiring younger students through science presentations. SPOT takes advantage of the excitement of space and the natural way college students serve as role models for children. The result is a win win program for all involved. This paper describes the original Montana SPOT program, presents analyses demonstrating the success of SPOT, gives overviews of program adaptations in West Virginia and with the NANOGrav collaboration, describes how college student presenters are able to share complex topics, and discusses the importance of college student role models. We hope that our experiences with SPOT will help others implement similar strategies in their own communities.


On completion of unimodular rows over polynomial extension of finitely generated rings over mathbb Z . In this article, we prove that if R is a finitely generated ring over mathbb Z of dimension d, d geq2, frac 1 d! in R , then any unimodular row over R X of length d 1 can be mapped to a factorial row by elementary transformations.


High order ALE gas kinetic scheme with unstructured WENO reconstruction. In this paper, a high order multi dimensional gas kinetic scheme is presented for both inviscid and viscous flows in arbitrary Lagrangian Eulerian (ALE) formulation. Compared with the traditional ALE method, the flow variables are updated in the finite volume framework, and the rezoning and remapping steps are not required. The two stage fourth order method is used for the temporal discretization, and the second order gas kinetic solver is applied for the flux evaluation. In the two stage method, the spatial reconstruction is performed at both initial and intermediate stage, and the computational mesh at the corresponding stage is given by the specified mesh velocity. In the moving mesh procedure, the mesh may distort severely and the mesh quality is reduced. To achieve the accuracy and improve the robustness, the newly developed WENO method cite un WENO3 on quadrilateral unstructured meshes is adopted at each stage. The Gaussian quadrature is used for flux calculation. For each Gaussian point, the reconstruction performed in the local moving coordinate, where the variation of mesh velocity is taken into account. Therefore, the accuracy and geometric conservation law can be well preserved by the current scheme even with the largely deforming mesh. Numerical examples are presented to validate the performance of current scheme, where the mesh adaptation method and cell centered Lagrangian method are used to provide mesh velocity.


(TE) structures over the irreducible 2 dimensional globally nilpotent F manifold germ. We find formal and holomorphic normal forms for a class of meromorphic connections (the so called (TE) structures) over the irreducible 2 dimensional globally nilpotent F manifold germ mathcal N 2 . We find normal forms for Euler fields on mathcal N 2 and we characterize the Euler fields on mathcal N 2 which are induced by a (TE) structure.


Shadowing for codimension one sectional Anosov flows. In hyperbolic dynamics, a well known result is that every hyperbolic attracting set, have a finite pseudo orbit tracing property (FPOTP). It's natural to wonder if this result is maintained in the sectional hyperbolic dynamics Komuro in Lorenz attractors do not have the pseudo orbit tracing property , provides a negative answer for this question, by proving that the geometric Lorenz Attractor doesn't have a FPOTP. In this paper, we generalized the result of Komuro, we prove that every codimension one sectional hyperbolic attractor set with a unique singularity Lorenz like, which is of boundary type, does not have FPOTP.


A Probabilistic Approach for Data Management in Pervasive Computing Applications. Current advances in Pervasive Computing (PC) involve the adoption of the huge infrastructures of the Internet of Things (IoT) and the Edge Computing (EC). Both, IoT and EC, can support innovative applications around end users to facilitate their activities. Such applications are built upon the collected data and the appropriate processing demanded in the form of requests. To limit the latency, instead of relying on Cloud for data storage and processing, the research community provides a number of models for data management at the EC. Requests, usually defined in the form of tasks or queries, demand the processing of specific data. A model for pre processing the data preparing them and detecting their statistics before requests arrive is necessary. In this paper, we propose a promising and easy to implement scheme for selecting the appropriate host of the incoming data based on a probabilistic approach. Our aim is to store similar data in the same distributed datasets to have, beforehand, knowledge on their statistics while keeping their solidity at high levels. As solidity, we consider the limited statistical deviation of data, thus, we can support the storage of highly correlated data in the same dataset. Additionally, we propose an aggregation mechanism for outliers detection applied just after the arrival of data. Outliers are transferred to Cloud for further processing. When data are accepted to be locally stored, we propose a model for selecting the appropriate datasets where they will be replicated for building a fault tolerant system. We analytically describe our model and evaluate it through extensive simulations presenting its pros and cons.


High Speed Robot Navigation using Predicted Occupancy Maps. Safe and high speed navigation is a key enabling capability for real world deployment of robotic systems. A significant limitation of existing approaches is the computational bottleneck associated with explicit mapping and the limited field of view (FOV) of existing sensor technologies. In this paper, we study algorithmic approaches that allow the robot to predict spaces extending beyond the sensor horizon for robust planning at high speeds. We accomplish this using a generative neural network trained from real world data without requiring human annotated labels. Further, we extend our existing control algorithms to support leveraging the predicted spaces to improve collision free planning and navigation at high speeds. Our experiments are conducted on a physical robot based on the MIT race car using an RGBD sensor where were able to demonstrate improved performance at 4 m s compared to a controller not operating on predicted regions of the map.


Response of Vertical Velocities in Extratropical Precipitation Extremes to Climate Change. Precipitation extremes intensify in most regions in climate model projections. Changes in vertical velocities contribute to the changes in intensity of precipitation extremes but remain poorly understood. Here, we find that mid tropospheric vertical velocities in extratropical precipitation extremes strengthen overall in simulations of 21st century climate change. For each extreme event, we solve the quasi geostrophic omega equation to decompose this strengthening into different physical contributions. We first consider a dry decomposition in which latent heating is treated as an external forcing of upward motion. Much of the positive contribution to upward motion from increased latent heating is offset by negative contributions from increases in dry static stability and changes in the horizontal length scale of vertical velocities. However, taking changes in latent heating as given is a limitation when the aim is to understand changes in precipitation, since latent heating and precipitation are closely linked. Therefore, we also perform a moist decomposition of the changes in vertical velocities in which latent heating is represented through a moist static stability. In the moist decomposition, changes in moist static stability play a key role and contributions from other factors such as changes in the depth of the upward motion increase in importance. While both dry and moist decompositions are self consistent, the moist dynamical perspective has greater potential to give insights into the causes of the dynamical contributions to changes in precipitation extremes in different regions.


The density and minimal gap of visible points in some planar quasicrystals. We give formulas for the density of visible points of several families of planar quasicrystals, which include the Ammann Beenker point set and vertex sets of some rhombic Penrose tilings. These densities are used in order to calculate the limiting minimal normalised gap between the angles of visible points in two families of planar quasicrystals, which include the Ammann Beenker point set and vertex sets of some rhombic Penrose tilings.


Multiscale simulations for multi continuum Richards equations. In this paper, we study a multiscale method for simulating a dual continuum unsaturated flow problem within complex heterogeneous fractured porous media. Mathematically, each of the dual continua is modeled by a multiscale Richards equation (for pressure head), and these equations are coupled to one another by transfer terms. On its own, Richards equation is already a nonlinear partial differential equation, and it is exceedingly difficult to solve numerically due to the extra nonlinear dependencies involving the soil water. To deal with multiple scales, our strategy is that starting from a microscopic scale, we upscale the coupled system of dual continuum Richards equations via homogenization by the two scale asymptotic expansion, to obtain a homogenized system, at an intermediate scale (level). Based on a hierarchical approach, the homogenization's effective coefficients are computed through solving the arising cell problems. To tackle the nonlinearity, after time discretization, we use Picard iteration procedure for linearization of the homogenized Richards equations. At each Picard iteration, some degree of multiscale still remains from the intermediate level, so we utilize the generalized multiscale finite element method (GMsFEM) combining with a multi continuum approach, to upscale the homogenized system to a macroscopic (coarse grid) level. This scheme involves building uncoupled and coupled multiscale basis functions, which are used not only to construct coarse grid solution approximation with high accuracy but also (with the coupled multiscale basis) to capture the interactions among continua. These prospects and convergence are demonstrated by several numerical results for the proposed method.


A note on the maximal rank. We give an upper bound for the X rank of points with respect to a non degenerate irreducible variety X in the case that sub generic X rank points generate a hypersurface. We give examples where this bound is sharp and it improves the existing ones.


Belief places and spaces Mapping cognitive environments. Beliefs are not facts, but they are factive they feel like facts. This property is what can make misinformation dangerous. Being able to deliberately navigate through a landscape of often conflicting factive statements is difficult when there is no way to show the relationships between them without incorporating the information in linear, narrative forms. In this paper, we present a mechanism to produce maps of belief places, where populations agree on salient features of fictional environments, and belief spaces, where subgroups have related but distinct perspectives. Using a model developed using agent based simulation, we show that by observing the repeated behaviors of human participants in the same social context, it is possible to build maps that show the shared narrative environment overlaid with traces that show unique, individual or subgroup perspectives. Our contribution is a proof of concept system, based on the affordances of fantasy tabletop role playing games, which support multiple groups interacting with the same dungeon in a controlled, online environment. The techniques used in this process are mathematically straightforward, and should be generalizable to auto generating larger scale maps of belief spaces from other corpora, such as discussions on social media.


The 2 connected bottleneck Steiner network problem is NP hard in any ell p plane. Bottleneck Steiner networks model energy consumption in wireless ad hoc networks. The task is to design a network spanning a given set of terminals and at most k Steiner points such that the length of the longest edge is minimised. The problem has been extensively studied for the case where an optimal solution is a tree in the Euclidean plane. However, in order to model a wider range of applications, including fault tolerant networks, it is necessary to consider multi connectivity constraints for networks embedded in more general metrics. We show that the 2 connected bottleneck Steiner network problem is NP hard in any planar p norm and, in fact, if P , neq , NP then an optimal solution cannot be approximated to within a ratio of 2 frac 1 p epsilon in polynomial time for any epsilon 0 and 1 leq p infty .


Affine group dg schemes and linear representations I Basic theory and Tannakian reconstructions. We develop a basic theory of affine group dg schemes, their Lie algebraic counterparts and linear representations. We prove Tannaka type reconstruction theorems that an affine group dg scheme can be recovered from the dg tensor category of its linear representations as well as from the rigid dg tensor category of its finite dimensional linear representations along with the forgetful functors to the underlying dg tensor category of cochain complexes.


Autonomous Outdoor Scanning via Online Topological and Geometric Path Optimization. Autonomous 3D acquisition of outdoor environments poses special challenges. Different from indoor scenes, where the room space is delineated by clear boundaries and separations (e.g., walls and furniture), an outdoor environment is spacious and unbounded (thinking of a campus). Therefore, unlike for indoor scenes where the scanning effort is mainly devoted to the discovery of boundary surfaces, scanning an open and unbounded area requires actively delimiting the extent of scanning region and dynamically planning a traverse path within that region. Thus, for outdoor scenes, we formulate the planning of an energy efficient autonomous scanning through a discrete continuous optimization of robot scanning paths. The discrete optimization computes a topological map, through solving an online traveling sales problem (Online TSP), which determines the scanning goals and paths on the fly. The dynamic goals are determined as a collection of visit sites with high reward of visibility to unknown. A visit graph is constructed via connecting the visit sites with edges weighted by traversing cost. This topological map evolves as the robot scans via deleting outdated sites that are either visited or become rewardless and inserting newly discovered ones. The continuous part optimizes the traverse paths geometrically between two neighboring visit sites via maximizing the information gain of scanning along the paths. The discrete and continuous processes alternate until the traverse cost of the current graph exceeds the remaining energy capacity of the robot. Our approach is evaluated with both synthetic and field tests, demonstrating its effectiveness and advantages over alternatives. The project is at http vcc.szu.edu.cn research 2020 Husky, and the codes are available at https github.com alualu628628 Autonomous Outdoor Scanning via Online Topological and Geometric Path Optimization.


Circumvention by design dark patterns in cookie consents for online news outlets. To ensure that users of online services understand what data are collected and how they are used in algorithmic decision making, the European Union's General Data Protection Regulation (GDPR) specifies informed consent as a minimal requirement. For online news outlets consent is commonly elicited through interface design elements in the form of a pop up. We have manually analyzed 300 data collection consent notices from news outlets that are built to ensure compliance with GDPR. The analysis uncovered a variety of strategies or dark patterns that circumvent the intent of GDPR by design. We further study the presence and variety of these dark patterns in these "cookie consents" and use our observations to specify the concept of dark pattern in the context of consent elicitation.


Predicting charge density distribution of materials using a local environment based graph convolutional network. Electron charge density distribution of materials is one of the key quantities in computational materials science as theoretically it determines the ground state energy and practically it is used in many materials analyses. However, the scaling of density functional theory calculations with number of atoms limits the usage of charge density based calculations and analyses. Here we introduce a machine learning scheme with local environment based graphs and graph convolutional neural networks to predict charge density on grid points from crystal structure. We show the accuracy of this scheme through a comparison of predicted charge densities as well as properties derived from the charge density, and the scaling is O(N). More importantly, the transferability is shown to be high with respect to different compositions and structures, which results from the explicit encoding of geometry.


Anteater Interactive Visualization of Program Execution Values in Context. Debugging is famously one the hardest parts in programming. In this paper, we tackle the question what does a debugging environment look like when we take interactive visualization as a central design principle? We introduce Anteater, an interactive visualization system for tracing and exploring the execution of Python programs. Existing systems often have visualization components built on top of an existing infrastructure. In contrast, Anteater's organization of trace data enables an intermediate representation which can be leveraged to automatically synthesize a variety of visualizations and interactions. These interactive visualizations help with tasks such as discovering important structures in the execution and understanding and debugging unexpected behaviors. To assess the utility of Anteater, we conducted a participant study where programmers completed tasks on their own python programs using Anteater. Finally, we discuss limitations and where further research is needed.


MultiGBS A multi layer graph approach to biomedical summarization. Automatic text summarization methods generate a shorter version of the input text to assist the reader in gaining a quick yet informative gist. Existing text summarization methods generally focus on a single aspect of text when selecting sentences, causing the potential loss of essential information. In this study, we propose a domain specific method that models a document as a multi layer graph to enable multiple features of the text to be processed at the same time. The features we used in this paper are word similarity, semantic similarity, and co reference similarity, which are modelled as three different layers. The unsupervised method selects sentences from the multi layer graph based on the MultiRank algorithm and the number of concepts. The proposed MultiGBS algorithm employs UMLS and extracts the concepts and relationships using different tools such as SemRep, MetaMap, and OGER. Extensive evaluation by ROUGE and BERTScore shows increased F measure values.


G IDS Generative Adversarial Networks Assisted Intrusion Detection System. The boundaries of cyber physical systems (CPS) and the Internet of Things (IoT) are converging together day by day to introduce a common platform on hybrid systems. Moreover, the combination of artificial intelligence (AI) with CPS creates a new dimension of technological advancement. All these connectivity and dependability are creating massive space for the attackers to launch cyber attacks. To defend against these attacks, intrusion detection system (IDS) has been widely used. However, emerging CPS technologies suffer from imbalanced and missing sample data, which makes the training of IDS difficult. In this paper, we propose a generative adversarial network (GAN) based intrusion detection system (G IDS), where GAN generates synthetic samples, and IDS gets trained on them along with the original ones. G IDS also fixes the difficulties of imbalanced or missing data problems. We model a network security dataset for an emerging CPS using NSL KDD 99 dataset and evaluate our proposed model's performance using different metrics. We find that our proposed G IDS model performs much better in attack detection and model stabilization during the training process than a standalone IDS.


Forcing Axioms, the Uniformization and the Basis Property. We show that there are models of MA where the boldface Sigma 1 3 uniformization property holds. Further we show that BPFA and the assertion aleph 1 is accessible to reals outright implies that the boldface Sigma 1 3 uniformization property is true.


Small object arguments, plus construction, and left exact localizations. We present a variant of the small object argument, inspired by Kelly, better suited to construct unique factorisation systems. Our main result is to compare it to the plus construction involved in sheafification. We apply this to construct localizations, modalities and left exact localizations explicitly from generators.


physics.med-ph cs.NA math.NA physics.comp-ph

A survey of computational frameworks for solving the acoustic inverse problem in three dimensional photoacoustic computed tomography. Photoacoustic computed tomography (PACT), also known as optoacoustic tomography, is an emerging imaging technique that holds great promise for biomedical imaging. PACT is a hybrid imaging method that can exploit the strong endogenous contrast of optical methods along with the high spatial resolution of ultrasound methods. In its canonical form that is addressed in this article, PACT seeks to estimate the photoacoustically induced initial pressure distribution within the object. Image reconstruction methods are employed to solve the acoustic inverse problem associated with the image formation process. When an idealized imaging scenario is considered, analytic solutions to the PACT inverse problem are available however, in practice, numerous challenges exist that are more readily addressed within an optimization based, or iterative, image reconstruction framework. In this article, the PACT image reconstruction problem is reviewed within the context of modern optimization based image reconstruction methodologies. Imaging models that relate the measured photoacoustic wavefields to the sought after object function are described in their continuous and discrete forms. The basic principles of optimization based image reconstruction from discrete PACT measurement data are presented, which includes a review of methods for modeling the PACT measurement system response and other important physical factors. Non conventional formulations of the PACT image reconstruction problem, in which acoustic parameters of the medium are concurrently estimated along with the PACT image, are also introduced and reviewed.


Comparing Alternative Route Planning Techniques A Comparative User Study on Melbourne, Dhaka and Copenhagen Road Networks. Many modern navigation systems and map based services do not only provide the fastest route from a source location s to a target location t but also provide a few alternative routes to the users as more options to choose from. Consequently, computing alternative paths has received significant research attention. However, it is unclear which of the existing approaches generates alternative routes of better quality because the quality of these alternatives is mostly subjective. Motivated by this, in this paper, we present a user study conducted on the road networks of Melbourne, Dhaka and Copenhagen that compares the quality (as perceived by the users) of the alternative routes generated by four of the most popular existing approaches including the routes provided by Google Maps. We also present a web based demo system that can be accessed using any internet enabled device and allows users to see the alternative routes generated by the four approaches for any pair of selected source and target. We report the average ratings received by the four approaches and our statistical analysis shows that there is no credible evidence that the four approaches receive different ratings on average. We also discuss the limitations of this user study and recommend the readers to interpret these results with caution because certain factors may have affected the participants' ratings.


From heterogeneous microscopic traffic flow models to macroscopic models. The goal of this paper is to derive rigorously macroscopic traffic flow models from microscopic models. More precisely, for the microscopic models, we consider follow the leader type models with different types of drivers and vehicles which are distributed randomly on the road. After a rescaling, we show that the cumulative distribution function converge to the solution of a macroscopic model. We also make the link between this macroscopic model and the so called LWR model.


On the chromatic number of the preferential attachment graph. We prove that for every m in mathbb N and every delta in ( m,0) , the chromatic number of the preferential attachment graph PA t(m, delta) is asymptotically almost surely equal to m 1 . The proof relies on a combinatorial construction of a family of digraphs of chromatic number m 1 followed by a proof that asymptotically almost surely there is a digraph in this family, which is realised as a subgraph of the preferential attachment graph.


Leveraging Auxiliary Text for Deep Recognition of Unseen Visual Relationships. One of the most difficult tasks in scene understanding is recognizing interactions between objects in an image. This task is often called visual relationship detection (VRD). We consider the question of whether, given auxiliary textual data in addition to the standard visual data used for training VRD models, VRD performance can be improved. We present a new deep model that can leverage additional textual data. Our model relies on a shared text image representation of subject verb object relationships appearing in the text, and object interactions in images. Our method is the first to enable recognition of visual relationships missing in the visual training data and appearing only in the auxiliary text. We test our approach on two different text sources text originating in images and text originating in books. We test and validate our approach using two large scale recognition tasks VRD and Scene Graph Generation. We show a surprising result Our approach works better with text originating in books, and outperforms the text originating in images on the task of unseen relationship recognition. It is comparable to the model which utilizes text originating in images on the task of seen relationship recognition.


Fast and Robust Initialization for Visual Inertial SLAM. Visual inertial SLAM (VI SLAM) requires a good initial estimation of the initial velocity, orientation with respect to gravity and gyroscope and accelerometer biases. In this paper we build on the initialization method proposed by Martinelli and extended by Kaiser et al. , modifying it to be more general and efficient. We improve accuracy with several rounds of visual inertial bundle adjustment, and robustify the method with novel observability and consensus tests, that discard erroneous solutions. Our results on the EuRoC dataset show that, while the original method produces scale errors up to 156 , our method is able to consistently initialize in less than two seconds with scale errors around 5 , which can be further reduced to less than 1 performing visual inertial bundle adjustment after ten seconds.


Understanding the Effectiveness of Data Reduction in Public Transportation Networks. Given a public transportation network of stations and connections, we want to find a minimum subset of stations such that each connection runs through a selected station. Although this problem is NP hard in general, real world instances are regularly solved almost completely by a set of simple reduction rules. To explain this behavior, we view transportation networks as hitting set instances and identify two characteristic properties, locality and heterogeneity. We then devise a randomized model to generate hitting set instances with adjustable properties. While the heterogeneity does influence the effectiveness of the reduction rules, the generated instances show that locality is the significant factor. Beyond that, we prove that the effectiveness of the reduction rules is independent of the underlying graph structure. Finally, we show that high locality is also prevalent in instances from other domains, facilitating a fast computation of minimum hitting sets.


Combinatorial Algorithms for Edge Disjoint T Paths and Integer Free Multiflow. Let G (V,E) be a multigraph with a set T subseteq V of terminals. A path in G is called a T path if its ends are distinct vertices in T and no internal vertices belong to T . In 1978, Mader showed a characterization of the maximum number of edge disjoint T paths. The original proof was not constructive, and hence it did not suggest an efficient algorithm. In this paper, we provide a combinatorial, deterministic algorithm for finding the maximum number of edge disjoint T paths. The algorithm adopts an augmenting path approach. More specifically, we introduce a novel concept of augmenting walks in auxiliary labeled graphs to capture a possible augmentation of the number of edge disjoint T paths. To design a search procedure for an augmenting walk, we introduce blossoms analogously to the matching algorithm of Edmonds (1965), while it is neither a special case nor a generalization of the present problem. When the search procedure terminates without finding an augmenting walk, the algorithm provides a certificate for the optimality of the current edge disjoint T paths. Thus the correctness argument of the algorithm serves as an alternative direct proof of Mader's theorem on edge disjoint T paths. The algorithm runs in O( V cdot E 2) time, which is much faster than the best known deterministic algorithm based on a reduction to the linear matroid parity problem. We also present a strongly polynomial algorithm for solving the integer free multiflow problem, which asks for a nonnegative integer combination of T paths maximizing the sum of the coefficients subject to capacity constraints on the edges.


Homology of GL n over infinite fields outside the stability range. For an infinite field F , we study the kernel of the map H n ( mathrm GL n 1 (F), mathbb Z Big frac 1 (m 2)! Big ) to H n ( mathrm GL n (F), mathbb Z Big frac 1 (m 2)! Big ) and the cokernel of H n 1 Big( mathrm GL n 1 (F), mathbb Z Big frac 1 (m 2)! Big Big) to H n 1 Big( mathrm GL n (F), mathbb Z Big frac 1 (m 2)! Big Big) . We give conjectural estimates of these kernels and cokernels and prove our conjectures for n leq 4 .


Some remarks on the maximally modulated Calder 'on Zygmund operator satisfying L r H "ormander condition. In this work, by recent work of Lerner and Ombrasi (J. Geom. Anal. 30(1) 1011 1027, 2020), we show a maximally modulated singular integral operator which its kernel satisfying L r H "ormander condition can be dominated by sparse operators. Also, the local exponential decay estimates for these operators are obtained.


Semantically Adaptive Image to image Translation for Domain Adaptation of Semantic Segmentation. Domain shift is a very challenging problem for semantic segmentation. Any model can be easily trained on synthetic data, where images and labels are artificially generated, but it will perform poorly when deployed on real environments. In this paper, we address the problem of domain adaptation for semantic segmentation of street scenes. Many state of the art approaches focus on translating the source image while imposing that the result should be semantically consistent with the input. However, we advocate that the image semantics can also be exploited to guide the translation algorithm. To this end, we rethink the generative model to enforce this assumption and strengthen the connection between pixel level and feature level domain alignment. We conduct extensive experiments by training common semantic segmentation models with our method and show that the results we obtain on the synthetic to real benchmarks surpass the state of the art.


Enhancing the Vertical Mobility of a Robot Hexapod Using Microspines. Modern climbing robots have risen to great heights, but mechanisms meant to scale cliffs often locomote slowly and over cautiously on level ground. Here we introduce T RHex, an iteration on the classic cockroach inspired hexapod that has been augmented with microspine feet for climbing. T RHex is a mechanically intelligent platform capable of efficient locomotion on ground with added climbing abilities. The legs integrate the compliance required for the microspines with the compliance required for locomotion in order to simplify the design and reduce mass. The microspine fabrication is simplified by embedding the spines during an additive manufacturing process. We present results that show that the addition of microspines to the T RHex platform greatly increases the maximum slope that the robot is able to statically hang on (up to a 45 degree overhang) and ascend (up to 55 degrees) without sacrificing ground mobility.


What Changed Your Mind The Roles of Dynamic Topics and Discourse in Argumentation Process. In our world with full of uncertainty, debates and argumentation contribute to the progress of science and society. Despite of the increasing attention to characterize human arguments, most progress made so far focus on the debate outcome, largely ignoring the dynamic patterns in argumentation processes. This paper presents a study that automatically analyzes the key factors in argument persuasiveness, beyond simply predicting who will persuade whom. Specifically, we propose a novel neural model that is able to dynamically track the changes of latent topics and discourse in argumentative conversations, allowing the investigation of their roles in influencing the outcomes of persuasion. Extensive experiments have been conducted on argumentative conversations on both social media and supreme court. The results show that our model outperforms state of the art models in identifying persuasive arguments via explicitly exploring dynamic factors of topic and discourse. We further analyze the effects of topics and discourse on persuasiveness, and find that they are both useful topics provide concrete evidence while superior discourse styles may bias participants, especially in social media arguments. In addition, we draw some findings from our empirical results, which will help people better engage in future persuasive conversations.


Growth in Chevalley groups relatively to parabolic subgroups and some applications. Given a Chevalley group mathbf G (q) and a parabolic subgroup P subset mathbf G (q) , we prove that for any set A there is a certain growth of A relatively to P , namely, either AP or PA is much larger than A . Also, we study a question about intersection of A n with parabolic subgroups P for large n . We apply our method to obtain some results on a modular form of Zaremba's conjecture from the theory of continued fractions and make the first step towards Hensley's conjecture about some Cantor sets with Hausdorff dimension greater than 1 2 .


360SD Net 360 deg Stereo Depth Estimation with Learnable Cost Volume. Recently, end to end trainable deep neural networks have significantly improved stereo depth estimation for perspective images. However, 360 deg images captured under equirectangular projection cannot benefit from directly adopting existing methods due to distortion introduced (i.e., lines in 3D are not projected onto lines in 2D). To tackle this issue, we present a novel architecture specifically designed for spherical disparity using the setting of top bottom 360 deg camera pairs. Moreover, we propose to mitigate the distortion issue by (1) an additional input branch capturing the position and relation of each pixel in the spherical coordinate, and (2) a cost volume built upon a learnable shifting filter. Due to the lack of 360 deg stereo data, we collect two 360 deg stereo datasets from Matterport3D and Stanford3D for training and evaluation. Extensive experiments and ablation study are provided to validate our method against existing algorithms. Finally, we show promising results on real world environments capturing images with two consumer level cameras.


Patch redundancy in images a statistical testing framework and some applications. In this work we introduce a statistical framework in order to analyze the spatial redundancy in natural images. This notion of spatial redundancy must be defined locally and thus we give some examples of functions (auto similarity and template similarity) which, given one or two images, computes a similarity measurement between patches. Two patches are said to be similar if the similarity measurement is small enough. To derive a criterion for taking a decision on the similarity between two patches we present an a contrario model. Namely, two patches are said to be similar if the associated similarity measurement is unlikely to happen in a background model. Choosing Gaussian random fields as background models we derive non asymptotic expressions for the probability distribution function of similarity measurements. We introduce a fast algorithm in order to assess redundancy in natural images and present applications in denoising, periodicity analysis and texture ranking.


Small doubling in cyclic groups. We give a comprehensive description of the sets A in finite cyclic groups such that 2A frac94 A namely, we show that any set with this property is densely contained in a (one dimensional) coset progression. This improves earlier results of Deshouillers Freiman and Balasubramanian Pandey.


DialogueTRM Exploring the Intra and Inter Modal Emotional Behaviors in the Conversation. Emotion Recognition in Conversations (ERC) is essential for building empathetic human machine systems. Existing studies on ERC primarily focus on summarizing the context information in a conversation, however, ignoring the differentiated emotional behaviors within and across different modalities. Designing appropriate strategies that fit the differentiated multi modal emotional behaviors can produce more accurate emotional predictions. Thus, we propose the DialogueTransformer to explore the differentiated emotional behaviors from the intra and inter modal perspectives. For intra modal, we construct a novel Hierarchical Transformer that can easily switch between sequential and feed forward structures according to the differentiated context preference within each modality. For inter modal, we constitute a novel Multi Grained Interactive Fusion that applies both neuron and vector grained feature interactions to learn the differentiated contributions across all modalities. Experimental results show that DialogueTRM outperforms the state of the art by a significant margin on three benchmark datasets.


Dual Adaptive Pyramid Network for Cross Stain Histopathology Image Segmentation. Supervised semantic segmentation normally assumes the test data being in a similar data domain as the training data. However, in practice, the domain mismatch between the training and unseen data could lead to a significant performance drop. Obtaining accurate pixel wise label for images in different domains is tedious and labor intensive, especially for histopathology images. In this paper, we propose a dual adaptive pyramid network (DAPNet) for histopathological gland segmentation adapting from one stain domain to another. We tackle the domain adaptation problem on two levels 1) the image level considers the differences of image color and style 2) the feature level addresses the spatial inconsistency between two domains. The two components are implemented as domain classifiers with adversarial training. We evaluate our new approach using two gland segmentation datasets with H E and DAB H stains respectively. The extensive experiments and ablation study demonstrate the effectiveness of our approach on the domain adaptive segmentation task. We show that the proposed approach performs favorably against other state of the art methods.


IMRAM Iterative Matching with Recurrent Attention Memory for Cross Modal Image Text Retrieval. Enabling bi directional retrieval of images and texts is important for understanding the correspondence between vision and language. Existing methods leverage the attention mechanism to explore such correspondence in a fine grained manner. However, most of them consider all semantics equally and thus align them uniformly, regardless of their diverse complexities. In fact, semantics are diverse (i.e. involving different kinds of semantic concepts), and humans usually follow a latent structure to combine them into understandable languages. It may be difficult to optimally capture such sophisticated correspondences in existing methods. In this paper, to address such a deficiency, we propose an Iterative Matching with Recurrent Attention Memory (IMRAM) method, in which correspondences between images and texts are captured with multiple steps of alignments. Specifically, we introduce an iterative matching scheme to explore such fine grained correspondence progressively. A memory distillation unit is used to refine alignment knowledge from early steps to later ones. Experiment results on three benchmark datasets, i.e. Flickr8K, Flickr30K, and MS COCO, show that our IMRAM achieves state of the art performance, well demonstrating its effectiveness. Experiments on a practical business advertisement dataset, named Ads , further validates the applicability of our method in practical scenarios.


The Smart Parking Management System. With growing, Car parking increases with the number of car users. With the increased use of smartphones and their applications, users prefer mobile phone based solutions. This paper proposes the Smart Parking Management System (SPMS) that depends on Arduino parts, Android applications, and based on IoT. This gave the client the ability to check available parking spaces and reserve a parking spot. IR sensors are utilized to know if a car park space is allowed. Its area data are transmitted using the WI FI module to the server and are recovered by the mobile application which offers many options attractively and with no cost to users and lets the user check reservation details. With IoT technology, the smart parking system can be connected wirelessly to easily track available locations.


Lossless, Complex Valued Optical Field Control with Compound Metaoptics. Forming a desired optical field distribution from a given source requires precise spatial control of a field's amplitude and phase. Low loss metasurfaces that allow extreme phase and polarization control of optical fields have been demonstrated over the past few years. However, metasurfaces that provide amplitude control have remained lossy, utilizing mechanisms such as reflection, absorption, or polarization loss to control amplitude. Here, we describe the amplitude and phase manipulation of optical fields without loss, by using two lossless phase only metasurfaces separated by a distance. We first demonstrate a combined beam former and splitter optical component using this approach. Next, we show a high quality computer generated three dimensional hologram. The proposed metaoptic platform combines the advantage of lossless, complex valued field control with a physically small thickness. This approach could lead to low profile, three dimensional holographic displays, compact optical components, and high precision optical tweezers for micro particle manipulation.


Please come back later Benefiting from deferrals in service systems. The performance evaluation of loss service systems, where customers who cannot be served upon arrival get dropped, has a long history going back to the classical Erlang B model. In this paper, we consider the performance benefits arising from the possibility of deferring customers who cannot be served upon arrival. Specifically, we consider an Erlang B type loss system where the system operator can, subject to certain constraints, ask a customer arriving when all servers are busy, to come back at a specified time in the future. If the system is still fully loaded when the deferred customer returns, she gets dropped for good. For such a system, we ask How should the system operator determine the rearrival times of the deferred customers based on the state of the system (which includes those customers already deferred and yet to arrive)? How does one quantify the performance benefit of such a deferral policy? Our contributions are as follows. We propose a simple state dependent policy for determining the rearrival times of deferred customers. For this policy, we characterize the long run fraction of customers dropped. We also analyse a relaxation where the deferral times are bounded in expectation. Via extensive numerical evaluations, we demonstrate the superiority of the proposed state dependent policies over naive state independent deferral policies.


Duality for optimal consumption with randomly terminating income. We establish a rigorous duality theory, under No Unbounded Profit with Bounded Risk, for an infinite horizon problem of optimal consumption in the presence of an income stream that can terminate randomly at an exponentially distributed time, independent of the asset prices. We thus close a duality gap encountered by Vellekoop and Davis in a version of this problem in a Black Scholes market. Many of the classical tenets of duality theory hold, with the notable exception that marginal utility at zero initial wealth is finite. We use as dual variables a class of supermartingale deflators such that deflated wealth plus cumulative deflated consumption in excess of income is a supermartingale. We show that the space of discounted local martingale deflators is dense in our dual domain, so that the dual problem can also be expressed as an infimum over the discounted local martingale deflators. We characterise the optimal wealth process, showing that optimal deflated wealth is a potential decaying to zero, while deflated wealth plus cumulative deflated consumption over income is a uniformly integrable martingale at the optimum. We apply the analysis to the Vellekoop and Davis example and give a numerical solution.


Typed lambda calculi and superclasses of regular functions. We propose to use Church encodings in typed lambda calculi as the basis for an automata theoretic counterpart of implicit computational complexity, in the same way that monadic second order logic provides a counterpart to descriptive complexity. Specifically, we look at transductions i.e. string to string (or tree to tree) functions in particular those with superlinear growth, such as polyregular functions, HDT0L transductions and S 'enizergues's "k computable mappings". Our first results towards this aim consist showing the inclusion of some transduction classes in some classes defined by lambda calculi. In particular, this sheds light on a basic open question on the expressivity of the simply typed lambda calculus. We also encode regular functions (and, by changing the type of programs considered, we get a larger subclass of polyregular functions) in the elementary affine lambda calculus, a variant of linear logic originally designed for implicit computational complexity.


Sharp inequalities for the numerical radius of Hilbert space operators and operator matrices. We present new upper and lower bounds for the numerical radius of a bounded linear operator defined on a complex Hilbert space, which improve on the existing bounds. Among many other inequalities proved in this article, we show that for a non zero bounded linear operator T on a Hilbert space H, w(T) geq frac T 2 frac m(T 2) 2 T , where w(T) is the numerical radius of T and m(T 2) is the Crawford number of T 2 . This substantially improves on the existing inequality w(T) geq frac T 2 . We also obtain some upper and lower bounds for the numerical radius of operator matrices and illustrate with numerical examples that these bounds are better than the existing bounds.


Relative Logarithmic Cohomology and Nambu Structures of Maximal Degree. We present local classification results for isolated singularities of functions with respect to a Nambu structure (multi vector field) of maximal degree, in a neighbourhood of a smooth point of its degeneracy hypersurface. The results depend on a logarithmic version of the Brieskorn Sebastiani theorem, which guarantees the finiteness and freeness of the corresponding deformation module. This relates the functional moduli of the classification problem with the integrals of logarithmic forms along the vanishing cycles of the complement of the Milnor fibers of the restriction of the function on the degeneracy hypersurface of the Nambu structure, inside the Milnor fibers of the function itself.


Business Process Full Compliance with Respect to a Set of Conditional Obligation in Polynomial Time. In this paper, we present a new methodology to evaluate whether a business process model is fully compliant with a regulatory framework composed of a set of conditional obligations. The methodology is based failure delta constraints that are evaluated on bottom up aggregations of a tree like representation of business process models. While the generic problem of proving full compliance is in coNP complete, we show that verifying full compliance can be done in polynomial time using our methodology, for an acyclic structured process model given a regulatory framework composed by a set of conditional obligations, whose elements are restricted to be represented by propositional literals


The Manin constant and the modular degree. The Manin constant c of an elliptic curve E over mathbb Q is the nonzero integer that scales the pullback of a N ' e ron differential under a minimal parametrization phi colon X 0(N) mathbb Q twoheadrightarrow E into the differential omega f determined by the normalized newform f associated to E . Manin conjectured that c pm 1 for optimal parametrizations, and we prove that in general c mid mathrm deg ( phi) under a minor assumption at 2 and 3 that is not needed for cube free N or for parametrizations by X 1(N) mathbb Q . Since c is supported at the additive reduction primes, which need not divide mathrm deg ( phi) , this improves the status of the Manin conjecture for many E . For the proof, we settle a part of the Manin conjecture by establishing an integrality property of omega f necessary for it to hold. We reduce the latter to p adic bounds on denominators of the Fourier expansions of f at all the cusps of X 0(N) mathbb C and then use the recent basic identity for the p adic Whittaker newform to establish stronger bounds in the more general setup of newforms of weight k on X 0(N) . To overcome obstacles at 2 and 3 , we analyze nondihedral supercuspidal representations of mathrm GL 2( mathbb Q 2) and exhibit new cases in which X 0(N) mathbb Z has rational singularities.


On multiplicative properties of combinatorial cubes. We obtain a series of lower bounds for the product set of combinatorial cubes, as well as some non trivial upper estimates for the multiplicative energy of such sets.


Semigroups in 3 graded Lie groups and endomorphisms of standard subspaces. Let V be a standard subspace in the complex Hilbert space H and U G to U(H) be a unitary representation of a finite dimensional Lie group. We assume the existence of an element h in the Lie algebra of G such that U(exp th) is the modular group of V and that the modular involution J V normalizes U(G). We want to determine the semigroup S V g in G U(g)V subseteq V . In previous work we have seen that its infinitesimal generators span a Lie algebra on which ad h defines a 3 grading, and here we completely determine the semigroup S V under the assumption that ad h defines a 3 grading. Concretely, we show that the ad h eigenspaces for the eigenvalue pm 1 contain closed convex cones C pm , such that S V exp(C ) G V exp(C ) , where G V is the stabilizer of V in G. To obtain this result we compare several subsemigroups of G specified by the grading and the positive cone C U of U. In particular, we show that the orbit U(G)V, endowed with the inclusion order, is an ordered symmetric space covering the adjoint orbit Ad(G)h , endowed with the partial order defined by C U .


Uniqueness of a planar contact discontinuity for 3D compressible Euler system in a class of zero dissipation limits from Navier Stokes Fourier system. We prove the stability of contact discontinuities without shear, a family of special discontinuous solutions for the three dimensional full Euler systems, in the class of vanishing dissipation limits of the corresponding Navier Stokes Fourier system. We also show that solutions of the Navier Stokes Fourier system converge to the contact discontinuity when the initial datum converges to the contact discontinuity itself. This implies the uniqueness of the contact discontinuity in the class that we are considering. Our results give an answer to the open question, whether the contact discontinuity is unique for the multi D compressible Euler system. Our proof is based on the relative entropy method, together with the theory of a contraction up to a shift.


WeChat Neural Machine Translation Systems for WMT20. We participate in the WMT 2020 shared news translation task on Chinese to English. Our system is based on the Transformer (Vaswani et al., 2017a) with effective variants and the DTMT (Meng and Zhang, 2019) architecture. In our experiments, we employ data selection, several synthetic data generation approaches (i.e., back translation, knowledge distillation, and iterative in domain knowledge transfer), advanced finetuning approaches and self bleu based model ensemble. Our constrained Chinese to English system achieves 36.9 case sensitive BLEU score, which is the highest among all submissions.


On a Subclass of Meromorphic Univalent Functions Involving Hypergeometric Function. The main object of the present paper is to, introduce the. class of meromorphic univalent functions Involving! hypergeomatrc function .We obtain some interesting geometric properties according to coefficient inequality , growth and distortion theorems , radii of starlikeness and convexity for the" functions in our subclass.


Multi level Monte Carlo Finite Difference Methods for Fractional Conservation Laws with Random Data. We establish a notion of random entropy solution for degenerate fractional conservation laws incorporating randomness in the initial data, convective flux and diffusive flux. In order to quantify the solution uncertainty, we design a multi level Monte Carlo Finite Difference Method (MLMC FDM) to approximate the ensemble average of the random entropy solutions. Furthermore, we analyze the convergence rates for MLMC FDM and compare it with the convergence rates for the deterministic case. Additionally, we formulate error vs. work estimates for the multi level estimator. Finally, we present several numerical experiments to demonstrate the efficiency of these schemes and validate the theoretical estimates obtained in this work.


The Absent Minded Passengers Problem via Computer Algebra. In a delightful article that recently appeared in the American Mathematics Monthly, Norbert Henze and Guenter Last discuss the "Absent Minded Passengers" Problem, but left open finding an explicit expression for the probability generating function, of the random variable "Number of passengers occupying a wrong seat", when the number of absent minded passengers is larger than one. This is accomplished in this note, using experimental mathematics and symbolic computation. We also derive explicit expressions for the first 8 moments of the original case of one absent minded passenger, and indicate how to extend it to the general case


Maintaining Data Integrity in Fog Computing Based Critical Infrastructure Systems. The evolution of the utilization of technologies in nearly all aspects of life has produced an enormous amount of data essential in a smart city. Therefore, maximizing the benefits of technologies such as cloud computing, fog computing, and the Internet of things is important to manage and manipulate data in smart cities. However, certain types of data are sensitive and risky and may be infiltrated by malicious attacks. As a result, such data may be corrupted, thereby causing concern. The damage inflicted by an attacker on a set of data can spread through an entire database. Valid transactions that have read corrupted data can update other data items based on the values read. In this study, we introduce a unique model that uses fog computing in smart cities to manage utility service companies and consumer data. We also propose a novel technique to assess damage to data caused by an attack. Thus, original data can be recovered, and a database can be returned to its consistent state as no attacking has occurred.


Application and Assessment of Deep Learning for the Generation of Potential NMDA Receptor Antagonists. Uncompetitive antagonists of the N methyl D aspartate receptor (NMDAR) have demonstrated therapeutic benefit in the treatment of neurological diseases such as Parkinson's and Alzheimer's, but some also cause dissociative effects that have led to the synthesis of illicit drugs. The ability to generate NMDAR antagonists in silico is therefore desirable both for new medication development and for preempting and identifying new designer drugs. Recently, generative deep learning models have been applied to de novo drug design as a means to expand the amount of chemical space that can be explored for potential drug like compounds. In this study, we assess the application of a generative model to the NMDAR to achieve two primary objectives (i) the creation and release of a comprehensive library of experimentally validated NMDAR phencyclidine (PCP) site antagonists to assist the drug discovery community and (ii) an analysis of both the advantages conferred by applying such generative artificial intelligence models to drug design and the current limitations of the approach. We apply, and provide source code for, a variety of ligand and structure based assessment techniques used in standard drug discovery analyses to the deep learning generated compounds. We present twelve candidate antagonists that are not available in existing chemical databases to provide an example of what this type of workflow can achieve, though synthesis and experimental validation of these compounds is still required.


Error analysis of the SAV MAC scheme for the Navier Stokes equations. An efficient numerical scheme based on the scalar auxiliary variable (SAV) and marker and cell scheme (MAC) is constructed for the Navier Stokes equations. A particular feature of the scheme is that the nonlinear term is treated explicitly while being unconditionally energy stable. A rigorous error analysis is carried out to show that both velocity and pressure approximations are second order accurate in time and space. Numerical experiments are presented to verify the theoretical results.


Risk Averse Learning by Temporal Difference Methods. We consider reinforcement learning with performance evaluated by a dynamic risk measure. We construct a projected risk averse dynamic programming equation and study its properties. Then we propose risk averse counterparts of the methods of temporal differences and we prove their convergence with probability one. We also perform an empirical study on a complex transportation problem.


Multi Garment Net Learning to Dress 3D People from Images. We present Multi Garment Network (MGN), a method to predict body shape and clothing, layered on top of the SMPL model from a few frames (1 8) of a video. Several experiments demonstrate that this representation allows higher level of control when compared to single mesh or voxel representations of shape. Our model allows to predict garment geometry, relate it to the body shape, and transfer it to new body shapes and poses. To train MGN, we leverage a digital wardrobe containing 712 digital garments in correspondence, obtained with a novel method to register a set of clothing templates to a dataset of real 3D scans of people in different clothing and poses. Garments from the digital wardrobe, or predicted by MGN, can be used to dress any body shape in arbitrary poses. We will make publicly available the digital wardrobe, the MGN model, and code to dress SMPL with the garments.


The Dirichlet Problem for the k Hessian Equation on a complex manifold. We solve the Dirichlet problem for k Hessian equations on compact complex manifolds with boundary, given the existence of a subsolution. Our method is based on a second order a priori estimate of the solution on the boundary with a particular gradient scale. The scale allows us to apply a blow up argument to obtain control on all necessary norms of the solution.


A Markerless Deep Learning based 6 Degrees of Freedom PoseEstimation for with Mobile Robots using RGB Data. Augmented Reality has been subject to various integration efforts within industries due to its ability to enhance human machine interaction and understanding. Neural networks have achieved remarkable results in areas of computer vision, which bear great potential to assist and facilitate an enhanced Augmented Reality experience. However, most neural networks are computationally intensive and demand huge processing power thus, are not suitable for deployment on Augmented Reality devices. In this work we propose a method to deploy state of the art neural networks for real time 3D object localization on augmented reality devices. As a result, we provide a more automated method of calibrating the AR devices with mobile robotic systems. To accelerate the calibration process and enhance user experience, we focus on fast 2D detection approaches which are extracting the 3D pose of the object fast and accurately by using only 2D input. The results are implemented into an Augmented Reality application for intuitive robot control and sensor data visualization. For the 6D annotation of 2D images, we developed an annotation tool, which is, to our knowledge, the first open source tool to be available. We achieve feasible results which are generally applicable to any AR device thus making this work promising for further research in combining high demanding neural networks with Internet of Things devices.


Compact Merkle Multiproofs. The compact Merkle multiproof is a new and significantly more memory efficient way to generate and verify sparse Merkle multiproofs. A standard sparse Merkle multiproof requires to store an index for every non leaf hash in the multiproof. The compact Merkle multiproof on the other hand requires only k leaf indices, where k is the number of elements used for creating a multiproof. This significantly reduces the size of multirpoofs, especially for larger Merke trees.


DLFusion An Auto Tuning Compiler for Layer Fusion on Deep Neural Network Accelerator. Many hardware vendors have introduced specialized deep neural networks (DNN) accelerators owing to their superior performance and efficiency. As such, how to generate and optimize the code for the hardware accelerator becomes an important yet less explored problem. In this paper, we perform the compiler stage optimization study using a novel and representative Cambricon DNN accelerator and demonstrate that the code optimization knobs play an important role in unleashing the potential of hardware computational horsepower. However, even only two studied code optimization knobs, namely the number of cores and layer fusion scheme, present an enormous search space that prevents the naive brute force search. This work introduces a joint, auto tuning optimization framework to address this challenge. We first use a set of synthesized DNN layers to study the interplay between the hardware performance and layer characteristics. Based on the insights, we extract the operation count and feature map channel size as each layer's characteristics and derive a joint optimization strategy to decide the performance optimal core number and fusion scheme. We evaluate the performance of the proposed approach using a set of representative DNN models and show that it achieves the minimal of 3.6x and the maximal of 7.9x performance speedup compared to no optimization baseline. We also show that the achieved speedup is close to the oracle case that is based on a reduced brute force search but with much less search time.


Unboundedness of potential dependent Riesz transforms for totally irregular measures. We prove that, for totally irregular measures mu on mathbb R d with d geq3 , the (d 1) dimensional Riesz transform T A, mu V f(x) int mathbb R d nabla 1 mathcal E A V (x,y) f(y) , d mu(y) adapted to the Schr " o dinger operator L A V mathrm div A nabla V with fundamental solution mathcal E A V is not bounded on L 2 ( mu) . This generalises recent results obtained by Conde Alonso, Mourgoglou and Tolsa for free space elliptic operators with H "older continuous coefficients A since it allows for the presence of potentials V in the reverse H " o lder class RH d . We achieve this by obtaining new exponential decay estimates for the kernel nabla 1 mathcal E A V as well as H "older regularity estimates at local scales determined by the potential's critical radius function.


Monotonicity based inversion of fractional semilinear elliptic equations with power type nonlinearities. We investigate the monotonicity method for fractional semilinear elliptic equations with power type nonlinearities. We prove that if and only if monotonicity relations between coefficients and the derivative of the Dirichlet to Neumann map hold. Based on the strong monotonicity relations, we study a constructive global uniqueness for coefficients and inclusion detection for the fractional Calder 'on type inverse problem. Meanwhile, we can also derive the Lipschitz stability with finitely many measurements. The results hold for any n geq 1 .


No loss of derivatives for hyperbolic operators with Zygmund continuous coefficients in time. In this note we prove a well posedness result, without loss of derivatives, for strictly hyperbolic wave operators having coefficients which are Zygmund continuous in the time variable and Lipschitz continuous in the space variables. The proof is based on Tarama's idea of introducing a lower order corrector in the energy, in order to produce special algebraic cancellations when computing its time derivative, combined with paradifferential calculus with parameters, in order to handle the low regularity of the coefficients with respect to x .


Toward Edge enabled Cyber Physical Systems Testbeds. The use of edge computing can be extremely valuable in support of CPS efforts. However, few if any testbeds provide the type of resource control and provisioning required to support edge enabled CPS experimentation. Likewise, commercial offerings provide operational capabilities, but lack the distributed infrastructure and transparency provided by research testbed. In this paper we propose methods to develop new and augment existing testbeds to better support the challenges of edge computing and CPS research. The proposed network is specifically designed to address the challenges associated with edge based provisioning, data collection, analysis, monitoring, and measurement across islands of edge and data center resources. We present the purpose of our work, the basic architecture, initial results, the relationship to the existing software, and the potential of an existing edge focused framework to support the foundations of edge focused CPS testbeds.


Liouville type theorems for sign changing solutions to nonlocal elliptic inequalities and systems with variable exponent nonlinearities. We consider the fractional elliptic inequality with variable exponent nonlinearity ( Delta) frac alpha 2 u lambda , Delta u geq u p(x) , quad x in mathbb R N, where N geq 1 , alpha in (0,2) , lambda in mathbb R is a constant, p mathbb R N to (1, infty) is a measurable function, and ( Delta) frac alpha 2 is the fractional Laplacian operator of order frac alpha 2 . A Liouville type theorem is established for the considered problem. Namely, we obtain sufficient conditions under which the only weak solution is the trivial one. Next, we extend our study to systems of fractional elliptic inequalities with variable exponent nonlinearities. Besides the consideration of variable exponent nonlinearities, the novelty of this work consists in investigating sign changing solutions to the considered problems. Namely, to the best of our knowledge, only nonexistence results of positive solutions to fractional elliptic problems were invetigated previously. Our approach is based on the nonlinear capacity method combined with a pointwise estimate of the fractional Laplacian of some test functions, which was derived by Fujiwara (2018) (see also Dao and Reissig (2019)). Note that the standard nonlinear capacity method cannot be applied to the considered problems due to the change of sign of solutions.


Singular CR structures of constant Webster curvature and applications. We consider the sphere Sph 2n 1 equipped with its standard CR structure. In this paper we construct explicit contact forms on Sph 2n 1 setminus Sph 2k 1 , which are conformal to the standard one and whose related Webster metrics have constant Webster curvature in particular the curvature is positive if 2k n 2 . As main applications, we provide two perturbative results. In the first one we prove the existence of infinitely many contact structures on Sph 2n 1 setminus tau( Sph 1 ) conformal to the standard one and having constant Webster curvature, where tau( Sph 1 ) is a small perturbation of Sph 1 . In the second application, we show that there exist infinitely many bifurcating branches of periodic solutions to the CR Yamabe problem on Sph 2n 1 setminus Sph 1 having constant Webster curvature.


Nimble Lightweight and Parallel GPU Task Scheduling for Deep Learning. Deep learning (DL) frameworks take advantage of GPUs to improve the speed of DL inference and training. Ideally, DL frameworks should be able to fully utilize the computation power of GPUs such that the running time depends on the amount of computation assigned to GPUs. Yet, we observe that in scheduling GPU tasks, existing DL frameworks suffer from inefficiencies such as large scheduling overhead and unnecessary serial execution. To this end, we propose Nimble, a DL execution engine that runs GPU tasks in parallel with minimal scheduling overhead. Nimble introduces a novel technique called ahead of time (AoT) scheduling. Here, the scheduling procedure finishes before executing the GPU kernel, thereby removing most of the scheduling overhead during run time. Furthermore, Nimble automatically parallelizes the execution of GPU tasks by exploiting multiple GPU streams in a single GPU. Evaluation on a variety of neural networks shows that compared to PyTorch, Nimble speeds up inference and training by up to 22.34 times and 3.61 times , respectively. Moreover, Nimble outperforms state of the art inference systems, TensorRT and TVM, by up to 2.81 times and 1.70 times , respectively.


Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications. This volume contains a selection of papers presented at the 16th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2020). The workshops are the premier technical forum for presenting research and experiences related to ACL2.


Ultrafast X Ray Scattering New Views of Chemical Reaction Dynamics. The advent of ultrafast pulsed X ray free electron lasers with very high brightness has enabled the determination of transient molecular structures of small and medium sized organic molecules in excited states and undergoing chemical dynamics using X ray scattering. This chapter provides an introduction into X ray scattering theory and considers several important aspects relating to the experimental implementation. Ultrafast gas phase X ray scattering is shown to provide new observables to elucidate the dynamics of chemical reactions by providing complete, time dependent molecular structures. Consideration of correlations between structural parameters are important for molecules far from their equilibrium and the changes in electron density distributions of molecules upon optical excitation need to be considered in the analysis. Future technological developments are expected to lead to further important advances.


A splitting polynomial chaos expansion approach for stochastic evolution equations. In this paper, we combine deterministic splitting methods with a polynomial chaos expansion method for solving stochastic parabolic evolution problems. The stochastic differential equation is reduced to a system of deterministic equations that we solve explicitly by splitting methods. The method can be applied to a wide class of problems where the related stochastic processes are given uniquely in terms of stochastic polynomials. A comprehensive convergence analysis is provided and numerical experiments validate our approach.


On the braid group representations coming from weakly group theoretical fusion categories. We prove that representations of the braid groups coming from weakly group theoretical braided fusion categories have finite images.


What is the function of inter hemispheric inhibition?. It is widely supposed that following unilateral brain injury, there arises an asymmetry in inter hemispheric inhibition which has an adverse influence upon motor control. I argue that this 'inter hemispheric imbalance' model arises from a fundamental misunderstanding of the roles played by inter hemispheric (callosal) projections in mammalian brains. Drawing upon a large body of empirical data, derived largely from animal models, and associated theoretical modeling, it is demonstrated that inter hemispheric projections perform contrast enhancing and integrative functions via mechanisms such as surround lateral inhibition. The principal functional unit of callosal influence comprises a facilitatory centre and a depressing peripheral zone, that together shape the influence of converging inputs to pyramidal neurons. Inter hemispheric inhibition is an instance of a more general feature of mammalian neural systems, whereby inhibitory interneurons act not simply to prevent over excitation but to sculpt the output of specific circuits. The narrowing of the excitatory focus that occurs through crossed surround inhibition is a highly conserved motif of transcallosal interactions in mammalian sensory and motor cortices. A case is presented that the notion of 'inter hemispheric imbalance' has been sustained, and clinical interventions derived from this model promoted, by erroneous assumptions concerning that revealed by investigative techniques such as transcranial magnetic stimulation (TMS). The alternative perspective promoted by the present analysis, also permits the basis of positive (e.g. post stroke) associations between the structural integrity of transcallosal projections and motor capability to be better understood.


Distributed Artificial Intelligence Solution for D2D Communication in 5G Networks. Device to Device (D2D) Communication is one of the technology components of the evolving 5G architecture, as it promises improvements in energy efficiency, spectral efficiency, overall system capacity, and higher data rates. The above noted improvements in network performance spearheaded a vast amount of research in D2D, which have identified significant challenges that need to be addressed before realizing their full potential in emerging 5G Networks. Towards this end, this paper proposes the use of a distributed intelligent approach to control the generation of D2D networks. More precisely, the proposed approach uses Belief Desire Intention (BDI) intelligent agents with extended capabilities (BDIx) to manage each D2D node independently and autonomously, without the help of the Base Station. The paper includes detailed algorithmic description for the decision of transmission mode, which maximizes the data rate, minimizes the power consumptions, while taking into consideration the computational load. Simulations show the applicability of BDI agents in jointly solving D2D challenges.


A Continuous time Perspective for Modeling Acceleration in Riemannian Optimization. We propose a novel second order ODE as the continuous time limit of a Riemannian accelerated gradient based method on a manifold with curvature bounded from below. This ODE can be seen as a generalization of the ODE derived for Euclidean spaces, and can also serve as an analysis tool. We study the convergence behavior of this ODE for different classes of functions, such as geodesically convex, strongly convex and weakly quasi convex. We demonstrate how such an ODE can be discretized using a semi implicit and Nesterov inspired numerical integrator, that empirically yields stable algorithms which are faithful to the continuous time analysis and exhibit accelerated convergence.


Depthwise Non local Module for Fast Salient Object Detection Using a Single Thread. Recently deep convolutional neural networks have achieved significant success in salient object detection. However, existing state of the art methods require high end GPUs to achieve real time performance, which makes them hard to adapt to low cost or portable devices. Although generic network architectures have been proposed to speed up inference on mobile devices, they are tailored to the task of image classification or semantic segmentation, and struggle to capture intra channel and inter channel correlations that are essential for contrast modeling in salient object detection. Motivated by the above observations, we design a new deep learning algorithm for fast salient object detection. The proposed algorithm for the first time achieves competitive accuracy and high inference efficiency simultaneously with a single CPU thread. Specifically, we propose a novel depthwise non local moudule (DNL), which implicitly models contrast via harvesting intra channel and inter channel correlations in a self attention manner. In addition, we introduce a depthwise non local network architecture that incorporates both depthwise non local modules and inverted residual blocks. Experimental results show that our proposed network attains very competitive accuracy on a wide range of salient object detection datasets while achieving state of the art efficiency among all existing deep learning based algorithms.


Limit theorems for statistics of non crossing partitions. We study the distribution of several statistics of large non crossing partitions. First, we prove the Gaussian limit theorem for the number of blocks of a given fixed size. In contrast to the properties of usual set partitions, we show that the number of blocks of different sizes are negatively correlated, even for large partitions. In addition, we show that the sizes of blocks in a given large non crossing partition are distributed according to a geometric distribution and not Poisson, as in the case of usual set partitions. Next, we show that the size of the largest block concentrates at log 2 n , and that after an appropriate rescaling, it can be described by the double exponential distribution. Finally, we show that the width of a large non crossing partition converges to the Theta distribution which arises in the theory of Brownian excursions.


The nature of the animacy organization in human ventral temporal cortex. The principles underlying the animacy organization of the ventral temporal cortex (VTC) remain hotly debated, with recent evidence pointing to an animacy continuum rather than a dichotomy. What drives this continuum? According to the visual categorization hypothesis, the continuum reflects the degree to which animals contain animal diagnostic features. By contrast, the agency hypothesis posits that the continuum reflects the degree to which animals are perceived as (social) agents. Here, we tested both hypotheses with a stimulus set in which visual categorizability and agency were dissociated based on representations in convolutional neural networks and behavioral experiments. Using fMRI, we found that visual categorizability and agency explained independent components of the animacy continuum in VTC. Modeled together, they fully explained the animacy continuum. Finally, clusters explained by visual categorizability were localized posterior to clusters explained by agency. These results show that multiple organizing principles, including agency, underlie the animacy continuum in VTC.