Data Quality Toolkit Automatic assessment of data quality and remediation for machine learning datasets. The quality of training data has a huge impact on the efficiency, accuracy and complexity of machine learning tasks. Various tools and techniques are available that assess data quality with respect to general cleaning and profiling checks. However these techniques are not applicable to detect data issues in the context of machine learning tasks, like noisy labels, existence of overlapping classes etc. We attempt to re look at the data quality issues in the context of building a machine learning pipeline and build a tool that can detect, explain and remediate issues in the data, and systematically and automatically capture all the changes applied to the data. We introduce the Data Quality Toolkit for machine learning as a library of some key quality metrics and relevant remediation techniques to analyze and enhance the readiness of structured training datasets for machine learning projects. The toolkit can reduce the turn around times of data preparation pipelines and streamline the data quality assessment process. Our toolkit is publicly available via IBM API Hub 1 platform, any developer can assess the data quality using the IBM's Data Quality for AI apis 2 . Detailed tutorials are also available on IBM Learning Path 3 .


Position Paper Goals of the Luau Type System. Luau is the scripting language that powers user generated experiences on the Roblox platform. It is a statically typed language, based on the dynamically typed Lua language, with type inference. These types are used for providing editor assistance in Roblox Studio, the IDE for authoring Roblox experiences. Due to Roblox's uniquely heterogeneous developer community, Luau must operate in a somewhat different fashion than a traditional statically typed language. In this paper, we describe some of the goals of the Luau type system, focusing on where the goals differ from those of other type systems.


Transfer Learning Approaches for Knowledge Discovery in Grid based Geo Spatiotemporal Data. Extracting and meticulously analyzing geo spatiotemporal features is crucial to recognize intricate underlying causes of natural events, such as floods. Limited evidence about hidden factors leading to climate change makes it challenging to predict regional water discharge accurately. In addition, the explosive growth in complex geo spatiotemporal environment data that requires repeated learning by the state of the art neural networks for every new region emphasizes the need for new computationally efficient methods, advanced computational resources, and extensive training on a massive amount of available monitored data. We, therefore, propose HydroDeep, an effectively reusable pretrained model to address this problem of transferring knowledge from one region to another by effectively capturing their intrinsic geo spatiotemporal variance. Further, we present four transfer learning approaches on HydroDeep for spatiotemporal interpretability that improve Nash Sutcliffe efficiency by 9 to 108 in new regions with a 95 reduction in time.


Post Quantum VRF and its Applications in Future Proof Blockchain System. A verifiable random function (VRF in short) is a powerful pseudo random function that provides a non interactively public verifiable proof for the correctness of its output. Recently, VRFs have found essential applications in blockchain design, such as random beacons and proof of stake consensus protocols. To our knowledge, the first generation of blockchain systems used inherently inefficient proof of work consensuses, and the research community tried to achieve the same properties by proposing proof of stake schemes where resource intensive proof of work is emulated by cryptographic constructions. Unfortunately, those most discussed proof of stake consensuses (e.g., Algorand and Ouroborous family) are not future proof because the building blocks are secure only under the classical hard assumptions in particular, their designs ignore the advent of quantum computing and its implications. In this paper, we propose a generic compiler to obtain the post quantum VRF from the simple VRF solution using symmetric key primitives (e.g., non interactive zero knowledge system) with an intrinsic property of quantum secure. Our novel solution is realized via two efficient zero knowledge systems ZKBoo and ZKB , respectively, to validate the compiler correctness. Our proof of concept implementation indicates that even today, the overheads introduced by our solution are acceptable in real world deployments. We also demonstrate potential applications of a quantum secure VRF, such as quantum secure decentralized random beacon and lottery based proof of stake consensus blockchain protocol.


User perspectives on critical factors for collaborative playlists. Collaborative playlists (CP) enable listeners to curate music together, translating long standing social practices around music consumption into the age of streaming. Yet despite their role in connecting people through music, we lack an understanding of factors that are critical to CPs and their enjoyment. To understand what users consider important to CPs and their usage, we investigated aspects that are perceived to be most useful and lacking in today's CP implementations. We conducted a survey to collect open ended text responses from real world CP users. Using thematic analysis, we derived the Codebook of Critical CP Factors, which comprises eight aspects. We gained insights into which aspects are particularly useful, and which are absent and desired by current CP users. From these findings we propose design implications to inform further design of CP functionalities and platforms, and highlight potential benefits and challenges related to their adoption in current music services.


PAQ 65 Million Probably Asked Questions and What You Can Do With Them. Open domain Question Answering models which directly leverage question answer (QA) pairs, such as closed book QA (CBQA) models and QA pair retrievers, show promise in terms of speed and memory compared to conventional models which retrieve and read from text corpora. QA pair retrievers also offer interpretable answers, a high degree of control, and are trivial to update at test time with new knowledge. However, these models lack the accuracy of retrieve and read systems, as substantially less knowledge is covered by the available QA pairs relative to text corpora like Wikipedia. To facilitate improved QA pair models, we introduce Probably Asked Questions (PAQ), a very large resource of 65M automatically generated QA pairs. We introduce a new QA pair retriever, RePAQ, to complement PAQ. We find that PAQ preempts and caches test questions, enabling RePAQ to match the accuracy of recent retrieve and read models, whilst being significantly faster. Using PAQ, we train CBQA models which outperform comparable baselines by 5 , but trail RePAQ by over 15 , indicating the effectiveness of explicit retrieval. RePAQ can be configured for size (under 500MB) or speed (over 1K questions per second) whilst retaining high accuracy. Lastly, we demonstrate RePAQ's strength at selective QA, abstaining from answering when it is likely to be incorrect. This enables RePAQ to back off" to a more expensive state of the art model, leading to a combined system which is both more accurate and 2x faster than the state of the art model alone.


Pairwise intersecting convex sets and cylinders in R 3 . We prove that given a finite collection of cylinders in R 3 with the property that any two them intersect, then there is a line intersecting an alpha fraction of the cylinders where alpha frac 1 28 . This is a special case of an interesting conjecture.


LAI Estimation of Cucumber Crop Based on Improved Fully Convolutional Network. LAI (Leaf Area Index) is of great importance for crop yield estimation in agronomy. It is directly related to plant growth status, net assimilation rate, plant photosynthesis, and carbon dioxide in the environment. How to measure LAI accurately and efficiently is the key to the crop yield estimation problem. Manual measurement consumes a lot of human resources and material resources. Remote sensing technology is not suitable for near Earth LAI measurement. Besides, methods based on traditional digital image processing are greatly affected by environmental noise and image exposure. Nowadays, deep learning is widely used in many fields. The improved FCN (Fully Convolutional Network) is proposed in our study for LAI measure task. Eighty two cucumber images collected from our greenhouse are labeled to fine tuning the pre trained model. The result shows that the improved FCN model performs well on our dataset. Our method's mean IoU can reach 0.908, which is 11 better than conventional methods and 4.7 better than the basic FCN model.


The Heterogeneous Multiscale Method for dispersive Maxwell systems. In this work, we apply the finite element heterogeneous multiscale method to a class of dispersive first order time dependent Maxwell systems. For this purpose, we use an analytic homogenization result, which shows that the effective system contains additional dispersive effects. We provide a careful study of the (time dependent) micro problems, including mathrm H 2 and micro errors estimates. Eventually, we prove a semi discrete error estimate for the method.


A Survey on Rural Internet Connectivity in India. Rural connectivity is widely research topic for several years. In India, around 70 of the population have poor or no connectivity to access digital services. Different solutions are being tested and trialled around the world, especially in India. They key driving factor for reducing digital divide is exploring different solutions both technologically and economically to lower the cost for the network deployments and improving service adoption rate. In this survey, we aim to study the rural connectivity use cases, state of art projects and initiatives, challenges, and technologies to improve digital connectivity in rural parts of India. The strengths and weakness of different technologies which are being tested for rural connectivity is analyzed. We also explore the rural use case of 6G communication system which would be suitable for rural Indian scenario.


Slippery Sticky Transition of Interfacial Fluid Slip. The influence of temperature on interfacial fluid slip, as measured by molecular dynamics simulations of a Couette flow comprising a Lennard Jones fluid and rigid crystalline walls, is examined as a function of the fluid solid interaction strength. Two different types of thermal behavior are observed, namely, the slippery and sticky cases. The first is characterized by a steep and unlimited increase of the slip length at low temperatures, while the second presents a vanishing slip length in this regime. As the temperature increases in relation to a characteristic value, both cases converge to finite slip lengths. A recently proposed analytical model is found to well describe both thermal behaviors, also predicting the slippery sticky transition that occurs at a critical value of the fluid solid interaction parameter, for which, according to the model, fluid particles experience a smooth average energy landscape at the interface.


A Reassessment of the Quasi Simultaneous Arrival Effect in Secondary Ion Mass Spectrometry. Quasi simultaneous arrival (QSA) effects in secondary ion mass spectrometry can create mass indepedent inaccuracies in isotope measurements when using electron multiplier detectors (EMs). The simple Poisson statistical model of QSA does not explain most experimental data. We present pulse height distributions (PHDs) and time series measurements to better study QSA. Our data show that PHDs and the distribution of multiple arrivals on the EM are not consistent with the Poisson model. Multiple arrivals are over dispersed compared to Poisson and are closer to a negative binomial distribution. Through an emission transmission detection model we show that the QSA correction depends on the non Poisson emission of multiple secondary ions, the secondary ion energy distribution, and other factors, making an analytical correction impractical. A standards based correction for QSA is the best approach, and we show the proper way to calculate standards normalized delta values to minimize the effect of QSA.


SERC Syntactic and Semantic Sequence based Event Relation Classification. Temporal and causal relations play an important role in determining the dependencies between events. Classifying the temporal and causal relations between events has many applications, such as generating event timelines, event summarization, textual entailment and question answering. Temporal and causal relations are closely related and influence each other. So we propose a joint model that incorporates both temporal and causal features to perform causal relation classification. We use the syntactic structure of the text for identifying temporal and causal relations between two events from the text. We extract parts of speech tag sequence, dependency tag sequence and word sequence from the text. We propose an LSTM based model for temporal and causal relation classification that captures the interrelations between the three encoded features. Evaluation of our model on four popular datasets yields promising results for temporal and causal relation classification.


Secure Multi Party Computation based Privacy Preserving Data Analysis in Healthcare IoT Systems. Recently, many innovations have been experienced in healthcare by rapidly growing Internet of Things (IoT) technology that provides significant developments and facilities in the health sector and improves daily human life. The IoT bridges people, information technology and speed up shopping. For these reasons, IoT technology has started to be used on a large scale. Thanks to the use of IoT technology in health services, chronic disease monitoring, health monitoring, rapid intervention, early diagnosis and treatment, etc. facilitates the delivery of health services. However, the data transferred to the digital environment pose a threat of privacy leakage. Unauthorized persons have used them, and there have been malicious attacks on the health and privacy of individuals. In this study, it is aimed to propose a model to handle the privacy problems based on federated learning. Besides, we apply secure multi party computation. Our proposed model presents an extensive privacy and data analysis and achieve high performance.


Power Law Graph Transformer for Machine Translation and Representation Learning. We present the Power Law Graph Transformer, a transformer model with well defined deductive and inductive tasks for prediction and representation learning. The deductive task learns the dataset level (global) and instance level (local) graph structures in terms of learnable power law distribution parameters. The inductive task outputs the prediction probabilities using the deductive task output, similar to a transductive model. We trained our model with Turkish English and Portuguese English datasets from TED talk transcripts for machine translation and compared the model performance and characteristics to a transformer model with scaled dot product attention trained on the same experimental setup. We report BLEU scores of 17.79 and 28.33 on the Turkish English and Portuguese English translation tasks with our model, respectively. We also show how a duality between a quantization set and N dimensional manifold representation can be leveraged to transform between local and global deductive inductive outputs using successive application of linear and non linear transformations end to end.


A Subexponential View of Domains in Session Types. Linear logic (LL) has inspired the design of many computational systems, offering reasoning techniques built on top of its meta theory. Since its inception, several connections between concurrent systems and LL have emerged from different perspectives. In the last decade, the seminal work of Caires and Pfenning showed that formulas in LL can be interpreted as session types and processes in the pi calculus as proof terms. This leads to a Curry Howard interpretation where proof reductions in the cut elimination procedure correspond to process reductions interactions. The subexponentials in LL have also played an important role in concurrent systems since they can be interpreted in different ways, including timed, spatial and even epistemic modalities in distributed systems. In this paper we address the question What is the meaning of the subexponentials from the point of view of a session type interpretation? Our answer is a pi like process calculus where agents reside in locations sites and they make it explicit how the communication among the different sites should happen. The design of this language relies completely on the proof theory of the subexponentials in LL, thus extending the Caires Pfenning interpretation in an elegant way.


Examples of Multiparameter CCR flows with non trivial index. In this paper, we construct uncountably many examples of multiparameter CCR flows, which are not pullbacks of 1 parameter CCR flows, with index one. Moreover, the constructed CCR flows are type I in the sense that the associated product system is the smallest subsystem containing its units.


Matching Algorithms Fundamentals, Applications and Challenges. Matching plays a vital role in the rational allocation of resources in many areas, ranging from market operation to people's daily lives. In economics, the term matching theory is coined for pairing two agents in a specific market to reach a stable or optimal state. In computer science, all branches of matching problems have emerged, such as the question answer matching in information retrieval, user item matching in a recommender system, and entity relation matching in the knowledge graph. A preference list is the core element during a matching process, which can either be obtained directly from the agents or generated indirectly by prediction. Based on the preference list access, matching problems are divided into two categories, i.e., explicit matching and implicit matching. In this paper, we first introduce the matching theory's basic models and algorithms in explicit matching. The existing methods for coping with various matching problems in implicit matching are reviewed, such as retrieval matching, user item matching, entity relation matching, and image matching. Furthermore, we look into representative applications in these areas, including marriage and labor markets in explicit matching and several similarity based matching problems in implicit matching. Finally, this survey paper concludes with a discussion of open issues and promising future directions in the field of matching.


Complex symmetric Weighted Composition Differentiation Operators of order n on the Weighted Bergman Spaces. We study the complex symmetric structure of weighted composition differentiation operators of order n on the weighted Bergman spaces A alpha 2 with respect to some conjugations. Then we provide some examples of these operators.


Observation Error Covariance Specification in Dynamical Systems for Data assimilation using Recurrent Neural Networks. Data assimilation techniques are widely used to predict complex dynamical systems with uncertainties, based on time series observation data. Error covariance matrices modelling is an important element in data assimilation algorithms which can considerably impact the forecasting accuracy. The estimation of these covariances, which usually relies on empirical assumptions and physical constraints, is often imprecise and computationally expensive especially for systems of large dimension. In this work, we propose a data driven approach based on long short term memory (LSTM) recurrent neural networks (RNN) to improve both the accuracy and the efficiency of observation covariance specification in data assimilation for dynamical systems. Learning the covariance matrix from observed simulated time series data, the proposed approach does not require any knowledge or assumption about prior error distribution, unlike classical posterior tuning methods. We have compared the novel approach with two state of the art covariance tuning algorithms, namely DI01 and D05, first in a Lorenz dynamical system and then in a 2D shallow water twin experiments framework with different covariance parameterization using ensemble assimilation. This novel method shows significant advantages in observation covariance specification, assimilation accuracy and computational efficiency.


Pseudo involutions in the Riordan group. We consider pseudo involutions in the Riordan group where the generating function g for the first column of a Riordan array satisfies a palindromic or near palindromic functional equation. For those types of equations, we find, for very little work, the pseudo involutory companion of g and have a pseudo involution in a k Bell subgroup. There are only slight differences in the ordinary and exponential cases. In many cases, we also develop a general method for finding B functions of Riordan pseudo involutions in k Bell subgroups, and show that these B functions involve Chebyshev polynomials. We apply our method for many families of Riordan arrays, both new and already known. We also have some duality and reciprocity results. Since many of the examples we discuss have combinatorial significance, we conclude with a few remarks on the general framework for a combinatorial interpretation of some of the generating function results we obtain.


High performance and energy efficient inference for deep learning on ARM processors. We evolve PyDTNN, a framework for distributed parallel training of Deep Neural Networks (DNNs), into an efficient inference tool for convolutional neural networks. Our optimization process on multicore ARM processors involves several high level transformations of the original framework, such as the development and integration of Cython routines to exploit thread level parallelism the design and development of micro kernels for the matrix multiplication, vectorized with ARMs NEON intrinsics, that can accommodate layer fusion and the appropriate selection of several cache configuration parameters tailored to the memory hierarchy of the target ARM processors. Our experiments evaluate both inference throughput (measured in processed images s) and inference latency (i.e., time to response) as well as energy consumption per image when varying the level of thread parallelism and the processor power modes. The experiments with the new inference engine are reported for the ResNet50 v1.5 model on the ImageNet dataset from the MLPerf suite using the ARM v8.2 cores in the NVIDIA Jetson AGX Xavier board. These results show superior performance compared with the well spread TFLite from Google and slightly inferior results when compared with ArmNN, the native library from ARM for DNN inference.


Analysis and Optimisation of Bellman Residual Errors with Neural Function Approximation. Recent development of Deep Reinforcement Learning (DRL) has demonstrated superior performance of neural networks in solving challenging problems with large or even continuous state spaces. One specific approach is to deploy neural networks to approximate value functions by minimising the Mean Squared Bellman Error (MSBE) function. Despite great successes of DRL, development of reliable and efficient numerical algorithms to minimise the MSBE is still of great scientific interest and practical demand. Such a challenge is partially due to the underlying optimisation problem being highly non convex or using incomplete gradient information as done in Semi Gradient algorithms. In this work, we analyse the MSBE from a smooth optimisation perspective and develop an efficient Approximate Newton's algorithm. First, we conduct a critical point analysis of the error function and provide technical insights on optimisation and design choices for neural networks. When the existence of global minima is assumed and the objective fulfils certain conditions, suboptimal local minima can be avoided when using over parametrised neural networks. We construct a Gauss Newton Residual Gradient algorithm based on the analysis in two variations. The first variation applies to discrete state spaces and exact learning. We confirm theoretical properties of this algorithm such as being locally quadratically convergent to a global minimum numerically. The second employs sampling and can be used in the continuous setting. We demonstrate feasibility and generalisation capabilities of the proposed algorithm empirically using continuous control problems and provide a numerical verification of our critical point analysis. We outline the difficulties of combining Semi Gradient approaches with Hessian information. To benefit from second order information complete derivatives of the MSBE must be considered during training.


Extended double covers of non symmetric association schemes of class 2 . In this paper, we give a method to construct non symmetric association schemes of class 3 from non symmetric association schemes of class 2 . This construction is a non symmetric analogue of the construction of Taylor graphs as an antipodal double cover of a complete graph. We also mention how our construction interact with doubling introduced by Pasechnik.


Learning Anthropometry from Rendered Humans. Accurate estimation of anthropometric body measurements from RGB images has many potential applications in industrial design, online clothing, medical diagnosis and ergonomics. Research on this topic is limited by the fact that there exist only generated datasets which are based on fitting a 3D body mesh to 3D body scans in the commercial CAESAR dataset. For 2D only silhouettes are generated. To circumvent the data bottleneck, we introduce a new 3D scan dataset of 2,675 female and 1,474 male scans. We also introduce a small dataset of 200 RGB images and tape measured ground truth. With the help of the two new datasets we propose a part based shape model and a deep neural network for estimating anthropometric measurements from 2D images. All data will be made publicly available.


TrafPy Benchmarking Data Centre Network Systems. Benchmarking is commonly used in research fields such as computer architecture design and machine learning as a powerful paradigm for rigorously assessing, comparing, and developing novel technologies. However, the data centre networking community lacks a standard open access benchmark. This is curtailing the community's understanding of existing systems and hindering the ability with which novel technologies can be developed, compared, and tested. We present TrafPy an open access framework for generating both realistic and custom data centre network traffic traces. TrafPy is compatible with any simulation, emulation, or experimentation environment, and can be used for standardised benchmarking and for investigating the properties and limitations of network systems such as schedulers, switches, routers, and resource managers. To demonstrate the efficacy of TrafPy, we use it to conduct a thorough investigation into the sensitivity of 4 canonical scheduling algorithms (shortest remaining processing time, fair share, first fit, and random) to varying traffic trace characteristics. We show how the fundamental scheduler performance insights revealed by these tests translate to 4 realistic data centre network types University, Private Enterprise, Commercial Cloud, and Social Media Cloud. We then draw conclusions as to which types of scheduling policies are most suited to which types of network load conditions and traffic characteristics, leading to the possibility of application informed decision making at the design stage and new dynamically adaptable scheduling policies. TrafPy is open sourced via GitHub and all data associated with this manuscript via RDR.


Aspect driven User Preference and News Representation Learning for News Recommendation. News recommender systems are essential for helping users to efficiently and effectively find out those interesting news from a large amount of news. Most of existing news recommender systems usually learn topic level representations of users and news for recommendation, and neglect to learn more informative aspect level features of users and news for more accurate recommendation. As a result, they achieve limited recommendation performance. Aiming at addressing this deficiency, we propose a novel Aspect driven News Recommender System (ANRS) built on aspect level user preference and news representation learning. Here, news aspect is fine grained semantic information expressed by a set of related words, which indicates specific aspects described by the news. In ANRS, news aspect level encoder and user aspect level encoder are devised to learn the fine grained aspect level representations of user's preferences and news characteristics respectively, which are fed into click predictor to judge the probability of the user clicking the candidate news. Extensive experiments are done on the commonly used real world dataset MIND, which demonstrate the superiority of our method compared with representative and state of the art methods.


Online Domination The Value of Getting to Know All your Neighbors. We study the dominating set problem in an online setting. An algorithm is required to guarantee competitiveness against an adversary that reveals the input graph one node at a time. When a node is revealed, the algorithm learns about the entire neighborhood of the node (including those nodes that have not yet been revealed). Furthermore, the adversary is required to keep the revealed portion of the graph connected at all times. We present an algorithm that achieves 2 competitiveness on trees and prove that this competitive ratio cannot be improved by any other algorithm. We also present algorithms that achieve 2.5 competitiveness on cactus graphs, (t 1) competitiveness on K 1,t free graphs, and Theta( sqrt Delta ) for maximum degree Delta graphs. We show that all of those competitive ratios are tight. Then, we study several more general classes of graphs, such as threshold, bipartite planar, and series parallel graphs, and show that they do not admit competitive algorithms (that is, when competitive ratio is independent of the input size). Previously, the dominating set problem was considered in a slightly different input model, where a vertex is revealed alongside its restricted neighborhood those neighbors that are among already revealed vertices. Thus, conceptually, our results quantify the value of knowing the entire neighborhood at the time a vertex is revealed as compared to the restricted neighborhood. For instance, it was known in the restricted neighborhood model that 3 competitiveness is optimal for trees, whereas knowing the neighbors allows us to improve it to 2 competitiveness.


The Moral Foundations of Left Wing Authoritarianism On the Character, Cohesion, and Clout of Tribal Equalitarian Discourse. Left wing authoritarianism remains far less understood than right wing authoritarianism. We contribute to the literature on the former, which typically relies on surveys, using a new social media analytics approach. We use a list of 60 terms to provide an exploratory sketch of the outlines of a political ideology (tribal equalitarianism) with origins in 19th and 20th century social philosophy. We then use analyses of the English Corpus of Google Books (over 8 million books) and scraped unique tweets from Twitter (n 202,852) to conduct a series of investigations to discern the extent to which this ideology is cohesive amongst the public, reveals signatures of authoritarianism and has been growing in popularity. Though exploratory, our results provide some evidence of left wing authoritarianism in two forms (1) a uniquely conservative moral signature amongst ostensible liberals using measures from Moral Foundations Theory and (2) a substantial prevalence of anger, relative to anxiety or sadness. In general, results indicate that this worldview is growing in popularity, is increasingly cohesive, and shows signatures of authoritarianism.


Extended level set method a multiphase representation with perfect symmetric property, and its application to multi material topology optimization. This paper provides an extended level set (X LS) based topology optimiza tion method for multi material design. In the proposed method, each zero level set of a level set function phi ij represents the boundary between materials i and j. Each increase or decrease of phi ij corresponds to a material change between the two materials. This approach reduces the dependence of the initial configuration in the optimization calculation and simplifies the sensitivity analysis. First, the topology optimization problem is formulated in the X LS representation. Next, the reaction diffusion equation that updates the level set function is introduced, and an optimization algorithm that solves the equilibrium equations and the reaction diffusion equation using the fi nite element method is constructed. Finally, the validity and utility of the proposed topology optimization method are confirmed using two and three dimensional numerical examples.


Towards a General Purpose Dynamic Information Flow Policy. Noninterference offers a rigorous end to end guarantee for secure propagation of information. However, real world systems almost always involve security requirements that change during program execution, making noninterference inapplicable. Prior works alleviate the limitation to some extent, but even for a veteran in information flow security, understanding the subtleties in the syntax and semantics of each policy is challenging, largely due to very different policy specification languages, and more fundamentally, semantic requirements of each policy. We take a top down approach and present a novel information flow policy, called Dynamic Release, which allows information flow restrictions to downgrade and upgrade in arbitrary ways. Dynamic Release is formalized on a novel framework that, for the first time, allows us to compare and contrast various dynamic policies in the literature. We show that Dynamic Release generalizes declassification, erasure, delegation and revocation. Moreover, it is the only dynamic policy that is both applicable and correct on a benchmark of tests with dynamic policy.


Playing with words Do people exploit loaded language to affect others' decisions for their own benefit?. We report on three pre registered studies testing whether people in the position of describing a decision problem to decision makers exploit this opportunity for their benefit, by choosing descriptions that may be potentially beneficial for themselves. In Study 1, recipients of an extreme dictator game (where dictators can either take the whole pie for themselves or give it entirely to the receiver) are asked to choose the instructions used to introduce the game to dictators, among six different instructions that are known from previous research to affect dictators' decisions. The results demonstrate that some dictator game recipients tend to choose instructions that make them more likely to receive a higher payoff. Study 2 shows that people who choose descriptions that make them more likely to receive a higher payoff indeed believe that they will receive a higher payoff. Study 3 shows that receivers are more likely than dictators to choose these descriptions. In sum, our work suggests that some people choose descriptions that are beneficial to themselves we also found some evidence that deliberative thinking and young age are associated with this tendency.


A symbolic information approach to characterize response related differences in cortical activity during a Go No Go task. How the brain processes information from external stimuli in order to perceive the world and act on it is one of the greatest questions in neuroscience. To address this question different time series analyzes techniques have been employed to characterize the statistical properties of brain signals during cognitive tasks. Typically response specific processes are addressed by comparing the time course of average event related potentials in different trials type. Here we analyze monkey Local Field Potentials data during visual pattern discrimination called Go No Go task in the light of information theory quantifiers. We show that the Bandt Pompe symbolization methodology to calculate entropy and complexity of data is a useful tool to distinguish response related differences between Go and No Go trials. We propose to use an asymmetry index to statistically validate trial type differences. Moreover, by using the multi scale approach and embedding time delays to downsample the data we can estimate the important time scales in which the relevant information is been processed.


Free Energy Principle for State and Input Estimation of a Quadcopter Flying in Wind. The free energy principle from neuroscience provides a brain inspired perception scheme through a data driven model learning algorithm called Dynamic Expectation Maximization (DEM). This paper aims at introducing an experimental design to provide the first experimental confirmation of the usefulness of DEM as a state and input estimator for real robots. Through a series of quadcopter flight experiments under unmodelled wind dynamics, we prove that DEM can leverage the information from colored noise for accurate state and input estimation through the use of generalized coordinates. We demonstrate the superior performance of DEM for state estimation under colored noise with respect to other benchmarks like State Augmentation, SMIKF and Kalman Filtering through its minimal estimation error. We demonstrate the similarities in the performance of DEM and Unknown Input Observer (UIO) for input estimation. The paper concludes by showing the influence of prior beliefs in shaping the accuracy complexity trade off during DEM's estimation.


Spinning rigid bodies driven by orbital forcing The role of dry friction. A "circular orbital forcing" makes a chosen point on a rigid body follow a circular motion while the body spins freely around that point. We investigate this problem for the planar motion of a body subject to dry friction. We focus on the effect called reverse rotation (RR), where spinning and orbital rotations are antiparallel. Similar reverse dynamics include the rotations of Venus and Uranus, journal machinery bearings, tissue production reactors, and chiral active particles. Due to dissipation, RRs are possible only as a transient. Here the transient or flip time t textrm f depends on the circular driving frequency omega , unlike the viscous case previously studied. We find t textrm f sim omega gamma 1 mu gamma 2 , where mu is the friction coefficient and gamma 0 ( gamma 2 ) for low (high) omega . Whether RRs really occur depends on the initial conditions as well as on mu and H , a geometrical parameter. The critical H textrm c ( mu) where RRs become possible follows a q exponential with q simeq1.9 , a more restrictive RR scenario than in the wet case. We use animations to visualize the different dynamical regimes that emerge from the highly nonlinear dissipation mechanism of dry friction. Our results are valid across multiple investigated rigid body shapes.


Approximate Graph Propagation. Efficient computation of node proximity queries such as transition probabilities, Personalized PageRank, and Katz are of fundamental importance in various graph mining and learning tasks. In particular, several recent works leverage fast node proximity computation to improve the scalability of Graph Neural Networks (GNN). However, prior studies on proximity computation and GNN feature propagation are on a case by case basis, with each paper focusing on a particular proximity measure. In this paper, we propose Approximate Graph Propagation (AGP), a unified randomized algorithm that computes various proximity queries and GNN feature propagation, including transition probabilities, Personalized PageRank, heat kernel PageRank, Katz, SGC, GDC, and APPNP. Our algorithm provides a theoretical bounded error guarantee and runs in almost optimal time complexity. We conduct an extensive experimental study to demonstrate AGP's effectiveness in two concrete applications local clustering with heat kernel PageRank and node classification with GNNs. Most notably, we present an empirical study on a billion edge graph Papers100M, the largest publicly available GNN dataset so far. The results show that AGP can significantly improve various existing GNN models' scalability without sacrificing prediction accuracy.


Cyclic Orbit Flag Codes. In network coding, a flag code is a set of sequences of nested subspaces of mathbb F q n , being mathbb F q the finite field with q elements. Flag codes defined as orbits of a cyclic subgroup of the general linear group acting on flags of mathbb F q n are called cyclic orbit flag codes. Inspired by the ideas in arXiv 1403.1218, we determine the cardinality of a cyclic orbit flag code and provide bounds for its distance with the help of the largest subfield over which all the subspaces of a flag are vector spaces (the best friend of the flag). Special attention is paid to two specific families of cyclic orbit flag codes attaining the extreme possible values of the distance Galois cyclic orbit flag codes and optimum distance cyclic orbit flag codes. We study in detail both classes of codes and analyze the parameters of the respective subcodes that still have a cyclic orbital structure.


SyncUp Vision based Practice Support for Synchronized Dancing. The beauty of synchronized dancing lies in the synchronization of body movements among multiple dancers. While dancers utilize camera recordings for their practice, standard video interfaces do not efficiently support their activities of identifying segments where they are not well synchronized. This thus fails to close a tight loop of an iterative practice process (i.e., capturing a practice, reviewing the video, and practicing again). We present SyncUp, a system that provides multiple interactive visualizations to support the practice of synchronized dancing and liberate users from manual inspection of recorded practice videos. By analyzing videos uploaded by users, SyncUp quantifies two aspects of synchronization in dancing pose similarity among multiple dancers and temporal alignment of their movements. The system then highlights which body parts and which portions of the dance routine require further practice to achieve better synchronization. The results of our system evaluations show that our pose similarity estimation and temporal alignment predictions were correlated well with human ratings. Participants in our qualitative user evaluation expressed the benefits and its potential use of SyncUp, confirming that it would enable quick iterative practice.


Deterministic Iteratively Built KD Tree with KNN Search for Exact Applications. K Nearest Neighbors (KNN) search is a fundamental algorithm in artificial intelligence software with applications in robotics, and autonomous vehicles. These wide ranging applications utilize KNN either directly for simple classification or combine KNN results as input to other algorithms such as Locally Weighted Learning (LWL). Similar to binary trees, kd trees become unbalanced as new data is added in online applications which can lead to rapid degradation in search performance unless the tree is rebuilt. Although approximate methods are suitable for graphics applications, which prioritize query speed over query accuracy, they are unsuitable for certain applications in autonomous systems, aeronautics, and robotic manipulation where exact solutions are desired. In this paper, we will attempt to assess the performance of non recursive deterministic kd tree functions and KNN functions. We will also present a "forest of interval kd trees" which reduces the number of tree rebuilds, without compromising the exactness of query results.


Homogenization Theory of Ion Transportation in Multicellular Tissue. Ion transport in biological tissues is crucial in the study of many biological and pathological problems. Some multi cellular structures, like smooth muscles on the vessel walls, could be treated as periodic bi domain structures, which consist of intracellular space and extracellular space with semipermeable membranes in between. With the aid of two scale homogenization theory, macro scale models are proposed based on an electro neutral (EN) microscale model with nonlinear interface conditions, where membranes are treated as combinations of capacitors and resistors. The connectivity of intracellular space is also taken into consideration. If the intracellular space is fully connected and forms a syncytium, then the macroscale model is a bidomain nonlinear coupled partial differential equations system. Otherwise, when the intracellular cells are not connected, the macroscale model for intracellular space is an ordinary differential system with source sink terms from the connected extracellular space.


On perturbations of woven pairs of frames. In this note, we prove some results related to small perturbations of a frame for a Hilbert space mathcal H in order to have a woven pair for mathcal H . Our results complete those known in the literature. In addition we study a necessary condition for a woven pair, that resembles a characterization for Riesz frames.


On Device Document Classification using multimodal features. From small screenshots to large videos, documents take up a bulk of space in a modern smartphone. Documents in a phone can accumulate from various sources, and with the high storage capacity of mobiles, hundreds of documents are accumulated in a short period. However, searching or managing documents remains an onerous task, since most search methods depend on meta information or only text in a document. In this paper, we showcase that a single modality is insufficient for classification and present a novel pipeline to classify documents on device, thus preventing any private user data transfer to server. For this task, we integrate an open source library for Optical Character Recognition (OCR) and our novel model architecture in the pipeline. We optimise the model for size, a necessary metric for on device inference. We benchmark our classification model with a standard multimodal dataset FOOD 101 and showcase competitive results with the previous State of the Art with 30 model compression.


Parser Free Virtual Try on via Distilling Appearance Flows. Image virtual try on aims to fit a garment image (target clothes) to a person image. Prior methods are heavily based on human parsing. However, slightly wrong segmentation results would lead to unrealistic try on images with large artifacts. Inaccurate parsing misleads parser based methods to produce visually unrealistic results where artifacts usually occur. A recent pioneering work employed knowledge distillation to reduce the dependency of human parsing, where the try on images produced by a parser based method are used as supervisions to train a "student" network without relying on segmentation, making the student mimic the try on ability of the parser based model. However, the image quality of the student is bounded by the parser based model. To address this problem, we propose a novel approach, "teacher tutor student" knowledge distillation, which is able to produce highly photo realistic images without human parsing, possessing several appealing advantages compared to prior arts. (1) Unlike existing work, our approach treats the fake images produced by the parser based method as "tutor knowledge", where the artifacts can be corrected by real "teacher knowledge", which is extracted from the real person images in a self supervised way. (2) Other than using real images as supervisions, we formulate knowledge distillation in the try on problem as distilling the appearance flows between the person image and the garment image, enabling us to find accurate dense correspondences between them to produce high quality results. (3) Extensive evaluations show large superiority of our method (see Fig. 1).


Analysis of the second wave of COVID 19 in India based on SEIR model. India was under a grave threat from the second wave of the COVID 19 pandemic particularly in the beginning of May 2021. The situation appeared rather gloomy as the number of infected individuals active cases had increased alarmingly during the months of May and June 2021 compared to the first wave peak. Indian government state governments have been implementing various control measures such as lock downs, setting up new hospitals, and putting travel restrictions at various stages to lighten the virus spread from the initial outbreak of the pandemic. Recently, we have studied the susceptible exposed infectious removed(SEIR) dynamic modelling of the epidemic evolution of COVID 19 in India with the help of appropriate parameters quantifying the various governmental actions and the intensity of individual reactions. Our analysis had predicted the scenario of the first wave quite well. In this present article, we extend our analysis to estimate and analyze the number of infected individuals during the second wave of COVID 19 in India with the help of the above SEIR model. Our findings show that the people's individual effort along with governmental actions such as implementations of curfews, accelerated vaccine strategy are the most important factors to control the pandemic in the present situation and in the future.


Deep Reinforced Attention Regression for Partial Sketch Based Image Retrieval. Fine Grained Sketch Based Image Retrieval (FG SBIR) aims at finding a specific image from a large gallery given a query sketch. Despite the widespread applicability of FG SBIR in many critical domains (e.g., crime activity tracking), existing approaches still suffer from a low accuracy while being sensitive to external noises such as unnecessary strokes in the sketch. The retrieval performance will further deteriorate under a more practical on the fly setting, where only a partially complete sketch with only a few (noisy) strokes are available to retrieve corresponding images. We propose a novel framework that leverages a uniquely designed deep reinforcement learning model that performs a dual level exploration to deal with partial sketch training and attention region selection. By enforcing the model's attention on the important regions of the original sketches, it remains robust to unnecessary stroke noises and improve the retrieval accuracy by a large margin. To sufficiently explore partial sketches and locate the important regions to attend, the model performs bootstrapped policy gradient for global exploration while adjusting a standard deviation term that governs a locator network for local exploration. The training process is guided by a hybrid loss that integrates a reinforcement loss and a supervised loss. A dynamic ranking reward is developed to fit the on the fly image retrieval process using partial sketches. The extensive experimentation performed on three public datasets shows that our proposed approach achieves the state of the art performance on partial sketch based image retrieval.


VAD360 Viewport Aware Dynamic 360 Degree Video Frame Tiling. 360 deg videos a.k.a. spherical videos are getting popular among users nevertheless, omnidirectional view of these videos demands high bandwidth and processing power at the end devices. Recently proposed viewport aware streaming mechanisms can reduce the amount of data transmitted by streaming a limited portion of the frame covering the current user viewport (VP). However, they still suffer from sending a high amount of redundant data, as the fixed tile mechanisms can not provide finer granularity to the user VP. Though making the tiles smaller can provide a finer granularity for user viewport, high encoding overhead incurred. To overcome this trade off, in this paper, we present a computational geometric approach based adaptive tiling mechanism named VAD360, which takes visual attention information on the 360 deg video frame as the input and provide a suitable non overlapping variable size tile cover on the frame. Experimental results shows that VAD360 can save up to 31.1 of pixel redundancy before compression and 35.4 of bandwidth saving compared to recently proposed fixed tile configurations, providing tile schemes within 0.98( pm 0.11)s time frame.


Knots in homology lens spaces determined by their complements. In this paper, we consider the knot complement problem for not null homologous knots in homology lens spaces. Let M be a homology lens space with H 1(M mathbb Z ) cong mathbb Z p and K a not null homologous knot in M . We show that K is determined by its complement if M is non hyperbolic, K is hyperbolic, and p is a prime more than 7, or, if M is actually a lens space L(p,q) and K represents a generator of H 1(L(p,q)) .


Making Responsible AI the Norm rather than the Exception. This report prepared by the Montreal AI Ethics Institute provides recommendations in response to the National Security Commission on Artificial Intelligence (NSCAI) Key Considerations for Responsible Development and Fielding of Artificial Intelligence document. The report centres on the idea that Responsible AI should be made the Norm rather than an Exception. It does so by utilizing the guiding principles of (1) alleviating friction in existing workflows, (2) empowering stakeholders to get buy in, and (3) conducting an effective translation of abstract standards into actionable engineering practices. After providing some overarching comments on the document from the NSCAI, the report dives into the primary contribution of an actionable framework to help operationalize the ideas presented in the document from the NSCAI. The framework consists of (1) a learning, knowledge, and information exchange (LKIE), (2) the Three Ways of Responsible AI, (3) an empirically driven risk prioritization matrix, and (4) achieving the right level of complexity. All components reinforce each other to move from principles to practice in service of making Responsible AI the norm rather than the exception.


Truth tracking via Approval Voting Size Matters. Epistemic social choice aims at unveiling a hidden ground truth given votes, which are interpreted as noisy signals about it. We consider here a simple setting where votes consist of approval ballots each voter approves a set of alternatives which they believe can possibly be the ground truth. Based on the intuitive idea that more reliable votes contain fewer alternatives, we define several noise models that are approval voting variants of the Mallows model. The likelihood maximizing alternative is then characterized as the winner of a weighted approval rule, where the weight of a ballot decreases with its cardinality. We have conducted an experiment on three image annotation datasets they conclude that rules based on our noise model outperform standard approval voting the best performance is obtained by a variant of the Condorcet noise model.


Isometric extensions of Anosov flows via microlocal analysis. The aim of this note is to revisit the classical framework developed by Brin, Pesin and others to study ergodicity and mixing properties of isometric extensions of volume preserving Anosov flows, using the microlocal framework developed in the theory of Pollicott Ruelle resonances. The approach developed in the present note is reinvested in the companion paper arXiv 2111.14811 in order to show ergodicity of the frame flow on negatively curved Riemannian manifolds under nearly 1 4 pinched curvature assumption (resp. nearly 1 2 pinched) in dimension 4 and 4 ell 2, ell 0 (resp. dimension 4 ell, ell 0 ).


Experimental study of charging of dust grains in presence of energetic electrons. The role of hot electrons in charging of dust grains is investigated in a two temperature hydrogen plasma. A variety of dust particles are introduced into the system and secondary electron emission (SEE) from each of the dust grains has been reported. A cylindrical Langmuir probe is used for determining the plasma parameters and a Faraday cup is connected to an electrometer in order to measure the dust current. The electrometer readings confirm the electron emission from the dust and SEE is observed from the tungsten dust in a low pressure experimental plasma device for the first time.


Experience Based Heuristic Search Robust Motion Planning with Deep Q Learning. Interaction aware planning for autonomous driving requires an exploration of a combinatorial solution space when using conventional search or optimization based motion planners. With Deep Reinforcement Learning, optimal driving strategies for such problems can be derived also for higher dimensional problems. However, these methods guarantee optimality of the resulting policy only in a statistical sense, which impedes their usage in safety critical systems, such as autonomous vehicles. Thus, we propose the Experience Based Heuristic Search algorithm, which overcomes the statistical failure rate of a Deep reinforcement learning based planner and still benefits computationally from the pre learned optimal policy. Specifically, we show how experiences in the form of a Deep Q Network can be integrated as heuristic into a heuristic search algorithm. We benchmark our algorithm in the field of path planning in semi structured valet parking scenarios. There, we analyze the accuracy of such estimates and demonstrate the computational advantages and robustness of our method. Our method may encourage further investigation of the applicability of reinforcement learning based planning in the field of self driving vehicles.


On unimodular tournaments. A tournament is unimodular if the determinant of its skew adjacency matrix is 1 . In this paper, we give some properties and constructions of unimodular tournaments. A unimodular tournament T with skew adjacency matrix S is invertible if S 1 is the skew adjacency matrix of a tournament. A spectral characterization of invertible tournaments is given. Lastly, we show that every n tournament can be embedded in a unimodular tournament by adding at most n lfloor log 2(n) rfloor vertices.


Metasurface Based Time Reversal Focusing for Brain Tumor Microwave Hyperthermia. We introduce a metasurface based system for the microwave hyperthermia treatment of brain tumors, where the metasurface is designed by the time reversal technique for optimal focusing at the location of the tumor. Compared to previous time reversal microwave hyperthermia systems, which are based on antenna arrays, the proposed system offers two advantages 1) it provides superior focal resolution, due to the finer sampling capability of its deeply subwavelength metasurface particles compared to that of typical array antenna elements, 2) it features much lower complexity and cost, due to its direct illumination principle compared to the heavy feeding network of the array system. The system leverages reflecting metallic walls and a rich scattering structure in combination with the metasurface to achieve high hyperthermia performance with maximal simplicity. The metasurface system is demonstrated by full wave simulation results, which show that it represents a viable novel noninvasive hyperthermia technology.


Hybrid Memoised Wake Sleep Approximate Inference at the Discrete Continuous Interface. Modeling complex phenomena typically involves the use of both discrete and continuous variables. Such a setting applies across a wide range of problems, from identifying trends in time series data to performing effective compositional scene understanding in images. Here, we propose Hybrid Memoised Wake Sleep (HMWS), an algorithm for effective inference in such hybrid discrete continuous models. Prior approaches to learning suffer as they need to perform repeated expensive inner loop discrete inference. We build on a recent approach, Memoised Wake Sleep (MWS), which alleviates part of the problem by memoising discrete variables, and extend it to allow for a principled and effective way to handle continuous variables by learning a separate recognition model used for importance sampling based approximate inference and marginalization. We evaluate HMWS in the GP kernel learning and 3D scene understanding domains, and show that it outperforms current state of the art inference methods.


Beyond the Spectrum Detecting Deepfakes via Re Synthesis. The rapid advances in deep generative models over the past years have led to highly realistic media, known as deepfakes, that are commonly indistinguishable from real to human eyes. These advances make assessing the authenticity of visual data increasingly difficult and pose a misinformation threat to the trustworthiness of visual content in general. Although recent work has shown strong detection accuracy of such deepfakes, the success largely relies on identifying frequency artifacts in the generated images, which will not yield a sustainable detection approach as generative models continue evolving and closing the gap to real images. In order to overcome this issue, we propose a novel fake detection that is designed to re synthesize testing images and extract visual cues for detection. The re synthesis procedure is flexible, allowing us to incorporate a series of visual tasks we adopt super resolution, denoising and colorization as the re synthesis. We demonstrate the improved effectiveness, cross GAN generalization, and robustness against perturbations of our approach in a variety of detection scenarios involving multiple generators over CelebA HQ, FFHQ, and LSUN datasets. Source code is available at https github.com SSAW14 BeyondtheSpectrum.


The Ring of Polyfunctions over mathbb Z n mathbb Z . We study the ring of polyfunctions over a commutative ring R with unit element, i.e., the ring of functions f R to R which admit a polynomial representative p in R x in the sense that f(x) p(x) for all x in R . This allows to define a ring invariant s which associates to a commutative ring R with unit element a value in mathbb N cup infty . The function s generalizes the number theoretic Smarandache function. For the ring R mathbb Z n mathbb Z we provide a unique representation of polynomials which vanish as a function. This yields a new formula for the number Psi(n) of polyfunctions over mathbb Z n mathbb Z . We also investigate algebraic properties of the ring of polyfunctions over mathbb Z n mathbb Z . In particular, we identify the additive subgroup of the ring and the ring structure itself. Moreover we derive a new formula for the size of the ring of polyfunctions in several variables over mathbb Z n mathbb Z .


InfoColorizer Interactive Recommendation of Color Palettes for Infographics. When designing infographics, general users usually struggle with getting desired color palettes using existing infographic authoring tools, which sometimes sacrifice customizability, require design expertise, or neglect the influence of elements' spatial arrangement. We propose a data driven method that provides flexibility by considering users' preferences, lowers the expertise barrier via automation, and tailors suggested palettes to the spatial layout of elements. We build a recommendation engine by utilizing deep learning techniques to characterize good color design practices from data, and further develop InfoColorizer, a tool that allows users to obtain color palettes for their infographics in an interactive and dynamic manner. To validate our method, we conducted a comprehensive four part evaluation, including case studies, a controlled user study, a survey study, and an interview study. The results indicate that InfoColorizer can provide compelling palette recommendations with adequate flexibility, allowing users to effectively obtain high quality color design for input infographics with low effort.


Three dimensional Kinematic Metamaterial with tuneable directional permeability. Reconfigurable metamaterials are constructed from tessellation of deformable modules that give rise to a set of tuneable properties. To date, most research focuses on metamaterials that morph between final configurations along a single deformation path. Multi pathway metamaterials that can transform into several different shapes according to various external stimuli are rare. Here we propose a kinematic based metamaterial with multiple predefined deformation paths. The inherent kinematic bifurcations of the deformable unit cells enable the metamaterial to switch among different paths under simple stimuli at one particular configuration, resulting in the enhancement of reconfigurability. The metamaterials demonstrated in this paper can provide multiple open channels in different orthogonal directions, making them suitable for multifunctional applications such as tuneable filters and reconfigurable wave guiding materials.


A branch statistic for trees Interpreting coefficients of the characteristic polynomial of braid deformations. A hyperplane arrangement in mathbb R n is a finite collection of affine hyperplanes. The regions are the connected components of the complement of these hyperplanes. By a theorem of Zaslavsky, the number of regions of a hyperplane arrangement is the sum of coefficients of its characteristic polynomial. Arrangements that contain hyperplanes parallel to subspaces whose defining equations are x i x j 0 form an important class called the deformations of the braid arrangement. In a recent work, Bernardi showed that regions of certain deformations are in one to one correspondence with certain labeled trees. In this article, we define a statistic on these trees such that the distribution is given by the coefficients of the characteristic polynomial. In particular, our statistic applies to well studied families like extended Catalan, Shi, Linial and semiorder.


On a class of divergence form linear parabolic equations with degenerate coefficients. We study a class of linear parabolic equations in divergence form with degenerate coefficients on the upper half space. Specifically, the equations are considered in ( infty, T) times mathbb R d , where mathbb R d x in mathbb R d , , x d 0 and T in ( infty, infty is given, and the diffusion matrices are the product of x d and bounded uniformly elliptic matrices, which are degenerate at x d 0 . As such, our class of equations resembles well the corresponding class of degenerate viscous Hamilton Jacobi equations. We obtain wellposedness results and regularity type estimates in some appropriate weighted Sobolev spaces for the solutions.


Quantifying Inequality in Underreported Medical Conditions. Estimating the prevalence of a medical condition, or the proportion of the population in which it occurs, is a fundamental problem in healthcare and public health. Accurate estimates of the relative prevalence across groups capturing, for example, that a condition affects women more frequently than men facilitate effective and equitable health policy which prioritizes groups who are disproportionately affected by a condition. However, it is difficult to estimate relative prevalence when a medical condition is underreported. In this work, we provide a method for accurately estimating the relative prevalence of underreported medical conditions, building upon the positive unlabeled learning framework. We show that under the commonly made covariate shift assumption i.e., that the probability of having a disease conditional on symptoms remains constant across groups we can recover the relative prevalence, even without restrictive assumptions commonly made in positive unlabeled learning and even if it is impossible to recover the absolute prevalence. We provide a suite of experiments on synthetic and real health data that demonstrate our method's ability to recover the relative prevalence more accurately than do baselines, and the method's robustness to plausible violations of the covariate shift assumption.


Inviscid incompressible limit for compressible micro polar fluids. In this paper we study the incompressible inviscid limit for a compressible micro polar model. We prove that the weak solution of the compressible micro polar system converges to the solution of the Navier Stokes equations (Euler equations) in the limit of small Mach number (and vanishing viscosity).


math.NA cs.CE cs.NA math.DS physics.comp-ph

Accurate and Efficient Simulations of Hamiltonian Mechanical Systems with Discontinuous Potentials. This article considers Hamiltonian mechanical systems with potential functions admitting jump discontinuities. The focus is on accurate and efficient numerical approximations of their solutions, which will be defined via the laws of reflection and refraction. Despite of the success of symplectic integrators for smooth mechanical systems, their construction for the discontinuous ones is nontrivial, and numerical convergence order can be impaired too. Several rather usable numerical methods are proposed, including a first order symplectic integrator for general problems, a third order symplectic integrator for problems with only one linear interface, arbitrarily high order reversible integrators for general problems (no longer symplectic), and an adaptive time stepping version of the previous high order method. Interestingly, whether symplecticity leads to favorable long time performance is no longer clear due to discontinuity, as traditional Hamiltonian backward error analysis does not apply any more. Therefore, at this stage, our recommended default method is the last one. Various numerical evidence, on the order of convergence, long time performance, momentum map conservation, and consistency with the computationally expensive penalty method, are supplied. A complex problem, namely the Sauteed Mushroom, is also proposed and numerically investigated, for which multiple bifurcations between trapped and ergodic dynamics are observed.


Training and Profiling a Pediatric Emotion Recognition Classifier on Mobile Devices. Implementing automated emotion recognition on mobile devices could provide an accessible diagnostic and therapeutic tool for those who struggle to recognize emotion, including children with developmental behavioral conditions such as autism. Although recent advances have been made in building more accurate emotion classifiers, existing models are too computationally expensive to be deployed on mobile devices. In this study, we optimized and profiled various machine learning models designed for inference on edge devices and were able to match previous state of the art results for emotion recognition on children. Our best model, a MobileNet V2 network pre trained on ImageNet, achieved 65.11 balanced accuracy and 64.19 F1 score on CAFE, while achieving a 45 millisecond inference latency on a Motorola Moto G6 phone. This balanced accuracy is only 1.79 less than the current state of the art for CAFE, which used a model that contains 26.62x more parameters and was unable to run on the Moto G6, even when fully optimized. This work validates that with specialized design and optimization techniques, machine learning models can become lightweight enough for deployment on mobile devices and still achieve high accuracies on difficult image classification tasks.


Attention augmented Spatio Temporal Segmentation for Land Cover Mapping. The availability of massive earth observing satellite data provide huge opportunities for land use and land cover mapping. However, such mapping effort is challenging due to the existence of various land cover classes, noisy data, and the lack of proper labels. Also, each land cover class typically has its own unique temporal pattern and can be identified only during certain periods. In this article, we introduce a novel architecture that incorporates the UNet structure with Bidirectional LSTM and Attention mechanism to jointly exploit the spatial and temporal nature of satellite data and to better identify the unique temporal patterns of each land cover. We evaluate this method for mapping crops in multiple regions over the world. We compare our method with other state of the art methods both quantitatively and qualitatively on two real world datasets which involve multiple land cover classes. We also visualise the attention weights to study its effectiveness in mitigating noise and identifying discriminative time period.


On Hodge Structures and Periods Part I Algebraic Aspects. We review Hodge structures, relating filtrations, Galois Theory and Jordan Holder structures. The prototypical case of periods of Riemann surfaces is compared with the Galois Artin framework of algebraic numbers.


Sparse non SOS Putinar type Positivstellens "atze. Recently, non SOS Positivstellens "atze for polynomials on compact semialgebraic sets, following the general form of Schm " u dgen's Positivstellensatz, have been derived by appropriately replacing the SOS polynomials with other classes of polynomials. An open question in the literature is how to obtain similar results following the general form of Putinar's Positivstellensatz. Extrapolating the algebraic geometry tools used to obtain this type of result in the SOS case fails to answer this question, because algebraic geometry methods strongly use hallmark properties of the class of SOS polynomials, such as closure under multiplication and closure under composition with other polynomials. In this article, using a new approach, we show the existence of Putinar type Positivstellens "atze that are constructed using non SOS classes of non negative polynomials, such as SONC, SDSOS and DSOS polynomials. Even not necessarily non negative classes of polynomials such as sums of arithmetic mean geometric mean polynomials could be used. Furthermore, we show that these certificates can be written with inherent sparsity characteristics. Such characteristics can be further exploited when the sparsity structure of both the polynomial whose non negativity is being certified and the polynomials defining the semialgebraic set of interest are known. In contrast with related literature focused on exploiting sparsity in SOS Positivstellens "atze, these latter results show how to exploit sparsity in a more general setting in which non SOS polynomials are used to construct the Positivstellens "atze.


Students' understanding of gravity using the rubber sheet analogy an Italian experience. General Relativity (GR) represents the most recent theory of gravity, on which all modern astrophysics is based, including some of the most astonishing results of physics research. Nevertheless, its study is limited to university courses, while being ignored at high school level. To introduceGR in high school one of the approaches that can be used is the so called rubber sheet analogy, i.e. comparing the space time to a rubber sheet which deforms under a weight. In this paper we analyze the efficacy of an activity for high school students held at the Department of Mathematics and Physics of Roma Tre University that adopts the rubber sheet analogy to address several topics related to gravity. We present the results of the questionnaires we administered to investigate the understanding of the topics treated to over 150 Italian high school students who participated in this activity.


Semi modular forms from Fibonacci Eisenstein series. In recent work, M. Just and the second author defined a class of "semi modular forms" on mathbb C , in analogy with classical modular forms, that are "half modular" in a particular sense and constructed families of such functions as Eisenstein like series using symmetries related to integer partitions. Looking for further natural examples of semi modular behavior, here we construct a family of Eisenstein like series to produce semi modular forms, using symmetries related to Fibonacci numbers instead of partitions. We then consider other Lucas sequences that yield semi modular forms.


Ap 'ery limits for elliptic L values. For an (irreducible) recurrence equation with coefficients from mathbb Z n and its two linearly independent rational solutions u n,v n , the limit of u n v n as n to infty , when exists, is called the Ap 'ery limit. We give a construction that realises certain quotients of L values of elliptic curves as Ap 'ery limits.


A Tale of Color Variants Representation and Self Supervised Learning in Fashion E Commerce. In this paper, we address a crucial problem in fashion e commerce (with respect to customer experience, as well as revenue) color variants identification, i.e., identifying fashion products that match exactly in their design (or style), but only to differ in their color. We propose a generic framework, that leverages deep visual Representation Learning at its heart, to address this problem for our fashion e commerce platform. Our framework could be trained with supervisory signals in the form of triplets, that are obtained manually. However, it is infeasible to obtain manual annotations for the entire huge collection of data usually present in fashion e commerce platforms, such as ours, while capturing all the difficult corner cases. But, to our rescue, interestingly we observed that this crucial problem in fashion e commerce could also be solved by simple color jitter based image augmentation, that recently became widely popular in the contrastive Self Supervised Learning (SSL) literature, that seeks to learn visual representations without using manual labels. This naturally led to a question in our mind Could we leverage SSL in our use case, and still obtain comparable performance to our supervised framework? The answer is, Yes! because, color variant fashion objects are nothing but manifestations of a style, in different colors, and a model trained to be invariant to the color (with, or without supervision), should be able to recognize this! This is what the paper further demonstrates, both qualitatively, and quantitatively, while evaluating a couple of state of the art SSL techniques, and also proposing a novel method.


Uniform intersecting families with large covering number. A family mathcal F has covering number tau if the size of the smallest set intersecting all sets from mathcal F is equal to s . Let m(n,k, tau) stand for the size of the largest intersecting family mathcal F of k element subsets of 1, ldots,n with covering number tau . It is a classical result of Erd H os and Lov 'asz that m(n,k,k) le k k for any n . In this short note, we explore the behaviour of m(n,k, tau) for n k 2 and large tau . The results are quite surprising For example, we show that m(k 3 2 ,k, tau) (1 o(1)) n 1 choose k 1 for tau le k k 3 4 o(1) . At the same time, m(k 3 2 ,k, tau) e ck 1 2 n choose k if tau k frac 12k 1 2 .


A characterization of the algebraic degree in semidefinite programming. In this article, we show that the algebraic degree in semidefinite programming can be expressed in terms of the coefficient of a certain monomial in a doubly symmetric polynomial. This characterization of the algebraic degree allows us to use the theory of symmetric polynomials to obtain many interesting results of Nie, Ranestad and Sturmfels in a simpler way.


Collaborative Agent Gameplay in the Pandemic Board Game. While artificial intelligence has been applied to control players' decisions in board games for over half a century, little attention is given to games with no player competition. Pandemic is an exemplar collaborative board game where all players coordinate to overcome challenges posed by events occurring during the game's progression. This paper proposes an artificial agent which controls all players' actions and balances chances of winning versus risk of losing in this highly stochastic environment. The agent applies a Rolling Horizon Evolutionary Algorithm on an abstraction of the game state that lowers the branching factor and simulates the game's stochasticity. Results show that the proposed algorithm can find winning strategies more consistently in different games of varying difficulty. The impact of a number of state evaluation metrics is explored, balancing between optimistic strategies that favor winning and pessimistic strategies that guard against losing.


Estimates for polynomial norms on Banach spaces. Our work is related to problems 73 and 74 of Mazur and Orlicz in The Scottish Book" (ed. R. D. Mauldin). Let k 1, ldots, k n be nonnegative integers such that sum i 1 n k i m , and let mathbb K (k 1, ldots, k n X) , where mathbb K mathbb R or mathbb C , be the smallest number satisfying the property if L is any symmetric m linear form on a Banach space X , then sup x i leq 1 , atop i 1,2, ldots ,n L(x 1 k 1 , ldots ,x n k n ) leq mathbb K (k 1, ldots, k n X) sup x leq 1 L(x, ldots ,x) ,, where the exponents k 1 , ldots, k n , are as described above, and each k i denotes the number of coordinates in which the corresponding base variable appears. In the case of complex Banach spaces, the problem of optimising the constant mathbb C (k 1, ldots, k n X) is well studied. In the more challenging case of real Banach spaces much less is known about the estimates for mathbb R (k 1, ldots, k n X) . In this work, both real and complex settings are examined using results from the local theory of Banach spaces, as well as from interpolation theory of linear operators. In the particular case of complex L p ( mu) spaces, and for certain values of p , our results are optimal. As an application, we prove Markov type inequalities for homogeneous polynomials on Banach spaces.


ADTrack Target Aware Dual Filter Learning for Real Time Anti Dark UAV Tracking. Prior correlation filter (CF) based tracking methods for unmanned aerial vehicles (UAVs) have virtually focused on tracking in the daytime. However, when the night falls, the trackers will encounter more harsh scenes, which can easily lead to tracking failure. In this regard, this work proposes a novel tracker with anti dark function (ADTrack). The proposed method integrates an efficient and effective low light image enhancer into a CF based tracker. Besides, a target aware mask is simultaneously generated by virtue of image illumination variation. The target aware mask can be applied to jointly train a target focused filter that assists the context filter for robust tracking. Specifically, ADTrack adopts dual regression, where the context filter and the target focused filter restrict each other for dual filter learning. Exhaustive experiments are conducted on typical dark sceneries benchmark, consisting of 37 typical night sequences from authoritative benchmarks, i.e., UAVDark, and our newly constructed benchmark UAVDark70. The results have shown that ADTrack favorably outperforms other state of the art trackers and achieves a real time speed of 34 frames s on a single CPU, greatly extending robust UAV tracking to night scenes.


FineNet Frame Interpolation and Enhancement for Face Video Deblurring. The objective of this work is to deblur face videos. We propose a method that tackles this problem from two directions (1) enhancing the blurry frames, and (2) treating the blurry frames as missing values and estimate them by interpolation. These approaches are complementary to each other, and their combination outperforms individual ones. We also introduce a novel module that leverages the structure of faces for finding positional offsets between video frames. This module can be integrated into the processing pipelines of both approaches, improving the quality of the final outcome. Experiments on three real and synthetically generated blurry video datasets show that our method outperforms the previous state of the art methods by a large margin in terms of both quantitative and qualitative results.


Control theory approach to continuous time finite state mean field games. In the paper, we use the equivalent formulation of a finite state mean field game as a control problem with mixed constraints to study the dependence of solutions to finite state mean field game on an initial distribution of players. We introduce the concept of value multifunction of the mean field game that is a mapping assigning to an initial time and an initial distribution a set of expected outcomes of the representative player corresponding to solutions of the mean field game. Using the control reformulation of the finite state mean field game, we give the sufficient condition on a given multifunction to be a value multifunction in the terms of the viability theory. The maximal multifunction (i.e. the mapping assigning to an initial time and distribution the whole set of values corresponding to solutions of the mean field game) is characterized via the backward attainability set for the certain control systems.


Oscillations and the Kontsevich Zorich cocycle. We present a mechanism for producing oscillations along the lift of the Teichm "uller geodesic flow to the (real) Hodge bundle, as the basepoint surface is deformed by a unipotent element of text SL 2( mathbb R ) . Invoking Chen M "oller, we apply our methods to all but finitely many strata in genus 4 , those exhibiting a varying Lyapunov exponents phenomenon.


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

A non singular boundary element method for interactions between acoustical field sources and structures. Localized point sources (monopoles) in an acoustical domain are implemented to a three dimensional non singular Helmholtz boundary element method in the frequency domain. It allows for the straightforward use of higher order surface elements on the boundaries of the problem. It will been shown that the effect of the monopole sources ends up on the right hand side of the resulting matrix system. Some carefully selected examples are studied, such as point sources near and within a concentric spherical core shell scatterer (with theoretical verification), near a curved focusing surface and near a multi scale and multi domain acoustic lens.


Integrated Age Estimation Mechanism. Machine learning based age estimation has received lots of attention. Traditional age estimation mechanism focuses estimation age error, but ignores that there is a deviation between the estimated age and real age due to disease. Pathological age estimation mechanism the author proposed before introduces age deviation to solve the above problem and improves classification capability of the estimated age significantly. However,it does not consider the age estimation error of the normal control (NC) group and results in a larger error between the estimated age and real age of NC group. Therefore, an integrated age estimation mechanism based on Decision Level fusion of error and deviation orientation model is proposed to solve the problem.Firstly, the traditional age estimation and pathological age estimation mechanisms are weighted together.Secondly, their optimal weights are obtained by minimizing mean absolute error (MAE) between the estimated age and real age of normal people. In the experimental section, several representative age related datasets are used for verification of the proposed method. The results show that the proposed age estimation mechanism achieves a good tradeoff effect of age estimation. It not only improves the classification ability of the estimated age, but also reduces the age estimation error of the NC group. In general, the proposed age estimation mechanism is effective. Additionally, the mechanism is a framework mechanism that can be used to construct different specific age estimation algorithms, contributing to relevant research.


MS nowcasting Operational Precipitation Nowcasting with Convolutional LSTMs at Microsoft Weather. We present the encoder forecaster convolutional long short term memory (LSTM) deep learning model that powers Microsoft Weather's operational precipitation nowcasting product. This model takes as input a sequence of weather radar mosaics and deterministically predicts future radar reflectivity at lead times up to 6 hours. By stacking a large input receptive field along the feature dimension and conditioning the model's forecaster with predictions from the physics based High Resolution Rapid Refresh (HRRR) model, we are able to outperform optical flow and HRRR baselines by 20 25 on multiple metrics averaged over all lead times.


CMF Cascaded Multi model Fusion for Referring Image Segmentation. In this work, we address the task of referring image segmentation (RIS), which aims at predicting a segmentation mask for the object described by a natural language expression. Most existing methods focus on establishing unidirectional or directional relationships between visual and linguistic features to associate two modalities together, while the multi scale context is ignored or insufficiently modeled. Multi scale context is crucial to localize and segment those objects that have large scale variations during the multi modal fusion process. To solve this problem, we propose a simple yet effective Cascaded Multi modal Fusion (CMF) module, which stacks multiple atrous convolutional layers in parallel and further introduces a cascaded branch to fuse visual and linguistic features. The cascaded branch can progressively integrate multi scale contextual information and facilitate the alignment of two modalities during the multi modal fusion process. Experimental results on four benchmark datasets demonstrate that our method outperforms most state of the art methods. Code is available at https github.com jianhua2022 CMF Refseg.


Zero shot Cross lingual Transfer of Neural Machine Translation with Multilingual Pretrained Encoders. Previous work mainly focuses on improving cross lingual transfer for NLU tasks with a multilingual pretrained encoder (MPE), or improving the performance on supervised machine translation with BERT. However, it is under explored that whether the MPE can help to facilitate the cross lingual transferability of NMT model. In this paper, we focus on a zero shot cross lingual transfer task in NMT. In this task, the NMT model is trained with parallel dataset of only one language pair and an off the shelf MPE, then it is directly tested on zero shot language pairs. We propose SixT, a simple yet effective model for this task. SixT leverages the MPE with a two stage training schedule and gets further improvement with a position disentangled encoder and a capacity enhanced decoder. Using this method, SixT significantly outperforms mBART, a pretrained multilingual encoder decoder model explicitly designed for NMT, with an average improvement of 7.1 BLEU on zero shot any to English test sets across 14 source languages. Furthermore, with much less training computation cost and training data, our model achieves better performance on 15 any to English test sets than CRISS and m2m 100, two strong multilingual NMT baselines.


Constructing sparsest ell hamiltonian saturated k uniform hypergraphs for a wide range of ell . Given k ge3 and 1 leq ell k , an ( ell,k) cycle is one in which consecutive edges, each of size k , overlap in exactly ell vertices. We study the smallest number of edges in k uniform n vertex hypergraphs which do not contain hamiltonian ( ell,k) cycles, but once a new edge is added, such a cycle is promptly created. It has been conjectured that this number is of order n ell and confirmed for ell in 1,k 2,k 1 , as well as for the upper range 0.8k leq ell leq k 1 . Here we extend the validity of this conjecture to the lower middle range (k 1) 3 le ell k 2 .


Parametric model reduction via rational interpolation along parameters. We present a novel projection based model reduction framework for parametric linear time invariant systems that allows interpolating the transfer function at a given frequency point along parameter dependent curves as opposed to the standard approach where transfer function interpolation is achieved for a discrete set of parameter and frequency samples. We accomplish this goal by using parameter dependent projection spaces. Our main result shows that for holomorphic system matrices, the corresponding interpolatory projection spaces are also holomorphic. The coefficients of the power series representation of the projection spaces can be computed iteratively using standard methods. We illustrate the analysis on three numerical examples.


The Information Ecosystem of Online Groups with Anti and Pro vaccine Views on Facebook. Opposition and hesitancy to vaccination have been one of the major threats to global health. Social media sites have been suspected as a breeding ground of misleading narratives about vaccines, but little is known about how pervasive anti vaccine views are on the world's largest social media, Facebook. Here, we study the prevalence of online groups on Facebook with anti and pro vaccine views and the information ecosystem that enables the production and dissemination of anti vaccine narratives, using the largest collection of Facebook data on this issue to date. The results reveal that 74 of posts each month on average were generated by anti vaccine groups. It is also shown that anti vaccine groups had increasingly more relied on relatively credible sources while their posts using low credibility sources were less than 2 and recently decreasing. Furthermore, anti vaccine groups depended more on their exclusive sources and utilized sources representing more conservative or far right political views than pro vaccine groups did. The findings suggest that expansive and targeted interventions are urgently needed to curb the circulation of online narratives against vaccination.


Simulating Large Eliminations in Cedille. Large eliminations provide an expressive mechanism for arity and type generic programming. However, as large eliminations are closely tied to a type theory's primitive notion of inductive type, this expressivity is not expected within polymorphic lambda calculi in which datatypes are encoded using impredicative quantification. We report progress on simulating large eliminations for datatype encodings in one such type theory, the calculus of dependent lambda eliminations (CDLE). Specifically, we show that the expected computation rules for large eliminations, expressed using a derived type of extensional equality of types, can be proven within CDLE. We present several case studies, demonstrating the adequacy of this simulation for a variety of generic programming tasks, and a generic formulation of the simulation allowing its use for any datatype. All results have been mechanically checked by Cedille, an implementation of CDLE.


Independent Hyperplanes in Oriented Paving Matroids. In 1993, Csima and Sawyer proved that in a non pencil arrangement of n pseudolines, there are at least frac 6 13 n simple points of intersection. Since pseudoline arrangements are the topological representations of reorientation classes of oriented matroids of rank 3 , in this paper, we will use this result to prove by induction that an oriented paving matroid of rank r ge 3 on n elements, where n geq 5 r , has at least frac 12 13(r 1) binom n r 2 independent hyperplanes, yielding a new necessary condition for a paving matroid to be orientable.


TAL Two stream Adaptive Learning for Generalizable Person Re identification. Domain generalizable person re identification aims to apply a trained model to unseen domains. Prior works either combine the data in all the training domains to capture domain invariant features, or adopt a mixture of experts to investigate domain specific information. In this work, we argue that both domain specific and domain invariant features are crucial for improving the generalization ability of re id models. To this end, we design a novel framework, which we name two stream adaptive learning (TAL), to simultaneously model these two kinds of information. Specifically, a domain specific stream is proposed to capture training domain statistics with batch normalization (BN) parameters, while an adaptive matching layer is designed to dynamically aggregate domain level information. In the meantime, we design an adaptive BN layer in the domain invariant stream, to approximate the statistics of various unseen domains. These two streams work adaptively and collaboratively to learn generalizable re id features. Our framework can be applied to both single source and multi source domain generalization tasks, where experimental results show that our framework notably outperforms the state of the art methods.


M "obius metric in sector domains. The M "obius metric delta G is studied in the cases where its domain G is an open sector of the complex plane. We introduce upper and lower bounds for this metric in terms of the hyperbolic metric and the angle of the sector, and then use these results to find bounds for the distortion of the M "obius metric under quasiregular mappings defined in sector domains. Furthermore, we numerically study the M "obius metric and its connection to the hyperbolic metric in polygon domains.


LiODOM Adaptive Local Mapping for Robust LiDAR Only Odometry. In the last decades, Light Detection And Ranging (LiDAR) technology has been extensively explored as a robust alternative for self localization and mapping. These approaches typically state ego motion estimation as a non linear optimization problem dependent on the correspondences established between the current point cloud and a map, whatever its scope, local or global. This paper proposes LiODOM, a novel LiDAR only ODOmetry and Mapping approach for pose estimation and map building, based on minimizing a loss function derived from a set of weighted point to line correspondences with a local map abstracted from the set of available point clouds. Furthermore, this work places a particular emphasis on map representation given its relevance for quick data association. To efficiently represent the environment, we propose a data structure that combined with a hashing scheme allows for fast access to any section of the map. LiODOM is validated by means of a set of experiments on public datasets, for which it compares favourably against other solutions. Its performance on board an aerial platform is also reported.


Extreme points in Lipschitz free spaces over compact metric spaces. We prove that all extreme points of the unit ball of a Lipschitz free space over a compact metric space have finite support. Combined with previous results, this completely characterizes extreme points and implies that all of them are also extreme points in the bidual ball. For the proof, we develop some properties of an integral representation of functionals on Lipschitz spaces originally due to K. de Leeuw.