Multi Camera Vehicle Counting Using Edge AI. This paper presents a novel solution to automatically count vehicles in a parking lot using images captured by smart cameras. Unlike most of the literature on this task, which focuses on the analysis of single images, this paper proposes the use of multiple visual sources to monitor a wider parking area from different perspectives. The proposed multi camera system is capable of automatically estimate the number of cars present in the entire parking lot directly on board the edge devices. It comprises an on device deep learning based detector that locates and counts the vehicles from the captured images and a decentralized geometric based approach that can analyze the inter camera shared areas and merge the data acquired by all the devices. We conduct the experimental evaluation on an extended version of the CNRPark EXT dataset, a collection of images taken from the parking lot on the campus of the National Research Council (CNR) in Pisa, Italy. We show that our system is robust and takes advantage of the redundant information deriving from the different cameras, improving the overall performance without requiring any extra geometrical information of the monitored scene.


Near perfect fidelity polarization encoded multilayer optical data storage based on aligned gold nanorods. Encoding information in light polarization is of great importance in facilitating optical data storage (ODS) for information security and data storage capacity escalation. However, despite recent advances in nanophotonic techniques vastly enhancing the feasibility of applying polarization channels, the data fidelity in reconstructed bits has been constrained by severe crosstalks occurring between varied polarization angles during data recording and reading process, which gravely hindered the utilization of this technique in practice. In this paper, we demonstrate an ultra low crosstalk polarization encoding multilayer optical data storage technique for high fidelity data recording and retrieving by utilizing a nanofibre based nanocomposite film involving highly aligned gold nanorods (GNRs). With parallelizing the gold nanorods in the recording medium, the information carrier configuration minimizes miswriting and misreading possibilities for information input and output, respectively, compared with its randomly self assembled counterparts. The enhanced data accuracy has significantly improved the bit recall fidelity that is quantified by a correlation coefficient higher than 0.99. It is anticipated that the demonstrated technique can facilitate the development of multiplexing ODS for a greener future.


Forward Collision Warning Systems Validating Driving Simulator Results with Field Data. With the advent of Advanced Driver Assistance Systems (ADAS), there is an increasing need to evaluate driver behavior while using such technology. In this unique study, a forward collision warning (FCW) system using connected vehicle technology, was introduced in a driving simulator environment, to evaluate driver braking behavior and then the results are validated using data from field tests. A total of 93 participants were recruited for this study, for which a virtual network of South Baltimore was created. A one sample t test was conducted, and it was found that the mean reduction in speed of 15.07 mph post FCW, is statistically significant. A random forest, machine learning algorithm was found to be the best fit for ranking the most important variables in the dataset by order of importance. Field data obtained from the University of Michigan Transportation Research Institute (UMTRI), substantiated the FCW findings from this driving simulator study.


ListReader Extracting List form Answers for Opinion Questions. Question answering (QA) is a high level ability of natural language processing. Most extractive ma chine reading comprehension models focus on factoid questions (e.g., who, when, where) and restrict the output answer as a short and continuous span in the original passage. However, in real world scenarios, many questions are non factoid (e.g., how, why) and their answers are organized in the list format that contains multiple non contiguous spans. Naturally, existing extractive models are by design unable to answer such questions. To address this issue, this paper proposes ListReader, a neural ex tractive QA model for list form answer. In addition to learning the alignment between the question and content, we introduce a heterogeneous graph neural network to explicitly capture the associations among candidate segments. Moreover, our model adopts a co extraction setting that can extract either span or sentence level answers, allowing better applicability. Two large scale datasets of different languages are constructed to support this study. Experimental results show that our model considerably outperforms various strong baselines. Further discussions provide an intuitive understanding of how our model works and where the performance gain comes from.


Intermediately subcritical branching process in random environment the initial stage of the evolution. We consider branching process evolving in i.i.d. random environment. It is assumed that the process is intermediately subcritical. We investigate the initial stage of the evolution of the process given its survival for a long time.


Model aided Deep Reinforcement Learning for Sample efficient UAV Trajectory Design in IoT Networks. Deep Reinforcement Learning (DRL) is gaining attention as a potential approach to design trajectories for autonomous unmanned aerial vehicles (UAV) used as flying access points in the context of cellular or Internet of Things (IoT) connectivity. DRL solutions offer the advantage of on the go learning hence relying on very little prior contextual information. A corresponding drawback however lies in the need for many learning episodes which severely restricts the applicability of such approach in real world time and energy constrained missions. Here, we propose a model aided deep Q learning approach that, in contrast to previous work, considerably reduces the need for extensive training data samples, while still achieving the overarching goal of DRL, i.e to guide a battery limited UAV on an efficient data harvesting trajectory, without prior knowledge of wireless channel characteristics and limited knowledge of wireless node locations. The key idea consists in using a small subset of nodes as anchors (i.e. with known location) and learning a model of the propagation environment while implicitly estimating the positions of regular nodes. Interaction with the model allows us to train a deep Q network (DQN) to approximate the optimal UAV control policy. We show that in comparison with standard DRL approaches, the proposed model aided approach requires at least one order of magnitude less training data samples to reach identical data collection performance, hence offering a first step towards making DRL a viable solution to the problem.


SPANN Highly efficient Billion scale Approximate Nearest Neighbor Search. The in memory algorithms for approximate nearest neighbor search (ANNS) have achieved great success for fast high recall search, but are extremely expensive when handling very large scale database. Thus, there is an increasing request for the hybrid ANNS solutions with small memory and inexpensive solid state drive (SSD). In this paper, we present a simple but efficient memory disk hybrid indexing and search system, named SPANN, that follows the inverted index methodology. It stores the centroid points of the posting lists in the memory and the large posting lists in the disk. We guarantee both disk access efficiency (low latency) and high recall by effectively reducing the disk access number and retrieving high quality posting lists. In the index building stage, we adopt a hierarchical balanced clustering algorithm to balance the length of posting lists and augment the posting list by adding the points in the closure of the corresponding clusters. In the search stage, we use a query aware scheme to dynamically prune the access of unnecessary posting lists. Experiment results demonstrate that SPANN is 2 times faster than the state of the art ANNS solution DiskANN to reach the same recall quality 90 with same memory cost in three billion scale datasets. It can reach 90 recall 1 and recall 10 in just around one millisecond with only 32GB memory cost. Code is available at footnotesize color blue url https github.com microsoft SPTAG .


An arbitrary order fully discrete Stokes complex on general polygonal meshes. In this paper we present an arbitrary order fully discrete Stokes complex on general polygonal meshes. Based upon the recent construction of the de Rham fully discrete complex by D. A. Di Pietro and J. Droniou we extend it using the same principle. We complete it with other polynomial spaces related to vector calculus operators and to the Koszul complex required to accommodate the increased smoothness of the Stokes complex. This complex is especially well suited for problem involving Jacobian, divergence and curl, like e.g. the Stokes system or magnetohydrodynamics. We show a complete set of results on the novelties of this complex complementing those of D. A. Di Pietro and J. Droniou exactness properties, uniform Poincar 'e inequalities and primal and adjoint consistency. We use our new complex on the Stokes system and validate the expected convergence rates with various numerical tests.


The Boltzmann Grad Limit for the Lorentz Gas with a Poisson Distribution of Obstacles. In this note, we propose a slightly different proof of Gallavotti's theorem "Statistical Mechanics A Short Treatise", Springer, 1999, pp. 48 55 on the derivation of the linear Boltzmann equation for the Lorentz gas with a Poisson distribution of obstacles in the Boltzmann Grad limit.


Can Differential Privacy Practically Protect Collaborative Deep Learning Inference for the Internet of Things?. Collaborative inference has recently emerged as an intriguing framework for applying deep learning to Internet of Things (IoT) applications, which works by splitting a DNN model into two subpart models respectively on resource constrained IoT devices and the cloud. Even though IoT applications' raw input data is not directly exposed to the cloud in such framework, revealing the local part model's intermediate output still entails privacy risks. For mitigation of privacy risks, differential privacy could be adopted in principle. However, the practicality of differential privacy for collaborative inference under various conditions remains unclear. For example, it is unclear how the calibration of the privacy budget epsilon will affect the protection strength and model accuracy in presence of the state of the art reconstruction attack targeting collaborative inference, and whether a good privacy utility balance exists. In this paper, we provide the first systematic study to assess the effectiveness of differential privacy for protecting collaborative inference in presence of the reconstruction attack, through extensive empirical evaluations on various datasets. Our results show differential privacy can be used for collaborative inference when confronted with the reconstruction attack, with insights provided about privacyutility trade offs. Specifically, across the evaluated datasets, we observe there exists a suitable privacy budget range (particularly 100 epsilon 200 in our evaluation) providing a good tradeoff between utility and privacy protection. Our key observation drawn from our study is that differential privacy tends to perform better in collaborative inference for datasets with smaller intraclass variations, which, to our knowledge, is the first easy toadopt practical guideline.


Remote Pathological Gait Classification System. Several pathologies can alter the way people walk, i.e. their gait. Gait analysis can therefore be used to detect impairments and help diagnose illnesses and assess patient recovery. Using vision based systems, diagnoses could be done at home or in a clinic, with the needed computation being done remotely. State of the art vision based gait analysis systems use deep learning, requiring large datasets for training. However, to our best knowledge, the biggest publicly available pathological gait dataset contains only 10 subjects, simulating 4 gait pathologies. This paper presents a new dataset called GAIT IT, captured from 21 subjects simulating 4 gait pathologies, with 2 severity levels, besides normal gait, being considerably larger than publicly available gait pathology datasets, allowing to train a deep learning model for gait pathology classification. Moreover, it was recorded in a professional studio, making it possible to obtain nearly perfect silhouettes, free of segmentation errors. Recognizing the importance of remote healthcare, this paper proposes a prototype of a web application allowing to upload a walking person's video, possibly acquired using a smartphone camera, and execute a web service that classifies the person's gait as normal or across different pathologies. The web application has a user friendly interface and could be used by healthcare professionals or other end users. An automatic gait analysis system is also developed and integrated with the web application for pathology classification. Compared to state of the art solutions, it achieves a drastic reduction in the number of model parameters, which means significantly lower memory requirements, as well as lower training and execution times. Classification accuracy is on par with the state of the art.


Learning to Give Checkable Answers with Prover Verifier Games. Our ability to know when to trust the decisions made by machine learning systems has not kept up with the staggering improvements in their performance, limiting their applicability in high stakes domains. We introduce Prover Verifier Games (PVGs), a game theoretic framework to encourage learning agents to solve decision problems in a verifiable manner. The PVG consists of two learners with competing objectives a trusted verifier network tries to choose the correct answer, and a more powerful but untrusted prover network attempts to persuade the verifier of a particular answer, regardless of its correctness. The goal is for a reliable justification protocol to emerge from this game. We analyze variants of the framework, including simultaneous and sequential games, and narrow the space down to a subset of games which provably have the desired equilibria. We develop instantiations of the PVG for two algorithmic tasks, and show that in practice, the verifier learns a robust decision rule that is able to receive useful and reliable information from an untrusted prover. Importantly, the protocol still works even when the verifier is frozen and the prover's messages are directly optimized to convince the verifier.


Daehee, hyperharmonic, and power sums polynomials. In this paper we consider the Daehee numbers and polynomials of the first and second kind, and give several explicit representations for them. In particular, we express the Daehee polynomials as the derivative of a generalized binomial coefficient. This is done by performing the Stirling transform of the power sum polynomial S k(x) associated with the sum of k th powers of the first n positive integers S k(n) 1 k 2 k cdots n k . Furthermore, we show the relationship between the Daehee polynomials and the hyperharmonic polynomials. This allows us to also express the hyperharmonic polynomials as the derivative of a generalized binomial coefficient. In addition, we reformulate and generalize a number of identities involving the Stirling, Bernoulli, and harmonic numbers, in terms of the Daehee and hyperharmonic polynomials. Finally, in the light of a recent result of Kargin et al., we discuss a further extension of the obtained identities in terms of the r Stirling numbers.


Small Sample Inferred Adaptive Recoding for Batched Network Coding. Batched network coding is a low complexity network coding solution to feedbackless multi hop wireless packet network transmission with packet loss. The data to be transmitted is encoded into batches where each of which consists of a few coded packets. Unlike the traditional forwarding strategy, the intermediate network nodes have to perform recoding, which generates recoded packets by network coding operations restricted within the same batch. Adaptive recoding is a technique to adapt the fluctuation of packet loss by optimizing the number of recoded packets per batch to enhance the throughput. The input rank distribution, which is a piece of information regarding the batches arriving at the node, is required to apply adaptive recoding. However, this distribution is not known in advance in practice as the incoming link's channel condition may change from time to time. On the other hand, to fully utilize the potential of adaptive recoding, we need to have a good estimation of this distribution. In other words, we need to guess this distribution from a few samples so that we can apply adaptive recoding as soon as possible. In this paper, we propose a distributionally robust optimization for adaptive recoding with a small sample inferred prediction of the input rank distribution. We develop an algorithm to efficiently solve this optimization with the support of theoretical guarantees that our optimization's performance would constitute as a confidence lower bound of the optimal throughput with high probability.


Congruence Relations for B "uchi Automata. We revisit here congruence relations for B "uchi automata, which play a central role in the automata based verification. The size of the classical congruence relation is in 3 mathcal O (n 2) , where n is the number of states of a given B "uchi automaton mathcal A . Here we present improved congruence relations that can be exponentially coarser than the classical one. We further give asymptotically optimal congruence relations of size 2 mathcal O (n log n) . Based on these optimal congruence relations, we obtain an optimal translation from B "uchi automata to a family of deterministic finite automata (FDFW) that accepts the complementary language. To the best of our knowledge, our construction is the first direct and optimal translation from B "uchi automata to FDFWs.


COfEE A Comprehensive Ontology for Event Extraction from text. Data is published on the web over time in great volumes, but majority of the data is unstructured, making it hard to understand and difficult to interpret. Information Extraction (IE) methods obtain structured information from unstructured data. One of the challenging IE tasks is Event Extraction (EE) which seeks to derive information about specific incidents and their actors from the text. EE is useful in many domains such as building a knowledge base, information retrieval and summarization. In the past decades, some event ontologies like ACE, CAMEO and ICEWS were developed to define event forms, actors and dimensions of events observed in the text. These event ontologies still have some shortcomings such as covering only a few topics like political events, having inflexible structure in defining argument roles and insufficient gold standard data. To address these concerns, we propose an event ontology, namely COfEE, that incorporates both expert domain knowledge and a data driven approach for identifying events from text. COfEE consists of two hierarchy levels (event types and event sub types) that include new categories relating to environmental issues, cyberspace and criminal activity which need to be monitored instantly. Also, dynamic roles according to each event sub type are defined to capture various dimensions of events. In a follow up experiment, the proposed ontology is evaluated on Wikipedia events, and it is shown to be general and comprehensive. Moreover, in order to facilitate the preparation of gold standard data for event extraction, a language independent online tool is presented based on COfEE. A gold standard dataset annotated by 10 human experts is also prepared consisting 24K news articles in Persian language. Finally, we present a supervised method based on deep learning techniques to automatically extract relevant events and corresponding actors.


DP Train, then DP Compress Model Compression in Deep Potential Molecular Dynamics. Machine learning based interatomic potential energy surface (PES) models are revolutionizing the field of molecular modeling. However, although much faster than electronic structure schemes, these models suffer from a lower efficiency as compared to typical empirical force fields due to more sophisticated computations involved. Herein, we report a model compression scheme for boosting the performance of the Deep Potential (DP) model, a deep learning based PES model. This scheme, we call DP Compress, is an efficient post processing step after the training of DP models (DP Train). DP Compress combines several DP specific compression techniques, which typically speed up DP based molecular dynamics simulations by an order of magnitude faster, and consume an order of magnitude less memory. We demonstrate that DP Compress is sufficiently accurate by testing a variety of physical properties of Cu, H2O, and Al Cu Mg systems. DP Compress applies to both CPU and GPU machines and is publicly available at https github.com deepmodeling deepmd kit.


MM Rec Multimodal News Recommendation. Accurate news representation is critical for news recommendation. Most of existing news representation methods learn news representations only from news texts while ignore the visual information in news like images. In fact, users may click news not only because of the interest in news titles but also due to the attraction of news images. Thus, images are useful for representing news and predicting user behaviors. In this paper, we propose a multimodal news recommendation method, which can incorporate both textual and visual information of news to learn multimodal news representations. We first extract region of interests (ROIs) from news images via object detection. Then we use a pre trained visiolinguistic model to encode both news texts and news image ROIs and model their inherent relatedness using co attentional Transformers. In addition, we propose a crossmodal candidate aware attention network to select relevant historical clicked news for accurate user modeling by measuring the crossmodal relatedness between clicked news and candidate news. Experiments validate that incorporating multimodal news information can effectively improve news recommendation.


physics.comp-ph cs.NA math.NA physics.flu-dyn

A consistent and conservative model and its scheme for N phase M component incompressible flows. In the present work, we propose a consistent and conservative model for multiphase and multicomponent incompressible flows, where there can be arbitrary numbers of phases and components. Each phase has a background fluid called the pure phase, each pair of phases is immiscible, and components are dissolvable in some specific phases. The model is developed based on the multiphase Phase Field model including the contact angle boundary condition, the diffuse domain approach, and the analyses on the proposed consistency conditions for multiphase and multicomponent flows. The model conserves the mass of individual pure phases, the amount of each component in its dissolvable region, and thus the mass of the fluid mixture, and the momentum of the flow. It ensures that no fictitious phases or components can be generated and that the summation of the volume fractions from the Phase Field model is unity everywhere so that there is no local void or overfilling. It satisfies a physical energy law and it is Galilean invariant. A corresponding numerical scheme is developed for the proposed model, whose formal accuracy is 2nd order in both time and space. It is shown to be consistent and conservative and its solution is demonstrated to preserve the Galilean invariance and energy law. Numerical tests indicate that the proposed model and scheme are effective and robust to study various challenging multiphase and multicomponent flows.


A ruthenium oxide thermometer for dilution refrigerators operating down to 5 mK. At the lowest temperatures achieved in dilution refrigerators, ruthenium oxide resistance thermometers often saturate and therefore lose their sensitivity. In an effort to extend the range of such temperature sensors, we built a thermometer which maintains sensitivity to 5 mK. A key component of this thermometer is an in situ radio frequency filter which is based on a modern rf absorption material. We show that the use of such a filter is only effective when it is encased in the same rf tight enclosure as the ruthenium oxide sensor. Our design delivers an attenuation level that is necessary to mitigate the effects of parasitic heating of a fraction of pW present in our circuit. Furthermore, we show that the likely origin of this parasitic heating is the black body radiation present within the experimental space of the refrigerator. We found that the equilibration time of the thermometer increases rapidly as the temperature is lowered below 5 mK this thermometer becomes impractical because of the prohibitively long equilibration times.


Enlaces de r 'adio de longa dist ancia utilizando a banda de HF. The interest in the use of the HF band in telecommunication has increased significantly in the last decade, mainly due to the development of new standards for military telecommunications in HF, as well as the expansion of digital broadcasting in the HF band. More specifically, these new standards allow the implementation of links of hundreds or thousands of kilometers at a low cost, which suggests a widespread adoption can occur. In Brazil, this type of communication can be used in remote regions or regions of difficult access, such as the Amazon rain forest region. In addition to the evolution of technologies concerning the physical layer of the HF telecommunication systems, there has been a great development of techniques that use machine learning algorithms for audio and image coding. It is believed that all these advances will enable the use of the HF band for communication services in places without telecommunication infrastructure. This work presents recent applications of HF radio for digital links in Brazil, describing the challenges present for the development of telecommunication systems in the HF band.


TransMEF A Transformer Based Multi Exposure Image Fusion Framework using Self Supervised Multi Task Learning. In this paper, we propose TransMEF, a transformer based multi exposure image fusion framework that uses self supervised multi task learning. The framework is based on an encoder decoder network, which can be trained on large natural image datasets and does not require ground truth fusion images. We design three self supervised reconstruction tasks according to the characteristics of multi exposure images and conduct these tasks simultaneously using multi task learning through this process, the network can learn the characteristics of multi exposure images and extract more generalized features. In addition, to compensate for the defect in establishing long range dependencies in CNN based architectures, we design an encoder that combines a CNN module with a transformer module. This combination enables the network to focus on both local and global information. We evaluated our method and compared it to 11 competitive traditional and deep learning based methods on the latest released multi exposure image fusion benchmark dataset, and our method achieved the best performance in both subjective and objective evaluations.


Vector fields with big and small volume on mathbb S 2 . We search for minimal volume vector fields on a given Riemann surface, specialising on the case of M star , this is, the 2 sphere with two antipodal points removed. We discuss the homology theory of the unit sphere tangent bundle (SM star, partial SM star) in relation with calibrations and a minimal volume equation. We find a family X mathrm m ,k , k in mathbb N , called the meridian type vector fields, defined globally and with unbounded volume on any given open subset Omega of M star . In other words, we have that forall Omega , lim k mathrm vol ( X mathrm m ,k Omega ) infty . These are the strong candidates to being the minimal volume vector fields in their homology class, since they satisfy textit great equations. We also show a vector field X ell on a specific region Omega 1 subset mathbb S 2 with volume smaller than any other known optimal vector field restricted to Omega 1 .


Quantum Cognitively Motivated Decision Fusion for Video Sentiment Analysis. Video sentiment analysis as a decision making process is inherently complex, involving the fusion of decisions from multiple modalities and the so caused cognitive biases. Inspired by recent advances in quantum cognition, we show that the sentiment judgment from one modality could be incompatible with the judgment from another, i.e., the order matters and they cannot be jointly measured to produce a final decision. Thus the cognitive process exhibits "quantum like" biases that cannot be captured by classical probability theories. Accordingly, we propose a fundamentally new, quantum cognitively motivated fusion strategy for predicting sentiment judgments. In particular, we formulate utterances as quantum superposition states of positive and negative sentiment judgments, and uni modal classifiers as mutually incompatible observables, on a complex valued Hilbert space with positive operator valued measures. Experiments on two benchmarking datasets illustrate that our model significantly outperforms various existing decision level and a range of state of the art content level fusion approaches. The results also show that the concept of incompatibility allows effective handling of all combination patterns, including those extreme cases that are wrongly predicted by all uni modal classifiers.


Real Time Incremental Foveal Texture Mapping for Autonomous Vehicles. We propose an end to end real time framework to generate high resolution graphics grade textured 3D map of urban environment. The generated detailed map finds its application in the precise localization and navigation of autonomous vehicles. It can also serve as a virtual test bed for various vision and planning algorithms as well as a background map in the computer games. In this paper, we focus on two important issues (i) incrementally generating a map with coherent 3D surface, in real time and (ii) preserving the quality of color texture. To handle the above issues, firstly, we perform a pose refinement procedure which leverages camera image information, Delaunay triangulation and existing scan matching techniques to produce high resolution 3D map from the sparse input LIDAR scan. This 3D map is then texturized and accumulated by using a novel technique of ray filtering which handles occlusion and inconsistencies in pose refinement. Further, inspired by human fovea, we introduce foveal processing which significantly reduces the computation time and also assists ray filtering to maintain consistency in color texture and coherency in 3D surface of the output map. Moreover, we also introduce texture error (TE) and mean texture mapping error (MTME), which provides quantitative measure of texturing and overall quality of the textured maps.


Schr "odinger's Tree On Syntax and Neural Language Models. In the last half decade, the field of natural language processing (NLP) has undergone two major transitions the switch to neural networks as the primary modeling paradigm and the homogenization of the training regime (pre train, then fine tune). Amidst this process, language models have emerged as NLP's workhorse, displaying increasingly fluent generation capabilities and proving to be an indispensable means of knowledge transfer downstream. Due to the otherwise opaque, black box nature of such models, researchers have employed aspects of linguistic theory in order to characterize their behavior. Questions central to syntax the study of the hierarchical structure of language have factored heavily into such work, shedding invaluable insights about models' inherent biases and their ability to make human like generalizations. In this paper, we attempt to take stock of this growing body of literature. In doing so, we observe a lack of clarity across numerous dimensions, which influences the hypotheses that researchers form, as well as the conclusions they draw from their findings. To remedy this, we urge researchers make careful considerations when investigating coding properties, selecting representations, and evaluating via downstream tasks. Furthermore, we outline the implications of the different types of research questions exhibited in studies on syntax, as well as the inherent pitfalls of aggregate metrics. Ultimately, we hope that our discussion adds nuance to the prospect of studying language models and paves the way for a less monolithic perspective on syntax in this context.


Prediction of Students performance with Artificial Neural Network using Demographic Traits. Many researchers have studied student academic performance in supervised and unsupervised learning using numerous data mining techniques. Neural networks often need a greater collection of observations to achieve enough predictive ability. Due to the increase in the rate of poor graduates, it is necessary to design a system that helps to reduce this menace as well as reduce the incidence of students having to repeat due to poor performance or having to drop out of school altogether in the middle of the pursuit of their career. It is therefore necessary to study each one as well as their advantages and disadvantages, so as to determine which is more efficient in and in what case one should be preferred over the other. The study aims to develop a system to predict student performance with Artificial Neutral Network using the student demographic traits so as to assist the university in selecting candidates (students) with a high prediction of success for admission using previous academic records of students granted admissions which will eventually lead to quality graduates of the institution. The model was developed based on certain selected variables as the input. It achieved an accuracy of over 92.3 percent, showing Artificial Neural Network potential effectiveness as a predictive tool and a selection criterion for candidates seeking admission to a university.


Unsupervised Sentence embeddings by Manifold Approximation and Projection. The concept of unsupervised universal sentence encoders has gained traction recently, wherein pre trained models generate effective task agnostic fixed dimensional representations for phrases, sentences and paragraphs. Such methods are of varying complexity, from simple weighted averages of word vectors to complex language models based on bidirectional transformers. In this work we propose a novel technique to generate sentence embeddings in an unsupervised fashion by projecting the sentences onto a fixed dimensional manifold with the objective of preserving local neighbourhoods in the original space. To delineate such neighbourhoods we experiment with several set distance metrics, including the recently proposed Word Mover's distance, while the fixed dimensional projection is achieved by employing a scalable and efficient manifold approximation method rooted in topological data analysis. We test our approach, which we term EMAP or Embeddings by Manifold Approximation and Projection, on six publicly available text classification datasets of varying size and complexity. Empirical results show that our method consistently performs similar to or better than several alternative state of the art approaches.


Centralization is about Control, not Protocols (Position Paper). Many common consumer'' applications, i.e., applications widely used by non technical users, are now provided by a very small number of companies, even if that set of companies differ across geographic regions, or rely on a very small number of implementations even if the applications are largely standards based. While likely only a partial solution, we can draw on earlier regulatory experiences to facilitate competition or at least lessen the impact of the lack thereof.


A scaled, inexact and adaptive Fast Iterative Soft Thresholding Algorithm for convex image restoration. In this note, we consider a special instance of the scaled, inexact and adaptive generalised Fast Iterative Soft Thresholding Algorithm (SAGE FISTA) recently proposed in (Rebegoldi, Calatroni, '21) for the efficient solution of strongly convex composite optimisation problems. In particular, we address here the sole (non strongly) convex optimisation scenario, which is frequently encountered in many imaging applications. The proposed inexact S FISTA algorithm shows analogies to the variable metric and inexact version of FISTA studied in (Bonettini, Rebegoldi, Ruggiero, '19), the main difference being the use of an adaptive (non monotone) backtracking strategy allowing for the automatic adjustment of the algorithmic step size along the iterations (see (Scheinberg, Goldfarb, Bai, '14, Calatroni, Chambolle, '19)). A quadratic convergence result in function values depending on the backtracking parameters and the upper and lower bounds on the spectrum of the variable metric operators is given. Experimental results on TV image deblurring problems with Poisson noise are then reported for numerical validation, showing improved computational efficiency and precision.


Geometrization of solutions of the generalized classical Yang Baxter equation and a new proof of the Belavin Drinfeld trichotomy. We study solutions to a generalized version of the classical Yang Baxter equation (CYBE) with values in a central simple Lie algebra over a field of characteristic 0 from an algebro geometric perspective. In particular, we describe such solutions using cohomology free sheaves of Lie algebras on projective curves. This framework leads to a new proof of the Belavin Drinfeld trichotomy, which asserts that over the ground field mathbb C any non degenerate solution of the CYBE is either elliptic, trigonometric or rational. Furthermore, we obtain new structural results for solutions of the generalized CYBE over arbitrary fields of characteristic 0. For example, we prove that such solutions can be extended in an appropriate way to rational maps on the product of two curves.


Remark on the Chain rule of fractional derivative in the Sobolev framework. A chain rule for power product is studied with fractional differential operators in the framework of Sobolev spaces. The fractional differential operators are defined by the Fourier multipliers. The chain rule is considered newly in the case where the order of differential operators is between one and two. The study is based on the analogy of the classical chain rule or Leibniz rule.


An efficient and robust monolithic approach to phase field quasi static brittle fracture using a modified Newton method. Variational phase field methods have been shown powerful for the modeling of complex crack propagation without a priori knowledge of the crack path or ad hoc criteria. However, phase field models suffer from their energy functional being non linear and non convex, while requiring a very fine mesh to capture the damage gradient. This implies a high computational cost, limiting concrete engineering applications of the method. In this work, we propose an efficient and robust fully monolithic solver for phase field fracture using a modified Newton method with inertia correction and an energy line search. To illustrate the gains in efficiency obtained with our approach, we compare it to two popular methods for phase field fracture, namely the alternating minimization and the quasi monolithic schemes. To facilitate the evaluation of the time step dependent quasi monolithic scheme, we couple the latter with an extrapolation correction loop controlled by a damage based criteria. Finally, we show through four benchmark tests that the modified Newton method we propose is straightforward, robust, and leads to identical solutions, while offering a reduction in computation time by factors of up to 12 and 6 when compared to the alternating minimization and quasi monolithic schemes.


Manifestation of aberrations in full field optical coherence tomography. We report on a theoretical model for image formation in full field optical coherence tomography (FFOCT). Because the spatial incoherence of the illumination acts as a virtual confocal pinhole in FFOCT, its imaging performance is equivalent to a scanning time gated coherent confocal microscope. In agreement with optical experiments enabling a precise control of aberrations, FFOCT is shown to have nearly twice the resolution of standard imaging at moderate aberration level. Beyond a rigorous study on the sensitivity of FFOCT with respect to aberrations, this theoretical model paves the way towards an optimized design of adaptive optics and rev computational tools for high resolution and deep imaging of biological tissues.


FAPR Fast and Accurate Program Repair for Introductory Programming Courses. In introductory programming courses, it is challenging for instructors to provide debugging feedback on students' incorrect programs. Some recent tools automatically offer program repair feedback by identifying any differences between incorrect and correct programs, but suffer from issues related to scalability, accuracy, and cross language portability. This paper presents FAPR our novel approach that suggests repairs based on program differences in a fast and accurate manner. FAPR is different from current tools in three aspects. First, it encodes syntactic information into token sequences to enable high speed comparison between incorrect and correct programs. Second, to accurately extract program differences, FAPR adopts a novel matching algorithm that maximizes token level matches and minimizes statement level differences. Third, FAPR relies on testing instead of static dynamic analysis to validate and refine candidate repairs, so it eliminates the language dependency or high runtime overhead incurred by complex program analysis. We implemented FAPR to suggest repairs for both C and C programs our experience shows the great cross language portability of FAPR. More importantly, we empirically compared FAPR with a state of the art tool Clara. FAPR suggested repairs for over 95.5 of incorrect solutions. We sampled 250 repairs among FAPR's suggestions, and found 89.6 of the samples to be minimal and correct. FAPR outperformed Clara by suggesting repairs for more cases, creating smaller repairs, producing higher quality fixes, and causing lower runtime overheads. Our results imply that FAPR can potentially help instructors or TAs to effectively locate bugs in incorrect code, and to provide debugging hints guidelines based on those generated repairs.


ON OFF Privacy Against Correlation Over Time. We consider the problem of ON OFF privacy in which a user is interested in the latest message generated by one of n sources available at a server. The user has the choice to turn privacy ON or OFF depending on whether he wants to hide his interest at the time or not. The challenge of allowing the privacy to be toggled between ON and OFF is that the user's online behavior is correlated over time. Therefore, the user cannot simply ignore the privacy requirement when privacy is OFF. We represent the user's correlated requests by an n state Markov chain. Our goal is to design ON OFF privacy schemes with optimal download rate that ensure privacy for past and future requests. We devise a polynomial time algorithm to construct an ON OFF privacy scheme. Moreover, we present an upper bound on the achievable rate. We show that the proposed scheme is optimal and the upper bound is tight for some special families of Markov chains. We also give an implicit characterization of the optimal achievable rate as a linear programming (LP).


Equivariant vector bundles on Drinfeld's halfspace over a finite field. Let mathcal X subset mathbb P k d be Drinfeld's halfspace over a finite field k and let mathcal E be a homogeneous vector bundle on mathbb P k d . The paper deals with two different descriptions of the space of global sections H 0( mathcal X , mathcal E ) as GL d 1 (k) representation. This is an infinite dimensional modular representation. Here we follow the ideas of cite O2,OS treating the p adic case. As a replacement for the universal enveloping algebra we consider both the crystalline universal enveloping algebra and the ring of differential operators on the flag variety with respect to mathcal E .


Unsteady mass transfer from a core shell cylinder in crossflow. Mass transfer from a composite cylinder made of an inner core and an outer enveloping semipermeable shell under channel crossflow is studied numerically using two dimensional lattice Boltzmann simulations. The core is initially loaded with a solute that diffuses passively through the shell towards the fluid. The cylinder internal structure and the initial condition considered in this study differ and thus complement the classical studies dealing with homogeneous uncoated cylinders whose surfaces are sustained at either constant concentration or constant mass flux. Here, the cylinder acts as a reservoir endowed with a shell that controls the leakage rate of the encapsulated solute. The transition from steady to unsteady laminar flow regime, around the cylinder, alters the released solute spatial distribution and the mass transfer efficiency, which is characterized by the Sherwood number (the dimensionless mass transfer coefficient). Moreover, the reservoir involves unsteady and continuous boundary conditions, which lead to unsteady and nonuniform distribution of both the concentration and the mass flux at the cylinder surface. The effect of adding a coating shell is highlighted, for a given ratio of the cylinder diameter to the channel width, by extracting a correlation from the computed data set. This new correlation shows explicit dependency of the Sherwood number upon the shell solute permeability (the shell mass transfer coefficient).


Pricing without no arbitrage condition in discrete time. In a discrete time setting, we study the central problem of giving a fair price to some financial product. For several decades, the no arbitrage conditions and the martingale measures have played a major role for solving this problem. We propose a new approach for estimating the super replication cost based on convex duality instead of martingale measures duality The prices are expressed using Fenchel conjugate and bi conjugate without using any no arbitrage condition.The super hedging problem resolution leads endogenously to a weak no arbitrage condition called Absence of Instantaneous Profit (AIP) under which prices are finite. We study this condition in details, propose several characterizations and compare it to the no arbitrage condition.


Controlled Evaluation of Grammatical Knowledge in Mandarin Chinese Language Models. Prior work has shown that structural supervision helps English language models learn generalizations about syntactic phenomena such as subject verb agreement. However, it remains unclear if such an inductive bias would also improve language models' ability to learn grammatical dependencies in typologically different languages. Here we investigate this question in Mandarin Chinese, which has a logographic, largely syllable based writing system different word order and sparser morphology than English. We train LSTMs, Recurrent Neural Network Grammars, Transformer language models, and Transformer parameterized generative parsing models on two Mandarin Chinese datasets of different sizes. We evaluate the models' ability to learn different aspects of Mandarin grammar that assess syntactic and semantic relationships. We find suggestive evidence that structural supervision helps with representing syntactic state across intervening content and improves performance in low data settings, suggesting that the benefits of hierarchical inductive biases in acquiring dependency relationships may extend beyond English.


BioLeaF A Bio plausible Learning Framework for Training of Spiking Neural Networks. Our brain consists of biological neurons encoding information through accurate spike timing, yet both the architecture and learning rules of our brain remain largely unknown. Comparing to the recent development of backpropagation based (BP based) methods that are able to train spiking neural networks (SNNs) with high accuracy, biologically plausible methods are still in their infancy. In this work, we wish to answer the question of whether it is possible to attain comparable accuracy of SNNs trained by BP based rules with bio plausible mechanisms. We propose a new bio plausible learning framework, consisting of two components a new architecture, and its supporting learning rules. With two types of cells and four types of synaptic connections, the proposed local microcircuit architecture can compute and propagate error signals through local feedback connections and support training of multi layers SNNs with a globally defined spiking error function. Under our microcircuit architecture, we employ the Spike Timing Dependent Plasticity (STDP) rule operating in local compartments to update synaptic weights and achieve supervised learning in a biologically plausible manner. Finally, We interpret the proposed framework from an optimization point of view and show the equivalence between it and the BP based rules under a special circumstance. Our experiments show that the proposed framework demonstrates learning accuracy comparable to BP based rules and may provide new insights on how learning is orchestrated in biological systems.


Boundedness and finite time blow up in a quasilinear parabolic elliptic elliptic attraction repulsion chemotaxis system. This paper deals with the quasilinear attraction repulsion chemotaxis system begin align begin cases u t nabla cdot big((u 1) m 1 nabla u chi u(u 1) p 2 nabla v xi u(u 1) q 2 nabla w big) f(u), 1.05mm 0 Delta v alpha u beta v, 1.05mm 0 Delta w gamma u delta w end cases end align in a bounded domain Omega subset mathbb R n ( n in mathbb N ) with smooth boundary partial Omega , where m, p, q in mathbb R , chi, xi, alpha, beta, gamma, delta 0 are constants. Moreover, it is supposed that the function f satisfies f(u) equiv0 in the study of boundedness, whereas, when considering blow up, it is assumed that m 0 and f is a function of logistic type such as f(u) lambda u mu u kappa with lambda ge 0 , mu 0 and kappa 1 sufficiently close to 1 , in the radially symmetric setting. In the case that xi 0 and f(u) equiv 0 , global existence and boundedness have been proved under the condition p m frac2n . Also, in the case that m 1 , p q 2 and f is a function of logistic type, finite time blow up has been established by assuming chi alpha xi gamma 0 . This paper classifies boundedness and blow up into the cases p q and p q without any condition for the sign of chi alpha xi gamma and the case p q with chi alpha xi gamma 0 or chi alpha xi gamma 0 .


MIPT NSU UTMN at SemEval 2021 Task 5 Ensembling Learning with Pre trained Language Models for Toxic Spans Detection. This paper describes our system for SemEval 2021 Task 5 on Toxic Spans Detection. We developed ensemble models using BERT based neural architectures and post processing to combine tokens into spans. We evaluated several pre trained language models using various ensemble techniques for toxic span identification and achieved sizable improvements over our baseline fine tuned BERT models. Finally, our system obtained a F1 score of 67.55 on test data.


On Discrete Time Approximations to Infinite Horizon Differential Games. In this paper we study a discrete time semidiscretization of an infinite time horizon noncooperative N player differential game. We prove that as the discretization time step approaches zero the discrete time value function approximate the value function of the differential game. Furthermore, the discrete time Nash equilibrium is an epsilon Nash equilibrium for the continuous time differential game.


A Modular Workflow for Performance Benchmarking of Neuronal Network Simulations. Modern computational neuroscience strives to develop complex network models to explain dynamics and function of brains in health and disease. This process goes hand in hand with advancements in the theory of neuronal networks and increasing availability of detailed anatomical data on brain connectivity. Large scale models that study interactions between multiple brain areas with intricate connectivity and investigate phenomena on long time scales such as system level learning require progress in simulation speed. The corresponding development of state of the art simulation engines relies on information provided by benchmark simulations which assess the time to solution for scientifically relevant, complementary network models using various combinations of hardware and software revisions. However, maintaining comparability of benchmark results is difficult due to a lack of standardized specifications for measuring the scaling performance of simulators on high performance computing (HPC) systems. Motivated by the challenging complexity of benchmarking, we define a generic workflow that decomposes the endeavor into unique segments consisting of separate modules. As a reference implementation for the conceptual workflow, we develop beNNch an open source software framework for the configuration, execution, and analysis of benchmarks for neuronal network simulations. The framework records benchmarking data and metadata in a unified way to foster reproducibility. For illustration, we measure the performance of various versions of the NEST simulator across network models with different levels of complexity on a contemporary HPC system, demonstrating how performance bottlenecks can be identified, ultimately guiding the development toward more efficient simulation technology.


Conductive and convective heat transfer in inductive heating of subsea buried pipelines. Inductive heating with high voltage cables reduces the risk of hydrate formation by raising the temperature of the production fluid in pipelines. Heating the pipeline results in losing a certain fraction of the heat to the surrounding soil through conduction or convection dominated flow through the soil. However, the amount of heat lost in conduction versus convection and the transition from conduction to convection dominated heat loss remains unknown. Soil permeability, temperature gradient between cable and mudline, and burial depth influence the mode of heat transfer and the amount of heat lost. We study the dominant mode of heat transfer in pipelines with inductive heating using 2D Finite Difference analysis under different soil and environmental conditions. Low permeability soils primarily exhibit conductive heat transfer, thus losing minimum heat to the surrounding soil. In contrast, convective flow drives a significant fraction of the heat away from the pipeline and towards the ground surface for highly permeable soils, barely heating the fluid in the pipe. We identify a critical Rayleigh Darcy number of 1 as the controlling value separating conduction and convection dominated heat transfer. An increase in burial depth deteriorates the heating efficiency in convection dominated high permeability soils, while it remains unaffected in conduction dominated low permeability soils.


Descente fid element plate et alg 'ebrisation en g 'eom 'etrie de Berkovich. This article studies descent theory in the setting of Berkovich spaces. We give sufficient conditions for a given fibered category over the category of k affinoid algebras to be a stack for the Berkovich analogue of the faithfully flat topology. We give some applications to the faithfully flat descent of morphisms and show that some descent data are always effective. We also show that the property of being algebraic for a morphism between the analytification of two schemes is a local property for the faithfully flat topology.


Two octave supercontinuum generation in a non silica graded index multimode fiber. The generation of a two octave supercontinuum from the visible to mid infrared (700 2800 nm) in a non silica graded index multimode fiber is reported. The fiber design is based on a nanostructured core comprised of two types of drawn lead bismuth gallate glass rods with different refractive indices. This structure yields an effective parabolic index profile, an extended transmission window, and ten times increased nonlinearity when compared to silica fibers. Using femtosecond pulse pumping at wavelengths in both normal and anomalous dispersion regimes, a detailed study is carried out into the supercontinuum generating mechanisms and instabilities seeded by periodic self imaging. Significantly, suitable injection conditions in the high power regime are found to result in the output beam profile showing clear signatures of beam self cleaning from nonlinear mode mixing. Experimental observations are interpreted using spatio temporal 3 1D numerical simulations of the generalized nonlinear Schr "odinger equation, and simulated spectra are in excellent agreement with experiment over the full two octave spectral bandwidth. These results demonstrate a new pathway towards the generation of bright, ultrabroadband light sources in the mid infrared.


Closed Loop Data Transcription to an LDR via Minimaxing Rate Reduction. This work proposes a new computational framework for learning a structured generative model for real world datasets. In particular, we propose to learn a closed loop transcription between a multi class multi dimensional data distribution and a linear discriminative representation (LDR) in the feature space that consists of multiple independent multi dimensional linear subspaces. In particular, we argue that the optimal encoding and decoding mappings sought can be formulated as the equilibrium point of a two player minimax game between the encoder and decoder. A natural utility function for this game is the so called rate reduction, a simple information theoretic measure for distances between mixtures of subspace like Gaussians in the feature space. Our formulation draws inspiration from closed loop error feedback from control systems and avoids expensive evaluating and minimizing approximated distances between arbitrary distributions in either the data space or the feature space. To a large extent, this new formulation unifies the concepts and benefits of Auto Encoding and GAN and naturally extends them to the settings of learning a both discriminative and generative representation for multi class and multi dimensional real world data. Our extensive experiments on many benchmark imagery datasets demonstrate tremendous potential of this new closed loop formulation under fair comparison, visual quality of the learned decoder and classification performance of the encoder is competitive and often better than existing methods based on GAN, VAE, or a combination of both. Unlike existing generative models, the so learned features of the multiple classes are structured different classes are explicitly mapped onto corresponding independent principal subspaces in the feature space. Source code can be found at https github.com Delay Xili LDR.


Bialgebras, Frobenius algebras and associative Yang Baxter equations for Rota Baxter algebras. Rota Baxter operators and bialgebras go hand in hand in their applications, such as in the Connes Kreimer approach to renormalization and the operator approach to the classical Yang Baxter equation. We establish a bialgebra structure that is compatible with the Rota Baxter operator, called the Rota Baxter antisymmetric infinitesimal (ASI) bialgebra. This bialgebra is characterized by generalizations of matched pairs of algebras and double constructions of Frobenius algebras to the context of Rota Baxter algebras. The study of the coboundary case leads to an enrichment of the associative Yang Baxter equation (AYBE) to Rota Baxter algebras. Antisymmetric solutions of the equation are used to construct Rota Baxter ASI bialgebras. The notions of an mathcal O operator on a Rota Baxter algebra and a Rota Baxter dendriform algebra are also introduced to produce solutions of the AYBE in Rota Baxter algebras and thus to provide Rota Baxter ASI bialgebras. An unexpected byproduct is that a Rota Baxter ASI bialgebra of weight zero gives rise to a quadri bialgebra instead of bialgebra constructions for the dendriform algebra.


Regularity criteria for the Kuramoto Sivashinsky equation in dimensions two and three. We propose and prove several regularity criteria for the 2D and 3D Kuramoto Sivashinsky equation, in both its scalar and vector forms. In particular, we examine integrability criteria for the regularity of solutions in terms of the scalar solution phi , the vector solution u triangleq nabla phi , as well as the divergence text div (u) Delta phi , and each component of u and nabla u . We also investigate these criteria computationally in the 2D case, and we include snapshots of solutions for several quantities of interest that arise in energy estimates.


An approximation to steady state of M Ph n M queue. In this paper, we develop a stochastic algorithm based on Euler Maruyama scheme to approximate the invariant measure of the limiting multidimensional diffusion of the M Ph n M queue. Specifically, we prove a non asymptotic error bound between the invariant measures of the approximate model from the algorithm and the limiting diffusion of the queueing model. Our result also provides an approximation to the steady state of the diffusion scaled queueing processes in the Halfin Whitt regime given the well established interchange of limits property. To establish the error bound, we employ the recently developed Stein's method for multi dimensional diffusions, in which the regularity of Stein's equation developed by Gurvich cite Gur1 plays a crucial role. We further prove the central limit theorem (CLT) and the moderate deviation principle (MDP) for the occupation measures of the limiting diffusion of the M Ph n M queue and its Euler Maruyama scheme. In particular, the variance of the CLT of the limiting queue is determined by using Stein's equation and Malliavin calculus.


CBI time changed L 'evy processes for multi currency modeling. We develop a stochastic volatility framework for modeling multiple currencies based on CBI time changed L 'evy processes. The proposed framework captures the typical risk characteristics of FX markets and is coherent with the symmetries of FX rates. Moreover, due to the self exciting behavior of CBI processes, the volatilities of FX rates exhibit self exciting dynamics. By relying on the theory of affine processes, we show that our approach is analytically tractable and that the model structure is invariant under a suitable class of risk neutral measures. A semi closed pricing formula for currency options is obtained by Fourier methods. We propose two calibration methods, also by relying on deep learning techniques, and show that a simple specification of the model can achieve a good fit to market data on a currency triangle.


Remarks on Einstein solitons with certain types of potential vector field. We consider almost Einstein solitons (V, lambda) in a Riemannian manifold when V is a gradient, a solenoidal or a concircular vector field. We explicitly express the function lambda by means of the gradient vector field V and illustrate the result with suitable examples. Moreover, we deduce some geometric properties when the Ricci curvature tensor of the manifold satisfies certain symmetry conditions.


A communication efficient distributed learning framework for smart environments. Due to the pervasive diffusion of personal mobile and IoT devices, many smart environments'' (e.g., smart cities and smart factories) will be, among others, generators of huge amounts of data. Currently, this is typically achieved through centralised cloud based data analytics services. However, according to many studies, this approach may present significant issues from the standpoint of data ownership, and even wireless network capacity. One possibility to cope with these shortcomings is to move data analytics closer to where data is generated. In this paper, we tackle this issue by proposing and analyzing a distributed learning framework, whereby data analytics are performed at the edge of the network, i.e., on locations very close to where data is generated. Specifically, in our framework, partial data analytics are performed directly on the nodes that generate the data, or on nodes close by (e.g., some of the data generators can take this role on behalf of subsets of other nodes nearby). Then, nodes exchange partial models and refine them accordingly. Our framework is general enough to host different analytics services. In the specific case analysed in the paper, we focus on a learning task, considering two distributed learning algorithms. Using an activity recognition and a pattern recognition task, both on reference datasets, we compare the two learning algorithms between each other and with a central cloud solution (i.e., one that has access to the complete datasets). Our results show that using distributed machine learning techniques, it is possible to drastically reduce the network overhead, while obtaining performance comparable to the cloud solution in terms of learning accuracy. The analysis also shows when each distributed learning approach is preferable, based on the specific distribution of the data on the nodes.


Decomposition of planar graphs with forbidden configurations. A (d,h) decomposition of a graph G is an ordered pair (D, H) such that H is a subgraph of G of maximum degree at most h and D is an acyclic orientation of G E(H) of maximum out degree at most d . In this paper, we prove that for l in 5, 6, 7, 8, 9 , every planar graph without 4 and l cycles is (2,1) decomposable. As a consequence, for every planar graph G without 4 and l cycles, there exists a matching M , such that G M is 3 DP colorable and has Alon Tarsi number at most 3 . In particular, G is 1 defective 3 DP colorable, 1 defective 3 paintable and 1 defective 3 choosable. These strengthen the results in Discrete Appl. Math. 157 (2) (2009) 433 436 and Discrete Math. 343 (2020) 111797 .


Maximal Poisson disk Sampling for Variable Resolution Conforming Delaunay Mesh Generation Applications for Three Dimensional Discrete Fracture Networks and the Surrounding Volume. We propose a two stage algorithm for generating Delaunay triangulations in 2D and Delaunay tetrahedra in 3D that employs near maximal Poisson disk sampling. The method generates a variable resolution mesh in 2 and 3 dimensions in linear run time. The effectiveness of the algorithm is demonstrated by generating an unstructured 3D mesh on a discrete fracture network (DFN). Even though Poisson disk sampling methods do not provide triangulation quality bounds in more than two dimensions, we found that low quality tetrahedra are infrequent enough and could be successfully removed to obtain high quality balanced three dimensional meshes with topologically acceptable tetrahedra.


H "older gradient regularity for the inhomogeneous normalized p(x) Laplace equation. We prove the local gradient H "older regularity of viscosity solutions to the inhomogeneous normalized p(x) Laplace equation Delta u (p(x) 2) frac left langle D 2 uDu,Du right rangle left Du right 2 f(x), where p is Lipschitz continuous, inf p 1 , and f is continuous and bounded.


All longest cycles intersect in partial 3 trees. We show that all longest cycles intersect in 2 connected partial 3 trees.


On the Width of Regular Classes of Finite Structures. In this work, we introduce the notion of decisional width of a finite relational structure and the notion of decisional width of a regular class of finite structures. Our main result states that given a first order formula psi over a vocabulary tau , and a finite automaton F over a suitable alphabet B( Sigma ,w, tau ) representing a width w regular decisional class of tau structures C, one can decide in time f( tau , Sigma , psi ,w) F whether some tau structure in C satisfies psi . Here, f is a function that depends on the parameters tau , Sigma , psi ,w, but not on the size of the automaton F representing the class. Therefore, besides implying that the first order theory of any given regular decisional class of finite structures is decidable, it also implies that when the parameters tau , psi , Sigma and w are fixed, decidability can be achieved in linear time on the size of the input automaton F. Building on the proof of our main result, we show that the problem of counting satisfying assignments for a first order logic formula in a given structure A of width w is fixed parameter tractable with respect to w, and can be solved in quadratic time on the length of the input representation of A.


A Generalization of Cyclic Code and Applications to Public Key Cryptosystems. In this paper, we define and discuss phi cyclic code, which may be regarded as a general form of the ordinary cyclic code. As applications, we explain how to extend two public key encryption schemes, one is McEliece and Niederriter's cryptosystem of which is based on error correcting code theory. Another one is NTRU public key cryptosystem of which is based on polynomial ring theory. The main purpose of this paper is to give a more general construction of NTRU based on ideal matrices and q ary lattice theory.


Fusion research using Azure A100 HPC instances. Fusion simulations have in the past required the use of leadership scale HPC resources to produce advances in physics. One such package is CGYRO, a premier multi scale plasma turbulence simulation code. CGYRO is a typical HPC application that would not fit into a single node, as it requires O(100 GB) of memory and O(100 TFLOPS) worth of compute for relevant simulations. When distributed across multiple nodes, CGYRO requires high throughput and low latency networking to effectively use the compute resources. While in the past such compute may have required hundreds, or even thousands of nodes, recent advances in hardware capabilities allow for just a couple of nodes to deliver the necessary compute power. This paper presents our experience running CGYRO on NVIDIA A100 GPUs on InfiniBand connected HPC resources in the Microsoft Azure Cloud. A comparison to older generation CPU and GPU Azure resources as well as on prem resources is also provided.


Complex Terrain Navigation via Model Error Prediction. Robot navigation traditionally relies on building an explicit map that is used to plan collision free trajectories to a desired target. In deformable, complex terrain, using geometric based approaches can fail to find a path due to mischaracterizing deformable objects as rigid and impassable. Instead, we learn to predict an estimate of traversability of terrain regions and to prefer regions that are easier to navigate (e.g., short grass over small shrubs). Rather than predicting collisions, we instead regress on realized error compared to a canonical dynamics model. We train with an on policy approach, resulting in successful navigation policies using as little as 50 minutes of training data split across simulation and real world. Our learning based navigation system is a sample efficient short term planner that we demonstrate on a Clearpath Husky navigating through a variety of terrain including grassland and forest


Cauchy Formulas and Billey's Formulas for Generalized Grothendieck polynomials. We study the generalized double beta Grothendieck polynomials for all types. We study the Cauchy formulas for them. Using this, we deduce the K theoretic version of the comodule structure map alpha K(G B) to K(G) otimes K(G B) induced by the group action map for reductive group G and its flag variety G B . Furthermore, we give a combinatorial formula to compute the localization of Schubert classes as a generalization of Billey's formula.


Van der Waals phonon polariton microstructures for configurable infrared electromagnetic field localizations. Polar van der Waals (vdW) crystals that support phonon polaritons have recently attracted much attention because they can confine infrared and terahertz (THz) light to deeply subwavelength dimensions, allowing for the guiding and manipulation of light at the nanoscale. The practical applications of these crystals in devices rely strongly on deterministic engineering of their spatially localized electromagnetic field distributions, which has remained challenging. This study demonstrates that polariton interference can be enhanced and tailored by patterning the vdW crystal alpha MoO3 into microstructures that support highly in plane anisotropic phonon polaritons. The orientation of the polaritonic in plane isofrequency curve relative to the microstructure edges is a critical parameter governing the polariton interference, rendering the configuration of infrared electromagnetic field localizations by enabling the tuning of the microstructure size and shape and the excitation frequency. Thus, our study presents an effective rationale for engineering infrared light flow in planar photonic devices.


Approximation with Tensor Networks. Part III Multivariate Approximation. We study the approximation of multivariate functions with tensor networks (TNs). The main conclusion of this work is an answer to the following two questions "What are the approximation capabilities of TNs?" and "What is an appropriate model class of functions that can be approximated with TNs?" To answer the former we show that TNs can (near to) optimally replicate h uniform and h adaptive approximation, for any smoothness order of the target function. Tensor networks thus exhibit universal expressivity w.r.t. isotropic, anisotropic and mixed smoothness spaces that is comparable with more general neural networks families such as deep rectified linear unit (ReLU) networks. Put differently, TNs have the capacity to (near to) optimally approximate many function classes without being adapted to the particular class in question. To answer the latter as a candidate model class we consider approximation classes of TNs and show that these are (quasi )Banach spaces, that many types of classical smoothness spaces are continuously embedded into said approximation classes and that TN approximation classes are themselves not embedded in any classical smoothness space.


Saliency Grafting Innocuous Attribution Guided Mixup with Calibrated Label Mixing. The Mixup scheme suggests mixing a pair of samples to create an augmented training sample and has gained considerable attention recently for improving the generalizability of neural networks. A straightforward and widely used extension of Mixup is to combine with regional dropout like methods removing random patches from a sample and replacing it with the features from another sample. Albeit their simplicity and effectiveness, these methods are prone to create harmful samples due to their randomness. To address this issue, 'maximum saliency' strategies were recently proposed they select only the most informative features to prevent such a phenomenon. However, they now suffer from lack of sample diversification as they always deterministically select regions with maximum saliency, injecting bias into the augmented data. In this paper, we present, a novel, yet simple Mixup variant that captures the best of both worlds. Our idea is two fold. By stochastically sampling the features and 'grafting' them onto another sample, our method effectively generates diverse yet meaningful samples. Its second ingredient is to produce the label of the grafted sample by mixing the labels in a saliency calibrated fashion, which rectifies supervision misguidance introduced by the random sampling procedure. Our experiments under CIFAR, Tiny ImageNet, and ImageNet datasets show that our scheme outperforms the current state of the art augmentation strategies not only in terms of classification accuracy, but is also superior in coping under stress conditions such as data corruption and object occlusion.


Insights into the multiplicity induced dominancy for scalar delay differential equations with two delays. It has been observed in recent works that, for several classes of linear time invariant time delay systems of retarded or neutral type with a single delay, if a root of its characteristic equation attains its maximal multiplicity, then this root is the rightmost spectral value, and hence it determines the exponential behavior of the system, a property usually referred to as multiplicity induced dominancy (MID). In this paper, we investigate the MID property for one of the simplest cases of systems with two delays, a scalar delay differential equation of first order with two delayed terms of order zero. We discuss the standard approach based on the argument principle for establishing the MID property for single delay systems and some of its limitations in the case of our simple system with two delays, before proposing a technique based on crossing imaginary roots that allows to conclude that the MID property holds in our setting.


Fractal Rosette A Stable Space Ground Network Structure in Mega Constellation. We present F Rosette, a stable space ground network structure for low earth orbit (LEO) satellite mega constellations at scale. Due to the dynamic many to many space ground mapping in high mobility, existing LEO mega constellations with IP protocol stack suffer from frequent user IP address changes (every 133 510s per user) and network routing re convergence ( 20 network usability). To provably stabilize the space ground network under high mobility and many to many dynamics, F Rosette adopts a recursive structure over the Rosette constellation, derives a hierarchical and time invariant network address space from a new geographical coordinate system, and ensures efficient and stable routing via geographical to topological routing embedding without re convergence. Our hardware in the loop, trace driven emulations validate F Rosette's stability, near optimal routing ( 1.4 additional delays), and marginal overhead ( 1 CPU, 2MB memory) for resource constrained satellites.


Bivariate Polynomial Codes for Secure Distributed Matrix Multiplication. We consider the problem of secure distributed matrix multiplication (SDMM). Coded computation has been shown to be an effective solution in distributed matrix multiplication, both providing privacy against workers and boosting the computation speed by efficiently mitigating stragglers. In this work, we present a non direct secure extension of the recently introduced bivariate polynomial codes. Bivariate polynomial codes have been shown to be able to further speed up distributed matrix multiplication by exploiting the partial work done by the stragglers rather than completely ignoring them while reducing the upload communication cost and or the workers' storage's capacity needs. We show that, especially for upload communication or storage constrained settings, the proposed approach reduces the average computation time of SDMM compared to its competitors in the literature.


Multiple recurrence and convergence without commutativity. We establish multiple recurrence and convergence results for pairs of zero entropy measure preserving transformations that do not satisfy any commutativity assumptions. Our results cover the case where the iterates of the two transformations are n and n k respectively, where k geq 2 , and the case k 1 remains an open problem. Our starting point is based on the observation that Furstenberg systems of sequences of the form (f(T n k x)) have very special structural properties when k geq 2 . We use these properties and some disjointness arguments in order to get characteristic factors with nilpotent structure for the corresponding ergodic averages, and then finish the proof using some equidistribution results on nilmanifolds.


Geometry of Random Cayley Graphs of Abelian Groups. Consider the random Cayley graph of a finite Abelian group G with respect to k generators chosen uniformly at random, with 1 ll log k ll log G . Draw a vertex U sim operatorname Unif (G) . We show that the graph distance operatorname dist ( mathsf id ,U) from the identity to U concentrates at a particular value M , which is the minimal radius of a ball in mathbb Z k of cardinality at least G , under mild conditions. In other words, the distance from the identity for all but o( G ) of the elements of G lies in the interval M o(M), M o(M) . In the regime k gtrsim log G , we show that the diameter of the graph is also asymptotically M . In the spirit of a conjecture of Aldous and Diaconis (1985), this M depends only on k and G , not on the algebraic structure of G . Write d(G) for the minimal size of a generating subset of G . We prove that the order of the spectral gap is G 2 k when k d(G) asymp k and G lies in a density 1 subset of mathbb N or when k 2 d(G) asymp k . This extends, for Abelian groups, a celebrated result of Alon and Roichman (1994). The aforementioned results all hold with high probability over the random Cayley graph.


A hybrid full wave Markov chain approach to calculating radio frequency wave scattering from Scrape off Layer filaments. The interaction of radio frequency (RF) waves with edge turbulence modifies the incident wave spectrum, and can significantly affect RF heating and current drive in tokamaks. Previous LH scattering models have either used the weak turbulence approximation, or treated more realistic, filamentary turbulence in the ray tracing limit. In this work, a new model is introduced which retains full wave effects of RF scattering in filamentary turbulence. First, a Mie scattering technique models the interaction of an incident wave with a single Gaussian filament. Next, an effective differential scattering width is derived for a statistical ensemble of filaments. Lastly, a Markov chain solves for the transmitted wave spectrum in slab geometry. This model is applied to LH launch for current drive. The resulting wave spectrum is asymmetrically broadened in wave number angle space. This asymmetry is not accounted for in previous LH scattering models. The modified wave spectrum is coupled to a ray tracing Fokker Planck solver (GENRAY CQL3D) to study its impact on current drive. The resulting current profile is greatly altered, and there is significant increase in on axis current and decrease in off axis peaks. This is attributed to a portion of the modified wave spectrum that strongly damps on axis during first pass.


Prediction Model for Mortality Analysis of Pregnant Women Affected With COVID 19. COVID 19 pandemic is an ongoing global pandemic which has caused unprecedented disruptions in the public health sector and global economy. The virus, SARS CoV 2 is responsible for the rapid transmission of coronavirus disease. Due to its contagious nature, the virus can easily infect an unprotected and exposed individual from mild to severe symptoms. The study of the virus effects on pregnant mothers and neonatal is now a concerning issue globally among civilians and public health workers considering how the virus will affect the mother and the neonates health. This paper aims to develop a predictive model to estimate the possibility of death for a COVID diagnosed mother based on documented symptoms dyspnea, cough, rhinorrhea, arthralgia, and the diagnosis of pneumonia. The machine learning models that have been used in our study are support vector machine, decision tree, random forest, gradient boosting, and artificial neural network. The models have provided impressive results and can accurately predict the mortality of pregnant mothers with a given input.The precision rate for 3 models(ANN, Gradient Boost, Random Forest) is 100 The highest accuracy score(Gradient Boosting,ANN) is 95 ,highest recall(Support Vector Machine) is 92.75 and highest f1 score(Gradient Boosting,ANN) is 94.66 . Due to the accuracy of the model, pregnant mother can expect immediate medical treatment based on their possibility of death due to the virus. The model can be utilized by health workers globally to list down emergency patients, which can ultimately reduce the death rate of COVID 19 diagnosed pregnant mothers.


Integer matrix factorisations, superalgebras and the quadratic form obstruction. We identify and analyse obstructions to factorisation of integer matrices into products N T N or N 2 of matrices with rational or integer entries. The obstructions arise as quadratic forms with integer coefficients and raise the question of the discrete range of such forms. They are obtained by considering matrix decompositions over a superalgebra. We further obtain a formula for the determinant of a square matrix in terms of adjugates of these matrix decompositions, as well as identifying a it co Latin symmetry space.


Fast Online Planning for Bipedal Locomotion via Centroidal Model Predictive Gait Synthesis. The planning of whole body motion and step time for bipedal locomotion is constructed as a model predictive control (MPC) problem, in which a sequence of optimization problems needs to be solved online. While directly solving these problems is extremely time consuming, we propose a predictive gait synthesizer to offer immediate solutions. Based on the full dimensional model, a library of gaits with different speeds and periods is first constructed offline. Then the proposed gait synthesizer generates real time gaits at 1kHz by synthesizing the gait library based on the online prediction of centroidal dynamics. We prove that the constructed MPC problem can ensure the uniform ultimate boundedness (UUB) of the CoM states and show that our proposed gait synthesizer can provide feasible solutions to the MPC optimization problems. Simulation and experimental results on a bipedal robot with 8 degrees of freedom (DoF) are provided to show the performance and robustness of this approach.


Universal functions for the Sharkovsky classes of maps. We exhibit a single interval map (called universal map) that admits all those orbit patterns which are available in the first Sharkovsky class. An interval map is said to be in the first Sharkovsky class if every periodic point of it is a fixed point. This provides a way to find universal maps in the class of contractions on interval. We also characterize all such universal maps in the first Sharkovsky class.


DeepHelp Deep Learning for Shout Crisis Text Conversations. The Shout Crisis Text Line provides individuals undergoing mental health crises an opportunity to have an anonymous text message conversation with a trained Crisis Volunteer (CV). This project partners with Shout and its parent organisation, Mental Health Innovations, to explore the applications of Machine Learning in understanding Shout's conversations and improving its service. The overarching aim of this project is to develop a proof of concept model to demonstrate the potential of applying deep learning to crisis text messages. Specifically, this project aims to use deep learning to (1) predict an individual's risk of suicide or self harm, (2) assess conversation success and CV skill using robust metrics, and (3) extrapolate demographic information from a texter survey to conversations where the texter did not complete the survey. To these ends, contributions to deep learning include a modified Transformer over BERT model a framework for multitask learning to improve generalisation in the presence of sparse labels and a mathematical model for using imperfect machine learning models to estimate population parameters from a biased training set. Key results include a deep learning model with likely better performance at predicting suicide risk than trained CVs and the ability to predict whether a texter is 21 or under with 88.4 accuracy. We produce three metrics for conversation success and evaluate the validity and usefulness for each. Finally, reversal of participation bias provides evidence that women, who make up 80.3 of conversations with an associated texter survey, make up closer to 73.5 74.8 of all conversations and that if, after every conversation, the texter had shared whether they found their conversation helpful, affirmative answers would fall from 85.1 to 45.45 46.51 .


Solution of Wiener Hopf and Fredholm integral equations by fast Hilbert and Fourier transforms. We present numerical methods based on the fast Fourier transform (FFT) to solve convolution integral equations on a semi infinite interval (Wiener Hopf equation) or on a finite interval (Fredholm equation). We extend and improve a FFT based method for the Wiener Hopf equation due to Henery, expressing it in terms of the Hilbert transform, and computing the latter in a more sophisticated way with sinc functions. We then generalise our method to the Fredholm equation reformulating it as two coupled Wiener Hopf equations and solving them iteratively. We provide numerical tests and open source code.


Overcome Anterograde Forgetting with Cycled Memory Networks. Learning from a sequence of tasks for a lifetime is essential for an agent towards artificial general intelligence. This requires the agent to continuously learn and memorize new knowledge without interference. This paper first demonstrates a fundamental issue of lifelong learning using neural networks, named anterograde forgetting, i.e., preserving and transferring memory may inhibit the learning of new knowledge. This is attributed to the fact that the learning capacity of a neural network will be reduced as it keeps memorizing historical knowledge, and the fact that conceptual confusion may occur as it transfers irrelevant old knowledge to the current task. This work proposes a general framework named Cycled Memory Networks (CMN) to address the anterograde forgetting in neural networks for lifelong learning. The CMN consists of two individual memory networks to store short term and long term memories to avoid capacity shrinkage. A transfer cell is designed to connect these two memory networks, enabling knowledge transfer from the long term memory network to the short term memory network to mitigate the conceptual confusion, and a memory consolidation mechanism is developed to integrate short term knowledge into the long term memory network for knowledge accumulation. Experimental results demonstrate that the CMN can effectively address the anterograde forgetting on several task related, task conflict, class incremental and cross domain benchmarks.


Evaluating Predictive Uncertainty and Robustness to Distributional Shift Using Real World Data. Most machine learning models operate under the assumption that the training, testing and deployment data is independent and identically distributed (i.i.d.). This assumption doesn't generally hold true in a natural setting. Usually, the deployment data is subject to various types of distributional shifts. The magnitude of a model's performance is proportional to this shift in the distribution of the dataset. Thus it becomes necessary to evaluate a model's uncertainty and robustness to distributional shifts to get a realistic estimate of its expected performance on real world data. Present methods to evaluate uncertainty and model's robustness are lacking and often fail to paint the full picture. Moreover, most analysis so far has primarily focused on classification tasks. In this paper, we propose more insightful metrics for general regression tasks using the Shifts Weather Prediction Dataset. We also present an evaluation of the baseline methods using these metrics.


Multi spectral programmable absorbers. We designed and demonstrated a multi spectral programmable perfect absorber that exploits two different phase change materials. This programmability is possible by resonantly coupling two phase change materials, a Ge2Sb2Te5 layer to vanadium dioxide nanoparticles (VO2 NPs). The perfect absorption is attributed to the coalescence of gap plasmon modes excited between the NPs and waveguide cavity like modes excited between the film and the NPs. The absorptance peak ( 90 ) can be tuned to four different infrared (IR) wavelengths from 1906 to 2960 nm by heating the structure to different temperatures. The perfect absorber is reconfigurable, lithography free, large scale, polarization insensitive omnidirectional. Our strategy opens a new path for programmable infrared photonics.


A continuum and computational framework for viscoelastodynamics finite deformation linear models. This work concerns the continuum basis and numerical formulation for deformable materials with viscous dissipative mechanisms. We derive a viscohyperelastic modeling framework based on fundamental thermomechanical principles. Since most large deformation problems exhibit the isochoric property, our modeling work is constructed based on the Gibbs free energy in order to develop a continuum theory using the pressure primitive variables, which is known to be well behaved in the incompressible limit. With a general theory presented, we focus on a family of free energies that leads to the so called finite deformation linear model. Our derivation elucidates the origin of the evolution equations of that model, which was originally proposed heuristically. In our derivation, the thermodynamic inconsistency is clarified and rectified. We then discuss the relaxation property of the non equilibrium stress in the thermodynamic equilibrium limit and its implication on the form of free energy. A modified version of the identical polymer chain model is then proposed, with a special case being the model proposed by G. Holzapfel and J. Simo. Based on the consistent modeling framework, a provably energy stable numerical scheme is constructed for incompressible viscohyperelasticity using inf sup stable elements. In particular, we adopt a suite of smooth generalization of the Taylor Hood element based on Non Uniform Rational B Splines (NURBS) for spatial discretization. The temporal discretization is performed via the generalized alpha scheme. We present a suite of numerical results to corroborate the proposed numerical properties, including the nonlinear stability, robustness under large deformation, and the stress accuracy resolved by the higher order elements.


LightSeq2 Accelerated Training for Transformer based Models on GPUs. Transformer based models have proven to be powerful in many natural language, computer vision, and speech recognition applications. It is expensive to train these types of models due to unfixed input length, complex computation, and large numbers of parameters. Existing systems either only focus on efficient inference or optimize only BERT like encoder models. In this paper, we present LightSeq2, a system for efficient training of Transformer based models on GPUs. We propose a series of GPU optimization techniques tailored to computation flow and memory access patterns of neural layers in Transformers. LightSeq2 supports a variety of network architectures, including BERT (encoder only), GPT (decoder only), and Transformer (encoder decoder). Our experiments on GPUs with varying models and datasets show that LightSeq2 is 1.4 3.5x faster than previous systems. In particular, it gains 308 training speedup compared with existing systems on a large public machine translation benchmark (WMT14 English German).


Geometry and analysis of contact instantons and entanglement of Legendrian links I. We introduce the class of tame contact manifolds (M, lambda) , which includes compact ones but not necessarily compact, and establish uniform a priori C 0 estimates for the nonlinear elliptic boundary value problem of Hamiltonian perturbed contact instantons with the Legendrian boundary condition introduced in Oh21b . We study the problem of estimating the untangling energy of one Legendrian submanifold from the Reeb flow trace of another, and formulate a particularly designed parameterized moduli space for the study of the problem. We establish the Gromov Floer Hofer type convergence result for Hamiltonian perturbed contact instantons of finite energy and construct its compactification of the moduli space, first by defining the correct energy and then by proving a uniform a priori energy bounds in terms of the oscillation of the relevant contact Hamiltonian. Using this, we prove that the self Reeb untangling energy of a compact Legendrian submanifold R in any tame contact manifold (M, lambda) is greater than that of the period gap T lambda(M,R) of the Reeb chords of R . Then applying the operation of the emph Legendrianization of contactomorphisms we prove a conjecture of Sandon and Shelukhin there exists a translated point for any contactomorphism isotopic to the identity whose oscillation norm is smaller than the period gap of the contact manifold (M, lambda) , and at least operatorname dim H (M, mathbb Z 2) translated points if the contactomorphism is nondegenerate in addition.


Left invariant spray structure on Lie group. We use the technique of invariant frames to study a left invariant spray structure on a Lie group, and calculate its S curvature and Riemann curvature, which generalizes the corresponding formulae in homogeneous Finsler geometry. Using the canonical bi invariant Berwald spray structure as the reference, any left invariant spray structure can be associated with a spray vector field on the Lie algebra. We find the correspondence between geodesics for a left invariant spray structure and the inverse integral curves of its spray vector field. As an application for this correspondence, we provide an alternative proof for Landsberg Conjecture in the case of homogeneous Finsler surfaces.


Challenges and Considerations with Code Mixed NLP for Multilingual Societies. Multilingualism refers to the high degree of proficiency in two or more languages in the written and oral communication modes. It often results in language mixing, a.k.a. code mixing, when a multilingual speaker switches between multiple languages in a single utterance of a text or speech. This paper discusses the current state of the NLP research, limitations, and foreseeable pitfalls in addressing five real world applications for social good crisis management, healthcare, political campaigning, fake news, and hate speech for multilingual societies. We also propose futuristic datasets, models, and tools that can significantly advance the current research in multilingual NLP applications for the societal good. As a representative example, we consider English Hindi code mixing but draw similar inferences for other language pairs