CSI free Rotary Antenna Beamforming for Massive RF Wireless Energy Transfer. Radio frequency (RF) wireless energy transfer (WET) is a key technology that may allow seamlessly powering future massive low energy Internet of Things (IoT) networks. To enable efficient massive WET, channel state information (CSI) limited free multi antenna transmit schemes have been recently proposed in the literature. The idea is to reduce null the energy costs to be paid by energy harvesting (EH) IoT nodes from participating in large scale time power consuming CSI training, but still enable some transmit spatial gains. In this paper, we take another step forward by proposing a novel CSI free rotary antenna beamforming (RAB) WET scheme that outperforms all state of the art CSI free schemes in a scenario where a power beacon (PB) equipped with a uniform linear array (ULA) powers a large set of surrounding EH IoT devices. RAB uses a properly designed CSI free beamformer combined with a continuous or periodic rotation of the ULA at the PB to provide average EH gains that scale as 0.85 sqrt M , where M is the number of PB's antenna elements. Moreover, a rotation specific power control mechanism was proposed to i) fairly optimize the WET process if devices' positioning information is available, and or ii) to avoid hazards to human health in terms of specific absorption rate (SAR). We show that RAB performance even approaches quickly (or surpasses, for scenarios with sufficiently large number of EH devices, or when using the proposed power control) the performance of a traditional full CSI based transmit scheme, and it is also less sensitive to SAR constraints. Finally, we discuss important practicalities related to RAB such as its robustness against non line of sight conditions compared to other CSI free WET schemes, and its generalizability to scenarios where the PB uses other than a ULA topology.


A Multi Scale Method for Distributed Convex Optimization with Constraints. This paper proposes a multi scale method to design a continuous time distributed algorithm for constrained convex optimization problems by using multi agents with Markov switched network dynamics and noisy inter agent communications. Unlike most previous work which mainly puts emphasis on dealing with fixed network topology, this paper tackles the challenging problem of investigating the joint effects of stochastic networks and the inter agent communication noises on the distributed optimization dynamics, which has not been systemically studied in the past literature. Also, in sharp contrast to previous work in constrained optimization, we depart from the use of projected gradient flow which is non smooth and hard to analyze instead, we design a smooth optimization dynamics which leads to easier convergence analysis and more efficient numerical simulations. Moreover, the multi scale method presented in this paper generalizes previously known distributed convex optimization algorithms from the fixed network topology to the switching case and the stochastic averaging obtained in this paper is a generalization of the existing deterministic averaging.


Cosmetic operations and Khovanov multicurves. We prove an equivariant version of the Cosmetic Surgery Conjecture for strongly invertible knots. Our proof combines a recent result of Hanselman with the Khovanov multicurve invariants widetilde operatorname Kh and widetilde operatorname BN . We apply the same techniques to reprove a result of Wang about the Cosmetic Crossing Conjecture and split links. Along the way, we show that widetilde operatorname Kh and widetilde operatorname BN detect if a Conway tangle is split.


Adversarial Neural Networks for Error Correcting Codes. Error correcting codes are a fundamental component in modern day communication systems, demanding extremely high throughput, ultra reliability and low latency. Recent approaches using machine learning (ML) models as the decoders offer both improved performance and great adaptability to unknown environments, where traditional decoders struggle. We introduce a general framework to further boost the performance and applicability of ML models. We propose to combine ML decoders with a competing discriminator network that tries to distinguish between codewords and noisy words, and, hence, guides the decoding models to recover transmitted codewords. Our framework is game theoretic, motivated by generative adversarial networks (GANs), with the decoder and discriminator competing in a zero sum game. The decoder learns to simultaneously decode and generate codewords while the discriminator learns to tell the differences between decoded outputs and codewords. Thus, the decoder is able to decode noisy received signals into codewords, increasing the probability of successful decoding. We show a strong connection of our framework with the optimal maximum likelihood decoder by proving that this decoder defines a Nash equilibrium point of our game. Hence, training to equilibrium has a good possibility of achieving the optimal maximum likelihood performance. Moreover, our framework does not require training labels, which are typically unavailable during communications, and, thus, seemingly can be trained online and adapt to channel dynamics. To demonstrate the performance of our framework, we combine it with the very recent neural decoders and show improved performance compared to the original models and traditional decoding algorithms on various codes.


The effects of spanwise confinement on stratified shear instabilities. We consider the influence of transverse confinement on the instability properties of velocity and density distributions reminiscent of those pertaining to exchange flows in stratified inclined ducts, such as the recent experiment of Lefauve et al. (J. Fluid Mech. 848, 508 544, 2018). Using a normal mode streamwise and temporal expansion for flows in ducts with various aspect ratios B and non trivial transverse velocity profiles, we calculate two dimensional (2D) dispersion relations with associated eigenfunctions varying in the 'crosswise' direction, in which the density varies, and the spanwise direction, both normal to the duct walls and to the flow direction. We also compare these 2D dispersion relations to the so called one dimensional (1D) dispersion relation obtained for spanwise invariant perturbations, for different aspect ratios B and bulk Richardson numbers Ri b . In this limited parameter space, the presence of lateral walls has a stabilizing effect. Furthermore, accounting for spanwise varying perturbations results in a plethora of unstable modes, the number of which increases as the aspect ratio is increased. These modes present an odd even regularity in their spatial structures, which is rationalized by comparison to the so called one dimensional oblique (1D O) dispersion relation obtained for oblique waves. Finally, we show that in most cases, the most unstable 2D mode is the one that oscillates the least in the spanwise direction, as a consequence of viscous damping. However, in a limited region of the parameter space and in the absence of stratification, we show that a secondary mode with a more complex twisted' structure dominated by crosswise vorticity becomes more unstable than the least oscillating Kelvin Helmholtz mode associated with spanwise vorticity.


The Integral of Second order Directional Derivative. Given a two variable function f without critical points and a compact region R bounded by two level curves of f, this note proves that the integral over R of f's second order directional derivative in the tangential directions of the interceding level curves is proportional to the rise in f value over R. Also discussed are variations on this result when critical points are present or R becomes unbounded.


Decision Making For Celebrity Branding An Opinion Mining Approach Based On Polarity And Sentiment Analysis Using Twitter Consumer Generated Content (CGC). The volume of discussions concerning brands within social media provides digital marketers with great opportunities for tracking and analyzing the feelings and views of consumers toward brands, products, influencers, services, and ad campaigns in CGC. The present study aims to assess and compare the performance of firms and celebrities (i.e., influencers that with the experience of being in an ad campaign of those companies) with the automated sentiment analysis that was employed for CGC at social media while exploring the feeling of the consumers toward them to observe which influencer (of two for each company) had a closer effect with the corresponding corporation on consumer minds. For this purpose, several consumer tweets from the pages of brands and influencers were utilized to make a comparison of machine learning and lexicon based approaches to the sentiment analysis through the Naive algorithm (lexicon based) and Naive Bayes algorithm (machine learning method) and obtain the desired results to assess the campaigns. The findings suggested that the approaches were dissimilar in terms of accuracy the machine learning method yielded higher accuracy. Finally, the results showed which influencer was more appropriate according to their existence in previous campaigns and helped choose the right influencer in the future for our company and have a better, more appropriate, and more efficient ad campaign subsequently. It is required to conduct further studies on the accuracy improvement of the sentiment classification. This approach should be employed for other social media CGC types. The results revealed decision making for which sentiment analysis methods are the best approaches for the analysis of social media. It was also found that companies should be aware of their consumers' sentiments and choose the right person every time they think of a campaign.


BERT might be Overkill A Tiny but Effective Biomedical Entity Linker based on Residual Convolutional Neural Networks. Biomedical entity linking is the task of linking entity mentions in a biomedical document to referent entities in a knowledge base. Recently, many BERT based models have been introduced for the task. While these models have achieved competitive results on many datasets, they are computationally expensive and contain about 110M parameters. Little is known about the factors contributing to their impressive performance and whether the over parameterization is needed. In this work, we shed some light on the inner working mechanisms of these large BERT based models. Through a set of probing experiments, we have found that the entity linking performance only changes slightly when the input word order is shuffled or when the attention scope is limited to a fixed window size. From these observations, we propose an efficient convolutional neural network with residual connections for biomedical entity linking. Because of the sparse connectivity and weight sharing properties, our model has a small number of parameters and is highly efficient. On five public datasets, our model achieves comparable or even better linking accuracy than the state of the art BERT based models while having about 60 times fewer parameters.


A refinement of a result of Andrews and Newman on the sum of minimal excludants. We find an interesting refinement of a result due to Andrews and Newman, that is, the sum of minimal excludants over all the partitions of a number n equals the number of distinct parts partitions of n into two colors. In addition, we also study k th moments of minimal excludants by means of generalizing the aforementioned result. At the end, we also provide an alternate proof of a beautiful identity due to Hopkins, Sellers and Stanton.


Fluorescent redox dependent labeling of lipid droplets in cultured cells by reduced phenazine methosulfate. Natural and synthetic phenazines are widely used in biomedical sciences. In dehydrogenase histochemistry, phenazine methosulfate (PMS) is applied as a redox reagent for coupling reduced coenzymes to the reduction of tetrazolium salts into colored formazans. PMS is also currently used for cytotoxicity and viability assays of cell cultures using sulfonated tetrazoliums. Under UV (340 nm) excitation, aqueous solutions of the cationic PMS show green fluorescence ( lambda em 526 nm), whereas the reduced hydrophobic derivative (methyl phenazine, MPH) shows blue fluorescence ( lambda em 465 nm). Under UV (365 nm) excitation, cultured cells (LM2, IGROV 1, BGC 1, and 3T3 L1 adipocytes) treated with PMS (5 ug mL, 30 min) showed cytoplasmic granules with bright blue fluorescence, which correspond to lipid droplets labeled by the lipophilic methyl phenazine. After formaldehyde fixation blue fluorescing droplets could be stained with oil red O. Interestingly, PMS treated 3T3 L1 adipocytes observed under UV excitation 24 h after labeling showed large lipid droplets with a weak green emission within a diffuse pale blue fluorescing cytoplasm, whereas a strong green emission was observed in small lipid droplets. This fluorescence change from blue to green indicates that reoxidation of methyl phenazine to PMS can occur. Regarding cell uptake and labeling mechanisms, QSAR models predict that the hydrophilic PMS is not significantly membrane permeant, so most PMS reduction is expected to be extracellular and associated with a plasma membrane NAD(P)H reductase. Once formed, the lipophilic and blue fluorescing methyl phenazine enters live cells and mainly accumulates in lipid droplets. Overall, the results reported here indicate that PMS is an excellent fluorescent probe to investigate labeling and redox dynamics of lipid droplets in cultured cells.


Compressed Compressor. In this paper, we present a data driven reduced order model of viscous Moore Greitzer (MG) partial differential equation (PDE) by threading together ideas from principal component analysis (PCA) and autoencoder neural networks to sparse regression and compressed sensing. Numerical simulation of the infinite dimensional viscous MG system is reduced into low dimensional data using PCA and autoencoder neural networks based reduced order modelling (ROM) approaches. Based on the observation that MG equations close to bifurcations have a sparse representation (normal form) with respect to high dimensional polynomial spaces, we use the Sparse Identification of Dynamical Systems (SINDy) algorithm which uses a collection of all monomials as sampling matrix and the LASSO algorithm to recover a system of sparse two ordinary differential equations (ODEs) with cubic nonlinearities. The discovered governing equations can be used to fully recover the original system dynamics up to 98.9 accuracy. When dimensional reduction is performed along the dataset's principal components, the resulting low dimensional differential equations will be consistent and have some resemblance to the normal form structure. Additionally, a new nonlinear behaviour is exhibited in viscous MG equations during rotating stall instability past the Hopf bifurcation point.


Investigating molecular crowding during cell division in budding yeast with FRET. Cell division, aging, and stress recovery triggers spatial reorganization of cellular components in the cytoplasm, including membrane bound organelles, with molecular changes in their compositions and structures. However, it is not clear how these events are coordinated and how they integrate with regulation of molecular crowding. We use the budding yeast Saccharomyces cerevisiae as a model system to study these questions using recent progress in optical fluorescence microscopy and crowding sensing probe technology. We used a F " o rster Resonance Energy Transfer (FRET) based sensor, illuminated by confocal microscopy for high throughput analyses and Slimfield microscopy for single molecule resolution, to quantify molecular crowding. We determine crowding in response to cellular growth of both mother and daughter cells, in addition to osmotic stress, and reveal hot spots of crowding across the bud neck in the burgeoning daughter cell. This crowding might be rationalized by the packing of inherited material, like the vacuole, from mother cells. We discuss recent advances in understanding the role of crowding in cellular regulation and key current challenges and conclude by presenting our recent advances in optimizing FRET based measurements of crowding whilst simultaneously imaging a third color, which can be used as a marker that labels organelle membranes. Our approaches can be combined with synchronised cell populations to increase experimental throughput and correlate molecular crowding information with different stages in the cell cycle.


CVSS BERT Explainable Natural Language Processing to Determine the Severity of a Computer Security Vulnerability from its Description. When a new computer security vulnerability is publicly disclosed, only a textual description of it is available. Cybersecurity experts later provide an analysis of the severity of the vulnerability using the Common Vulnerability Scoring System (CVSS). Specifically, the different characteristics of the vulnerability are summarized into a vector (consisting of a set of metrics), from which a severity score is computed. However, because of the high number of vulnerabilities disclosed everyday this process requires lot of manpower, and several days may pass before a vulnerability is analyzed. We propose to leverage recent advances in the field of Natural Language Processing (NLP) to determine the CVSS vector and the associated severity score of a vulnerability from its textual description in an explainable manner. To this purpose, we trained multiple BERT classifiers, one for each metric composing the CVSS vector. Experimental results show that our trained classifiers are able to determine the value of the metrics of the CVSS vector with high accuracy. The severity score computed from the predicted CVSS vector is also very close to the real severity score attributed by a human expert. For explainability purpose, gradient based input saliency method was used to determine the most relevant input words for a given prediction made by our classifiers. Often, the top relevant words include terms in agreement with the rationales of a human cybersecurity expert, making the explanation comprehensible for end users.


FlexTOE Flexible TCP Offload with Fine Grained Parallelism. FlexTOE is a flexible, yet high performance TCP offload engine (TOE) to SmartNICs. FlexTOE eliminates almost all host data path TCP processing and is fully customizable. FlexTOE interoperates well with other TCP stacks, is robust under adverse network conditions, and supports POSIX sockets. FlexTOE focuses on data path offload of established connections, avoiding complex control logic and packet buffering in the NIC. FlexTOE leverages fine grained parallelization of the TCP data path and segment reordering for high performance on wimpy SmartNIC architectures, while remaining flexible via a modular design. We compare FlexTOE on an Agilio CX40 to host TCP stacks Linux and TAS, and to the Chelsio Terminator TOE. We find that Memcached scales up to 38 better on FlexTOE versus TAS, while saving up to 81 host CPU cycles versus Chelsio. FlexTOE provides competitive performance for RPCs, even with wimpy SmartNICs. FlexTOE cuts 99.99th percentile RPC RTT by 3.2 times and 50 versus Chelsio and TAS, respectively. FlexTOE's data path parallelism generalizes across hardware architectures, improving single connection RPC throughput up to 2.4 times on x86 and 4 times on BlueField. FlexTOE supports C and XDP programs written in eBPF. It allows us to implement popular data center transport features, such as TCP tracing, packet filtering and capture, VLAN stripping, flow classification, firewalling, and connection splicing.


CNN with large memory layers. This work is centred around the recently proposed product key memory structure cite large memory , implemented for a number of computer vision applications. The memory structure can be regarded as a simple computation primitive suitable to be augmented to nearly all neural network architectures. The memory block allows implementing sparse access to memory with square root complexity scaling with respect to the memory capacity. The latter scaling is possible due to the incorporation of Cartesian product space decomposition of the key space for the nearest neighbour search. We have tested the memory layer on the classification, image reconstruction and relocalization problems and found that for some of those, the memory layers can provide significant speed accuracy improvement with the high utilization of the key value elements, while others require more careful fine tuning and suffer from dying keys. To tackle the later problem we have introduced a simple technique of memory re initialization which helps us to eliminate unused key value pairs from the memory and engage them in training again. We have conducted various experiments and got improvements in speed and accuracy for classification and PoseNet relocalization models. We showed that the re initialization has a huge impact on a toy example of randomly labeled data and observed some gains in performance on the image classification task. We have also demonstrated the generalization property perseverance of the large memory layers on the relocalization problem, while observing the spatial correlations between the images and the selected memory cells.


Group Aware Threshold Adaptation for Fair Classification. The fairness in machine learning is getting increasing attention, as its applications in different fields continue to expand and diversify. To mitigate the discriminated model behaviors between different demographic groups, we introduce a novel post processing method to optimize over multiple fairness constraints through group aware threshold adaptation. We propose to learn adaptive classification thresholds for each demographic group by optimizing the confusion matrix estimated from the probability distribution of a classification model output. As we only need an estimated probability distribution of model output instead of the classification model structure, our post processing model can be applied to a wide range of classification models and improve fairness in a model agnostic manner and ensure privacy. This even allows us to post process existing fairness methods to further improve the trade off between accuracy and fairness. Moreover, our model has low computational cost. We provide rigorous theoretical analysis on the convergence of our optimization algorithm and the trade off between accuracy and fairness of our method. Our method theoretically enables a better upper bound in near optimality than existing method under same condition. Experimental results demonstrate that our method outperforms state of the art methods and obtains the result that is closest to the theoretical accuracy fairness trade off boundary.


Fairness aware Summarization for Justified Decision Making. In consequential domains such as recidivism prediction, facility inspection, and benefit assignment, it's important for individuals to know the decision relevant information for the model's prediction. In addition, predictions should be fair both in terms of the outcome and the justification of the outcome. In other words, decision relevant features should provide sufficient information for the predicted outcome and should be independent of the membership of individuals in protected groups such as race and gender. In this work, we focus on the problem of (un)fairness in the justification of the text based neural models. We tie the explanatory power of the model to fairness in the outcome and propose a fairness aware summarization mechanism to detect and counteract the bias in such models. Given a potentially biased natural language explanation for a decision, we use a multi task neural model and an attribution mechanism based on integrated gradients to extract high utility and low bias justifications in form of a summary. The extracted summary is then used for training a model to make decisions for individuals. Results on several real world datasets suggest that our method drastically limits the demographic leakage in the input (fairness in justification) while moderately enhancing the fairness in the outcome. Our model is also effective in detecting and counteracting several types of data poisoning attacks that synthesize race coded reasoning or irrelevant justifications.


Keywords Guided Method Name Generation. High quality method names are descriptive and readable, which are helpful for code development and maintenance. The majority of recent research suggest method names based on the text summarization approach. They take the token sequence and abstract syntax tree of the source code as input, and generate method names through a powerful neural network based model. However, the tokens composing the method name are closely related to the entity name within its method implementation. Actually, high proportions of the tokens in method name can be found in its corresponding method implementation, which makes it possible for incorporating these common shared token information to improve the performance of method naming task. Inspired by this key observation, we propose a two stage keywords guided method name generation approach to suggest method names. Specifically, we decompose the method naming task into two subtasks, including keywords extraction task and method name generation task. For the keywords extraction task, we apply a graph neural network based model to extract the keywords from source code. For the method name generation task, we utilize the extracted keywords to guide the method name generation model. We apply a dual selective gate in encoder to control the information flow, and a dual attention mechanism in decoder to combine the semantics of input code sequence and keywords. Experiment results on an open source dataset demonstrate that keywords guidance can facilitate method naming task, which enables our model to outperform the competitive state of the art models by margins of 1.5 3.5 in ROUGE metrics. Especially when programs share one common token with method names, our approach improves the absolute ROUGE 1 score by 7.8 .


Excedance type polynomials and gamma positivity. The object of this paper is to give a systematic treatment of excedance type polynomials. We first give a sufficient condition for a sequence of polynomials to have alternatingly increasing property, and then we present a systematic study of the joint distribution of excedances, fixed points and cycles of permutations and derangements, signed or not, colored or not. Let p in 0,1 and q in 0,1 be two given real numbers. We prove that the cyc q Eulerian polynomials of permutations are bi gamma positive, and the fix and cyc (p,q) Eulerian polynomials of permutations are alternatingly increasing, and so they are unimodal with modes in the middle, where fix and cyc are the fixed point and cycle statistics. When p 1 and q 1 2, we find a combinatorial interpretation of the bi gamma coefficients of the (p,q) Eulerian polynomials. We then study excedance and flag excedance statistics of signed permutations and colored permutations. In particular, we establish the relationships between the (p,q) Eulerian polynomials and some multivariate Eulerian polynomials. Our results unify and generalize a variety of recent results.


Self Calibrating Active Binocular Vision via Active Efficient Coding with Deep Autoencoders. We present a model of the self calibration of active binocular vision comprising the simultaneous learning of visual representations, vergence, and pursuit eye movements. The model follows the principle of Active Efficient Coding (AEC), a recent extension of the classic Efficient Coding Hypothesis to active perception. In contrast to previous AEC models, the present model uses deep autoencoders to learn sensory representations. We also propose a new formulation of the intrinsic motivation signal that guides the learning of behavior. We demonstrate the performance of the model in simulations.


RADICAL Pilot and Parsl Executing Heterogeneous Workflows on HPC Platforms. Executing scientific workflows with heterogeneous tasks on HPC platforms poses several challenges which will be further exacerbated by the upcoming exascale platforms. At that scale, bespoke solutions will not enable effective and efficient workflow executions. In preparation, we need to look at ways to manage engineering effort and capability duplication across software systems by integrating independently developed, production grade software solutions. In this paper, we integrate RADICAL Pilot (RP) and Parsl and develop an MPI executor to enable the execution of workflows with heterogeneous (non)MPI Python functions at scale. We characterize the strong and weak scaling of the integrated RP Parsl system when executing two use cases from polar science, and of the function executor on both SDSC Comet and TACC Frontera. We gain engineering insight about how to analyze and integrate workflow and runtime systems, minimizing changes in their code bases and overall development effort. Our experiments show that the overheads of the integrated system are invariant of resource and workflow scale, and measure the impact of diverse MPI overheads. Together, those results define a blueprint towards an ecosystem populated by specialized, efficient, effective and independently maintained software systems to face the upcoming scaling challenges.


Locality based Graph Reordering for Processing Speed Ups and Impact of Diameter. Graph analysis involves a high number of random memory access patterns. Earlier research has shownthat the cache miss latency is responsible for more than half of the graph processing time, with the CPU execution having the smaller share. There has been significant study on decreasing the CPU computing time for example, by employing better cache prefetching and replacement policies. In thispaper, we study the various methods that do so by attempting to decrease the CPU cache miss ratio.Graph Reordering attempts to exploit the power law distribution of graphs few sparsely populated vertices in the graph have high number of connections to keep the frequently accessed vertices together locally and hence decrease the cache misses. However, reordering the graph by keeping the hot vertices together may affect the spatial locality of the graph, and thus add to the total CPU compute time.Also, we also need to have a control over the total reordering time and its inverse relation with thefinal CPU execution timeIn order to exploit this trade off between reordering as per vertex hotness and spatial locality, we introduce the light weight Community based Reordering. We attempt to maintain the community structureof the graph by storing the hot members in the community locally together. The implementation also takes into consideration the impact of graph diameter on the execution time. We compare our implementation with other reordering implementations and find a significantly better result on five graph processing algorithms BFS, CC, CCSV, PR and BC. Lorder achieved speed up of upto 7x and an average speed up of 1.2x as compared to other reordering algorithms


Surface electromagnetic waves at gradual interfaces between lossy media. A low loss propagating electromagnetic wave is shown to exist at a gradual interface between two lossy conductive media. The electromagnetic frequency range of this phenomenon may span from UV optics to RF range. In particular, it is demonstrated that such a surface wave may be guided by a seafloor seawater interface and it may be used in radio communication and imaging underwater. Similar surface waves may also be guided by various tissue boundaries inside a human body. For example, such surface wave solutions may exist at planar interfaces between skull bones and grey matter inside a human head at 6 GHz.


Discrete Valued Neural Communication. Deep learning has advanced from fully connected architectures to structured models organized into components, e.g., the transformer composed of positional elements, modular architectures divided into slots, and graph neural nets made up of nodes. In structured models, an interesting question is how to conduct dynamic and possibly sparse communication among the separate components. Here, we explore the hypothesis that restricting the transmitted information among components to discrete representations is a beneficial bottleneck. The motivating intuition is human language in which communication occurs through discrete symbols. Even though individuals have different understandings of what a "cat" is based on their specific experiences, the shared discrete token makes it possible for communication among individuals to be unimpeded by individual differences in internal representation. To discretize the values of concepts dynamically communicated among specialist components, we extend the quantization mechanism from the Vector Quantized Variational Autoencoder to multi headed discretization with shared codebooks and use it for discrete valued neural communication (DVNC). Our experiments show that DVNC substantially improves systematic generalization in a variety of architectures transformers, modular architectures, and graph neural networks. We also show that the DVNC is robust to the choice of hyperparameters, making the method very useful in practice. Moreover, we establish a theoretical justification of our discretization process, proving that it has the ability to increase noise robustness and reduce the underlying dimensionality of the model.


KELM Knowledge Enhanced Pre Trained Language Representations with Message Passing on Hierarchical Relational Graphs. Incorporating factual knowledge into pre trained language models (PLM) such as BERT is an emerging trend in recent NLP studies. However, most of the existing methods combine the external knowledge integration module with a modified pre training loss and re implement the pre training process on the large scale corpus. Re pretraining these models is usually resource consuming, and difficult to adapt to another domain with a different knowledge graph (KG). Besides, those works either cannot embed knowledge context dynamically according to textual context or struggle with the knowledge ambiguity issue. In this paper, we propose a novel knowledge aware language model framework based on fine tuning process, which equips PLM with a unified knowledge enhanced text graph that contains both text and multi relational sub graphs extracted from KG. We design a hierarchical relational graph based message passing mechanism, which can allow the representations of injected KG and text to mutually update each other and can dynamically select ambiguous mentioned entities that share the same text. Our empirical results show that our model can efficiently incorporate world knowledge from KGs into existing language models such as BERT, and achieve significant improvement on the machine reading comprehension (MRC) task compared with other knowledge enhanced models.


Holistic Interpretation of Public Scenes Using Computer Vision and Temporal Graphs to Identify Social Distancing Violations. The COVID 19 pandemic has caused an unprecedented global public health crisis. Given its inherent nature, social distancing measures are proposed as the primary strategies to curb the spread of this pandemic. Therefore, identifying situations where these protocols are violated, has implications for curtailing the spread of the disease and promoting a sustainable lifestyle. This paper proposes a novel computer vision based system to analyze CCTV footage to provide a threat level assessment of COVID 19 spread. The system strives to holistically capture and interpret the information content of CCTV footage spanning multiple frames to recognize instances of various violations of social distancing protocols, across time and space, as well as identification of group behaviors. This functionality is achieved primarily by utilizing a temporal graph based structure to represent the information of the CCTV footage and a strategy to holistically interpret the graph and quantify the threat level of the given scene. The individual components are tested and validated on a range of scenarios and the complete system is tested against human expert opinion. The results reflect the dependence of the threat level on people, their physical proximity, interactions, protective clothing, and group dynamics. The system performance has an accuracy of 76 , thus enabling a deployable threat monitoring system in cities, to permit normalcy and sustainability in the society.


Topological changes due to non equilibrium effects by means of the statistical model of two phase flow. This paper presents the first results of the two phase flow simulation obtained using recently introduced physical, mathematical and numerical model of the intermittency region between two phases (Wac l awczyk 2017, 2021). The statistical interpretation of the intermittency region evolution equations allows to account for the non equilibrium effects in the domain separating two phases. The source of non equilibrium are spatial variations in the ratio of work done by volume and interfacial forces governing its width. As the statistical description of the two phase flow differs from the deterministic two phase flow models known in the literature, in the present work we focus discussion of the results on these differences. To this goal, the rising two dimensional gas bubble is studied differences between equilibrium and non equilibrium solutions are investigated. It is argued the statistical description of the intermittency region has potential to account for physical phenomena not considered previously in the computer simulations of two phase flow.


RE CNN generated images are surprisingly easy to spot...for now. This work evaluates the reproducibility of the paper "CNN generated images are surprisingly easy to spot... for now" by Wang et al. published at CVPR 2020. The paper addresses the challenge of detecting CNN generated imagery, which has reached the potential to even fool humans. The authors propose two methods which help an image classifier to generalize from being trained on one specific CNN to detecting imagery produced by unseen architectures, training methods, or data sets. The paper proposes two methods to help a classifier generalize (i) utilizing different kinds of data augmentations and (ii) using a diverse data set. This report focuses on assessing if these techniques indeed help the generalization process. Furthermore, we perform additional experiments to study the limitations of the proposed techniques.


Bakry 'Emery Ricci Curvature Bounds on Manifolds with Boundary. We prove a Bakry 'Emery generalization of a theorem of Petersen and Wilhelm, itself a generalization of a theorem of Frankel, that closed minimal hypersurfaces in a complete manifold with a suitable curvature bound must intersect. We then prove splitting theorems of Croke Kleiner type for manifolds bounded by hypersurfaces obeying Bakry 'Emery curvature bounds. Motivated in part by the near horizon geometry programme of general relativity, we do not assume that the Bakry 'Emery vector field is of gradient type.


Hutchings' inequality for the Calabi invariant revisited with an application to pseudo rotations. In Hut16 , Hutchings uses embedded contact homology to show the following for area preserving disc diffeomorphisms that are a rotation near the boundary of the disc If the asymptotic mean action on the boundary is greater than the Calabi invariant, then the infimum of the mean action of the periodic points is less than or equal to the Calabi invariant. In this article, we extend this to all area preserving disc diffeomorphisms. Our strategy is to extend the diffeomorphism to a larger disc with nice properties and apply Hutchings' theorem. As an application, we show that the Calabi invariant of any smooth pseudo rotation is equal to its rotation number.


Explicit Semantic Cross Feature Learning via Pre trained Graph Neural Networks for CTR Prediction. Cross features play an important role in click through rate (CTR) prediction. Most of the existing methods adopt a DNN based model to capture the cross features in an implicit manner. These implicit methods may lead to a sub optimized performance due to the limitation in explicit semantic modeling. Although traditional statistical explicit semantic cross features can address the problem in these implicit methods, it still suffers from some challenges, including lack of generalization and expensive memory cost. Few works focus on tackling these challenges. In this paper, we take the first step in learning the explicit semantic cross features and propose Pre trained Cross Feature learning Graph Neural Networks (PCF GNN), a GNN based pre trained model aiming at generating cross features in an explicit fashion. Extensive experiments are conducted on both public and industrial datasets, where PCF GNN shows competence in both performance and memory efficiency in various tasks.


MorphMLP A Self Attention Free, MLP Like Backbone for Image and Video. Self attention has become an integral component of the recent network architectures, e.g., Transformer, that dominate major image and video benchmarks. This is because self attention can flexibly model long range information. For the same reason, researchers make attempts recently to revive Multiple Layer Perceptron (MLP) and propose a few MLP Like architectures, showing great potential. However, the current MLP Like architectures are not good at capturing local details and lack progressive understanding of core details in the images and or videos. To overcome this issue, we propose a novel MorphMLP architecture that focuses on capturing local details at the low level layers, while gradually changing to focus on long term modeling at the high level layers. Specifically, we design a Fully Connected Like layer, dubbed as MorphFC, of two morphable filters that gradually grow its receptive field along the height and width dimension. More interestingly, we propose to flexibly adapt our MorphFC layer in the video domain. To our best knowledge, we are the first to create a MLP Like backbone for learning video representation. Finally, we conduct extensive experiments on image classification, semantic segmentation and video classification. Our MorphMLP, such a self attention free backbone, can be as powerful as and even outperform self attention based models.


Well posedness of mean field games master equations involving non separable local Hamiltonians. In this paper we construct short time classical solutions to a class of master equations in the presence of non degenerate individual noise arising in the theory of mean field games. The considered Hamiltonians are non separable and local functions of the measure variable, therefore the equation is restricted to absolutely continuous measures whose densities lie in suitable Sobolev spaces. Our results hold for smooth enough Hamiltonians, without any additional structural conditions as convexity or monotonicity.


A generalization of Bring's curve in any characteristic. Let p ge 7 be a prime, and m ge 5 an integer. A natural generalization of Bring's curve valid over any field mathbb K of zero characteristic or positive characteristic p , is the algebraic variety V of textrm PG (m 1, mathbb K ) which is the complete intersection of the projective algebraic hypersurfaces of homogeneous equations x 1 k cdots x m k 0 with 1 leq k leq m 2 . In positive characteristic, we also assume m le p 1 . Up to a change of coordinates in textrm PG (m 1, mathbb K ) , we show that V is a projective, absolutely irreducible, non singular curve of textrm PG (m 2, mathbb K ) with degree (m 2)! , genus mathfrak g frac 1 4 ((m 2)(m 3) 4)(m 2)! 1 , and tame automorphism group G isomorphic to textrm Sym m . We compute the genera of the quotient curves of V with respect to the stabilizers of one or more coordinates under the action of G . In positive characteristic, the two extremal cases, m 5 and m p 1 are investigated further. For m 5 , we show that there exist infinitely many primes p such that V is mathbb F p 2 maximal curve of genus 4 . The smallest such primes are 29,59,149,239,839 . For m p 1 we prove that V has as many as (p 2)! points over mathbb F p and has no further points over mathbb F p 2 . We also point out a connection with previous work of R 'edei about the famous Minkowski conjecture proven by Haj 'os (1941), as well as with a more recent result of Rodr 'iguez Villegas, Voloch and Zagier (2001) on plane curves attaining the St "ohr Voloch bound, and the regular sequence problem for systems of diagonal equations introduced by Conca, Krattenthaler and Watanabe (2009).


MultiCategory Multi model Query Processing Meets Category Theory and Functional Programming. The variety of data is one of the important issues in the era of Big Data. The data are naturally organized in different formats and models, including structured data, semi structured data, and unstructured data. Prior research has envisioned an approach to abstract multi model data with a schema category and an instance category by using category theory. In this paper, we demonstrate a system, called MultiCategory, which processes multi model queries based on category theory and functional programming. This demo is centered around four main scenarios to show a tangible system. First, we show how to build a schema category and an instance category by loading different models of data, including relational, XML, key value, and graph data. Second, we show a few examples of query processing by using the functional programming language Haskell. Third, we demo the flexible outputs with different models of data for the same input query. Fourth, to better understand the category theoretical structure behind the queries, we offer a variety of graphical hooks to explore and visualize queries as graphs with respect to the schema category, as well as the query processing procedure with Haskell.


Learned Gradient Compression for Distributed Deep Learning. Training deep neural networks on large datasets containing high dimensional data requires a large amount of computation. A solution to this problem is data parallel distributed training, where a model is replicated into several computational nodes that have access to different chunks of the data. This approach, however, entails high communication rates and latency because of the computed gradients that need to be shared among nodes at every iteration. The problem becomes more pronounced in the case that there is wireless communication between the nodes (i.e. due to the limited network bandwidth). To address this problem, various compression methods have been proposed including sparsification, quantization, and entropy encoding of the gradients. Existing methods leverage the intra node information redundancy, that is, they compress gradients at each node independently. In contrast, we advocate that the gradients across the nodes are correlated and propose methods to leverage this inter node redundancy to improve compression efficiency. Depending on the node communication protocol (parameter server or ring allreduce), we propose two instances of the LGC approach that we coin Learned Gradient Compression (LGC). Our methods exploit an autoencoder (i.e. trained during the first stages of the distributed training) to capture the common information that exists in the gradients of the distributed nodes. We have tested our LGC methods on the image classification and semantic segmentation tasks using different convolutional neural networks (ResNet50, ResNet101, PSPNet) and multiple datasets (ImageNet, Cifar10, CamVid). The ResNet101 model trained for image classification on Cifar10 achieved an accuracy of 93.57 , which is lower than the baseline distributed training with uncompressed gradients only by 0.18 .


CEHR BERT Incorporating temporal information from structured EHR data to improve prediction tasks. Embedding algorithms are increasingly used to represent clinical concepts in healthcare for improving machine learning tasks such as clinical phenotyping and disease prediction. Recent studies have adapted state of the art bidirectional encoder representations from transformers (BERT) architecture to structured electronic health records (EHR) data for the generation of contextualized concept embeddings, yet do not fully incorporate temporal data across multiple clinical domains. Therefore we developed a new BERT adaptation, CEHR BERT, to incorporate temporal information using a hybrid approach by augmenting the input to BERT using artificial time tokens, incorporating time, age, and concept embeddings, and introducing a new second learning objective for visit type. CEHR BERT was trained on a subset of Columbia University Irving Medical Center York Presbyterian Hospital's clinical data, which includes 2.4M patients, spanning over three decades, and tested using 4 fold cross validation on the following prediction tasks hospitalization, death, new heart failure (HF) diagnosis, and HF readmission. Our experiments show that CEHR BERT outperformed existing state of the art clinical BERT adaptations and baseline models across all 4 prediction tasks in both ROC AUC and PR AUC. CEHR BERT also demonstrated strong transfer learning capability, as our model trained on only 5 of data outperformed comparison models trained on the entire data set. Ablation studies to better understand the contribution of each time component showed incremental gains with every element, suggesting that CEHR BERT's incorporation of artificial time tokens, time and age embeddings with concept embeddings, and the addition of the second learning objective represents a promising approach for future BERT based clinical embeddings.


ExplainaBoard An Explainable Leaderboard for NLP. With the rapid development of NLP research, leaderboards have emerged as one tool to track the performance of various systems on various NLP tasks. They are effective in this goal to some extent, but generally present a rather simplistic one dimensional view of the submitted systems, communicated only through holistic accuracy numbers. In this paper, we present a new conceptualization and implementation of NLP evaluation the ExplainaBoard, which in addition to inheriting the functionality of the standard leaderboard, also allows researchers to (i) diagnose strengths and weaknesses of a single system (e.g. what is the best performing system bad at?) (ii) interpret relationships between multiple systems. (e.g. where does system A outperform system B? What if we combine systems A, B, and C?) and (iii) examine prediction results closely (e.g. what are common errors made by multiple systems, or in what contexts do particular errors occur?). So far, ExplainaBoard covers more than 400 systems, 50 datasets, 40 languages, and 12 tasks. ExplainaBoard keeps updated and is recently upgraded by supporting (1) multilingual multi task benchmark, (2) meta evaluation, and (3) more complicated task machine translation, which reviewers also suggested. We not only released an online platform on the website url http explainaboard.nlpedia.ai but also make our evaluation tool an API with MIT Licence at Github url https github.com neulab explainaBoard and PyPi url https pypi.org project interpret eval that allows users to conveniently assess their models offline. We additionally release all output files from systems that we have run or collected to motivate "output driven" research in the future.


Decoupling and Recoupling Spatiotemporal Representation for RGB D based Motion Recognition. Decoupling spatiotemporal representation refers to decomposing the spatial and temporal features into dimension independent factors. Although previous RGB D based motion recognition methods have achieved promising performance through the tightly coupled multi modal spatiotemporal representation, they still suffer from (i) optimization difficulty under small data setting due to the tightly spatiotemporal entangled modeling (ii) information redundancy as it usually contains lots of marginal information that is weakly relevant to classification and (iii) low interaction between multi modal spatiotemporal information caused by insufficient late fusion. To alleviate these drawbacks, we propose to decouple and recouple spatiotemporal representation for RGB D based motion recognition. Specifically, we disentangle the task of learning spatiotemporal representation into 3 sub tasks (1) Learning high quality and dimension independent features through a decoupled spatial and temporal modeling network. (2) Recoupling the decoupled representation to establish stronger space time dependency. (3) Introducing a Cross modal Adaptive Posterior Fusion (CAPF) mechanism to capture cross modal spatiotemporal information from RGB D data. Seamless combination of these novel designs forms a robust spatialtemporal representation and achieves better performance than state of the art methods on four public motion datasets. Our code is available at https github.com damo cv MotionRGBD.


ADMM DAD net a deep unfolding network for analysis compressed sensing. In this paper, we propose a new deep unfolding neural network based on the ADMM algorithm for analysis Compressed Sensing. The proposed network jointly learns a redundant analysis operator for sparsification and reconstructs the signal of interest. We compare our proposed network with a state of the art unfolded ISTA decoder, that also learns an orthogonal sparsifier. Moreover, we consider not only image, but also speech datasets as test examples. Computational experiments demonstrate that our proposed network outperforms the state of the art deep unfolding network, consistently for both real world image and speech datasets.


What Is The Internet? (Considering Partial Connectivity). After 50 years, the Internet is still defined as "a collection of interconnected networks". Yet desires of countries for "their own internet" (Internet secession?), country level firewalling, and persistent peering disputes all challenge the idea of a single set of "interconnected networks". We show that the Internet today has peninsulas of persistent, partial connectivity, and that some outages cause islands where the Internet at the site is up, but partitioned from the main Internet. We propose a new definition of the Internet defining a single, global network while helping us to reason about peninsulas and islands and their relationship to Internet outages. We provide algorithms to detect peninsulas and islands, find that peninsulas are more common than outages, with thousands of 24s IPv4 blocks that are part of peninsulas lasting a month or more. Root causes of most peninsula events (45 ) are transient routing problems. However, a few long lived peninsulas events (7 ) account for 90 of all peninsula time, and they suggest root causes in country or AS level policy choices. We also show that islands occur. Our definition shows that no single country can unilaterally claim to be "the Internet", and helps clarify the spectrum from partial reachability to outages in prior work.


Computing volume fractions and signed distances from triangulated surfaces immersed in unstructured meshes. Available algorithms for the initialization of volume fractions typically utilize exact functions to model fluid interfaces, or they rely on computationally costly intersections between volume meshes. Here, a new algorithm is proposed that computes signed distances and volume fractions on unstructured meshes from arbitrarily shaped surfaces, e.g. originating from experimental data. The proposed algorithm calculates signed distances geometrically near the fluid interface, approximated as a triangle surface mesh, and propagates the inside outside information by an approximate solution of a Laplace equation. Volume fractions are computed based on signed distances, using either geometrical intersections between cells of the unstructured mesh and a sub set of the surface mesh that represents the interface, or using a polynomial approximation and adaptive mesh refinement. Although primarily developed for multiphase flow simulations, the proposed algorithm can potentially be used for other problems that require a phase indicator inside outside information with respect to an arbitrarily shaped surface on arbitrarily unstructured meshes.


Feature Alignment for Approximated Reversibility in Neural Networks. We introduce feature alignment, a technique for obtaining approximate reversibility in artificial neural networks. By means of feature extraction, we can train a neural network to learn an estimated map for its reverse process from outputs to inputs. Combined with variational autoencoders, we can generate new samples from the same statistics as the training data. Improvements of the results are obtained by using concepts from generative adversarial networks. Finally, we show that the technique can be modified for training neural networks locally, saving computational memory resources. Applying these techniques, we report results for three vision generative tasks MNIST, CIFAR 10, and celebA.


A regularity result for a class of non uniformly elliptic operators. We obtain an explicit H "older regularity result for viscosity solutions of a class of second order fully nonlinear equations leaded by operator that are neither convex concave nor uniformly elliptic.


Mining Latent Structures for Multimedia Recommendation. Multimedia content is of predominance in the modern Web era. Investigating how users interact with multimodal items is a continuing concern within the rapid development of recommender systems. The majority of previous work focuses on modeling user item interactions with multimodal features included as side information. However, this scheme is not well designed for multimedia recommendation. Specifically, only collaborative item item relationships are implicitly modeled through high order item user item relations. Considering that items are associated with rich contents in multiple modalities, we argue that the latent semantic item item structures underlying these multimodal contents could be beneficial for learning better item representations and further boosting recommendation. To this end, we propose a LATent sTructure mining method for multImodal reCommEndation, which we term LATTICE for brevity. To be specific, in the proposed LATTICE model, we devise a novel modality aware structure learning layer, which learns item item structures for each modality and aggregates multiple modalities to obtain latent item graphs. Based on the learned latent graphs, we perform graph convolutions to explicitly inject high order item affinities into item representations. These enriched item representations can then be plugged into existing collaborative filtering methods to make more accurate recommendations. Extensive experiments on three real world datasets demonstrate the superiority of our method over state of the art multimedia recommendation methods and validate the efficacy of mining latent item item relationships from multimodal features.


q-fin.PR physics.chem-ph q-fin.CP q-fin.MF

Multilayer heat equations and their solutions via oscillating integral transforms. By expanding the Dirac delta function in terms of the eigenfunctions of the corresponding Sturm Liouville problem, we construct some new (oscillating) integral transforms. These transforms are then used to solve various finance, physics, and mathematics problems, which could be characterized by the existence of a multilayer spatial structure and moving (time dependent) boundaries (internal interfaces) between the layers. Thus, constructed solutions are semi analytical and extend the authors' previous work (Itkin, Lipton, Muravey, Multilayer heat equations application to finance, FMF, 1, 2021). However, our new method doesn't duplicate the previous one but provides alternative representations of the solution which have different properties and serve other purposes.


The beta Delaunay tessellation III Kendall's problem and limit theorems in high dimensions. The beta Delaunay tessellation in mathbb R d 1 is a generalization of the classical Poisson Delaunay tessellation. As a first result of this paper we show that the shape of a weighted typical cell of a beta Delaunay tessellation, conditioned on having large volume, is close to the shape of a regular simplex in mathbb R d 1 . This generalizes earlier results of Hug and Schneider about the typical (non weighted) Poisson Delaunay simplex. Second, the asymptotic behaviour of the volume of weighted typical cells in high dimensional beta Delaunay tessellation is analysed, as d to infty . In particular, various high dimensional limit theorems, such as quantitative central limit theorems as well as moderate and large deviation principles, are derived.


A Spacecraft Dataset for Detection, Segmentation and Parts Recognition. Virtually all aspects of modern life depend on space technology. Thanks to the great advancement of computer vision in general and deep learning based techniques in particular, over the decades, the world witnessed the growing use of deep learning in solving problems for space applications, such as self driving robot, tracers, insect like robot on cosmos and health monitoring of spacecraft. These are just some prominent examples that has advanced space industry with the help of deep learning. However, the success of deep learning models requires a lot of training data in order to have decent performance, while on the other hand, there are very limited amount of publicly available space datasets for the training of deep learning models. Currently, there is no public datasets for space based object detection or instance segmentation, partly because manually annotating object segmentation masks is very time consuming as they require pixel level labelling, not to mention the challenge of obtaining images from space. In this paper, we aim to fill this gap by releasing a dataset for spacecraft detection, instance segmentation and part recognition. The main contribution of this work is the development of the dataset using images of space stations and satellites, with rich annotations including bounding boxes of spacecrafts and masks to the level of object parts, which are obtained with a mixture of automatic processes and manual efforts. We also provide evaluations with state of the art methods in object detection and instance segmentation as a benchmark for the dataset. The link for downloading the proposed dataset can be found on https github.com Yurushia1998 SatelliteDataset.


The algebraic and geometric classification of nilpotent right alternative algebras. We present algebraic and geometric classifications of the 4 dimensional complex nilpotent right alternative algebras. Specifically, we find that, up to isomorphism, there are only 9 non isomorphic nontrivial nilpotent right alternative algebras. The corresponding geometric variety has dimension 13 and it is determined by the Zariski closure of 4 rigid algebras and one one parametric family of algebras.


Inexact proximal DC Newton type method for nonconvex composite functions. We consider a class of difference of convex (DC) optimization problems where the objective function is the sum of a smooth function and a possible nonsmooth DC function. The application of proximal DC algorithms to address this problem class is well known. In this paper, we combine a proximal DC algorithm with an inexact proximal Newton type method to propose an inexact proximal DC Newton type method. We demonstrate global convergence properties of the proposed method. In addition, we give a memoryless quasi Newton matrix for scaled proximal mappings and consider a two dimensional system of semi smooth equations that arise in calculating scaled proximal mappings. To efficiently obtain the scaled proximal mappings, we adopt a semi smooth Newton method to inexactly solve the system. Finally, we present some numerical experiments to investigate the efficiency of the proposed method, showing that the proposed method outperforms existing methods.


Frame Based Codes for Partially Active NOMA. Non orthogonal multiple access (NOMA) is a leading technology which gain a lot of interest this past several years. It enables larger user density and therefore is suited for modern systems such as 5G and IoT. In this paper we examined different frame based codes for a partially active NOMA system. It is a more realistic setting where only part of the users, in an overly populated system, are active simultaneously. We introduce a new analysis approach were the active user ratio, a system's feature, is kept constant and different sized frames are employed. The frame types were partially derived from previous papers on the subject 1 2 and partially novel such as the LPF and the Steiner ETF. We learned the best capacity achieving frame depends on the active user ratio and three distinct ranges where defined. In addition, we introduced a measure called practical capacity which is the maximal rate achieved by simple coding scheme. ETFs always achieve the best practical capacity while LPFs and sparse frames are worse than a random one.


HSMD An object motion detection algorithm using a Hybrid Spiking Neural Network Architecture. The detection of moving objects is a trivial task performed by vertebrate retinas, yet a complex computer vision task. Object motion sensitive ganglion cells (OMS GC) are specialised cells in the retina that sense moving objects. OMS GC take as input continuous signals and produce spike patterns as output, that are transmitted to the Visual Cortex via the optic nerve. The Hybrid Sensitive Motion Detector (HSMD) algorithm proposed in this work enhances the GSOC dynamic background subtraction (DBS) algorithm with a customised 3 layer spiking neural network (SNN) that outputs spiking responses akin to the OMS GC. The algorithm was compared against existing background subtraction (BS) approaches, available on the OpenCV library, specifically on the 2012 change detection (CDnet2012) and the 2014 change detection (CDnet2014) benchmark datasets. The results show that the HSMD was ranked overall first among the competing approaches and has performed better than all the other algorithms on four of the categories across all the eight test metrics. Furthermore, the HSMD proposed in this paper is the first to use an SNN to enhance an existing state of the art DBS (GSOC) algorithm and the results demonstrate that the SNN provides near real time performance in realistic applications.


Almost triangular Markov chains on mathbb N . A transition matrix U i,j i,j geq 0 on mathbb N is said to be almost upper triangular if U i,j geq 0 Rightarrow j geq i 1 , so that the increments of the corresponding Markov chains are at least 1 a transition matrix L i,j i,j geq 0 is said to be almost lower triangular if L i,j geq 0 Rightarrow j leq i 1 , and then, the increments of the corresponding Markov chains are at most 1 . In the present paper, we characterize the recurrence, positive recurrence and invariant distribution for the class of almost triangular transition matrices. The upper case appears to be the simplest in many ways, with existence and uniqueness of invariant measures, when in the lower case, existence as well as uniqueness are not guaranteed. We present the time reversal connection between upper and lower almost triangular transition matrices, which provides classes of integrable lower triangular transition matrices. These results encompass the case of birth and death processes (BDP) that are famous Markov chains (or processes) taking their values in mathbb N , which are simultaneously almost upper and almost lower triangular, and whose study has been initiated by Karlin McGregor in the 1950's. They found invariant measures, criteria for recurrence, null recurrence, among others their approach relies on some profound connections they discovered between the theory of BDP, the spectral properties of their transition matrices, the moment problem, and the theory of orthogonal polynomials. Our approach is mainly combinatorial and uses elementary algebraic methods it is somehow more direct and does not use the same tools.


Energy Proportional Data Center Network Architecture Through OS, Switch and Laser Co design. Optical interconnects are already the dominant technology in large scale data center networks. However, the high optical loss of many optical components coupled with the low efficiency of laser sources result in high aggregate power requirements for the thousands of optical transceivers used by these networks. As optical interconnects stay always on even as traffic demands ebb and flow, most of this power is wasted. We present LC DC, a data center network system architecture in which the operating system, the switch, and the optical components are co designed to achieve energy proportionality. LC DC capitalizes on the path divergence of data center networks to turn on and off redundant paths according to traffic demand, while maintaining full connectivity. Turning off redundant paths allows the optical transceivers and their electronic drivers to power down and save energy. Maintaining full connectivity hides the laser turn on delay. At the node layer, intercepting send requests within the OS allows for the NIC's laser turn on delay to be fully overlapped with TCP IP packet processing, and thus egress links can remain powered off until needed with zero performance penalty. We demonstrate the feasibility of LC DC by i) implementing the necessary modifications in the Linux kernel and device drivers, ii) implementing a 10Gbit s FPGA switch, and iii) performing physical experiments with optical devices and circuit simulations. Our results on university data center traces and models of Facebook and Microsoft data center traffic show that LC DC saves on average 60 of the optical transceivers power (68 max) at the cost of 6 higher packet delay.


Cyber Crossroads A Global Research Collaborative on Cyber Risk Governance. Spending on cybersecurity products and services is expected to top 123 billion U.S. dollars for 2020, more than double the 55 billion U.S. dollars spent in 2011.1 In that same period, cyber breaches quadrupled. Organizations globally face increasing liabilities, while boards of directors grapple with a seemingly Sisyphean challenge. Cyber Crossroads was born out of these alarming trends and a realization that the world cannot go on funneling finite resources into an indefinite, intractable problem. Cyber Crossroads brings together expertise from across the world, spanning aspects of the cyber problem (including technology, legal, risk, and economic) with the goal of creating a Cyber Standard of Care built through a global, not for profit research collaborative with no commercial interests. A Cyber Standard of Care should be applicable across industries and regardless of the organization size. It should be practical and implementable, with no requirement to purchase any product service. Cyber Standard of Care should be woven into the existing governance fabric of the organization and it should not be yet another technical checklist, but a process governance framework that can stand over time. To achieve this, we engaged with cyber risk experts and practitioners with a variety of relevant expertise, secured the advice guidance of regulators and legal experts across jurisdictions, and interviewed leaders from 56 organizations globally to understand their challenges and identify best practices.


"Let's Eat Grandma" When Punctuation Matters in Sentence Representation for Sentiment Analysis. Neural network based embeddings have been the mainstream approach for creating a vector representation of the text to capture lexical and semantic similarities and dissimilarities. In general, existing encoding methods dismiss the punctuation as insignificant information consequently, they are routinely eliminated in the pre processing phase as they are shown to improve task performance. In this paper, we hypothesize that punctuation could play a significant role in sentiment analysis and propose a novel representation model to improve syntactic and contextual performance. We corroborate our findings by conducting experiments on publicly available datasets and verify that our model can identify the sentiments more accurately over other state of the art baseline methods.


Homotopy types of mathrm Spin c(n) gauge groups over S 4 . The gauge group of a principal G bundle P over a space X is the group of G equivariant homeomorphisms of P that cover the identity on X . We consider the gauge groups of bundles over S 4 with mathrm Spin c(n) , the complex spin group, as structure group and show how the study of their homotopy types reduces to that of mathrm Spin (n) gauge groups over S 4 . We then advance on what is known by providing a partial classification for mathrm Spin (7) and mathrm Spin (8) gauge groups over S 4 .


Convergence analysis of two level methods with general coarse solvers. Multilevel methods are among the most efficient numerical methods for solving large scale linear systems that arise from discretized partial differential equations. The fundamental module of such methods is a two level procedure, which consists of compatible relaxation and coarse level correction. Regarding two level convergence theory, most previous works focus on the case of exact (Galerkin) coarse solver. In practice, however, it is often too costly to solve the Galerkin coarse level system exactly when its size is relatively large. Compared with the exact case, the convergence theory of inexact two level methods is of more practical significance, while it is still less developed in the literature, especially when nonlinear coarse solvers are used. In this paper, we establish a general framework for analyzing the convergence of inexact two level methods, in which the coarse level system is solved approximately by an inner iterative procedure. The framework allows us to use various (linear, nonlinear, deterministic, randomized, or hybrid) solvers in the inner iterations, as long as the corresponding accuracy estimates are available.


RTLola on Board Testing Real Driving Emissions on your Phone. This paper is about shipping runtime verification to the masses. It presents the crucial technology enabling everyday car owners to monitor the behaviour of their cars in the wild. Concretely, we present an Android app that deploys RTLola runtime monitors for the purpose of diagnosing automotive exhaust emissions. For this, it harvests the availability of cheap bluetooth adapters to the On Board Diagnostics (OBD) ports, which are ubiquitous in cars nowadays. We detail its use in the context of Real Driving Emissions (RDE) tests and report on sample runs that helped identify violations of the regulatory framework currently valid in the European Union.


A family of formulas with reversal of arbitrarily high avoidability index. We present a family of avoidable formulas with reversal whose avoidability index is unbounded. We also complete the determination of the avoidability index of the formulas with reversal in the 3 avoidance basis.


Identification of Metallic Objects using Spectral Magnetic Polarizability Tensor Signatures Object Classification. The early detection of terrorist threat objects, such as guns and knives, through improved metal detection, has the potential to reduce the number of attacks and improve public safety and security. To achieve this, there is considerable potential to use the fields applied and measured by a metal detector to discriminate between different shapes and different metals since, hidden within the field perturbation, is object characterisation information. The magnetic polarizability tensor (MPT) offers an economical characterisation of metallic objects and its spectral signature provides additional object characterisation information. The MPT spectral signature can be determined from measurements of the induced voltage over a range frequencies in a metal signature for a hidden object. With classification in mind, it can also be computed in advance for different threat and non threat objects. In the article, we evaluate the performance of probabilistic and non probabilistic machine learning algorithms, trained using a dictionary of computed MPT spectral signatures, to classify objects for metal detection. We discuss the importances of using appropriate features and selecting an appropriate algorithm depending on the classification problem being solved and we present numerical results for a range of practically motivated metal detection classification problems.


OKGIT Open Knowledge Graph Link Prediction with Implicit Types. Open Knowledge Graphs (OpenKG) refer to a set of (head noun phrase, relation phrase, tail noun phrase) triples such as (tesla, return to, new york) extracted from a corpus using OpenIE tools. While OpenKGs are easy to bootstrap for a domain, they are very sparse and far from being directly usable in an end task. Therefore, the task of predicting new facts, i.e., link prediction, becomes an important step while using these graphs in downstream tasks such as text comprehension, question answering, and web search query recommendation. Learning embeddings for OpenKGs is one approach for link prediction that has received some attention lately. However, on careful examination, we found that current OpenKG link prediction algorithms often predict noun phrases (NPs) with incompatible types for given noun and relation phrases. We address this problem in this work and propose OKGIT that improves OpenKG link prediction using novel type compatibility score and type regularization. With extensive experiments on multiple datasets, we show that the proposed method achieves state of the art performance while producing type compatible NPs in the link prediction task.


Stability and moment estimates for the stochastic singular Phi Laplace equation. We study stability, long time behavior and moment estimates for stochastic evolution equations with additive Wiener noise and with singular drift given by a divergence type quasilinear diffusion operator which may not necessarily exhibit a homogeneous diffusivity. Our results cover the singular p Laplace and, more generally, singular Phi Laplace equations with zero Dirichlet boundary conditions. We obtain improved moment estimates and quantitative convergence rates of the ergodic semigroup to the unique invariant measure, classified in a systematic way according to the degree of local degeneracy of the potential at the origin. We obtain new concentration results for the invariant measure and establish maximal dissipativity of the associated Kolmogorov operator. In particular, we recover the results for the curve shortening flow in the plane by Es Sarhir, von Renesse and Stannat, NoDEA 16(9), 2012.


Learning cortical representations through perturbed and adversarial dreaming. Humans and other animals learn to extract general concepts from sensory experience without extensive teaching. This ability is thought to be facilitated by offline states like sleep where previous experiences are systemically replayed. However, the characteristic creative nature of dreams suggests that learning semantic representations may go beyond merely replaying previous experiences. We support this hypothesis by implementing a cortical architecture inspired by generative adversarial networks (GANs). Learning in our model is organized across three different global brain states mimicking wakefulness, NREM and REM sleep, optimizing different, but complementary objective functions. We train the model on standard datasets of natural images and evaluate the quality of the learned representations. Our results suggest that generating new, virtual sensory inputs via adversarial dreaming during REM sleep is essential for extracting semantic concepts, while replaying episodic memories via perturbed dreaming during NREM sleep improves the robustness of latent representations. The model provides a new computational perspective on sleep states, memory replay and dreams and suggests a cortical implementation of GANs.


Where Should Traffic Sensors Be Placed on Highways?. This paper investigates the practical engineering problem of traffic sensors placement on stretched highways with ramps. Since it is virtually impossible to install bulky traffic sensors on each highway segment, it is crucial to find placements that result in optimized network wide, traffic observability. Consequently, this results in accurate traffic density estimates on segments where sensors are not installed. The substantial contribution of this paper is the utilization of control theoretic observability analysis jointly with integer programming to determine traffic sensor locations based on the nonlinear dynamics and parameters of traffic networks. In particular, the celebrated asymmetric cell transmission model is used to guide the placement strategy jointly with observability analysis of nonlinear dynamic systems through Gramians. Thorough numerical case studies are presented to corroborate the proposed theoretical methods and various computational research questions are posed and addressed. The presented approach can also be extended to other models of traffic dynamics.


The Dirac Klein Gordon system in the strong coupling limit. We study the Dirac equation coupled to scalar and vector Klein Gordon fields in the limit of strong coupling and large masses of the fields. We prove convergence of the solutions to those of a cubic non linear Dirac equation, given that the initial spinors coincide. This shows that in this parameter regime, which is relevant to the relativistic mean field theory of nuclei, the retarded interaction is well approximated by an instantaneous, local self interaction. We generalize this result to a many body Dirac Fock equation on the space of Hilbert Schmidt operators.


Quasi metric antipodal spaces and maximal Gromov hyperbolic spaces. A quasi metric antipodal space (Z, rho 0) is a compact space Z with a continuous quasi metric rho 0 which is of diameter one, and which is antipodal, i.e. for any xi in Z there exists eta in Z such that rho 0( xi, eta) 1 . The quasi metric rho 0 defines a positive cross ratio function on the space of quadruples of distinct points in Z , and a homeomorphism between quasi metric antipodal spaces is said to be Moebius if it preserves cross ratios. A proper, geodesically complete Gromov hyperbolic space X is said to be boundary continuous if the Gromov inner product extends continuously to the boundary. Then the boundary partial X equipped with a visual quasi metric is a quasi metric antipodal space. The space X is said to be maximal if for any proper, geodesically complete, boundary continuous Gromov hyperbolic space Y , if there is a Moebius homeomorphism f partial Y to partial X , then f extends to an isometric embedding F Y to X . We call such spaces maximal Gromov hyperbolic spaces. We show that any proper, geodesically complete, boundary continuous Gromov hyperbolic space embeds isometrically into a maximal Gromov hyperbolic space which is unique up to isometry, and the image of the embedding is cobounded. We prove an equivalence of categories between quasi metric antipodal spaces and maximal Gromov hyperbolic spaces, namely any quasi metric antipodal space is Moebius homeomorphic to the boundary of a maximal Gromov hyperbolic space, and any Moebius homeomorphism f partial X to partial Y between boundaries of maximal Gromov hyperbolic spaces X, Y extends to a surjective isometry F X to Y . This is part of a more general equivalence between certain compact spaces called antipodal spaces and their associated metric spaces called Moebius spaces.


Convergence of the harmonic balance method for smooth Hilbert space valued differential algebraic equations. We analyze the convergence of the harmonic balance method for computing isolated periodic solutions of a large class of continuously differentiable Hilbert space valued differential algebraic equations (DAEs). We establish asymptotic convergence estimates for (i) the approximate periodic solution in terms of the number of approximated harmonics and (ii) the inexact Newton method used to compute the approximate Fourier coefficients. The convergence estimates are deter mined by the rate of convergence of the Fourier series of the exact solution and the structure of the DAE. Both the case that the period is known and unknown are analyzed, where in the latter case we require enforcing an appropriately defined phase condition. The theoretical results are illustrated with several numerical experiments from circuit modeling and structural dynamics.


Algebraic properties of Hermitian sums of squares, II. We study real bihomogeneous polynomials r(z, bar z ) in n complex variables for which r(z, bar z ) z 2 is the squared norm of a holomorphic polynomial mapping. Such polynomials are the focus of the Sum of Squares Conjecture, which describes the possible ranks for the squared norm r(z, bar z ) z 2 and has important implications for the study of proper holomorphic mappings between balls in complex Euclidean spaces of different dimension. Questions about the possible signatures for r(z, bar z ) and the rank of r(z, bar z ) z 2 can be reformulated as questions about polynomial ideals. We take this approach and apply purely algebraic tools to obtain constraints on the signature of r .


Quotient maps of 2,3 uniform tilings of the plane on the torus. A 2 uniform tiling is an edge to edge tiling by regular polygons having 2 distinct transitivity classes of vertices. There are 20 distinct 2 uniform tilings (these are of 14 different types) on the plane, and since the plane is the universal cover of the torus, it is natural to explore maps on the torus that correspond to the 2 uniform tilings. In this article, we discuss that if a map is the quotient of a plane's 2 uniform lattice then what would be the bounds of the number of vertex orbits. A 3 uniform tiling is an edge to edge tiling by regular polygons having 3 distinct transitivity classes of vertices. There are 61 distinct 3 uniform tilings on the plane. In this article, we discuss that if a map is the quotient of a plane's 3 uniform lattice then what would be the bounds of the number of vertex orbits.


An algorithm for identifying eigenvectors exhibiting strong spatial localization. We introduce an approach for exploring eigenvector localization phenomena for a class of (unbounded) selfadjoint operators. More specifically, given a target region and a tolerance, the algorithm identifies candidate eigenpairs for which the eigenvector is expected to be localized in the target region to within that tolerance. Theoretical results, together with detailed numerical illustrations of them, are provided that support our algorithm. A partial realization of the algorithm is described and tested, providing a proof of concept for the approach.


Towards the Biconjugate of Bivariate Piecewise Quadratic Functions. Computing the closed convex envelope or biconjugate is the core operation that bridges the domain of nonconvex with convex analysis. We focus here on computing the conjugate of a bivariate piecewise quadratic function defined over a polytope. First, we compute the convex envelope of each piece, which is characterized by a polyhedral subdivision such that over each member of the subdivision, it has a rational form (square of a linear function over a linear function). Then we compute the conjugate of all such rational functions. It is observed that the conjugate has a parabolic subdivision such that over each member of its subdivision, it has a fractional form (linear function over square root of a linear function). This computation of the conjugate is performed with a worst case linear time complexity algorithm. Our results are an important step toward computing the conjugate of a piecewise quadratic function, and further in obtaining explicit formulas for the convex envelope of piecewise rational functions.


A generalization of Duflo's conjecture. In this article, we generalize Duflo's conjecture to understand the branching laws of non discrete series. We give a unified description on the geometric side about the restriction of an irreducible unitary representation pi of mathrm GL n(k) , k mathbb R or mathbb C , to the mirabolic subgroup, where pi is attached to a certain kind of coadjoint orbit.


On the asymptotic confirmation of the Faudree Lehel Conjecture for general graphs. Given a simple graph G , the it irregularity strength of G , denoted by s(G) , is the least positive integer k such that there is a weight assignment on edges f E(G) to 1,2, dots, k attributing distinct weighted degrees tilde f(v) sum u u,v in E(G) f( u,v ) to all vertices v in V(G) . It is straightforward that s(G) geq n d for every d regular graph G on n vertices with d 1 . In 1987, Faudree and Lehel conjectured in turn that there is an absolute constant c such that s(G) leq n d c for all such graphs. Even though the conjecture has remained open in almost all relevant cases, it is more generally believed that there exists a universal constant c such that s(G) leq n delta c for every graph G on n vertices with minimum degree delta geq 1 which does not contain an isolated edge. In this paper we confirm that the generalized Faudree Lehel Conjecture holds for graphs with delta geq n beta where beta is any fixed constant larger than 0.8 . Furthermore, we confirm that the conjecture holds in general asymptotically. That is we prove that for any varepsilon in(0,0.25) there exist absolute constants c 1, c 2 such that for all graphs G on n vertices with minimum degree at least delta geq 1 and without isolated edges, s(G) leq frac n delta (1 frac c 1 delta varepsilon ) c 2 , thus extending in various aspects and strengthening a recent result of Przyby l o, who showed that s(G) leq frac n d (1 frac 1 ln epsilon 19 n ) frac n d (1 o(1)) for d regular graphs with d in ln 1 epsilon n, n ln epsilon n , and improving an earlier general upper bound s(G) 6 frac n delta 6 of Kalkowski, Karo 'nski and Pfender.


Hypergraph Co Optimal Transport Metric and Categorical Properties. Hypergraphs capture multi way relationships in data, and they have consequently seen a number of applications in higher order network analysis, computer vision, geometry processing, and machine learning. In this paper, we develop the theoretical foundations in studying the space of hypergraphs using ingredients from optimal transport. By enriching a hypergraph with probability measures on its nodes and hyperedges, as well as relational information capturing local and global structure, we obtain a general and robust framework for studying the collection of all hypergraphs. First, we introduce a hypergraph distance based on the co optimal transport framework of Redko et al. and study its theoretical properties. Second, we formalize common methods for transforming a hypergraph into a graph as maps from the space of hypergraphs to the space of graphs and study their functorial properties and Lipschitz bounds. Finally, we demonstrate the versatility of our Hypergraph Co Optimal Transport (HyperCOT) framework through various examples.


Understanding Pooling in Graph Neural Networks. Inspired by the conventional pooling layers in convolutional neural networks, many recent works in the field of graph machine learning have introduced pooling operators to reduce the size of graphs. The great variety in the literature stems from the many possible strategies for coarsening a graph, which may depend on different assumptions on the graph structure or the specific downstream task. In this paper we propose a formal characterization of graph pooling based on three main operations, called selection, reduction, and connection, with the goal of unifying the literature under a common framework. Following this formalization, we introduce a taxonomy of pooling operators and categorize more than thirty pooling methods proposed in recent literature. We propose criteria to evaluate the performance of a pooling operator and use them to investigate and contrast the behavior of different classes of the taxonomy on a variety of tasks.


Fast Simultaneous Gravitational Alignment of Multiple Point Sets. The problem of simultaneous rigid alignment of multiple unordered point sets which is unbiased towards any of the inputs has recently attracted increasing interest, and several reliable methods have been newly proposed. While being remarkably robust towards noise and clustered outliers, current approaches require sophisticated initialisation schemes and do not scale well to large point sets. This paper proposes a new resilient technique for simultaneous registration of multiple point sets by interpreting the latter as particle swarms rigidly moving in the mutually induced force fields. Thanks to the improved simulation with altered physical laws and acceleration of globally multiply linked point interactions with a 2 D tree (D is the space dimensionality), our Multi Body Gravitational Approach (MBGA) is robust to noise and missing data while supporting more massive point sets than previous methods (with 10 5 points and more). In various experimental settings, MBGA is shown to outperform several baseline point set alignment approaches in terms of accuracy and runtime. We make our source code available for the community to facilitate the reproducibility of the results.


Automatic Guided Vehicles System and Its Coordination Control for Containers Terminal Logistics Application. Automatic Guided Vehicle (AGV) has been widely applied in automatic logistics system because it provides flexibility and efficiency. This paper addresses review and design of multi AGVs system (MAGS) and its coordination control to be implemented at containers terminal logistics systems. It focuses on design of electric AGV and supervisory control to coordinate multi AGVs. Firstly, related previous works by other researchers are reviewed including containers terminal system, application of AGV in logistics systems and multi mobile robots control systems. Secondly, application of AGV system in containers terminal is proposed including AGV design specification, AGV control method, multi AGV system supervisory control method, and containers terminal port model. Conclusions have been obtained as follows an electric AGV may be developed using electric motors with total power between 700 900KW and speed of 228 rpm a MAGVS is proposed based on free ranging navigation system using GPS, digital compass and rotary encoder sensors path planning, coordination and traffic management control is conducted by the supervisory controller based on priority based coordinative (PBC) control algorithm a model of MAGVS for containers terminal logistics system can be developed using the navigation system and PBC control algorithm.


Coarse to Fine Multi Resolution Temporal Convolutional Network. Temporal convolutional networks (TCNs) are a commonly used architecture for temporal video segmentation. TCNs however, tend to suffer from over segmentation errors and require additional refinement modules to ensure smoothness and temporal coherency. In this work, we propose a novel temporal encoder decoder to tackle the problem of sequence fragmentation. In particular, the decoder follows a coarse to fine structure with an implicit ensemble of multiple temporal resolutions. The ensembling produces smoother segmentations that are more accurate and better calibrated, bypassing the need for additional refinement modules. In addition, we enhance our training with a multi resolution feature augmentation strategy to promote robustness to varying temporal resolutions. Finally, to support our architecture and encourage further sequence coherency, we propose an action loss that penalizes misclassifications at the video level. Experiments show that our stand alone architecture, together with our novel feature augmentation strategy and new loss, outperforms the state of the art on three temporal video segmentation benchmarks.


Talking Space inference from spatial linguistic meanings. This paper concerns the intersection of natural language and the physical space around us in which we live, that we observe and or imagine things within. Many important features of language have spatial connotations, for example, many prepositions (like in, next to, after, on, etc.) are fundamentally spatial. Space is also a key factor of the meanings of many words phrases sentences text, and space is a, if not the key, context for referencing (e.g. pointing) and embodiment. We propose a mechanism for how space and linguistic structure can be made to interact in a matching compositional fashion. Examples include Cartesian space, subway stations, chesspieces on a chess board, and Penrose's staircase. The starting point for our construction is the DisCoCat model of compositional natural language meaning, which we relax to accommodate physical space. We address the issue of having multiple agents objects in a space, including the case that each agent has different capabilities with respect to that space, e.g., the specific moves each chesspiece can make, or the different velocities one may be able to reach. Once our model is in place, we show how inferences drawing from the structure of physical space can be made. We also how how linguistic model of space can interact with other such models related to our senses and or embodiment, such as the conceptual spaces of colour, taste and smell, resulting in a rich compositional model of meaning that is close to human experience and embodiment in the world.


SenAOReFoc A Closed Loop Sensorbased Adaptive Optics and Remote Focusing Control Software. SenAOReFoc is a closed loop sensorbased adaptive optics (AO) and remote focusing control software that works with a deformable mirror (DM) and a Shack Hartmann wavefront sensor (SHWS). It is programmed in Python and is open source on Github https github.com jiahecui SenAOReFoc. A detailed user guide can be found in the Github repository. Here, we give a brief summary of basic software functionalities, a statement of need, and some examples for the usage of this software.


On the randomized Euler schemes for ODEs under inexact information. We analyse errors of randomized explicit and implicit Euler schemes for approximate solving of ordinary differential equations (ODEs). We consider classes of ODEs for which the right hand side functions satisfy Lipschitz condition globally or only locally. Moreover, we assume that only inexact discrete information, corrupted by some noise, about the right hand side function is available. Optimality and stability of explicit and implicit randomized Euler algorithms are also investigated.