The parabolic Verlinde formula iterated residues and wall crossings. We give a new proof for the parabolic Verlinde formula in all ranks based on a comparison of wall crossings in Geometric Invariant Theory and certain iterated residue functionals. On the way, we develop a tautological variant of Hecke correspondences, calculate the Hilbert polynomials of the moduli spaces, and present a new, transparent, local approach to the rho shift problem of the theory.


Color Image Segmentation Using Multi Objective Swarm Optimizer and Multi level Histogram Thresholding. Rapid developments in swarm intelligence optimizers and computer processing abilities make opportunities to design more accurate, stable, and comprehensive methods for color image segmentation. This paper presents a new way for unsupervised image segmentation by combining histogram thresholding methods (Kapur's entropy and Otsu's method) and different multi objective swarm intelligence algorithms (MOPSO, MOGWO, MSSA, and MOALO) to thresholding 3D histogram of a color image. More precisely, this method first combines the objective function of traditional thresholding algorithms to design comprehensive objective functions then uses multi objective optimizers to find the best thresholds during the optimization of designed objective functions. Also, our method uses a vector objective function in 3D space that could simultaneously handle the segmentation of entire image color channels with the same thresholds. To optimize this vector objective function, we employ multiobjective swarm optimizers that can optimize multiple objective functions at the same time. Therefore, our method considers dependencies between channels to find the thresholds that satisfy objective functions of color channels (which we name as vector objective function) simultaneously. Segmenting entire color channels with the same thresholds also benefits from the fact that our proposed method needs fewer thresholds to segment the image than other thresholding algorithms thus, it requires less memory space to save thresholds. It helps a lot when we want to segment many images to many regions. The subjective and objective results show the superiority of this method to traditional thresholding methods that separately threshold histograms of a color image.


Lipschitz continuity of solutions and corresponding multipliers to distributed and boundary semilinear elliptic optimal control problems with mixed pointwise control state constraints. This paper is concerned with the existence and regularity of mininizers as well as of corresponding multipliers to an optimal control problem governed by semilinear elliptic equations, in which mixed pointwise control state constraints are considered in a quite general form and the controls act simultaneously in the domain and on the boundary. Under standing assumptions, the minimizers and the corresponding multipliers do exist. Furthermore, by applying the bootstrapping technique and establishing some calculation tools for functions in Sobolev spaces of fractional order, the optimal solutions and the associated Lagrange multipliers are shown to be Lipschitz continuous.


Escaping from air pollution The psychological process of domestic migration intention among urban people. Rapid urbanization with poor city planning has resulted in severe air pollution in low and middle income countries' urban areas. Given the adverse impacts of air pollution, many responses have been taken, including migration to another city. The current study explores the psychological process and demographic predictors of migration intention among urban people in Hanoi, Vietnam one of the most polluted capital cities in the world. The Bayesian Mindsponge Framework (BMF) was used to construct the model and perform Bayesian analysis on a stratified random sampling dataset of 475 urban people. We found that the migration intention was negatively associated with the individual's satisfaction with air quality. The association was moderated by the perceived availability of a better alternative (or nearby city with better air quality). However, the high migration cost due to geographical distance made the moderation effect of the perceived availability of a better alternative negligible. Moreover, it was also found that male and young people were more likely to migrate, but the brain drain hypothesis was not validated. The results hint that without air pollution mitigation measures, the dislocation of economic forces might occur and hinder sustainable urban development. Therefore, collaborative actions among levels of government, with the semi conducting principle at heart, are recommended to reduce air pollution.


Faster SAT Solving for Software with Repeated Structures (with Case Studies on Software Test Suite Minimization). Theorem provers has been used extensively in software engineering for software testing or verification. However, software is now so large and complex that additional architecture is needed to guide theorem provers as they try to generate test suites. The SNAP test suite generator (introduced in this paper) combines the Z3 theorem prover with the following tactic cluster some candidate tests, then search for valid tests by proposing small mutations to the cluster centroids. This technique effectively removes repeated structures in the tests since many repeated structures can be replaced with one centroid. In practice, SNAP is remarkably effective. For 27 real world programs with up to half a million variables, SNAP found test suites which were 10 to 750 smaller times than those found by the prior state of the art. Also, SNAP ran orders of magnitude faster and (unlike prior work) generated 100 valid tests.


Learning symbol relation tree for online mathematical expression recognition. This paper proposes a method for recognizing online handwritten mathematical expressions (OnHME) by building a symbol relation tree (SRT) directly from a sequence of strokes. A bidirectional recurrent neural network learns from multiple derived paths of SRT to predict both symbols and spatial relations between symbols using global context. The recognition system has two parts a temporal classifier and a tree connector. The temporal classifier produces an SRT by recognizing an OnHME pattern. The tree connector splits the SRT into several sub SRTs. The final SRT is formed by looking up the best combination among those sub SRTs. Besides, we adopt a tree sorting method to deal with various stroke orders. Recognition experiments indicate that the proposed OnHME recognition system is competitive to other methods. The recognition system achieves 44.12 and 41.76 expression recognition rates on the Competition on Recognition of Online Handwritten Mathematical Expressions (CROHME) 2014 and 2016 testing sets.


Fragmented and Valuable Following Sentiment Changes in Food Tweets. We analysed sentiment and frequencies related to smell, taste and temperature expressed by food tweets in the Latvian language. To get a better understanding of the role of smell, taste and temperature in the mental map of food associations, we looked at such categories as 'tasty' and 'healthy', which turned out to be mutually exclusive. By analysing the occurrence frequency of words associated with these categories, we discovered that food discourse overall was permeated by tasty' while the category of 'healthy' was relatively small. Finally, we used the analysis of temporal dynamics to see if we can trace seasonality or other temporal aspects in smell, taste and temperature as reflected in food tweets. Understanding the composition of social media content with relation to smell, taste and temperature in food tweets allows us to develop our work further on food culture seasonality and its relation to temperature, on our limited capacity to express smell related sentiments, and the lack of the paradigm of taste in discussing food healthiness.


Profit Sharing Contracts between Content and Service Providers for Enhanced Network Quality. It has been a long demand of Internet Service Providers (ISPs) that the Content Providers (CPs) share their profits for investments in network infrastructure. In this paper, we study profit sharing contracts between a CP with multiple ISPs. Each ISP commits to improving the Quality of Service (QoS) for the end users through higher investments efforts. The CP agrees to share the profits due to the resulting higher demand for its content. We first model non cooperative interaction between the CP and the ISPs as a two stage Stackelberg game. CP is the leader that decides what fraction of its profits will be shared with the ISPs. Each ISP then simultaneously decides the amount of effort (investment) to enhance network quality. Here, CP cannot observe individual effort by the ISPs, which poses a challenge for the CP to decide how to share the profits with each ISP. Therefore, we also investigate a cooperative scenario, where the CP only decides the total share it gives to the ISPs, and each ISP then cooperatively shares the profit among themselves. We study the effect of such cooperation between the ISPs by building a Nash Bargaining based model. We show that the collaboration improves total effort by the ISPs and the payoff of the CP.


Psychological dimension of adaptive trading in cryptocurrency markets. In this paper we extend the analysis of an agent based model for adaptive trading, called asynchronous stochastic price pump (ASPP) introduced by Perepelitsa and Timofeyev (2019), to the model with heterogeneous distribution of psychological parameters of speculative optimism and pessimism across the population of traders. We show that the new model has a range of qualitatively different dynamics when the correlation between those factors ranges from low negative to large positive values. A statistical parameter estimation suggests a heterogeneous ASPP with negative correlation as a model of price variations of Bitcoin.


Bayesian Deep Learning for Segmentation for Autonomous Safe Planetary Landing. Hazard detection is critical for enabling autonomous landing on planetary surfaces. Current state of the art methods leverage traditional computer vision approaches to automate the identification of safe terrain from input digital elevation models (DEMs). However, performance for these methods can degrade for input DEMs with increased sensor noise. In the last decade, deep learning techniques have been developed for various applications. Nevertheless, their applicability to safety critical space missions has often been limited due to concerns regarding their outputs' reliability. In response to these limitations, this paper proposes an application of the Bayesian deep learning segmentation method for hazard detection. The developed approach enables reliable, safe landing site detection by (i) generating simultaneously a safety prediction map and its uncertainty map via Bayesian deep learning and semantic segmentation and (ii) using the uncertainty map to filter out the uncertain pixels in the prediction map so that the safe site identification is performed only based on the certain pixels (i.e., pixels for which the model is certain about its safety prediction). Experiments are presented with simulated data based on a Mars HiRISE digital terrain model by varying uncertainty threshold and noise levels to demonstrate the performance of the proposed approach.


Plan then Generate Controlled Data to Text Generation via Planning. Recent developments in neural networks have led to the advance in data to text generation. However, the lack of ability of neural models to control the structure of generated output can be limiting in certain real world applications. In this study, we propose a novel Plan then Generate (PlanGen) framework to improve the controllability of neural data to text models. Extensive experiments and analyses are conducted on two benchmark datasets, ToTTo and WebNLG. The results show that our model is able to control both the intra sentence and inter sentence structure of the generated output. Furthermore, empirical comparisons against previous state of the art methods show that our model improves the generation quality as well as the output diversity as judged by human and automatic evaluations.


Computer Vision for Supporting Image Search. Computer vision and multimedia information processing have made extreme progress within the last decade and many tasks can be done with a level of accuracy as if done by humans, or better. This is because we leverage the benefits of huge amounts of data available for training, we have enormous computer processing available and we have seen the evolution of machine learning as a suite of techniques to process data and deliver accurate vision based systems. What kind of applications do we use this processing for ? We use this in autonomous vehicle navigation or in security applications, searching CCTV for example, and in medical image analysis for healthcare diagnostics. One application which is not widespread is image or video search directly by users. In this paper we present the need for such image finding or re finding by examining human memory and when it fails, thus motivating the need for a different approach to image search which is outlined, along with the requirements of computer vision to support it.


The Gotsman Linial Conjecture is False. In 1991, Craig Gotsman and Nathan Linial conjectured that for all n and d , the average sensitivity of a degree d polynomial threshold function on n variables is maximized by the degree d symmetric polynomial which computes the parity function on the d layers of the hypercube with Hamming weight closest to n 2 . We refute the conjecture for almost all d and for almost all n , and we confirm the conjecture in many of the remaining cases.


Self Supervised Test Time Learning for Reading Comprehension. Recent work on unsupervised question answering has shown that models can be trained with procedurally generated question answer pairs and can achieve performance competitive with supervised methods. In this work, we consider the task of unsupervised reading comprehension and present a method that performs "test time learning" (TTL) on a given context (text passage), without requiring training on large scale human authored datasets containing textit context question answer triplets. This method operates directly on a single test context, uses self supervision to train models on synthetically generated question answer pairs, and then infers answers to unseen human authored questions for this context. Our method achieves accuracies competitive with fully supervised methods and significantly outperforms current unsupervised methods. TTL methods with a smaller model are also competitive with the current state of the art in unsupervised reading comprehension.


Inverse mean value property of solutions to the modified Helmholtz equation. A theorem characterizing analytically balls in the Euclidean space RR m is proved. For this purpose positive solutions of the modified Helmholtz equation are used instead of harmonic functions applied in previous results. The obtained Kuran type theorem is based on the volume mean value property of solutions to this equation.


Quotients of Bounded Natural Functors. The functorial structure of type constructors is the foundation for many definition and proof principles in higher order logic (HOL). For example, inductive and coinductive datatypes can be built modularly from bounded natural functors (BNFs), a class of well behaved type constructors. Composition, fixpoints, and, under certain conditions, subtypes are known to preserve the BNF structure. In this article, we tackle the preservation question for quotients, the last important principle for introducing new types in HOL. We identify sufficient conditions under which a quotient inherits the BNF structure from its underlying type. Surprisingly, lifting the structure in the obvious manner fails for some quotients, a problem that also affects the quotients of polynomial functors used in the Lean proof assistant. We provide a strictly more general lifting scheme that supports such problematic quotients. We extend the Isabelle HOL proof assistant with a command that automates the registration of a quotient type as a BNF, reducing the proof burden on the user from the full set of BNF axioms to our inheritance conditions. We demonstrate the command's usefulness through several case studies.


Optimal Control of the SIR Model with Constrained Policy, with an Application to COVID 19. This article considers the optimal control of the SIR model with both transmission and treatment uncertainty. It follows the model presented in Gatto and Schellhorn (2021). We make four significant improvements on the latter paper. First, we prove the existence of a solution to the model. Second, our interpretation of the control is more realistic while in Gatto and Schellhorn the control alpha is the proportion of the population that takes a basic dose of treatment, so that alpha 1 occurs only if some patients take more than a basic dose, in our paper, alpha is constrained between zero and one, and represents thus the proportion of the population undergoing treatment. Third, we provide a complete solution for the moderate infection regime (with constant treatment). Finally, we give a thorough interpretation of the control in the moderate infection regime, while Gatto and Schellhorn focussed on the interpretation of the low infection regime. Finally, we compare the efficiency of our control to curb the COVID 19 epidemic to other types of control.


Forecasting Financial Market Structure from Network Features using Machine Learning. We propose a model that forecasts market correlation structure from link and node based financial network features using machine learning. For such, market structure is modeled as a dynamic asset network by quantifying time dependent co movement of asset price returns across company constituents of major global market indices. We provide empirical evidence using three different network filtering methods to estimate market structure, namely Dynamic Asset Graph (DAG), Dynamic Minimal Spanning Tree (DMST) and Dynamic Threshold Networks (DTN). Experimental results show that the proposed model can forecast market structure with high predictive performance with up to 40 improvement over a time invariant correlation based benchmark. Non pair wise correlation features showed to be important compared to traditionally used pair wise correlation measures for all markets studied, particularly in the long term forecasting of stock market structure. Evidence is provided for stock constituents of the DAX30, EUROSTOXX50, FTSE100, HANGSENG50, NASDAQ100 and NIFTY50 market indices. Findings can be useful to improve portfolio selection and risk management methods, which commonly rely on a backward looking covariance matrix to estimate portfolio risk.


LOF Structure Aware Line Tracking based on Optical Flow. Lines provide the significantly richer geometric structural information about the environment than points, so lines are widely used in recent Visual Odometry (VO) works. Since VO with lines use line tracking results to locate and map, line tracking is a crucial component in VO. Although the state of the art line tracking methods have made great progress, they are still heavily dependent on line detection or the predicted line segments. In order to relieve the dependencies described above to track line segments completely, accurately, and robustly at higher computational efficiency, we propose a structure aware Line tracking algorithm based entirely on Optical Flow (LOF). Firstly, we propose a gradient based strategy to sample pixels on lines that are suitable for line optical flow calculation. Then, in order to align the lines by fully using the structural relationship between the sampled points on it and effectively removing the influence of sampled points on it occluded by other objects, we propose a two step structure aware line segment alignment method. Furthermore, we propose a line refinement method to refine the orientation, position, and endpoints of the aligned line segments. Extensive experimental results demonstrate that the proposed LOF outperforms the state of the art performance in line tracking accuracy, robustness, and efficiency, which also improves the location accuracy and robustness of VO system with lines.


A Search Engine for Scientific Publications a Cybersecurity Case Study. Cybersecurity is a very challenging topic of research nowadays, as digitalization increases the interaction of people, software and services on the Internet by means of technology devices and networks connected to it. The field is broad and has a lot of unexplored ground under numerous disciplines such as management, psychology, and data science. Its large disciplinary spectrum and many significant research topics generate a considerable amount of information, making it hard for us to find what we are looking for when researching a particular subject. This work proposes a new search engine for scientific publications which combines both information retrieval and reading comprehension algorithms to extract answers from a collection of domain specific documents. The proposed solution although being applied to the context of cybersecurity exhibited great generalization capabilities and can be easily adapted to perform under other distinct knowledge domains.


DouZero Mastering DouDizhu with Self Play Deep Reinforcement Learning. Games are abstractions of the real world, where artificial agents learn to compete and cooperate with other agents. While significant achievements have been made in various perfect and imperfect information games, DouDizhu (a.k.a. Fighting the Landlord), a three player card game, is still unsolved. DouDizhu is a very challenging domain with competition, collaboration, imperfect information, large state space, and particularly a massive set of possible actions where the legal actions vary significantly from turn to turn. Unfortunately, modern reinforcement learning algorithms mainly focus on simple and small action spaces, and not surprisingly, are shown not to make satisfactory progress in DouDizhu. In this work, we propose a conceptually simple yet effective DouDizhu AI system, namely DouZero, which enhances traditional Monte Carlo methods with deep neural networks, action encoding, and parallel actors. Starting from scratch in a single server with four GPUs, DouZero outperformed all the existing DouDizhu AI programs in days of training and was ranked the first in the Botzone leaderboard among 344 AI agents. Through building DouZero, we show that classic Monte Carlo methods can be made to deliver strong results in a hard domain with a complex action space. The code and an online demo are released at https github.com kwai DouZero with the hope that this insight could motivate future work.


A class of inverse curvature flows for star shaped hypersurfaces evolving in a cone. Given a smooth convex cone in the Euclidean (n 1) space ( n geq2 ), we consider strictly mean convex hypersurfaces with boundary which are star shaped with respect to the center of the cone and which meet the cone perpendicularly. If those hypersurfaces inside the cone evolve by a class of inverse curvature flows, then, by using the convexity of the cone in the derivation of the gradient and H " o lder estimates, we can prove that this evolution exists for all the time and the evolving hypersurfaces converge smoothly to a piece of a round sphere as time tends to infinity.


Mixed reality technologies for people with dementia Participatory evaluation methods. Technologies can support people with early onset dementia (PwD) to aid them in Instrumental Activities of Daily Living (IADL). The integration of physical and virtual realities in Mixed reality technologies (MRTs) could provide scalable and deployable options in developing prompting systems for PwD. However, these emerging technologies should be evaluated and investigated for feasibility with PwD. Survey instruments such as SUS, SUPR Q and ethnographic methods that are used for usability evaluation of websites and apps are used to evaluate and study MRTs. However, PwD who cannot provide written and verbal feedback are unable to participate in these studies. MRTs also present challenges due to different ways in which physical and virtual realities could be coupled. Experiences with physical, virtual and the couplings between the two are to be considered in evaluating MRTs.


A Steepest Descent Method for Set Optimization Problems with Set Valued Mappings of Finite Cardinality. In this paper, we study a first order solution method for a particular class of set optimization problems where the solution concept is given by the set approach. We consider the case in which the set valued objective mapping is identified by a finite number of continuously differentiable selections. The corresponding set optimization problem is then equivalent to find optimistic solutions to vector optimization problems under uncertainty with a finite uncertainty set. We develop optimality conditions for these types of problems, and introduce two concepts of critical points. Furthermore, we propose a descent method and provide a convergence result to points satisfying the optimality conditions previously derived. Some numerical examples illustrating the performance of the method are also discussed. This paper is a modified and polished version of Chapter 5 in the PhD thesis by Quintana (On set optimization with set relations a scalarization approach to optimality conditions and algorithms, Martin Luther Universit "at Halle Wittenberg, 2020).


One parameter family of acquisition functions for efficient global optimization. Bayesian optimization (BO) with Gaussian processes is a powerful methodology to optimize an expensive black box function with as few function evaluations as possible. The expected improvement (EI) and probability of improvement (PI) are among the most widely used schemes for BO. There is a plethora of other schemes that outperform EI and PI, but most of them are numerically far more expensive than EI and PI. In this work, we propose a new one parameter family of acquisition functions for BO that unifies EI and PI. The proposed method is numerically inexpensive, is easy to implement, can be easily parallelized, and on benchmark tasks shows a performance superior to EI and GP UCB. Its generalization to BO with Student t processes is also presented.


You Only Evaluate Once a Simple Baseline Algorithm for Offline RL. The goal of offline reinforcement learning (RL) is to find an optimal policy given prerecorded trajectories. Many current approaches customize existing off policy RL algorithms, especially actor critic algorithms in which policy evaluation and improvement are iterated. However, the convergence of such approaches is not guaranteed due to the use of complex non linear function approximation and an intertwined optimization process. By contrast, we propose a simple baseline algorithm for offline RL that only performs the policy evaluation step once so that the algorithm does not require complex stabilization schemes. Since the proposed algorithm is not likely to converge to an optimal policy, it is an appropriate baseline for actor critic algorithms that ought to be outperformed if there is indeed value in iterative optimization in the offline setting. Surprisingly, we empirically find that the proposed algorithm exhibits competitive and sometimes even state of the art performance in a subset of the D4RL offline RL benchmark. This result suggests that future work is needed to fully exploit the potential advantages of iterative optimization in order to justify the reduced stability of such methods.


Towards Robust Classification Model by Counterfactual and Invariant Data Generation. Despite the success of machine learning applications in science, industry, and society in general, many approaches are known to be non robust, often relying on spurious correlations to make predictions. Spuriousness occurs when some features correlate with labels but are not causal relying on such features prevents models from generalizing to unseen environments where such correlations break. In this work, we focus on image classification and propose two data generation processes to reduce spuriousness. Given human annotations of the subset of the features responsible (causal) for the labels (e.g. bounding boxes), we modify this causal set to generate a surrogate image that no longer has the same label (i.e. a counterfactual image). We also alter non causal features to generate images still recognized as the original labels, which helps to learn a model invariant to these features. In several challenging datasets, our data generations outperform state of the art methods in accuracy when spurious correlations break, and increase the saliency focus on causal features providing better explanations.


Polytope volume in Normaliz. We survey the computation of polytope volumes by the algorithms of Normaliz to which the Lawrence algorithm has recently been added. It has enabled us to master volume computations for polytopes from social choice in dimension 119 . This challenge required a sophisticated implementation of the Lawrence algorithm.


Hybrid Reasoning Network for Video based Commonsense Captioning. The task of video based commonsense captioning aims to generate event wise captions and meanwhile provide multiple commonsense descriptions (e.g., attribute, effect and intention) about the underlying event in the video. Prior works explore the commonsense captions by using separate networks for different commonsense types, which is time consuming and lacks mining the interaction of different commonsense. In this paper, we propose a Hybrid Reasoning Network (HybridNet) to endow the neural networks with the capability of semantic level reasoning and word level reasoning. Firstly, we develop multi commonsense learning for semantic level reasoning by jointly training different commonsense types in a unified network, which encourages the interaction between the clues of multiple commonsense descriptions, event wise captions and videos. Then, there are two steps to achieve the word level reasoning (1) a memory module records the history predicted sequence from the previous generation processes (2) a memory routed multi head attention (MMHA) module updates the word level attention maps by incorporating the history information from the memory module into the transformer decoder for word level reasoning. Moreover, the multimodal features are used to make full use of diverse knowledge for commonsense reasoning. Experiments and abundant analysis on the large scale Video to Commonsense benchmark show that our HybridNet achieves state of the art performance compared with other methods.


Log canonical models of foliated surfaces. We study log canonical models of foliated surfaces of general type. In particular, we show that log canonical models of general type and their minimal partial du Val resolutions are bounded. Moreover, we show the valuative criteria of separatedness and properness and a property related to local closedness for the moduli functor mathcal S P sm which parametrizes the stable smoothable foliated surface pairs. On the way, we also show a result on the invariance of plurigenera.


Key Technologies for Networked Virtual Environments. Thanks to the improvements experienced in technology in the last few years, most especially in virtual reality systems, the number and potential of networked virtual environments or NVEs and their users are increasing. NVEs aim to give distributed users a feeling of immersion in a virtual world and the possibility of interacting with other users or with virtual objects inside it, like when they interact in the real world. Being able to provide that feeling and natural interactions when the users are geographically separated is one of the goals of these systems. Nevertheless, this goal is especially sensitive to different issues, such as different connections with heterogeneous throughput or different network latencies, which can lead to consistency and synchronization problems and, thus, to a worsening of the users' quality of experience or QoE. With the purpose of solving these issues, researchers have proposed and evaluated numerous technical solutions, in fields like network architectures, data distribution and filtering, resource balancing, computing models, predictive modeling and synchronization in NVEs. This paper gathers and classifies them, summarizing their advantages and disadvantages, using a new way of classification. With the current increase of the number of NVEs and the multiple solutions proposed so far, this work aims to become a useful tool and a starting point not only for future researchers in this field but also for those who are new in NVEs development, in which guaranteeing a good users' QoE is essential.


Hausdorff dimension of union of lines that cover a curve. We construct a continuously differentiable curve in the plane that can be covered by a collection of lines such that every line intersects the curve at a single point and the union of the lines has Hausdorff dimension 1. We show that for twice differentiable curves this is impossible. In that case, the union of the lines must have Hausdorff dimension 2. If we use only tangent lines then the differentiability of the curve already implies that the union of the lines must have Hausdorff dimension 2, unless the curve is a line. We also construct a continuous curve, which is in fact the graph of a strictly convex function, such that the union of (one sided) tangent lines has Hausdorff dimension 1.


Site Percolation on Pseudo Random Graphs. We consider vertex percolation on pseudo random d regular graphs. The previous study by the second author established the existence of phase transition from small components to a linear (in frac n d ) sized component, at p frac 1 d . In the supercritical regime, our main result recovers the sharp asymptotic of the size of the largest component, and shows that all other components are typically much smaller. Furthermore, we consider other typical properties of the largest component such as the number of edges, existence of a long cycle and expansion. In the subcritical regime, we strengthen the upper bound on the likely component size.


Radical generic initial ideals. In this paper, we survey the theory of Cartwright Sturmfels ideals. These are Z n graded ideals, whose multigraded generic initial ideal is radical. Cartwright Sturmfels ideals have surprising properties, mostly stemming from the fact that their Hilbert scheme only contains one Borel fixed point. This has consequences, e.g., on their universal Groebner bases and on the family of their initial ideals. In this paper, we discuss several known classes of Cartwright Sturmfels ideals and we find a new one. Among determinantal ideals of same size minors of a matrix of variables and Schubert determinantal ideals, we are able to characterize those that are Cartwright Sturmfels.


Complex Event Forecasting with Prediction Suffix Trees Extended Technical Report. Complex Event Recognition (CER) systems have become popular in the past two decades due to their ability to "instantly" detect patterns on real time streams of events. However, there is a lack of methods for forecasting when a pattern might occur before such an occurrence is actually detected by a CER engine. We present a formal framework that attempts to address the issue of Complex Event Forecasting (CEF). Our framework combines two formalisms a) symbolic automata which are used to encode complex event patterns and b) prediction suffix trees which can provide a succinct probabilistic description of an automaton's behavior. We compare our proposed approach against state of the art methods and show its advantage in terms of accuracy and efficiency. In particular, prediction suffix trees, being variable order Markov models, have the ability to capture long term dependencies in a stream by remembering only those past sequences that are informative enough. Our experimental results demonstrate the benefits, in terms of accuracy, of being able to capture such long term dependencies. This is achieved by increasing the order of our model beyond what is possible with full order Markov models that need to perform an exhaustive enumeration of all possible past sequences of a given order. We also discuss extensively how CEF solutions should be best evaluated on the quality of their forecasts.


Let Mi An Arabic Levantine Twitter Dataset for Misogynistic Language. Online misogyny has become an increasing worry for Arab women who experience gender based online abuse on a daily basis. Misogyny automatic detection systems can assist in the prohibition of anti women Arabic toxic content. Developing such systems is hindered by the lack of the Arabic misogyny benchmark datasets. In this paper, we introduce an Arabic Levantine Twitter dataset for Misogynistic language (LeT Mi) to be the first benchmark dataset for Arabic misogyny. We further provide a detailed review of the dataset creation and annotation phases. The consistency of the annotations for the proposed dataset was emphasized through inter rater agreement evaluation measures. Moreover, Let Mi was used as an evaluation dataset through binary multi target classification tasks conducted by several state of the art machine learning systems along with Multi Task Learning (MTL) configuration. The obtained results indicated that the performances achieved by the used systems are consistent with state of the art results for languages other than Arabic, while employing MTL improved the performance of the misogyny target classification tasks.


Dynamic Modeling and Simulation of a Four wheel Skid Steer Mobile Robot using Linear Graphs. This paper presents the application of the concepts and approaches of linear graph (LG) theory in the modeling and simulation of a 4 wheel skid steer mobile robotic system. An LG representation of the system is proposed and the accompanying state space model of the dynamics of a mobile robot system is evaluated using the associated LGtheory MATLAB toolbox, which was developed in our lab. A genetic algorithm (GA) based parameter estimation method is employed to determine the system parameters, which leads to a very accurate simulation of the model. The developed model is then evaluated and validated by comparing the simulated LG model trajectory with the trajectory of a ROS Gazebo simulated robot and experimental data obtained from the physical robotic system. The obtained results demonstrate that the proposed LG model, combined with the GA parameter estimation process, produces a highly accurate method of modeling and simulating a mobile robotic system.


Bounding the log derivative of the zeta function. Assuming the Riemann hypothesis we establish explicit bounds for the modulus of the log derivative of Riemann's zeta function in the critical strip.


Safe Multi Task Learning. In recent years, Multi Task Learning (MTL) attracts much attention due to its good performance in many applications. However, many existing MTL models cannot guarantee that its performance is no worse than its single task counterpart on each task. Though this phenomenon has been empirically observed by some works, little work aims to handle the resulting problem, which is formally defined as negative sharing in this paper. To achieve safe multi task learning where no textit negative sharing occurs, we propose a Safe Multi Task Learning (SMTL) model, which consists of a public encoder shared by all the tasks, private encoders, gates, and private decoders. Specifically, each task has a private encoder, a gate, and a private decoder, where the gate is to learn how to combine the private encoder and public encoder for the downstream private decoder. To reduce the storage cost during the inference stage, a lite version of SMTL is proposed to allow the gate to choose either the public encoder or the corresponding private encoder. Moreover, we propose a variant of SMTL to place all the gates after decoders of all the tasks. Experiments on several benchmark datasets demonstrate the effectiveness of the proposed methods.


Pick Your Battles Interaction Graphs as Population Level Objectives for Strategic Diversity. Strategic diversity is often essential in games in multi player games, for example, evaluating a player against a diverse set of strategies will yield a more accurate estimate of its performance. Furthermore, in games with non transitivities diversity allows a player to cover several winning strategies. However, despite the significance of strategic diversity, training agents that exhibit diverse behaviour remains a challenge. In this paper we study how to construct diverse populations of agents by carefully structuring how individuals within a population interact. Our approach is based on interaction graphs, which control the flow of information between agents during training and can encourage agents to specialise on different strategies, leading to improved overall performance. We provide evidence for the importance of diversity in multi agent training and analyse the effect of applying different interaction graphs on the training trajectories, diversity and performance of populations in a range of games. This is an extended version of the long abstract published at AAMAS.


Cantor Mapping Technique. A new technique specific to String ordering utilizing a method called "Cantor Mapping" is explained in this paper and used to perform string comparative sort in loglinear time while utilizing linear extra space.


E Commerce Promotions Personalization via Online Multiple Choice Knapsack with Uplift Modeling. Promotions and discounts are essential components of modern e commerce platforms, where they are often used to incentivize customers towards purchase completion. Promotions also affect revenue and may incur a monetary loss that is often limited by a dedicated promotional budget. We study the Online Constrained Multiple Choice Promotions Personalization Problem, where the optimization goal is to select for each customer which promotion to present in order to maximize purchase completions, while also complying with global budget limitations. Our work formalizes the problem as an Online Multiple Choice Knapsack Problem and extends the existent literature by addressing cases with negative weights and values. We provide a real time adaptive method that guarantees budget constraints compliance and achieves above 99.7 of the optimal promotional impact on various datasets. Our method is evaluated on a large scale experimental study at one of the leading online travel platforms in the world.


Self Supervised Adversarial Example Detection by Disentangled Representation. Deep learning models are known to be vulnerable to adversarial examples that are elaborately designed for malicious purposes and are imperceptible to the human perceptual system. Autoencoder, when trained solely over benign examples, has been widely used for (self supervised) adversarial detection based on the assumption that adversarial examples yield larger reconstruction error. However, because lacking adversarial examples in its training and the too strong generalization ability of autoencoder, this assumption does not always hold true in practice. To alleviate this problem, we explore to detect adversarial examples by disentangled representations of images under the autoencoder structure. By disentangling input images as class features and semantic features, we train an autoencoder, assisted by a discriminator network, over both correctly paired class semantic features and incorrectly paired class semantic features to reconstruct benign and counterexamples. This mimics the behavior of adversarial examples and can reduce the unnecessary generalization ability of autoencoder. Compared with the state of the art self supervised detection methods, our method exhibits better performance in various measurements (i.e., AUC, FPR, TPR) over different datasets (MNIST, Fashion MNIST and CIFAR 10), different adversarial attack methods (FGSM, BIM, PGD, DeepFool, and CW) and different victim models (8 layer CNN and 16 layer VGG). We compare our method with the state of the art self supervised detection methods under different adversarial attacks and different victim models (30 attack settings), and it exhibits better performance in various measurements (AUC, FPR, TPR) for most attacks settings. Ideally, AUC is 1 and our method achieves 0.99 on CIFAR 10 for all attacks. Notably, different from other Autoencoder based detectors, our method can provide resistance to the adaptive adversary.


Three Stream 3D 1D CNN for Fine Grained Action Classification and Segmentation in Table Tennis. This paper proposes a fusion method of modalities extracted from video through a three stream network with spatio temporal and temporal convolutions for fine grained action classification in sport. It is applied to TTStroke 21 dataset which consists of untrimmed videos of table tennis games. The goal is to detect and classify table tennis strokes in the videos, the first step of a bigger scheme aiming at giving feedback to the players for improving their performance. The three modalities are raw RGB data, the computed optical flow and the estimated pose of the player. The network consists of three branches with attention blocks. Features are fused at the latest stage of the network using bilinear layers. Compared to previous approaches, the use of three modalities allows faster convergence and better performances on both tasks classification of strokes with known temporal boundaries and joint segmentation and classification. The pose is also further investigated in order to offer richer feedback to the athletes.


A discrete time epidemic SISI model. We consider a discrete time epidemic SISI model in case when the population size is a constant, so the per capita death rate is equal to per capita birth rate. The evolution operator of this model is a non linear operator which depends on seven parameters. Reducing it to a quadratic stochastic operator, we prove uniqueness of interior fixed point of the operator and study the limit behavior of the trajectory under some conditions to parameters.


RetroGAN A Cyclic Post Specialization System for Improving Out of Knowledge and Rare Word Representations. Retrofitting is a technique used to move word vectors closer together or further apart in their space to reflect their relationships in a Knowledge Base (KB). However, retrofitting only works on concepts that are present in that KB. RetroGAN uses a pair of Generative Adversarial Networks (GANs) to learn a one to one mapping between concepts and their retrofitted counterparts. It applies that mapping (post specializes) to handle concepts that do not appear in the original KB in a manner similar to how some natural language systems handle out of vocabulary entries. We test our system on three word similarity benchmarks and a downstream sentence simplification task and achieve the state of the art (CARD 660). Altogether, our results demonstrate our system's effectiveness for out of knowledge and rare word generalization.


Trade offs of Local SGD at Scale An Empirical Study. As datasets and models become increasingly large, distributed training has become a necessary component to allow deep neural networks to train in reasonable amounts of time. However, distributed training can have substantial communication overhead that hinders its scalability. One strategy for reducing this overhead is to perform multiple unsynchronized SGD steps independently on each worker between synchronization steps, a technique known as local SGD. We conduct a comprehensive empirical study of local SGD and related methods on a large scale image classification task. We find that performing local SGD comes at a price lower communication costs (and thereby faster training) are accompanied by lower accuracy. This finding is in contrast from the smaller scale experiments in prior work, suggesting that local SGD encounters challenges at scale. We further show that incorporating the slow momentum framework of Wang et al. (2020) consistently improves accuracy without requiring additional communication, hinting at future directions for potentially escaping this trade off.


Counting Gray codes for an improved upper bound of the Gr "unbaum Hadwiger Ramos problem. We give an improved upper bound for the Gr "unbaum Hadwiger Ramos problem Let d,n,k in mathbb N such that d geq 2 n(1 2 k 1 ) . Given 2 n 1 masses on mathbb R d , there exist k hyperplanes in mathbb R d that partition it into 2 k sets of equal size with respect to all measures. This is an improvement to the previous bound d geq 2 n k by Mani Levitska, Vre 'cica v Z ivaljevi 'c in 2006. This is achieved by classifying the number of certain Gray code patterns modulo 2. The reduction was developed by Blagojevi 'c, Frick, Haase Ziegler in 2016. It utilizes the group action of the symmetric group ( mathbb Z 2) k rtimes mathfrak S k of k oriented hyperplanes. If we restrict to the subgroup ( mathbb Z 2) k as Mani Levitska et al. we retrieve their bound.


Rigidity, Residues and Duality Overview and Recent Progress. In this article we explain the theory of rigid residue complexes in commutative algebra and algebraic geometry, summarizing the background, recent results and anticipated future results. Unlike all previous approaches to Grothendiec Duality, the rigid approach concentrates on the construction of rigid residue complexes over rings, and their intricate yet robust properties. The geometrization, i.e. the passage to rigid residue complexes on schemes and Deligne Mumford (DM) stacks, by gluing, is fairly easy. In the geometric part of the theory, the main results are the Rigid Residue Theorem and the Rigid Duality Theorem for proper maps between schemes, and for tame proper maps between DM stacks.


Boundedness of the Riesz potential in central Morrey Orlicz spaces. Boundedness of the maximal function and the Calde 'on Zygmund singular integrals in central Morrey Orlicz spaces were proved in papers by the second and third authors. The weak type estimates have also been proven. Here we show boundedness of the Riesz potential in central Morrey Orlicz spaces and the corresponding weak type version.


Approximation Algorithms for Demand Strip Packing. In the Demand Strip Packing problem (DSP), we are given a time interval and a collection of tasks, each characterized by a processing time and a demand for a given resource (such as electricity, computational power, etc.). A feasible solution consists of a schedule of the tasks within the mentioned time interval. Our goal is to minimize the peak resource consumption, i.e. the maximum total demand of tasks executed at any point in time. It is known that DSP is NP hard to approximate below a factor 3 2, and standard techniques for related problems imply a (polynomial time) 2 approximation. Our main result is a (5 3 eps) approximation algorithm for any constant eps 0. We also achieve best possible approximation factors for some relevant special cases.


C gamma well posedness of some non linear transport equations. Given k mathbb R n setminus 0 to mathbb R n a kernel of class C 2 and homogeneous of degree 1 n , we prove existence and uniqueness of H "older regular solutions for some non linear transport equations with velocity fields given by convolution of the density with k . The Aggregation, the 3D quasi geostrophic, and the 2D Euler equations can be recovered for particular choices of k .


The Forgotten Threat of Voltage Glitching A Case Study on Nvidia Tegra X2 SoCs. Voltage fault injection (FI) is a well known attack technique that can be used to force faulty behavior in processors during their operation. Glitching the supply voltage can cause data value corruption, skip security checks, or enable protected code paths. At the same time, modern systems on a chip (SoCs) are used in security critical applications, such as self driving cars and autonomous machines. Since these embedded devices are often physically accessible by attackers, vendors must consider device tampering in their threat models. However, while the threat of voltage FI is known since the early 2000s, it seems as if vendors still forget to integrate countermeasures. This work shows how the entire boot security of an Nvidia SoC, used in Tesla's autopilot and Mercedes Benz's infotainment system, can be circumvented using voltage FI. We uncover a hidden bootloader that is only available to the manufacturer for testing purposes and disabled by fuses in shipped products. We demonstrate how to re enable this bootloader using FI to gain code execution with the highest privileges, enabling us to extract the bootloader's firmware and decryption keys used in later boot stages. Using a hardware implant, an adversary might misuse the hidden bootloader to bypass trusted code execution even during the system's regular operation.


Road Scenes Segmentation Across Different Domains by Disentangling Latent Representations. Deep learning models obtain impressive accuracy in road scenes understanding, however they need a large quantity of labeled samples for their training. Additionally, such models do not generalise well to environments where the statistical properties of data do not perfectly match those of training scenes, and this can be a significant problem for intelligent vehicles. Hence, domain adaptation approaches have been introduced to transfer knowledge acquired on a label abundant source domain to a related label scarce target domain. In this work, we design and carefully analyse multiple latent space shaping regularisation strategies that work together to reduce the domain shift. More in detail, we devise a feature clustering strategy to increase domain alignment, a feature perpendicularity constraint to space apart features belonging to different semantic classes, including those not present in the current batch, and a feature norm alignment strategy to separate active and inactive channels. In addition, we propose a novel evaluation metric to capture the relative performance of an adapted model with respect to supervised training. We validate our framework in driving scenarios, considering both synthetic to real and real to real adaptation, outperforming previous feature level state of the art methods on multiple road scenes benchmarks.


On the difference between proximity and other distance parameters in triangle free graphs and C 4 free graphs. The average distance of a vertex v of a connected graph G is the arithmetic mean of the distances from v to all other vertices of G . The proximity pi(G) and the remoteness rho(G) of G are the minimum and the maximum of the average distances of the vertices of G . In this paper, we give upper bounds on the difference between the remoteness and proximity, the diameter and proximity, and the radius and proximity of a triangle free graph with given order and minimum degree. We derive the latter two results by first proving lower bounds on the proximity in terms of order, minimum degree and either diameter or radius. Our bounds are sharp apart from an additive constant. We also obtain corresponding bounds for C 4 free graphs.


Bilayer Photonic Graphene. Drawing inspiration from bilayer graphene, this paper introduces its photonic analog comprising two stacked graphene like photonic crystals, that are coupled in the near field through spoof surface plasmons. Beyond the twist degree of freedom that can radically alter the band structure of the bilayer photonic graphene, the photonic dispersion can be also tailored via the interlayer coupling which exhibits an exponential dependence on the distance between the two photonic crystals. We theoretically, numerically, and experimentally characterize the band structures of AA and AB stacked bilayer photonic graphene, as well as for twisted bilayer photonic graphene with even and odd sublattice exchange symmetries. Furthermore, we numerically predict the existence of magic angles in bilayer photonic graphene, which are associated with ultra flat bands resulted from interlayer hybridization. Finally, we demonstrate that the bilayer photonic graphene at a particular twist angle satisfying even sublattice exchange symmetry is a high order photonic topological insulator. The proposed bilayer photonic graphene could constitute a useful platform for identifying new quantum materials and inspiring next generation photonic devices with new degrees of freedom and emerging functionality.


JDOI Variance Reduction Method and the Pricing of American Style Options. The present article revisits the Diffusion Operator Integral (DOI) variance reduction technique originally proposed in Heath and Platen (2002) and extends its theoretical concept to the pricing of American style options under (time homogeneous) L 'evy stochastic differential equations. The resulting Jump Diffusion Operator Integral (JDOI) method can be combined with numerous Monte Carlo based stopping time algorithms, including the ubiquitous least squares Monte Carlo (LSMC) algorithm of Longstaff and Schwartz (cf. Carriere (1996), Longstaff and Schwartz (2001)). We exemplify the usefulness of our theoretical derivations under a concrete, though very general jump diffusion stochastic volatility dynamics and test the resulting LSMC based version of the JDOI method. The results provide evidence of a strong variance reduction when compared with a simple application of the LSMC algorithm and proves that applying our technique on top of Monte Carlo based pricing schemes provides a powerful way to speed up these methods.


Oscillations in a Becker D "oring model with injection and depletion. We study the Becker D "oring bubblelator, a variant of the Becker D "oring coagulation fragmentation system that models the growth of clusters by gain or loss of monomers. Motivated by models of gas evolution oscillators from physical chemistry, we incorporate injection of monomers and depletion of large clusters. For a wide range of physical rates, the Becker D "oring system itself exhibits a dynamic phase transition as mass density increases past a critical value. We connect the Becker D "oring bubblelator to a transport equation coupled with an integrodifferential equation for excess monomer density by formal asymptotics in the near critical regime. For suitable injection depletion rates, we argue that time periodic solutions appear via a Hopf bifurcation. Numerics confirm that the generation and removal of large clusters can become desynchronized, leading to temporal oscillations associated with bursts of large cluster nucleation.


On branching laws of Speh representations. In this paper, we consider the branching law of the Speh representation mathrm Sp ( pi,n l) of mathrm GL 2n 2l with respect to the block diagonal subgroup mathrm GL n times mathrm GL n 2l for any irreducible generic representation pi of mathrm GL 2 over any p adic field. We use the Shalika model of mathrm Sp ( pi,n) to construct certain zeta integrals, which were defined by Ginzburg and Kaplan independently, and study them. Finally, using these zeta integrals, we obtain a nonzero mathrm GL n times mathrm GL n 2l map from mathrm Sp ( pi,n l) to tau boxtimes tau vee chi pi times mathrm Sp ( pi, l) for any irreducible representation tau of mathrm GL n . These results form part of the local theory of the Miyawaki lifting for unitary groups.


The State of AI Ethics Report (January 2021). The 3rd edition of the Montreal AI Ethics Institute's The State of AI Ethics captures the most relevant developments in AI Ethics since October 2020. It aims to help anyone, from machine learning experts to human rights activists and policymakers, quickly digest and understand the field's ever changing developments. Through research and article summaries, as well as expert commentary, this report distills the research and reporting surrounding various domains related to the ethics of AI, including algorithmic injustice, discrimination, ethical AI, labor impacts, misinformation, privacy, risk and security, social media, and more. In addition, The State of AI Ethics includes exclusive content written by world class AI Ethics experts from universities, research institutes, consulting firms, and governments. Unique to this report is "The Abuse and Misogynoir Playbook," written by Dr. Katlyn Tuner (Research Scientist, Space Enabled Research Group, MIT), Dr. Danielle Wood (Assistant Professor, Program in Media Arts and Sciences Assistant Professor, Aeronautics and Astronautics Lead, Space Enabled Research Group, MIT) and Dr. Catherine D'Ignazio (Assistant Professor, Urban Science and Planning Director, Data Feminism Lab, MIT). The piece (and accompanying infographic), is a deep dive into the historical and systematic silencing, erasure, and revision of Black women's contributions to knowledge and scholarship in the United Stations, and globally. Exposing and countering this Playbook has become increasingly important following the firing of AI Ethics expert Dr. Timnit Gebru (and several of her supporters) at Google. This report should be used not only as a point of reference and insight on the latest thinking in the field of AI Ethics, but should also be used as a tool for introspection as we aim to foster a more nuanced conversation regarding the impacts of AI on the world.


c 0 has the p RN I Property. In this work, we introduce the property p RN I , 1 p le infty and we show that c 0 has this property.


Green IoT System Architecture for Applied Autonomous Network Cybersecurity Monitoring. Network security morning (NSM) is essential for any cybersecurity system, where the average cost of a cyberattack is 1.1 million. No matter how much a system is secure, it will eventually fail without proper and continuous monitoring. No wonder that the cybersecurity market is expected to grow up to 170.4 billion in 2022. However, the majority of legacy industries do not invest in NSM implementation until it is too late due to the initial and operation cost and static unutilized resources. Thus, this paper proposes a novel dynamic Internet of things (IoT) architecture for an industrial NSM that features a low installation and operation cost, low power consumption, intelligent organization behavior, and environmentally friendly operation. As a case study, the system is implemented in a midrange oil a gas manufacture facility in the southern states with more than 300 machines and servers over three remote locations and a production plant that features a challenging atmosphere condition. The proposed system successfully shows a significant saving ( 65 ) in power consumption, acquires one tenth the installation cost, develops an intelligent operation expert system tools as well as saves the environment from more than 500 mg of CO2 pollution per hour, promoting green IoT systems.


Non solidity of uniruled varieties. We give conditions for a uniruled variety of dimension at least 2 to be non solid. This study provides further evidence to a conjecture by Abban and Okada on the solidity of Fano 3 folds. To complement our results we write explicit birational links from Fano 3 folds of high codimension embedded in weighted projective spaces.


Controlling centrality The Inverse ranking problem for spectral centralities of complex networks. In this paper some results about the controllability of spectral centrality in a complex network are presented. In particular, the inverse problem of designing an unweigthed graph with a prescribed centrality is considered, by showing that for every possible ranking eventually with ties, an unweighted directed undirected complex network can be found whose PageRank or eigenvector centrality gives the ranking considered. Different families of networks are presented in order to analytically solve this problem either for directed and undirected graphs with and without loops.


First Responders Got Wings UAVs to the Rescue of Localization Operations in Beyond 5G Systems. Natural and human made disasters have dramatically increased during the last decades. Given the strong relationship between first responders localization time and the final number of deaths, the modernization of search and rescue operations has become imperative. In this context, Unmanned Aerial Vehicles (UAVs) based solutions are the most promising candidates to take up on the localization challenge by leveraging on emerging technologies such as Artificial Intelligence (AI), Reconfigurable Intelligent Surfaces (RIS) and Orthogonal Time Frequency Space (OTFS) modulations. In this paper, we capitalize on such recently available techniques by shedding light on the main challenges and future opportunities to boost the localization performance of state of the art techniques to give birth to unprecedentedly effective missing victims localization solutions.


Motivic limits for Fano varieties of k planes. We study the probability that an (n m) dimensional linear subspace in mathbb P n or a collection of points spanning such a linear subspace is contained in an m dimensional variety Y subset mathbb P n . This involves a strategy used by Galkin Shinder to connect properties of a cubic hypersurface to its Fano variety of lines via cut and paste relations in the Grothendieck ring of varieties. Generalizing this idea to varieties of higher codimension and degree, we can measure growth rates of weighted probabilities of k planes contained in a sequence of varieties with varying initial parameters over a finite field. In the course of doing this, we move an identity motivated by rationality problems involving cubic hypersurfaces to a motivic statistics setting associated with cohomological stability.


Coupling of a Single Tin vacancy Center to a Photonic Crystal Cavity in Diamond. We demonstrate optical coupling between a single tin vacancy (SnV) center in diamond and a free standing photonic crystal nanobeam cavity. The cavities are fabricated using quasi isotropic etching and feature experimentally measured quality factors as high as 11,000. We investigate the dependence of a single SnV center's emission by controlling the cavity wavelength using a laser induced gas desorption technique. Under resonance conditions, we observe an intensity enhancement of the SnV emission by a factor of 12 and a 16 fold reduction of the SnV lifetime. Based on the large enhancement of the SnV emission rate inside the cavity, we estimate the Purcell factor for the SnV zero phonon line to be 37 and the coupling efficiency of the SnV center to the cavity, the beta factor, to be 95 . Our work paves the way for the realization of quantum photonic devices and systems based on efficient photonic interfaces using the SnV color center in diamond.


Low Dose High Resolution TOF PET Using Ionization activated Multi State Low Z Detector Media. We propose PET scanners using low atomic number media that undergo a persistent local change of state along the paths of the Compton recoil electrons. Measurement of the individual scattering locations and angles, deposited energies, and recoil electron directions allows using the kinematical constraints of the 2 body Compton scattering process to perform a statistical time ordering of the scatterings, with a high probability of precisely identifying where the gamma first interacted in the detector. In these cases the Line of Response is measured with high resolution, determined by the underlying physics processes and not the detector segmentation. There are multiple such media that act through different mechanisms. As an example in which the change of state is quantum mechanical through a change in molecular configuration, rather than thermodynamic, as in a bubble chamber, we present simulations of a two state photoswitchable organic dye, a Switchillator', that is activated to a fluorescent capable state by the ionization of the recoil electrons. The activated state is persistent, and can be optically excited multiple times to image individual activated molecules. Energy resolution is provided by counting the activated molecules. Location along the LOR is implemented by large area time of flight MCP PMT photodetectors with single photon time resolution in the tens of ps and sub mm spatial resolution. Simulations indicate a large reduction of dose.


Scanpath Prediction on Information Visualisations. We propose Unified Model of Saliency and Scanpaths (UMSS) a model that learns to predict visual saliency and scanpaths (i.e. sequences of eye fixations) on information visualisations. Although scanpaths provide rich information about the importance of different visualisation elements during the visual exploration process, prior work has been limited to predicting aggregated attention statistics, such as visual saliency. We present in depth analyses of gaze behaviour for different information visualisation elements (e.g. Title, Label, Data) on the popular MASSVIS dataset. We show that while, overall, gaze patterns are surprisingly consistent across visualisations and viewers, there are also structural differences in gaze dynamics for different elements. Informed by our analyses, UMSS first predicts multi duration element level saliency maps, then probabilistically samples scanpaths from them. Extensive experiments on MASSVIS show that our method consistently outperforms state of the art methods with respect to several, widely used scanpath and saliency evaluation metrics. Our method achieves a relative improvement in sequence score of 11.5 for scanpath prediction, and a relative improvement in Pearson correlation coefficient of up to 23.6 for saliency prediction. These results are auspicious and point towards richer user models and simulations of visual attention on visualisations without the need for any eye tracking equipment.


Extracting Dynamical Models from Data. The FJet approach is introduced for determining the underlying model of data from a dynamical system. It borrows ideas from the fields of Lie symmetries as applied to differential equations (DEs), and numerical integration (such as Runge Kutta). The technique can be considered as a way to use machine learning (ML) to derive a numerical integration scheme. The technique naturally overcomes the "extrapolation problem", which is when ML is used to extrapolate a model beyond the time range of the original training data. It does this by doing the modeling in the phase space of the system, rather than over the time domain. When modeled with a type of regression scheme, it's possible to accurately determine the underlying DE, along with parameter dependencies. Ideas from the field of Lie symmetries applied to ordinary DEs are used to determine constants of motion, even for damped and driven systems. These statements are demonstrated on three examples a damped harmonic oscillator, a damped pendulum, and a damped, driven nonlinear oscillator (Duffing oscillator). In the model for the Duffing oscillator, it's possible to treat the external force in a manner reminiscent of a Green's function approach. Also, in the case of the undamped harmonic oscillator, the FJet approach remains stable approximately 10 9 times longer than 4 th order Runge Kutta.


Unknown Object Segmentation from Stereo Images. Although instance aware perception is a key prerequisite for many autonomous robotic applications, most of the methods only partially solve the problem by focusing solely on known object categories. However, for robots interacting in dynamic and cluttered environments, this is not realistic and severely limits the range of potential applications. Therefore, we propose a novel object instance segmentation approach that does not require any semantic or geometric information of the objects beforehand. In contrast to existing works, we do not explicitly use depth data as input, but rely on the insight that slight viewpoint changes, which for example are provided by stereo image pairs, are often sufficient to determine object boundaries and thus to segment objects. Focusing on the versatility of stereo sensors, we employ a transformer based architecture that maps directly from the pair of input images to the object instances. This has the major advantage that instead of a noisy, and potentially incomplete depth map as an input, on which the segmentation is computed, we use the original image pair to infer the object instances and a dense depth map. In experiments in several different application domains, we show that our Instance Stereo Transformer (INSTR) algorithm outperforms current state of the art methods that are based on depth maps. Training code and pretrained models will be made available.


Rotational excitation of H 3 O cations by para H 2 improved collisional data at low temperatures. The hydronium cation plays a crucial role in interstellar oxygen and water chemistry. While its spectroscopy was extensively investigated earlier, the collisional excitation of H 3 O is not well studied yet. In this work we present state to state collisional data for rotational de excitation of both ortho and para H 3 O due to para H 2 impact. The cross sections are calculated within the close coupling formalism using our recent, highly accurate rigid rotor potential energy surface for this collision system. The corresponding thermal rate coefficients are calculated up to 100 K. For para H 3 O the lowest 20 rotation inversion states were considered in the calculations, while for ortho H 3 O the lowest 11 states are involved (up to j leq5 ), so all levels with rotational energy below 420 K (292 cm 1 ) are studied. In order to analyse the impact of the new collisional rates on the excitation of H 3 O in astrophysical environments radiative transfer calculations are also provided. The most relevant emission lines from an astrophysical point of view are studied, taking into account the transitions at 307, 365, 389 and 396 GHz. We show that our new collisional data have a non negligible impact (from a few percents up to about a factor of 3) on the brightness and excitation temperatures of H 3 O , justifying the revision of the physical conditions in the appropriate astrophysical observations. The calculated rate coefficients allow one to recalculate the column density of hydronium in interstellar clouds, which can lead to a better understanding of interstellar water and oxygen chemistry.


Sections of polar actions. In this short note we provide an elementary proof of the folklore result in the theory of isometric Lie group actions on Riemannian manifolds asserting that sections of polar actions are totally geodesic.


On controlled invariance for regular distributions. This paper considers the problem of controlled invariance of involutive regular distribution, both for smooth and real analytic cases. After a review of some existing work, a precise formulation of the problem of local and global controlled invariance of involutive regular distributions for both affine control systems and affine distributions is introduced. A complete characterization for local controlled invariance of involutive regular distributions for affine control systems is presented. A geometric interpretation for this characterization is provided. A result on local controlled invariance for real analytic affine distribution is given. Then we investigate conditions that allow passages from local controlled invariance to global controlled invariance, for both smooth and real analytic affine distributions. We clarify existing results in the literature. Finally, for manifolds with a symmetry Lie group action, the problem of global controlled invariance is considered.


Automated Agriculture Commodity Price Prediction System with Machine Learning Techniques. The intention of this research is to study and design an automated agriculture commodity price prediction system with novel machine learning techniques. Due to the increasing large amounts historical data of agricultural commodity prices and the need of performing accurate prediction of price fluctuations, the solution has largely shifted from statistical methods to machine learning area. However, the selection of proper set from historical data for forecasting still has limited consideration. On the other hand, when implementing machine learning techniques, finding a suitable model with optimal parameters for global solution, nonlinearity and avoiding curse of dimensionality are still biggest challenges, therefore machine learning strategies study are needed. In this research, we propose a web based automated system to predict agriculture commodity price. In the two series experiments, five popular machine learning algorithms, ARIMA, SVR, Prophet, XGBoost and LSTM have been compared with large historical datasets in Malaysia and the most optimal algorithm, LSTM model with an average of 0.304 mean square error has been selected as the prediction engine of the proposed system.


Contextualized Query Embeddings for Conversational Search. This paper describes a compact and effective model for low latency passage retrieval in conversational search based on learned dense representations. Prior to our work, the state of the art approach uses a multi stage pipeline comprising conversational query reformulation and information retrieval modules. Despite its effectiveness, such a pipeline often includes multiple neural models that require long inference times. In addition, independently optimizing each module ignores dependencies among them. To address these shortcomings, we propose to integrate conversational query reformulation directly into a dense retrieval model. To aid in this goal, we create a dataset with pseudo relevance labels for conversational search to overcome the lack of training data and to explore different training strategies. We demonstrate that our model effectively rewrites conversational queries as dense representations in conversational search and open domain question answering datasets. Finally, after observing that our model learns to adjust the L 2 norm of query token embeddings, we leverage this property for hybrid retrieval and to support error analysis.


Online Robust Reinforcement Learning with Model Uncertainty. Robust reinforcement learning (RL) is to find a policy that optimizes the worst case performance over an uncertainty set of MDPs. In this paper, we focus on model free robust RL, where the uncertainty set is defined to be centering at a misspecified MDP that generates a single sample trajectory sequentially and is assumed to be unknown. We develop a sample based approach to estimate the unknown uncertainty set and design a robust Q learning algorithm (tabular case) and robust TDC algorithm (function approximation setting), which can be implemented in an online and incremental fashion. For the robust Q learning algorithm, we prove that it converges to the optimal robust Q function, and for the robust TDC algorithm, we prove that it converges asymptotically to some stationary points. Unlike the results in Roy et al., 2017 , our algorithms do not need any additional conditions on the discount factor to guarantee the convergence. We further characterize the finite time error bounds of the two algorithms and show that both the robust Q learning and robust TDC algorithms converge as fast as their vanilla counterparts(within a constant factor). Our numerical experiments further demonstrate the robustness of our algorithms. Our approach can be readily extended to robustify many other algorithms, e.g., TD, SARSA, and other GTD algorithms.


Transformers in the loop Polarity in neural models of language. Representation of linguistic phenomena in computational language models is typically assessed against the predictions of existing linguistic theories of these phenomena. Using the notion of polarity as a case study, we show that this is not always the most adequate set up. We probe polarity via so called 'negative polarity items' (in particular, English 'any') in two pre trained Transformer based models (BERT and GPT 2). We show that at least for polarity metrics derived from language models are more consistent with data from psycholinguistic experiments than linguistic theory predictions. Establishing this allows us to more adequately evaluate the performance of language models and also to use language models to discover new insights into natural language grammar beyond existing linguistic theories. This work contributes to establishing closer ties between psycholinguistic experiments and experiments with language models.


Multimodal Gait Recognition for Neurodegenerative Diseases. In recent years, single modality based gait recognition has been extensively explored in the analysis of medical images or other sensory data, and it is recognised that each of the established approaches has different strengths and weaknesses. As an important motor symptom, gait disturbance is usually used for diagnosis and evaluation of diseases moreover, the use of multi modality analysis of the patient's walking pattern compensates for the one sidedness of single modality gait recognition methods that only learn gait changes in a single measurement dimension. The fusion of multiple measurement resources has demonstrated promising performance in the identification of gait patterns associated with individual diseases. In this paper, as a useful tool, we propose a novel hybrid model to learn the gait differences between three neurodegenerative diseases, between patients with different severity levels of Parkinson's disease and between healthy individuals and patients, by fusing and aggregating data from multiple sensors. A spatial feature extractor (SFE) is applied to generating representative features of images or signals. In order to capture temporal information from the two modality data, a new correlative memory neural network (CorrMNN) architecture is designed for extracting temporal features. Afterwards, we embed a multi switch discriminator to associate the observations with individual state estimations. Compared with several state of the art techniques, our proposed framework shows more accurate classification results.


When a system of real quadratic equations has a solution. We provide a sufficient condition for solvability of a system of real quadratic equations p i(x) y i , i 1, ldots, m , where p i mathbb R n longrightarrow mathbb R are quadratic forms. By solving a positive semidefinite program, one can reduce it to another system of the type q i(x) alpha i , i 1, ldots, m , where q i mathbb R n longrightarrow mathbb R are quadratic forms and alpha i mathrm tr q i . We prove that the latter system has solution x in mathbb R n if for some (equivalently, for any) orthonormal basis A 1, ldots, A m in the space spanned by the matrices of the forms q i , the operator norm of A 1 2 ldots A m 2 does not exceed eta m for some absolute constant eta 0 . The condition can be checked in polynomial time and is satisfied, for example, for random q i provided m leq gamma sqrt n for an absolute constant gamma 0 . We prove a similar sufficient condition for a system of homogeneous quadratic equations to have a non trivial solution. While the condition we obtain is of an algebraic nature, the proof relies on analytic tools including Fourier analysis and measure concentration.


S2AND A Benchmark and Evaluation System for Author Name Disambiguation. Author Name Disambiguation (AND) is the task of resolving which author mentions in a bibliographic database refer to the same real world person, and is a critical ingredient of digital library applications such as search and citation analysis. While many AND algorithms have been proposed, comparing them is difficult because they often employ distinct features and are evaluated on different datasets. In response to this challenge, we present S2AND, a unified benchmark dataset for AND on scholarly papers, as well as an open source reference model implementation. Our dataset harmonizes eight disparate AND datasets into a uniform format, with a single rich feature set drawn from the Semantic Scholar (S2) database. Our evaluation suite for S2AND reports performance split by facets like publication year and number of papers, allowing researchers to track both global performance and measures of fairness across facet values. Our experiments show that because previous datasets tend to cover idiosyncratic and biased slices of the literature, algorithms trained to perform well on one on them may generalize poorly to others. By contrast, we show how training on a union of datasets in S2AND results in more robust models that perform well even on datasets unseen in training. The resulting AND model also substantially improves over the production algorithm in S2, reducing error by over 50 in terms of B 3 F1. We release our unified dataset, model code, trained models, and evaluation suite to the research community. https github.com allenai S2AND


The Prevalence of Cybersecurity Misinformation on Social Media Case Studies on Phishing Reports and Zoom's Threats. Recently, threat intelligence and security tools have been augmented to use the timely and relevant security information extracted from social media. However, both ordinary users and malicious actors may spread misinformation, which can misguide not only the end users but also the threat intelligence tools. In this work, for the first time, we study the prevalence of cybersecurity and privacy misinformation on social media, focusing on two different topics phishing websites and Zoom's security privacy. We collected Twitter posts that were warning users about phishing websites and tried to verify these claims. We found about 22 of these tweets to be not valid claims. We then investigated posts about Zoom's security and privacy on multiple platforms, including Instagram, Reddit, Twitter, and Facebook. To detect misinformation related to Zoom, we first created a groundtruth dataset and a taxonomy of misinformation and identified the textual and contextual features to be used for training classifiers to detect posts that discuss the security and privacy of Zoom and detect misinformation. Our classifiers showed great performance, e.g., Reddit and Facebook misinformation classifier reached an accuracy of 99 while Twitter and Instagram reached an accuracy of 98 . Employing these classifiers on the posts from Instagram, Facebook, Reddit, and Twitter, we found that respectively about 3 , 10 , 4 , and 0.4 of Zoom's security and privacy posts as misinformation. This highlights the need for social media platforms to dedicate resources to curb the spread of misinformation, and for data driven security tools to propose methods to minimize the impact of such misinformation on their performance.


Analogue of the Tricomi problem for the mixed type equation with fractional derivative. Inverse problems. In this work, an analogue of the Tricomi problem for equations of mixed type with a fractional derivative is investigated. In one part of the domain, the considered equation is a subdiffusion equation with a fractional derivative of order ? 2 (0 1) in the sense of Riemann Liouville, and in the other it is a wave equation. Assuming the parameter ? to be unknown, the corresponding inverse problem is studied . It was found an additional condition, that provides not only uniqueness but also existance of the desired parameter. It should be noted that the inverse problem of determining the fractional derivative for the subdiffusion and wave equations has been studied by many mathematicians. But in the case of the Tricomi problem for a mixed type equation, the questions of determining the fractional time derivative are studied for the first time.


Non contact, in vivo, functional, and structural ophthalmic imaging using multimodal photoacoustic remote sensing (PARS) microscopy and optical coherence tomography (OCT). Early diagnosis of ocular diseases improves the understanding of pathophysiology and helps with accurate monitoring and effective treatment. Advanced multimodal ocular imaging platforms play a crucial role in the visualization of the ocular components and provide clinicians with a valuable tool for evaluating different eye diseases. Here, for the first time, we present a non contact, multimodal photoacoustic remote sensing (PARS) microscopy and swept source optical coherence tomography (SS OCT) for in vivo functional and structural imaging of the eye. The system provides complementary imaging contrasts of optical absorption and optical scattering and is used for non contact, in vivo imaging of the murine eye. Results of vasculature and structural imaging as well as melanin content in the retinal pigment epithelium (RPE) layer are presented. Multiwavelength PARS microscopy using Stimulated Raman Scattering (SRS) is applied for the first time, to provide non contact oxygen saturation estimation in the ocular tissue. The reported work may be a major step toward clinical translation of ophthalmic technologies and has the potential to advance the diagnosis and treatment of ocular diseases.


The effect of droplet coalescence on drag in turbulent channel flows. We study the effect of droplet coalescence on turbulent wall bounded flows, by means of direct numerical simulations. In particular, the volume of fluid and front tracking methods are used to simulate turbulent channel flows containing coalescing and non coalescing droplets, respectively. We find that coalescing droplets have a negligible effect on the drag, whereas the non coalescing ones steadily increase drag as the volume fraction of the dispersed phase increases indeed, at 10 volume fraction, the non coalescing droplets show a 30 increase in drag, whereas the coalescing droplets show less than 4 increase. We explain this by looking at the wall normal location of droplets in the channel and show that non coalescing droplets enter the viscous sublayer, generating an interfacial shear stress which reduces the budget for viscous stress in the channel. On the other hand, coalescing droplets migrate towards the bulk of the channel forming large aggregates, which hardly affect the viscous shear stress while damping the Reynolds shear stress. We prove this by relating the mean viscous shear stress integrated in the wall normal direction to the centreline velocity.


Fast and High Quality Blind Multi Spectral Image Pansharpening. Blind pansharpening addresses the problem of generating a high spatial resolution multi spectral (HRMS) image given a low spatial resolution multi spectral (LRMS) image with the guidance of its associated spatially misaligned high spatial resolution panchromatic (PAN) image without parametric side information. In this paper, we propose a fast approach to blind pansharpening and achieve state of the art image reconstruction quality. Typical blind pansharpening algorithms are often computationally intensive since the blur kernel and the target HRMS image are often computed using iterative solvers and in an alternating fashion. To achieve fast blind pansharpening, we decouple the solution of the blur kernel and of the HRMS image. First, we estimate the blur kernel by computing the kernel coefficients with minimum total generalized variation that blur a downsampled version of the PAN image to approximate a linear combination of the LRMS image channels. Then, we estimate each channel of the HRMS image using local Laplacian prior to regularize the relationship between each HRMS channel and the PAN image. Solving the HRMS image is accelerated by both parallelizing across the channels and by fast numerical algorithms for each channel. Due to the fast scheme and the powerful priors we used on the blur kernel coefficients (total generalized variation) and on the cross channel relationship (local Laplacian prior), numerical experiments demonstrate that our algorithm outperforms state of the art model based counterparts in terms of both computational time and reconstruction quality of the HRMS images.


Understanding Cycling Mobility Bologna Case Study. Understanding human mobility in urban environments is of the utmost importance to manage traffic and for deploying new resources and services. In recent years, the problem is exacerbated due to rapid urbanization and climate changes. In an urban context, human mobility has many facets, and cycling represents one of the most eco friendly and efficient effective ways to move in touristic and historical cities. The main objective of this work is to study the cycling mobility within the city of Bologna, Italy. We used six months dataset that consists of 320,118 self reported bike trips. In particular, we performed several descriptive analysis to understand spatial and temporal patterns of bike users for understanding popular roads, and most favorite points within the city. This analysis involved several other public datasets in order to explore variables that can possibly affect the cycling activity, such as weather, pollution, and events. The main results of this study indicate that bike usage is more correlated to temperature, and precipitation and has no correlation to wind speed and pollution. In addition, we also exploited various machine learning and deep learning approaches for predicting short term trips in the near future (that is for the following 30, and 60 minutes), that could help local governmental agencies for urban planning. Our best model achieved an R square of 0.91, a Mean Absolute Error of 5.38 and a Root Mean Squared Error of 8.12 for the 30 minutes time interval.


Hyperbolic domains in real Euclidean spaces. The second named author and David Kalaj introduced a pseudometric on any domain in the real Euclidean space mathbb R n , n ge 3 , defined in terms of conformal harmonic discs, by analogy with Kobayashi's pseudometric on complex manifolds, which is defined in terms of holomorphic discs. They showed that on the unit ball of mathbb R n , the minimal metric coincides with the classical Beltrami Cayley Klein metric, one of the models of hyperbolic geometry. In the present paper we investigate properties of the minimal pseudometric and give sufficient conditions for a domain to be (complete) hyperbolic, meaning that the minimal pseudometric is a (complete) metric. We show in particular that a convex domain is complete hyperbolic if and only if it does not contain any affine 2 planes. One of our main results is that a domain with a negative minimal plurisubharmonic exhaustion function is hyperbolic, and a bounded strongly minimally convex domain is complete hyperbolic. We also prove a localization theorem for the minimal pseudometric.


TIP Task Informed Motion Prediction for Intelligent Systems. Motion prediction is important for intelligent driving systems, providing the future distributions of road agent behaviors and supporting various decision making tasks. Existing motion predictors are often optimized and evaluated via task agnostic measures based on prediction accuracy. Such measures fail to account for the use of prediction in downstream tasks, and could result in sub optimal task performance. We propose a task informed motion prediction framework that jointly reasons about prediction accuracy and task utility, to better support downstream tasks through its predictions. The task utility function does not require the full task information, but rather a specification of the utility of the task, resulting in predictors that serve a wide range of downstream tasks. We demonstrate our framework on two use cases of task utilities, in the context of autonomous driving and parallel autonomy, and show the advantage of task informed predictors over task agnostic ones on the Waymo Open Motion dataset.


HO 3D v3 Improving the Accuracy of Hand Object Annotations of the HO 3D Dataset. HO 3D is a dataset providing image sequences of various hand object interaction scenarios annotated with the 3D pose of the hand and the object and was originally introduced as HO 3D v2. The annotations were obtained automatically using an optimization method, 'HOnnotate', introduced in the original paper. HO 3D v3 provides more accurate annotations for both the hand and object poses thus resulting in better estimates of contact regions between the hand and the object. In this report, we elaborate on the improvements to the HOnnotate method and provide evaluations to compare the accuracy of HO 3D v2 and HO 3D v3. HO 3D v3 results in 4mm higher accuracy compared to HO 3D v2 for hand poses while exhibiting higher contact regions with the object surface.


Tracking in apps' privacy policies. Data protection law, including the General Data Protection Regulation (GDPR), usually requires a privacy policy before data can be collected from individuals. We analysed 15,145 privacy policies from 26,910 mobile apps in May 2019 (about one year after the GDPR came into force), finding that only opening the policy webpages shares data with third parties for 48.5 of policies, potentially violating the GDPR. We compare this data sharing across countries, payment models (free, in app purchases, paid) and platforms (Google Play Store, Apple App Store). We further contacted 52 developers of apps, which did not provide a privacy policy, and asked them about their data practices. Despite being legally required to answer such queries, 12 developers (23 ) failed to respond.


The Impact of Visualizing Design Gradients for Human Designers. Mixed initiative Procedural Content Generation (PCG) refers to tools or systems in which a human designer works with an algorithm to produce game content. This area of research remains relatively under explored, with the majority of mixed initiative PCG level design systems using a common set of search based PCG algorithms. In this paper, we introduce a mixed initiative tool employing Exhaustive PCG (EPCG) for puzzle level design to further explore mixed initiative PCG. We run an online human subject study in which individuals use the tool with an EPCG component turned on or off. Our analysis of the results demonstrates that, although a majority of users did not prefer the tool, it made the level design process significantly easier, and that the tool impacted the subjects' design process. This paper describes the study results and draws lessons for mixed initiative PCG tool design.