Database Reasoning Over Text. Neural models have shown impressive performance gains in answering queries from natural language text. However, existing works are unable to support database queries, such as "List Count all female athletes who were born in 20th century", which require reasoning over sets of relevant facts with operations such as join, filtering and aggregation. We show that while state of the art transformer models perform very well for small databases, they exhibit limitations in processing noisy data, numerical operations, and queries that aggregate facts. We propose a modular architecture to answer these database style queries over multiple spans from text and aggregating these at scale. We evaluate the architecture using WikiNLDB, a novel dataset for exploring such queries. Our architecture scales to databases containing thousands of facts whereas contemporary models are limited by how many facts can be encoded. In direct comparison on small databases, our approach increases overall answer accuracy from 85 to 90 . On larger databases, our approach retains its accuracy whereas transformer baselines could not encode the context.


Subjective Bias in Abstractive Summarization. Due to the subjectivity of the summarization, it is a good practice to have more than one gold summary for each training document. However, many modern large scale abstractive summarization datasets have only one to one samples written by different human with different styles. The impact of this phenomenon is understudied. We formulate the differences among possible multiple expressions summarizing the same content as subjective bias and examine the role of this bias in the context of abstractive summarization. In this paper a lightweight and effective method to extract the feature embeddings of subjective styles is proposed. Results of summarization models trained on style clustered datasets show that there are certain types of styles that lead to better convergence, abstraction and generalization. The reproducible code and generated summaries are available online.


Free Will Arbitrary Time Consensus Protocols with Diffusive Coupling. In this technical note, we first clarify a technical issue in the convergence proof of a free will arbitrary time (FwAT) consensus law proposed recently in Pal et al. IEEE Trans. Cybern. (2020) 1 , making the results questionable. We then propose free will arbitrary time consensus protocols for multi agent systems with first and second order dynamics, respectively, and with (possibly switching) connected interaction graphs. Under the proposed consensus laws, we show that an average consensus is achieved in a free will arbitrary prespecified time. Further, the proposed consensus laws are distributed in the sense that information is only communicated locally between neighboring agents unlike the average consensus in 1 that uses a deformed Laplacian.


On symmetric higher dimensional automata and bisimilarity. It is shown that a higher dimensional automaton is hhp bisimilar to the free symmetric HDA generated by it. Consequently, up to hereditary history preserving bisimilarity, ordinary HDAs and symmetric HDAs are models of concurrency with the same expressive power.


On the cross streamline lift of microswimmers in viscoelastic flows. The current work studies the dynamics of a microswimmer in pressure driven flow of a weakly viscoelastic fluid. Employing the second order fluid model, we show that the self propelling swimmer experiences a viscoelastic swimming lift in addition to the well known passive lift that arises from its resistance to shear flow. Using the reciprocal theorem, we evaluate analytical expressions for the swimming lift experienced by neutral and pusher puller type swimmers and show that they depend on the hydrodynamic signature associated with the swimming mechanism. We find that for neutral swimmers focusing towards the centerline is accelerated by two orders of magnitude, while for force dipole swimmers no net modification in cross streamline migration occurs.


The general construction of Spectra. We provide a synthesis of different topos theoretical approaches of the general construction of spectra, exploring jointly its purely categorical, model theoretic and geometric aspects. We detail also the exact relation with Diers notion of spectrum. Then we give a more detailed account of Cole's original construction from bicategorical universal properties. We also provide new formulas to compute the spectrum of arbitrary etale maps as pseudolimits, as well as generalizations of results on fibered topos we then apply to compute spectrum of a modelled topos.


PAPIR Practical RIS aided Localization via Statistical User Information. The integration of advanced localization techniques in the upcoming next generation networks (B5G 6G) is becoming increasingly important for many use cases comprising contact tracing, natural disasters, terrorist attacks, etc. Therefore, emerging lightweight and passive technologies that allow accurately controlling the propagation environment, such as reconfigurable intelligent surfaces (RISs), may help to develop advance positioning solutions relying on channel statistics and beamforming. In this paper, we devise PAPIR, a practical localization system leveraging on RISs by designing a two stage solution building upon prior statistical information on the target user equipment (UE) position. PAPIR aims at finely estimating the UE position by performing statistical beamforming, direction of arrival (DoA) and time of arrival (ToA) estimation on a given three dimensional search space, which is iteratively updated by exploiting the likelihood of the UE position.


Multiple Instance Learning with Auxiliary Task Weighting for Multiple Myeloma Classification. Whole body magnetic resonance imaging (WB MRI) is the recommended modality for diagnosis of multiple myeloma (MM). WB MRI is used to detect sites of disease across the entire skeletal system, but it requires significant expertise and is time consuming to report due to the great number of images. To aid radiological reading, we propose an auxiliary task based multiple instance learning approach (ATMIL) for MM classification with the ability to localize sites of disease. This approach is appealing as it only requires patient level annotations where an attention mechanism is used to identify local regions with active disease. We borrow ideas from multi task learning and define an auxiliary task with adaptive reweighting to support and improve learning efficiency in the presence of data scarcity. We validate our approach on both synthetic and real multi center clinical data. We show that the MIL attention module provides a mechanism to localize bone regions while the adaptive reweighting of the auxiliary task considerably improves the performance.


Quantum codes constructed from cyclic codes over the ring mathbb F q v mathbb F q v 2 mathbb F q v 3 mathbb F q v 4 mathbb F q . In this article, we investigate properties of cyclic codes over a finite non chain ring mathbb F q v mathbb F q v 2 mathbb F q v 3 mathbb F q v 4 mathbb F q, where q p r, r is a positive integer, p is an odd prime, 4 mid (p 1), and v 5 v. As an application, we construct several quantum error correcting codes over the finite field mathbb F q.


Mixed Attention Transformer for Leveraging Word Level Knowledge to Neural Cross Lingual Information Retrieval. Pretrained contextualized representations offer great success for many downstream tasks, including document ranking. The multilingual versions of such pretrained representations provide a possibility of jointly learning many languages with the same model. Although it is expected to gain big with such joint training, in the case of cross lingual information retrieval (CLIR), the models under a multilingual setting are not achieving the same level of performance as those under a monolingual setting. We hypothesize that the performance drop is due to the translation gap between query and documents. In the monolingual retrieval task, because of the same lexical inputs, it is easier for model to identify the query terms that occurred in documents. However, in the multilingual pretrained models that the words in different languages are projected into the same hyperspace, the model tends to translate query terms into related terms, i.e., terms that appear in a similar context, in addition to or sometimes rather than synonyms in the target language. This property is creating difficulties for the model to connect terms that cooccur in both query and document. To address this issue, we propose a novel Mixed Attention Transformer (MAT) that incorporates external word level knowledge, such as a dictionary or translation table. We design a sandwich like architecture to embed MAT into the recent transformer based deep neural models. By encoding the translation knowledge into an attention matrix, the model with MAT is able to focus on the mutually translated words in the input sequence. Experimental results demonstrate the effectiveness of the external knowledge and the significant improvement of MAT embedded neural reranking model on CLIR task.


K 5,5 is fully reconstructible in mathbb C 3 . A graph G is fully reconstructible in mathbb C d if the graph is determined from its d dimensional measurement variety. The full reconstructibility problem has been solved for d 1 and d 2 . For d 3 , some necessary and some sufficient conditions are known and K 5,5 falls squarely within the gap in the theory. In this paper, we show that K 5,5 is fully reconstructible in mathbb C 3 .


A 3 DOF Robotic Platform for the Rehabilitation of Reaction Time and Balance Skills of MS Patients. We present the design, implementation, and experimental evaluation of a 3 DOF robotic platform to treat the balance disorder of the patients with MS. The robotic platform is designed to allow angular motion of the ankle based on the anthropomorphic freedom in the space. That being said, such a robot forces patients to keep their balance by changing the angular position of the platform in three directions. The difficulty level of the tasks are determined based on the data gathered from the upper and lower platforms responsible for patients' reaction time against the unexpected perturbations. The upper platform instantaneously provides pressure distribution of each foot, whereas the lower platform simultaneously shares the center of mass of the patient. In this study, the kinematic and dynamic analyses, and simulation of the 3 DOF parallel manipulator is successfully implemented. The control of the proof of concept design is carried out by means of PID control. The working principle of the upper and lower platforms are verified by set of experiments.


Ribbon decomposition and twisted Hurwitz numbers. Ribbon decomposition is a way to obtain a surface with boundary (compact, not necessarily oriented) from a collection of disks by joining them with narrow ribbons attached to segments of the boundary. Counting ribbon decompositions gives rise to a "twisted" version of the classical Hurwitz numbers (studied earlier in cite CD in a different context) and of the cut and join equation. We also provide an algebraic description of these numbers and an explicit formula for them in terms of zonal polynomials.


BERT Defense A Probabilistic Model Based on BERT to Combat Cognitively Inspired Orthographic Adversarial Attacks. Adversarial attacks expose important blind spots of deep learning systems. While word and sentence level attack scenarios mostly deal with finding semantic paraphrases of the input that fool NLP models, character level attacks typically insert typos into the input stream. It is commonly thought that these are easier to defend via spelling correction modules. In this work, we show that both a standard spellchecker and the approach of Pruthi et al. (2019), which trains to defend against insertions, deletions and swaps, perform poorly on the character level benchmark recently proposed in Eger and Benz (2020) which includes more challenging attacks such as visual and phonetic perturbations and missing word segmentations. In contrast, we show that an untrained iterative approach which combines context independent character level information with context dependent information from BERT's masked language modeling can perform on par with human crowd workers from Amazon Mechanical Turk (AMT) supervised via 3 shot learning.


Absorption and scattering by a temporally switched lossy layer Going beyond the Rozanov bound. In this paper we study the electromagnetic scattering, absorption, and performance bounds for short time modulated pulses that impinge on a time varying lossy layer that is sandwiched between vacuum and a perfect electric conductor. The electric characteristics of the layer, namely, the conductivity, permittivity, and permeability are assumed to change abruptly or gradually in time. We demonstrate numerically that a time varying absorbing layer that undergoes temporal switching of its permittivity and conductance can absorb the power of a modulated, ultra wideband, as well as a quasi monochromatic, pulsed wave beyond what is dictated by the time invariant Rozanov bound when integrating over the whole frequency spectrum. We suggest and simulate a practical metamaterial realization that is constructed as a three dimensional array of resistor loaded dipole. By switching only the dipole's load resistance, desired effective media properties are obtained. Furthermore, we show that Rozanov's bound can be bypassed with abrupt and a more practical gradual, soft, switching thus overcoming some possible causality issue in abrupt switching.


Towards developing a realistic robotics simulation environment of an indoor vegetable greenhouse. This article presents a method for developing a realistic robotics simulation environment for application in vegetable greenhouses. The method pipeline starts with the construction of a 3D cloud images of the greenhouse rows. This data is then used to develop a robotics simulation environment using the CoppeliaSim simulation software. The method has been tested using images from a commercial greenhouse.


On discrete groups of Euclidean isometries representation theory, harmonic analysis and splitting properties. We study structural properties and the harmonic analysis of discrete subgroups of the Euclidean group. In particular, we 1. obtain an efficient description of their dual space, 2. develop Fourier analysis methods for periodic mappings on them, and 3. prove a Schur Zassenhaus type splitting result.


Interactive Change Point Detection using optimisation approach and Bayesian statistics applied to real world applications. Change point detection becomes more and more important as datasets increase in size, where unsupervised detection algorithms can help users process data. To detect change points, a number of unsupervised algorithms have been developed which are based on different principles. One approach is to define an optimisation problem and minimise a cost function along with a penalty function. In the optimisation approach, the choice of the cost function affects the predictions made by the algorithm. In extension to the existing studies, a new type of cost function using Tikhonov regularisation is introduced. Another approach uses Bayesian statistics to calculate the posterior probability distribution of a specific point being a change point. It uses a priori knowledge on the distance between consecutive change points and a likelihood function with information about the segments. The optimisation and Bayesian approaches for offline change point detection are studied and applied to simulated datasets as well as a real world multi phase dataset. The approaches have previously been studied separately and a novelty lies in comparing the predictions made by the two approaches in a specific setting, consisting of simulated datasets and a real world example. The study has found that the performance of the change point detection algorithms are affected by the features in the data.


Optimistic Reinforcement Learning by Forward Kullback Leibler Divergence Optimization. This paper addresses a new interpretation of the traditional optimization method in reinforcement learning (RL) as optimization problems using reverse Kullback Leibler (KL) divergence, and derives a new optimization method using forward KL divergence, instead of reverse KL divergence in the optimization problems. Although RL originally aims to maximize return indirectly through optimization of policy, the recent work by Levine has proposed a different derivation process with explicit consideration of optimality as stochastic variable. This paper follows this concept and formulates the traditional learning laws for both value function and policy as the optimization problems with reverse KL divergence including optimality. Focusing on the asymmetry of KL divergence, the new optimization problems with forward KL divergence are derived. Remarkably, such new optimization problems can be regarded as optimistic RL. That optimism is intuitively specified by a hyperparameter converted from an uncertainty parameter. In addition, it can be enhanced when it is integrated with prioritized experience replay and eligibility traces, both of which accelerate learning. The effects of this expected optimism was investigated through learning tendencies on numerical simulations using Pybullet. As a result, moderate optimism accelerated learning and yielded higher rewards. In a realistic robotic simulation, the proposed method with the moderate optimism outperformed one of the state of the art RL method.


Accelerating SARS CoV 2 low frequency variant calling on ultra deep sequencing datasets. With recent advances in sequencing technology it has become affordable and practical to sequence genomes to very high depth of coverage, allowing researchers to discover low frequency variants in the genome. However, due to the errors in sequencing it is an active area of research to develop algorithms that can separate noise from the true variants. LoFreq is a state of the art algorithm for low frequency variant detection but has a relatively long runtime compared to other tools. In addition to this, the interface for running in parallel could be simplified, allowing for multithreading as well as distributing jobs to a cluster. In this work we describe some specific contributions to LoFreq that remedy these issues.


A Comprehensive Review of Computer aided Whole slide Image Analysis from Datasets to Feature Extraction, Segmentation, Classification, and Detection Approaches. With the development of computer aided diagnosis (CAD) and image scanning technology, Whole slide Image (WSI) scanners are widely used in the field of pathological diagnosis. Therefore, WSI analysis has become the key to modern digital pathology. Since 2004, WSI has been used more and more in CAD. Since machine vision methods are usually based on semi automatic or fully automatic computers, they are highly efficient and labor saving. The combination of WSI and CAD technologies for segmentation, classification, and detection helps histopathologists obtain more stable and quantitative analysis results, save labor costs and improve diagnosis objectivity. This paper reviews the methods of WSI analysis based on machine learning. Firstly, the development status of WSI and CAD methods are introduced. Secondly, we discuss publicly available WSI datasets and evaluation metrics for segmentation, classification, and detection tasks. Then, the latest development of machine learning in WSI segmentation, classification, and detection are reviewed continuously. Finally, the existing methods are studied, the applicabilities of the analysis methods are analyzed, and the application prospects of the analysis methods in this field are forecasted.


MotifClass Weakly Supervised Text Classification with Higher order Metadata Information. We study the problem of weakly supervised text classification, which aims to classify text documents into a set of pre defined categories with category surface names only and without any annotated training document provided. Most existing classifiers leverage textual information in each document. However, in many domains, documents are accompanied by various types of metadata (e.g., authors, venue, and year of a research paper). These metadata and their combinations may serve as strong category indicators in addition to textual contents. In this paper, we explore the potential of using metadata to help weakly supervised text classification. To be specific, we model the relationships between documents and metadata via a heterogeneous information network. To effectively capture higher order structures in the network, we use motifs to describe metadata combinations. We propose a novel framework, named MotifClass, which (1) selects category indicative motif instances, (2) retrieves and generates pseudo labeled training samples based on category names and indicative motif instances, and (3) trains a text classifier using the pseudo training data. Extensive experiments on real world datasets demonstrate the superior performance of MotifClass to existing weakly supervised text classification approaches. Further analysis shows the benefit of considering higher order metadata information in our framework.


Spectral asymptotics for Metropolis algorithm on singular domains. We study the Metropolis algorithm on a bounded connected domain Omega of the euclidean space with proposal kernel localized at a small scale h 0 . We consider the case of a domain Omega that may have cusp singularities. For small values of the parameter h we prove the existence of a spectral gap g(h) and study the behavior of g(h) when h goes to zero. As a consequence, we obtain exponentially fast return to equilibrium in total variation distance.


Implicit completeness criterion in three valued logic in terms of maximal classes. Implicit expressability was introduced by A.V. Kuznetsov in 1979 as generalization of functional expressability. Set of functions is called implicitly complete if any function has an implicit representation over this set. The system of all implicitly maximal classes in three valued logic is described. The implicit completeness criterion is stated.


APES Audiovisual Person Search in Untrimmed Video. Humans are arguably one of the most important subjects in video streams, many real world applications such as video summarization or video editing workflows often require the automatic search and retrieval of a person of interest. Despite tremendous efforts in the person reidentification and retrieval domains, few works have developed audiovisual search strategies. In this paper, we present the Audiovisual Person Search dataset (APES), a new dataset composed of untrimmed videos whose audio (voices) and visual (faces) streams are densely annotated. APES contains over 1.9K identities labeled along 36 hours of video, making it the largest dataset available for untrimmed audiovisual person search. A key property of APES is that it includes dense temporal annotations that link faces to speech segments of the same identity. To showcase the potential of our new dataset, we propose an audiovisual baseline and benchmark for person retrieval. Our study shows that modeling audiovisual cues benefits the recognition of people's identities. To enable reproducibility and promote future research, the dataset annotations and baseline code are available at https github.com fuankarion audiovisual person search


Explaining Safety Failures in NetKAT. This work introduces a concept of explanations with respect to the violation of safe behaviours within software defined networks (SDNs) expressible in NetKAT. The latter is a network programming language based on a well studied mathematical structure, namely, Kleene Algebra with Tests (KAT). Amongst others, the mathematical foundation of NetKAT gave rise to a sound and complete equational theory. In our setting, a safe behaviour is characterised by a NetKAT policy, or program, which does not enable forwarding packets from an ingress i to an undesirable egress e. We show how explanations for safety violations can be derived in an equational fashion, according to a modification of the existing NetKAT axiomatisation. We propose an approach based on the Maude system for actually computing the undesired behaviours witnessing the forwarding of packets from i to e as above. SDN SafeCheck is a tool based on Maude equational theories satisfying important properties such as Church Rosser and termination. SDN SafeCheck automatically identifies all the undesired behaviours leading to e, covering forwarding paths up to a user specified size.


Geo Context Aware Study of Vision Based Autonomous Driving Models and Spatial Video Data. Vision based deep learning (DL) methods have made great progress in learning autonomous driving models from large scale crowd sourced video datasets. They are trained to predict instantaneous driving behaviors from video data captured by on vehicle cameras. In this paper, we develop a geo context aware visualization system for the study of Autonomous Driving Model (ADM) predictions together with large scale ADM video data. The visual study is seamlessly integrated with the geographical environment by combining DL model performance with geospatial visualization techniques. Model performance measures can be studied together with a set of geospatial attributes over map views. Users can also discover and compare prediction behaviors of multiple DL models in both city wide and street level analysis, together with road images and video contents. Therefore, the system provides a new visual exploration platform for DL model designers in autonomous driving. Use cases and domain expert evaluation show the utility and effectiveness of the visualization system.


Unifying Hidden Variable Problems from Quantum Mechanics by Logics of Dependence and Independence. We study hidden variable models from quantum mechanics, and their abstractions in purely probabilistic and relational frameworks, by means of logics of dependence and independence, based on team semantics. We show that common desirable properties of hidden variable models can be defined in an elegant and concise way in dependence and independence logic. The relationship between different properties, and their simultaneous realisability can thus been formulated and a proved on a purely logical level, as problems of entailment and satisfiability of logical formulae. Connections between probabilistic and relational entailment in dependence and independence logic allow us to simplify proofs. In many cases, we can establish results on both probabilistic and relational hidden variable models by a single proof, because one case implies the other, depending on purely syntactic criteria. We also discuss the no go theorems by Bell and Kochen Specker and provide a purely logical variant of the latter, introducing non contextual choice as a team semantical property.


Probability measures on graph trajectories. The aim of this note is to construct a probability measure on the space of trajectories in a continuous time Markov chain having a finite state diagram, or more generally which admits a global bound on its degree and rates. Our approach is elementary. Our main intention is to fill a gap in the literature.


DeepOPG Improving Orthopantomogram Finding Summarization with Weak Supervision. Clinical finding summaries from an orthopantomogram, or a dental panoramic radiograph, have significant potential to improve patient communication and speed up clinical judgments. While orthopantomogram is a first line tool for dental examinations, no existing work has explored the summarization of findings from it. A finding summary has to find teeth in the imaging study and label the teeth with several types of past treatments. To tackle the problem, we developDeepOPG that breaks the summarization process into functional segmentation and tooth localization, the latter of which is further refined by a novel dental coherence module. We also leverage weak supervision labels to improve detection results in a reinforcement learning scenario. Experiments show high efficacy of DeepOPG on finding summarization, achieving an overall AUC of 88.2 in detecting six types of findings. The proposed dental coherence and weak supervision both are shown to improve DeepOPG by adding 5.9 and 0.4 to AP IoU 0.5.


Consistent Multiple Graph Embedding for Multi View Clustering. Graph based multi view clustering aiming to obtain a partition of data across multiple views, has received considerable attention in recent years. Although great efforts have been made for graph based multi view clustering, it remains a challenge to fuse characteristics from various views to learn a common representation for clustering. In this paper, we propose a novel Consistent Multiple Graph Embedding Clustering framework(CMGEC). Specifically, a multiple graph auto encoder(M GAE) is designed to flexibly encode the complementary information of multi view data using a multi graph attention fusion encoder. To guide the learned common representation maintaining the similarity of the neighboring characteristics in each view, a Multi view Mutual Information Maximization module(MMIM) is introduced. Furthermore, a graph fusion network(GFN) is devised to explore the relationship among graphs from different views and provide a common consensus graph needed in M GAE. By jointly training these models, the common latent representation can be obtained which encodes more complementary information from multiple views and depicts data more comprehensively. Experiments on three types of multi view datasets demonstrate CMGEC outperforms the state of the art clustering methods.


On exact division and divisibility testing for sparse polynomials. No polynomial time algorithm is known to test whether a sparse polynomial G divides another sparse polynomial F . While computing the quotient Q F quo G can be done in polynomial time with respect to the sparsities of F, G and Q, this is not yet sufficient to get a polynomial time divisibility test in general. Indeed, the sparsity of the quotient Q can be exponentially larger than the ones of F and G. In the favorable case where the sparsity Q of the quotient is polynomial, the best known algorithm to compute Q has a non linear factor G Q in the complexity, which is not optimal. In this work, we are interested in the two aspects of this problem. First, we propose a new randomized algorithm that computes the quotient of two sparse polynomials when the division is exact. Its complexity is quasi linear in the sparsities of F, G and Q. Our approach relies on sparse interpolation and it works over any finite field or the ring of integers. Then, as a step toward faster divisibility testing, we provide a new polynomial time algorithm when the divisor has a specific shape. More precisely, we reduce the problem to finding a polynomial S such that QS is sparse and testing divisibility by S can be done in polynomial time. We identify some structure patterns in the divisor G for which we can efficiently compute such a polynomial S.


Learning Temporal Dynamics from Cycles in Narrated Video. Learning to model how the world changes as time elapses has proven a challenging problem for the computer vision community. We propose a self supervised solution to this problem using temporal cycle consistency jointly in vision and language, training on narrated video. Our model learns modality agnostic functions to predict forward and backward in time, which must undo each other when composed. This constraint leads to the discovery of high level transitions between moments in time, since such transitions are easily inverted and shared across modalities. We justify the design of our model with an ablation study on different configurations of the cycle consistency problem. We then show qualitatively and quantitatively that our approach yields a meaningful, high level model of the future and past. We apply the learned dynamics model without further training to various tasks, such as predicting future action and temporally ordering sets of images. Project page https dave.ml mmcc


Duality and vanishing theorems for topologically trivial families of smooth h cobordisms. Using the work of Dwyer, Weiss, and Williams we associate an invariant to any topologically trivial family of smooth h cobordisms. This invariant is called the smooth structure class, and is closely related to the higher Franz Reidemeister torsion of Igusa and Klein. We compute the smooth structure class in terms of a fiberwise generalized Morse function using fiberwise Poincar 'e Hopf theory. This computation gives rise to a duality theorem for the smooth structure class that generalizes Milnor's duality theorem for the Whitehead torsion. From this result we deduce a vanishing theorem that implies the Rigidity Conjecture of Goette and Igusa. This conjecture states that, after rationalizing, there are no stable exotic smoothings of manifold bundles with closed even dimensional fibers.


Extremal general affine surface areas. For a convex body K in mathbb R n , we introduce and study the extremal general affine surface areas, defined by rm IS varphi (K) sup K prime subset K rm as varphi (K), quad rm os psi (K) inf K prime supset K rm as psi (K) where rm as varphi (K) and rm as psi (K) are the L varphi and L psi affine surface area of K , respectively. We prove that there exist extremal convex bodies that achieve the supremum and infimum, and that the functionals rm IS varphi and rm os psi are continuous. In our main results, we prove Blaschke Santal 'o type inequalities and inverse Santal 'o type inequalities for the extremal general affine surface areas. This article may be regarded as an Orlicz extension of the recent work of Giladi, Huang, Sch "utt and Werner (2020), who introduced and studied the extremal L p affine surface areas.


Self Organizing Networks in the 6G Era State of the Art, Opportunities, Challenges, and Future Trends. Self organizing networks (SONs) need to be endowed with self coordination capabilities to manage the complex relations between their internal components and to avoid their destructive interactions. Existing communication technologies commonly implement responsive self coordination mechanisms that can be very slow in run time situations. The sixth generation (6G) networks, being in their early stages of research and standardization activities, open new opportunities to opt for a design driven approach when developing self coordination capabilities. This can be achieved through the use of hybrid weakly coupled SON designs. In this article, we review the history of SONs including the inherent self coordination feature. We then delve into the concept of hybrid SONs (H SONs), and we summarize the challenges, opportunities, and future trends for H SON development. We provide a comprehensive collection of standardization activities and recommendations, discussing the key contributions and potential work to continue the evolution and push for a wide adoption of the H SON paradigm. More importantly, we propose that H SONs must be weakly coupled networks, i.e., the various feedback loops must be almost isolated from each other to improve the stability and to avoid chaotic situations. We finally conclude the paper with the key hints about the future landscape and the key drivers of 6G H SONs.


A Framework for Generalized Benders' Decomposition and Its Application to Multilevel Optimization. We describe a framework for reformulating and solving optimization problems that generalizes the well known framework originally introduced by Benders. We discuss details of the application of the procedures to several classes of optimization problems that fall under the umbrella of multilevel multistage mixed integer linear optimization problems. The application of this abstract framework to this broad class of problems provides new insights and a broader interpretation of the core ideas, especially as they relate to duality and the value functions of optimization problems that arise in this context.


Hessian determinants and averaging operators over surfaces in mathbb R 3 . We prove L p( mathbb R 3) to L p s( mathbb R 3) Sobolev improvement theorems for local averaging operators over real analytic surfaces in mathbb R 3 . For most such operators, in a sense made precise in the paper, the set of (p,s) for which we prove L p( mathbb R 3) to L p s( mathbb R 3) boundedness is optimal up to endpoints. Using an interpolation argument in conjunction with these L p( mathbb R 3) to L p s( mathbb R 3) results we obtain an L p( mathbb R 3) to L q( mathbb R 3) improvement theorem, and the set of exponents (p,q) obtained will also usually be optimal up to endpoints. The advantage the methods of this paper have over those of the author's earlier papers is that the oscillatory integral methods of the earlier papers, closely tied to the Van der Corput lemma, allow one to only prove 1 2 of a derivative of surface measure Fourier transform decay, while the methods of this paper, when combined with appropriate resolution of singularities methods, allow one to go up to the maximum possible 1 derivative. This allows us to prove the stronger sharp up to endpoints results.


Coding for Straggler Mitigation in Federated Learning. We present a novel coded federated learning (FL) scheme for linear regression that mitigates the effect of straggling devices while retaining the privacy level of conventional FL. The proposed scheme combines one time padding to preserve privacy and gradient codes to yield resiliency against stragglers and consists of two phases. In the first phase, the devices share a one time padded version of their local data with a subset of other devices. In the second phase, the devices and the central server collaboratively and iteratively train a global linear model using gradient codes on the one time padded local data. To apply one time padding to real data, our scheme exploits a fixed point arithmetic representation of the data. Unlike the coded FL scheme recently introduced by Prakash emph et al. , the proposed scheme maintains the same level of privacy as conventional FL while achieving a similar training time. Compared to conventional FL, we show that the proposed scheme achieves a training speed up factor of 6.6 and 9.2 on the MNIST and Fashion MNIST datasets for an accuracy of 95 and 85 , respectively.


Resonant elastic scattering of polarized electrons on H like ions. The polarization properties of the elastic electron scattering on H like ions are investigated within the framework of the relativistic QED theory. The polarization properties are determined by a combination of relativistic effects and spin exchange between the incident and bound electrons. The scattering of a polarized electron on an initially unpolarized ion is fully described by five parameters. We study these parameters for non resonant scattering, as well as in the vicinity of LL resonances, where scattering occurs through the formation and subsequent decay of intermediate autoionizing states. The study was carried out for ions from txt B 4 to txt Xe 53 . Special attention was paid to the study of asymmetry in electron scattering.


A structured latent space for human body motion generation. This work investigates learning a structured latent space to represent and generate temporally and spatially dense 4D human body motion. Once trained, the proposed model generates a multi frame sequence of dense 3D meshes based on a single point in a low dimensional latent space. Learning a generative model of human motion with an underlying structured latent space is important for a wide set of applications in computer vision and graphics, including virtual and augmented reality, 3D telepresence, and content generation for entertainment applications. We learn this latent motion representation in a data driven framework that builds upon two existing lines of works. The first analyzes temporally dense skeletal data to capture the global displacement, poses and temporal evolution of the motion, while the second analyzes static densely captured human scans in 3D to represent realistic 3D human body surfaces in a lowdimensional space. Building upon the respective advantages of these two concepts allows our model to simultaneously represent temporal motion information for sequences of varying duration and detailed 3D geometry at every time instant of the motion. We experimentally demonstrate that the resulting latent space is structured in the sense that similar motions form clusters in this space, and use our latent space to generate plausible interpolations between different actions. We also illustrate the benefits of the approach for 4D human motion completion, showing promising abilities of our model to learn spatio temporal features of human motion


Egocentric Hand object Interaction Detection and Application. In this paper, we present a method to detect the hand object interaction from an egocentric perspective. In contrast to massive data driven discriminator based method like cite Shan20 , we propose a novel workflow that utilises the cues of hand and object. Specifically, we train networks predicting hand pose, hand mask and in hand object mask to jointly predict the hand object interaction status. We compare our method with the most recent work from Shan et al. cite Shan20 on selected images from EPIC KITCHENS cite damen2018scaling dataset and achieve 89 accuracy on HOI (hand object interaction) detection which is comparative to Shan's ( 92 ). However, for real time performance, with the same machine, our method can run over textbf 30 FPS which is much efficient than Shan's ( textbf 1 sim textbf 2 FPS). Furthermore, with our approach, we are able to segment script less activities from where we extract the frames with the HOI status detection. We achieve textbf 68.2 and textbf 82.8 F1 score on GTEA cite fathi2011learning and the UTGrasp cite cai2015scalable dataset respectively which are all comparative to the SOTA methods.


Spectrum of Weighted Composition Operators Part VII Essential spectra of weighted composition operators on C(K) . The case of non invertible homeomorphisms. We provide a complete description of the spectrum and the essential spectra of weighted composition operators T wT varphi on C(K) in the case when the map varphi is a non invertible homeomorphism of K into itself.


On the reduction numbers and the Castelnuovo Mumford regularity of projective monomial curves. This paper gives explicit formulas for the reduction number and the Castelnuovo Mumford regularity of projective monomial curves.


High order gas kinetic scheme in general curvilinear coordinate for iLES of compressible wall bounded turbulent flows. In this paper, a high order gas kinetic scheme in general curvilinear coordinate (HGKS cur) is developed for the numerical simulation of compressible turbulence. Based on the coordinate transformation, the Bhatnagar Gross Krook (BGK) equation is transformed from physical space to computational space. To deal with the general mesh given by discretized points, the geometrical metrics need to be constructed by the dimension by dimension Lagrangian interpolation. The multidimensional weighted essentially non oscillatory (WENO) reconstruction is adopted in the computational domain for spatial accuracy, where the reconstructed variables are the cell averaged Jacobian and the Jacobian weighted conservative variables. The two stage fourth order method, which was developed for spatial temporal coupled flow solvers, is used for temporal discretization. The numerical examples for inviscid and laminar flows validate the accuracy and geometrical conservation law of HGKS cur. As a direct application, HGKS cur is implemented for the implicit large eddy simulation (iLES) in compressible wall bounded turbulent flows, including the compressible turbulent channel flow and compressible turbulent flow over periodic hills. The iLES results with HGKS cur are in good agreement with the refereed spectral methods and high order finite volume methods. The performance of HGKS cur demonstrates its capability as a powerful tool for the numerical simulation of compressible wall bounded turbulent flows and massively separated flows.


Griffin Rethinking Sparse Optimization for Deep Learning Architectures. This paper examines the design space trade offs of DNNs accelerators aiming to achieve competitive performance and efficiency metrics for all four combinations of dense or sparse activation weight tensors. To do so, we systematically examine the overheads of supporting sparsity on top of an optimized dense core. These overheads are modeled based on parameters that indicate how a multiplier can borrow a nonzero operation from the neighboring multipliers or future cycles. As a result of this exploration, we identify a few promising designs that perform better than prior work. Our findings suggest that even the best design targeting dual sparsity yields a 20 30 drop in power efficiency when performing on single sparse models, i.e., those with only sparse weight or sparse activation tensors. We found that one can reuse resources of the same core to maintain high performance and efficiency when running single sparsity or dense models. We call this hybrid architecture Griffin. Griffin is 1.2, 3.0, 3.1, and 1.4X more power efficient than state of the art sparse architectures, for dense, weight only sparse, activation only sparse, and dual sparse models, respectively.


Goss polynomials, q adic expansions, and Sheats compositions. The zeroes of Goss polynomials G k, Lambda (X) for Lambda A defeq mathbb F q T and similar lattices Lambda are studied. Generically, the zero distribution follows a simple pattern governed by the q adic expansion of k 1 . However, if q p f with f geq 2 is a proper power of the prime p , irregularities of the q adic sum of digits function may lead to deviations from this pattern, to irregular zeroes, and an abundance of trivial zeroes of G k, Lambda compared to the generic formula. These phenomena are related to properties of the Sheats compositions of natural numbers n divisible by q 1 . Among other things, we give a necessary and sufficient condition for the existence of irregular zeroes of G k,A and a formula for the vanishing order of G k,A at x 0 .


Identifying Competition and Mutualism Between Online Groups. Platforms often host multiple online groups with overlapping topics and members. How can researchers and designers understand how related groups affect each other? Inspired by population ecology, prior research in social computing and human computer interaction has studied related groups by correlating group size with degrees of overlap in content and membership, but has produced puzzling results overlap is associated with competition in some contexts but with mutualism in others. We suggest that this inconsistency results from aggregating intergroup relationships into an overall environmental effect that obscures the diversity of competition and mutualism among related groups. Drawing on the framework of community ecology, we introduce a time series method for inferring competition and mutualism. We then use this framework to inform a large scale analysis of clusters of subreddits that all have high user overlap. We find that mutualism is more common than competition.


A Brief Introduction to the Feichtinger Algebra mathbf S 0 ( mathbb R ) . This note highlights the key aspects of the Feichtinger algebra mathbf S 0 ( mathbb R ) on the real line for non experts.


BulletTrain Accelerating Robust Neural Network Training via Boundary Example Mining. Neural network robustness has become a central topic in machine learning in recent years. Most training algorithms that improve the model's robustness to adversarial and common corruptions also introduce a large computational overhead, requiring as many as ten times the number of forward and backward passes in order to converge. To combat this inefficiency, we propose BulletTrain a boundary example mining technique to drastically reduce the computational cost of robust training. Our key observation is that only a small fraction of examples are beneficial for improving robustness. BulletTrain dynamically predicts these important examples and optimizes robust training algorithms to focus on the important examples. We apply our technique to several existing robust training algorithms and achieve a 2.1 times speed up for TRADES and MART on CIFAR 10 and a 1.7 times speed up for AugMix on CIFAR 10 C and CIFAR 100 C without any reduction in clean and robust accuracy.


Rapid Convergence The Outcomes of Making PPE during a Healthcare Crisis. The NIH 3D Print Exchange is a public and open source repository for primarily 3D printable medical device designs with contributions from expert amateur makers, engineers from industry and academia, and clinicians. In response to the COVID 19 pandemic, a collection was formed to foster submissions of low cost, local manufacture of personal protective equipment (Personal Protective Equipment (PPE)). We systematically evaluated the 623 submissions in this collection to understand what makers contributed, how they were made, who made them, and key characteristics of their designs. Our analysis reveals an immediate design convergence to derivatives of a few initial designs affiliated with NIH partners (e.g., universities, the Veteran's Health Administration, America Makes) and major for profit groups (e.g., Prusa). The NIH worked to review safe and effective designs but was quickly overloaded by derivative works. We found that the vast majority were never reviewed (81.3 ) while 10.4 of those reviewed were deemed safe for clinical (5.6 ) or community use (4.8 ). Our work contributes insights into the outcomes of distributed, community based, medical making features the community accepted as "safe" making and how platforms can support regulated maker activities in high risk domains (e.g., healthcare).


"How Robust r u?" Evaluating Task Oriented Dialogue Systems on Spoken Conversations. Most prior work in dialogue modeling has been on written conversations mostly because of existing data sets. However, written dialogues are not sufficient to fully capture the nature of spoken conversations as well as the potential speech recognition errors in practical spoken dialogue systems. This work presents a new benchmark on spoken task oriented conversations, which is intended to study multi domain dialogue state tracking and knowledge grounded dialogue modeling. We report that the existing state of the art models trained on written conversations are not performing well on our spoken data, as expected. Furthermore, we observe improvements in task performances when leveraging n best speech recognition hypotheses such as by combining predictions based on individual hypotheses. Our data set enables speech based benchmarking of task oriented dialogue systems.


On length of the period of the continued fraction of n sqrt d . For a given quadratic irrational alpha , let us denote by D( alpha) the length of the periodic part of the continued fraction expansion of alpha . We prove that for a positive integer d , which is not a perfect square, the sequence (D(n sqrt d )) n 1 infty has infinitely many limit points.


Restricted families of projections onto planes the general case of nonvanishing geodesic curvature. It is shown that if gamma a,b to S 2 is C 3 with det( gamma, gamma', gamma") neq 0 , and if A subseteq mathbb R 3 is a Borel set with Hausdorff dimension dim A leq 5 2 , then dim pi theta (A) geq min left dim A, frac dim A 2 frac 3 4 right for a.e. theta in a,b , where pi theta denotes projection onto the orthogonal complement of gamma( theta) . This partially resolves a conjecture of F "assler and Orponen in the range dim A leq 3 2 , which was previously known only for non great circles. For 3 2 dim A 5 2 , this improves the known lower bound for this problem.


Correction of high order L k approximation for subdiffusion. The subdiffusion equations with a Caputo fractional derivative of order alpha in (0,1) arise in a wide variety of practical problems, which is describing the transport processes, in the force free limit, slower than Brownian diffusion. In this work, we derive the correction schemes of the Lagrange interpolation with degree k ( k leq 6 ) convolution quadrature, called L k approximation, for the subdiffusion, which are easy to implement on variable grids. The key step of designing correction algorithm is to calculate the explicit form of the coefficients of L k approximation by the polylogarithm function or Bose Einstein integral. To construct a tau 8 approximation of Bose Einstein integral, the desired (k 1 alpha) th order convergence rate can be proved for the correction L k scheme with nonsmooth data, which is higher than k th order BDF k method in Jin, Li, and Zhou, SIAM J. Sci. Comput., 39 (2017), A3129 A3152 Shi and Chen, J. Sci. Comput., (2020) 85 28 . The numerical experiments with spectral method are given to illustrate theoretical results.


Statistical Random Number Generator Attack against the Kirchhoff Law Johnson Noise (KLJN) Secure Key Exchange Protocol. This paper introduces and demonstrates four new statistical attacks against the Kirchhoff Law Johnson Noise (KLJN) secure key exchange scheme. The attacks utilize compromised random number generators at Alice's Bob's site(s). The case of partial correlations between Alice's Bob's and Eve's probing noises is explored, that is, Eve's knowledge of Alice's and Bob's noises is limited but not zero. We explore the bilateral situation where Eve has partial knowledge of Alice's and Bob's random number generators. It is shown that in this situation Eve can crack the secure key bit by taking the highest cross correlation between her probing noises and the measured voltage noise in the wire. She can also crack the secure key bit by taking the highest cross correlation between her noise voltages and her evaluation of Alice's Bob's noise voltages. We then explore the unilateral situation in which Eve has partial knowledge of only Alice's random number generator thus only those noises (of Alice and Eve) are correlated. In this situation Eve can still crack the secure key bit, but for sufficiently low error probability, she needs to use the whole bit exchange period for the attack. The security of the KLJN key exchange scheme, similarly to other protocols, necessitates that the random number generator outputs are truly random for Eve.


Communication Safe Web Programming in TypeScript with Routed Multiparty Session Types. Modern web programming involves coordinating interactions between browser clients and a server. Typically, the interactions in web based distributed systems are informally described, making it hard to ensure correctness, especially communication safety, i.e. all endpoints progress without type errors or deadlocks, conforming to a specified protocol. We present STScript, a toolchain that generates TypeScript APIs for communication safe web development over WebSockets, and RouST, a new session type theory that supports multiparty communications with routing mechanisms. STScript provides developers with TypeScript APIs generated from a communication protocol specification based on RouST. The generated APIs build upon TypeScript concurrency practices, complement the event driven style of programming in full stack web development, and are compatible with the Node.js runtime for server side endpoints and the React.js framework for browser side endpoints. RouST can express multiparty interactions routed via an intermediate participant. It supports peer to peer communication between browser side endpoints by routing communication via the server in a way that avoids excessive serialisation. RouST guarantees communication safety for endpoint web applications written using STScript APIs. We evaluate the expressiveness of STScript for modern web programming using several production ready case studies deployed as web applications.


Secure PAC Bayesian Regression via Real Shamir Secret Sharing. A common approach of system identification and machine learning is to generate a model by using training data to predict the test data instances as accurate as possible. Nonetheless, concerns about data privacy are increasingly raised, but not always addressed. We present a secure protocol for learning a linear model relying on recently described technique called real number secret sharing. We take as our starting point the PAC Bayesian bounds and deduce a closed form for the model parameters which depends on the data and the prior from the PAC Bayesian bounds. To obtain the model parameters one needs to solve a linear system. However, we consider the situation where several parties hold different data instances and they are not willing to give up the privacy of the data. Hence, we suggest to use real number secret sharing and multiparty computation to share the data and solve the linear regression in a secure way without violating the privacy of data. We suggest two methods a secure inverse method and a secure Gaussian elimination method, and compare these methods at the end. The benefit of using secret sharing directly on real numbers is reflected in the simplicity of the protocols and the number of rounds needed. However, this comes with the drawback that a share might leak a small amount of information, but in our analysis we argue that the leakage is small.


Generalized solutions to a chemotaxis Navier Stokes system with arbitrary superlinear degradation. In this work, we study a chemotaxis Navier Stokes model in a two dimensional setting as below, begin eqnarray left begin array llll displaystyle n t mathbf u cdot nabla n Delta n nabla cdot(n nabla c) f(n), x in Omega, ,t 0, displaystyle c t mathbf u cdot nabla c Delta c c n, x in Omega, ,t 0, displaystyle mathbf u t kappa( mathbf u cdot nabla) mathbf u Delta mathbf u nabla P n nabla phi, x in Omega, ,t 0, displaystyle nabla cdot mathbf u 0, x in Omega, ,t 0. end array right. end eqnarray Motivated by a recent work due to Winkler, we aim at investigating generalized solvability for the model the without imposing a critical superlinear exponent restriction on the logistic source function f . Specifically, it is proven in the present work that there exists a triple of integrable functions (n,c, mathbf u ) solving the system globally in a generalized sense provided that f in C 1( 0, infty)) satisfies f(0) ge0 and f(n) le rn mu n gamma ( n ge0 ) with any gamma 1 . Our result indicates that persistent Dirac type singularities can be ruled out in our model under the aforementioned mild assumption on f . After giving the existence result for the system, we also show that the generalized solution exhibits eventual smoothness as long as mu r is sufficiently large.


Expression Snippet Transformer for Robust Video based Facial Expression Recognition. The recent success of Transformer has provided a new direction to various visual understanding tasks, including video based facial expression recognition (FER). By modeling visual relations effectively, Transformer has shown its power for describing complicated patterns. However, Transformer still performs unsatisfactorily to notice subtle facial expression movements, because the expression movements of many videos can be too small to extract meaningful spatial temporal relations and achieve robust performance. To this end, we propose to decompose each video into a series of expression snippets, each of which contains a small number of facial movements, and attempt to augment the Transformer's ability for modeling intra snippet and inter snippet visual relations, respectively, obtaining the Expression snippet Transformer (EST). In particular, for intra snippet modeling, we devise an attention augmented snippet feature extractor (AA SFE) to enhance the encoding of subtle facial movements of each snippet by gradually attending to more salient information. In addition, for inter snippet modeling, we introduce a shuffled snippet order prediction (SSOP) head and a corresponding loss to improve the modeling of subtle motion changes across subsequent snippets by training the Transformer to identify shuffled snippet orders. Extensive experiments on four challenging datasets (i.e., BU 3DFE, MMI, AFEW, and DFEW) demonstrate that our EST is superior to other CNN based methods, obtaining state of the art performance.


Geometry of weighted Lorentz Finsler manifolds II A splitting theorem. We show an analogue of the Lorentzian splitting theorem for weighted Lorentz Finsler manifolds If a weighted Berwald spacetime of nonnegative weighted Ricci curvature satisfies certain completeness and metrizability conditions and includes a timelike straight line, then it necessarily admits a one dimensional family of isometric translations generated by the gradient vector field of a Busemann function. Moreover, our formulation in terms of the epsilon range introduced in our previous work enables us to unify the previously known splitting theorems for weighted Lorentzian manifolds by Case and Woolgar Wylie into a single framework.


Classification of real trivectors in dimension nine. We classify real trivectors in dimension 9. The corresponding classification over the field C of complex numbers was obtained by Vinberg and Elashvili in 1978. One of the main tools used for their classification was the construction of the representation of SL(9,C) on the space of complex trivectors of C 9 as a theta representation corresponding to a Z 3Z grading of the simple complex Lie algebra of type E 8. This divides the trivectors into three groups nilpotent, semisimple, and mixed trivectors. Our classification follows the same pattern. We use Galois cohomology, first and second, to obtain the classification over R.


Historical Inertia A Neglected but Powerful Baseline for Long Sequence Time series Forecasting. Long sequence time series forecasting (LSTF) has become increasingly popular for its wide range of applications. Though superior models have been proposed to enhance the prediction effectiveness and efficiency, it is reckless to neglect or underestimate one of the most natural and basic temporal properties of time series. In this paper, we introduce a new baseline for LSTF, the historical inertia (HI), which refers to the most recent historical data points in the input time series. We experimentally evaluate the power of historical inertia on four public real word datasets. The results demonstrate that up to 82 relative improvement over state of the art works can be achieved even by adopting HI directly as output.


E Commerce Dispute Resolution Prediction. E Commerce marketplaces support millions of daily transactions, and some disagreements between buyers and sellers are unavoidable. Resolving disputes in an accurate, fast, and fair manner is of great importance for maintaining a trustworthy platform. Simple cases can be automated, but intricate cases are not sufficiently addressed by hard coded rules, and therefore most disputes are currently resolved by people. In this work we take a first step towards automatically assisting human agents in dispute resolution at scale. We construct a large dataset of disputes from the eBay online marketplace, and identify several interesting behavioral and linguistic patterns. We then train classifiers to predict dispute outcomes with high accuracy. We explore the model and the dataset, reporting interesting correlations, important features, and insights.


Multi Modality Task Cascade for 3D Object Detection. Point clouds and RGB images are naturally complementary modalities for 3D visual understanding the former provides sparse but accurate locations of points on objects, while the latter contains dense color and texture information. Despite this potential for close sensor fusion, many methods train two models in isolation and use simple feature concatenation to represent 3D sensor data. This separated training scheme results in potentially sub optimal performance and prevents 3D tasks from being used to benefit 2D tasks that are often useful on their own. To provide a more integrated approach, we propose a novel Multi Modality Task Cascade network (MTC RCNN) that leverages 3D box proposals to improve 2D segmentation predictions, which are then used to further refine the 3D boxes. We show that including a 2D network between two stages of 3D modules significantly improves both 2D and 3D task performance. Moreover, to prevent the 3D module from over relying on the overfitted 2D predictions, we propose a dual head 2D segmentation training and inference scheme, allowing the 2nd 3D module to learn to interpret imperfect 2D segmentation predictions. Evaluating our model on the challenging SUN RGB D dataset, we improve upon state of the art results of both single modality and fusion networks by a large margin ( textbf 3.8 mAP 0.5). Code will be released href https github.com Divadi MTC RCNN text here.


Hybrid balance theory Heider balance under higher order interactions. Heider's Balance Theory in signed networks, which consists of friendship or enmity relationships, is a model that relates the type of relationship between two people to the third person. In this model, there is an assumption of the independence of triadic relations, which means that the balance or imbalance of one triangle does not affect another and the energy only depends on the number of each type of triangle. There is evidence that in real network data, in addition to third order interactions (Heider Balance), higher order interactions also play a role. One step beyond the Heider Balance, the effect of Quartic Balance has been studied by removing the assumption of triangular independence. Application of quartic balance results in the influence of the balanced or imbalanced state of neighboring triangles on each specific one. Here, a question arises that how the Heider Balance is affected by the existence of Quartic Balance (fourth order). The phase diagram obtained from the mean field method shows there is a threshold for higher order interaction strength, below which a third order interaction dominates and there are no imbalance triangles in the network, and above this threshold, squares effectively determine the balance state in which the imbalance triangles can survive. The solution of the mean field indicates that we have a first order phase transition in terms of random behavior of agents (temperature) which is in accordance with the Monte Carlo simulation results.


Crossed product interpretation of the Double Shuffle Lie algebra attached to a finite Abelian group. Racinet studied the scheme associated with the double shuffle and regularization relations between multiple polylogarithm values at N th roots of unity and constructed a group scheme attached to the situation he also showed it to be the specialization for G mu N of a group scheme mathsf DMR 0 G attached to a finite abelian group G . Then, Enriquez and Furusho proved that mathsf DMR 0 G can be essentially identified with the stabilizer of a coproduct element arising in Racinet's theory with respect to the action of a group of automorphisms of a free Lie algebra attached to G . We reformulate Racinet's construction in terms of crossed products. Racinet's coproduct can then be identified with a coproduct hat Delta mathcal M G defined on a module hat mathcal M G over an algebra hat mathcal W G , which is equipped with its own coproduct hat Delta mathcal W G , and the group action on hat mathcal M G extends to a compatible action of hat mathcal W G . We then show that the stabilizer of hat Delta mathcal M G , hence mathsf DMR 0 G , is contained in the stabilizer of hat Delta mathcal W G . This yields an explicit group scheme containing mathsf DMR 0 G , which we also express in the Racinet formalism.


Kuksa Self Adaptive Microservices in Automotive Systems. In pervasive dynamic environments, vehicles connect to other objects to send operational data and receive updates so that vehicular applications can provide services to users on demand. Automotive systems should be self adaptive, thereby they can make real time decisions based on changing operating conditions. Emerging modern solutions, such as microservices could improve self adaptation capabilities and ensure higher levels of quality performance in many domains. We employed a real world automotive platform called Eclipse Kuksa to propose a framework based on microservices architecture to enhance the self adaptation capabilities of automotive systems for runtime data analysis. To evaluate the designed solution, we conducted an experiment in an automotive laboratory setting where our solution was implemented as a microservice based adaptation engine and integrated with other Eclipse Kuksa components. The results of our study indicate the importance of design trade offs for quality requirements' satisfaction levels of each microservices and the whole system for the optimal performance of an adaptive system at runtime.


Higher Siegel Weil formula for unitary groups the non singular terms. We construct special cycles on the moduli stack of unitary shtukas. We prove an identity between (1) the r th central derivative of non singular Fourier coefficients of a normalized Siegel Eisenstein series, and (2) the degree of special cycles of "virtual dimension 0" on the moduli stack of unitary shtukas with r legs. This may be viewed as a function field analogue of the Kudla Rapoport Conjecture, that has the additional feature of encompassing all higher derivatives of the Eisenstein series.


Open set Recognition based on the Combination of Deep Learning and Ensemble Method for Detecting Unknown Traffic Scenarios. An understanding and classification of driving scenarios are important for testing and development of autonomous driving functionalities. Machine learning models are useful for scenario classification but most of them assume that data received during the testing are from one of the classes used in the training. This assumption is not true always because of the open environment where vehicles operate. This is addressed by a new machine learning paradigm called open set recognition. Open set recognition is the problem of assigning test samples to one of the classes used in training or to an unknown class. This work proposes a combination of Convolutional Neural Networks (CNN) and Random Forest (RF) for open set recognition of traffic scenarios. CNNs are used for the feature generation and the RF algorithm along with extreme value theory for the detection of known and unknown classes. The proposed solution is featured by exploring the vote patterns of trees in RF instead of just majority voting. By inheriting the ensemble nature of RF, the vote pattern of all trees combined with extreme value theory is shown to be well suited for detecting unknown classes. The proposed method has been tested on the highD and OpenTraffic datasets and has demonstrated superior performance in various aspects compared to existing solutions.


An Open Natural Language Processing Development Framework for EHR based Clinical Research A case demonstration using the National COVID Cohort Collaborative (N3C). While we pay attention to the latest advances in clinical natural language processing (NLP), we can notice some resistance in the clinical and translational research community to adopt NLP models due to limited transparency, interpretability, and usability. In this study, we proposed an open natural language processing development framework. We evaluated it through the implementation of NLP algorithms for the National COVID Cohort Collaborative (N3C). Based on the interests in information extraction from COVID 19 related clinical notes, our work includes 1) an open data annotation process using COVID 19 signs and symptoms as the use case, 2) a community driven ruleset composing platform, and 3) a synthetic text data generation workflow to generate texts for information extraction tasks without involving human subjects. The corpora were derived from texts from three different institutions (Mayo Clinic, University of Kentucky, University of Minnesota). The gold standard annotations were tested with a single institution's (Mayo) ruleset. This resulted in performances of 0.876, 0.706, and 0.694 in F scores for Mayo, Minnesota, and Kentucky test datasets, respectively. The study as a consortium effort of the N3C NLP subgroup demonstrates the feasibility of creating a federated NLP algorithm development and benchmarking platform to enhance multi institution clinical NLP study and adoption. Although we use COVID 19 as a use case in this effort, our framework is general enough to be applied to other domains of interest in clinical NLP.


Densely Deformable Efficient Salient Object Detection Network. Salient Object Detection (SOD) domain using RGB D data has lately emerged with some current models' adequately precise results. However, they have restrained generalization abilities and intensive computational complexity. In this paper, inspired by the best background foreground separation abilities of deformable convolutions, we employ them in our Densely Deformable Network (DDNet) to achieve efficient SOD. The salient regions from densely deformable convolutions are further refined using transposed convolutions to optimally generate the saliency maps. Quantitative and qualitative evaluations using the recent SOD dataset against 22 competing techniques show our method's efficiency and effectiveness. We also offer evaluation using our own created cross dataset, surveillance SOD (S SOD), to check the trained models' validity in terms of their applicability in diverse scenarios. The results indicate that the current models have limited generalization potentials, demanding further research in this direction. Our code and new dataset will be publicly available at https github.com tanveer hussain EfficientSOD


Multilingual Augmenter The Model Chooses. Natural Language Processing (NLP) relies heavily on training data. Transformers, as they have gotten bigger, have required massive amounts of training data. To satisfy this requirement, text augmentation should be looked at as a way to expand your current dataset and to generalize your models. One text augmentation we will look at is translation augmentation. We take an English sentence and translate it to another language before translating it back to English. In this paper, we look at the effect of 108 different language back translations on various metrics and text embeddings.


A simple geometric proof for the benefit of depth in ReLU networks. We present a simple proof for the benefit of depth in multi layer feedforward network with rectified activation ("depth separation"). Specifically we present a sequence of classification problems indexed by m such that (a) for any fixed depth rectified network there exist an m above which classifying problem m correctly requires exponential number of parameters (in m ) and (b) for any problem in the sequence, we present a concrete neural network with linear depth (in m ) and small constant width ( leq 4 ) that classifies the problem with zero error. The constructive proof is based on geometric arguments and a space folding construction. While stronger bounds and results exist, our proof uses substantially simpler tools and techniques, and should be accessible to undergraduate students in computer science and people with similar backgrounds.


Gershgorin disks for multiple and close eigenvalues. We show that multiple eigenvalues, or eigenvalues close to each other, are in a reduced Gershgorin disk.


Comparison of Models for Training Optical Matrix Multipliers in Neuromorphic PICs. We experimentally compare simple physics based vs. data driven neural network based models for offline training of programmable photonic chips using Mach Zehnder interferometer meshes. The neural network model outperforms physics based models for a chip with thermal crosstalk, yielding increased testing accuracy.


A Study on the Effects of Diffusion of Information on Epidemic Spread. In this work, the spread of a contagious disease on a society where the individuals may take precautions is modeled. The primary assumption is that the infected individuals transmit the infection to the susceptible members of the community through direct contact interactions. In the meantime, the susceptibles gather information from the adjacent sites which may lead to taking precautions. The SIR model is used for the diffusion of infection while the Bass equation models the information diffusion. The sociological classification of the individuals indicates that a small percentage of the population take action immediately after being informed, while the majority expect to see some real advantage of taking action. The individuals are assumed to take two different precautions. The precursory measures are getting vaccinated or trying to avoid direct contact with the neighbors. A weighted average of states of the neighbors leads to the choice of action. The fully connected and Scale free Networks are employed as the underlying network of interactions. The comparison between the simple contagion diffusion and the diffusion of infection in a responsive society showed that a very limited precaution makes a considerable difference in the speed and the size of the spread of illness. Particularly highly connected hubs nodes play an essential role in the reduction of the spread of disease.


Supporting RISC V Performance Counters through Performance analysis tools for Linux (Perf). Increased attention to RISC V in Cloud, Data Center, Automotive and Networking applications, has been fueling the move of RISC V to the high performance computing scenario. However, lack of powerful performance monitoring tools will result in poorly optimized applications and, consequently, a limited computing performance. While the RISC V ISA already defines a hardware performance monitor (HPM), current software gives limited support for monitoring performance. In this paper we introduce extensions and modifications to the Performance analysis tools for Linux(perf perf events), Linux kernel, and OpenSBI, aiming to achieve full support for the RISC V performance monitoring specification. Preliminary testing and evaluation was carried out in Linux 5.7 running on a FPGA booted CVA6 CPU, formerly named Ariane, showing a monitoring overhead of 0.283 .


On Automatic Parsing of Log Records. Software log analysis helps to maintain the health of software solutions and ensure compliance and security. Existing software systems consist of heterogeneous components emitting logs in various formats. A typical solution is to unify the logs using manually built parsers, which is laborious. Instead, we explore the possibility of automating the parsing task by employing machine translation (MT). We create a tool that generates synthetic Apache log records which we used to train recurrent neural network based MT models. Models' evaluation on real world logs shows that the models can learn Apache log format and parse individual log records. The median relative edit distance between an actual real world log record and the MT prediction is less than or equal to 28 . Thus, we show that log parsing using an MT approach is promising.


Do Concept Bottleneck Models Learn as Intended?. Concept bottleneck models map from raw inputs to concepts, and then from concepts to targets. Such models aim to incorporate pre specified, high level concepts into the learning procedure, and have been motivated to meet three desiderata interpretability, predictability, and intervenability. However, we find that concept bottleneck models struggle to meet these goals. Using post hoc interpretability methods, we demonstrate that concepts do not correspond to anything semantically meaningful in input space, thus calling into question the usefulness of concept bottleneck models in their current form.


What is it Like to Be a Bot Simulated, Situated, Structurally Coherent Qualia (S3Q) Theory of Consciousness. A novel representationalist theory of consciousness is presented that is grounded in neuroscience and provides a path to artificially conscious computing. Central to the theory are representational affordances of the conscious experience based on the generation of qualia, the fundamental unit of the conscious representation. The current approach is focused on understanding the balance of simulation, situatedness, and structural coherence of artificial conscious representations through converging evidence from neuroscientific and modeling experiments. Representations instantiating a suitable balance of situated and structurally coherent simulation based qualia are hypothesized to afford the agent the flexibilities required to succeed in rapidly changing environments.


STaCK Sentence Ordering with Temporal Commonsense Knowledge. Sentence order prediction is the task of finding the correct order of sentences in a randomly ordered document. Correctly ordering the sentences requires an understanding of coherence with respect to the chronological sequence of events described in the text. Document level contextual understanding and commonsense knowledge centered around these events are often essential in uncovering this coherence and predicting the exact chronological order. In this paper, we introduce STaCK a framework based on graph neural networks and temporal commonsense knowledge to model global information and predict the relative order of sentences. Our graph network accumulates temporal evidence using knowledge of past' and future' and formulates sentence ordering as a constrained edge classification problem. We report results on five different datasets, and empirically show that the proposed method is naturally suitable for order prediction. The implementation of this work is publicly available at https github.com declare lab sentence ordering.


Matrix weighted Kolmogorov Riesz's compactness theorem. In this paper, several versions of the Kolmogorov Riesz compactness theorem in weighted Lebesgue spaces with matrix weights are obtained. In particular, when the matrix weight W is in the known A p class, a characterization of totally bounded subsets in L p(W) with p in(1, infty) is established.


Simultaneously improving multiple imaging parameters with scattering media. Traditional optical imaging systems can provide high quality imaging with complicated and expensive optical design by eliminating aberrations. With the help of optical memory effect (ME), not independently improving single imaging parameter, but simultaneously improving several imaging parameters by adding scattering media to the imaging systems was demonstrated firstly. As an example, in a simple single lens imaging system, except the depth of field (DOF) was improved greatly, spherical aberration, coma aberration and chromatic aberration were eliminated simultaneously by placing a scattering medium between the lens and the camera. The results indicate the potential applications of scattering media in many fields such as optical imaging, optical measurements and biomedical applications.


SLAKE A Semantically Labeled Knowledge Enhanced Dataset for Medical Visual Question Answering. Medical visual question answering (Med VQA) has tremendous potential in healthcare. However, the development of this technology is hindered by the lacking of publicly available and high quality labeled datasets for training and evaluation. In this paper, we present a large bilingual dataset, SLAKE, with comprehensive semantic labels annotated by experienced physicians and a new structural medical knowledge base for Med VQA. Besides, SLAKE includes richer modalities and covers more human body parts than the currently available dataset. We show that SLAKE can be used to facilitate the development and evaluation of Med VQA systems. The dataset can be downloaded from http www.med vqa.com slake.


A Simple Explicit Solvent Model of Polyampholyte Phase Behaviors and its Ramifications for Dielectric Effects in Biomolecular Condensates. Biomolecular condensates such as membraneless organelles, underpinned by liquid liquid phase separation (LLPS), are important for physiological function, with electrostatics among other interaction types being a prominent force in their assembly. Charge interactions of intrinsically disordered proteins (IDPs) and other biomolecules are sensitive to the aqueous dielectric environment. Because the relative permittivity of protein is significantly lower than that of water, the interior of an IDP condensate is a relatively low dielectric regime, which, aside from its possible functional effects on client molecules, should facilitate stronger electrostatic interactions among the scaffold IDPs. To gain insight into this LLPS induced dielectric heterogeneity, addressing in particular whether a low dielectric condensed phase entails more favorable LLPS than that posited by assuming IDP electrostatic interactions are uniformly modulated by the higher dielectric constant of the pure solvent, we consider a simplified multiple chain model of polyampholytes immersed in explicit solvents that are either polarizable or possess a permanent dipole. Notably, simulated phase behaviors of these systems exhibit only minor to moderate differences from those obtained using implicit solvent models with a uniform relative permittivity equals to that of pure solvent. Buttressed by theoretical treatments developed here using random phase approximation and polymer field theoretic simulations, these observations indicate a partial compensation of effects between favorable solvent mediated interactions among the polyampholytes in the condensed phase and favorable polyampholyte solvent interactions in the dilute phase, often netting only a minor enhancement of overall LLPS propensity from the very dielectric heterogeneity that arises from the LLPS itself. Further ramifications of this principle are discussed.


Unsupervised Learning of Debiased Representations with Pseudo Attributes. Dataset bias is a critical challenge in machine learning since it often leads to a negative impact on a model due to the unintended decision rules captured by spurious correlations. Although existing works often handle this issue based on human supervision, the availability of the proper annotations is impractical and even unrealistic. To better tackle the limitation, we propose a simple but effective unsupervised debiasing technique. Specifically, we first identify pseudo attributes based on the results from clustering performed in the feature embedding space even without an explicit bias attribute supervision. Then, we employ a novel cluster wise reweighting scheme to learn debiased representation the proposed method prevents minority groups from being discounted for minimizing the overall loss, which is desirable for worst case generalization. The extensive experiments demonstrate the outstanding performance of our approach on multiple standard benchmarks, even achieving the competitive accuracy to the supervised counterpart.


A comprehensive secure protocol for all D2D scenarios. To fulfill two integral aims of abating cellular traffic and enhancing efficiency of cellular network, D2D is considered as a novel channel of communication. This form of communication has introduced for 4th cellular communication and enacts a significant role in the 5th generation. Four D2D communication scenarios defined in the references, includes direct D2D and relaying D2D communication both with and without cellular infrastructure. One of the major challenges addressing D2D protocols contributes to the fact that they have one single secure protocol that can adapt to the four scenarios. In the current study, we propose a secure D2D protocol based on ARIADNE. To authenticate and key agreement between Source and Destination, we employ LTE A AKA protocol, further for broadcast authentication between relaying nodes TESLA was applied. In Contrary to the recent protocols, our proposed protocol has inconsiderable computation overhead and trivial communication overhead than SODE and preserve many security properties such as Authentication, Authorization, Confidentiality, Integrity, Secure Key Agreement, and Secure Routing Transmission. We check Authentication, Confidentiality, Reachability, and Secure Key Agreement of the proposed protocol with ProVerif verification tools.


Chen Ruan cohomology and moduli spaces of parabolic bundles over a Riemann surface. Let (X, ,D) be an m pointed compact Riemann surface of genus at least 2 . For each x , in , D , fix full flag and concentrated weight system alpha . Let P mathcal M xi denote the moduli space of semi stable parabolic vector bundles of rank r and determinant xi over X with weight system alpha , where r is a prime number and xi is a holomorphic line bundle over X of degree d which is not a multiple of r . We compute the Chen Ruan cohomology of the orbifold for the action on P mathcal M xi of the group of r torsion points in rm Pic 0(X) .


Optimal Query Complexity of Secure Stochastic Convex Optimization. We study the secure stochastic convex optimization problem. A learner aims to learn the optimal point of a convex function through sequentially querying a (stochastic) gradient oracle. In the meantime, there exists an adversary who aims to free ride and infer the learning outcome of the learner from observing the learner's queries. The adversary observes only the points of the queries but not the feedback from the oracle. The goal of the learner is to optimize the accuracy, i.e., obtaining an accurate estimate of the optimal point, while securing her privacy, i.e., making it difficult for the adversary to infer the optimal point. We formally quantify this tradeoff between learner's accuracy and privacy and characterize the lower and upper bounds on the learner's query complexity as a function of desired levels of accuracy and privacy. For the analysis of lower bounds, we provide a general template based on information theoretical analysis and then tailor the template to several families of problems, including stochastic convex optimization and (noisy) binary search. We also present a generic secure learning protocol that achieves the matching upper bound up to logarithmic factors.


An Analysis of Reinforcement Learning for Malaria Control. Previous work on policy learning for Malaria control has often formulated the problem as an optimization problem assuming the objective function and the search space have a specific structure. The problem has been formulated as multi armed bandits, contextual bandits and a Markov Decision Process in isolation. Furthermore, an emphasis is put on developing new algorithms specific to an instance of Malaria control, while ignoring a plethora of simpler and general algorithms in the literature. In this work, we formally study the formulation of Malaria control and present a comprehensive analysis of several formulations used in the literature. In addition, we implement and analyze several reinforcement learning algorithms in all formulations and compare them to black box optimization. In contrast to previous work, our results show that simple algorithms based on Upper Confidence Bounds are sufficient for learning good Malaria policies, and tend to outperform their more advanced counterparts on the malaria OpenAI Gym environment.


A refinement of Cauchy Schwarz complexity. We introduce a notion of complexity for systems of linear forms called emph sequential Cauchy Schwarz complexity , which is parametrized by two positive integers k, ell and refines the notion of Cauchy Schwarz complexity introduced by Green and Tao. We prove that if a system of linear forms has sequential Cauchy Schwarz complexity at most (k, ell) then any average of 1 bounded functions over this system is controlled by the 2 1 ell th power of the Gowers U k 1 norms of the functions. For ell 1 this agrees with Cauchy Schwarz complexity, but for ell 1 there are systems that have sequential Cauchy Schwarz complexity at most (k, ell) whereas their Cauchy Schwarz complexity is greater than k . Our main application illustrates this with systems over a prime field mathbb F p that are denoted by Phi k,M and can be viewed as M dimensional arithmetic progressions of length k . For each M geq 2 we prove that Phi k,M has sequential Cauchy Schwarz complexity at most (k 2, Phi k,M ) (where Phi k,M is the number of forms in the system), whereas the Cauchy Schwarz complexity of Phi k,M can be greater than k 2 . Thus we obtain polynomial true complexity bounds for Phi k,M with exponent 2 Phi k,M . A recent general theorem of Manners, proved independently with different methods, implies a similar application but with different polynomial true complexity bounds, as explained in the paper. In separate work, we use our application to give a new proof of the inverse theorem for Gowers norms on mathbb F p n , and related results concerning ergodic actions of mathbb F p omega .


Recognizing Series Parallel Matrices in Linear Time. A series parallel matrix is a binary matrix that can be obtained from an empty matrix by successively adjoining rows or columns that are parallel to an existing row column or have at most one 1 entry. Equivalently, series parallel matrices are representation matrices of graphic matroids of series parallel graphs, which can be recognized in linear time. We propose an algorithm that, for an m by n matrix A with k nonzeros, determines in expected mathcal O (m n k) time whether A is series parallel, or returns a minimal non series parallel submatrix of A. We complement the developed algorithm by an efficient implementation and report about computational results.


Exact penalty methods for minimizing a smooth function over the nonnegative orthogonal set. This paper is concerned with the problem of minimizing a smooth function over the nonnegative orthogonal set. For this class of nonconvex nonsmooth optimization problems, we show that the penalized problem induced by the elementwise ell 1 norm distance to the nonnegative cone is a global exact penalty, and so is the one induced by its Moreau envelop under a growth condition on the objective function. Then, we develop the exact penalty methods by solving the smooth and nonsmooth penalty problems, which are respectively minimizing a smooth function and a composite nonsmooth function over the Steifel manifold in each step. Two retraction based proximal gradient methods with a line search strategy are provided for solving the subproblems. Numerical tests on quadratic assignment problems and graph matching problems demonstrate that the penalty method based on the smooth exact penalty is superior to the one based on the nonsmooth exact penalty.


Modeling Live Video Streaming Real Time Classification, QoE Inference, and Field Evaluation. Social media, professional sports, and video games are driving rapid growth in live video streaming, on platforms such as Twitch and YouTube Live. Live streaming experience is very susceptible to short time scale network congestion since client playback buffers are often no more than a few seconds. Unfortunately, identifying such streams and measuring their QoE for network management is challenging, since content providers largely use the same delivery infrastructure for live and video on demand (VoD) streaming, and packet inspection techniques (including SNI DNS query monitoring) cannot always distinguish between the two. In this paper, we design, build, and deploy ReCLive a machine learning method for live video detection and QoE measurement based on network level behavioral characteristics. Our contributions are four fold (1) We analyze about 23,000 video streams from Twitch and YouTube, and identify key features in their traffic profile that differentiate live and on demand streaming. We release our traffic traces as open data to the public (2) We develop an LSTM based binary classifier model that distinguishes live from on demand streams in real time with over 95 accuracy across providers (3) We develop a method that estimates QoE metrics of live streaming flows in terms of resolution and buffer stall events with overall accuracies of 93 and 90 , respectively and (4) Finally, we prototype our solution, train it in the lab, and deploy it in a live ISP network serving more than 7,000 subscribers. Our method provides ISPs with fine grained visibility into live video streams, enabling them to measure and improve user experience.


Interaction Detection Between Vehicles and Vulnerable Road Users A Deep Generative Approach with Attention. Intersections where vehicles are permitted to turn and interact with vulnerable road users (VRUs) like pedestrians and cyclists are among some of the most challenging locations for automated and accurate recognition of road users' behavior. In this paper, we propose a deep conditional generative model for interaction detection at such locations. It aims to automatically analyze massive video data about the continuity of road users' behavior. This task is essential for many intelligent transportation systems such as traffic safety control and self driving cars that depend on the understanding of road users' locomotion. A Conditional Variational Auto Encoder based model with Gaussian latent variables is trained to encode road users' behavior and perform probabilistic and diverse predictions of interactions. The model takes as input the information of road users' type, position and motion automatically extracted by a deep learning object detector and optical flow from videos, and generates frame wise probabilities that represent the dynamics of interactions between a turning vehicle and any VRUs involved. The model's efficacy was validated by testing on real world datasets acquired from two different intersections. It achieved an F1 score above 0.96 at a right turn intersection in Germany and 0.89 at a left turn intersection in Japan, both with very busy traffic flows.


Ubiq A System to Build Flexible Social Virtual Reality Experiences. While they have long been a subject of academic study, social virtual reality (SVR) systems are now attracting increasingly large audiences on current consumer virtual reality systems. The design space of SVR systems is very large, and relatively little is known about how these systems should be constructed in order to be usable and efficient. In this paper we present Ubiq, a toolkit that focuses on facilitating the construction of SVR systems. We argue for the design strategy of Ubiq and its scope. Ubiq is built on the Unity platform. It provides core functionality of many SVR systems such as connection management, voice, avatars, etc. However, its design remains easy to extend. We demonstrate examples built on Ubiq and how it has been successfully used in classroom teaching. Ubiq is open source (Apache License) and thus enables several use cases that commercial systems cannot.