A Multivariate Spline based Collocation Method for Numerical Solution of Partial Differential Equations. We propose a collocation method based on multivariate polynomial splines over triangulation or tetrahedralization for the numerical solution of partial differential equations. We start with a detailed explanation of the method for the Poisson equation and then extend the study to the second order elliptic PDE in non divergence form. We shall show that the numerical solution can approximate the exact PDE solution very well. Then we present a large amount of numerical experimental results to demonstrate the performance of the method over the 2D and 3D settings. In addition, we present a comparison with the existing multivariate spline methods in cite ALW06 and cite LW17 to show that the new method produces a similar and sometimes more accurate approximation in a more efficient fashion.


A hybrid ensemble method with negative correlation learning for regression. Hybrid ensemble, an essential branch of ensembles, has flourished in numerous machine learning problems, especially regression. Several studies have confirmed the importance of diversity however, previous ensembles only consider diversity in the sub model training stage, with limited improvement compared to single models. In contrast, this study focuses on the sub model combination stage of the ensemble. It solves a non convex optimization problem using an interior point filtering linear search algorithm to select and weight sub models from a heterogeneous model pool automatically. This optimization problem innovatively incorporates negative correlation learning as a penalty term. Thus, a diverse model subset can be selected. Experimental results show that the approach outperforms single model and overcomes the instability of the models and parameters. Compared to bagging and stacking without model diversity, our method stands out more and confirms the importance of diversity in the ensemble. Additionally, the performance of our proposed method is better than that of simple and weighted averages, and the variance of the weights is lower and more stable than that of a linear model. Finally, the prediction accuracy can be further improved by fine tuning the weights using the error inverse weights. In conclusion, the value of this study lies in its ease of use and effectiveness, allowing the hybrid ensemble to embrace both diversity and accuracy.


A mathematical justification for metronomic chemotherapy in oncology. We mathematically justify metronomic chemotherapy as the best strategy to apply most cytotoxic drugs in oncology for both curative and palliative approaches, assuming the classical pharmacokinetic model together with the Emax pharmacodynamic and the Norton Simon hypothesis. From the mathematical point of view, we will consider two mixed integer nonlinear optimization problems, where the unknowns are the number of the doses and the quantity of each one, adjusting the administration times a posteriori


Utility Indifference Pricing with High Risk Aversion and Small Linear Price Impact. We consider the Bachelier model with linear price impact. Exponential utility indifference prices are studied for vanilla European options and we compute their non trivial scaling limit for a vanishing price impact which is inversely proportional to the risk aversion. Moreover, we find explicitly a family of portfolios which are asymptotically optimal.


McMullen's and geometric pressures and approximating Hausdorff dimension of Julia sets from below. We introduce new variants of the notion of geometric pressure for rational functions on the Riemann sphere, including non hyperbolic functions, in the hope some of them occur useful to achieve a fast approximation from below of the hyperbolic Hausdorff dimension of Julia set.


Identities of tropical matrices and plactic monoids. We study semigroup varieties generated by full and upper triangular tropical matrix semigroups and the plactic monoid of rank 4. We prove that the upper triangular tropical matrix semigroup UT n( mathbb T ) generates a different semigroup variety for each dimension n . We show a weaker version of this fact for the full matrix semigroup full tropical matrix semigroups of different prime dimensions generate different semigroup varieties. For the plactic monoid of rank 4, mathbb P 4 , we find a new set of identities satisfied by mathbb P 4 shorter than those previously known, and show that the semigroup variety generated by mathbb P 4 is strictly contained in the variety generated by UT 5( mathbb T ) .


Improving the Reliability of Semantic Segmentation of Medical Images by Uncertainty Modeling with Bayesian Deep Networks and Curriculum Learning. In this paper we propose a novel method which leverages the uncertainty measures provided by Bayesian deep networks through curriculum learning so that the uncertainty estimates are fed back to the system to resample the training data more densely in areas where uncertainty is high. We show in the concrete setting of a semantic segmentation task (iPS cell colony segmentation) that the proposed system is able to increase significantly the reliability of the model.


Polynomial growth, comparison, and the small boundary property. We show that a minimal action of a finitely generated group of polynomial growth on a compact metrizable space has comparison. It follows that if such an action has the small boundary property then it is almost finite and its C crossed product is mathcal Z stable, and consequently that such crossed products are classified by their Elliott invariant.


Training Lipschitz continuous operators using reproducing kernels. This paper proposes that Lipschitz continuity is a natural outcome of regularized least squares in kernel based learning. Lipschitz continuity is an important proxy for robustness of input output operators. It is also instrumental for guaranteeing closed loop stability of kernel based controlllers through small incremental gain arguments. We introduce a new class of nonexpansive kernels that are shown to induce Hilbert spaces consisting of only Lipschitz continuous operators. The Lipschitz constant of estimated operators within such Hilbert spaces can be tuned by suitable selection of a regularization parameter. As is typical for kernel based models, input output operators are estimated from data by solving tractable systems of linear equations. The approach thus constitutes a promising alternative to Lipschitz bounded neural networks, that have recently been investigated but are computationally expensive to train.


Pushforward and projective diffeological vector pseudo bundles. In this paper, we study a new operation named pushforward on diffeological vector pseudo bundles, which is left adjoint to the pullback. We show how to pushforward projective diffeological vector pseudo bundles to get projective diffeological vector spaces, producing many concrete new examples. This brings new objects to diffeology from classical vector bundle theory.


Decision Power of Weak Asynchronous Models of Distributed Computing. Esparza and Reiter have recently conducted a systematic comparative study of models of distributed computing consisting of a network of identical finite state automata that cooperate to decide if the underlying graph of the network satisfies a given property. The study classifies models according to four criteria, and shows that twenty initially possible combinations collapse into seven equivalence classes with respect to their decision power, i.e. the properties that the automata of each class can decide. However, Esparza and Reiter only show (proper) inclusions between the classes, and so do not characterise their decision power. In this paper we do so for labelling properties, i.e. properties that depend only on the labels of the nodes, but not on the structure of the graph. In particular, majority (whether more nodes carry label a than b ) is a labelling property. Our results show that only one of the seven equivalence classes identified by Esparza and Reiter can decide majority for arbitrary networks. We then study the expressive power of the classes on bounded degree networks, and show that three classes can. In particular, we present an algorithm for majority that works for all bounded degree networks under adversarial schedulers, i.e. even if the scheduler must only satisfy that every node makes a move infinitely often, and prove that no such algorithm can work for arbitrary networks.


Balanced Allocations with Incomplete Information The Power of Two Queries. We consider the allocation of m balls into n bins with incomplete information. In the classical Two Choice process a ball first queries the load of two randomly chosen bins and is then placed in the least loaded bin. In our setting, each ball also samples two random bins but can only estimate a bin's load by sending binary queries of the form "Is the load at least the median?" or "Is the load at least 100?". For the lightly loaded case m O(n) , Feldheim and Gurel Gurevich (2021) showed that with one query it is possible to achieve a maximum load of O( sqrt log n log log n ) , and posed the question whether a maximum load of m n O( sqrt log n log log n ) is possible for any m Omega(n) . In this work, we resolve this open problem by proving a lower bound of m n Omega( sqrt log n ) for a fixed m Theta(n sqrt log n ) , and a lower bound of m n Omega( log n log log n) for some m depending on the used strategy. We complement this negative result by proving a positive result for multiple queries. In particular, we show that with only two binary queries per chosen bin, there is an oblivious strategy which ensures a maximum load of m n O( sqrt log n ) for any m geq 1 . Further, for any number of k O( log log n) binary queries, the upper bound on the maximum load improves to m n O(k( log n) 1 k ) for any m geq 1 . Further, this result for k queries implies (i) new bounds for the (1 beta) process introduced by Peres et al (2015), (ii) new bounds for the graphical balanced allocation process on dense expander graphs, and (iii) the bound of m n O( log log n) on the maximum load achieved by the Two Choice process, including the heavily loaded case m Omega(n) derived by Berenbrink et al. (2006). One novel aspect of our proofs is the use of multiple super exponential potential functions, which might be of use in future work.


COINS Dynamically Generating COntextualized Inference Rules for Narrative Story Completion. Despite recent successes of large pre trained language models in solving reasoning tasks, their inference capabilities remain opaque. We posit that such models can be made more interpretable by explicitly generating interim inference rules, and using them to guide the generation of task specific textual outputs. In this paper we present COINS, a recursive inference framework that i) iteratively reads context sentences, ii) dynamically generates contextualized inference rules, encodes them, and iii) uses them to guide task specific output generation. We apply COINS to a Narrative Story Completion task that asks a model to complete a story with missing sentences, to produce a coherent story with plausible logical connections, causal relationships, and temporal dependencies. By modularizing inference and sentence generation steps in a recurrent model, we aim to make reasoning steps and their effects on next sentence generation transparent. Our automatic and manual evaluations show that the model generates better story sentences than SOTA baselines, especially in terms of coherence. We further demonstrate improved performance over strong pre trained LMs in generating commonsense inference rules. The recursive nature of COINS holds the potential for controlled generation of longer sequences.


The connection problem for fully nonlinear parabolic equations in one spatial dimension. We explicitly construct global attractors of fully nonlinear parabolic equations. The attractors are decomposed as equilibria (time independent solutions) and heteroclinic orbits (solutions that converge to distinct equilibria backwards and forwards in time). In particular, we state necessary and sufficient conditions for the occurrence of heteroclinics between hyperbolic equilibria, which is accompanied by a method that compute such conditions.


Besicovitch Morse type covering lemmas in metric spaces. The aims of this article is to generalize some useful Besicovitch Morse type covering lemmas in complete Riemannian manifolds and try to find more spaces such that the so called BCP and WBCP are equivalent while these two properties are weaker and still useful. We also get interest in the best constants of Besicovitch type covering properties in Euclidean spaces and sorted out the best results of related problems before giving a new proof of Besicovitch covering theorem in the one dimensional case.


Essentially Tight Kernels for (Weakly) Closed Graphs. We study kernelization of classic hard graph problems when the input graphs fulfill triadic closure properties. More precisely, we consider the recently introduced parameters closure number c and the weak closure number gamma Fox et al., SICOMP 2020 in addition to the standard parameter solution size k . For Capacitated Vertex Cover, Connected Vertex Cover, and Induced Matching we obtain the first kernels of size k mathcal O ( gamma) and ( gamma k) mathcal O ( gamma) , respectively, thus extending previous kernelization results on degenerate graphs. The kernels are essentially tight, since these problems are unlikely to admit kernels of size k o( gamma) by previous results on their kernelization complexity in degenerate graphs Cygan et al., ACM TALG 2017 . In addition, we provide lower bounds for the kernelization of Independent Set on graphs with constant closure number c and kernels for Dominating Set on weakly closed split graphs and weakly closed bipartite graphs.


Effect of Electron Precipitation on E Region Instabilities Theoretical Analysis. During periods of strong geomagnetic activity, intense currents flow from the magnetosphere into the high latitude E region ionosphere along geomagnetic field lines, B. In this region, collisions between the plasma and neutral molecules allow currents to flow across B, enabling the entire magnetosphere ionosphere current system to close. These same currents cause strong DC electric fields in the E region ionosphere where they drive plasma instabilities, including the Farley Buneman instability (FBI). These instabilities give rise to small scale plasma turbulence that modifies the large scale ionospheric conductance that, in turn, affects the evolution of the entire near Earth plasma environment. Also, during geomagnetic storms, precipitating electrons of high energies, gtrsim 5 keV, frequently penetrate down to the same regions where intense currents and E fields develop. This research examines the effects of precipitating electrons on the generation of the FBI and shows that, under many common conditions, it can easily suppress the instability in a predictable manner. Therefore, we expect precipitation to exert a significant feedback on the magnetosphere by preventing the elevated conductivity caused by FBI driven turbulence. This suppression should be taken into account in global modeling of the magnetosphere ionosphere coupling.


A comparative study of Bot Detection techniques methods with an application related to Covid 19 discourse on Twitter. Bot Detection is an essential asset in a period where Online Social Networks(OSN) is a part of our lives. This task becomes more relevant in crises, as the Covid 19 pandemic, where there is an incipient risk of proliferation of social bots, producing a possible source of misinformation. In order to address this issue, it has been compared different methods to detect automatically social bots on Twitter using Data Selection. The techniques utilized to elaborate the bot detection models include the utilization of features as the tweets metadata or the Digital Fingerprint of the Twitter accounts. In addition, it was analyzed the presence of bots in tweets from different periods of the first months of the Covid 19 pandemic, using the bot detection technique which best fits the scope of the task. Moreover, this work includes also analysis over aspects regarding the discourse of bots and humans, such as sentiment or hashtag utilization.


Spectral Measures for Derivative Powers via Matrix Valued Clark Theory. The theory of finite rank perturbations allows for the determination of spectral information for broad classes of operators using the tools of analytic function theory. In this work, finite rank perturbations are applied to powers of the derivative operator, providing a full account from self adjoint boundary conditions to computing aspects of the operators' matrix valued spectral measures. In particular, the support and weights of the Clark (spectral) measures are computed via the connection between matrix valued contractive analytic functions and matrix valued nonnegative measures through the Herglotz Representation Theorem. For operators associated with several powers of the derivative, explicit formulae for these measures are included. While eigenfunctions and eigenvalues for these operators with fixed boundary conditions can often be computed using direct methods from ordinary differential equations, this approach provides a more complete picture of the spectral information.


The difference of convex algorithm on Riemannian manifolds. In this paper we propose a Riemannian version of the difference of convex algorithm (DCA) to solve a minimization problem involving the difference of convex (DC) function. Equivalence between the classical and a simplified Riemannian version of the DCA is stablished. We also prove that under mild assumptions the Riemannian version of the DCA is well defined and every cluster point of the sequence generated by the proposed method, if any, is a critical point of the objective DC function. Some duality relations between the DC problem and its dual are also established. Applications to the problem of maximizing a convex function in a compact set and manifold valued image denoising are presented in the DC context.


The relative Whitney trick and its applications. We introduce a geometric operation, which we call the relative Whitney trick, that removes a single double point between properly immersed surfaces in a 4 manifold with boundary. Using the relative Whitney trick we prove that every link in a homology sphere is homotopic to a link that is topologically slice in a contractible topological 4 manifold. We further prove that any link in a homology sphere is order k Whitney tower concordant to a link in S 3 for all k . Finally, we explore the minimum Gordian distance from a link in S 3 to a homotopically trivial link. Extending this notion to links in homology spheres, we use the relative Whitney trick to make explicit computations for 3 component links and establish bounds in general.


Semantic Palette Guiding Scene Generation with Class Proportions. Despite the recent progress of generative adversarial networks (GANs) at synthesizing photo realistic images, producing complex urban scenes remains a challenging problem. Previous works break down scene generation into two consecutive phases unconditional semantic layout synthesis and image synthesis conditioned on layouts. In this work, we propose to condition layout generation as well for higher semantic control given a vector of class proportions, we generate layouts with matching composition. To this end, we introduce a conditional framework with novel architecture designs and learning objectives, which effectively accommodates class proportions to guide the scene generation process. The proposed architecture also allows partial layout editing with interesting applications. Thanks to the semantic control, we can produce layouts close to the real distribution, helping enhance the whole scene generation process. On different metrics and urban scene benchmarks, our models outperform existing baselines. Moreover, we demonstrate the merit of our approach for data augmentation semantic segmenters trained on real layout image pairs along with additional ones generated by our approach outperform models only trained on real pairs.


Empirical Security and Privacy Analysis of Mobile Symptom Checking Applications on Google Play. Smartphone technology has drastically improved over the past decade. These improvements have seen the creation of specialized health applications, which offer consumers a range of health related activities such as tracking and checking symptoms of health conditions or diseases through their smartphones. We term these applications as Symptom Checking apps or simply SymptomCheckers. Due to the sensitive nature of the private data they collect, store and manage, leakage of user information could result in significant consequences. In this paper, we use a combination of techniques from both static and dynamic analysis to detect, trace and categorize security and privacy issues in 36 popular SymptomCheckers on Google Play. Our analyses reveal that SymptomCheckers request a significantly higher number of sensitive permissions and embed a higher number of third party tracking libraries for targeted advertisements and analytics exploiting the privileged access of the SymptomCheckers in which they exist, as a mean of collecting and sharing critically sensitive data about the user and their device. We find that these are sharing the data that they collect through unencrypted plain text to the third party advertisers and, in some cases, to malicious domains. The results reveal that the exploitation of SymptomCheckers is present in popular apps, still readily available on Google Play.


The language of race, ethnicity, and ancestry in human genetic research. The language commonly used in human genetics can inadvertently pose problems for multiple reasons. Terms like "ancestry", "ethnicity", and other ways of grouping people can have complex, often poorly understood, or multiple meanings within the various fields of genetics, between different domains of biological sciences and medicine, and between scientists and the general public. Furthermore, some categories in frequently used datasets carry scientifically misleading, outmoded or even racist perspectives derived from the history of science. Here, we discuss examples of problematic lexicon in genetics, and how commonly used statistical practices to control for the non genetic environment may exacerbate difficulties in our terminology, and therefore understanding. Our intention is to stimulate a much needed discussion about the language of genetics, to begin a process to clarify existing terminology, and in some cases adopt a new lexicon that both serves scientific insight, and cuts us loose from various aspects of a pernicious past.


Group Authentication for Drone Swarms. In parallel with the advances of aerial networks, the use of drones is quickly included in daily activities. According to the characteristics of the operations to be carried out using the drones, the need for simultaneous use of one or more drones has arisen. The use of a drone swarm is preferred rather than the use of a single drone to complete activities such as secure crowd monitoring systems, cargo delivery. Due to the limited airtime of the drones, new members may be included in the swarm, or there may be a unification of two or more drone swarms when needed. Authentication of the new drone that will take its place in the drone swarm and the rapid mutual verification of two different swarms of drones are some of the security issues in the swarm structures. In this study, group authentication based solutions have been put forward to solve the identified security issues. The proposed methods and 5G new radio (NR) authentication methods were compared in terms of time and a significant time difference was obtained. According to the 5G NR standard, it takes 22 ms for a user equipment (UE) to be verified by unified data management (UDM), while in the proposed method, this time varies according to the threshold value of the polynomial used and it is substantially lower than 22 ms for most threshold values.


Cross Chest Graph for Disease Diagnosis with Structural Relational Reasoning. Locating lesions is important in the computer aided diagnosis of X ray images. However, box level annotation is time consuming and laborious. How to locate lesions accurately with few, or even without careful annotations is an urgent problem. Although several works have approached this problem with weakly supervised methods, the performance needs to be improved. One obstacle is that general weakly supervised methods have failed to consider the characteristics of X ray images, such as the highly structural attribute. We therefore propose the Cross chest Graph (CCG), which improves the performance of automatic lesion detection by imitating doctor's training and decision making process. CCG models the intra image relationship between different anatomical areas by leveraging the structural information to simulate the doctor's habit of observing different areas. Meanwhile, the relationship between any pair of images is modeled by a knowledge reasoning module to simulate the doctor's habit of comparing multiple images. We integrate intra image and inter image information into a unified end to end framework. Experimental results on the NIH Chest 14 database (112,120 frontal view X ray images with 14 diseases) demonstrate that the proposed method achieves state of the art performance in weakly supervised localization of lesions by absorbing professional knowledge in the medical field.


Liquid walls and interfaces in arbitrary directions stabilized by vibrations. Gravity shapes liquids and play a crucial role in their internal balance. Creating new equilibrium configurations irrespective of the presence of a gravitational field is challenging with applications on earth as well as in zero gravity environments. Vibrations are known to alter the shape of liquid interfaces and to also to change internal dynamics and stability in depth. Here, we show that vibrations can also create an "artificial gravity" in any direction. We demonstrate that a liquid can maintain an inclined interface when shaken in an arbitrary direction. A necessary condition for the equilibrium to occur is the existence of a velocity gradient determined by dynamical boundary conditions. However, no slip boundary condition and incompressibility can perturb the required velocity profile leading to a destabilization of the equilibrium. We show that liquid layers provide a solution and liquid walls of several centimeters in height can thus be stabilized. We show that the buoyancy equilibrium is not affected by the forcing.


Fundamental Limits of Combinatorial Multi Access Caching. This work identifies the fundamental limits of Multi Access Coded Caching (MACC) where each user is connected to multiple caches in a manner that follows a generalized combinatorial topology. This topology stands out as it allows for unprecedented coding gains, even with very modest cache resources. First, we extend the setting and the scheme presented by Muralidhar et al. to a much more general topology that supports both a much denser range of users and the coexistence of users connected to different numbers of caches, all while maintaining the astounding coding gains, here proven to be exactly optimal, associated with the combinatorial topology. This is achieved, for this generalized topology, with a novel information theoretic converse that we present here, which establishes, together with the scheme, the exact optimal performance under the assumption of uncoded placement. We subsequently consider different connectivity ensembles, including the very general scenario of the entire ensemble of all possible network connectivities topologies, where any user can be connected to any subset of caches arbitrarily. For these settings, we develop novel converse bounds on the optimal performance averaged over the ensemble's different connectivities, considering the additional realistic scenario that the connectivity at delivery time is entirely unknown during cache placement. This novel analysis of topological ensembles leaves open the possibility that currently unknown topologies may yield even higher gains, a hypothesis that is part of the bigger question of which network topology yields the most caching gains.


A Context aware Radio Resource Management in Heterogeneous Virtual RANs. New generation wireless networks are designed to support a wide range of services with diverse key performance indicators (KPIs) requirements. A fundamental component of such networks, and a pivotal factor to the fulfillment of the target KPIs, is the virtual radio access network (vRAN), which allows high flexibility on the control of the radio link. However, to fully exploit the potentiality of vRANs, an efficient mapping of the rapidly varying context to radio control decisions is not only essential, but also challenging owing to the interdependence of user traffic demand, channel conditions, and resource allocation. Here, we propose CAREM, a reinforcement learning framework for dynamic radio resource allocation in heterogeneous vRANs, which selects the best available link and transmission parameters for packet transfer, so as to meet the KPI requirements. To show its effectiveness, we develop a testbed for proof of concept. Experimental results demonstrate that CAREM enables an efficient radio resource allocation under different settings and traffic demand. Also, compared to the closest existing scheme based on neural network and the standard LTE, CAREM exhibits an improvement of one order of magnitude in packet loss and latency, while it provides a 65 latency improvement relatively to the contextual bandit approach.


On the Download Rate of Homomorphic Secret Sharing. A homomorphic secret sharing (HSS) scheme is a secret sharing scheme that supports evaluating functions on shared secrets by means of a local mapping from input shares to output shares. We initiate the study of the download rate of HSS, namely, the achievable ratio between the length of the output shares and the output length when amortized over ell function evaluations. We obtain the following results. In the case of linear information theoretic HSS schemes for degree d multivariate polynomials, we characterize the optimal download rate in terms of the optimal minimal distance of a linear code with related parameters. We further show that for sufficiently large ell (polynomial in all problem parameters), the optimal rate can be realized using Shamir's scheme, even with secrets over mathbb F 2 . We present a general rate amplification technique for HSS that improves the download rate at the cost of requiring more shares. As a corollary, we get high rate variants of computationally secure HSS schemes and efficient private information retrieval protocols from the literature. We show that, in some cases, one can beat the best download rate of linear HSS by allowing nonlinear output reconstruction and 2 Omega( ell) error probability.


An Empirical Study of the Characteristics of Popular Minecraft Mods. It is becoming increasingly difficult for game developers to manage the cost of developing a game, while meeting the high expectations of gamers. One way to balance the increasing gamer expectation and development stress is to build an active modding community around the game. There exist several examples of games with an extremely active and successful modding community, with the Minecraft game being one of the most notable ones. This paper reports on an empirical study of 1,114 popular and 1,114 unpopular Minecraft mods from the CurseForge mod distribution platform, one of the largest distribution platforms for Minecraft mods. We analyzed the relationship between 33 features across 5 dimensions of mod characteristics and the popularity of mods (i.e., mod category, mod documentation, environmental context of the mod, remuneration for the mod, and community contribution for the mod), to understand the characteristics of popular Minecraft mods. We firstly verify that the studied dimensions have significant explanatory power in distinguishing the popularity of the studied mods. Then we evaluated the contribution of each of the 33 features across the 5 dimensions. We observed that popular mods tend to have a high quality description and promote community contribution.


Boundedness of denominators of special values of the L functions for modular forms. For a cuspidal Hecke eigenform F for Sp n(Z) and a Dirichlet character chi let L(s,F, chi,St) be the standard L function of F twisted by chi . Boecherer showed the boundedness of denominators of the algebraic part of L(m,F, chi,St) at a critical point m when chi varies. In this paper, we give a refined version of his result We also prove a similar result for the products of Hecke L functions of primitive forms for SL 2(Z) .


ViTA Visual Linguistic Translation by Aligning Object Tags. Multimodal Machine Translation (MMT) enriches the source text with visual information for translation. It has gained popularity in recent years, and several pipelines have been proposed in the same direction. Yet, the task lacks quality datasets to illustrate the contribution of visual modality in the translation systems. In this paper, we propose our system under the team name Volta for the Multimodal Translation Task of WAT 2021 from English to Hindi. We also participate in the textual only subtask of the same language pair for which we use mBART, a pretrained multilingual sequence to sequence model. For multimodal translation, we propose to enhance the textual input by bringing the visual information to a textual domain by extracting object tags from the image. We also explore the robustness of our system by systematically degrading the source text. Finally, we achieve a BLEU score of 44.6 and 51.6 on the test set and challenge set of the multimodal task.


Identity and Posture Recognition in Smart Beds with Deep Multitask Learning. Sleep posture analysis is widely used for clinical patient monitoring and sleep studies. Earlier research has revealed that sleep posture highly influences symptoms of diseases such as apnea and pressure ulcers. In this study, we propose a robust deep learning model capable of accurately detecting subjects and their sleeping postures using the publicly available data acquired from a commercial pressure mapping system. A combination of loss functions is used to discriminate subjects and their sleeping postures simultaneously. The experimental results show that our proposed method can identify the patients and their in bed posture with almost no errors in a 10 fold cross validation scheme. Furthermore, we show that our network achieves an average accuracy of up to 99 when faced with new subjects in a leave one subject out validation procedure on the three most common sleeping posture categories. We demonstrate the effects of the combined cost function over its parameter and show that learning both tasks simultaneously improves performance significantly. Finally, we evaluate our proposed pipeline by testing it over augmented images of our dataset. The proposed algorithm can ultimately be used in clinical and smart home environments as a complementary tool with other available automated patient monitoring systems.


Evolutionary paths under catastrophes. We introduce a model to study the impact of catastrophes on evolutionary paths. If we do not allow catastrophes the number of changes in the maximum fitness of a population grows logarithmically with respect to time. Allowing catastrophes (no matter how rare) yields a drastically different behavior. When catastrophes are possible the number of changes in the maximum fitness of the population grows linearly with time. Moreover, the evolutionary paths are a lot less predictable when catastrophes are possible. Our results can be seen as supporting the hypothesis that catastrophes speed up evolution by disrupting dominant species and creating space for new species to emerge and evolve.


A Numerical Precision Example for Teachers of Trig and Pre Calc. In this paper we propose a very specific educational challenge that teachers can use to motivate ambitious and enthusiastic mathematics students who have mastered basic trigonometry and exponential functions. The objective is to lead students to a result that will hopefully surprise and entertain and more importantly provide a lesson about when and when not to make inferences relating to "numerical error" when using mathematical software and calculators.


A Novel Neuron Model of Visual Processor. Simulating and imitating the neuronal network of humans or mammals is a popular topic that has been explored for many years in the fields of pattern recognition and computer vision. Inspired by neuronal conduction characteristics in the primary visual cortex of cats, pulse coupled neural networks (PCNNs) can exhibit synchronous oscillation behavior, which can process digital images without training. However, according to the study of single cells in the cat primary visual cortex, when a neuron is stimulated by an external periodic signal, the interspike interval (ISI) distributions represent a multimodal distribution. This phenomenon cannot be explained by all PCNN models. By analyzing the working mechanism of the PCNN, we present a novel neuron model of the primary visual cortex consisting of a continuous coupled neural network (CCNN). Our model inherited the threshold exponential decay and synchronous pulse oscillation property of the original PCNN model, and it can exhibit chaotic behavior consistent with the testing results of cat primary visual cortex neurons. Therefore, our CCNN model is closer to real visual neural networks. For image segmentation tasks, the algorithm based on CCNN model has better performance than the state of art of visual cortex neural network model. The strength of our approach is that it helps neurophysiologists further understand how the primary visual cortex works and can be used to quantitatively predict the temporal spatial behavior of real neural networks. CCNN may also inspire engineers to create brain inspired deep learning networks for artificial intelligence purposes.


Degree of Satisfiability in Heyting Algebras. Given some finite structure M and property p , it is a natural to study the degree of satisfiability of p in M i.e. to ask what is probability that uniformly randomly chosen elements in M satisfy p ? In group theory, a well known result of Gustafson states that the equation xy yx has a finite satisfiability gap its degree of satisfiability is either 1 (in Abelian groups) or no larger than frac 5 8 . Degree of satisfiability has proven useful in the study of (finite and infinite) group like and ring like algebraic structures, but finite satisfiability gap questions have not been considered in lattice like, order theoretic settings yet. Here we investigate degree of satisfiability questions in the context of Heyting algebras and intuitionistic logic. We classify all equations in one free variable with respect to finite satisfiability gap, and determine which common principles of classical logic in multiple free variables have finite satisfiability gap. In particular we prove that, in a finite non Boolean Heyting algebra, the probability that a randomly chosen element satisfies x vee neg x top is no larger than frac 2 3 . Finally, we generalize our results to infinite Heyting algebras, and present their applications to point set topology, black box algebras, and the philosophy of logic.


Mapping flows on hypergraphs. Hypergraphs offer an explicit formalism to describe multibody interactions in complex systems. To connect dynamics and function in systems with these higher order interactions, network scientists have generalised random walk models to hypergraphs and studied the multibody effects on flow based centrality measures. But mapping the large scale structure of those flows requires effective community detection methods. We derive unipartite, bipartite, and multilayer network representations of hypergraph flows and explore how they and the underlying random walk model change the number, size, depth, and overlap of identified multilevel communities. These results help researchers choose the appropriate modelling approach when mapping flows on hypergraphs.


T Net Deep Stacked Scale Iteration Network for Image Dehazing. Hazy images reduce the visibility of the image content, and haze will lead to failure in handling subsequent computer vision tasks. In this paper, we address the problem of image dehazing by proposing a dehazing network named T Net, which consists of a backbone network based on the U Net architecture and a dual attention module. And it can achieve multi scale feature fusion by using skip connections with a new fusion strategy. Furthermore, by repeatedly unfolding the plain T Net, Stack T Net is proposed to take advantage of the dependence of deep features across stages via a recursive strategy. In order to reduce network parameters, the intra stage recursive computation of ResNet is adopted in our Stack T Net. And we take both the stage wise result and the original hazy image as input to each T Net and finally output the prediction of clean image. Experimental results on both synthetic and real world images demonstrate that our plain T Net and the advanced Stack T Net perform favorably against the state of the art dehazing algorithms, and show that our Stack T Net could further improve the dehazing effect, demonstrating the effectiveness of the recursive strategy.


Acceleration based PSO for Multi UAV Source Seeking. This paper presents a novel algorithm for a swarm of unmanned aerial vehicles (UAVs) to search for an unknown source. The proposed method is inspired by the well known PSO algorithm and is called acceleration based particle swarm optimization (APSO) to address the source seeking problem with no a priori information. Unlike the conventional PSO algorithm, where the particle velocity is updated based on the self cognition and social cognition information, here the update is performed on the particle acceleration. A theoretical analysis is provided, showing the stability and convergence of the proposed APSO algorithm. Conditions on the parameters of the resulting third order update equations are obtained using Jurys stability test. High fidelity simulations performed in CoppeliaSim, shows the improved performance of the proposed APSO algorithm for searching an unknown source when compared with the state of the art particle swarm based source seeking algorithms. From the obtained results, it is observed that the proposed method performs better than the existing methods under scenarios like different inter UAV communication network topologies, varying number of UAVs in the swarm, different sizes of search region, restricted source movement and in the presence of measurements noise.


Leveraging Reinforcement Learning for evaluating Robustness of KNN Search Algorithms. The problem of finding K nearest neighbors in the given dataset for a given query point has been worked upon since several years. In very high dimensional spaces the K nearest neighbor search (KNNS) suffers in terms of complexity in computation of high dimensional distances. With the issue of curse of dimensionality, it gets quite tedious to reliably bank on the results of variety approximate nearest neighbor search approaches. In this paper, we survey some novel K Nearest Neighbor Search approaches that tackles the problem of Search from the perspectives of computations, the accuracy of approximated results and leveraging parallelism to speed up computations. We attempt to derive a relationship between the true positive and false points for a given KNNS approach. Finally, in order to evaluate the robustness of a KNNS approach against adversarial points, we propose a generic Reinforcement Learning based framework for the same.


Epidemiological and public health requirements for COVID 19 contact tracing apps and their evaluation. Digital contact tracing is a public health intervention. It should be integrated with local health policy, provide rapid and accurate notifications to exposed individuals, and encourage high app uptake and adherence to quarantine. Real time monitoring and evaluation of effectiveness of app based contact tracing is key for improvement and public trust.


A Dataset of Information Seeking Questions and Answers Anchored in Research Papers. Readers of academic research papers often read with the goal of answering specific questions. Question Answering systems that can answer those questions can make consumption of the content much more efficient. However, building such tools requires data that reflect the difficulty of the task arising from complex reasoning about claims made in multiple parts of a paper. In contrast, existing information seeking question answering datasets usually contain questions about generic factoid type information. We therefore present QASPER, a dataset of 5,049 questions over 1,585 Natural Language Processing papers. Each question is written by an NLP practitioner who read only the title and abstract of the corresponding paper, and the question seeks information present in the full text. The questions are then answered by a separate set of NLP practitioners who also provide supporting evidence to answers. We find that existing models that do well on other QA tasks do not perform well on answering these questions, underperforming humans by at least 27 F1 points when answering them from entire papers, motivating further research in document grounded, information seeking QA, which our dataset is designed to facilitate.


Minimal functional bases for elasticity tensor symmetry classes. Functional bases, synonymous with separating sets, are usually formulated for an entire vector space, such as the space Ela of elasticity tensors. We propose here to define functional bases limited to symmetry strata, i.e. sets of tensors of the same symmetry class. We provide such lowcardinal minimal bases for tetragonal, trigonal, cubic or transversely isotropic symmetry strata of the elasticity tensor.


Positional Encoder Graph Neural Networks for Geographic Data. Graph neural networks (GNNs) provide a powerful and scalable solution for modeling continuous spatial data. However, in the absence of further context on the geometric structure of the data, they often rely on Euclidean distances to construct the input graphs. This assumption can be improbable in many real world settings, where the spatial structure is more complex and explicitly non Euclidean (e.g., road networks). In this paper, we propose PE GNN, a new framework that incorporates spatial context and correlation explicitly into the models. Building on recent advances in geospatial auxiliary task learning and semantic spatial embeddings, our proposed method (1) learns a context aware vector encoding of the geographic coordinates and (2) predicts spatial autocorrelation in the data in parallel with the main task. On spatial regression tasks, we show the effectiveness of our approach, improving performance over different state of the art GNN approaches. We also test our approach for spatial interpolation, i.e., spatial regression without node features, a task that GNNs are currently not competitive at. We observe that our approach not only vastly improves over the GNN baselines, but can match Gaussian processes, the most commonly utilized method for spatial interpolation problems. The code for this study can be accessed via https github.com konstantinklemmer pe gnn


Solving Linear Algebra by Program Synthesis. We solve MIT's Linear Algebra 18.06 course and Columbia University's Computational Linear Algebra COMS3251 courses with perfect accuracy by interactive program synthesis. This surprisingly strong result is achieved by turning the course questions into programming tasks and then running the programs to produce the correct answers. We use OpenAI Codex with zero shot learning, without providing any examples in the prompts, to synthesize code from questions. We quantify the difference between the original question text and the transformed question text that yields a correct answer. Since all COMS3251 questions are not available online the model is not overfitting. We go beyond just generating code for questions with numerical answers by interactively generating code that also results visually pleasing plots as output. Finally, we automatically generate new questions given a few sample questions which may be used as new course content. This work is a significant step forward in solving quantitative math problems and opens the door for solving many university level STEM courses by machine.


The Difficulty in Scaling Blockchains A Simple Explanation. Blockchains have become immensely popular and are high on the list of national and international research and innovation agenda's. This is partly caused by the numerous interesting applications, combined with the promise of full decentralization and high scalability (among others). Keeping that promise, however, is technically extremely demanding and has already required substantial scientific efforts, which so far have not been overwhelmingly successful. In this paper, we provide a laymen's description of what may turn out to be a fundamental hurdle in attaining blockchains that combine scalability, high transaction processing capabilities, and are indeed fully decentralized.


Extension of Additive Valuations to General Valuations on the Existence of EFX. Envy freeness is one of the most widely studied notions in fair division. Since envy free allocations do not always exist when items are indivisible, several relaxations have been considered. Among them, possibly the most compelling concept is envy freeness up to any item (EFX). We study the existence of EFX allocations for general valuations. The existence of EFX allocations is a major open problem. For general valuations, it is known that an EFX allocation always exists (i) when n 2 or (ii) when all agents have identical valuations, where n is the number of agents. it is also known that an EFX allocation always exists when one can leave at most n 1 items unallocated. We develop new techniques and extend some results of additive valuations to general valuations on the existence of EFX allocations. We show that an EFX allocation always exists (i) when all agents have one of two general valuations or (ii) when the number of items is at most n 3 . We also show that an EFX allocation always exists when one can leave at most n 2 items unallocated. In addition to the positive results, we construct an instance with n 3 in which an existing approach does not work as it is.


Spatially Inhomogeneous Populations with Seed banks II. Clustering Regime. We consider a spatial version of the classical Moran model with seed banks where the constituent populations have finite sizes. Individuals live in colonies labelled by mathbb Z d , d geq 1 , playing the role of a geographic space, carry one of the two types heartsuit or spadesuit , and change type via resampling as long as they are active . Each colony contains a seed bank into which individuals can enter to become dormant , suspending their resampling until they exit the seed bank and become active again. Individuals resample not only from their own colony, but also from other colonies according to a symmetric random walk transition kernel. The latter is referred to as migration . The sizes of the populations vary across colonies and remain constant in time. It was shown in Hollander and Nandan (2021) that the system is well defined, admits a family of equilibria parametrized by the initial density of type heartsuit , and exhibits a dichotomy between clustering (mono type equilibrium) and coexistence (multi type equilibrium). This dichotomy is determined by a clustering criterion that is given in terms of a dual of the system, which consists of a system of interacting coalescing random walks. In this paper we provide an alternative clustering criterion, given in terms of an auxiliary dual that is simpler than the original dual, and identify a range of parameters for which the criterion is met, which we refer to as the clustering regime . It turns out that if the sizes of the active populations are non clumping (i.e., do not take arbitrarily large values in finite regions of the geographic space) and the relative strengths of the seed banks (i.e., the ratio of the sizes of dormant and active population in each colony) are bounded uniformly over the geographic space, then clustering prevails if and only if the (symmetrised) migration kernel is recurrent.


AI perspectives in Smart Cities and Communities to enable road vehicle automation and smart traffic control. Smart Cities and Communities (SCC) constitute a new paradigm in urban development. SCC ideates on a data centered society aiming at improving efficiency by automating and optimizing activities and utilities. Information and communication technology along with internet of things enables data collection and with the help of artificial intelligence (AI) situation awareness can be obtained to feed the SCC actors with enriched knowledge. This paper describes AI perspectives in SCC and gives an overview of AI based technologies used in traffic to enable road vehicle automation and smart traffic control. Perception, Smart Traffic Control and Driver Modelling are described along with open research challenges and standardization to help introduce advanced driver assistance systems and automated vehicle functionality in traffic. To fully realize the potential of SCC, to create a holistic view on a city level, the availability of data from different stakeholders is need. Further, though AI technologies provide accurate predictions and classifications there is an ambiguity regarding the correctness of their outputs. This can make it difficult for the human operator to trust the system. Today there are no methods that can be used to match function requirements with the level of detail in data annotation in order to train an accurate model. Another challenge related to trust is explainability, while the models have difficulties explaining how they come to a certain conclusion it is difficult for humans to trust it.


Quantum Entanglement and the Growth of Laplacian Eigenfunctions. We study the growth of Laplacian eigenfunctions Delta phi k lambda k phi k on compact manifolds (M,g) . H "ormander proved sharp polynomial bounds on phi k L infty which are attained on the sphere. On a generic' manifold, the behavior seems to be different both numerics and Berry's random wave model suggest phi k L infty lesssim sqrt log lambda k as the typical behavior. We propose a mechanism, centered around an L 1 analogue of the spectral projector, for explaining the slow growth in the generic case for phi n 1 (x 0) to be large, it is necessary that either (1) several of the first n eigenfunctions were large in x 0 or (2) that phi n 1 is strongly correlated with a suitable linear combination of the first n eigenfunctions on most of the manifold or (3) both. An interesting byproduct is quantum entanglement for Laplacian eigenfunctions the existence of two distinct points x,y in M such that the sequences ( phi k(x)) k 1 infty and ( phi k(y)) k 1 infty do not behave like independent random variables. The existence of such points is not to be expected for generic manifolds but common for the classical manifolds and subtly intertwined with eigenfunction concentration.


Assessment of a high order shock capturing central difference scheme for hypersonic turbulent flow simulations. High speed turbulent flows are encountered in most space related applications (including exploration, tourism and defense fields) and represent a subject of growing interest in the last decades. A major challenge in performing high fidelity simulations of such flows resides in the stringent requirements for the numerical schemes to be used. These must be robust enough to handle strong, unsteady discontinuities, while ensuring low amounts of intrinsic dissipation in smooth flow regions. Furthermore, the wide range of temporal and spatial active scales leads to concurrent needs for numerical stabilization and accurate representation of the smallest resolved flow scales in cases of under resolved configurations. In this paper, we present a finite difference high order shock capturing technique based on Jameson's artificial diffusivity methodology. The resulting scheme is ninth order accurate far from discontinuities and relies on the addition of artificial dissipation close to large gradients. The shock detector is slightly revised to enhance its selectivity and avoid spurious activations of the shock capturing term. A suite of test cases ranging from 1D to 3D configurations (namely, shock tubes, Shu Osher problem, isentropic vortex advection, under expanded jet, compressible Taylor Green Vortex, supersonic and hypersonic turbulent boundary layers) is analysed in order to test the capability of the proposed numerical strategy to handle a large variety of problems, ranging from calorically perfect air to multi species reactive flows. Results obtained on under resolved grids are also considered to test the applicability of the proposed strategy in the context of implicit Large Eddy Simulations.


Tournaments with maximal decomposability. Given a tournament T , a module of T is a subset M of V(T) such that for x, y in M and v in V(T) setminus M , (x,v) in A(T) if and only if (y,v) in A(T) . The trivial modules of T are emptyset , u (u in V(T)) and V(T) . The tournament T is indecomposable if all its modules are trivial otherwise it is decomposable. The decomposability index of T , denoted by delta(T) , is the smallest number of arcs of T that must be reversed to make T indecomposable. In a previous paper, we proved that for n geq 5 , we have delta(n) left lceil frac n 1 4 right rceil , where delta(n) is the maximum of delta(T) over the tournaments T with n vertices. In this paper, we characterize the tournaments T with delta maximal decomposability, i.e., such that delta(T) delta( vert T vert) .


Envelope theorems for static optimization and calculus of variations. We establish differentiability properties of the value function of problems of Static Optimization in an abstract infinite dimensional setting and we apply that to problems of Calculus of Variations. We lighten the assumptions of existing results, notably by using G a teaux and Hadamard differentials. Moreover we use recently established Multipliers Rules.


Attend What You Need Motion Appearance Synergistic Networks for Video Question Answering. Video Question Answering is a task which requires an AI agent to answer questions grounded in video. This task entails three key challenges (1) understand the intention of various questions, (2) capturing various elements of the input video (e.g., object, action, causality), and (3) cross modal grounding between language and vision information. We propose Motion Appearance Synergistic Networks (MASN), which embed two cross modal features grounded on motion and appearance information and selectively utilize them depending on the question's intentions. MASN consists of a motion module, an appearance module, and a motion appearance fusion module. The motion module computes the action oriented cross modal joint representations, while the appearance module focuses on the appearance aspect of the input video. Finally, the motion appearance fusion module takes each output of the motion module and the appearance module as input, and performs question guided fusion. As a result, MASN achieves new state of the art performance on the TGIF QA and MSVD QA datasets. We also conduct qualitative analysis by visualizing the inference results of MASN. The code is available at https github.com ahjeongseo MASN pytorch.


Tackling Dynamics in Federated Incremental Learning with Variational Embedding Rehearsal. Federated Learning is a fast growing area of ML where the training datasets are extremely distributed, all while dynamically changing over time. Models need to be trained on clients' devices without any guarantees for either homogeneity or stationarity of the local private data. The need for continual training has also risen, due to the ever increasing production of in task data. However, pursuing both directions at the same time is challenging, since client data privacy is a major constraint, especially for rehearsal methods. Herein, we propose a novel algorithm to address the incremental learning process in an FL scenario, based on realistic client enrollment scenarios where clients can drop in or out dynamically. We first propose using deep Variational Embeddings that secure the privacy of the client data. Second, we propose a server side training method that enables a model to rehearse the previously learnt knowledge. Finally, we investigate the performance of federated incremental learning in dynamic client enrollment scenarios. The proposed method shows parity with offline training on domain incremental learning, addressing challenges in both the dynamic enrollment of clients and the domain shifting of client data.


Momentum Based Nash Set Seeking over Networks via Multi Time Scale Hybrid Dynamic Inclusions. Multi time scale techniques, such as singular perturbations and averaging theory, have played an important role in the development of distributed Nash equilibrium seeking algorithms for network systems. Such techniques intrinsically rely on the uniform asymptotic stability properties of the dynamics that evolve in each of the time scales of the closed loop system. When such properties are absent, the synthesis of multi time scale Nash equilibrium seeking algorithms is more challenging and it requires additional regularization mechanisms. In this paper, we investigate the synthesis and analysis of these mechanisms in the context of accelerated pseudogradient flows with time varying damping in non cooperative games. Specifically, we introduce a new class of distributed and hybrid Nash set seeking (NSS) algorithms that synergistically combine dynamic momentum based flows with coordinated discrete time resets. The reset mechanisms can be seen as restarting techniques that allow individual players to choose their own momentum restarting policy to achieve better transient performance. The resulting closed loop system is modeled as a hybrid dynamic inclusion, which is analyzed using tools from hybrid dynamical system's theory. Our algorithms are developed for weighted potential games, as well as for monotone games for which a potential function does not exist. They can be implemented in games where players have access to gradient Oracles with full or partial information, as well as in games where players have access only to measurements of their costs. In the latter case, we use tools from hybrid extremum seeking control to achieve accelerated model free Nash set seeking.


Signaling Games in Higher Dimensions Geometric Properties of Equilibrium Solutions. Signaling game problems investigate communication scenarios where encoder(s) and decoder(s) have misaligned objectives due to the fact that they either employ different cost functions or have inconsistent priors. This problem has been studied in the literature for scalar sources under various setups. In this paper, we consider multi dimensional sources under quadratic criteria in the presence of a bias leading to a mismatch in the criteria, where we show that the generalization from the scalar setup is more than technical. We show that the equilibrium solutions lead to structural richness due to the subtle geometric analysis the problem entails, with consequences in both system design, presence of linear equilibria, and an information theoretic problem formulation. We first provide a set of geometry conditions that needs to be satisfied in equilibrium considering any multi dimensional source. Then, we consider independent and identically distributed sources and characterize necessary and sufficient conditions under which an informative linear equilibrium exists. These conditions involve the bias vector that leads to misaligned costs. Depending on certain conditions related to the bias vector, the existence of linear equilibria requires sources with a Gaussian or a symmetric density. Moreover, in the case of Gaussian sources, our results have a rate distortion theoretic implication that achievable rates and distortions in the considered game theoretic setup can be obtained from its team theoretic counterpart.


Comprehensive Multi Modal Interactions for Referring Image Segmentation. We investigate Referring Image Segmentation (RIS), which outputs a segmentation map corresponding to the given natural language description. To solve RIS efficiently, we need to understand each word's relationship with other words, each region in the image to other regions, and cross modal alignment between linguistic and visual domains. We argue that one of the limiting factors in the recent methods is that they do not handle these interactions simultaneously. To this end, we propose a novel architecture called JRNet, which uses a Joint Reasoning Module(JRM) to concurrently capture the inter modal and intra modal interactions. The output of JRM is passed through a novel Cross Modal Multi Level Fusion (CMMLF) module which further refines the segmentation masks by exchanging contextual information across visual hierarchy through linguistic features acting as a bridge. We present thorough ablation studies and validate our approach's performance on four benchmark datasets, showing considerable performance gains over the existing state of the art methods.


Behavioral assessment of a humanoid robot when attracting pedestrians in a mall. Research currently being conducted on the use of robots as human labor support technology. In particular, the service industry needs to allocate more manpower, and it will be important for robots to support people. This study focuses on using a humanoid robot as a social service robot to convey information in a shopping mall, and the robot's behavioral concepts were analyzed. In order to convey the information, two processes must occur. Pedestrians must stop in front of the robot, and the robot must continue the engagement with them. For the purpose of this study, three types of autonomous behavioral concepts of the robot for the general use were analyzed and compared in these processes in the experiment active, passive negative, and passive positive concepts. After interactions were attempted with 65,000 pedestrians, this study revealed that the passive negative concept can make pedestrians stop more and stay longer. In order to evaluate the effectiveness of the robot in a real environment, the comparative results between three behaviors and human advertisers revealed that (1) the results of the active and passive positive concepts of the robot are comparable to those of the humans, and (2) the performance of the passive negative concept is higher than that of all participants. These findings demonstrate that the performance of robots is comparable to that of humans in providing information tasks in a limited environment therefore, it is expected that service robots as a labor support technology will be able to perform well in the real world.


Continuous 3D Multi Channel Sign Language Production via Progressive Transformers and Mixture Density Networks. Sign languages are multi channel visual languages, where signers use a continuous 3D space to communicate.Sign Language Production (SLP), the automatic translation from spoken to sign languages, must embody both the continuous articulation and full morphology of sign to be truly understandable by the Deaf community. Previous deep learning based SLP works have produced only a concatenation of isolated signs focusing primarily on the manual features, leading to a robotic and non expressive production. In this work, we propose a novel Progressive Transformer architecture, the first SLP model to translate from spoken language sentences to continuous 3D multi channel sign pose sequences in an end to end manner. Our transformer network architecture introduces a counter decoding that enables variable length continuous sequence generation by tracking the production progress over time and predicting the end of sequence. We present extensive data augmentation techniques to reduce prediction drift, alongside an adversarial training regime and a Mixture Density Network (MDN) formulation to produce realistic and expressive sign pose sequences. We propose a back translation evaluation mechanism for SLP, presenting benchmark quantitative results on the challenging PHOENIX14T dataset and setting baselines for future research. We further provide a user evaluation of our SLP model, to understand the Deaf reception of our sign pose productions.


Uma hist 'oria e o uso de espelhos no aprendizado das regras de sinais envolvendo n 'umeros negativos. The purpose of this paper (which, in many passages, I take the liberty of writing in the first person singular for bringing a personal experience) is to show how teachers of Physics and Mathematics in Basic Education can teach, through a simple and playful activity, the rules of signs that are related to basic arithmetic operations involving positive and negative numbers. How? By using a ruler, or any other object that can be interpreted as a number line, and a flat mirror. By the way, as the justification of why this method works is physical and mathematical, this paper provides a succinct review on the formation of images by flat and spherical mirrors since some teachers of Mathematics may (just as a possibility) not know how it happens. Lastly, given the interdisciplinary nature of this activity, some additional considerations are also presented regarding how these teachers can use it to instigate the students to observe how Physics and Mathematics, together, are part of everyday life for all of us.


Wavefronts, light rays and caustic associated with the refraction of a plane wave by a conospherical lens. The aim of the present work is to introduce a lens whose faces are a conical surface and a spherical surface. We illuminate this lens by a plane wavefront and its associated refracted wavefronts, light rays and caustic are computed. We find that the caustic has two branches. The first is constituted by two segments of a line, one part of this caustic is real and the other one virtual. The second branch of the caustic is a two dimensional surface with a singularity of the cusp ridge type. It is important to remark that the two branches of the caustic are disconnected. Because of this property we believe that using this optical element one could generate a scalar optical accelerating beam in the region where the caustic is a two dimensional surface of revolution, and at the same time a scalar optical beam with similar properties to the Bessel beam of zero order in the region were the real caustic is a segment of a line along the optical axis.


Forbidding Couples of Tournaments and the Erd " o s Hajnal Conjecture. A celebrated unresolved conjecture of Erd " o s and Hajnal states that for every undirected graph H there exists epsilon(H) 0 such that every undirected graph on n vertices that does not contain H as an induced subgraph contains a clique or a stable set of size at least n epsilon(H) . This conjecture has a directed equivalent version stating that for every tournament H there exists epsilon(H) 0 such that every H free n vertex tournament T contains a transitive subtournament of size at least n epsilon(H) . Recently the conjecture was proved for all six vertex tournaments, except K 6 . In this paper we construct two infinite families of tournaments for which the conjecture is still open for infinitely many tournaments in these two families the family of so called super nebulas and the family of so called super triangular galaxies. We prove that for every super nebula H 1 and every Delta galaxy H 2 there exist epsilon(H 1 ,H 2 ) such that every lbrace H 1 ,H 2 rbrace free tournament T contains a transitive subtournament of size at least mid T mid epsilon(H 1 ,H 2 ) . We also prove that for every central triangular galaxy H there exist epsilon(K 6 ,H) such that every lbrace K 6 ,H rbrace free tournament T contains a transitive subtournament of size at least mid T mid epsilon(K 6 ,H) . And we give an extension of our results.


ICDAR2019 Competition on Scanned Receipt OCR and Information Extraction. Scanned receipts OCR and key information extraction (SROIE) represent the processeses of recognizing text from scanned receipts and extracting key texts from them and save the extracted tests to structured documents. SROIE plays critical roles for many document analysis applications and holds great commercial potentials, but very little research works and advances have been published in this area. In recognition of the technical challenges, importance and huge commercial potentials of SROIE, we organized the ICDAR 2019 competition on SROIE. In this competition, we set up three tasks, namely, Scanned Receipt Text Localisation (Task 1), Scanned Receipt OCR (Task 2) and Key Information Extraction from Scanned Receipts (Task 3). A new dataset with 1000 whole scanned receipt images and annotations is created for the competition. In this report we will presents the motivation, competition datasets, task definition, evaluation protocol, submission statistics, performance of submitted methods and results analysis.


Modeling the charging process of a coil by an HTS dynamo type flux pump. The high T c superconducting (HTS) dynamo exploits the nonlinear resistivity of an HTS tape to generate a DC voltage when subjected to a varying magnetic field. This leads to the so called flux pumping phenomenon and enables the injection of DC current into a superconducting coil connected to the dynamo without current leads. In this work, the process of charging a coil by an HTS dynamo is examined in detail using two numerical models the Minimum Electromagnetic Entropy Production and the segregated textbf H formulation finite element model. The numerical results are compared with an analytical method for various airgaps and frequencies. Firstly, the I V curves of the modeled HTS dynamo are calculated to obtain the open circuit voltage, short circuit current and internal resistance. Afterward, the process of charging a coil by the dynamo including the charging current curve and its dynamic behavior are investigated. The results obtained by the two models show excellent quantitative and qualitative agreement with each other and with the analytical method. Although the general charging process of the coil can be obtained from the I V curve of the flux pump, the current ripples within a cycle of dynamo rotation, which can cause ripple AC loss in the HTS dynamo, can only be captured via the presented models.


Beyond Desktop Computation Challenges in Scaling a GPU Infrastructure. Enterprises and labs performing computationally expensive data science applications sooner or later face the problem of scale but unconnected infrastructure. For this up scaling process, an IT service provider can be hired or in house personnel can attempt to implement a software stack. The first option can be quite expensive if it is just about connecting several machines. For the latter option often experience is missing with the data science staff in order to navigate through the software jungle. In this technical report, we illustrate the decision process towards an on premises infrastructure, our implemented system architecture, and the transformation of the software stack towards a scaleable GPU cluster system.


The Bounded Isomorphism Conjecture for Spaces of Graphs with Large Girth. In this article we study a coarse version of the K theoretic Farrell Jones conjecture we call coarse or bounded isomorphism conjecture. With techniques that have already been used to prove the Farrell Jones conjecture for hyperbolic groups we are able to verify the bounded isomorphism conjecture for spaces of graphs with large girth and bounded geometry.


Multimodal Punctuation Prediction with Contextual Dropout. Automatic speech recognition (ASR) is widely used in consumer electronics. ASR greatly improves the utility and accessibility of technology, but usually the output is only word sequences without punctuation. This can result in ambiguity in inferring user intent. We first present a transformer based approach for punctuation prediction that achieves 8 improvement on the IWSLT 2012 TED Task, beating the previous state of the art 1 . We next describe our multimodal model that learns from both text and audio, which achieves 8 improvement over the text only algorithm on an internal dataset for which we have both the audio and transcriptions. Finally, we present an approach to learning a model using contextual dropout that allows us to handle variable amounts of future context at test time.


Symmetric bases for finite element exterior calculus spaces. In 2006, Arnold, Falk, and Winther developed finite element exterior calculus, using the language of differential forms to generalize the Lagrange, Raviart Thomas, Brezzi Douglas Marini, and N 'ed 'elec finite element spaces for simplicial triangulations. In a recent paper, Licht asks whether, on a single simplex, one can construct bases for these spaces that are invariant with respect to permuting the vertices of the simplex. For scalar fields, standard bases all have this symmetry property, but for vector fields, this question is more complicated such invariant bases may or may not exist, depending on the polynomial degree of the element. In dimensions two and three, Licht constructs such invariant bases for certain values of the polynomial degree r , and he conjectures that his list is complete, that is, that no such basis exists for other values of r . In this paper, we show that Licht's conjecture is true in dimension two. However, in dimension three, we show that Licht's ideas can be extended to give invariant bases for many more values of r we then show that this new larger list is complete. Along the way, we develop a more general framework for the geometric decomposition ideas of Arnold, Falk, and Winther.


Understanding the Impact of Data Distribution on Q learning with Function Approximation. In this work, we focus our attention on the study of the interplay between the data distribution and Q learning based algorithms with function approximation. We provide a theoretical and empirical analysis as to why different properties of the data distribution can contribute to regulating sources of algorithmic instability. First, we revisit theoretical bounds on the performance of approximate dynamic programming algorithms. Second, we provide a novel four state MDP that highlights the impact of the data distribution in the performance of a Q learning algorithm with function approximation, both in online and offline settings. Finally, we experimentally assess the impact of the data distribution properties in the performance of an offline deep Q network algorithm. Our results show that (i) the data distribution needs to possess certain properties in order to robustly learn in an offline setting, namely low distance to the distributions induced by optimal policies of the MDP and high coverage over the state action space and (ii) high entropy data distributions can contribute to mitigating sources of algorithmic instability.


Primitivity rank for random elements in free groups. For a free group F r of finite rank r ge 2 and a nontrivial element w in F r the emph primitivity rank pi(w) is the smallest rank of a subgroup H le F r such that w in H and that w is not primitive in H (if no such H exists, one puts pi(w) infty ). The set of all subgroups of F r of rank pi(w) containing w as a non primitive element is denoted Crit(w) . These notions were introduced by Puder in cite Pu14 . We prove that there exists an exponentially generic subset V subseteq F r such that for every w in V we have pi(w) r and Crit(w) F r .


Match Ignition Plugging PageRank into Transformer for Long form Text Matching. Neural text matching models have been widely used in community question answering, information retrieval, and dialogue. However, these models designed for short texts cannot well address the long form text matching problem, because there are many contexts in long form texts can not be directly aligned with each other, and it is difficult for existing models to capture the key matching signals from such noisy data. Besides, these models are computationally expensive for simply use all textual data indiscriminately. To tackle the effectiveness and efficiency problem, we propose a novel hierarchical noise filtering model, namely Match Ignition. The main idea is to plug the well known PageRank algorithm into the Transformer, to identify and filter both sentence and word level noisy information in the matching process. Noisy sentences are usually easy to detect because previous work has shown that their similarity can be explicitly evaluated by the word overlapping, so we directly use PageRank to filter such information based on a sentence similarity graph. Unlike sentences, words rely on their contexts to express concrete meanings, so we propose to jointly learn the filtering and matching process, to well capture the critical word level matching signals. Specifically, a word graph is first built based on the attention scores in each self attention block of Transformer, and key words are then selected by applying PageRank on this graph. In this way, noisy words will be filtered out layer by layer in the matching process. Experimental results show that Match Ignition outperforms both SOTA short text matching models and recent long form text matching models. We also conduct detailed analysis to show that Match Ignition efficiently captures important sentences and words, to facilitate the long form text matching process.


Turing approximations, toric isometric embeddings manifold convolutions. Convolutions are fundamental elements in deep learning architectures. Here, we present a theoretical framework for combining extrinsic and intrinsic approaches to manifold convolution through isometric embeddings into tori. In this way, we define a convolution operator for a manifold of arbitrary topology and dimension. We also explain geometric and topological conditions that make some local definitions of convolutions which rely on translating filters along geodesic paths on a manifold, computationally intractable. A result of Alan Turing from 1938 underscores the need for such a toric isometric embedding approach to achieve a global definition of convolution on computable, finite metric space approximations to a smooth manifold.


Experimental and theoretical approaches for determining the K shell fluorescence yield of carbon. The knowledge of atomic fundamental parameters, such as the fluorescence yields with low uncertainties, is of decisive importance in elemental quantification involving X ray fluorescence analysis techniques. However, especially for the low Z elements, the available literature data are either of poor quality, of unknown or very large uncertainty, or both. For this reason, the K shell fluorescence yield of carbon was determined in the PTB laboratory at the synchrotron radiation facility BESSY II. In addition, theoretical calculations of the same parameter were performed using the multiconfiguration Dirac Fock method, including relativistic and quantum electrodynamics (QED) corrections. Both values obtained in this work are compared to the corresponding available literature data.


From Solving a Problem Boldly to Cutting the Gordian Knot Idiomatic Text Generation. We study a new application for text generation idiomatic sentence generation which aims to transfer literal phrases in sentences into their idiomatic counterparts. Inspired by psycholinguistic theories of idiom use in one's native language, we propose a novel approach for this task, which retrieves the appropriate idiom for a given literal sentence, extracts the span of the sentence to be replaced by the idiom, and generates the idiomatic sentence by using a neural model to combine the retrieved idiom and the remainder of the sentence. Experiments on a novel dataset created for this task show that our model is able to effectively transfer literal sentences into idiomatic ones. Furthermore, automatic and human evaluations show that for this task, the proposed model outperforms a series of competitive baseline models for text generation.


Robot in a China Shop Using Reinforcement Learning for Location Specific Navigation Behaviour. Robots need to be able to work in multiple different environments. Even when performing similar tasks, different behaviour should be deployed to best fit the current environment. In this paper, We propose a new approach to navigation, where it is treated as a multi task learning problem. This enables the robot to learn to behave differently in visual navigation tasks for different environments while also learning shared expertise across environments. We evaluated our approach in both simulated environments as well as real world data. Our method allows our system to converge with a 26 reduction in training time, while also increasing accuracy.


Congested Crowd Instance Localization with Dilated Convolutional Swin Transformer. Crowd localization is a new computer vision task, evolved from crowd counting. Different from the latter, it provides more precise location information for each instance, not just counting numbers for the whole crowd scene, which brings greater challenges, especially in extremely congested crowd scenes. In this paper, we focus on how to achieve precise instance localization in high density crowd scenes, and to alleviate the problem that the feature extraction ability of the traditional model is reduced due to the target occlusion, the image blur, etc. To this end, we propose a Dilated Convolutional Swin Transformer (DCST) for congested crowd scenes. Specifically, a window based vision transformer is introduced into the crowd localization task, which effectively improves the capacity of representation learning. Then, the well designed dilated convolutional module is inserted into some different stages of the transformer to enhance the large range contextual information. Extensive experiments evidence the effectiveness of the proposed methods and achieve state of the art performance on five popular datasets. Especially, the proposed model achieves F1 measure of 77.5 and MAE of 84.2 in terms of localization and counting performance, respectively.


Non autonomous scalar linear dissipative and purely dissipative parabolic PDEs over a compact base flow. In this paper a family of non autonomous scalar parabolic PDEs over a general compact and connected flow is considered. The existence or not of a neighbourhood of zero where the problems are linear has an influence on the methods used and on the dynamics of the induced skew product semiflow. That is why two cases are distinguished linear dissipative and purely dissipative problems. In both cases, the structure of the global and pullback attractors is studied using principal spectral theory. Besides, in the purely dissipative setting, a simple condition is given, involving both the underlying linear dynamics and some properties of the nonlinear term, to determine the nontrivial sections of the attractor.


Binding Group of Oligonucleotides on TiO 2 Surfaces Phosphate Anions or Nucleobases?. Although the immobilization of oligonucleotides (nucleic acid) on mineral surfaces is at the basis of different biotechnological applications, an atomistic understanding of the interaction of the nucleic acid components with the titanium dioxide surfaces has not yet been achieved. Here, the adsorption of the phosphate anion, of the four DNA bases (adenine, guanine, thymine, and cytosine) and of some entire nucleotides and dinucleotides on the TiO 2 anatase (101) surface is studied through dispersion corrected hybrid density functional theory (DFT) calculations. Several adsorption configurations are identified for the separated entities (phosphate anion or base) and then considered when studying the adsorption of the entire nucleotides. The analysis shows that both the phosphate anion and each base may anchor the nucleotides to the surface in a collaborative and synergistic adsorption mode. The tendency is that the nucleotides containing the guanine base present the strongest adsorption while those made up with the thymine base have the lowest adsorption energies. Nucleotides based on adenine and cytosine have a similar intermediate behavior. Finally, we investigated the adsorption of competing water molecules to understand whether in the presence of the aqueous solvent, the nucleotides would remain bonded to the surface or desorb.


First and second order optimality conditions for second order cone and semidefinite programming under a constant rank condition. The well known constant rank constraint qualification Math. Program. Study 21 110 126, 1984 introduced by Janin for nonlinear programming has been recently extended to a conic context by exploiting the eigenvector structure of the problem. In this paper we propose a more general and geometric approach for defining a new extension of this condition to the conic context. The main advantage of our approach is that we are able to recast the strong second order properties of the constant rank condition in a conic context. In particular, we obtain a second order necessary optimality condition that is stronger than the classical one obtained under Robinson's constraint qualification, in the sense that it holds for every Lagrange multiplier, even though our condition is independent of Robinson's condition.


Polarization rotator Bragg grating assisted wavelength selective polarization alignment. A device performing both the polarization alignment and the wavelength selection is demonstrated by fabricated device. Waveguides incorporating Bragg gratings for polarization rotation and mode conversion having different widths are placed near to each other. For the polarization rotation, experimental results show that the field strength ratio in the two waveguides defines the diffraction coupling coefficient and excitation strength of unwanted modes. The excitation of unwanted mode is reduced, when a large radius short curved waveguide is used for input output waveguides as shown in the experiment. Polarization aligned wavelength peaks were observed at the backward drop port in the experiment.


Hecke symmetries an overview of Frobenius properties. This paper improves several previously known results. First, the results describing the R skewsymmetric algebra and the quadratic dual of the R symmetric algebra as Frobenius algebras are shown to be true with any restriction on the parameter q of the Hecke relation being removed. An even Hecke symmetry gives rise to a pair of graded Frobenius algebras. We describe interrelation between the Nakayama automorphisms of the two algebras. As an illustration of general technique we give full details of the verification that Artin Schelter regular algebras of global dimension 3 and elliptic type A are not associated with any quantum GL(3).


Induced Periosteum Mimicking Membrane with Cell Barrier and Multipotential Stromal Cell (MSC) Homing Functionalities. The current management of critical size bone defects (CSBDs) remains challenging and requires multiple surgeries. To reduce the number of surgeries, wrapping a biodegradable fibrous membrane around the defect to contain the graft and carry biological stimulants for repair is highly desirable. Poly(epsilon caprolactone) (PCL) can be utilised to realise nonwoven fibrous barrier like structures through free surface electrospinning (FSE). Human periosteum and induced membrane (IM) samples informed the development of an FSE membrane to support platelet lysate (PL) absorption, multipotential stromal cells (MSC) growth, and the prevention of cell migration. Although thinner than IM, periosteum presented a more mature vascular system with a significantly larger blood vessel diameter. The electrospun membrane (PCL3 E) exhibited randomly configured nanoscale fibres that were successfully customised to introduce pores of increased diameter, without compromising tensile properties. Additional to the PL absorption and release capabilities needed for MSC attraction and growth, PCL3 E also provided a favourable surface for the proliferation and alignment of periosteum and bone marrow derived MSCs, whilst possessing a barrier function to cell migration. These results demonstrate the development of a promising biodegradable barrier membrane enabling PL release and MSC colonisation, two key functionalities needed for the in situ formation of a transitional periosteum like structure, enabling movement towards single surgery CSBD reconstruction.


Finding popular branchings in vertex weighted digraphs. Popular matchings have been intensively studied recently as a relaxed concept of stable matchings. By applying the concept of popular matchings to branchings in directed graphs, Kavitha et al. (2020) introduced popular branchings. In a directed graph G (V G,E G) , each vertex has preferences over its incoming edges. For branchings B 1 and B 2 in G , a vertex v in V G prefers B 1 to B 2 if v prefers its incoming edge of B 1 to that of B 2 , where having an arbitrary incoming edge is preferred to having none, and B 1 is more popular than B 2 if the number of vertices that prefer B 1 is greater than the number of vertices that prefer B 2 . A branching B is called a popular branching if there is no branching more popular than B . Kavitha et al. (2020) proposed an algorithm for finding a popular branching when the preferences of each vertex are given by a strict partial order. The validity of this algorithm is proved by utilizing classical theorems on the duality of weighted arborescences. In this paper, we generalize popular branchings to weighted popular branchings in vertex weighted directed graphs in the same manner as weighted popular matchings by Mestre (2014). We give an algorithm for finding a weighted popular branching, which extends the algorithm of Kavitha et al., when the preferences of each vertex are given by a total preorder and the weights satisfy certain conditions. Our algorithm includes elaborated procedures resulting from the vertex weights, and its validity is proved by extending the argument of the duality of weighted arborescences.


Learning the exchange correlation functional from nature with fully differentiable density functional theory. Improving the predictive capability of molecular properties in ab initio simulations is essential for advanced material discovery. Despite recent progress making use of machine learning, utilizing deep neural networks to improve quantum chemistry modelling remains severely limited by the scarcity and heterogeneity of appropriate experimental data. Here we show how training a neural network to replace the exchange correlation functional within a fully differentiable three dimensional Kohn Sham density functional theory (DFT) framework can greatly improve simulation accuracy. Using only eight experimental data points on diatomic molecules, our trained exchange correlation networks enable improved prediction accuracy of atomization energies across a collection of 104 molecules containing new bonds and atoms that are not present in the training dataset.


Peterson Lam Shimozono's theorem is an affine analogue of quantum Chevalley formula. We give a new proof of an unpublished theorem of Peterson, proved previously by Lam Shimozono, which identifies explicitly the structure constants for the multiplications of Schubert classes in the T equivariant quantum cohomology QH T(G P) of any flag variety G P with the T equivariant Pontryagin homology H T(Gr G) of the affine Grassmannian Gr G , where G is any simple complex Lie group. Our approach is to construct an H T(pt) algebra homomorphism by Gromov Witten theory and show that it is equal to Peterson's map. More precisely, the map is defined via Savelyev's generalized Seidel representations which can be interpreted as certain Gromov Witten invariants with input H T(Gr G) otimes QH T(G P) . We determine these invariants completely, in a way similar to how Fulton Woodward did in their proof of quantum Chevalley formula.


Hyper optimization with Gaussian Process and Differential Evolution Algorithm. Optimization of problems with high computational power demands is a challenging task. A probabilistic approach to such optimization called Bayesian optimization lowers performance demands by solving mathematically simpler model of the problem. Selected approach, Gaussian Process, models problem using a mixture of Gaussian functions. This paper presents specific modifications of Gaussian Process optimization components from available scientific libraries. Presented modifications were submitted to BlackBox 2020 challenge, where it outperformed some conventionally available optimization libraries.


Polynomial Circuit Verification using BDDs. Verification is one of the central tasks during circuit design. While most of the approaches have exponential worst case behaviour, in the following techniques are discussed for proving polynomial circuit verification based on Binary Decision Diagrams (BDDs). It is shown that for circuits with specific structural properties, like e.g. tree like circuits, and circuits based on multiplexers derived from BDDs complete formal verification can be carried out in polynomial time and space.