Revenue and risk of variable renewable electricity investment the cannibalization effect under high market penetration. The market revenue for variable renewable electricity (VRE) assets has been under intense scrutiny during the last few years. The observation that wind and solar power depress market prices at times when they produce the most has been termed the 'cannibalization effect'. This can have a substantial impact on the revenue of these technologies, the magnitude of which has already been established within the economic literature on current and future markets. Yet, the effect is neglected in the capital budgeting literature assessing green investments in the electricity sector (e.g. including methods such as portfolio and real options theory). In this paper, we present an analytical framework that explicitly models the correlation between VRE production and electricity price, as well as the impact on revenues of the surrounding capacity mix and cost to emit CO 2 . In particular, we derive closed form expressions for the short term and long term expected revenue, the variance of the revenue and the timing of investments. The effect of including these system characteristics is illustrated with numerical examples, using a wind investment in the Polish electricity system as a test case. We find the cannibalization effect to have major influence on the revenues, making the projected profit of a project decrease from 33 to between 13 and 40 (i.e. a loss), depending on the assumption for the rate of future VRE capacity expansion. Using a real options framework, the investment threshold increases by between 13 and 67 , due to the inclusion of cannibalization. Our results likewise indicate that subjective beliefs and uncertainty about the future electricity capacity mix, e.g. VRE capacity growth, significantly affect the assessment of the revenue and investment timing.


Regshock Interactive Visual Analytics of Systemic Risk in Financial Networks. Financial regulatory agencies are struggling to manage the systemic risks attributed to negative economic shocks. Preventive interventions are prominent to eliminate the risks and help to build a more resilient financial system. Although tremendous efforts have been made to measure multi risk severity levels, understand the contagion behaviors and other risk management problems, there still lacks a theoretical framework revealing what and how regulatory intervention measurements can mitigate systemic risk. Here we demonstrate regshock, a practical visual analytical approach to support the exploration and evaluation of financial regulation measurements. We propose risk island, an unprecedented risk centered visualization algorithm to help uncover the risk patterns while preserving the topology of financial networks. We further propose regshock, a novel visual exploration and assessment approach based on the simulation intervention evaluation analysis loop, to provide a heuristic surgical intervention capability for systemic risk mitigation. We evaluate our approach through extensive case studies and expert reviews. To our knowledge, this is the first practical systemic method for the financial network intervention and risk mitigation problem our validated approach potentially improves the risk management and control capabilities of financial experts.


Learning Multiscale Correlations for Human Motion Prediction. In spite of the great progress in human motion prediction, it is still a challenging task to predict those aperiodic and complicated motions. We believe that to capture the correlations among human body components is the key to understand the human motion. In this paper, we propose a novel multiscale graph convolution network (MGCN) to address this problem. Firstly, we design an adaptive multiscale interactional encoding module (MIEM) which is composed of two sub modules scale transformation module and scale interaction module to learn the human body correlations. Secondly, we apply a coarse to fine decoding strategy to decode the motions sequentially. We evaluate our approach on two standard benchmark datasets for human motion prediction Human3.6M and CMU motion capture dataset. The experiments show that the proposed approach achieves the state of the art performance for both short term and long term prediction especially in those complicated action category.


Deep adaptive basis Galerkin method for high dimensional evolution equations with oscillatory solutions. In this paper, we study deep neural networks (DNNs) for solving high dimensional evolution equations with oscillatory solutions. Different from deep least squares methods that deal with time and space variables simultaneously, we propose a deep adaptive basis Galerkin (DABG) method which employs the spectral Galerkin method for time variable by tensor product basis for oscillatory solutions and the deep neural network method for high dimensional space variables. The proposed method can lead to a linear system of differential equations having unknown DNNs that can be trained via the loss function. We establish a posterior estimates of the solution error which is bounded by the minimal loss function and the term O(N m ) , where N is the number of basis functions and m characterizes the regularity of the equation, and show that if the true solution is a Barron type function, the error bound converges to zero as M O(N p) approaches to infinity where M is the width of the used networks and p is a positive constant. Numerical examples including high dimensional linear parabolic and hyperbolic equations, and nonlinear Allen Cahn equation are presented to demonstrate the performance of the proposed DABG method is better than that of existing DNNs.


On the automorphisms of hyperplane sections of generalized Grassmannians. Given a smooth hyperplane section H of a rational homogeneous space G P with Picard number one, we address the question whether it is always possible to lift an automorphism of H to the Lie group G , or more precisely to Aut (G P) . Using linear spaces and quadrics in H , we show that the answer is positive up to a few well understood exceptions related to Jordan algebras. When G P is an adjoint variety, we show how to describe Aut (H) completely, extending results obtained by Prokhorov and Zaidenberg when G is the exceptional group G 2 .


Probabilistic Models of k mer Frequencies (Extended Abstract). In this article, we review existing probabilistic models for modeling abundance of fixed length strings (k mers) in DNA sequencing data. These models capture dependence of the abundance on various phenomena, such as the size and repeat content of the genome, heterozygosity levels, and sequencing error rate. This in turn allows to estimate these properties from k mer abundance histograms observed in real data. We also briefly discuss the issue of comparing k mer abundance between related sequencing samples and meaningfully summarizing the results.


Automated construction of quantum classical hybrid models. We present a protocol for the fully automated construction of quantum mechanical (QM) classical hybrid models by extending our previously reported approach on self parametrizing system focused atomistic models (SFAM) J. Chem. Theory Comput. 2020, 16, 1646 . In this QM SFAM approach, the size and composition of the QM region is evaluated in an automated manner based on first principles so that the hybrid model describes the atomic forces in the center of the QM region accurately. This entails the automated construction and evaluation of differently sized QM regions with a bearable computational overhead that needs to be paid for automated validation procedures. Applying SFAM for the classical part of the model eliminates any dependence on pre existing parameters due to its system focused quantum mechanically derived parametrization. Hence, QM SFAM is capable of delivering a high fidelity and complete automation. Furthermore, since SFAM parameters are generated for the whole system, our ansatz allows for a convenient re definition of the QM region during a molecular exploration. For this purpose, a local re parametrization scheme is introduced, which efficiently generates additional classical parameters on the fly when new covalent bonds are formed (or broken) and moved to the classical region.


VICReg Variance Invariance Covariance Regularization for Self Supervised Learning. Recent self supervised methods for image representation learning are based on maximizing the agreement between embedding vectors from different views of the same image. A trivial solution is obtained when the encoder outputs constant vectors. This collapse problem is often avoided through implicit biases in the learning architecture, that often lack a clear justification or interpretation. In this paper, we introduce VICReg (Variance Invariance Covariance Regularization), a method that explicitly avoids the collapse problem with a simple regularization term on the variance of the embeddings along each dimension individually. VICReg combines the variance term with a decorrelation mechanism based on redundancy reduction and covariance regularization, and achieves results on par with the state of the art on several downstream tasks. In addition, we show that incorporating our new variance term into other methods helps stabilize the training and leads to performance improvements.


Non synchronized solutions to nonlinear elliptic Schr "odinger systems on a closed Riemannian manifold. On a smooth, closed Riemannian manifold, we study the question of proportionality of components, also called synchronization, of vector valued solutions to nonlinear elliptic Schr "odinger systems with constant coefficients. In particular, we obtain bifurcation results showing the existence of branches of non synchronized solutions emanating from the constant solutions.


Estimation and Applications of Quantiles in Deep Binary Classification. Quantile regression, based on check loss, is a widely used inferential paradigm in Econometrics and Statistics. The conditional quantiles provide a robust alternative to classical conditional means, and also allow uncertainty quantification of the predictions, while making very few distributional assumptions. We consider the analogue of check loss in the binary classification setting. We assume that the conditional quantiles are smooth functions that can be learnt by Deep Neural Networks (DNNs). Subsequently, we compute the Lipschitz constant of the proposed loss, and also show that its curvature is bounded, under some regularity conditions. Consequently, recent results on the error rates and DNN architecture complexity become directly applicable. We quantify the uncertainty of the class probabilities in terms of prediction intervals, and develop individualized confidence scores that can be used to decide whether a prediction is reliable or not at scoring time. By aggregating the confidence scores at the dataset level, we provide two additional metrics, model confidence, and retention rate, to complement the widely used classifier summaries. We also the robustness of the proposed non parametric binary quantile classification framework are also studied, and we demonstrate how to obtain several univariate summary statistics of the conditional distributions, in particular conditional means, using smoothed conditional quantiles, allowing the use of explanation techniques like Shapley to explain the mean predictions. Finally, we demonstrate an efficient training regime for this loss based on Stochastic Gradient Descent with Lipschitz Adaptive Learning Rates (LALR).


Powersum Bases in Quasisymmetric Functions and Quasisymmetric Functions in Non commuting Variables. We introduce new bases for the Hopf algebra of quasisymmetric functions that refine the symmetric powersum basis. These bases are expanded in terms of quasisymmetric monomial functions by using fillings of matrices. We define the analog of these bases in quasisymmetric functions of non commuting variables. Our new bases have a (shifted) shuffle product and a deconcatenate coproduct. Finally, we describe a change of basis rule from the quasisymmetric powersum basis to the quasisymmetric fundamental basis.


PSA GAN Progressive Self Attention GANs for Synthetic Time Series. Realistic synthetic time series data of sufficient length enables practical applications in time series modeling tasks, such as forecasting, but remains a challenge. In this paper we present PSA GAN, a generative adversarial network (GAN) that generates long time series samples of high quality using progressive growing of GANs and self attention. We show that PSA GAN can be used to reduce the error in two downstream forecasting tasks over baselines that only use real data. We also introduce a Frechet Inception Distance like score, Context FID, assessing the quality of synthetic time series samples. In our downstream tasks, we find that the lowest scoring models correspond to the best performing ones. Therefore, Context FID could be a useful tool to develop time series GAN models.


Off Policy Meta Reinforcement Learning Based on Feature Embedding Spaces. Meta reinforcement learning (RL) addresses the problem of sample inefficiency in deep RL by using experience obtained in past tasks for a new task to be solved. However, most meta RL methods require partially or fully on policy data, i.e., they cannot reuse the data collected by past policies, which hinders the improvement of sample efficiency. To alleviate this problem, we propose a novel off policy meta RL method, embedding learning and evaluation of uncertainty (ELUE). An ELUE agent is characterized by the learning of a feature embedding space shared among tasks. It learns a belief model over the embedding space and a belief conditional policy and Q function. Then, for a new task, it collects data by the pretrained policy, and updates its belief based on the belief model. Thanks to the belief update, the performance can be improved with a small amount of data. In addition, it updates the parameters of the neural networks to adjust the pretrained relationships when there are enough data. We demonstrate that ELUE outperforms state of the art meta RL methods through experiments on meta RL benchmarks.


Soft Jig A Flexible Sensing Jig for Simultaneously Fixing and Estimating Orientation of Assembly Parts. For assembly tasks, it is essential to firmly fix target parts and to accurately estimate their poses. Several rigid jigs for individual parts are frequently used in assembly factories to achieve precise and time efficient product assembly. However, providing customized jigs is time consuming. In this study, to address the lack of versatility in the shapes the jigs can be used for, we developed a flexible jig with a soft membrane including transparent beads and oil with a tuned refractive index. The bead based jamming transition was accomplished by discharging only oil enabling a part to be firmly fixed. Because the two cameras under the jig are able to capture membrane shape changes, we proposed a sensing method to estimate the orientation of the part based on the behaviors of markers created on the jig's inner surface. Through estimation experiments, the proposed system could estimate the orientation of a cylindrical object with a diameter larger than 50 mm and an RMSE of less than 3 degrees.


On the Holt Klee Property for Oriented Matroid Programming. The Holt Klee theorem says that the graph of a d polytope, with edges oriented by a linear function on P that is not constant on any edge, admits d independent monotone paths from the source to the sink. We prove that the digraphs obtained from oriented matroid programs of rank d 1 on n 2 elements, which include those from d polytopes with n facets, admit d independent monotone paths from source to sink if d le 4 . This was previously only known to hold for d le 3 and n le 6 .


Prime Sums. We study the properties of certain graphs involving the sums of primes. Their structure largely turns out to relate to the distribution of prime gaps and can be roughly seen in Cram 'er's model as well. We also discuss generalizations to the Gaussian integers.


DeepGreen Deep Learning of Green's Functions for Nonlinear Boundary Value Problems. Boundary value problems (BVPs) play a central role in the mathematical analysis of constrained physical systems subjected to external forces. Consequently, BVPs frequently emerge in nearly every engineering discipline and span problem domains including fluid mechanics, electromagnetics, quantum mechanics, and elasticity. The fundamental solution, or Green's function, is a leading method for solving linear BVPs that enables facile computation of new solutions to systems under any external forcing. However, fundamental Green's function solutions for nonlinear BVPs are not feasible since linear superposition no longer holds. In this work, we propose a flexible deep learning approach to solve nonlinear BVPs using a dual autoencoder architecture. The autoencoders discover an invertible coordinate transform that linearizes the nonlinear BVP and identifies both a linear operator L and Green's function G which can be used to solve new nonlinear BVPs. We find that the method succeeds on a variety of nonlinear systems including nonlinear Helmholtz and Sturm Liouville problems, nonlinear elasticity, and a 2D nonlinear Poisson equation. The method merges the strengths of the universal approximation capabilities of deep learning with the physics knowledge of Green's functions to yield a flexible tool for identifying fundamental solutions to a variety of nonlinear systems.


Seismic events found by waveform cross correlation after the announced underground nuclear tests conducted by the DPRK on 12.02.2013 and 06.01.2016. Aftershocks or hidden nuclear tests?. The multi master method based on waveform cross correlation has found several aftershocks of the third (DPRK3) and the fourth (DPRK4) announced underground nuclear tests conducted by the DPRK on 12.02.2013, and 06.01.2016, respectively. The second DPRK test had no reliable aftershock hypotheses at the level of the method sensitivity and resolution. The closest to the test site array station USRK was not operational before 20.12.2008 and the first DPRK test cannot be analyzed by the multi master method based on waveform templates from two IMS stations USRK and KSRS. The largest aftershocks of the DPRK3 and DPRK4 are close in magnitude to the first aftershock of the DPRK5 on 11.09.2016, and many aftershocks of the DPRK6. Three big aftershocks of the DPRK3 occurred on 25.05.2014, i.e. 467 days after the mainshock. The DPRK3 aftershock found at 6 43 03 UTC had a relative magnitude of 2.91. There were found two aftershocks of the DPRK4 on 19.02.2016 (0 28 07 UTC) and on 02.07.2016 (19 52 27 UTC). The largest aftershocks of the DPRK3 and DPRK4 could be interpreted as related to the cavity collapse process likely followed by a chimney collapse, not reaching the free surface, however, as no noble gases and or radionuclide particles were detected. Seismic signals from all events found before the DPRK5 (09.09.2016), had a high level of cross correlation with the waveform templates of the DRPK5 and DPRK6. These signals prove the shape similarity, and thus, the close spatial proximity of the seismic events after DPRK3 DPRK4 to the DPRK5 DPRK6 aftershocks. There were no other events found by the multi master method since 01.01.2009, even when the highest resolution regime was used. The resolution and sensitivity of the multi master method were tuned and tested using the data after 09.09.2016.


A new geometric duality and approximation algorithms for convex vector optimization problems. In the literature, various algorithms for solving vector optimization problems work by fixing a direction parameter in the objective space. The performance of such algorithms depends greatly on the choice of this parameter. Recently, a primal algorithm that does not work with a direction parameter has been proposed for convex vector optimization problems in arXiv 2104.10282. In this paper, we construct a geometric dual algorithm for such problems based on a new geometric duality relation between the primal and dual images. For a primal problem with a q dimensional objective space, we formulate a dual problem with a (q 1) dimensional objective space. Consequently, the resulting dual image is a convex cone. The constructed geometric dual algorithm gives a finite epsilon solution to the dual problem moreover, it gives a finite weak tilde epsilon solution to the primal problem, where tilde epsilon is determined by epsilon and the structure of the underlying ordering cone. We also modify the algorithm in arXiv 2104.10282 in a way that it gives a finite epsilon solution to the dual problem as well as a finite weak epsilon solution to the primal problem. We test the performance of the algorithms for randomly generated problem instances by using the so called primal error and hypervolume indicator as performance measures


Typical representations, parabolic induction and the inertial local Langlands correspondence. We prove a result which provides a link between the decomposition of parabolically induced representations and the Bushnell Kutzko theory of typical representations. As an application, we show that there exists a well defined inertial Langlands correspondence which respects the monodromy action of L parameters, under some standard conjectures regarding the local Langlands correspondence. To allow for potential applications of this inertial Langlands correspondence, we also provide a complete construction of the set of typical representations, giving a parametrization of these in terms of the structure of the Bruhat Tits building of G .


Unsupervised Representation Learning for Binary Networks by Joint Classifier Learning. Self supervised learning is a promising unsupervised learning framework that has achieved success with large floating point networks. But such networks are not readily deployable to edge devices. To accelerate deployment of models with the benefit of unsupervised representation learning to such resource limited devices for various downstream tasks, we propose a self supervised learning method for binary networks that uses a moving target network. In particular, we propose to jointly train a randomly initialized classifier, attached to a pretrained floating point feature extractor, with a binary network. Additionally, we propose a feature similarity loss, a dynamic loss balancing and modified multi stage training to further improve the accuracy, and call our method BURN. Our empirical validations over five downstream tasks using seven datasets show that BURN outperforms self supervised baselines for binary networks and sometimes outperforms supervised pretraining. Code is availabe at https github.com naver ai burn.


Self supervised Enhancement of Latent Discovery in GANs. Several methods for discovering interpretable directions in the latent space of pre trained GANs have been proposed. Latent semantics discovered by unsupervised methods are relatively less disentangled than supervised methods since they do not use pre trained attribute classifiers. We propose Scale Ranking Estimator (SRE), which is trained using self supervision. SRE enhances the disentanglement in directions obtained by existing unsupervised disentanglement techniques. These directions are updated to preserve the ordering of variation within each direction in latent space. Qualitative and quantitative evaluation of the discovered directions demonstrates that our proposed method significantly improves disentanglement in various datasets. We also show that the learned SRE can be used to perform Attribute based image retrieval task without further training.


Outcome Explorer A Causality Guided Interactive Visual Interface for Interpretable Algorithmic Decision Making. The widespread adoption of algorithmic decision making systems has brought about the necessity to interpret the reasoning behind these decisions. The majority of these systems are complex black box models, and auxiliary models are often used to approximate and then explain their behavior. However, recent research suggests that such explanations are not overly accessible to lay users with no specific expertise in machine learning and this can lead to an incorrect interpretation of the underlying model. In this paper, we show that a predictive and interactive model based on causality is inherently interpretable, does not require any auxiliary model, and allows both expert and non expert users to understand the model comprehensively. To demonstrate our method we developed Outcome Explorer, a causality guided interactive interface, and evaluated it by conducting think aloud sessions with three expert users and a user study with 18 non expert users. All three expert users found our tool to be comprehensive in supporting their explanation needs while the non expert users were able to understand the inner workings of a model easily.


Gravitational instantons and del Pezzo surfaces. We show that any ALH gravitational instanton arises from the Tian Yau construction on a weak del Pezzo surface minus an anticanonical elliptic curve. A corollary is that any ALH gravitational instanton can be compactified to a rational elliptic surface with respect to a hyperkaehler rotation of the weak del Pezzo complex structure.


Benchmarking Collective Effects of Electron Interactions in a Wiggler with OPAL FEL. OPAL FEL is a recently developed tool for the modeling of particle accelerators containing wigglers or undulators. It extends the well established 3D electrostatic particle tracking code OPAL, by merging it with the finite difference time domain electromagnetic solver MITHRA. We present results of two benchmark cases where OPAL FEL simulations are compared to experimental results. Both experiments concern electron beamlines where the longitudinal phase space is modulated with a short magnetic wiggler. Good agreement was found in both the space charge and radiation dominated regimes.


On a Berstein Sato polynomial of a meromorphic function. We define Berstein Sato polynomials for meromorphic functions and study their basic properties. In particular, we prove a Kashiwara Malgrange type theorem on their geometric monodromies, which would be useful also in relation with the monodromy conjecture. A new feature in the meromorphic setting is that we have several b functions whose roots yield the same set of the eigenvalues of the Milnor monodromies. We introduce also multiplier ideal sheaves for meromorphic functions and show that their jumping numbers are related to our b functions.


Approximate Maximum Halfspace Discrepancy. Consider the geometric range space (X, mathcal H d) where X subset mathbb R d and mathcal H d is the set of ranges defined by d dimensional halfspaces. In this setting we consider that X is the disjoint union of a red and blue set. For each halfspace h in mathcal H d define a function Phi(h) that measures the "difference" between the fraction of red and fraction of blue points which fall in the range h . In this context the maximum discrepancy problem is to find the h arg max h in (X, mathcal H d) Phi(h) . We aim to instead find an hat h such that Phi(h ) Phi( hat h ) le varepsilon . This is the central problem in linear classification for machine learning, in spatial scan statistics for spatial anomaly detection, and shows up in many other areas. We provide a solution for this problem in O( X (1 varepsilon d) log 4 (1 varepsilon)) time, which improves polynomially over the previous best solutions. For d 2 we show that this is nearly tight through conditional lower bounds. For different classes of Phi we can either provide a Omega( X 3 2 o(1) ) time lower bound for the exact solution with a reduction to APSP, or an Omega( X 1 varepsilon 2 o(1) ) lower bound for the approximate solution with a reduction to 3SUM. A key technical result is a varepsilon approximate halfspace range counting data structure of size O(1 varepsilon d) with O( log (1 varepsilon)) query time, which we can build in O( X (1 varepsilon d) log 4 (1 varepsilon)) time.


Graph based Deep Generative Modelling for Document Layout Generation. One of the major prerequisites for any deep learning approach is the availability of large scale training data. When dealing with scanned document images in real world scenarios, the principal information of its content is stored in the layout itself. In this work, we have proposed an automated deep generative model using Graph Neural Networks (GNNs) to generate synthetic data with highly variable and plausible document layouts that can be used to train document interpretation systems, in this case, specially in digital mailroom applications. It is also the first graph based approach for document layout generation task experimented on administrative document images, in this case, invoices.


Flexible Networks for Learning Physical Dynamics of Deformable Objects. Learning the physical dynamics of deformable objects with particle based representation has been the objective of many computational models in machine learning. While several state of the art models have achieved this objective in simulated environments, most existing models impose a precondition, such that the input is a sequence of ordered point sets. That is, the order of the points in each point set must be the same across the entire input sequence. This precondition restrains the model from generalizing to real world data, which is considered to be a sequence of unordered point sets. In this paper, we propose a model named time wise PointNet (TP Net) that solves this problem by directly consuming a sequence of unordered point sets to infer the future state of a deformable object with particle based representation. Our model consists of a shared feature extractor that extracts global features from each input point set in parallel and a prediction network that aggregates and reasons on these features for future prediction. The key concept of our approach is that we use global features rather than local features to achieve invariance to input permutations and ensure the stability and scalability of our model. Experiments demonstrate that our model achieves state of the art performance with real time prediction speed in both synthetic dataset and real world dataset. In addition, we provide quantitative and qualitative analysis on why our approach is more effective and efficient than existing approaches.


Federated Learning with Adaptive Batchnorm for Personalized Healthcare. There is a growing interest in applying machine learning techniques for healthcare. Recently, federated machine learning (FL) is gaining popularity since it allows researchers to train powerful models without compromising data privacy and security. However, the performance of existing FL approaches often deteriorates when encountering non iid situations where there exist distribution gaps among clients, and few previous efforts focus on personalization in healthcare. In this article, we propose AdaFed to tackle domain shifts and obtain personalized models for local clients. AdaFed learns the similarity between clients via the statistics of the batch normalization layers while preserving the specificity of each client with different local batch normalization. Comprehensive experiments on five healthcare benchmarks demonstrate that AdaFed achieves better accuracy compared to state of the art methods (e.g., textbf 10 accuracy improvement for PAMAP2) with faster convergence speed.


An Analysis of the Concept of Inertial Frame. The concept of inertial frame of reference is analysed. It has been shown that this fundamental concept of physics is not clear enough. A definition of inertial frame of reference is proposed which expresses its key inherent property. The definition is operational and powerful. Many other properties of inertial frames follow from the definition or it makes them plausible. In particular, the definition shows why physical laws obey space and time symmetries and the principle of relativity, it resolves the problem of clock synchronization and the role of light in it, as well as the problem of the geometry of inertial frames.


Inflight performance of the GECAM Gamma ray and Charge particle Detectors. The GECAM mission consists of two identical microsatellites (GECAM A and GECAM B). Each satellite is equipped with 25 gamma ray detectors (GRD) and 8 charged particle detectors (CPD). The main scientific objective of the GECAM mission is to detect gamma ray bursts (GRBs) associated with the gravitational wave events produced by the merging of binary compact stars. After the launch on Dec. 10, 2020 , we carried out a series of on orbit tests. This paper introduces the test results of the GECAM B satellite. According to the in flight performance, the energy band for gamma ray detection of GECAM B is from about 7 keV to 3.5 MeV. GECAM B can achieve prompt localization of GRBs. For the first time, GECAM B realized a quasi real time transmission of trigger information using Beidou 3 RDSS. Keywords GECAM, gamma ray burst, gravitational wave, GRD, CPD


Effect of chlorination on positron binding to hydrocarbons experiment and theory. Measured and calculated positron binding energies are presented for a range of hydrocarbons with up to six carbon atoms (viz., methane, acetylene, ethylene, ethane, propane, butane, and hexane) and their chlorinated counterparts. Both experiment and theory confirm the large effect that the chlorine atoms have on the positron binding energy and the strong sensitivity of the binding energy to the exact position of the chlorine atoms. The experimental binding energies have been obtained by measuring positron resonant annihilation using a trap based positron beam. The calculations are performed using the previously developed model correlation potential method A. R. Swann and G. F. Gribakin, J. Chem. Phys. 149, 244305 (2018) . The overall trends are discussed with regard to the molecular polarizability, dipole moment, and geometry. Good agreement between theory and experiment is found, with the exception of the chlorinated ethylenes and chlorinated hexane. Calculations of the electron positron annihilation rate in the bound state are also presented.


On Sequence Groups. Linear second order recursive sequences with arbitrary initial conditions are studied. For sequences with the same parameters a ring and a group is attached, and isomorphisms and homomorphisms are established for related parameters. In the group, called the it sequence group , sequences are identified if they differ by a scalar factor, but not if they differ by a shift, which is the case for the Laxton group. Prime divisors of sequences are studied with the help of the sequence group mod p , which is always cyclic of order p pm 1 . Even and odd numbered subsequences are given independent status through the introduction of one rational parameter in place of two integer parameters. This step brings significant simplifications in the algebra. All elements of finite order in Laxton groups and sequence groups are described effectively. A necessary condition is established for a prime p to be a divisor of a sequence it the norm (determinant) of the respective element of the ring must be a quadratic residue mod p . This leads to an uppers estimate of the set of divisors by a set of prime density 1 2 . Numerical experiments show that the actual density is typically close to 0.35 . A conjecture is formulated that the sets of prime divisors of the even and odd numbered elements are independent for a large family of parameters.


Am I Me or You? State of the Art Dialogue Models Cannot Maintain an Identity. State of the art dialogue models still often stumble with regards to factual accuracy and self contradiction. Anecdotally, they have been observed to fail to maintain character identity throughout discourse and more specifically, may take on the role of their interlocutor. In this work we formalize and quantify this deficiency, and show experimentally through human evaluations that this is indeed a problem. In contrast, we show that discriminative models trained specifically to recognize who is speaking can perform well and further, these can be used as automated metrics. Finally, we evaluate a wide variety of mitigation methods, including changes to model architecture, training protocol, and decoding strategy. Our best models reduce mistaken identity issues by nearly 65 according to human annotators, while simultaneously improving engagingness. Despite these results, we find that maintaining character identity still remains a challenging problem.


Metrics of constant negative scalar Weyl curvature. Extending Aubin's construction of metrics with constant negative scalar curvature, we prove that every n dimensional closed manifold admits a Riemannian metric with constant negative scalar Weyl curvature, that is R t W , t in mathbb R . In particular, there are no topological obstructions for metrics with varepsilon pinched Weyl curvature and negative scalar curvature.


Geometry based Distance Decomposition for Monocular 3D Object Detection. Monocular 3D object detection is of great significance for autonomous driving but remains challenging. The core challenge is to predict the distance of objects in the absence of explicit depth information. Unlike regressing the distance as a single variable in most existing methods, we propose a novel geometry based distance decomposition to recover the distance by its factors. The decomposition factors the distance of objects into the most representative and stable variables, i.e. the physical height and the projected visual height in the image plane. Moreover, the decomposition maintains the self consistency between the two heights, leading to robust distance prediction when both predicted heights are inaccurate. The decomposition also enables us to trace the causes of the distance uncertainty for different scenarios. Such decomposition makes the distance prediction interpretable, accurate, and robust. Our method directly predicts 3D bounding boxes from RGB images with a compact architecture, making the training and inference simple and efficient. The experimental results show that our method achieves the state of the art performance on the monocular 3D Object Detection and Birds Eye View tasks of the KITTI dataset, and can generalize to images with different camera intrinsics.


Dirac series for complex E 7 . This paper classifies the Dirac series for complex E 7 . As applications, we verify a few conjectures raised in 2011, 2019 and 2020 for this exceptional Lie group. In particular, according to Conjecture 1.1 of Barbasch and Pandzic BP , our classification should be helpful for understanding the unitary dual of complex E 7 .


An asymptotic expansion for a Lambert series associated to the symmetric square L function. Hafner and Stopple proved a conjecture of Zagier, that the inverse Mellin transform of the symmetric square L function associated to the Ramanujan tau function has an asymptotic expansion in terms of the non trivial zeros of the Riemann zeta function zeta(s) . Later, Chakraborty, Kanemitsu and the second author extended this phenomenon for any Hecke eigenform over the full modular group. In this paper, we study an asymptotic expansion of the Lambert series begin equation y k sum n 1 infty lambda f ( n 2 ) exp ( ny), quad textrm as , , y rightarrow 0 , end equation where lambda f(n) is the n th Fourier coefficient of a Hecke eigen form f(z) of weight k over the full modular group.


Impatient Queuing for Intelligent Task Offloading in Multi Access Edge Computing. Multi access edge computing (MEC) emerges as an essential part of the upcoming Fifth Generation (5G) and future beyond 5G mobile communication systems. It adds computational power towards the edge of cellular networks, much closer to energy constrained user devices, and therewith allows the users to offload tasks to the edge computing nodes for low latency applications with very limited battery consumption. However, due to the high dynamics of user demand and server load, task congestion may occur at the edge nodes resulting in long queuing delay. Such delays can significantly degrade the quality of experience (QoE) of some latency sensitive applications, raise the risk of service outage, and cannot be efficiently resolved by conventional queue management solutions. In this article, we study a latency outage critical scenario, where users intend to limit the risk of latency outage. We propose an impatience based queuing strategy for such users to intelligently choose between MEC offloading and local computation, allowing them to rationally renege from the task queue. The proposed approach is demonstrated by numerical simulations to be efficient for generic service model, when a perfect queue status information is available. For the practical case where the users obtain only imperfect queue status information, we design an optimal online learning strategy to enable its application in Poisson service scenarios.


Qualitative properties for the 1 D Impulsive Wave Equation Controllability and Observability. In this paper, we establish some important results for the impulsive wave equation. We begin by proving the existence of a solution. Then, we study the impulse approximate controllability where the control function acts on a subdomain omega and at one instant of time tau in (0, T) . Afterward, we study impulse observability


SGCN Sparse Graph Convolution Network for Pedestrian Trajectory Prediction. Pedestrian trajectory prediction is a key technology in autopilot, which remains to be very challenging due to complex interactions between pedestrians. However, previous works based on dense undirected interaction suffer from modeling superfluous interactions and neglect of trajectory motion tendency, and thus inevitably result in a considerable deviance from the reality. To cope with these issues, we present a Sparse Graph Convolution Network (SGCN) for pedestrian trajectory prediction. Specifically, the SGCN explicitly models the sparse directed interaction with a sparse directed spatial graph to capture adaptive interaction pedestrians. Meanwhile, we use a sparse directed temporal graph to model the motion tendency, thus to facilitate the prediction based on the observed direction. Finally, parameters of a bi Gaussian distribution for trajectory prediction are estimated by fusing the above two sparse graphs. We evaluate our proposed method on the ETH and UCY datasets, and the experimental results show our method outperforms comparative state of the art methods by 9 in Average Displacement Error(ADE) and 13 in Final Displacement Error(FDE). Notably, visualizations indicate that our method can capture adaptive interactions between pedestrians and their effective motion tendencies.


Graded ideals of K "onig type. Inspired by the notion of K "onig graphs we introduce graded ideals of K "onig type with respect to a monomial order . It is shown that if I is of K "onig type, then the Cohen Macaulay property of ini (I) does not depend on the characteristic of the base field. This happens to be the case also for I itself when I is a binomial edge ideal. Attached to an ideal of K "onig type is a sequence of linear forms, whose elements are variables or differences of variables. This sequence is a system of parameters for ini (I) , and is a potential system of parameters for I itself. We study in detail the ideals of K "onig type among the edge ideals, binomial edge ideals and the toric ideal of a Hibi ring and use the K "onig property to determine explicitly their canonical module.


Scene Graph Embeddings Using Relative Similarity Supervision. Scene graphs are a powerful structured representation of the underlying content of images, and embeddings derived from them have been shown to be useful in multiple downstream tasks. In this work, we employ a graph convolutional network to exploit structure in scene graphs and produce image embeddings useful for semantic image retrieval. Different from classification centric supervision traditionally available for learning image representations, we address the task of learning from relative similarity labels in a ranking context. Rooted within the contrastive learning paradigm, we propose a novel loss function that operates on pairs of similar and dissimilar images and imposes relative ordering between them in embedding space. We demonstrate that this Ranking loss, coupled with an intuitive triple sampling strategy, leads to robust representations that outperform well known contrastive losses on the retrieval task. In addition, we provide qualitative evidence of how retrieved results that utilize structured scene information capture the global context of the scene, different from visual similarity search.


A Note on the Join of Varieties of Monoids with LI. In this note, we give a characterisation in terms of identities of the join of mathbf V with the variety of finite locally trivial semigroups mathbf LI for several well known varieties of finite monoids mathbf V by using classical algebraic automata theoretic techniques. To achieve this, we use the new notion of essentially mathbf V stamps defined by Grosshans, McKenzie and Segoufin and show that it actually coincides with the join of mathbf V and mathbf LI precisely when some natural condition on the variety of languages corresponding to mathbf V is verified.This work is a kind of rediscovery of the work of J. C. Costa around 20 years ago from a rather different angle, since Costa's work relies on the use of advanced developments in profinite topology, whereas what is presented here essentially uses an algebraic, language based approach.


Innovative mini ultralight radiosondes to track Lagrangian turbulence fluctuations within warm clouds electronic design. Characterization of cloud properties remains a challenging task for weather forecasting and climate modelling as cloud properties depend on interdependent natural processes at micro and macro scales. Turbulence plays an important role in particle dynamics inside clouds however, turbulence mechanisms are not yet fully understood partly due to the difficulty of measuring clouds at the smallest scales. To address these knowledge gaps, an experimental method for measuring the influence of fine scale turbulence in cloud formation in situ and producing an in field cloud Lagrangian dataset is being developed by means of innovative ultra light radioprobes. This paper presents the electronic system design along with the obtained results from laboratory and field experiments regarding these compact (diameter about 30 cm), light weight (about 20 g), and expendable devices designed to passively float and track small scale turbulence fluctuations inside warm clouds. The fully customized mini radioprobe board (5 cm x 5 cm) embeds sensors to measure local fluctuations and transmit data to the ground in near real time. The tests confirm that the newly developed probes perform well providing accurate information about atmospheric variables, referenced in space. The integration of multiple radioprobes allows for a systematic and accurate monitoring of atmospheric turbulence and its impact on cloud formation.


Unbiased Bregman Risk Estimators Application to Regularization Parameter Selection in Tomographic Image Reconstruction. Unbiased estimators are introduced for averaged Bregman divergences which generalize Stein's Unbiased (Predictive) Risk Estimator, and the minimization of these estimators is proposed as a regularization parameter selection method for regularization of inverse problems. Numerical experiments are presented in order to show the performance of the proposed technique. Experimental results indicate a useful occurence of a concentration of measure phenomena and some implications of this hypothesis are analyzed.


Stability conditions for polarised varieties. We introduce an analogue of Bridgeland's stability conditions for polarised varieties. Much as Bridgeland stability is modelled on slope stability of coherent sheaves, our notion of Z stability is modelled on the notion of K stability of polarised varieties. We then introduce an analytic counterpart to stability, through the notion of a Z critical K "ahler metric, modelled on the constant scalar curvature K "ahler condition. Our main result shows that a polarised variety which is analytically K semistable and asymptotically Z stable admits Z critical K "ahler metrics in the large volume regime. We also prove a local converse, and explain how these results can be viewed in terms of local wall crossing. A special case of our framework gives a manifold analogue of the deformed Hermitian Yang Mills equation.


Learning Logic Rules for Document level Relation Extraction. Document level relation extraction aims to identify relations between entities in a whole document. Prior efforts to capture long range dependencies have relied heavily on implicitly powerful representations learned through (graph) neural networks, which makes the model less transparent. To tackle this challenge, in this paper, we propose LogiRE, a novel probabilistic model for document level relation extraction by learning logic rules. LogiRE treats logic rules as latent variables and consists of two modules a rule generator and a relation extractor. The rule generator is to generate logic rules potentially contributing to final predictions, and the relation extractor outputs final predictions based on the generated logic rules. Those two modules can be efficiently optimized with the expectation maximization (EM) algorithm. By introducing logic rules into neural networks, LogiRE can explicitly capture long range dependencies as well as enjoy better interpretation. Empirical results show that LogiRE significantly outperforms several strong baselines in terms of relation performance (1.8 F1 score) and logical consistency (over 3.3 logic score). Our code is available at https github.com rudongyu LogiRE.


Approximation of SPDE covariance operators by finite elements A semigroup approach. The problem of approximating the covariance operator of the mild solution to a linear stochastic partial differential equation is considered. An integral equation involving the semigroup of the mild solution is derived and a general error decomposition is proven. This formula is applied to approximations of the covariance operator of a stochastic advection diffusion equation and a stochastic wave equation, both on bounded domains. The approximations are based on finite element discretizations in space and rational approximations of the exponential function in time. Convergence rates are derived in the trace class and Hilbert Schmidt norms with numerical simulations illustrating the results.


A note on Hessenberg varieties. We give a short proof based on Lusztig's generalized Springer correspondence of some results of BrCh,BaCr,P .


Isomorphisms of Poisson systems over locally compact groups. A Poisson system is a Poisson point process and a group action, together forming a measure preserving dynamical system. Ornstein and Weiss proved Poisson systems over many amenable groups were isomorphic in their 1987 paper. We consider Poisson systems over non discrete, non compact, locally compact Polish groups, and we prove by construction all Poisson systems over such a group are finitarily isomorphic, producing examples of isomorphisms for non amenable group actions. As a corollary, we prove Poisson systems and products of Poisson systems are finitarily isomorphic.


Wide Deep neural network model for patch aggregation in CNN based prostate cancer detection systems. Prostate cancer (PCa) is one of the most commonly diagnosed cancer and one of the leading causes of death among men, with almost 1.41 million new cases and around 375,000 deaths in 2020. Artificial Intelligence algorithms have had a huge impact in medical image analysis, including digital histopathology, where Convolutional Neural Networks (CNNs) are used to provide a fast and accurate diagnosis, supporting experts in this task. To perform an automatic diagnosis, prostate tissue samples are first digitized into gigapixel resolution whole slide images. Due to the size of these images, neural networks cannot use them as input and, therefore, small subimages called patches are extracted and predicted, obtaining a patch level classification. In this work, a novel patch aggregation method based on a custom Wide Deep neural network model is presented, which performs a slide level classification using the patch level classes obtained from a CNN. The malignant tissue ratio, a 10 bin malignant probability histogram, the least squares regression line of the histogram, and the number of malignant connected components are used by the proposed model to perform the classification. An accuracy of 94.24 and a sensitivity of 98.87 were achieved, proving that the proposed system could aid pathologists by speeding up the screening process and, thus, contribute to the fight against PCa.


Asymptotic analysis of domain decomposition for optimal transport. Large optimal transport problems can be approached via domain decomposition, i.e. by iteratively solving small partial problems independently and in parallel. Convergence to the global minimizers under suitable assumptions has been shown in the unregularized and entropy regularized setting and its computational efficiency has been demonstrated experimentally. An accurate theoretical understanding of its convergence speed in geometric settings is still lacking. In this article we work towards such an understanding by deriving, via Gamma convergence, an asymptotic description of the algorithm in the limit of infinitely fine partition cells. The limit trajectory of couplings is described by a continuity equation on the product space where the momentum is purely horizontal and driven by the gradient of the cost function. Convergence hinges on a regularity assumption that we investigate in detail. Global optimality of the limit trajectories remains an interesting open problem, even when global optimality is established at finite scales. Our result provides insights about the efficiency of the domain decomposition algorithm at finite resolutions and in combination with coarse to fine schemes.


A Survey of COVID 19 Misinformation Datasets, Detection Techniques and Open Issues. Misinformation during pandemic situations like COVID 19 is growing rapidly on social media and other platforms. This expeditious growth of misinformation creates adverse effects on the people living in the society. Researchers are trying their best to mitigate this problem using different approaches based on Machine Learning (ML), Deep Learning (DL), and Natural Language Processing (NLP). This survey aims to study different approaches of misinformation detection on COVID 19 in recent literature to help the researchers in this domain. More specifically, we review the different methods used for COVID 19 misinformation detection in their research with an overview of data pre processing and feature extraction methods to get a better understanding of their work. We also summarize the existing datasets which can be used for further research. Finally, we discuss the limitations of the existing methods and highlight some potential future research directions along this dimension to combat the spreading of misinformation during a pandemic.


Impact of Signalized Intersections on CO 2 and NO x Emissions of Heavy Duty Vehicles. Pollutant emissions have been a topic of interest in the last decades. Not only environmentalists but also governments are taking rapid action to reduce emissions. As one of the main contributors, the transport sector is being subjected to strict scrutiny to ensure it complies with the short and long term regulations. The measures imposed by the governments clearly involve, all the stakeholders in the logistics sector, from road authorities and logistic operators to truck manufacturers. Improvement of traffic conditions is one of the perspectives in which the reduction of emissions is being addressed. Optimization of traffic flow, avoidance of unnecessary stops, control of the cruise speed, and coordination of trips in an energy efficient way are necessary steps to remain compliant with the upcoming regulations. In this study, we have measured the CO 2 and NO x emissions in heavy duty vehicles while traversing signalized intersections and we examined the differences between various scenarios. We found that avoiding a stop can reduce CO 2 and NO x emissions on 0.32 kg and 1.8 g, respectively. These results put traffic control in the main scene as a yet unexplored dimension to control pollutant emissions, enabling the authorities to more accurately estimate cost benefit plans for traffic control system investments.


TaskDrop A Competitive Baseline for Continual Learning of Sentiment Classification. In this paper, we study the multi task sentiment classification problem in the continual learning setting, i.e., a model is sequentially trained to classifier the sentiment of reviews of products in a particular category. The use of common sentiment words in reviews of different product categories leads to large cross task similarity, which differentiates it from continual learning in other domains. This knowledge sharing nature renders forgetting reduction focused approaches less effective for the problem under consideration. Unlike existing approaches, where task specific masks are learned with specifically presumed training objectives, we propose an approach called Task aware Dropout (TaskDrop) to generate masks in a random way. While the standard dropout generates and applies random masks for each training instance per epoch for effective regularization, TaskDrop applies random masking for task wise capacity allocation and reuse. We conducted experimental studies on three multi task review datasets and made comparison to various baselines and state of the art approaches. Our empirical results show that regardless of simplicity, TaskDrop overall achieved competitive performances for all the three datasets, especially after relative long term learning. This demonstrates that the proposed random capacity allocation mechanism works well for continual sentiment classification.


Optimal Physical Sorting of Mobile Agents. Given a collection of red and blue mobile agents located on two grid rows, we seek to move all the blue agents to the far left side and all the red agents to the far right side, thus textit physically sorting them according to color. The agents all start on the bottom row. They move simultaneously at discrete time steps and must not collide. Our goal is to design a centralized algorithm that controls the agents so as to sort them in the least number of time steps. We derive an textbf exact lower bound on the amount of time any algorithm requires to sort a given initial configuration of agents. We find an instance optimal algorithm that provably matches this lower bound, attaining the best possible sorting time for any initial configuration. Surprisingly, we find that whenever the leftmost agent is red and the rightmost agent is blue, a straightforward decentralized and local sensing based algorithm is at most 1 time step slower than the centralized instance optimal algorithm.


Modeling and Analysis of the Landing Gear System with the Generalized Contracts. Nowadays, there are several complex systems in different sectors such as aviation, air traffic control ...etc. These systems do not have a precise perimeter, they are open and made of various specific components built with different languages and environments. The modeling, assembly and analysis of such open and complex heterogeneous systems are challenges in software engineering. This paper describes how the Minarets method decreases the difficulty of modeling, composition and analysis of the well known case study of the landing gear system. The method consists in equipping individual components with generalized contracts that integrate various facets related to different concerns, composing these components according to their facets and verifying the resulting system with respect to the involved facets as well. The proposed method may be used or extended to cover more facets, and by strengthening assistance tool through proactive aspects in modeling, composing multi facets contracts and finally the verification of the heterogeneous systems.


Simple Worst Case Optimal Adaptive Prefix Free Coding. Gagie and Nekrich (2009) gave an algorithm for adaptive prefix free coding that, given a string S 1..n over the alphabet 1, ldots, sigma with sigma o (n log 5 2 n) , encodes S in at most n (H 1) o (n) bits, where H is the empirical entropy of S , such that encoding and decoding S take O (n) time. They also proved their bound on the encoding length is optimal, even when the empirical entropy is high. Their algorithm is impractical, however, because it uses complicated data structures. In this paper we give an algorithm with the same bounds, except that we require sigma o (n 1 2 log n) , that uses no data structures more complicated than a lookup table. Moreover, when Gagie and Nekrich's algorithm is used for optimal adaptive alphabetic coding it takes O (n log log n) time for decoding, but ours still takes O (n) time.


Primary track recovery in high definition gas time projection chambers. We develop and validate a new algorithm called textit primary track recovery ( ptr) that effectively deconvolves known physics and detector effects from nuclear recoil tracks in gas time projection chambers (TPCs) with high resolution readout. This gives access to the primary track charge, length, and vector direction (helping to resolve the "head tail" ambiguity). Additionally, ptr provides a measurement of the transverse and longitudinal diffusion widths, which can be used to determine the absolute position of tracks in the drift direction for detector fiducialization. Using simulated helium recoils in an atmospheric pressure TPC with a 70 30 mixture of He CO 2 we compare the performance of ptr to traditional methods for all key track variables. We find that the algorithm reduces reconstruction errors, including those caused by charge integration, for tracks with mean length to width ratios 1.4 and above, corresponding to recoil energies of 20 keV and above in the studied TPCs. We show that ptr improves on existing methods for head tail disambiguation, particularly for highly inclined tracks, and improves the determination of the absolute position of recoils on the drift axis via transverse diffusion. We find that ptr can partially recover charge structure integrated out by the detector in the z direction, but that its determination of energy and length have worse resolution compared to existing methods. We use experimental data to qualitatively verify these findings and discuss implications for future directional detectors at the low energy frontier.


How to Train Your Agent to Read and Write. Reading and writing research papers is one of the most privileged abilities that a qualified researcher should master. However, it is difficult for new researchers ( eg students ) to fully grasp this ability. It would be fascinating if we could train an intelligent agent to help people read and summarize papers, and perhaps even discover and exploit the potential knowledge clues to write novel papers. Although there have been existing works focusing on summarizing ( emph i.e. , reading) the knowledge in a given text or generating ( emph i.e. , writing) a text based on the given knowledge, the ability of simultaneously reading and writing is still under development. Typically, this requires an agent to fully understand the knowledge from the given text materials and generate correct and fluent novel paragraphs, which is very challenging in practice. In this paper, we propose a Deep ReAder Writer (DRAW) network, which consists of a textit Reader that can extract knowledge graphs (KGs) from input paragraphs and discover potential knowledge, a graph to text textit Writer that generates a novel paragraph, and a textit Reviewer that reviews the generated paragraph from three different aspects. Extensive experiments show that our DRAW network outperforms considered baselines and several state of the art methods on AGENDA and M AGENDA datasets. Our code and supplementary are released at https github.com menggehe DRAW.


NeuroDB A Neural Network Framework for Answering Range Aggregate Queries and Beyond. Range aggregate queries (RAQs) are an integral part of many real world applications, where, often, fast and approximate answers for the queries are desired. Recent work has studied answering RAQs using machine learning models, where a model of the data is learned to answer the queries. However, such modelling choices fail to utilize any query specific information. To capture such information, we observe that RAQs can be represented by query functions, which are functions that take a query instance (i.e., a specific RAQ) as an input and output its corresponding answer. Using this representation, we formulate the problem of learning to approximate the query function, and propose NeuroDB, a query specialized neural network framework, that answers RAQs efficiently. NeuroDB is query type agnostic (i.e., it does not make any assumption about the underlying query type) and our observation that queries can be represented by functions is not specific to RAQs. Thus, we investigate whether NeuroDB can be used for other query types, by applying it to distance to nearest neighbour queries. We experimentally show that NeuroDB outperforms the state of the art for this query type, often by orders of magnitude. Moreover, the same neural network architecture as for RAQs is used, bringing to light the possibility of using a generic framework to answer any query type efficiently.


Catadioptric Stereo on a Smartphone. We present a 3D printed adapter with planar mirrors for stereo reconstruction using front and back smartphone camera. The adapter presents a practical and low cost solution for enabling any smartphone to be used as a stereo camera, which is currently only possible using high end phones with expensive 3D sensors. Using the prototype version of the adapter, we experiment with parameters like the angles between cameras and mirrors and the distance to each camera (the stereo baseline). We find the most convenient configuration and calibrate the stereo pair. Based on the presented preliminary analysis, we identify possible improvements in the current design. To demonstrate the working prototype, we reconstruct a 3D human pose using 2D keypoint detections from the stereo pair and evaluate extracted body lengths. The result shows that the adapter can be used for anthropometric measurement of several body segments.


Resilient Edge Service Placement and Workload Allocation under Uncertainty. In this paper, we study an optimal service placement and workload allocation problem for a service provider (SP), who can procure resources from numerous edge nodes to serve its users.The SP aims to improve the user experience while minimizing its cost, considering various system uncertainties. To tackle this challenging problem, we propose a novel resilience aware edge service placement and workload allocation model that jointly captures the uncertainties of resource demand and node failures. The first stage decisions include the optimal service placement and resource procurement, while the optimal workload reallocation is determined in the second stage after the uncertainties are disclosed. The salient feature of the proposed model is that it produces a placement and procurement solution that is robust against any possible realization of the uncertainties. By leveraging the column and constraint generation method, we introduce two iterative algorithms that can converge to an exact optimal solution within a finite number of iterations. We further suggest an affine decision rule approximation approach for solving large scale problem instances in a reasonable time. Extensive numerical results are shown to demonstrate the advantages of the proposed model and solutions.


UltraGCN Ultra Simplification of Graph Convolutional Networks for Recommendation. With the recent success of graph convolutional networks (GCNs), they have been widely applied for recommendation, and achieved impressive performance gains. The core of GCNs lies in its message passing mechanism to aggregate neighborhood information. However, we observed that message passing largely slows down the convergence of GCNs during training, especially for large scale recommender systems, which hinders their wide adoption. LightGCN makes an early attempt to simplify GCNs for collaborative filtering by omitting feature transformations and nonlinear activations. In this paper, we take one step further to propose an ultra simplified formulation of GCNs (dubbed UltraGCN), which skips infinite layers of message passing for efficient recommendation. Instead of explicit message passing, UltraGCN resorts to directly approximate the limit of infinite layer graph convolutions via a constraint loss. Meanwhile, UltraGCN allows for more appropriate edge weight assignments and flexible adjustment of the relative importances among different types of relationships. This finally yields a simple yet effective UltraGCN model, which is easy to implement and efficient to train. Experimental results on four benchmark datasets show that UltraGCN not only outperforms the state of the art GCN models but also achieves more than 10x speedup over LightGCN.


MACRPO Multi Agent Cooperative Recurrent Policy Optimization. This work considers the problem of learning cooperative policies in multi agent settings with partially observable and non stationary environments without a communication channel. We focus on improving information sharing between agents and propose a new multi agent actor critic method called textit Multi Agent Cooperative Recurrent Proximal Policy Optimization (MACRPO). We propose two novel ways of integrating information across agents and time in MACRPO First, we use a recurrent layer in critic's network architecture and propose a new framework to use a meta trajectory to train the recurrent layer. This allows the network to learn the cooperation and dynamics of interactions between agents, and also handle partial observability. Second, we propose a new advantage function that incorporates other agents' rewards and value functions. We evaluate our algorithm on three challenging multi agent environments with continuous and discrete action spaces, Deepdrive Zero, Multi Walker, and Particle environment. We compare the results with several ablations and state of the art multi agent algorithms such as QMIX and MADDPG and also single agent methods with shared parameters between agents such as IMPALA and APEX. The results show superior performance against other algorithms. The code is available online at https github.com kargarisaac macrpo.


High Quality Automated Program Repair. Automatic program repair (APR) has recently gained attention because it proposes to fix software defects with no human intervention. To automatically fix defects, most APR tools use the developer written tests to (a) localize the defect, and (b) generate and validate the automatically produced candidate patches based on the constraints imposed by the tests. While APR tools can produce patches that appear to fix the defect for 11 19 of the defects in real world software, most of the patches produced are not correct or acceptable to developers because they overfit to the tests used during the repair process. This problem is known as the patch overfitting problem. To address this problem, I propose to equip APR tools with additional constraints derived from natural language software artifacts such as bug reports and requirements specifications that describe the bug and intended software behavior but are not typically used by the APR tools. I hypothesize that patches produced by APR tools while using such additional constraints would be of higher quality. To test this hypothesis, I propose an automated and objective approach to evaluate the quality of patches and propose two novel methods to improve the fault localization and developer written test suites using natural language software artifacts. Finally, I propose to use my patch evaluation methodology to analyze the effect of the improved fault localization and test suites on the quality of patches produced by APR tools for real world defects.


Network Friendly Recommendations Optimizing for Long Viewing Sessions. Caching algorithms try to predict content popularity, and place the content closer to the users. Additionally, nowadays requests are increasingly driven by recommendation systems (RS). These important trends, point to the following emph make RSs favor locally cached content , this way operators reduce network costs, and users get better streaming rates. Nevertheless, this process should preserve the quality of the recommendations (QoR). In this work, we propose a Markov Chain model for a stochastic, recommendation driven emph sequence of requests, and formulate the problem of selecting high quality recommendations that minimize the network cost emph in the long run . While the original optimization problem is non convex, it can be convexified through a series of transformations. Moreover, we extend our framework for users who show preference in some positions of the recommendations' list. To our best knowledge, this is the first work to provide an optimal polynomial time algorithm for these problems. Finally, testing our algorithms on real datasets suggests significant potential, e.g., 2 times improvement compared to baseline recommendations, and 80 compared to a greedy network friendly RS (which optimizes the cost for I.I.D. requests), while preserving at least 90 of the original QoR. Finally, we show that taking position preference into account leads to additional performance gains.


Some properties of the parking function poset. In 1980, Edelman defined a poset on objects called the noncrossing 2 partitions. They are closely related with noncrossing partitions and parking functions. To some extent, his definition is a precursor of the parking space theory, in the framework of finite reflection groups. We present some enumerative and topological properties of this poset. In particular, we get a formula counting certain chains, that encompasses formulas for Whitney numbers (of both kinds). We prove shellability of the poset, and compute its homology as a representation of the symmetric group. We moreover link it with two well known polytopes the associahedron and the permutohedron.


Birational geometry of sextic double solids with a compound A n singularity. Sextic double solids, double covers of mathbb P 3 branched along a sextic surface, are the lowest degree Gorenstein Fano 3 folds, hence are expected to behave very rigidly in terms of birational geometry. Smooth sextic double solids, and those which are mathbb Q factorial with ordinary double points, are known to be birationally rigid. In this article, we study sextic double solids with an isolated compound A n singularity. We prove a sharp bound n leq 8 , describe models for each n explicitly and prove that sextic double solids with n 3 are birationally non rigid.


Optimising Rolling Stock Planning including Maintenance with Constraint Programming and Quantum Annealing. We developed and compared Constraint Programming (CP) and Quantum Annealing (QA) approaches for rolling stock optimisation considering necessary maintenance tasks. To deal with such problems in CP we investigated specialised pruning rules and implemented them in a global constraint. For the QA approach, we developed quadratic unconstrained binary optimisation (QUBO) models. For testing, we use data sets based on real data from Deutsche Bahn and run the QA approach on real quantum computers from D Wave. Classical computers are used to run the CP approach as well as tabu search for the QUBO models. We find that both approaches tend at the current development stage of the physical quantum annealers to produce comparable results, with the caveat that QUBO does not always guarantee that the maintenance constraints hold, which we fix by adjusting the QUBO model in preprocessing, based on how close the trains are to a maintenance threshold distance.


Digital Global Public Goods. The purpose of this paper is to define and conceptualize digital global public goods (DGPGs) and illustrate the importance of contextual relevance in ICT4D projects. Recent studies have examined the importance of digital artefacts with public goods traits, emphasizing the significant potential for socio economic development. However, we know little about the theoretical and practical dimensions of how we can align the public goods traits of such artefacts to create relevance in the context they are implemented. To address this gap we review the literature firstly to develop a definition and conceptual basis of DGPGs and then to illustrate the importance of relevance how to align DGPGs with context to meet local needs. The illustration draws from a case study of the District Health Information systems (DHIS2). The paper advances both the theoretical and practical understanding of DPGs in development processes.


Trojan Awakener Detecting Dormant Malicious Hardware Using Laser Logic State Imaging. The threat of hardware Trojans (HTs) and their detection is a widely studied field. While the effort for inserting a Trojan into an application specific integrated circuit (ASIC) can be considered relatively high, especially when trusting the chip manufacturer, programmable hardware is vulnerable to Trojan insertion even after the product has been shipped or during usage. At the same time, detecting dormant HTs with small or zero overhead triggers and payloads on these platforms is still a challenging task, as the Trojan might not get activated during the chip verification using logical testing or physical measurements. In this work, we present a novel Trojan detection approach based on a technique known from integrated circuit (IC) failure analysis, capable of detecting virtually all classes of dormant Trojans. Using laser logic state imaging (LLSI), we show how supply voltage modulations can awaken inactive Trojans, making them detectable using laser voltage imaging techniques. Therefore, our technique does not require triggering the Trojan. To support our claims, we present two case studies on 28 nm SRAM and flash based field programmable gate arrays (FPGAs). We demonstrate how to detect with high confidence small changes in sequential and combinatorial logic as well as in the routing configuration of FPGAs in a non invasive manner. Finally, we discuss the practical applicability of our approach on dormant analog Trojans in ASICs.


A novel multiobjective evolutionary algorithm based on decomposition and multi reference points strategy. Many real world optimization problems such as engineering design can be eventually modeled as the corresponding multiobjective optimization problems (MOPs) which must be solved to obtain approximate Pareto optimal fronts. Multiobjective evolutionary algorithm based on decomposition (MOEA D) has been regarded as a significantly promising approach for solving MOPs. Recent studies have shown that MOEA D with uniform weight vectors is well suited to MOPs with regular Pareto optimal fronts, but its performance in terms of diversity usually deteriorates when solving MOPs with irregular Pareto optimal fronts. In this way, the solution set obtained by the algorithm can not provide more reasonable choices for decision makers. In order to efficiently overcome this drawback, we propose an improved MOEA D algorithm by virtue of the well known Pascoletti Serafini scalarization method and a new strategy of multi reference points. Specifically, this strategy consists of the setting and adaptation of reference points generated by the techniques of equidistant partition and projection. For performance assessment, the proposed algorithm is compared with existing four state of the art multiobjective evolutionary algorithms on benchmark test problems with various types of Pareto optimal fronts. According to the experimental results, the proposed algorithm exhibits better diversity performance than that of the other compared algorithms. Finally, our algorithm is applied to two real world MOPs in engineering optimization successfully.


The nascent coffee ring with arbitrary droplet contact set an asymptotic analysis. We consider the effect of droplet geometry on the early stages of coffee ring formation during the evaporation of a thin droplet with an arbitrary simple, smooth, pinned contact line. We perform a systematic matched asymptotic analysis of the small capillary number, large solutal Peclet number limit for two evaporative models a kinetic model, in which the evaporative flux is constant across the droplet, and a diffusive model, in which the evaporative flux is singular at the contact line. For both evaporative models, solute is transported to the contact line by a capillary flow while, local to the contact line, solute diffusion counters advection. The resulting interplay leads to the formation of the nascent coffee ring. By exploiting a coordinate system embedded in the contact line, we solve explicitly the local leading order problem, deriving a similarity profile (in the form of a gamma distribution) that describes the coffee ring profile in its early stages. Notably, the ring characteristics change due to the concomitant asymmetry in the shape of the droplet free surface, the evaporative flux (in the diffusive evaporative regime) and the mass flux into the contact line. We utilize the asymptotic model to determine the effects of geometry on the growth of the coffee ring for a droplet with an elliptical contact set. Our results offer mechanistic insight into the effect of contact line curvature on the development of the coffee ring from deposition up to jamming of the solute moreover our model predicts when finite concentration effects become relevant.


Co rotating and traveling vortex sheets for the 2D incompressible Euler equation. We construct co rotating and traveling vortex sheets for 2D incompressible Euler equation, which are supported on several small closed curves. These examples represent a new type of vortex sheet solutions other than two known classes. The construction is based on Birkhoff Rott operator, and accomplished by using implicit function theorem at point vortex solutions with suitably chosen function spaces.


Non effective planar linear systems at the boundary of the Mori cone. In this paper we prove that certain linear systems (and all their multiples) of plane curves with general base points and zero self intersection are empty, thus exhibiting further examples of rays at the boundary of the Mori cone of a general blow up of the plane.


HiPACE a portable, 3D quasi static Particle in Cell code. Modeling plasma accelerators is a computationally challenging task and the quasi static particle in cell algorithm is a method of choice in a wide range of situations. In this work, we present the first performance portable, quasi static, three dimensional particle in cell code HiPACE . By decomposing all the computation of a 3D domain in successive 2D transverse operations and choosing appropriate memory management, HiPACE demonstrates orders of magnitude speedups on modern scientific GPUs over CPU only implementations. The 2D transverse operations are performed on a single GPU, avoiding time consuming communications. The longitudinal parallelization is done through temporal domain decomposition, enabling near optimal strong scaling from 1 to 512 GPUs. HiPACE is a modular, open source code enabling efficient modeling of plasma accelerators from laptops to state of the art supercomputers.


Relation aware Graph Attention Model With Adaptive Self adversarial Training. This paper describes an end to end solution for the relationship prediction task in heterogeneous, multi relational graphs. We particularly address two building blocks in the pipeline, namely heterogeneous graph representation learning and negative sampling. Existing message passing based graph neural networks use edges either for graph traversal and or selection of message encoding functions. Ignoring the edge semantics could have severe repercussions on the quality of embeddings, especially when dealing with two nodes having multiple relations. Furthermore, the expressivity of the learned representation depends on the quality of negative samples used during training. Although existing hard negative sampling techniques can identify challenging negative relationships for optimization, new techniques are required to control false negatives during training as false negatives could corrupt the learning process. To address these issues, first, we propose RelGNN a message passing based heterogeneous graph attention model. In particular, RelGNN generates the states of different relations and leverages them along with the node states to weigh the messages. RelGNN also adopts a self attention mechanism to balance the importance of attribute features and topological features for generating the final entity embeddings. Second, we introduce a parameter free negative sampling technique adaptive self adversarial (ASA) negative sampling. ASA reduces the false negative rate by leveraging positive relationships to effectively guide the identification of true negative samples. Our experimental evaluation demonstrates that RelGNN optimized by ASA for relationship prediction improves state of the art performance across established benchmarks as well as on a real industrial dataset.


Fast Facial Landmark Detection and Applications A Survey. Dense facial landmark detection is one of the key elements of face processing pipeline. It is used in virtual face reenactment, emotion recognition, driver status tracking, etc. Early approaches were suitable for facial landmark detection in controlled environments only, which is clearly insufficient. Neural networks have shown an astonishing qualitative improvement for in the wild face landmark detection problem, and are now being studied by many researchers in the field. Numerous bright ideas are proposed, often complimentary to each other. However, exploration of the whole volume of novel approaches is quite challenging. Therefore, we present this survey, where we summarize state of the art algorithms into categories, provide a comparison of recently introduced in the wild datasets (e.g., 300W, AFLW, COFW, WFLW) that contain images with large pose, face occlusion, taken in unconstrained conditions. In addition to quality, applications require fast inference, and preferably on mobile devices. Hence, we include information about algorithm inference speed both on desktop and mobile hardware, which is rarely studied. Importantly, we highlight problems of algorithms, their applications, vulnerabilities, and briefly touch on established methods. We hope that the reader will find many novel ideas, will see how the algorithms are used in applications, which will enable further research.


Functionalities for genus 2 and 3 curves. We gather and illustrate some functions that we wrote in the Magma computer algebra system for curves of genus 2 and 3 . In genus 3 , we furnish functions both for non hyperelliptic and for hyperelliptic curves. A fair bit of the functionality in the latter case extends to hyperelliptic curves of arbitrary genus.


Identifying ARDS using the Hierarchical Attention Network with Sentence Objectives Framework. Acute respiratory distress syndrome (ARDS) is a life threatening condition that is often undiagnosed or diagnosed late. ARDS is especially prominent in those infected with COVID 19. We explore the automatic identification of ARDS indicators and confounding factors in free text chest radiograph reports. We present a new annotated corpus of chest radiograph reports and introduce the Hierarchical Attention Network with Sentence Objectives (HANSO) text classification framework. HANSO utilizes fine grained annotations to improve document classification performance. HANSO can extract ARDS related information with high performance by leveraging relation annotations, even if the annotated spans are noisy. Using annotated chest radiograph images as a gold standard, HANSO identifies bilateral infiltrates, an indicator of ARDS, in chest radiograph reports with performance (0.87 F1) comparable to human annotations (0.84 F1). This algorithm could facilitate more efficient and expeditious identification of ARDS by clinicians and researchers and contribute to the development of new therapies to improve patient care.


Type IV II codes over Z4 constructed from generalized bent functions. A Type IV II Z4 code is a self dual code over Z4 with the property that all Euclidean weights are divisible by eight and all codewords have even Hamming weight. In this paper we use generalized bent functions for a construction of self orthogonal codes over Z4 of length 2 m , for m odd, m geq 3 , and prove that for m geq 5 those codes can be extended to Type IV II Z4 codes. From that family of Type IV II Z4 codes, we obtain a family of self dual Type II binary codes by using Gray map. We also consider the weight distributions of the obtained codes and the structure of the supports of the minimum weight codewords.


An electromechanically coupled beam model for dielectric elastomer actuators. In this work, the Cosserat formulation of geometrically exact beam dynamics is extended by adding the electric potential as an additional degree of freedom to account for the electromechanical coupling in the Dielectric Elastomer Actuators (DEAs). To be able to generate complex beam deformations via dielectric actuator, a linear distribution of electric potential on the beam cross section is proposed. Based on this electric potential, the electric field and the strain like electrical variable are defined for the beam, where the strain like electrical variable is work conjugated to the electric displacement. The electromechanically coupled strain energy for the beam is derived consistently from continuum electromechanics, which leads to the direct application of the material models in the continuum to the beam model. The electromechanically coupled problem in beam dynamics is first spatially semidiscretized by 1D finite elements and then solved via variational time integration. By applying different electrical boundary conditions, different deformations of the beam are obtained in the numerical examples, including contraction, shear, bending and torsion. The damping effect induced by the viscosity as well as the total energy of the beam are evaluated. The deformations of the electromechanically coupled beam model are compared with the results of the 3D finite element model, where a good agreement of the deformations in the beam model and that in the 3D finite element model is observed. However, less degrees of freedom are required to resolve the complex deformations in the beam model.


Higher integrability for measures satisfying a PDE constraint. We establish higher integrability estimates for constant coefficient systems of linear PDEs mathcal A mu sigma, where mu in mathcal M( Omega V) and sigma in mathcal M( Omega W) are vector measures and the polar frac d mu d mu is uniformly close to a subspace L of V intersecting the wave cone of mathcal A only at the origin. More precisely, we prove local compensated compactness estimates of the form mu L p( Omega') lesssim mu ( Omega) sigma ( Omega), qquad Omega' Subset Omega. Here, the exponent p belongs to the (optimal) range 1 leq p d (d k) , d is the dimension of Omega , and k is the order of mathcal A . For canceling constant rank operators we also obtain the limiting case p d (d k) . We consider applications to compensated compactness as well as applications to the theory of functions of bounded variation and bounded deformation.


Thinking Clearly, Talking Fast Concept Guided Non Autoregressive Generation for Open Domain Dialogue Systems. Human dialogue contains evolving concepts, and speakers naturally associate multiple concepts to compose a response. However, current dialogue models with the seq2seq framework lack the ability to effectively manage concept transitions and can hardly introduce multiple concepts to responses in a sequential decoding manner. To facilitate a controllable and coherent dialogue, in this work, we devise a concept guided non autoregressive model (CG nAR) for open domain dialogue generation. The proposed model comprises a multi concept planning module that learns to identify multiple associated concepts from a concept graph and a customized Insertion Transformer that performs concept guided non autoregressive generation to complete a response. The experimental results on two public datasets show that CG nAR can produce diverse and coherent responses, outperforming state of the art baselines in both automatic and human evaluations with substantially faster inference speed.


Optimal Revenue Guarantees for Pricing in Large Markets. Posted price mechanisms (PPM) constitute one of the predominant practices to price goods in online marketplaces and their revenue guarantees have been a central object of study in the last decade. We consider a basic setting where the buyers' valuations are independent and identically distributed and there is a single unit on sale. It is well known that this setting is equivalent to the so called i.i.d. prophet inequality, for which optimal guarantees are known and evaluate to 0.745 in general (equivalent to a PPM with dynamic prices) and 1 1 e approx 0.632 in the fixed threshold case (equivalent to a fixed price PPM). In this paper we consider an additional assumption, namely, that the underlying market is very large. This is modeled by first fixing a valuation distribution F and then making the number of buyers grow large, rather than considering the worst distribution for each possible market size. In this setting Kennedy and Kertz Ann. Probab. 1991 breaks the 0.745 fraction achievable in general with a dynamic threshold policy. We prove that this large market benefit continue to hold when using fixed price PPMs, and show that the guarantee of 0.632 actually improves to 0.712. We then move to study the case of selling k identical units and we prove that the revenue gap of the fixed price PPM approaches 1 1 sqrt 2k pi . As this bound is achievable without the large market assumption, we obtain the somewhat surprising result that the large market advantage vanishes as k grows.


Speeding up One vs All Training for Extreme Classification via Smart Initialization. In this paper we show that a simple, data dependent way of setting the initial vector can be used to substantially speed up the training of linear one versus all (OVA) classifiers in extreme multi label classification (XMC). We discuss the problem of choosing the initial weights from the perspective of three goals. We want to start in a region of weight space a) with low loss value, b) that is favourable for second order optimization, and c) where the conjugate gradient (CG) calculations can be performed quickly. For margin losses, such an initialization is achieved by selecting the initial vector such that it separates the mean of all positive (relevant for a label) instances from the mean of all negatives two quantities that can be calculated quickly for the highly imbalanced binary problems occurring in XMC. We demonstrate a speedup of approx 3 times for training with squared hinge loss on a variety of XMC datasets. This comes in part from the reduced number of iterations that need to be performed due to starting closer to the solution, and in part from an implicit negative mining effect that allows to ignore easy negatives in the CG step. Because of the convex nature of the optimization problem, the speedup is achieved without any degradation in classification accuracy.


Unbiased Methods for Multi Goal Reinforcement Learning. In multi goal reinforcement learning (RL) settings, the reward for each goal is sparse, and located in a small neighborhood of the goal. In large dimension, the probability of reaching a reward vanishes and the agent receives little learning signal. Methods such as Hindsight Experience Replay (HER) tackle this issue by also learning from realized but unplanned for goals. But HER is known to introduce bias, and can converge to low return policies by overestimating chancy outcomes. First, we vindicate HER by proving that it is actually unbiased in deterministic environments, such as many optimal control settings. Next, for stochastic environments in continuous spaces, we tackle sparse rewards by directly taking the infinitely sparse reward limit. We fully formalize the problem of multi goal RL with infinitely sparse Dirac rewards at each goal. We introduce unbiased deep Q learning and actor critic algorithms that can handle such infinitely sparse rewards, and test them in toy environments.


Alzheimers Dementia Detection using Acoustic Linguistic features and Pre Trained BERT. Alzheimers disease is a fatal progressive brain disorder that worsens with time. It is high time we have inexpensive and quick clinical diagnostic techniques for early detection and care. In previous studies, various Machine Learning techniques and Pre trained Deep Learning models have been used in conjunction with the extraction of various acoustic and linguistic features. Our study focuses on three models for the classification task in the ADReSS (The Alzheimers Dementia Recognition through Spontaneous Speech) 2021 Challenge. We use the well balanced dataset provided by the ADReSS Challenge for training and validating our models. Model 1 uses various acoustic features from the eGeMAPs feature set, Model 2 uses various linguistic features that we generated from auto generated transcripts and Model 3 uses the auto generated transcripts directly to extract features using a Pre trained BERT and TF IDF. These models are described in detail in the models section.