Graded Galois Lattices and Closed Itemsets. The Galois lattice is a graphic method of representing knowledge structures. The first basic purpose in this paper is to introduce a new class of Galois lattices, called graded Galois lattices. As a direct result, one can obtain the notion of graded closed itemsets (sets of items), to extend the definition of closed itemsets. Our second important goal in this paper, is related to set a constructive method, computing the graded formal concepts and graded closed itemsets. We mean by a constructive method, a method that builds up a complete solution from scratch by sequentially adding components to a partial solution until the solution is complete. Besides of computational aspects, our methods in this paper are based on the strong results obtained by special mappings in the realm of domain theory. To reach the fertilized consequences and constructive algorithms, we need to push the study to the structures of Banach lattices.


Self similar signed growth fragmentations. Growth fragmentation processes model the evolution of positive masses which undergo binary divisions. The aim of this paper is twofold. First, we extend the theory of growth fragmentation processes to allow signed mass. Among others, we introduce genealogical martingales and establish a spinal decomposition for the associated cell system, following arXiv 1605.00581. Then, we study a particular family of such self similar signed growth fragmentation processes which arise when cutting half planar excursions at horizontal levels. When restricting this process to the positive masses, we recover part of the family introduced by Bertoin, Budd, Curien and Kortchemski in arXiv 1605.00581.


Classifying spaces for the family of virtually abelian subgroups of orientable 3 manifold groups. For a group G , let mathcal F n be the family of all the subgroups of G containing a subgroup isomorphic to mathbb Z r for some r 0,1,2, dots ,n of finite index. Joecken, Lafont and S 'anchez Salda na computed the mathcal F 1 dimension of 3 manifold groups. The goal of this article is to compute the mathcal F n geometric dimension of 3 manifold groups for all n geq 2 .


Memotion Analysis through the Lens of Joint Embedding. Joint embedding (JE) is a way to encode multi modal data into a vector space where text remains as the grounding key and other modalities like image are to be anchored with such keys. Meme is typically an image with embedded text onto it. Although, memes are commonly used for fun, they could also be used to spread hate and fake information. That along with its growing ubiquity over several social platforms has caused automatic analysis of memes to become a widespread topic of research. In this paper, we report our initial experiments on Memotion Analysis problem through joint embeddings. Results are marginally yielding SOTA.


On L infty estimates for Monge Amp ere and Hessian equations on nef classes. The PDE approach developed earlier by the first three authors for L infty estimates for fully non linear equations on K "ahler manifolds is shown to apply as well to Monge Amp ere and Hessian equations on nef classes. In particular, one obtains a new proof of the estimates of Boucksom Eyssidieux Guedj Zeriahi and Fu Guo Song for the Monge Amp ere equation, together with their generalization to Hessian equations.


ScaleVLAD Improving Multimodal Sentiment Analysis via Multi Scale Fusion of Locally Descriptors. Fusion technique is a key research topic in multimodal sentiment analysis. The recent attention based fusion demonstrates advances over simple operation based fusion. However, these fusion works adopt single scale, i.e., token level or utterance level, unimodal representation. Such single scale fusion is suboptimal because that different modality should be aligned with different granularities. This paper proposes a fusion model named ScaleVLAD to gather multi Scale representation from text, video, and audio with shared Vectors of Locally Aggregated Descriptors to improve unaligned multimodal sentiment analysis. These shared vectors can be regarded as shared topics to align different modalities. In addition, we propose a self supervised shifted clustering loss to keep the fused feature differentiation among samples. The backbones are three Transformer encoders corresponding to three modalities, and the aggregated features generated from the fusion module are feed to a Transformer plus a full connection to finish task predictions. Experiments on three popular sentiment analysis benchmarks, IEMOCAP, MOSI, and MOSEI, demonstrate significant gains over baselines.


Unit Weight Laplacians are Complete for Linear Systems Modulo p . In this paper, we prove that over finite fields modulo primes, solving general linear systems is as hard as solving unit weight Laplacian linear systems. We give a reduction of solving a general linear system mathbf A boldsymbol x boldsymbol b over mathbb Z p to solving a unit weight Laplacian system bar mathbf L of size O left( mathrm nnz ( mathbf A ) log 2p log log p right) . Our result indicates that unlike problems over reals, graph like structure such as Laplacians may not offer too many additional properties over finite fields. We also formalize the role of Schur complement as a tool for making reductions between problems on systems of linear equations.


From Bounded Checking to Verification of Equivalence via Symbolic Up to Techniques. We present a bounded equivalence verification technique for higher order programs with local state. This technique combines fully abstract symbolic environmental bisimulations similar to symbolic game semantics, novel up to techniques, and lightweight state invariant annotations. This yields an equivalence verification technique with no false positives or negatives. The technique is bounded complete, in that all inequivalences are automatically detected given large enough bounds. Moreover, several hard equivalences are proved automatically or after being annotated with state invariants. We realise the technique in a tool prototype called Hobbit and benchmark it with an extensive set of new and existing examples. Hobbit can prove many classical equivalences including all Meyer and Sieber examples.


Autoencoder Based Inter Vehicle Generalization for In Cabin Occupant Classification. Common domain shift problem formulations consider the integration of multiple source domains, or the target domain during training. Regarding the generalization of machine learning models between different car interiors, we formulate the criterion of training in a single vehicle without access to the target distribution of the vehicle the model would be deployed to, neither with access to multiple vehicles during training. We performed an investigation on the SVIRO dataset for occupant classification on the rear bench and propose an autoencoder based approach to improve the transferability. The autoencoder is on par with commonly used classification models when trained from scratch and sometimes out performs models pre trained on a large amount of data. Moreover, the autoencoder can transform images from unknown vehicles into the vehicle it was trained on. These results are corroborated by an evaluation on real infrared images from two vehicle interiors.


Weakening the Inner Strength Spotting Core Collusive Users in YouTube Blackmarket Network. Social reputation (e.g., likes, comments, shares, etc.) on YouTube is the primary tenet to popularize channels videos. However, the organic way to improve social reputation is tedious, which often provokes content creators to seek the services of online blackmarkets for rapidly inflating content reputation. Such blackmarkets act underneath a thriving collusive ecosystem comprising core users and compromised accounts (together known as collusive users). Core users form the backbone of blackmarkets thus, spotting and suspending them may help in destabilizing the entire collusive network. Although a few studies focused on collusive user detection on Twitter, Facebook, and YouTube, none of them differentiate between core users and compromised accounts. We are the first to present a rigorous analysis of core users in YouTube blackmarkets. To this end, we collect a new dataset of collusive YouTube users. We study the core periphery structure of the underlying collusive commenting network (CCN). We examine the topology of CCN to explore the behavioral dynamics of core and compromised users. We then introduce KORSE, a novel graph based method to automatically detect core users based only on the topological structure of CCN. KORSE performs a weighted k core decomposition using our proposed metric, called Weighted Internal Core Collusive Index (WICCI). However, KORSE is infeasible to adopt in practice as it requires complete interactions among collusive users to construct CCN. We, therefore, propose NURSE, a deep fusion framework that only leverages user timelines (without considering the underlying CCN) to detect core blackmarket users. Experimental results show that NURSE is quite close to KORSE in detecting core users and outperforms nine baselines.


Effective anisotropy of periodic acoustic and elastic composites. The propagation of acoustic or elastic waves in artificial crystals, including the case of phononic and sonic crystals, is inherently anisotropic. As is known from the theory of periodic composites, anisotropy is directly dictated by the space group of the unit cell of the crystal and the rank of the elastic tensor. Here, we examine effective velocities in the long wavelength limit of periodic acoustic and elastic composites as a function of the direction of propagation. We derive explicit and efficient formulas for estimating the effective velocity surfaces, based on second order perturbation theory, generalizing the Christofell equation for elastic waves in solids. We identify strongly anisotropic sonic crystals for scalar acoustic waves and strongly anisotropic phononic crystals for vector elastic waves. Furthermore, we observe that under specific conditions, quasi longitudinal waves can be made much slower than shear waves propagating in the same direction.


An Algorithm for the Discovery of Independence from Data. For years, independence has been considered as an important concept in many disciplines. Nevertheless, we present the first research that investigates the discovery problem of independence in data. In its arguably simplest form, independence is a statement between two sets of columns expressing that for every two rows in a table there is also a row in the table that coincides with the first row on the first set of columns and with the second row on the second set of columns. We show that the problem of deciding whether there is an independence statement that holds on a given table is not only NP complete but W 3 complete in its arguably most natural parameter, namely its arity. We establish the first algorithm to discover all independence statement that hold on a given table. We illustrate in experiments with benchmark data that our algorithm performs well within the limits established by our hardness results. In practice, it is often useful to determine the ratio with which independence statements hold on a given table. For that purpose, we show that our treatment of independence and the design of our algorithm enables us to extend our findings to approximate independence. In our final experiments, we provide some insight into the trade off between run time and the approximation ratio. Naturally, the smaller the ratio, the more approximate independence statements hold, and the more time it takes to discover all of them. While this research establishes first insight into the computational properties of discovering independence from data, we hope to initiate research into more sophisticated notions of independence, including embedded multivalued dependencies, as well as their context specific and probabilistic variants.


Measuring Mathematical Problem Solving With the MATH Dataset. Many intellectual endeavors require mathematical problem solving, but this skill remains beyond the capabilities of computers. To measure this ability in machine learning models, we introduce MATH, a new dataset of 12,500 challenging competition mathematics problems. Each problem in MATH has a full step by step solution which can be used to teach models to generate answer derivations and explanations. To facilitate future research and increase accuracy on MATH, we also contribute a large auxiliary pretraining dataset which helps teach models the fundamentals of mathematics. Even though we are able to increase accuracy on MATH, our results show that accuracy remains relatively low, even with enormous Transformer models. Moreover, we find that simply increasing budgets and model parameter counts will be impractical for achieving strong mathematical reasoning if scaling trends continue. While scaling Transformers is automatically solving most other text based tasks, scaling is not currently solving MATH. To have more traction on mathematical problem solving we will likely need new algorithmic advancements from the broader research community.


Robust Reinforcement Learning Under Minimax Regret for Green Security. Green security domains feature defenders who plan patrols in the face of uncertainty about the adversarial behavior of poachers, illegal loggers, and illegal fishers. Importantly, the deterrence effect of patrols on adversaries' future behavior makes patrol planning a sequential decision making problem. Therefore, we focus on robust sequential patrol planning for green security following the minimax regret criterion, which has not been considered in the literature. We formulate the problem as a game between the defender and nature who controls the parameter values of the adversarial behavior and design an algorithm MIRROR to find a robust policy. MIRROR uses two reinforcement learning based oracles and solves a restricted game considering limited defender strategies and parameter values. We evaluate MIRROR on real world poaching data.


Concordance invariants of null homologous knots in thickened surfaces. Using the Gordon Litherland pairing, one can define invariants (signature, nullity, determinant) for mathbb Z 2 null homologous links in thickened surfaces. In this paper, we study the concordance properties of these invariants. For example, if K subset Sigma times I is mathbb Z 2 null homologous and slice, we show that its signatures vanish and its determinants are perfect squares. These statements are derived from a cobordism result for closed unoriented surfaces in certain 4 manifolds. The Brown invariants are defined for mathbb Z 2 null homologous links in thickened surfaces. They take values in mathbb Z 8 cup infty and depend on a choice of spanning surface. We present two equivalent methods to defining and computing them, and we prove a chromatic duality result relating the two. We study their concordance properties, and we show how to interpret them as Arf invariants for null homologous links. The Brown invariants and knot signatures are shown to be invariant under concordance of spanning surfaces.


Machine Learning Techniques for Software Quality Assurance A Survey. Over the last years, machine learning techniques have been applied to more and more application domains, including software engineering and, especially, software quality assurance. Important application domains have been, e.g., software defect prediction or test case selection and prioritization. The ability to predict which components in a large software system are most likely to contain the largest numbers of faults in the next release helps to better manage projects, including early estimation of possible release delays, and affordably guide corrective actions to improve the quality of the software. However, developing robust fault prediction models is a challenging task and many techniques have been proposed in the literature. Closely related to estimating defect prone parts of a software system is the question of how to select and prioritize test cases, and indeed test case prioritization has been extensively researched as a means for reducing the time taken to discover regressions in software. In this survey, we discuss various approaches in both fault prediction and test case prioritization, also explaining how in recent studies deep learning algorithms for fault prediction help to bridge the gap between programs' semantics and fault prediction features. We also review recently proposed machine learning methods for test case prioritization (TCP), and their ability to reduce the cost of regression testing without negatively affecting fault detection capabilities.


Kernel based models for system analysis. This paper introduces a computational framework to identify nonlinear input output operators that fit a set of system trajectories while satisfying incremental integral quadratic constraints. The data fitting algorithm is thus regularized by suitable input output properties required for system analysis and control design. This biased identification problem is shown to admit the tractable solution of a regularized least squares problem when formulated in a suitable reproducing kernel Hilbert space. The kernel based framework is a departure from the prevailing state space framework. It is motivated by fundamental limitations of nonlinear state space models at combining the fitting requirements of data based modeling with the input output requirements of system analysis and physical modeling.


Exploring Decomposition for Table based Fact Verification. Fact verification based on structured data is challenging as it requires models to understand both natural language and symbolic operations performed over tables. Although pre trained language models have demonstrated a strong capability in verifying simple statements, they struggle with complex statements that involve multiple operations. In this paper, we improve fact verification by decomposing complex statements into simpler subproblems. Leveraging the programs synthesized by a weakly supervised semantic parser, we propose a program guided approach to constructing a pseudo dataset for decomposition model training. The subproblems, together with their predicted answers, serve as the intermediate evidence to enhance our fact verification model. Experiments show that our proposed approach achieves the new state of the art performance, an 82.7 accuracy, on the TabFact benchmark.


Fair Dynamic Rationing. We study the allocative challenges that governmental and nonprofit organizations face when tasked with equitable and efficient rationing of a social good among agents whose needs (demands) realize sequentially and are possibly correlated. As one example, early in the COVID 19 pandemic, the Federal Emergency Management Agency faced overwhelming, temporally scattered, a priori uncertain, and correlated demands for medical supplies from different states. In such contexts, social planners aim to maximize the minimum fill rate across sequentially arriving agents, where each agent's fill rate is determined by an irrevocable, one time allocation. For an arbitrarily correlated sequence of demands, we establish upper bounds on the expected minimum fill rate (ex post fairness) and the minimum expected fill rate (ex ante fairness) achievable by any policy. Our upper bounds are parameterized by the number of agents and the expected demand to supply ratio, yet we design a simple adaptive policy called projected proportional allocation (PPA) that simultaneously achieves matching lower bounds for both objectives (ex post and ex ante fairness), for any set of parameters. Our PPA policy is transparent and easy to implement, as it does not rely on distributional information beyond the first conditional moments. Despite its simplicity, we demonstrate that the PPA policy provides significant improvement over the canonical class of non adaptive target fill rate policies. We complement our theoretical developments with a numerical study motivated by the rationing of COVID 19 medical supplies based on a standard SEIR modeling approach that is commonly used to forecast pandemic trajectories. In such a setting, our PPA policy significantly outperforms its theoretical guarantee as well as the optimal target fill rate policy.


FaceQvec Vector Quality Assessment for Face Biometrics based on ISO Compliance. In this paper we develop FaceQvec, a software component for estimating the conformity of facial images with each of the points contemplated in the ISO IEC 19794 5, a quality standard that defines general quality guidelines for face images that would make them acceptable or unacceptable for use in official documents such as passports or ID cards. This type of tool for quality assessment can help to improve the accuracy of face recognition, as well as to identify which factors are affecting the quality of a given face image and to take actions to eliminate or reduce those factors, e.g., with postprocessing techniques or re acquisition of the image. FaceQvec consists of the automation of 25 individual tests related to different points contemplated in the aforementioned standard, as well as other characteristics of the images that have been considered to be related to facial quality. We first include the results of the quality tests evaluated on a development dataset captured under realistic conditions. We used those results to adjust the decision threshold of each test. Then we checked again their accuracy on a evaluation database that contains new face images not seen during development. The evaluation results demonstrate the accuracy of the individual tests for checking compliance with ISO IEC 19794 5. FaceQvec is available online (https github.com uam biometrics FaceQvec).


Simultaneous Multi Pivot Neural Machine Translation. Parallel corpora are indispensable for training neural machine translation (NMT) models, and parallel corpora for most language pairs do not exist or are scarce. In such cases, pivot language NMT can be helpful where a pivot language is used such that there exist parallel corpora between the source and pivot and pivot and target languages. Naturally, the quality of pivot language translation is more inferior to what could be achieved with a direct parallel corpus of a reasonable size for that pair. In a real time simultaneous translation setting, the quality of pivot language translation deteriorates even further given that the model has to output translations the moment a few source words become available. To solve this issue, we propose multi pivot translation and apply it to a simultaneous translation setting involving pivot languages. Our approach involves simultaneously translating a source language into multiple pivots, which are then simultaneously translated together into the target language by leveraging multi source NMT. Our experiments in a low resource setting using the N way parallel UN corpus for Arabic to English NMT via French and Spanish as pivots reveals that in a simultaneous pivot NMT setting, using two pivot languages can lead to an improvement of up to 5.8 BLEU.


Launchpad A Programming Model for Distributed Machine Learning Research. A major driver behind the success of modern machine learning algorithms has been their ability to process ever larger amounts of data. As a result, the use of distributed systems in both research and production has become increasingly prevalent as a means to scale to this growing data. At the same time, however, distributing the learning process can drastically complicate the implementation of even simple algorithms. This is especially problematic as many machine learning practitioners are not well versed in the design of distributed systems, let alone those that have complicated communication topologies. In this work we introduce Launchpad, a programming model that simplifies the process of defining and launching distributed systems that is specifically tailored towards a machine learning audience. We describe our framework, its design philosophy and implementation, and give a number of examples of common learning algorithms whose designs are greatly simplified by this approach.


The DCU EPFL Enhanced Dependency Parser at the IWPT 2021 Shared Task. We describe the DCU EPFL submission to the IWPT 2021 Shared Task on Parsing into Enhanced Universal Dependencies. The task involves parsing Enhanced UD graphs, which are an extension of the basic dependency trees designed to be more facilitative towards representing semantic structure. Evaluation is carried out on 29 treebanks in 17 languages and participants are required to parse the data from each language starting from raw strings. Our approach uses the Stanza pipeline to preprocess the text files, XLMRoBERTa to obtain contextualized token representations, and an edge scoring and labeling model to predict the enhanced graph. Finally, we run a post processing script to ensure all of our outputs are valid Enhanced UD graphs. Our system places 6th out of 9 participants with a coarse Enhanced Labeled Attachment Score (ELAS) of 83.57. We carry out additional post deadline experiments which include using Trankit for pre processing, XLM RoBERTa LARGE, treebank concatenation, and multitask learning between a basic and an enhanced dependency parser. All of these modifications improve our initial score and our final system has a coarse ELAS of 88.04.


Viral Visualizations How Coronavirus Skeptics Use Orthodox Data Practices to Promote Unorthodox Science Online. Controversial understandings of the coronavirus pandemic have turned data visualizations into a battleground. Defying public health officials, coronavirus skeptics on US social media spent much of 2020 creating data visualizations showing that the government's pandemic response was excessive and that the crisis was over. This paper investigates how pandemic visualizations circulated on social media, and shows that people who mistrust the scientific establishment often deploy the same rhetorics of data driven decision making used by experts, but to advocate for radical policy changes. Using a quantitative analysis of how visualizations spread on Twitter and an ethnographic approach to analyzing conversations about COVID data on Facebook, we document an epistemological gap that leads pro and anti mask groups to draw drastically different inferences from similar data. Ultimately, we argue that the deployment of COVID data visualizations reflect a deeper sociopolitical rift regarding the place of science in public life.


High Fidelity Point Cloud Completion with Low Resolution Recovery and Noise Aware Upsampling. Completing an unordered partial point cloud is a challenging task. Existing approaches that rely on decoding a latent feature to recover the complete shape, often lead to the completed point cloud being over smoothing, losing details, and noisy. Instead of decoding a whole shape, we propose to decode and refine a low resolution (low res) point cloud first, and then performs a patch wise noise aware upsampling rather than interpolating the whole sparse point cloud at once, which tends to lose details. Regarding the possibility of lacking details of the initially decoded low res point cloud, we propose an iterative refinement to recover the geometric details and a symmetrization process to preserve the trustworthy information from the input partial point cloud. After obtaining a sparse and complete point cloud, we propose a patch wise upsampling strategy. Patch based upsampling allows to better recover fine details unlike decoding a whole shape, however, the existing upsampling methods are not applicable to completion task due to the data discrepancy (i.e., input sparse data here is not from ground truth). Therefore, we propose a patch extraction approach to generate training patch pairs between the sparse and ground truth point clouds, and an outlier removal step to suppress the noisy points from the sparse point cloud. Together with the low res recovery, our whole method is able to achieve high fidelity point cloud completion. Comprehensive evaluations are provided to demonstrate the effectiveness of the proposed method and its individual components.


Distribution of values of Gaussian hypergeometric functions. In the 1980's, Greene defined it hypergeometric functions over finite fields using Jacobi sums. The framework of his theory establishes that these functions possess many properties that are analogous to those of the classical hypergeometric series studied by Gauss and Kummer. These functions have played important roles in the study of Ap 'ery style supercongruences, the Eichler Selberg trace formula, Galois representations, and zeta functions of arithmetic varieties. We study the value distribution (over large finite fields) of natural families of these functions. For the 2F 1 functions, the limiting distribution is semicircular (i.e. SU(2) ), whereas the distribution for the 3F 2 functions is the it Batman distribution for the traces of the real orthogonal group O 3 .


Happy Dance, Slow Clap Using Reaction GIFs to Predict Induced Affect on Twitter. Datasets with induced emotion labels are scarce but of utmost importance for many NLP tasks. We present a new, automated method for collecting texts along with their induced reaction labels. The method exploits the online use of reaction GIFs, which capture complex affective states. We show how to augment the data with induced emotion and induced sentiment labels. We use our method to create and publish ReactionGIF, a first of its kind affective dataset of 30K tweets. We provide baselines for three new tasks, including induced sentiment prediction and multilabel classification of induced emotions. Our method and dataset open new research opportunities in emotion detection and affective computing.


Anticipatory Detection of Compulsive Body focused Repetitive Behaviors with Wearables. Body focused repetitive behaviors (BFRBs), like face touching or skin picking, are hand driven behaviors which can damage one's appearance, if not identified early and treated. Technology for automatic detection is still under explored, with few previous works being limited to wearables with single modalities (e.g., motion). Here, we propose a multi sensory approach combining motion, orientation, and heart rate sensors to detect BFRBs. We conducted a feasibility study in which participants (N 10) were exposed to BFRBs inducing tasks, and analyzed 380 mins of signals under an extensive evaluation of sensing modalities, cross validation methods, and observation windows. Our models achieved an AUC 0.90 in distinguishing BFRBs, which were more evident in observation windows 5 mins prior to the behavior as opposed to 1 min ones. In a follow up qualitative survey, we found that not only the timing of detection matters but also models need to be context aware, when designing just in time interventions to prevent BFRBs.


Solving even parity problems using traceless genetic programming. A genetic programming (GP) variant called traceless genetic programming (TGP) is proposed in this paper. TGP is a hybrid method combining a technique for building individuals and a technique for representing individuals. The main difference between TGP and other GP techniques is that TGP does not explicitly store the evolved computer programs. Two genetic operators are used in conjunction with TGP crossover and insertion. TGP is applied for evolving digital circuits for the even parity problem. Numerical experiments show that TGP outperforms standard GP with several orders of magnitude.


Generating Extended Resolution Proofs with a BDD Based SAT Solver. In 2006, Biere, Jussila, and Sinz made the key observation that the underlying logic behind algorithms for constructing Reduced, Ordered Binary Decision Diagrams (BDDs) can be encoded as steps in a proof in the extended resolution logical framework. Through this, a BDD based Boolean satisfiability (SAT) solver can generate a checkable proof of unsatisfiability for a set of clauses. Such a proof indicates that the formula is truly unsatisfiable without requiring the user to trust the BDD package or the SAT solver built on top of it. We extend their work to enable arbitrary existential quantification of the formula variables, a critical capability for BDD based SAT solvers. We demonstrate the utility of this approach by applying a prototype solver to several problems that are very challenging for search based SAT solvers, obtaining polynomially sized proofs on benchmarks for parity formulas, as well as the Urquhart, mutilated chessboard, and pigeonhole problems.


Automorphic functions as the trace of Frobenius. We prove that the trace of the Frobenius endofunctor of the category of automorphic sheaves with nilpotent singular support maps isomorphically to the space of unramified automorphic functions, settling a conjecture from AGKRRV1 . More generally, we show that traces of Frobenius Hecke functors produce shtuka cohomologies.


Why do people participate in small online communities?. Many benefits of online communities such as obtaining new information, opportunities, and social connections increase with size. Thus, a successful'' online community often evokes an image of hundreds of thousands of users, and practitioners and researchers alike have sought to devise methods to achieve growth and thereby, success. On the other hand, small online communities exist in droves and many persist in their smallness over time. Turning to the highly popular discussion website Reddit, which is made up of hundreds of thousands of communities, we conducted a qualitative interview study examining how and why people participate in these persistently small communities, in order to understand why these communities exist when popular approaches would assume them to be failures. Drawing from twenty interviews, this paper makes several contributions we describe how small communities provide unique informational and interactional spaces for participants, who are drawn by the hyperspecific aspects of the community we find that small communities do not promote strong dyadic interpersonal relationships but rather promote group based identity and we highlight how participation in small communities is part of a broader, ongoing strategy to curate participants' online experience. We argue that online communities can be seen as nested niches parts of an embedded, complex, symbiotic socio informational ecosystem. We suggest ways that social computing research could benefit from more deliberate considerations of interdependence between diverse scales of online community sizes.


Experimental observation of PT symmetry breaking near divergent exceptional points. Standard exceptional points (EPs) are non Hermitian degeneracies that occur in open systems. At an EP, the Taylor series expansion becomes singular and fails to converge a feature that was exploited for several applications. Here, we theoretically introduce and experimentally demonstrate a new class of parity time symmetric systems implemented using radio frequency (rf) circuits that combine EPs with another type of mathematical singularity associated with the poles of complex functions. These nearly divergent exceptional points can exhibit an unprecedentedly large eigenvalue bifurcation beyond those obtained by standard EPs. Our results pave the way for building a new generation of telemetering and sensing devices with superior performance.


SSD A Unified Framework for Self Supervised Outlier Detection. We ask the following question what training information is required to design an effective outlier out of distribution (OOD) detector, i.e., detecting samples that lie far away from the training distribution? Since unlabeled data is easily accessible for many applications, the most compelling approach is to develop detectors based on only unlabeled in distribution data. However, we observe that most existing detectors based on unlabeled data perform poorly, often equivalent to a random prediction. In contrast, existing state of the art OOD detectors achieve impressive performance but require access to fine grained data labels for supervised training. We propose SSD, an outlier detector based on only unlabeled in distribution data. We use self supervised representation learning followed by a Mahalanobis distance based detection in the feature space. We demonstrate that SSD outperforms most existing detectors based on unlabeled data by a large margin. Additionally, SSD even achieves performance on par, and sometimes even better, with supervised training based detectors. Finally, we expand our detection framework with two key extensions. First, we formulate few shot OOD detection, in which the detector has access to only one to five samples from each class of the targeted OOD dataset. Second, we extend our framework to incorporate training data labels, if available. We find that our novel detection framework based on SSD displays enhanced performance with these extensions, and achieves state of the art performance. Our code is publicly available at https github.com inspire group SSD.


Vibrations of Dimers of Mechanically Coupled Nanostructures Analytical and Numerical Modeling. The coupling effects affecting the vibrations of two close nanostructures (e.g., two metal nanoplates or nanospheres separated by a thin dielectric layer) may considerably alter their vibrational eigenfrequencies, as demonstrated by several recent experimental studies. In this work, we present theoretical investigations of these coupling processes based on a continuum mechanics approach, considering various systems composed by two identical nanostructures mechanically coupled by a spacer made of a different material and computing their eigenfrequencies as a function of the spacer thickness. We first discuss the vibrations of stacked slabs, a one dimensional problem which can be treated analytically. The more complex configurations of dimers of rods or spheres coupled by a finite cylindrical spacer are then treated numerically. In all cases, the frequency shifts occurring for thin spacers can be simply interpreted as a modification of the boundary conditions of the problem as compared to the single nanostructure case, while those predicted near specific spacer thicknesses are ascribed to an avoided crossing effect, happening when the individual building blocks of the dimers (nanostructures and spacer) present common eigenfrequencies.


Ontology based n ball Concept Embeddings Informing Few shot Image Classification. We propose a novel framework named ViOCE that integrates ontology based background knowledge in the form of n ball concept embeddings into a neural network based vision architecture. The approach consists of two components converting symbolic knowledge of an ontology into continuous space by learning n ball embeddings that capture properties of subsumption and disjointness, and guiding the training and inference of a vision model using the learnt embeddings. We evaluate ViOCE using the task of few shot image classification, where it demonstrates superior performance on two standard benchmarks.


Multiresolution based mesh adaptation and error control for lattice Boltzmann methods with applications to hyperbolic conservation laws. Lattice Boltzmann Methods (LBM) stand out for their simplicity and computational efficiency while offering the possibility of simulating complex phenomena. While they are optimal for Cartesian meshes, adapted meshes have traditionally been a stumbling block since it is difficult to predict the right physics through various levels of meshes. In this work, we design a class of fully adaptive LBM methods with dynamic mesh adaptation and error control relying on multiresolution analysis. This wavelet based approach allows to adapt the mesh based on the regularity of the solution and leads to a very efficient compression of the solution without loosing its quality and with the preservation of the properties of the original LBM method on the finest grid. This yields a general approach for a large spectrum of schemes and allows precise error bounds, without the need for deep modifications on the reference scheme. An error analysis is proposed. For the purpose of assessing the approach, we conduct a series of test cases for various schemes and scalar and systems of conservation laws, where solutions with shocks are to be found and local mesh adaptation is especially relevant. Theoretical estimates are retrieved while a reduced memory footprint is observed. It paves the way to an implementation in a multi dimensional framework and high computational efficiency of the method for both parabolic and hyperbolic equations, which is the subject of a companion paper.


Faces of polyhedra associated with relation modules. Relation Gelfand Tsetlin mathfrak gl n modules were introduced in FRZ19 , and are determined by some special directed graphs and Gelfand Tsetlin characters. In this work we constructed polyhedra associated with the class of relation modules, which includes as a particular case, any classical Gelfand Tsetlin polytope. Following the ideas presented in LM04 we give a characterization of d faces of the associated polyhedra in terms of a matrix related to the corresponding graph.


Punctured Low Bias Codes Behave Like Random Linear Codes. Random linear codes are a workhorse in coding theory, and are used to show the existence of codes with the best known or even near optimal trade offs in many noise models. However, they have little structure besides linearity, and are not amenable to tractable error correction algorithms. In this work, we prove a general derandomization result applicable to random linear codes. Namely, in settings where the coding theoretic property of interest is "local" (in the sense of forbidding certain bad configurations involving few vectors code distance and list decodability being notable examples), one can replace random linear codes (RLCs) with a significantly derandomized variant with essentially no loss in parameters. Specifically, instead of randomly sampling coordinates of the (long) Hadamard code (which is an equivalent way to describe RLCs), one can randomly sample coordinates of any code with low bias. Over large alphabets, the low bias requirement can be weakened to just large distance. Furthermore, large distance suffices even with a small alphabet in order to match the current best known bounds for RLC list decodability. In particular, by virtue of our result, all current (and future) achievability bounds for list decodability of random linear codes extend automatically to random puncturings of any low bias (or large alphabet) "mother" code. We also show that our punctured codes emulate the behavior of RLCs on stochastic channels, thus giving a derandomization of RLCs in the context of achieving Shannon capacity as well. Thus, we have a randomness efficient way to sample codes achieving capacity in both worst case and stochastic settings that can further inherit algebraic or other algorithmically useful structural properties of the mother code.


Solving Partial Differential Equations with Point Source Based on Physics Informed Neural Networks. In recent years, deep learning technology has been used to solve partial differential equations (PDEs), among which the physics informed neural networks (PINNs) emerges to be a promising method for solving both forward and inverse PDE problems. PDEs with a point source that is expressed as a Dirac delta function in the governing equations are mathematical models of many physical processes. However, they cannot be solved directly by conventional PINNs method due to the singularity brought by the Dirac delta function. We propose a universal solution to tackle this problem with three novel techniques. Firstly the Dirac delta function is modeled as a continuous probability density function to eliminate the singularity secondly a lower bound constrained uncertainty weighting algorithm is proposed to balance the PINNs losses between point source area and other areas and thirdly a multi scale deep neural network with periodic activation function is used to improve the accuracy and convergence speed of the PINNs method. We evaluate the proposed method with three representative PDEs, and the experimental results show that our method outperforms existing deep learning based methods with respect to the accuracy, the efficiency and the versatility.


Transfer Learning Approach to Bicycle sharing Systems' Station Location Planning using OpenStreetMap Data. Bicycle sharing systems (BSS) have become a daily reality for many citizens of larger, wealthier cities in developed regions. However, planning the layout of bicycle sharing stations usually requires expensive data gathering, surveying travel behavior and trip modelling followed by station layout optimization. Many smaller cities and towns, especially in developing areas, may have difficulty financing such projects. Planning a BSS also takes a considerable amount of time. Yet as the pandemic has shown us, municipalities will face the need to adapt rapidly to mobility shifts, which include citizens leaving public transport for bicycles. Laying out a bike sharing system quickly will become critical in addressing the increase in bike demand. This paper addresses the problem of cost and time in BSS layout design and proposes a new solution to streamline and facilitate the process of such planning by using spatial embedding methods. Based only on publicly available data from OpenStreetMap, and station layouts from 34 cities in Europe, a method has been developed to divide cities into micro regions using the Uber H3 discrete global grid system and to indicate regions where it is worth placing a station based on existing systems in different cities using transfer learning. The result of the work is a mechanism to support planners in their decision making when planning a station layout with a choice of reference cities.


On a Benefit of Mask Language Modeling Robustness to Simplicity Bias. Despite the success of pretrained masked language models (MLM), why MLM pretraining is useful is still a qeustion not fully answered. In this work we theoretically and empirically show that MLM pretraining makes models robust to lexicon level spurious features, partly answer the question. We theoretically show that, when we can model the distribution of a spurious feature Pi conditioned on the context, then (1) Pi is at least as informative as the spurious feature, and (2) learning from Pi is at least as simple as learning from the spurious feature. Therefore, MLM pretraining rescues the model from the simplicity bias caused by the spurious feature. We also explore the efficacy of MLM pretraing in causal settings. Finally we close the gap between our theories and the real world practices by conducting experiments on the hate speech detection and the name entity recognition tasks.


A Clinically Inspired Approach for Melanoma classification. Melanoma is a leading cause of deaths due to skin cancer deaths and hence, early and effective diagnosis of melanoma is of interest. Current approaches for automated diagnosis of melanoma either use pattern recognition or analytical recognition like ABCDE (asymmetry, border, color, diameter and evolving) criterion. In practice however, a differential approach wherein outliers (ugly duckling) are detected and used to evaluate nevi lesions. Incorporation of differential recognition in Computer Aided Diagnosis (CAD) systems has not been explored but can be beneficial as it can provide a clinical justification for the derived decision. We present a method for identifying and quantifying ugly ducklings by performing Intra Patient Comparative Analysis (IPCA) of neighboring nevi. This is then incorporated in a CAD system design for melanoma detection. This design ensures flexibility to handle cases where IPCA is not possible. Our experiments on a public dataset show that the outlier information helps boost the sensitivity of detection by at least 4.1 and specificity by 4.0 to 8.9 , depending on the use of a strong (EfficientNet) or moderately strong (VGG or ResNet) classifier.


The Gau Wu Number for 4 times 4 and Select Arrowhead Matrices. The notion of dichotomous matrices is introduced as a natural generalization of essentially Hermitian matrices. A criterion for arrowhead matrices to be dichotomous is established, along with necessary and sufficient conditions for such matrices to be unitarily irreducible. The Gau Wu number (i.e., the maximal number k(A) of orthonormal vectors x j such that the scalar products langle Ax j,x j rangle lie on the boundary of the numerical range of A ) is computed for a class of arrowhead matrices A of arbitrary size, including dichotomous ones. These results are then used to completely classify all 4 times4 matrices according to the values of their Gau Wu numbers.


Achieving Causality with Physical Clocks. Physical clocks provide more precision than applications can use. For example, a 64 bit NTP clock allows a precision of 233 picoseconds. In this paper, we focus on whether the least significant bits that are not useful to the applications could be used to track (one way) causality among events. We present PWC (Physical clock With Causality) that uses the extraneous bits in the physical clock. We show that PWC is very robust to errors in clock skew and transient errors. We show that PWC can be used as both a physical and logical clock for a typical distributed application even if just 6 9 extraneous bits (corresponding to precision of 15 120 nanoseconds) are available. Another important characteristic of PWC is that the standard integer operation can be used to compare timestamps to deduce (one way) causality among events. Thus, PWC is significantly more versatile than previous approaches for using the physical clock to provide causality information.


A Survey of Hybrid Human Artificial Intelligence for Social Computing. Along with the development of modern computing technology and social sciences, both theoretical research and practical applications of social computing have been continuously extended. In particular with the boom of artificial intelligence (AI), social computing is significantly influenced by AI. However, the conventional technologies of AI have drawbacks in dealing with more complicated and dynamic problems. Such deficiency can be rectified by hybrid human artificial intelligence (H AI) which integrates both human intelligence and AI into one unity, forming a new enhanced intelligence. H AI in dealing with social problems shows the advantages that AI can not surpass. This paper firstly introduces the concept of H AI. AI is the intelligence in the transition stage of H AI, so the latest research progresses of AI in social computing are reviewed. Secondly, it summarizes typical challenges faced by AI in social computing, and makes it possible to introduce H AI to solve these challenges. Finally, the paper proposes a holistic framework of social computing combining with H AI, which consists of four layers object layer, base layer, analysis layer, and application layer. It represents H AI has significant advantages over AI in solving social problems.


On the framework of L p summations for functions. We develop the framework of L p operations for functions by introducing two primary new types L p,s summations for p 0 the L p,s convolution sum and the L p,s Asplund sum for functions. The first type is defined as the linear summations of functions in terms of the L p coefficients ( C p, lambda,t , D p, lambda,t ), the so called the L p,s supremal convolution when p geq1 and the L p,s inf sup convolution when 0 p 1 , respectively. The second type L p,s summation is created by the L p averages of bases for s concave functions. We show that they are equivalent in the case s 0 (log concave functions) and p geq1 . For the former type L p,s summation, we establish the corresponding L p Borell Brascamp Lieb inequalities for all s in infty, infty and p geq1 . Furthermore, in summarizing the conditions for these new types of L p Borell Brascamp Lieb inequalities, we define a series of the L p,s concavity definitions for functions and measures. On the other hand, for the latter type L p,s Asplund summation, we discover the integral formula for L p,s mixed quermassintegral for functions via tackling the variation formula of quermassintegral of functions for p geq 1 .


Exploiting all samples in low resource sentence classification early stopping and initialization parameters. In low resource settings, deep neural models have often shown lower performance due to overfitting. The primary method to solve the overfitting problem is to generalize model parameters. To this end, many researchers have depended on large external resources with various manipulation techniques. In this study, we discuss how to exploit all available samples in low resource settings, without external datasets and model manipulation. This study focuses on natural language processing task. We propose a simple algorithm to find out good initialization parameters that improve robustness to a small sample set. We apply early stopping techniques that enable the use of all samples for training. Finally, the proposed learning strategy is to train all samples with the good initialization parameters and stop the model with the early stopping techniques. Extensive experiments are conducted on seven public sentence classification datasets, and the results demonstrate that the proposed learning strategy achieves better performance than several state of the art works across the seven datasets.


Engineering the light coupling between metalens and photonic crystal resonators for robust on chip microsystems. We designed an on chip transformative optic system of a metalens photonic crystal resonator metasystem on a foundry compatible silicon photonic platform. By adjusting the on chip metalens' focusing length and mode dimension, the insertion loss between the metalens and the photonic crystal resonator and waveguide structures are minimized through mode matching. The micro system does not involve any single mode silicon nanowire waveguide, and thus mechanically robust without any oxide claddings. The proposed microsystem is ideal for miniaturized chemical and biosensors operating in air or solution environment.


Exploring Consequential Robot Sound Should We Make Robots Quiet and Kawaii et?. All robots create consequential sound sound produced as a result of the robot's mechanisms yet little work has explored how sound impacts human robot interaction. Recent work shows that the sound of different robot mechanisms affects perceived competence, trust, human likeness, and discomfort. However, the physical sound characteristics responsible for these perceptions have not been clearly identified. In this paper, we aim to explore key characteristics of robot sound that might influence perceptions. A pilot study from our past work showed that quieter and higher pitched robots may be perceived as more competent and less discomforting. To better understand how variance in these attributes affects perception, we performed audio manipulations on two sets of industrial robot arm videos within a series of four new studies presented in this paper. Results confirmed that quieter robots were perceived as less discomforting. In addition, higher pitched robots were perceived as more energetic, happy, warm, and competent. Despite the robot's industrial purpose and appearance, participants seemed to prefer more "cute" (or "kawaii") sound profiles, which could have implications for the design of more acceptable and fulfilling sound profiles for human robot interactions with practical collaborative robots.


Modeling Global Semantics for Question Answering over Knowledge Bases. Semantic parsing, as an important approach to question answering over knowledge bases (KBQA), transforms a question into the complete query graph for further generating the correct logical query. Existing semantic parsing approaches mainly focus on relations matching with paying less attention to the underlying internal structure of questions (e.g., the dependencies and relations between all entities in a question) to select the query graph. In this paper, we present a relational graph convolutional network (RGCN) based model gRGCN for semantic parsing in KBQA. gRGCN extracts the global semantics of questions and their corresponding query graphs, including structure semantics via RGCN and relational semantics (label representation of relations between entities) via a hierarchical relation attention mechanism. Experiments evaluated on benchmarks show that our model outperforms off the shelf models.


Markowitz based cardinality constrained portfolio selection using Asexual Reproduction Optimization (ARO). The Markowitz based portfolio selection turns to an NP hard problem when considering cardinality constraints. In this case, existing exact solutions like quadratic programming may not be efficient to solve the problem. Many researchers, therefore, used heuristic and metaheuristic approaches in order to deal with the problem. This work presents Asexual Reproduction Optimization (ARO), a model free metaheuristic algorithm inspired by the asexual reproduction, in order to solve the portfolio optimization problem including cardinality constraint to ensure the investment in a given number of different assets and bounding constraint to limit the proportions of fund invested in each asset. This is the first time that this relatively new metaheuristic is in the field of portfolio optimization, and we show that ARO results in better quality solutions in comparison with some of the well known metaheuristics stated in the literature. To validate our proposed algorithm, we measured the deviation of obtained results from the standard efficient frontier. We report our computational results on a set of publicly available benchmark test problems relating to five main market indices containing 31, 85, 89, 98, and 225 assets. These results are used in order to test the efficiency of our proposed method in comparison to other existing metaheuristic solutions. The experimental results indicate that ARO outperforms Genetic Algorithm(GA), Tabu Search (TS), Simulated Annealing (SA), and Particle Swarm Optimization (PSO) in most of test problems. In terms of the obtained error, by using ARO, the average error of the aforementioned test problems is reduced by approximately 20 percent of the minimum average error calculated for the above mentioned algorithms.


The trifecta of Hilbert spaces on Unit Disc. The Hilbert spaces are common. But the direct connection between them is rare. The aim of this paper is to establish a direct relation among the three Hilbert spaces Hardy, Bergman and Dirichlet without defining any of the Hilbert space in weighted sense. In order to accomplish this goal, this paper develops the Littlewood Paley type Identities for Bergman and Dirichlet space. After defining these identities, the vision of connecting all the three Hilbert spaces via a direct connection is achieved.


Sequence space representations for spaces of smooth functions and distributions via Wilson bases. We provide explicit sequence space representations for the test function and distribution spaces occurring in the Valdivia Vogt structure tables by making use of Wilson bases generated by compactly supported smooth windows. Furthermore, we show that these kind of bases are common unconditional Schauder bases for all separable spaces occurring in these tables. Our work implies that the Valdivia Vogt structure tables for test functions and distributions may be interpreted as one large commutative diagram.


A Nagy Foias program for a c.n.u. Gamma n contraction. A tuple of commuting Hilbert space operators (S 1, dots, S n 1 , P) having the closed symmetrized polydisc Gamma n left left( sum i 1 n z i, sum limits 1 leq i j leq n z iz j, cdots, prod i 1 n z i right) z i leq 1 ,, 1 leq i leq n 1 right as a spectral set is called a Gamma n contraction. From the literature we have that a point (s 1, dots , s n 1 ,p) in Gamma n can be represented as s i c i pc n i for some (c 1, dots, c n 1 ) in Gamma n 1 . We construct a minimal Gamma n isometric dilation for a particular class of c.n.u. Gamma n contractions (S 1, cdots, S n 1 ,P) and obtain a functional model for them. With the help of this model we express each S i as S i C i PC n i , which is an operator theoretic analogue of the scalar result. We also produce an abstract model for a different class of c.n.u. Gamma n contractions satisfying S i P PS i for each i . By exhibiting a counter example we show that such abstract model may not exist if we drop the hypothesis that S i P PS i . We apply this abstract model to achieve a complete unitary invariant for such c.n.u. Gamma n contractions. Additionally, we present different necessary conditions for dilation and a sufficient condition under which a commuting tuple (S 1, dots , S n 1 ,P) becomes a Gamma n contraction. The entire program goes parallel to the operator theoretic program developed by Sz. Nagy and Foias for a c.n.u. contraction.


Emergence of dynamic properties in network hyper motifs. Networks are fundamental for our understanding of complex systems. Interactions between individual nodes in networks generate network motifs small recurrent patterns that can be considered the network's building block components, providing certain dynamical properties. However, it remains unclear how network motifs are arranged within networks and what properties emerge from interactions between network motifs. Here we develop a framework to explore the mesoscale level behavior of complex networks. Considering network motifs as hyper nodes, we define the rules for their interaction at the network's next level of organization. We infer the favorable arrangements of interactions between network motifs into hyper motifs from real evolved and designed networks data including biological, neuronal, social, linguistic and electronic networks. We mathematically explore the emergent properties of these higher order circuits and their relations to the properties of the individual minimal circuit components they combine. This framework provides a basis for exploring the mesoscale structure and behavior of complex systems where it can be used to reveal intermediate patterns in complex networks and to identify specific nodes and links in the network that are the key drivers of the network's emergent properties.


End to end Keyword Spotting using Xception 1d. The field of conversational agents is growing fast and there is an increasing need for algorithms that enhance natural interaction. In this work we show how we achieved state of the art results in the Keyword Spotting field by adapting and tweaking the Xception algorithm, which achieved outstanding results in several computer vision tasks. We obtained about 96 accuracy when classifying audio clips belonging to 35 different categories, beating human annotation at the most complex tasks proposed.


Enhanced Absorption in thin and ultrathin silicon films by 3D photonic band gap back reflectors. Since thin film silicon solar cells have limited optical absorption, we explore the effect of a nanostructured back reflector to recycle the unabsorbed light. As a back reflector we investigate a 3D photonic band gap crystal made from silicon that is readily integrated with the thin films. We numerically obtain the optical properties by solving the 3D time harmonic Maxwell equations using the finite element method, and model silicon with experimentally determined optical constants. The absorption enhancement relevant for photovoltaics is obtained by weighting the absorption spectra with the AM 1.5 standard solar spectrum. We study thin films either thicker ( L Si 2400 nm) or much thinner ( L Si 80 nm) than the wavelength of light. At L Si 2400 nm, the 3D photonic band gap crystal enhances the spectrally averaged ( lambda 680 nm to 880 nm) silicon absorption by 2.22 x (s pol.) to 2.45 x (p pol.), which exceeds the enhancement of a perfect metal back reflector ( 1.47 to 1.56 x). The absorption is enhanced by the (i) broadband angle and polarization independent reflectivity in the 3D photonic band gap, and (ii) the excitation of many guided modes in the film by the crystal's surface diffraction leading to enhanced path lengths. At L Si 80 nm, the photonic crystal back reflector yields a striking average absorption enhancement of 9.15 x, much more than 0.83 x for a perfect metal, which is due to a remarkable guided mode confined within the combined thickness of the thin film and the photonic crystal's Bragg attenuation length. The broad bandwidth of the 3D photonic band gap leads to the back reflector's Bragg attenuation length being much shorter than the silicon absorption length. Consequently, light is confined inside the thin film and the absorption enhancements are not due to the additional thickness of the photonic crystal back reflector.


Dataset Generation Patterns for Evaluating Knowledge Graph Construction. Confidentiality hinders the publication of authentic, labeled datasets of personal and enterprise data, although they could be useful for evaluating knowledge graph construction approaches in industrial scenarios. Therefore, our plan is to synthetically generate such data in a way that it appears as authentic as possible. Based on our assumption that knowledge workers have certain habits when they produce or manage data, generation patterns could be discovered which can be utilized by data generators to imitate real datasets. In this paper, we initially derived 11 distinct patterns found in real spreadsheets from industry and demonstrate a suitable generator called Data Sprout that is able to reproduce them. We describe how the generator produces spreadsheets in general and what altering effects the implemented patterns have.


Understanding Xacro Misunderstandings. The Xacro XML macro language extends the Universal Robot Description Format (URDF) and is part of a critical toolchain from geometric representations to simulation, visualization, and system execution. However, members of the robotics community, especially newcomers, struggle to troubleshoot and understand the interplay between systems and the Xacro preprocessing pipeline. To better understand how system developers struggle with Xacros, we manually examine 712 Xacro related questions from the question and answer site http answers.ros.org and find Xacro misunderstandings fit into 10 key categories using a systematic, qualitative approach called Open Coding. By examining the 'tags' applied to questions, we further find that Xacro problems manifest in a befuddlingly broad set of contexts. This hinders onboarding and complicates system developers' understanding of representations and tools in the Robot Operating System. We aim to provide an empirical grounding that identifies and prioritizes impediments to users of open robotics systems, so that tool designers, teachers, and robotics practitioners can devise ways of improving robot software tooling and education.


Joint Attention for Multi Agent Coordination and Social Learning. Joint attention the ability to purposefully coordinate attention with another agent, and mutually attend to the same thing is a critical component of human social cognition. In this paper, we ask whether joint attention can be useful as a mechanism for improving multi agent coordination and social learning. We first develop deep reinforcement learning (RL) agents with a recurrent visual attention architecture. We then train agents to minimize the difference between the attention weights that they apply to the environment at each timestep, and the attention of other agents. Our results show that this joint attention incentive improves agents' ability to solve difficult coordination tasks, by reducing the exponential cost of exploring the joint multi agent action space. Joint attention leads to higher performance than a competitive centralized critic baseline across multiple environments. Further, we show that joint attention enhances agents' ability to learn from experts present in their environment, even when completing hard exploration tasks that do not require coordination. Taken together, these findings suggest that joint attention may be a useful inductive bias for multi agent learning.


A Review on Semi Supervised Relation Extraction. Relation extraction (RE) plays an important role in extracting knowledge from unstructured text but requires a large amount of labeled corpus. To reduce the expensive annotation efforts, semisupervised learning aims to leverage both labeled and unlabeled data. In this paper, we review and compare three typical methods in semi supervised RE with deep learning or meta learning self ensembling, which forces consistent under perturbations but may confront insufficient supervision self training, which iteratively generates pseudo labels and retrain itself with the enlarged labeled set dual learning, which leverages a primal task and a dual task to give mutual feedback. Mean teacher (Tarvainen and Valpola, 2017), LST (Li et al., 2019), and DualRE (Lin et al., 2019) are elaborated as the representatives to alleviate the weakness of these three methods, respectively.


Eigenvalue Inequalities for the Clamped Plate Problem of mathfrak L 2 nu Operator. mathfrak L II operator is introduced by Y. L. Xin ( emph Calculus of Variations and Partial Differential Equations. 2015, textbf 54 (2) 1995 2016) , which is an important extrinsic elliptic differential operator of divergence type and has profound geometric meaning. In this paper, we extend mathfrak L II operator to more general elliptic differential operator mathfrak L nu , and investigate the clamped plate problem of bi mathfrak L nu operator, which is denoted by mathfrak L nu 2 , on the complete Riemannian manifolds. A general formula of eigenvalues for the mathfrak L nu 2 operator is established. Applying this formula, we estimate the eigenvalues with lower order on the Riemannian manifolds. As some further applications, we establish some eigenvalue inequalities for this operator on the translating solitons with respect to the mean curvature flows, submanifolds of the Euclidean spaces, unit spheres and projective spaces. In particular, for the case of translating solitons, all of the eigenvalue inequalities are universal.


A new amplitude frequency formula for non conservative oscillators. This paper formalize the existence's proof of first integrals for any second order ODE, allowing to discriminate periodic orbits. Up to the author's knowledge, such a powerful result is not available in the literature providing a tool to determine periodic orbits limit cycles in the most general scenario.


Solving realistic security constrained optimal power flow problems. We present a decomposition approach for obtaining good feasible solutions for the security constrained alternating current optimal power flow (SCACOPF) problem at an industrial scale and under real world time and computational limits. The approach aims at complementing the existing body of literature on bounding the problem via convex relaxations. It was designed for the participation in ARPA E's Grid Optimization (GO) Competition Challenge 1. The challenge focused on a near real time version of the SCACOPF problem where a base case operating point is optimized taking into account possible single element contingencies, after which the system adapts its operating point following the response of automatic frequency drop controllers and voltage regulators. Our solution approach for this problem relies on state of the art nonlinear programming algorithms and employs nonconvex relaxations for complementarity constraints, a specialized two stage decomposition technique with sparse approximations of recourse terms, and contingency ranking and pre screening. The paper also outlines the salient features of our implementation, such as fast model functions and derivatives evaluation, warm starting strategies, and asynchronous parallelism. We discuss the results of the independent benchmark of our approach done by ARPA E's GO team in Challenge 1, which found that our methodology consistently produces high quality solutions across a wide range of network sizes and difficulty. Finally, we conclude by outlining potential extensions and improvements of our methodology.


On the number of hyperedges in the hypergraph of lines and pseudo discs. Consider the hypergraph whose vertex set is a family of n lines in general position in the plane, and whose hyperedges are induced by intersections with a family of pseudo discs. We prove that the number of t hyperedges is bounded by O t(n 2) and that the total number of hyperedges is bounded by O(n 3) . Both bounds are tight.


My Mouse, My Rules Privacy Issues of Behavioral User Profiling via Mouse Tracking. This paper aims to stir debate about a disconcerting privacy issue on web browsing that could easily emerge because of unethical practices and uncontrolled use of technology. We demonstrate how straightforward is to capture behavioral data about the users at scale, by unobtrusively tracking their mouse cursor movements, and predict user's demographics information with reasonable accuracy using five lines of code. Based on our results, we propose an adversarial method to mitigate user profiling techniques that make use of mouse cursor tracking, such as the recurrent neural net we analyze in this paper. We also release our data and a web browser extension that implements our adversarial method, so that others can benefit from this work in practice.


TMM Fast A Transfer Matrix Computation Package for Multilayer Thin Film Optimization. Achieving the desired optical response from a multilayer thin film structure over a broad range of wavelengths and angles of incidence can be challenging. An advanced thin film structure can consist of multiple materials with different thicknesses and numerous layers. Design and optimization of complex thin film structures with multiple variables is a computationally heavy problem that is still under active research. To enable fast and easy experimentation with new optimization techniques, we propose the Python package TMM Fast which enables parallelized computation of reflection and transmission of light at different angles of incidence and wavelengths through the multilayer thin film. By decreasing computational time, generating datasets for machine learning becomes feasible and evolutionary optimization can be used effectively. Additionally, the sub package TMM Torch allows to directly compute analytical gradients for local optimization by using PyTorch Autograd functionality. Finally, an OpenAi Gym environment is presented which allows the user to train reinforcement learning agents on the problem of finding multilayer thin film configurations.


Out of the Box Embodied Navigation in the Real World. The research field of Embodied AI has witnessed substantial progress in visual navigation and exploration thanks to powerful simulating platforms and the availability of 3D data of indoor and photorealistic environments. These two factors have opened the doors to a new generation of intelligent agents capable of achieving nearly perfect PointGoal Navigation. However, such architectures are commonly trained with millions, if not billions, of frames and tested in simulation. Together with great enthusiasm, these results yield a question how many researchers will effectively benefit from these advances? In this work, we detail how to transfer the knowledge acquired in simulation into the real world. To that end, we describe the architectural discrepancies that damage the Sim2Real adaptation ability of models trained on the Habitat simulator and propose a novel solution tailored towards the deployment in real world scenarios. We then deploy our models on a LoCoBot, a Low Cost Robot equipped with a single Intel RealSense camera. Different from previous work, our testing scene is unavailable to the agent in simulation. The environment is also inaccessible to the agent beforehand, so it cannot count on scene specific semantic priors. In this way, we reproduce a setting in which a research group (potentially from other fields) needs to employ the agent visual navigation capabilities as a Service. Our experiments indicate that it is possible to achieve satisfying results when deploying the obtained model in the real world. Our code and models are available at https github.com aimagelab LoCoNav.


Dynamical models for metabolomics data integration. As metabolomics datasets are becoming larger and more complex, there is an increasing need for model based data integration and analysis to optimally leverage these data. Dynamical models of metabolism allow for the integration of heterogeneous data and the analysis of dynamical phenotypes. Here, we review recent efforts in using dynamical metabolic models for data integration, focusing on approaches that are not restricted to steady state measurements or that require flux distributions as inputs. Furthermore, we discuss recent advances and current challenges. We conclude that much progress has been made in various areas, such as the development of scalable simulation tools, and that, although challenges remain, dynamical modeling is a powerful tool for metabolomics data analysis that is not yet living up to its full potential.


On generalized Tur 'an results in height two posets. For given posets P and Q and an integer n , the generalized Tur 'an problem for posets, asks for the maximum number of copies of Q in a P free subset of the n dimensional Boolean lattice, 2 n . In this paper, among other results, we show the following (i) For every n geq 5 , the maximum number of 2 chains in a butterfly free subfamily of 2 n is left lceil frac n 2 right rceil binom n lfloor n 2 rfloor . (ii) For every fixed s , t and k , a K s,t free family in 2 n has O left(n binom n lfloor n 2 rfloor right) k chains. (iii) For every n geq 3 , the maximum number of 2 chains in an textbf N free family is binom n lfloor n 2 rfloor , where textbf N is a poset on 4 distinct elements p 1,p 2,q 1,q 2 for which p 1 q 1 , p 2 q 1 and p 2 q 2 . (iv) We also prove exact results for the maximum number of 2 chains in a family that has no 5 path and asymptotic estimates for the number of 2 chains in a family with no 6 path.


Revisiting Language Encoding in Learning Multilingual Representations. Transformer has demonstrated its great power to learn contextual word representations for multiple languages in a single model. To process multilingual sentences in the model, a learnable vector is usually assigned to each language, which is called "language embedding". The language embedding can be either added to the word embedding or attached at the beginning of the sentence. It serves as a language specific signal for the Transformer to capture contextual representations across languages. In this paper, we revisit the use of language embedding and identify several problems in the existing formulations. By investigating the interaction between language embedding and word embedding in the self attention module, we find that the current methods cannot reflect the language specific word correlation well. Given these findings, we propose a new approach called Cross lingual Language Projection (XLP) to replace language embedding. For a sentence, XLP projects the word embeddings into language specific semantic space, and then the projected embeddings will be fed into the Transformer model to process with their language specific meanings. In such a way, XLP achieves the purpose of appropriately encoding "language" in a multilingual Transformer model. Experimental results show that XLP can freely and significantly boost the model performance on extensive multilingual benchmark datasets. Codes and models will be released at https github.com lsj2408 XLP.


Thread modular Analysis of Release Acquire Concurrency. We present a thread modular abstract interpretation(TMAI) technique to verify programs under the release acquire (RA) memory model for safety property violations. The main contributions of our work are we capture the execution order of program statements as an abstract domain, and propose a sound upper approximation over this domain to efficiently reason over RA concurrency. The proposed domain is general in its application and captures the ordering relations as a first class feature in the abstract interpretation theory. In particular, the domain represents a set of sequences of modifications of a global variable in concurrent programs as a partially ordered set. Under this approximation, older sequenced before stores of a global variable are forgotten and only the latest stores per variable are preserved. We establish the soundness of our proposed abstractions and implement them in a prototype abstract interpreter called PRIORI. The evaluations of PRIORI on existing and challenging RA benchmarks demonstrate that the proposed technique is not only competitive in refutation, but also in verification. PRIORI shows significantly fast analysis runtimes with higher precision compared to recent state of the art tools for RA concurrency.


A Comprehensive Survey and Taxonomy on Image Dehazing Based on Deep Learning. With the development of convolutional neural networks, hundreds of deep learning based dehazing methods have been proposed. In this paper, we provide a comprehensive survey on supervised, semi supervised, and unsupervised dehazing. We first discuss the physical model, datasets, network modules, loss functions, and evaluation metrics that are commonly used. Then, the main contributions of various dehazing algorithms are categorized and summarized. Further, quantitative and qualitative experiments of various baseline methods are carried out. Finally, the unsolved issues and challenges that can inspire the future research are pointed out. A collection of useful dehazing materials is available at https github.com Xiaofeng life AwesomeDehazing.


Gap Dependent Unsupervised Exploration for Reinforcement Learning. For the problem of task agnostic reinforcement learning (RL), an agent first collects samples from an unknown environment without the supervision of reward signals, then is revealed with a reward and is asked to compute a corresponding near optimal policy. Existing approaches mainly concern the worst case scenarios, in which no structural information of the reward transition dynamics is utilized. Therefore the best sample upper bound is propto widetilde mathcal O (1 epsilon 2) , where epsilon 0 is the target accuracy of the obtained policy, and can be overly pessimistic. To tackle this issue, we provide an efficient algorithm that utilizes a gap parameter, rho 0 , to reduce the amount of exploration. In particular, for an unknown finite horizon Markov decision process, the algorithm takes only widetilde mathcal O (1 epsilon cdot (H 3SA rho H 4 S 2 A) ) episodes of exploration, and is able to obtain an epsilon optimal policy for a post revealed reward with sub optimality gap at least rho , where S is the number of states, A is the number of actions, and H is the length of the horizon, obtaining a nearly emph quadratic saving in terms of epsilon . We show that, information theoretically, this bound is nearly tight for rho Theta(1 (HS)) and H 1 . We further show that propto widetilde mathcal O (1) sample bound is possible for H 1 (i.e., multi armed bandit) or with a sampling simulator, establishing a stark separation between those settings and the RL setting.


On the asymptotic behavior of the one dimensional motion of the polytropic ideal gas with degenerate heat conductivity. We consider the one dimensional compressible Navier Stokes system with constant viscosity and the nonlinear heat conductivity being proportional to a positive power of the temperature which may be degenerate. This problem is imposed on the stress free boundary condition, which reveals the motion of a viscous heat conducting perfect polytropic gas with adiabatic ends putting into a vacuum. We prove that the solution of one dimensional compressible Navier Stokes system with the stress free boundary condition shares the same large time behavior as the case of constant heat conductivity.


Determination of the refractive index of water and glass using smartphone cameras by estimating the apparent depth of an object. A smartphone camera can be used for measuring the width and distance of an object by taking its photograph. The focal length of the camera lens can be determined very accurately by finding the image width of an object on the camera sensor to micron level accuracy. The level of accuracy achieved with the help of camera sensors, allows us to determine the refractive index of water upto four significant digits by finding the apparent depth of an object immersed in it. We have also measured the refractive index of glass by the same method, using three glass slides of different thicknesses, the smallest being 1.2 mm.


Positive Solution for a Hadamard Fractional Singular Boundary Value Problem of Order mu in(2, ,3) . In this article, we establish the existence of positive solution for the following Hadamard fractional singular boundary value problem begin align H D a , mu x(t) f(t,x(t)) 0, hspace 0.4cm t in(a, ,b), hspace 0.4cm 0 a b infty, hspace 0.4cm 2 mu 3, x(a) a ,x'(a) x(b) 0, end align where f (a, ,b) times(0, infty) rightarrow(0, infty) is continuous and singular at t a , t b and x 0 . Further, H D a , mu is Hadamard fractional derivative of order mu .


Exploring the Long Short Term Dependencies to Infer Shot Influence in Badminton Matches. Identifying significant shots in a rally is important for evaluating players' performance in badminton matches. While there are several studies that have quantified player performance in other sports, analyzing badminton data is remained untouched. In this paper, we introduce a badminton language to fully describe the process of the shot and propose a deep learning model composed of a novel short term extractor and a long term encoder for capturing a shot by shot sequence in a badminton rally by framing the problem as predicting a rally result. Our model incorporates an attention mechanism to enable the transparency of the action sequence to the rally result, which is essential for badminton experts to gain interpretable predictions. Experimental evaluation based on a real world dataset demonstrates that our proposed model outperforms the strong baselines. The source code is publicly available at https github.com yao0510 Shot Influence.


A Pure HTTP 3 Alternative to MQTT over QUIC in Resource Constrained IoT. In this paper, we address the issue of scalable, interoperable, and timely dissemination of information in resource constrained IoT. Scalability is addressed by adopting a publish subscribe architecture. To address interoperable and timely dissemination, we propose an HTTP 3 (H3) solution that exploits the wide ranging improvements made over H2. We evaluated our solution by comparing it to a state of the art work MQTT over QUIC. Because QUIC and H3 have undergone standardization in tandem, we hypothesized that H3 would take better advantage of QUIC transport than an MQTT mapping would. Performance, network overhead, and device overhead were investigated for both protocols. Our H3 based solution satisfied our timely dissemination requirement by offering a key performance savings of 1 RoundTrip Time (RTT) for publish messages to arrive at the broker. In IoT networks, with typically high RTT, this savings is significant. On the other hand, we found that MQTT over QUIC put marginally less strain over the network.


Towards a Framework for Changing Contact Robot Manipulation. Many robot manipulation tasks require the robot to make and break contact with objects and surfaces. The dynamics of such changing contact robot manipulation tasks are discontinuous when contact is made or broken, and continuous elsewhere. These discontinuities make it difficult to construct and use a single dynamics model or control strategy for any such task. We present a framework for smooth dynamics and control of such changing contact manipulation tasks. For any given target motion trajectory, the framework incrementally improves its prediction of when contacts will occur. This prediction and a model relating approach velocity to impact force modify the velocity profile of the motion sequence such that it is C infty smooth, and help achieve a desired force on impact. We implement this framework by building on our hybrid force motion variable impedance controller for continuous contact tasks. We experimentally evaluate our framework in the illustrative context of sliding tasks involving multiple contact changes with transitions between surfaces of different properties.


R Drop Regularized Dropout for Neural Networks. Dropout is a powerful and widely used technique to regularize the training of deep neural networks. In this paper, we introduce a simple regularization strategy upon dropout in model training, namely R Drop, which forces the output distributions of different sub models generated by dropout to be consistent with each other. Specifically, for each training sample, R Drop minimizes the bidirectional KL divergence between the output distributions of two sub models sampled by dropout. Theoretical analysis reveals that R Drop reduces the freedom of the model parameters and complements dropout. Experiments on bf 5 widely used deep learning tasks ( bf 18 datasets in total), including neural machine translation, abstractive summarization, language understanding, language modeling, and image classification, show that R Drop is universally effective. In particular, it yields substantial improvements when applied to fine tune large scale pre trained models, e.g., ViT, RoBERTa large, and BART, and achieves state of the art (SOTA) performances with the vanilla Transformer model on WMT14 English to German translation ( bf 30.91 BLEU) and WMT14 English to French translation ( bf 43.95 BLEU), even surpassing models trained with extra large scale data and expert designed advanced variants of Transformer models. Our code is available at GitHub url https github.com dropreg R Drop .


On Provable Benefits of Depth in Training Graph Convolutional Networks. Graph Convolutional Networks (GCNs) are known to suffer from performance degradation as the number of layers increases, which is usually attributed to over smoothing. Despite the apparent consensus, we observe that there exists a discrepancy between the theoretical understanding of over smoothing and the practical capabilities of GCNs. Specifically, we argue that over smoothing does not necessarily happen in practice, a deeper model is provably expressive, can converge to global optimum with linear convergence rate, and achieve very high training accuracy as long as properly trained. Despite being capable of achieving high training accuracy, empirical results show that the deeper models generalize poorly on the testing stage and existing theoretical understanding of such behavior remains elusive. To achieve better understanding, we carefully analyze the generalization capability of GCNs, and show that the training strategies to achieve high training accuracy significantly deteriorate the generalization capability of GCNs. Motivated by these findings, we propose a decoupled structure for GCNs that detaches weight matrices from feature propagation to preserve the expressive power and ensure good generalization performance. We conduct empirical evaluations on various synthetic and real world datasets to validate the correctness of our theory.


Deep Reinforcement Trading with Predictable Returns. Classical portfolio optimization often requires forecasting asset returns and their corresponding variances in spite of the low signal to noise ratio provided in the financial markets. Modern deep reinforcement learning (DRL) offers a framework for optimizing sequential trader decisions but lacks theoretical guarantees of convergence. On the other hand the performances on real financial trading problems are strongly affected by the goodness of the signal used to predict returns. To disentangle the effects coming from return unpredictability from those coming from algorithm un trainability, we investigate the performance of model free DRL traders in a market environment with different known mean reverting factors driving the dynamics. When the framework admits an exact dynamic programming solution, we can assess limits and capabilities of different value based algorithms to retrieve meaningful trading signals in a data driven manner. We consider DRL agents that leverage on classical strategies to increase their performances and we show that this approach guarantees flexibility, outperforming the benchmark strategy when the price dynamics is misspecified and some original assumptions on the market environment are violated with the presence of extreme events and volatility clustering.


POPCORN Progressive Pseudo labeling with Consistency Regularization and Neighboring. Semi supervised learning (SSL) uses unlabeled data to compensate for the scarcity of annotated images and the lack of method generalization to unseen domains, two usual problems in medical segmentation tasks. In this work, we propose POPCORN, a novel method combining consistency regularization and pseudo labeling designed for image segmentation. The proposed framework uses high level regularization to constrain our segmentation model to use similar latent features for images with similar segmentations. POPCORN estimates a proximity graph to select data from easiest ones to more difficult ones, in order to ensure accurate pseudo labeling and to limit confirmation bias. Applied to multiple sclerosis lesion segmentation, our method demonstrates competitive results compared to other state of the art SSL strategies.


Sofic mean dimension of typical actions and a comparison theorem. We refine two results in the paper entitled Sofic mean dimension'' by Hanfeng Li, improving two inequalities with two equalities, respectively, for sofic mean dimension of typical actions. On the one hand, we study sofic mean dimension of full shifts, for which, Li provided an upper bound which however is not optimal. We prove a more delicate estimate from above, which is optimal for sofic mean dimension of full shifts over arbitrary alphabets (i.e. compact metrizable spaces). Our refinement, together with the techniques (in relation to an estimate from below) in the paper entitled Mean dimension of full shifts'' by Masaki Tsukamoto, eventually allows us to get the exact value of sofic mean dimension of full shifts over any finite dimensional compact metrizable spaces. On the other hand, we investigate finite group actions. In contrast to the case that the acting group is infinite (and amenable), Li showed that if a finite group acts continuously on a finite dimensional compact metrizable space, then sofic mean dimension may be different from (strictly less than) the classical (i.e. amenable) mean dimension (an explicitly known value in this case). We strengthen this result by proving a sharp lower bound, which, combining with the upper bound, gives the exact value of sofic mean dimension for all the actions of finite groups on finite dimensional compact metrizable spaces. Furthermore, this equality leads to a satisfactory comparison theorem for those actions, deciding when sofic mean dimension would coincide with classical mean dimension. Moreover, our two results, in particular, verify for a typical class of sofic group actions that sofic mean dimension does not depend on sofic approximation sequences.


Adversarial Transfer Attacks With Unknown Data and Class Overlap. The ability to transfer adversarial attacks from one model (the surrogate) to another model (the victim) has been an issue of concern within the machine learning (ML) community. The ability to successfully evade unseen models represents an uncomfortable level of ease toward implementing attacks. In this work we note that as studied, current transfer attack research has an unrealistic advantage for the attacker the attacker has the exact same training data as the victim. We present the first study of transferring adversarial attacks focusing on the data available to attacker and victim under imperfect settings without querying the victim, where there is some variable level of overlap in the exact data used or in the classes learned by each model. This threat model is relevant to applications in medicine, malware, and others. Under this new threat model attack success rate is not correlated with data or class overlap in the way one would expect, and varies with dataset. This makes it difficult for attacker and defender to reason about each other and contributes to the broader study of model robustness and security. We remedy this by developing a masked version of Projected Gradient Descent that simulates class disparity, which enables the attacker to reliably estimate a lower bound on their attack's success.


A real time digital receiver for correlation measurements in atomic systems. We present the development and characterization of a generic, reconfigurable, low cost ( 350 USD) software defined digital receiver system (DRS) for temporal correlation measurements in atomic spin ensembles. We demonstrate the use of the DRS as a component of a high resolution magnetometer. Digital receiver based fast Fourier transform spectrometers (FFTS) are generally superior in performance in terms of signal to noise ratio (SNR) compared to traditional swept frequency spectrum analyzers (SFSA). In applications where the signals being analyzed are very narrow band in frequency domain, recording them at high speeds over a reduced bandwidth provides flexibility to study them for longer periods. We have built the DRS on the STEMLab 125 14 FPGA platform and it has two different modes of operation FFT Spectrometer and real time raw voltage recording mode. We evaluate its performance by using it in atomic spin noise spectroscopy (SNS). We demonstrate that the SNR is improved by more than one order of magnitude with the FFTS as compared to that of the commercial SFSA. We also highlight that with this DRS operating in the triggered data acquisition mode one can achieve spin noise (SN) signal with high SNR in a recording time window as low as 100 msec. We make use of this feature to perform time resolved high resolution magnetometry. While the receiver was initially developed for SNS experiments, it can be easily used for other atomic, molecular and optical (AMO) physics experiments as well.