X2Parser Cross Lingual and Cross Domain Framework for Task Oriented Compositional Semantic Parsing. Task oriented compositional semantic parsing (TCSP) handles complex nested user queries and serves as an essential component of virtual assistants. Current TCSP models rely on numerous training data to achieve decent performance but fail to generalize to low resource target languages or domains. In this paper, we present X2Parser, a transferable Cross lingual and Cross domain Parser for TCSP. Unlike previous models that learn to generate the hierarchical representations for nested intents and slots, we propose to predict flattened intents and slots representations separately and cast both prediction tasks into sequence labeling problems. After that, we further propose a fertility based slot predictor that first learns to dynamically detect the number of labels for each token, and then predicts the slot types. Experimental results illustrate that our model can significantly outperform existing strong baselines in cross lingual and cross domain settings, and our model can also achieve a good generalization ability on target languages of target domains. Furthermore, our model tackles the problem in an efficient non autoregressive way that reduces the latency by up to 66 compared to the generative model.


Cauchy Dirichlet problems for a class of hypoelliptic equation in R d q new probabilistic representation formula for the gradient of the solutions. We prove the existence and a new representation formula for the gradient of the semigroup associated to an Ornstein Uhlenbeck in a bounded convex domain in d dimensions.


A News Recommender System Considering Temporal Dynamics and Diversity. In a news recommender system, a reader's preferences change over time. Some preferences drift quite abruptly (short term preferences), while others change over a longer period of time (long term preferences). Although the existing news recommender systems consider the reader's full history, they often ignore the dynamics in the reader's behavior. Thus, they cannot meet the demand of the news readers for their time varying preferences. In addition, the state of the art news recommendation models are often focused on providing accurate predictions, which can work well in traditional recommendation scenarios. However, in a news recommender system, diversity is essential, not only to keep news readers engaged, but also to play a key role in a democratic society. In this PhD dissertation, our goal is to build a news recommender system to address these two challenges. Our system should be able to (i) accommodate the dynamics in reader behavior and (ii) consider both accuracy and diversity in the design of the recommendation model. Our news recommender system can also work for unprofiled, anonymous and short term readers, by leveraging the rich side information of the news items and by including the implicit feedback in our model. We evaluate our model with multiple evaluation measures (both accuracy and diversity oriented metrics) to demonstrate the effectiveness of our methods.


Modelling control strategies against Classical Swine Fever influence of traders and markets using static and temporal networks in Ecuador. Classical swine fever (CSF) in Ecuador is prevalent since 1940, pig farming represents an important economic and cultural sector. Recently, the National Veterinary Service (NVS) has implemented individual identification of pigs, movement control and mandatory vaccination against CSF, looking for a future eradication. Our aim was to characterise the pig premises according to risk criteria, analyse the effect of random and targeted strategies to control CSF and consider the temporal development of the network. We used social network analysis (SNA), SIRS (susceptible, infected, recovered, susceptible) network modelling and temporal network analysis. The data set contained 751,003 shipments and 6 million pigs from 2017 to 2019. 165,593 premises were involved 144,118 farms, 138 industrials, 21,337 traders, and 51 markets. On annual average, 124,976 premises (75 ) received or sent one movement with 1.5 pigs, in contrast, 166 (0.01 ) with 1,372 movements and 11,607 pigs. Simulations resulted in CSF mean prevalence of 29.93 Targeted selection strategy reduced the prevalence to 3.3 , while 24 with random selection. Selection of high risk premises in every province was the best strategy using available surveillance infrastructure. Notably, selecting 10 traders markets reduced the CSF prevalence to 4 , evidencing their prime influence over the network. Temporal analysis showed an overestimation of 38 (causal fidelity) in the number of transmission paths The steps to cross the network were 4.3 (average path length), but take approximately 233 days. In conclusion, surveillance strategies applied by the NVS could be more efficient to find cases, reduce the spread of diseases and enable the implementation of risk based surveillance. To focus the efforts on target selection of high risk premises, special attention should be given to markets traders which proved similar disease spread potential.


On the Equivalence Between Temporal and Static Graph Representations for Observational Predictions. In this work we formalize the (pure observational) task of predicting node attribute evolution in temporal graphs. We show that node representations of temporal graphs can be cast into two distinct frameworks (a) The de facto standard approach, which we denote em time and graph , where equivariant graph (e.g., GNN) and sequence (e.g., RNN) representations are intertwined to represent the temporal evolution of the graph and (b) an approach that we denote em time then graph , where the sequences describing the node and edge dynamics are represented first (e.g., RNN), then fed as node and edge attributes into a (static) equivariant graph representation that comes after (e.g., GNN). In real world datasets, we show that our em time then graph framework achieves the same prediction performance as state of the art em time and graph methods. Interestingly, em time then graph representations have an expressiveness advantage over em time and graph representations when both use component GNNs that are not most expressive (e.g., 1 Weisfeiler Lehman GNNs). We introduce a task where this expressiveness advantage allows em time then graph methods to succeed while state of the art em time and graph methods fail.


Graph Consistency Based Mean Teaching for Unsupervised Domain Adaptive Person Re Identification. Recent works show that mean teaching is an effective framework for unsupervised domain adaptive person re identification. However, existing methods perform contrastive learning on selected samples between teacher and student networks, which is sensitive to noises in pseudo labels and neglects the relationship among most samples. Moreover, these methods are not effective in cooperation of different teacher networks. To handle these issues, this paper proposes a Graph Consistency based Mean Teaching (GCMT) method with constructing the Graph Consistency Constraint (GCC) between teacher and student networks. Specifically, given unlabeled training images, we apply teacher networks to extract corresponding features and further construct a teacher graph for each teacher network to describe the similarity relationships among training images. To boost the representation learning, different teacher graphs are fused to provide the supervise signal for optimizing student networks. GCMT fuses similarity relationships predicted by different teacher networks as supervision and effectively optimizes student networks with more sample relationships involved. Experiments on three datasets, i.e., Market 1501, DukeMTMCreID, and MSMT17, show that proposed GCMT outperforms state of the art methods by clear margin. Specially, GCMT even outperforms the previous method that uses a deeper backbone. Experimental results also show that GCMT can effectively boost the performance with multiple teacher and student networks. Our code is available at https github.com liu xb GCMT .


Interpolatory tensorial reduced order models for parametric dynamical systems. The paper introduces a reduced order model (ROM) for numerical integration of a dynamical system which depends on multiple parameters. The ROM is a projection of the dynamical system on a low dimensional space that is both problem dependent and parameter specific. The ROM exploits compressed tensor formats to find a low rank representation for a sample of high fidelity snapshots of the system state. This tensorial representation provides ROM with an orthogonal basis in a universal space of all snapshots and encodes information about the state variation in parameter domain. During the online phase and for any incoming parameter, this information is used to find a reduced basis that spans a parameter specific subspace in the universal space. The computational cost of the online phase then depends only on tensor compression ranks, but not on space or time resolution of high fidelity computations. Moreover, certain compressed tensor formats enable to avoid the adverse effect of parameter space dimension on the online costs (known as the curse of dimension). The analysis of the approach includes an estimate for the representation power of the acquired ROM basis. We illustrate the performance and prediction properties of the ROM with several numerical experiments, where tensorial ROM's complexity and accuracy is compared to those of conventional POD ROM.


SemEval 2021 Task 9 Fact Verification and Evidence Finding for Tabular Data in Scientific Documents (SEM TAB FACTS). Understanding tables is an important and relevant task that involves understanding table structure as well as being able to compare and contrast information within cells. In this paper, we address this challenge by presenting a new dataset and tasks that addresses this goal in a shared task in SemEval 2020 Task 9 Fact Verification and Evidence Finding for Tabular Data in Scientific Documents (SEM TAB FACTS). Our dataset contains 981 manually generated tables and an auto generated dataset of 1980 tables providing over 180K statement and over 16M evidence annotations. SEM TAB FACTS featured two sub tasks. In sub task A, the goal was to determine if a statement is supported, refuted or unknown in relation to a table. In sub task B, the focus was on identifying the specific cells of a table that provide evidence for the statement. 69 teams signed up to participate in the task with 19 successful submissions to subtask A and 12 successful submissions to subtask B. We present our results and main findings from the competition.


Double Proton Transfer in Hydrated Formic Acid Dimer Interplay of Spatial Symmetry and Solvent Generated Force on Reactivity. The double proton transfer (DPT) reaction in hydrated formic acid dimer (FAD) is investigated at molecular level detail. For this, a global and reactive machine learned (ML) potential energy surface (PES) is developed to run extensive (more than 100 ns) mixed ML MM molecular dynamics (MD) simulations in explicit molecular mechanics (MM) solvent at MP2 quality for the solute. Simulations with fixed as in a conventional empirical force field and conformationally fluctuating as available from the ML based PES charge models for FAD shows significant impact on the competition between DPT and dissociation of FAD into two formic acid monomers. With increasing temperature the barrier height for DPT in solution changes by about 10 ( sim 1 kcal mol) between 300 K and 600 K. The rate for DPT is largest, sim 1 ns 1 , at 350 K and decreases for higher temperatures due to destabilisation and increased probability for dissociation of FAD. The water solvent is found to promote the first proton transfer by exerting a favourable solvent induced Coulomb force along the O H cdots O hydrogen bond whereas the second proton transfer is significantly controlled by the O O separation and other conformational degrees of freedom. Double proton transfer in hydrated FAD is found to involve a subtle interplay and balance between structural and electrostatic factors.


Self Supervised Representation Learning from Flow Equivariance. Self supervised representation learning is able to learn semantically meaningful features however, much of its recent success relies on multiple crops of an image with very few objects. Instead of learning view invariant representation from simple images, humans learn representations in a complex world with changing scenes by observing object movement, deformation, pose variation, and ego motion. Motivated by this ability, we present a new self supervised learning representation framework that can be directly deployed on a video stream of complex scenes with many moving objects. Our framework features a simple flow equivariance objective that encourages the network to predict the features of another frame by applying a flow transformation to the features of the current frame. Our representations, learned from high resolution raw video, can be readily used for downstream tasks on static images. Readout experiments on challenging semantic segmentation, instance segmentation, and object detection benchmarks show that we are able to outperform representations obtained from previous state of the art methods including SimCLR and BYOL.


Deep Depth from Focus with Differential Focus Volume. Depth from focus (DFF) is a technique that infers depth using the focus change of a camera. In this work, we propose a convolutional neural network (CNN) to find the best focused pixels in a focal stack and infer depth from the focus estimation. The key innovation of the network is the novel deep differential focus volume (DFV). By computing the first order derivative with the stacked features over different focal distances, DFV is able to capture both the focus and context information for focus analysis. Besides, we also introduce a probability regression mechanism for focus estimation to handle sparsely sampled focal stacks and provide uncertainty estimation to the final prediction. Comprehensive experiments demonstrate that the proposed model achieves state of the art performance on multiple datasets with good generalizability and fast speed.


Protection of the patient data against intentional attacks using a hybrid robust watermarking code. The security of patient information is important during the transfer of medical data. A hybrid spatial domain watermarking algorithm that includes encryption, integrity protection and steganography is proposed to strengthen the information originality based on the authentication. The proposed algorithm checks whether the information of patients has been deliberately changed or not. The created code is distributed at every pixel of the medical image and not only in the regions of noninterest pixels, while the image details are still preserved. To enhance the security of the watermarking code, "SHA 1" is used to get the initial key for the Symmetric Encryption Algorithm. The target of this approach is to preserve the content of the image and the watermark simultaneously, this is achieved by synthesizing an encrypted watermark from one of the components of the original image and not by embedding a watermark in the image. To evaluate the proposed code the Least Significant Bit (LSB), Bit2SB, and Bit3SB were used. The evaluation of the proposed code showed that the LSB is of better quality but overall the Bit2SB is better in its ability against the active attacks up to a size of 2 2 pixels, and it preserves the high image quality.


A Generative Model for Extrapolation Prediction in Materials Informatics. We report a deep generative model for regression tasks in materials informatics. The model is introduced as a component of a data imputer, and predicts more than 20 diverse experimental properties of organic molecules. The imputer is designed to predict material properties by "imagining" the missing data in the database, enabling the use of incomplete material data. Even removing 60 of the data does not diminish the prediction accuracy in a model task. Moreover, the model excels at extrapolation prediction, where target values of the test data are out of the range of the training data. Such extrapolation has been regarded as an essential technique for exploring novel materials, but has hardly been studied to date due to its difficulty. We demonstrate that the prediction performance can be improved by 30 by using the imputer compared with traditional linear regression and boosting models. The benefit becomes especially pronounced with few records for an experimental property ( 100 cases) when prediction would be difficult by conventional methods. The presented approach can be used to more efficiently explore functional materials and break through previous performance limits.


A formal model for ledger management systems based on contracts and temporal logic. A key component of blockchain technology is the ledger, viz., a database that, unlike standard databases, keeps in memory the complete history of past transactions as in a notarial archive for the benefit of any future test. In second generation blockchains such as Ethereum the ledger is coupled with smart contracts, which enable the automation of transactions associated with agreements between the parties of a financial or commercial nature. The coupling of smart contracts and ledgers provides the technological background for very innovative application areas, such as Decentralized Autonomous Organizations (DAOs), Initial Coin Offerings (ICOs) and Decentralized Finance (DeFi), which propelled blockchains beyond cryptocurrencies that were the only focus of first generation blockchains such as the Bitcoin. However, the currently used implementation of smart contracts as arbitrary programming constructs has made them susceptible to dangerous bugs that can be exploited maliciously and has moved their semantics away from that of legal contracts. We propose here to recompose the split and recover the reliability of databases by formalizing a notion of contract modelled as a finite state automaton with well defined computational characteristics derived from an encoding in terms of allocations of resources to actors, as an alternative to the approach based on programming. To complete the work, we use temporal logic as the basis for an abstract query language that is effectively suited to the historical nature of the information kept in the ledger.


Knots, minimal surfaces and J holomorphic curves. Let K be a link in the 3 sphere, viewed as the ideal boundary of hyperbolic 4 space mathbb H 4 . Our main result is that the number of minimal surfaces in mathbb H 4 with ideal boundary K is a link invariant. I.e. the number of minimal surfaces (with fixed genus) is finite and doesn't change under isotopies of K . To define the count, the link must be generic in a certain sense and then minimal surfaces are counted with an appropriate sign. These counts actually give a family of link invariants, indexed by the genus of the filling and a second integer describing the extrinsic topology of how the surface sits in mathbb H 4 . These invariants can be seen as Gromov Witten invariants counting J holomorphic curves in the twistor space Z of mathbb H 4 . Whilst Gromov Witten theory suggests the general scheme for constructing the minimal surface link invariants, there are substantial differences in how this must be carried out in our situation. These are due to the fact that the geometry of both mathbb H 4 and Z becomes singular at infinity, and so the J holomorphic curve equation is degenerate, rather than elliptic, at the boundary. This means that both the Fredholm and compactness arguments involve completely new features, in some places more complicated and in others simpler, when compared with the usual story.


Electrostatic Force Suspended Air Multilayer (EPAM) Structure for Highly Transparent Energy Efficient Windows. The poor thermal insulating building windows, especially single pane windows, are wasting 7 of the total energy consumed by the U.S. every year. This paper presents an electrostatic force suspended polymer air multilayer (EPAM) structure as a highly transparent and energy efficient window retrofitting solution for low income single pane window users. To provide controllable and stable suspension force between large size compliant polymer films without deteriorating their visual transmittance (Vt), corona discharge (CD) was induced to permanently charge polymer films, leading to controllable permanent surface potential difference between two sides of CD charged films. Liquid solid contact electrification (CE) was combined with CD to realize precise control of the surface potential of each side of polymer films. CD CE treated films can obtain programmable and stable electrostatic forces to form resilient EPAM structures for cost and energy effective window retrofitting purpose. The resilient EPAM retrofitted windows can provide U factor lower than 0.5 Btu hr ft2 deg F, Vt higher than 70 , haze lower than 1.6 at cost lower than 7.4 ft2, at least 10 times cheaper than double pane windows. The energy saved by EPAM can reach as much as the order of 106 kJ m2 per year. The CD CE surface potential programming solution also provides a highly repeatable and controllable way for other electrical potential related technologies.


Deep learning of material transport in complex neurite networks. Neurons exhibit complex geometry in their branched networks of neurites which is essential to the function of individual neuron but also brings challenges to transport a wide variety of essential materials throughout their neurite networks for their survival and function. While numerical methods like isogeometric analysis (IGA) have been used for modeling the material transport process via solving partial differential equations (PDEs), they require long computation time and huge computation resources to ensure accurate geometry representation and solution, thus limit their biomedical application. Here we present a graph neural network (GNN) based deep learning model to learn the IGA based material transport simulation and provide fast material concentration prediction within neurite networks of any topology. Given input boundary conditions and geometry configurations, the well trained model can predict the dynamical concentration change during the transport process with an average error less than 10 and 120 330 times faster compared to IGA simulations. The effectiveness of the proposed model is demonstrated within several complex neurite networks.


BigCarl Mining frequent subnets from a single large Petri net. While there have been lots of work studying frequent subgraph mining, very rare publications have discussed frequent subnet mining from more complicated data structures such as Petri nets. This paper studies frequent subnets mining from a single large Petri net. We follow the idea of transforming a Petri net in net graph form and to mine frequent sub net graphs to avoid high complexity. Technically, we take a minimal traversal approach to produce a canonical label of the big net graph. We adapted the maximal independent embedding set approach to the net graph representation and proposed an incremental pattern growth (independent embedding set reduction) way for discovering frequent sub net graphs from the single large net graph, which are finally transformed back to frequent subnets. Extensive performance studies made on a single large Petri net, which contains 10K events, 40K conditions and 30 K arcs, showed that our approach is correct and the complexity is reasonable.


Comment on New apparatus design for high precision measurement of G with atom interferometry. It is shown that even in the case of a negligibly small change in the gradient of the gravitational field of the mass source in the axial direction, the dependence of this gradient in the radial direction leads to a systematic error in Newton gravitational constant value. The magnitude of this error is calculated for two configurations of the field. For both configurations it was found that this error is larger than the inaccuracy predicted in the article by M. Jain et al Eur. Phys. J. D 75, 197 (2021) . In addition, we found the geometry of the source mass, for which this systematic error disappears.


A monolithic and a partitioned Reduced Basis Method for Fluid Structure Interaction problems. The aim of this work is to present an overview about the combination of the Reduced Basis Method (RBM) with two different approaches for Fluid Structure Interaction (FSI) problems, namely a monolithic and a partitioned approach. We provide the details of implementation of two reduction procedures, and we then apply them to the same test case of interest. We first implement a reduction technique that is based on a monolithic procedure where we solve the fluid and the solid problems all at once. We then present another reduction technique that is based on a partitioned (or segregated) procedure the fluid and the solid problems are solved separately and then coupled using a fixed point strategy. The toy problem that we consider is based on the Turek Hron benchmark test case, with a fluid Reynolds number Re 100.


Existence of a generalized polynomial attractor for the wave equation with nonlocal weak damping, anti damping and critical nonlinearity. In this paper, we first establish a criterion based on contractive function for the existence of polynomial attractors. This criterion only involves some rather weak compactness associated with the repeated limit inferior and requires no compactness, which makes it suitable for critical cases. Then by this abstract theorem, we verify the existence of a polynomial attractor and estimate its attractive speed for the wave equation with nonlocal weak damping, anti damping and critical nonlinearity.


Thirty years of TEFLIN Journal A bibliometric portrait through the lens of Microsoft Academic. Bibliometric studies are a rare undertaking in the field of English language teaching, especially at a journal level. To celebrate the 30th anniversary of TEFLIN Journal, this study exhibits a bibliometric portrait of its publication, indexation, and citation from 1990 to 2019. Two pieces of free software were adopted to conduct the descriptive and network analyses of bibliographic data from Microsoft Academic. The publication and citation metrics have risen during its lifetime. The bibliographic network identifies the most productive authors, institutions, and countries along with the co authorship pattern, type of top cited articles, and top used keywords. The articles relatedness is also sighted in terms of the citation frequency and number of shared references. Even though the analyses were complicated by some missing articles and improper indexation, this study could still take a full length bibliometric portrait of the journal during its 30 year journey between the commitment to competence and the quest for higher impact.


SoCRATES System on Chip Resource Adaptive Scheduling using Deep Reinforcement Learning. Deep Reinforcement Learning (DRL) is being increasingly applied to the problem of resource allocation for emerging System on Chip (SoC) applications, and has shown remarkable promises. In this paper, we introduce SoCRATES (SoC Resource AdapTivE Scheduler), an extremely efficient DRL based SoC scheduler which maps a wide range of hierarchical jobs to heterogeneous resources within SoC using the Eclectic Interaction Matching (EIM) technique. It is noted that the majority of SoC resource management approaches have been targeting makespan minimization with fixed number of jobs in the system. In contrast, SoCRATES aims at minimizing average latency in a steady state condition while assigning tasks in the ready queue to heterogeneous resources (processing elements). We first show that the latency minimization driven SoC applications operate high frequency job workload and distributed parallel job execution. We then demonstrate SoCRATES successfully addresses the challenge of concurrent observations caused by the task dependency inherent in the latency minimization objective. Extensive tests show that SoCRATES outperforms other existing neural and non neural schedulers with as high as 38 gain in latency reduction under a variety of job types and incoming rates. The resulting model is also compact in size and has very favorable energy consumption behaviors, making it highly practical for deployment in future SoC systems with built in neural accelerator.


Decoupling inequalities for short generalized Dirichlet sequences. We study decoupling theory for functions on mathbb R with Fourier transform supported in a neighborhood of short Dirichlet sequences log n n N 1 N N 1 2 , as well as sequences with similar convexity properties. We utilize the wave packet structure of functions with frequency support near an arithmetic progression.


PropMix Hard Sample Filtering and Proportional MixUp for Learning with Noisy Labels. The most competitive noisy label learning methods rely on an unsupervised classification of clean and noisy samples, where samples classified as noisy are re labelled and "MixMatched" with the clean samples. These methods have two issues in large noise rate problems 1) the noisy set is more likely to contain hard samples that are in correctly re labelled, and 2) the number of samples produced by MixMatch tends to be reduced because it is constrained by the small clean set size. In this paper, we introduce the learning algorithm PropMix to handle the issues above. PropMix filters out hard noisy samples, with the goal of increasing the likelihood of correctly re labelling the easy noisy samples. Also, PropMix places clean and re labelled easy noisy samples in a training set that is augmented with MixUp, removing the clean set size constraint and including a large proportion of correctly re labelled easy noisy samples. We also include self supervised pre training to improve robustness to high noisy label scenarios. Our experiments show that PropMix has state of the art (SOTA) results on CIFAR 10 100(with symmetric, asymmetric and semantic label noise), Red Mini ImageNet (from the Controlled Noisy Web Labels), Clothing1M and WebVision. In severe label noise bench marks, our results are substantially better than other methods. The code is available athttps github.com filipe research PropMix.


FMBN E Efficient Unsupervised Network Structure Ensemble and Selection for Clustering. It is known that unsupervised nonlinear dimensionality reduction and clustering is sensitive to the selection of hyperparameters, particularly for deep learning based methods, which hinder its practical use. How to select a proper network structure that may be dramatically different in different applications is a hard issue for deep models, given little prior knowledge of data. In this paper, we explore ensemble learning and selection techniques for automatically determining the optimal network structure of a deep model, named multilayer bootstrap networks (MBN). Specifically, we first propose an MBN ensemble (MBN E) algorithm which concatenates the sparse outputs of a set of MBN base models with different network structures into a new representation. Because training an ensemble of MBN is expensive, we propose a fast version of MBN E (fMBN E), which replaces the step of random data resampling in MBN E by the random resampling of similarity scores. Theoretically, fMBN E is even faster than a single standard MBN. Then, we take the new representation produced by MBN E as a reference for selecting the optimal MBN base models. Two kinds of ensemble selection criteria, named optimization like selection criteria and distribution divergence criteria, are applied. Importantly, MBN E and its ensemble selection techniques maintain the simple formulation of MBN that is based on one nearest neighbor learning, and reach the state of the art performance without manual hyperparameter tuning. fMBN E is empirically even hundreds of times faster than MBN E without suffering performance degradation. The source code is available at http www.xiaolei zhang.net mbn e.htm.


Application of robust control for CSR formalization and stakeholders interest. In this paper, we propose a new definition of sustainability that includes dynamics and equity. We propose a theoretical framework that allows finding a fair equilibrium and sustainable strategies for all stakeholders. The goal is to propose a strategy such that in the long run the attributes get close to an equilibrium point which is Pareto optimal for the stakeholders. In order to calculate a strategy, we model stakeholders and actors as dynamical systems in state space form. Furthermore, we use robust control and linear matrix inequalities (LMIs) to calculate the desired feedback strategy. We use several simulation scenarios to show the effectiveness of our proposed framework.


Deep Learning Approach for Aggressive Driving Behaviour Detection. Driving behaviour is one of the primary causes of road crashes and accidents, and these can be decreased by identifying and minimizing aggressive driving behaviour. This study identifies the timesteps when a driver in different circumstances (rush, mental conflicts, reprisal) begins to drive aggressively. An observer (real or virtual) is needed to examine driving behaviour to discover aggressive driving occasions we overcome this problem by using a smartphone's GPS sensor to detect locations and classify drivers' driving behaviour every three minutes. To detect timeseries patterns in our dataset, we employ RNN (GRU, LSTM) algorithms to identify patterns during the driving course. The algorithm is independent of road, vehicle, position, or driver characteristics. We conclude that three minutes (or more) of driving (120 seconds of GPS data) is sufficient to identify driver behaviour. The results show high accuracy and a high F1 score.


Lost in Interpreting Speech Translation from Source or Interpreter?. Interpreters facilitate multi lingual meetings but the affordable set of languages is often smaller than what is needed. Automatic simultaneous speech translation can extend the set of provided languages. We investigate if such an automatic system should rather follow the original speaker, or an interpreter to achieve better translation quality at the cost of increased delay. To answer the question, we release Europarl Simultaneous Interpreting Corpus (ESIC), 10 hours of recordings and transcripts of European Parliament speeches in English, with simultaneous interpreting into Czech and German. We evaluate quality and latency of speaker based and interpreter based spoken translation systems from English to Czech. We study the differences in implicit simplification and summarization of the human interpreter compared to a machine translation system trained to shorten the output to some extent. Finally, we perform human evaluation to measure information loss of each of these approaches.


Bridging between Cognitive Processing Signals and Linguistic Features via a Unified Attentional Network. Cognitive processing signals can be used to improve natural language processing (NLP) tasks. However, it is not clear how these signals correlate with linguistic information. Bridging between human language processing and linguistic features has been widely studied in neurolinguistics, usually via single variable controlled experiments with highly controlled stimuli. Such methods not only compromises the authenticity of natural reading, but also are time consuming and expensive. In this paper, we propose a data driven method to investigate the relationship between cognitive processing signals and linguistic features. Specifically, we present a unified attentional framework that is composed of embedding, attention, encoding and predicting layers to selectively map cognitive processing signals to linguistic features. We define the mapping procedure as a bridging task and develop 12 bridging tasks for lexical, syntactic and semantic features. The proposed framework only requires cognitive processing signals recorded under natural reading as inputs, and can be used to detect a wide range of linguistic features with a single cognitive dataset. Observations from experiment results resonate with previous neuroscience findings. In addition to this, our experiments also reveal a number of interesting findings, such as the correlation between contextual eye tracking features and tense of sentence.


Self harm detection and support on Twitter. Since the advent of online social media platforms such as Twitter and Facebook, useful health related studies have been conducted using the information posted by online participants. Personal health related issues such as mental health, self harm and depression have been studied because users often share their stories on such platforms. Online users resort to sharing because the empathy and support from online communities are crucial in helping the affected individuals. A preliminary analysis shows how contents related to non suicidal self injury (NSSI) proliferate on Twitter. Thus, we use Twitter to collect relevant data, analyse, and proffer ways of supporting users prone to NSSI behaviour. Our approach utilises a custom crawler to retrieve relevant tweets from self reporting users and relevant organisations interested in combating self harm. Through textual analysis, we identify six major categories of self harming users consisting of inflicted, anti self harm, support seekers, recovered, pro self harm and at risk. The inflicted category dominates the collection. From an engagement perspective, we show how online users respond to the information posted by self harm support organisations on Twitter. By noting the most engaged organisations, we apply a useful technique to uncover the organisations' strategy. The online participants show a strong inclination towards online posts associated with mental health related attributes. Our study is based on the premise that social media can be used as a tool to support proactive measures to ease the negative impact of self harm. Consequently, we proffer ways to prevent potential users from engaging in self harm and support affected users through a set of recommendations. To support further research, the dataset will be made available for interested researchers.


Enhanced Directional Quantum Emission by Tunable Topological Doubly Resonant Cavities. How to utilize topological microcavities to control quantum emission is one of the ongoing research topics in the optical community. In this work, we investigate the emission of quantum emitters in doubly resonant topological Tamm microcavity, which can simultaneously achieve dual resonances at two arbitrary wavelengths according to the needs of practical application. To achieve the enhancement of quantum emission in such cavities, we have exploited the tunable doubly resonant modes, in which one of resonant modes corresponds to the pump laser wavelength and the other one is located at the emission wavelength of quantum emitters. Both theoretical and experimental results demonstrate that the pump excitation and emission efficiencies of quantum emitters are greatly enhanced. The main physical mechanism can be explained by the doubly resonant cavity temporal coupled mode theory. Furthermore, we observe the faster emission rate and the higher efficiency of unidirectional quantum emission, which have promising applications in optical detection, sensing, filtering, and light emitting devices.


Computing Expected Hitting Times for Imprecise Markov Chains. We present a novel algorithm to solve a non linear system of equations, whose solution can be interpreted as a tight lower bound on the vector of expected hitting times of a Markov chain whose transition probabilities are only partially specified. We also briefly sketch how this method can be modified to solve a conjugate system of equations that gives rise to the corresponding upper bound. We prove the correctness of our method, and show that it converges to the correct solution in a finite number of steps under mild conditions on the system. We compare the runtime complexity of our method to a previously published method from the literature, and identify conditions under which our novel method is more efficient.


Modelling of coupled surface and subsurface water flows. In this paper, we propose to use the HLL finite volume scheme combined with implicit techniques for modelling the coupled surface and subsurface water flows. In our approach, we used the shallow water equations modelling surface water flow with different source terms such as variable bottom topography, friction effect, precipitation and infiltration. For subsurface water flow, the Green Amp equation is used to simulate the infiltration process through soils. For solving the resulting nonlinear coupled system of shallow water flow and the Green Ampt infiltration equations, the HLL finite volume schemes with linear reconstructions of the solutions at the discrete level are implemented in order to achieve the second order accuracy of the scheme. Appropriate discretization techniques are used for the source terms to guarantee the well balanced property of our numerical scheme. Numerical experiments are performed to test the capability of the developed numerical scheme to simulate the coupled surface and subsurface water flows.


Towards an untyped proof of Con(NF). The idea of this approach towards proving the consistency of Quine's New Foundations set theory is to go in a completely untyped manner. So no contemplation about types is utilized here. All conceptualization pivots around proving a handful many axioms that are completely untyped and framed in the usual language of set theory, and proven to be equivalent to NF. Here, it'll be shown that if we assume the consistency of ZF plus an automorphism and an external bijection with suitable internalization of subsets of its domain and codomain, then NF would be interpreted in this system using a modification of Boffa construction models.


Impulsive fire disturbance in a savanna model Tree grass coexistence states, multiple stable system states, and resilience. Savanna ecosystems are shaped by the frequency and intensity of regular fires. We model savannas via an ordinary differential equation (ODE) encoding a one sided inhibitory Lotka Volterra interaction between trees and grass. By applying fire as a discrete disturbance, we create an impulsive dynamical system that allows us to identify the impact of variation in fire frequency and intensity. The model exhibits three different bistability regimes between savanna and grassland two savanna states and savanna and woodland. The impulsive model reveals rich bifurcation structures in response to changes in fire intensity and frequency structures that are largely invisible to analogous ODE models with continuous fire. In addition, by using the amount of grass as an example of a socially valued function of the system state, we examine the resilience of the social value to different disturbance regimes. We find that large transitions ("tipping") in the valued quantity can be triggered by small changes in disturbance regime.


On the stability of the L 2 projection and the quasiinterpolant in the space of smooth periodic splines. In this paper we derive stability estimates in L 2 and L infty based Sobolev spaces for the L 2 projection and a family of quasiinterolants in the space of smooth, 1 periodic, polynomial splines defined on a uniform mesh in 0,1 . As a result of the assumed periodicity and the uniform mesh, cyclic matrix techniques and suitable decay estimates of the elements of the inverse of a Gram matrix associated with the standard basis of the space of splines, are used to establish the stability results.


PIR codes from combinatorial structures. A k server Private Information Retrieval (PIR) code is a binary linear m,s code admitting a generator matrix such that for every integer i with 1 le i le s there exist k disjoint subsets of columns (called recovery sets) that add up to the vector of weight one, with the single 1 in position i . As shown in cite Fazeli1 , a k server PIR code is useful to reduce the storage overhead of a traditional k server PIR protocol. Finding k server PIR codes with a small blocklength for a given dimension has recently become an important research challenge. In this work, we propose new constructions of PIR codes from combinatorial structures, introducing the notion of k partial packing. Several bounds over the existing literature are improved.


The Art of the Meta Stream Protocol Torrents of Streams. The rise of streaming libraries such as Akka Stream, Reactive Extensions, and LINQ popularized the declarative functional style of data processing. The stream paradigm offers concise syntax to write down processing pipelines to consume the vast amounts of real time data available today. These libraries offer the programmer a domain specific language (DSL) embedded in the host language to describe data streams. These libraries however, all suffer from extensibility issues. The semantics of a stream is hard coded into the DSL language and cannot be changed by the user of the library. We introduce an approach to modify the semantics of a streaming library by means of meta programming at both run time and compile time, and showcase its generality. We show that the expressiveness of the meta facilities is strong enough to enable push and pull semantics, error handling, parallelism, and operator fusion. We evaluate our work by implementing the identified shortcomings in terms of a novel stream meta architecture and show that its design and architecture adhere to the design principles of a meta level architecture. The state of the art offers plenty of choice to programmers regarding reactive stream processing libraries. Expressing reactive systems is otherwise difficult to do in general purpose languages. Extensibility and fine tuning should be possible in these libraries to ensure a broad variety of applications can be expressed within this single DSL.


The DELICES project Indexing scientific literature through semantic expansion. Scientific digital libraries play a critical role in the development and dissemination of scientific literature. Despite dedicated search engines, retrieving relevant publications from the ever growing body of scientific literature remains challenging and time consuming. Indexing scientific articles is indeed a difficult matter, and current models solely rely on a small portion of the articles (title and abstract) and on author assigned keyphrases when available. This results in a frustratingly limited access to scientific knowledge. The goal of the DELICES project is to address this pitfall by exploiting semantic relations between scientific articles to both improve and enrich indexing. To this end, we will rely on the latest advances in semantic representations to both increase the relevance of keyphrases extracted from the documents, and extend indexing to new terms borrowed from semantically similar documents.


A new soft computing method for integration of expert's knowledge in reinforcement learn ing problems. This paper proposes a novel fuzzy action selection method to leverage human knowledge in reinforcement learning problems. Based on the estimates of the most current action state values, the proposed fuzzy nonlinear mapping as signs each member of the action set to its probability of being chosen in the next step. A user tunable parameter is introduced to control the action selection policy, which determines the agent's greedy behavior throughout the learning process. This parameter resembles the role of the temperature parameter in the softmax action selection policy, but its tuning process can be more knowledge oriented since this parameter reflects the human knowledge into the learning agent by making modifications in the fuzzy rule base. Simulation results indicate that including fuzzy logic within the reinforcement learning in the proposed manner improves the learning algorithm's convergence rate, and provides superior performance.


Guided Disentanglement in Generative Networks. Image to image translation (i2i) networks suffer from entanglement effects in presence of physics related phenomena in target domain (such as occlusions, fog, etc), thus lowering the translation quality and variability. In this paper, we present a comprehensive method for disentangling physics based traits in the translation, guiding the learning process with neural or physical models. For the latter, we integrate adversarial estimation and genetic algorithms to correctly achieve disentanglement. The results show our approach dramatically increase performances in many challenging scenarios for image translation.


Neighbor view Enhanced Model for Vision and Language Navigation. Vision and Language Navigation (VLN) requires an agent to navigate to a target location by following natural language instructions. Most of existing works represent a navigation candidate by the feature of the corresponding single view where the candidate lies in. However, an instruction may mention landmarks out of the single view as references, which might lead to failures of textual visual matching of existing methods. In this work, we propose a multi module Neighbor View Enhanced Model (NvEM) to adaptively incorporate visual contexts from neighbor views for better textual visual matching. Specifically, our NvEM utilizes a subject module and a reference module to collect contexts from neighbor views. The subject module fuses neighbor views at a global level, and the reference module fuses neighbor objects at a local level. Subjects and references are adaptively determined via attention me'chanisms. Our model also includes an action module to utilize the strong orientation guidance (e.g., "turn left") in instructions. Each module predicts navigation action separately and their weighted sum is used for predicting the final action. Extensive experimental results demonstrate the effectiveness of the proposed method on the R2R and R4R benchmarks against several state of the art navigators, and NvEM even beats some pre training ones. Our code is available at https github.com MarSaKi NvEM.


A direct proof of convergence of Davis Yin splitting algorithm allowing larger stepsizes. This note is devoted to the splitting algorithm proposed by Davis and Yin in 2017 for computing a zero of the sum of three maximally monotone operators, with one of them being cocoercive. We provide a direct proof that guarantees its convergence when the stepsizes are smaller than four times the cocoercivity constant, thus doubling the size of the interval established by Davis and Yin. As a by product, the same conclusion applies to the forward backward splitting algorithm. Further, we use the notion of "strengthening" of a set valued operator to derive a new splitting algorithm for computing the resolvent of the sum. Last but not least, we provide some numerical experiments illustrating the importance of appropriately choosing the stepsize and relaxation parameters of the algorithms.


Darlin Recursive Proofs using Marlin. This document describes Darlin, a succinct zero knowledge argument of knowledge based on the Marlin SNARK (Chiesa et al., Eurocrypt 2020) and the dlog' polynomial commitment scheme from Bootle et al. EUROCRYPT 2016. Darlin addresses recursive proofs by integrating the amortization technique from Halo (IACR eprint 2019 099) for the non succinct parts of the dlog verifier, and we adapt their strategy for bivariate circuit encoding polynomials to aggregate Marlin's inner sumchecks across the nodes the recursive scheme. We estimate the performance impact of inner sumcheck aggregation by about 30 in a tree like scheme of in degree 2, and beyond when applied to linear recursion.


Game environment feedback dynamics for voluntary prisoner's dilemma games. Recently, the eco evolutionary game theory which describes the coupled dynamics of strategies and environment have attracted great attention. At the same time, most of the current work is focused on the classic two player two strategy game. In this work, we study multi strategy eco evolutionary game theory which is an extension of the framework. For simplicity, we'll focus on the voluntary participation Prisoner's dilemma game. For the general class of payoff dependent feedback dynamics, we show the conditions for the existence and stability of internal equilibrium by using the replicator dynamics, respectively. Where internal equilibrium points, such as, two strategy coexistence states, three strategy coexistence states, persistent oscillation states and interior saddle points. These states are determined by the relative feedback strength and payoff matrix, and are independent of the relative feedback speed and initial state. In particular, the three strategy coexistence provides a new mechanism for maintaining biodiversity in biology, ecology, and sociology. Besides, we find that this three strategy model return to the persistent oscillation state of the two strategy model when there is no defective strategy at the initial moment.


Cohomological Obstructions and Weak Crossed Products over Weak Hopf Algebras. Let H be a cocommutative weak Hopf algebra and let (B, varphi B ) a weak left H module algebra. In this paper, for a twisted convolution invertible morphism sigma H otimes H rightarrow B we define its obstruction theta sigma as a degree three Sweedler 3 cocycle with values in the center of B . We obtain that the class of this obstruction vanish in third Sweedler cohomology group mathcal H 3 varphi Z(B) (H, Z(B)) if, and only if, there exists a twisted convolution invertible 2 cocycle alpha H otimes H rightarrow B such that H otimes B can be endowed with a weak crossed product structure with alpha keeping a cohomological like relation with sigma . Then, as a consequence, the class of the obstruction of sigma vanish if, and only if, there exists a cleft extension of B by H .


Network Representation Learning From Preprocessing, Feature Extraction to Node Embedding. Network representation learning (NRL) advances the conventional graph mining of social networks, knowledge graphs, and complex biomedical and physics information networks. Over dozens of network representation learning algorithms have been reported in the literature. Most of them focus on learning node embeddings for homogeneous networks, but they differ in the specific encoding schemes and specific types of node semantics captured and used for learning node embedding. This survey paper reviews the design principles and the different node embedding techniques for network representation learning over homogeneous networks. To facilitate the comparison of different node embedding algorithms, we introduce a unified reference framework to divide and generalize the node embedding learning process on a given network into preprocessing steps, node feature extraction steps and node embedding model training for a NRL task such as link prediction and node clustering. With this unifying reference framework, we highlight the representative methods, models, and techniques used at different stages of the node embedding model learning process. This survey not only helps researchers and practitioners to gain an in depth understanding of different network representation learning techniques but also provides practical guidelines for designing and developing the next generation of network representation learning algorithms and systems.


On the tensor nuclear norm and the total variation regularization for image and video completion. In the present paper we propose two new algorithms of tensor completion for three order tensors. The proposed methods consist in minimizing the average rank of the underlying tensor using its approximate function namely the tensor nuclear norm and then the recovered data will be obtained by using the total variation regularisation technique. We will adopt the Alternating Direction Method of Multipliers (ADM), using the tensor T product, to solve the main optimization problems associated to the two algorithms. In the last section, we present some numerical experiments and comparisons with the most known image completion methods.


Asymptotic smoothness in Banach spaces, three space properties and applications. We study four asymptotic smoothness properties of Banach spaces, denoted textsf T p, textsf A p, textsf N p and textsf P p . We complete their description by proving the missing renorming theorem for textsf A p . We prove that asymptotic uniform flattenability (property textsf T infty ) and summable Szlenk index (property textsf A infty ) are three space properties. Combined with the positive results of the first named author, Draga, and Kochanek, and with the counterexamples we provide, this completely solves the three space problem for this family of properties. We also derive from our characterizations of textsf A p and textsf N p in terms of equivalent renormings, new coarse Lipschitz rigidity results for these classes.


On algebraic dependencies between Poincar 'e functions. Let A be a rational function of one complex variable, and z 0 its repelling fixed point with the multiplier lambda. A Poincar 'e function associated with z 0 is a function mathcal P A,z 0, lambda meromorphic on mathbb C such that mathcal P A,z 0, lambda (0) z 0 , mathcal P A,z 0, lambda '(0) neq 0, and mathcal P A,z 0, lambda ( lambda z) A circ mathcal P A,z 0, lambda (z). In this paper, we investigate the following problem given Poincar 'e functions mathcal P A 1,z 1, lambda 1 and mathcal P A 2,z 2, lambda 2 , find out if there is an algebraic relation f( mathcal P A 1,z 1, lambda 1 , mathcal P A 2,z 2, lambda 2 ) 0 between them and, if such a relation exists, describe the corresponding algebraic curve. We provide a solution, which can be viewed as a refinement of the classical Ritt theorem about commuting rational functions. We also complement previous results concerning algebraic dependencies between B "ottcher functions.


Combinatorial invariance conjecture for widetilde A 2 . The combinatorial invariance conjecture (due independently to G. Lusztig and M. Dyer) predicts that if x,y and x',y' are isomorphic Bruhat posets (of possibly different Coxeter systems), then the corresponding Kazhdan Lusztig polynomials are equal, i.e., P x,y (q) P x',y' (q) . We prove this conjecture for the affine Weyl group of type widetilde A 2 . This is the first non trivial case where this conjecture is verified for an infinite group.


Motion Vector Extrapolation for Video Object Detection. Despite the continued successes of computationally efficient deep neural network architectures for video object detection, performance continually arrives at the great trilemma of speed versus accuracy versus computational resources (pick two). Current attempts to exploit temporal information in video data to overcome this trilemma are bottlenecked by the state of the art in object detection models. We present, a technique which performs video object detection through the use of off the shelf object detectors alongside existing optical flow based motion estimation techniques in parallel. Through a set of experiments on the benchmark MOT20 dataset, we demonstrate that our approach significantly reduces the baseline latency of any given object detector without sacrificing any accuracy. Further latency reduction, up to 25x lower than the original latency, can be achieved with minimal accuracy loss. MOVEX enables low latency video object detection on common CPU based systems, thus allowing for high performance video object detection beyond the domain of GPU computing. The code is available at https github.com juliantrue movex.


Odd index of the amended potential implies linear instability. For a relative equilibrium of a symmetric simple mechanical system, if the Morse index of the corresponding amended potential is odd, whether the nullity is zero or not, it is linearly unstable. We also provide a sufficient condition for spectral instability.


Proof of Travel for Trust Based Data Validation in V2I Communication Part I Methodology. Previous work on misbehavior detection and trust management for Vehicle to Everything (V2X) communication can identify falsified and malicious messages, enabling witness vehicles to report observations about high criticality traffic events. However, there may not exist enough "benign" vehicles with V2X connectivity or vehicle owners who are willing to opt in in the early stages of connected vehicle deployment. In this paper, we propose a security protocol for the communication between vehicles and infrastructure, titled Proof of Travel (POT), to answer the research question How can we transform the power of cryptography techniques embedded within the protocol into social and economic mechanisms to simultaneously incentivize Vehicle to Infrastructure (V2I) data sharing activities and validate the data? The key idea is to determine the reputation of and the contribution made by a vehicle based on its distance traveled and the information it shared through V2I channels. In particular, the total vehicle miles traveled for a vehicle must be testified by digital signatures signed by each infrastructure component along the path of its movement. While building a chain of proofs of spatial movement creates burdens for malicious vehicles, acquiring proofs does not result in extra cost for normal vehicles, which naturally want to move from the origin to the destination. The proof of travel for a vehicle can then be used to determine the contribution and reward by its altruistic behaviors. We propose short term and long term incentive designs based on the POT protocol and evaluate their security and performance through theoretical analysis and simulations.


Exploring Explicit and Implicit Visual Relationships for Image Captioning. Image captioning is one of the most challenging tasks in AI, which aims to automatically generate textual sentences for an image. Recent methods for image captioning follow encoder decoder framework that transforms the sequence of salient regions in an image into natural language descriptions. However, these models usually lack the comprehensive understanding of the contextual interactions reflected on various visual relationships between objects. In this paper, we explore explicit and implicit visual relationships to enrich region level representations for image captioning. Explicitly, we build semantic graph over object pairs and exploit gated graph convolutional networks (Gated GCN) to selectively aggregate local neighbors' information. Implicitly, we draw global interactions among the detected objects through region based bidirectional encoder representations from transformers (Region BERT) without extra relational annotations. To evaluate the effectiveness and superiority of our proposed method, we conduct extensive experiments on Microsoft COCO benchmark and achieve remarkable improvements compared with strong baselines.


A remark on Gersten complex for Milnor K theory. In this note, we consider the Gersten complex for Milnor K theory over a regular local Henselian domain S and prove that in degrees geq dim S geq 1 , the Gersten complex of an essentially smooth Henselian local S scheme is exact.


Riesz projection and essential S spectrum in quaternionic setting. This paper is devoted to the investigation of the Weyl and the essential S spectrum of a bounded right quaternionic linear operator in a right quaternionic Hilbert space. Using the quaternionic Riesz projection, the S eigenvalue of finite type is introduced and studied. In particular, it is shown that the Weyl and the essential S spectra does not contains eigenvalues of finite type. We also describe the boundary of the Weyl S spectrum and the particular case of the spectral theorem of the essential S spectrum.


3 d Calabi Yau categories for Teichm "uller theory. For g,n geq 0 a 3 dimensional Calabi Yau A infty category mathcal C g,n is constructed such that a component of the space of Bridgeland stability conditions, mathrm Stab ( mathcal C g,n ) , is a moduli space of quadratic differentials on a genus g surface with simple zeros and n simple poles. For a generic point in the moduli space the corresponding quantum refined Donaldson Thomas invariants are computed in terms of counts of finite length geodesics on the flat surface determined by the quadratic differential. As a consequence, these counts satisfy wall crossing formulas.


WaRIance wavefield reconstruction inversion with stochastic variable projection. We propose a variation on wavefield reconstruction inversion for seismic inversion, which takes advantage of randomized linear algebra as a way to overcome the typical limitations of conventional inversion techniques. Consequently, we can aim both to robustness towards convergence stagnation and large sized 3D applications. The central idea hinges on approximating the optimal slack variables involved in wavefield reconstruction inversion via a low rank stochastic approximation of the wave equation error covariance. As a result, we obtain a family of inversion methods parameterized by a given model covariance (suited for the problem at hand) and the rank of the related stochastic approximation sketch. The challenges and advantages of our proposal are demonstrated with some numerical experiments.


Improving Calibration for Long Tailed Recognition. Deep neural networks may perform poorly when training datasets are heavily class imbalanced. Recently, two stage methods decouple representation learning and classifier learning to improve performance. But there is still the vital issue of miscalibration. To address it, we design two methods to improve calibration and performance in such scenarios. Motivated by the fact that predicted probability distributions of classes are highly related to the numbers of class instances, we propose label aware smoothing to deal with different degrees of over confidence for classes and improve classifier learning. For dataset bias between these two stages due to different samplers, we further propose shifted batch normalization in the decoupling framework. Our proposed methods set new records on multiple popular long tailed recognition benchmark datasets, including CIFAR 10 LT, CIFAR 100 LT, ImageNet LT, Places LT, and iNaturalist 2018. Code will be available at https github.com Jia Research Lab MiSLAS.


Recognizing Emotions evoked by Movies using Multitask Learning. Understanding the emotional impact of movies has become important for affective movie analysis, ranking, and indexing. Methods for recognizing evoked emotions are usually trained on human annotated data. Concretely, viewers watch video clips and have to manually annotate the emotions they experienced while watching the videos. Then, the common practice is to aggregate the different annotations, by computing average scores or majority voting, and train and test models on these aggregated annotations. With this procedure a single aggregated evoked emotion annotation is obtained per each video. However, emotions experienced while watching a video are subjective different individuals might experience different emotions. In this paper, we model the emotions evoked by videos in a different manner instead of modeling the aggregated value we jointly model the emotions experienced by each viewer and the aggregated value using a multi task learning approach. Concretely, we propose two deep learning architectures a Single Task (ST) architecture and a Multi Task (MT) architecture. Our results show that the MT approach can more accurately model each viewer and the aggregated annotation when compared to methods that are directly trained on the aggregated annotations. Furthermore, our approach outperforms the current state of the art results on the COGNIMUSE benchmark.


Experience with PCIe streaming on FPGA for high throughput ML inferencing. Achieving maximum possible rate of inferencing with minimum hardware resources plays a major role in reducing enterprise operational costs. In this paper we explore use of PCIe streaming on FPGA based platforms to achieve high throughput. PCIe streaming is a unique capability available on FPGA that eliminates the need for memory copy overheads. We have presented our results for inferences on a gradient boosted trees model, for online retail recommendations. We compare the results achieved with the popular library implementations on GPU and the CPU platforms and observe that the PCIe streaming enabled FPGA implementation achieves the best overall measured performance. We also measure power consumption across all platforms and find that the PCIe streaming on FPGA platform achieves the 25x and 12x better energy efficiency than an implementation on CPU and GPU platforms, respectively. We discuss the conditions that need to be met, in order to achieve this kind of acceleration on the FPGA. Further, we analyze the run time statistics on GPU and FPGA and identify opportunities to enhance performance on both the platforms.


A predictive model of the turbulent burning velocity for planar and Bunsen flames over a wide range of conditions. We propose a predictive model of the turbulent burning velocity over a wide range of conditions. The model consists of sub models of the stretch factor and the turbulent flame area. The stretch factor characterizes the flame response of turbulence stretch and incorporates effects of detailed chemistry and transport with a lookup table of laminar counterflow flames. The flame area model captures the area growth based on Lagrangian statistics of propagating surfaces, and considers effects of turbulence length scales and fuel characteristics. The present model predicts the turbulent burning velocity via an algebraic expression without free parameters. It is validated against 285 cases of the direct numerical simulation or experiment reported from various research groups on planar and Bunsen flames over a wide range of conditions, covering fuels from hydrogen to n dodecane, pressures from 1 to 20 atm, lean and rich mixtures, turbulence intensity ratios from 0.35 to 110, and turbulence length ratios from 0.5 to 80. The comprehensive comparison shows that the proposed turbulent burning velocity model has an overall good agreement over the wide range of conditions, with the averaged modeling error of 25.3 . Furthermore, the model prediction involves the uncertainty quantification for model parameters and chemical kinetics to extend the model applicability.


NRGNN Learning a Label Noise Resistant Graph Neural Network on Sparsely and Noisily Labeled Graphs. Graph Neural Networks (GNNs) have achieved promising results for semi supervised learning tasks on graphs such as node classification. Despite the great success of GNNs, many real world graphs are often sparsely and noisily labeled, which could significantly degrade the performance of GNNs, as the noisy information could propagate to unlabeled nodes via graph structure. Thus, it is important to develop a label noise resistant GNN for semi supervised node classification. Though extensive studies have been conducted to learn neural networks with noisy labels, they mostly focus on independent and identically distributed data and assume a large number of noisy labels are available, which are not directly applicable for GNNs. Thus, we investigate a novel problem of learning a robust GNN with noisy and limited labels. To alleviate the negative effects of label noise, we propose to link the unlabeled nodes with labeled nodes of high feature similarity to bring more clean label information. Furthermore, accurate pseudo labels could be obtained by this strategy to provide more supervision and further reduce the effects of label noise. Our theoretical and empirical analysis verify the effectiveness of these two strategies under mild conditions. Extensive experiments on real world datasets demonstrate the effectiveness of the proposed method in learning a robust GNN with noisy and limited labels.


Rotation domains and Stable Baker omitted value. A Baker omitted value, in short textit bov of a transcendental meromorphic function f is an omitted value such that there is a disk D centered at the bov for which each component of the boundary of f 1 (D) is bounded. Assuming all the iterates f n are analytic in a neighborhood of its bov, this article proves that the number of Herman rings of a particular period is finite and every Julia component intersects the boundaries of at most finitely many Herman rings. Further, if the bov is the only limit point of the critical values then it is shown that f has infinitely many repelling fixed points. If a repelling periodic point of period p is on the boundary of a p periodic rotation domain then the periodic point is shown to be on the boundary of infinitely many Fatou components. Under additional assumptions on the critical points, a sufficient condition is found for a Julia component to be singleton. As a consequence, it is proved that if the boundary of a wandering domain W accumulates at some point of the plane under the iteration of f then each limit of f n on W is either a parabolic periodic point or in the omega limit set of recurrent critical points. Using the same ideas, the boundary of rotation domains are shown to be in the omega limit set of recurrent critical points.


Efficient Hierarchical Domain Adaptation for Pretrained Language Models. The remarkable success of large language models has been driven by dense models trained on massive unlabeled, unstructured corpora. These corpora typically contain text from diverse, heterogeneous sources, but information about the source of the text is rarely used during training. Transferring their knowledge to a target domain is typically done by continuing training in domain. In this paper, we introduce a method to permit domain adaptation to many diverse domains using a computationally efficient adapter approach. Our method is based on the observation that textual domains are partially overlapping, and we represent domains as a hierarchical tree structure where each node in the tree is associated with a set of adapter weights. When combined with a frozen pretrained language model, this approach enables parameter sharing among related domains, while avoiding negative interference between unrelated ones. Experimental results with GPT 2 and a large fraction of the 100 most represented websites in C4 show across the board improvements in domain. We additionally provide an inference time algorithm for a held out domain and show that averaging over multiple paths through the tree enables further gains in generalization, while adding only a marginal cost to inference.


On the Milnor fibration of certain Newton degenerate functions. It is well known that the diffeomorphism type of the Milnor fibration of a (Newton) non degenerate polynomial function f is uniquely determined by the Newton boundary of f . In the present paper, we generalize this result to certain degenerate functions, namely we show that the diffeomorphism type of the Milnor fibration of a (possibly degenerate) polynomial function of the form f f 1 cdots f k 0 is uniquely determined by the Newton boundaries of f 1, ldots, f k 0 if f k 1 cdots f k m 0 is a non degenerate complete intersection variety for any k 1, ldots,k m in 1, ldots, k 0 .


Multi view Inference for Relation Extraction with Uncertain Knowledge. Knowledge graphs (KGs) are widely used to facilitate relation extraction (RE) tasks. While most previous RE methods focus on leveraging deterministic KGs, uncertain KGs, which assign a confidence score for each relation instance, can provide prior probability distributions of relational facts as valuable external knowledge for RE models. This paper proposes to exploit uncertain knowledge to improve relation extraction. Specifically, we introduce ProBase, an uncertain KG that indicates to what extent a target entity belongs to a concept, into our RE architecture. We then design a novel multi view inference framework to systematically integrate local context and global knowledge across three views mention , entity and concept view. The experimental results show that our model achieves competitive performances on both sentence and document level relation extraction, which verifies the effectiveness of introducing uncertain knowledge and the multi view inference framework that we design.


The Fast Exact Closure for Jeffery's Equation with Diffusion. Jeffery's equation with diffusion is widely used to predict the motion of concentrated fiber suspensions in flows with low Reynold's numbers. Unfortunately, the evaluation of the fiber orientation distribution can require excessive computation, which is often avoided by solving the related second order moment tensor equation. This approach requires a closure' that approximates the distribution function's fourth order moment tensor from its second order moment tensor. This paper presents the Fast Exact Closure (FEC) which uses conversion tensors to obtain a pair of related ordinary differential equations avoiding approximations of the higher order moment tensors altogether. The FEC is exact in that when there are no fiber interactions, it exactly solves Jeffery's equation. Numerical examples for dense fiber suspensions are provided with both a Folgar Tucker (1984) diffusion term and the recent anisotropic rotary diffusion term proposed by Phelps and Tucker (2009). Computations demonstrate that the FEC exhibits improved accuracy with computational speeds equivalent to or better than existing closure approximations.


Extension of topological groupoids and Serre, Hurewicz morphisms. In this paper, we introduce the notion of a topological groupoid extension and relate it to the already existing notion of a gerbe over a topological stack. We further study the properties of a gerbe over a Serre, Hurewicz stack.


Codes for the Z channel. This paper is a collection of results on combinatorial properties of codes for the Z channel. A Z channel with error fraction tau takes as input a length n binary codeword and injects in an adversarial manner n tau asymmetric errors, i.e., errors that only zero out bits but do not flip 0 's to 1 's. It is known that the largest (L 1) list decodable code for the Z channel with error fraction tau has exponential (in n ) size if tau is less than a critical value that we call the Plotkin point and has constant size if tau is larger than the threshold. The (L 1) list decoding Plotkin point is known to be L frac 1 L 1 L frac L L 1 , which equals 1 4 for unique decoding with L 1 1 . In this paper, we derive various results for the size of the largest codes above and below the list decoding Plotkin point. In particular, we show that the largest (L 1) list decodable code epsilon above the Plotkin point has size Theta L( epsilon 3 2 ) for any L 1 ge1 . We also devise upper and lower bounds on the exponential size of codes below the list decoding Plotkin point.


Categorical crystals for quantum affine algebras. A new categorical crystal structure for the quantum affine algebras is presented. We introduce the extended crystal widehat B mathfrak g ( infty) for an arbitrary quantum group, which is the product of infinite copies of the crystal B( infty) . For a complete duality datum in the Hernandez Leclerc category mathcal C 0 mathfrak g of a quantum affine algebra U q'( mathfrak g ) , we prove that the set of the isomorphism classes of simple modules in mathcal C 0 mathfrak g has an extended crystal structure isomorphic to the extended crystal widehat B mathfrak g ( infty) . An explicit combinatorial description of the extended crystal widehat B mathfrak g ( infty) for affine type A n (1) is given in terms of affine highest weights.


Rotation sets and actions on curves. We study the action of the homeomorphism group of a surface S on the fine curve graph mathcal C dagger(S) . While the definition of mathcal C dagger(S) parallels the classical curve graph for mapping class groups, we show that the dynamics of the action of mathrm Homeo (S) on mathcal C dagger(S) is much richer homeomorphisms induce parabolic isometries in addition to elliptics and hyperbolics, and all positive reals are realized as asymptotic translation lengths. When the surface S is a torus, we relate the dynamics of the action of a homeomorphism on mathcal C dagger(S) to the dynamics of its action on the torus via the classical theory of rotation sets. We characterize homeomorphisms acting hyperbolically, show asymptotic translation length provides a lower bound for the area of the rotation set, and, while no characterisation purely in terms of rotation sets is possible, we give sufficient conditions for elements to be elliptic or parabolic.


Geometrically Adaptive Dictionary Attack on Face Recognition. CNN based face recognition models have brought remarkable performance improvement, but they are vulnerable to adversarial perturbations. Recent studies have shown that adversaries can fool the models even if they can only access the models' hard label output. However, since many queries are needed to find imperceptible adversarial noise, reducing the number of queries is crucial for these attacks. In this paper, we point out two limitations of existing decision based black box attacks. We observe that they waste queries for background noise optimization, and they do not take advantage of adversarial perturbations generated for other images. We exploit 3D face alignment to overcome these limitations and propose a general strategy for query efficient black box attacks on face recognition named Geometrically Adaptive Dictionary Attack (GADA). Our core idea is to create an adversarial perturbation in the UV texture map and project it onto the face in the image. It greatly improves query efficiency by limiting the perturbation search space to the facial area and effectively recycling previous perturbations. We apply the GADA strategy to two existing attack methods and show overwhelming performance improvement in the experiments on the LFW and CPLFW datasets. Furthermore, we also present a novel attack strategy that can circumvent query similarity based stateful detection that identifies the process of query based black box attacks.


Pixel Stega Generative Image Steganography Based on Autoregressive Models. In this letter, we explored generative image steganography based on autoregressive models. We proposed Pixel Stega, which implements pixel level information hiding with autoregressive models and arithmetic coding algorithm. Firstly, one of the autoregressive models, PixelCNN , is utilized to produce explicit conditional probability distribution of each pixel. Secondly, secret messages are encoded to the selection of pixels through steganographic sampling (stegosampling) based on arithmetic coding. We carried out qualitative and quantitative assessment on gray scale and colour image datasets. Experimental results show that Pixel Stega is able to embed secret messages adaptively according to the entropy of the pixels to achieve both high embedding capacity (up to 4.3 bpp) and nearly perfect imperceptibility (about 50 detection accuracy).


Unsupervised Visual Time Series Representation Learning and Clustering. Time series data is generated ubiquitously from Internet of Things (IoT) infrastructure, connected and wearable devices, remote sensing, autonomous driving research and, audio video communications, in enormous volumes. This paper investigates the potential of unsupervised representation learning for these time series. In this paper, we use a novel data transformation along with novel unsupervised learning regime to transfer the learning from other domains to time series where the former have extensive models heavily trained on very large labelled datasets. We conduct extensive experiments to demonstrate the potential of the proposed approach through time series clustering.


CHAD Combinatory Homomorphic Automatic Differentiation. We introduce Combinatory Homomorphic Automatic Differentiation (CHAD), a principled, pure, provably correct define then run method for performing forward and reverse mode automatic differentiation (AD) on programming languages with expressive features. It implements AD as a compositional, type respecting source code transformation that generates purely functional code. This code transformation is principled in the sense that it is the unique homomorphic (structure preserving) extension to expressive languages of Elliott's well known and unambiguous definitions of AD for a first order functional language. Correctness of the method follows by a (compositional) logical relations argument that shows that the semantics of the syntactic derivative is the usual calculus derivative of the semantics of the original program. In their most elegant formulation, the transformations generate code with linear types. However, the code transformations can be implemented in a standard functional language lacking linear types while the correctness proof requires tracking of linearity, the actual transformations do not. In fact, even in a standard functional language, we can get all of the type safety that linear types give us we can implement all linear types used to type the transformations as abstract types, by using a basic module system. In this paper, we detail the method when applied to a simple higher order language for manipulating statically sized arrays. However, we explain how the methodology applies, more generally, to functional languages with other expressive features. Finally, we discuss how the scope of CHAD extends beyond applications in AD to other dynamic program analyses that accumulate data in a commutative monoid.


Energy transfer for solutions to the nonlinear Schr "odinger equation on irrational tori. We analyze the energy transfer for solutions to the defocusing cubic nonlinear Schr "odinger (NLS) initial value problem on 2D irrational tori. Moreover we complement the analytic study with numerical experimentation. As a biproduct of our investigation we also prove that the quasi resonant part of the NLS initial value problem we consider, in both the focusing and defocusing case, is globally well posed for initial data of finite mass.


Drag and lift forces on a rigid sphere immersed in a wall bounded linear shear flow. We report on a series of fully resolved simulations of the flow around a rigid sphere translating steadily near a wall, either in a fluid at rest or in the presence of a uniform shear. Non rotating and freely rotating spheres subject to a torque free condition are both considered to evaluate the importance of spin induced effects. The separation distance between the sphere and wall is varied from values at which the wall influence is weak down to gaps of half the sphere radius. The Reynolds number based on the sphere diameter and relative velocity with respect to the ambient fluid spans the range 0.1 250 , and the relative shear rate defined as the ratio of the shear induced velocity variation across the sphere to the relative velocity is varied from 0.5 to 0.5 , so that the sphere either leads the fluid or lags behind it. The wall induced interaction mechanisms at play in the various flow regimes are analyzed qualitatively by examining the flow structure, especially the spanwise and streamwise vorticity distributions. Variations of the drag and lift forces at low but finite and moderate Reynolds number are compared with available analytical and semiempirical expressions, respectively. In more inertial regimes, empirical expressions for the two force components are derived based on the numerical data, yielding accurate fits valid over a wide range of Reynolds number and wall sphere separations for both non rotating and torque free spheres.


Almost orthogonal subsets of vector spaces over finite fields. We prove various results on the size and structure of subsets of vector spaces over finite fields which, in some sense, have too many mutually orthogonal pairs of vectors. In particular, we obtain sharp finite field variants of a theorem of Rosenfeld and an almost version of a theorem of Berlekamp.


On the Impact of Device and Behavioral Heterogeneity in Federated Learning. Federated learning (FL) is becoming a popular paradigm for collaborative learning over distributed, private datasets owned by non trusting entities. FL has seen successful deployment in production environments, and it has been adopted in services such as virtual keyboards, auto completion, item recommendation, and several IoT applications. However, FL comes with the challenge of performing training over largely heterogeneous datasets, devices, and networks that are out of the control of the centralized FL server. Motivated by this inherent setting, we make a first step towards characterizing the impact of device and behavioral heterogeneity on the trained model. We conduct an extensive empirical study spanning close to 1.5K unique configurations on five popular FL benchmarks. Our analysis shows that these sources of heterogeneity have a major impact on both model performance and fairness, thus sheds light on the importance of considering heterogeneity in FL system design.


On the rate of escape or approach to the origin of a random string. In this paper, we extend upon a result by Mueller and Tribe regarding Funaki's model of a random string. Specifically, we examine the rate of escape of this model in dimensions d ge 7 . We also provide a bound for the rate of approach to the origin in dimension d 6 .


Natural Perturbed Training for General Robustness of Neural Network Classifiers. We focus on the robustness of neural networks for classification. To permit a fair comparison between methods to achieve robustness, we first introduce a standard based on the mensuration of a classifier's degradation. Then, we propose natural perturbed training to robustify the network. Natural perturbations will be encountered in practice the difference of two images of the same object may be approximated by an elastic deformation (when they have slightly different viewing angles), by occlusions (when they hide differently behind objects), or by saturation, Gaussian noise etc. Training some fraction of the epochs on random versions of such variations will help the classifier to learn better. We conduct extensive experiments on six datasets of varying sizes and granularity. Natural perturbed learning show better and much faster performance than adversarial training on clean, adversarial as well as natural perturbed images. It even improves general robustness on perturbations not seen during the training. For Cifar 10 and STL 10 natural perturbed training even improves the accuracy for clean data and reaches the state of the art performance. Ablation studies verify the effectiveness of natural perturbed training.


On strong Arens irregularity of projective tensor product of Hilbert Schmidt space. It was shown in 16 that the Banach algebra A S 2( ell 2) otimes gamma S 2( ell 2) is not Arens regular, where S 2( ell 2) denotes the Banach algebra of the Hilbert Schmidt operators on ell 2 . In this article, employing the notion of limits along ultrafilters, we prove that the irregularity of S 2( ell 2) otimes gamma S 2( ell 2) is not strong. Along the way, we provide a class of functionals in A which lie in the topological center but are not in A and, as a consequence, we deduce that A is not an annihilator Banach algebra with respect to any of the two Arens products.


Seminar on Quillen's proof of the Quillen Suslin theorem. Revised 1977 seminar handout on Quillen's proof of the 1976 Quillen Suslin theorem that all finitely generated, projective k x 1, ldots,x n modules are free. This particular write up is based on arguments of Quillen, Paul Roberts, Vaserstein, and Moshe Roitman arguments that are here translated into the language of idempotent matrices, which seems rather natural.


Guiding Next Step Hint Generation Using Automated Tests. Learning basic programming with Scratch can be hard for novices and tutors alike Students may not know how to advance when solving a task, teachers may face classrooms with many raised hands at a time, and the problem is exacerbated when novices are on their own in online or virtual lessons. It is therefore desirable to generate next step hints automatically to provide individual feedback for students who are stuck, but current approaches rely on the availability of multiple hand crafted or hand selected sample solutions from which to draw valid hints, and have not been adapted for Scratch. Automated testing provides an opportunity to automatically select suitable candidate solutions for hint generation, even from a pool of student solutions using different solution approaches and varying in quality. In this paper we present Catnip, the first next step hint generation approach for Scratch, which extends existing data driven hint generation approaches with automated testing. Evaluation of Catnip on a dataset of student Scratch programs demonstrates that the generated hints point towards functional improvements, and the use of automated tests allows the hints to be better individualized for the chosen solution path.


Optimal sports betting strategies in practice an experimental review. We investigate the most popular approaches to the problem of sports betting investment based on modern portfolio theory and the Kelly criterion. We define the problem setting, the formal investment strategies, and review their common modifications used in practice. The underlying purpose of the reviewed modifications is to mitigate the additional risk stemming from the unrealistic mathematical assumptions of the formal strategies. We test the resulting methods using a unified evaluation protocol for three sports horse racing, basketball and soccer. The results show the practical necessity of the additional risk control methods and demonstrate their individual benefits. Particularly, we show that an adaptive variant of the popular fractional Kelly'' method is a very suitable choice across a wide range of settings.


Safepaths Vaccine Diary Protocol and Decentralized Vaccine Coordination System using a Privacy Preserving User Centric Experience. In this early draft, we present an end to end decentralized protocol for the secure and privacy preserving workflow of vaccination, vaccination status verification, and adverse reactions or symptoms reporting. The proposed system improves the efficiency, privacy, equity, and effectiveness of the existing manual system while remaining interoperable with its capabilities. We also discuss various security concerns and alternate methodologies based on the proposed protocols.


Asynchronous Upper Confidence Bound Algorithms for Federated Linear Bandits. Linear contextual bandit is a popular online learning problem. It has been mostly studied in centralized learning settings. With the surging demand of large scale decentralized model learning, e.g., federated learning, how to retain regret minimization while reducing communication cost becomes an open challenge. In this paper, we study linear contextual bandit in a federated learning setting. We propose a general framework with asynchronous model update and communication for a collection of homogeneous clients and heterogeneous clients, respectively. Rigorous theoretical analysis is provided about the regret and communication cost under this distributed learning framework and extensive empirical evaluations demonstrate the effectiveness of our solution.


Multilevel profiling of situation and dialogue based deep networks for movie genre classification using movie trailers. Automated movie genre classification has emerged as an active and essential area of research and exploration. Short duration movie trailers provide useful insights about the movie as video content consists of the cognitive and the affective level features. Previous approaches were focused upon either cognitive or affective content analysis. In this paper, we propose a novel multi modality situation, dialogue, and metadata based movie genre classification framework that takes both cognition and affect based features into consideration. A pre features fusion based framework that takes into account situation based features from a regular snapshot of a trailer that includes nouns and verbs providing the useful affect based mapping with the corresponding genres, dialogue (speech) based feature from audio, metadata which together provides the relevant information for cognitive and affect based video analysis. We also develop the English movie trailer dataset (EMTD), which contains 2000 Hollywood movie trailers belonging to five popular genres Action, Romance, Comedy, Horror, and Science Fiction, and perform cross validation on the standard LMTD 9 dataset for validating the proposed framework. The results demonstrate that the proposed methodology for movie genre classification has performed excellently as depicted by the F1 scores, precision, recall, and area under the precision recall curves.


Adapting Document Grounded Dialog Systems to Spoken Conversations using Data Augmentation and a Noisy Channel Model. This paper summarizes our submission to Task 2 of the second track of the 10th Dialog System Technology Challenge (DSTC10) "Knowledge grounded Task oriented Dialogue Modeling on Spoken Conversations". Similar to the previous year's iteration, the task consists of three subtasks detecting whether a turn is knowledge seeking, selecting the relevant knowledge document and finally generating a grounded response. This year, the focus lies on adapting the system to noisy ASR transcripts. We explore different approaches to make the models more robust to this type of input and to adapt the generated responses to the style of spoken conversations. For the latter, we get the best results with a noisy channel model that additionally reduces the number of short and generic responses. Our best system achieved the 1st rank in the automatic and the 3rd rank in the human evaluation of the challenge.


Sharing pandemic vaccination certificates through blockchain Case study and performance evaluation. This work proposes a scalable, blockchain based platform for the secure sharing of COVID 19 or other disease vaccination certificates. As an indicative use case, we simulate a large scale deployment by considering the countries of the European Union. The proposed platform is evaluated through extensive simulations in terms of computing resource usage, network response time and bandwidth. Based on the results, the proposed scheme shows satisfactory performance across all major evaluation criteria, suggesting that it can set the pace for real implementations. Vis a vis the related work, the proposed platform is novel, especially through the prism of a large scale, full fledged implementation and its assessment.