Evaluating Empathetic Chatbots in Customer Service Settings. Customer service is a setting that calls for empathy in live human agent responses. Recent advances have demonstrated how open domain chatbots can be trained to demonstrate empathy when responding to live human utterances. We show that a blended skills chatbot model that responds to customer queries is more likely to resemble actual human agent response if it is trained to recognize emotion and exhibit appropriate empathy, than a model without such training. For our analysis, we leverage a Twitter customer service dataset containing several million customer agent dialog examples in customer service contexts from 20 well known brands.


A new framework for the stability analysis of perturbed saddle point problems and applications. In this paper we prove a new abstract stability result for perturbed saddle point problems based on a norm fitting technique. We derive the stability condition according to Babu v s ka's theory from a small inf sup condition, similar to the famous Ladyzhenskaya Babu v s ka Brezzi (LBB) condition, and the other standard assumptions in Brezzi's theory, in a combined abstract norm. The construction suggests to form the latter from individual it fitted norms that are composed from proper seminorms. This abstract framework not only allows for simpler (shorter) proofs of many stability results but also guides the design of parameter robust norm equivalent preconditioners. These benefits are demonstrated on mixed variational formulations of generalized Poisson, Stokes, vector Laplace and Biot's equations.


Non Induced Representations of Finite Cyclic Groups. Let K be an algebraically closed field of characteristic 0 and let G be a finite cyclic group of order n . In this note we prove, using induction on the number of prime divisors of n , that R K(G) I cong mathbb Z X langle Phi n(X) rangle where R K(G) denotes the ring of K representations of G and I is the sum of ideals mathrm Ind H G(R K(H)) of R K(G) as H varies over all proper subgroups of G . This gives us an idea of how many representations of G are not induced from representations of a proper subgroup.


A geometrically adapted reduced set of frequencies for a FFT based microstructure simulation. We present a modified model order reduction (MOR) technique for the FFT based simulation of composite microstructures. It utilizes the earlier introduced MOR technique (Kochmann et al. 2019 ), which is based on solving the Lippmann Schwinger equation in Fourier space by a reduced set of frequencies. Crucial for the accuracy of this MOR technique is on the one hand the amount of used frequencies and on the other hand the choice of frequencies used within the simulation. Kochmann et al. 2019 defined the reduced set of frequencies by using a fixed sampling pattern, which is most general but leads to poor microstructural results when considering only a few frequencies. Consequently, a reconstruction algorithm based on the TV1 algorithm Candes et al., 2006 was used in a post processing step to generate highly resolved micromechanical fields. The present work deals with a modified sampling pattern generation for this MOR technique. Based on the idea, that the micromechanical material response strongly depends on the phase wise material behavior, we propose the usage of sampling patterns adapted to the spatial arrangement of the individual phases. This leads to significantly improved microscopic and overall results. Hence, the time consuming reconstruction in the post processing step that was necessary in the earlier work is no longer required. To show the adaptability and robustness of this new choice of sampling patterns, several two dimensional examples are investigated. In addition, also the 3D extension of the algorithm is presented.


Controlling non controllable scallops. Any swimmer embedded on a inertialess fluid must perform a non reciprocal motion to swim forward. The archetypal demonstration of this unique motion constraint was introduced by Purcell with the so called "scallop theorem". Scallop here is a minimal mathematical model of a swimmer composed by two arms connected via a hinge whose periodic motion (of opening and closing its arms) is not sufficient to achieve net displacement. Any source of incongruence on the motion or in the forces torques experienced by such time reversible scallop will break the symmetry imposed by the Stokes linearity and lead to subsequent propulsion of the scallop. However, little is known about the controllability of time reversible scalloping systems. Here, we consider two individually non controllable scallops swimming together. Under a suitable geometric assumption on the configuration of the system, it is proved that non zero net displacement can be achieved as a consequence of their hydrodynamic interaction. A detailed analysis of the control system of equations is carried out analytically by means of geometric control theory. We obtain an analytic expression for the the displacement after a prescribed sequence of controls in function of the phase difference of the two scallops. Numerical validation of the theoretical results is presented with model predictions in further agreement with the literature.


Data Security on Mobile Devices Current State of the Art, Open Problems, and Proposed Solutions. In this work we present definitive evidence, analysis, and (where needed) speculation to answer the questions, (1) Which concrete security measures in mobile devices meaningfully prevent unauthorized access to user data? (2) In what ways are modern mobile devices accessed by unauthorized parties? (3) How can we improve modern mobile devices to prevent unauthorized access? We examine the two major platforms in the mobile space, iOS and Android, and for each we provide a thorough investigation of existing and historical security features, evidence based discussion of known security bypass techniques, and concrete recommendations for remediation. We then aggregate and analyze public records, documentation, articles, and blog postings to categorize and discuss unauthorized bypass of security features by hackers and law enforcement alike. We provide in depth analysis of the data potentially accessed via law enforcement methodologies from both mobile devices and associated cloud services. Our fact gathering and analysis allow us to make a number of recommendations for improving data security on these devices. The mitigations we propose can be largely summarized as increasing coverage of sensitive data via strong encryption, but we detail various challenges and approaches towards this goal and others. It is our hope that this work stimulates mobile device development and research towards security and privacy, provides a unique reference of information, and acts as an evidence based argument for the importance of reliable encryption to privacy, which we believe is both a human right and integral to a functioning democracy.


Online Allocation with Two sided Resource Constraints. Motivated by many interesting real world applications in logistics and online advertising, we consider an online allocation problem subject to lower and upper resource constraints, where the requests arrive sequentially, sampled i.i.d. from an unknown distribution, and we need to promptly make a decision given limited resources and lower bounds requirements. First, with knowledge of the measure of feasibility, i.e., alpha , we propose a new algorithm that obtains 1 O( frac epsilon alpha epsilon ) competitive ratio for the offline problems that know the entire requests ahead of time. Inspired by the previous studies, this algorithm adopts an innovative technique to dynamically update a threshold price vector for making decisions. Moreover, an optimization method to estimate the optimal measure of feasibility is proposed with theoretical guarantee at the end of this paper. Based on this method, if we tolerate slight violation of the lower bounds constraints with parameter eta , the proposed algorithm is naturally extended to the settings without strong feasible assumption, which cover the significantly unexplored infeasible scenarios.


Clustering based convergence diagnostic for multi modal identification in parameter estimation of chromatography model with parallel MCMC. Uncertainties from experiments and models render multi modal difficulties in model calibrations. Bayesian inference and textsc mcmc algorithm have been applied to obtain posterior distributions of model parameters upon uncertainty. However, multi modality leads to difficulty in convergence criterion of parallel textsc mcmc sampling chains. The commonly applied widehat R diagnostic does not behave well when multiple sampling chains are evolving to different modes. Both partitional and hierarchical clustering methods has been combined to the traditional widehat R diagnostic to deal with sampling of target distributions that are rough and multi modal. It is observed that the distributions of binding parameters and pore diffusion of particle parameters are multi modal. Therefore, the steric mass action model used to describe ion exchange effects of the model protein, lysozyme, on the textsc sp Sepharose textsc ff stationary phase might not be fully capable in certain experimental conditions, as model uncertainty from steric mass action would result in multi modality.


A Restless Bandit Model for Energy Efficient Job Assignments in Server Farms. We aim to maximize the energy efficiency, gauged as average energy cost per job, in a large scale server farm with various storage or and computing components, which are modeled as parallel abstracted servers. Each server works in multiple power modes characterized by potentially different service and energy consumption rates. The heterogeneity of servers and multiple power modes significantly complicate the maximization problem, where optimal solutions are generally intractable. Relying on the Whittle relaxation technique, we resort to a near optimal and scalable job assignment policy. Under certain conditions including the assumption of exponentially distributed job sizes, we prove that our proposed policy approaches optimality as the size of the entire system tends to infinity that is, it is asymptotically optimal. Nevertheless, we demonstrate by simulations that the effectiveness of our policies is not significantly limited by the conditions used for mathematical rigor and that our model still has wide practical applicability. In particular, the asymptotic optimality is very much relevant for many real world large scale systems with tens or hundreds of thousands of components, where conventional optimization techniques can hardly apply. Furthermore, for non asymptotic scenarios, we show the effectiveness of the proposed policy through extensive numerical simulations, where the policy substantially outperforms all the tested baselines, and we especially demonstrate numerically its robustness against heavy tailed job size distributions.


Beyond Glass Box Features Uncertainty Quantification Enhanced Quality Estimation for Neural Machine Translation. Quality Estimation (QE) plays an essential role in applications of Machine Translation (MT). Traditionally, a QE system accepts the original source text and translation from a black box MT system as input. Recently, a few studies indicate that as a by product of translation, QE benefits from the model and training data's information of the MT system where the translations come from, and it is called the "glass box QE". In this paper, we extend the definition of "glass box QE" generally to uncertainty quantification with both "black box" and "glass box" approaches and design several features deduced from them to blaze a new trial in improving QE's performance. We propose a framework to fuse the feature engineering of uncertainty quantification into a pre trained cross lingual language model to predict the translation quality. Experiment results show that our method achieves state of the art performances on the datasets of WMT 2020 QE shared task.


Balancing Accuracy and Latency in Multipath Neural Networks. The growing capacity of neural networks has strongly contributed to their success at complex machine learning tasks and the computational demand of such large models has, in turn, stimulated a significant improvement in the hardware necessary to accelerate their computations. However, models with high latency aren't suitable for limited resource environments such as hand held and IoT devices. Hence, many deep learning techniques aim to address this problem by developing models with reasonable accuracy without violating the limited resource constraint. In this work, we use a one shot neural architecture search model to implicitly evaluate the performance of an intractable number of multipath neural networks. Combining this architecture search with a pruning technique and architecture sample evaluation, we can model the relation between the accuracy and the latency of a spectrum of models with graded complexity. We show that our method can accurately model the relative performance between models with different latencies and predict the performance of unseen models with good precision across different datasets.


The BDF3 EP3 scheme for MBE with no slope selection is stable. We consider the classical molecular beam epitaxy (MBE) model with logarithmic type potential known as no slope selection. We employ a third order backward differentiation (BDF3) in time with implicit treatment of the surface diffusion term. The nonlinear term is approximated by a third order explicit extrapolation (EP3) formula. We exhibit mild time step constraints under which the modified energy dissipation law holds. We break the second Dahlquist barrier and develop a new theoretical framework to prove unconditional uniform energy boundedness with no size restrictions on the time step. This is the first unconditional result for third order BDF methods applied to the MBE models without introducing any stabilization terms or fictitious variables. A novel theoretical framework is also established for the error analysis of high order methods.


Real time 3D Object Detection using Feature Map Flow. In this paper, we present a real time 3D detection approach considering time spatial feature map aggregation from different time steps of deep neural model inference (named feature map flow, FMF). Proposed approach improves the quality of 3D detection center based baseline and provides real time performance on the nuScenes and Waymo benchmark. Code is available at https github.com YoushaaMurhij FMFNet


Flow based SVDD for anomaly detection. We propose FlowSVDD a flow based one class classifier for anomaly outliers detection that realizes a well known SVDD principle using deep learning tools. Contrary to other approaches to deep SVDD, the proposed model is instantiated using flow based models, which naturally prevents from collapsing of bounding hypersphere into a single point. Experiments show that FlowSVDD achieves comparable results to the current state of the art methods and significantly outperforms related deep SVDD methods on benchmark datasets.


Solving Biharmonic Eigenvalue Problem With Navier Boundary Condition Via Poisson Solvers On Non Convex Domains. It is well known that the usual mixed method for solving the biharmonic eigenvalue problem by decomposing the operator into two Laplacians may generate spurious eigenvalues on non convex domains. To overcome this difficulty, we adopt a recently developed mixed method, which decomposes the biharmonic equation into three Poisson equations and still recovers the original solution. Using this idea, we design an efficient biharmonic eigenvalue algorithm, which contains only Poisson solvers. With this approach, eigenfunctions can be confined in the correct space and thereby spurious modes in non convex domains are avoided. A priori error estimates for both eigenvalues and eigenfunctions on quasi uniform meshes are obtained in particular, a convergence rate of mathcal O ( h 2 alpha ) ( 0 alpha pi omega , omega pi is the angle of the reentrant corner) is proved for the linear finite element. Surprisingly, numerical evidence demonstrates a mathcal O ( h 2 ) convergent rate for the quasi uniform mesh with the regular refinement strategy even on non convex polygonal domains.


Early Phase Performance Driven Design using Generative Models. Current performance driven building design methods are not widely adopted outside the research field for several reasons that make them difficult to integrate into a typical design process. In the early design phase, in particular, the time intensity and the cognitive load associated with optimization and form parametrization are incompatible with design exploration, which requires quick iteration. This research introduces a novel method for performance driven geometry generation that can afford interaction directly in the 3d modeling environment, eliminating the need for explicit parametrization, and is multiple orders faster than the equivalent form optimization. The method uses Machine Learning techniques to train a generative model offline. The generative model learns a distribution of optimal performing geometries and their simulation contexts based on a dataset that addresses the performance(s) of interest. By navigating the generative model's latent space, geometries with the desired characteristics can be quickly generated. A case study is presented, demonstrating the generation of a synthetic dataset and the use of a Variational Autoencoder (VAE) as a generative model for geometries with optimal solar gain. The results show that the VAE generated geometries perform on average at least as well as the optimized ones, suggesting that the introduced method shows a feasible path towards more intuitive and interactive early phase performance driven design assistance.


Blow up of waves on singular spacetimes with generic spatial metrics. We study the asymptotic behaviour of solutions to the linear wave equation on cosmological spacetimes with Big Bang singularities and show that appropriately rescaled waves converge against a blow up profile. Our class of spacetimes includes Friedman Lema itre Robertson Walker (FLRW) spacetimes with negative sectional curvature that solve the Einstein equations in presence of a perfect irrotational fluid with p ( gamma 1) rho . As such, these results are closely related to the still open problem of past nonlinear stability of such FLRW spacetimes within the Einstein scalar field equations. In contrast to earlier works, our results hold for spatial metrics of arbitrary geometry, hence indicating that the matter blow up in the aforementioned problem is not dependent on spatial geometry. Additionally, we use the energy estimates derived in the proof in order to formulate open conditions on the initial data that ensure a non trivial blow up profile, for initial data sufficiently close to the Big Bang singularity and with less harsh assumptions for gamma 2 .


Learning Online for Unified Segmentation and Tracking Models. Tracking requires building a discriminative model for the target in the inference stage. An effective way to achieve this is online learning, which can comfortably outperform models that are only trained offline. Recent research shows that visual tracking benefits significantly from the unification of visual tracking and segmentation due to its pixel level discrimination. However, it imposes a great challenge to perform online learning for such a unified model. A segmentation model cannot easily learn from prior information given in the visual tracking scenario. In this paper, we propose TrackMLP a novel meta learning method optimized to learn from only partial information to resolve the imposed challenge. Our model is capable of extensively exploiting limited prior information hence possesses much stronger target background discriminability than other online learning methods. Empirically, we show that our model achieves state of the art performance and tangible improvement over competing models. Our model achieves improved average overlaps of66.0 ,67.1 , and68.5 in VOT2019, VOT2018, and VOT2016 datasets, which are 6.4 ,7.3 , and6.4 higher than our baseline. Code will be made publicly available.


Contextual Gradient Scaling for Few Shot Learning. Model agnostic meta learning (MAML) is a well known optimization based meta learning algorithm that works well in various computer vision tasks, e.g., few shot classification. MAML is to learn an initialization so that a model can adapt to a new task in a few steps. However, since the gradient norm of a classifier (head) is much bigger than those of backbone layers, the model focuses on learning the decision boundary of the classifier with similar representations. Furthermore, gradient norms of high level layers are small than those of the other layers. So, the backbone of MAML usually learns task generic features, which results in deteriorated adaptation performance in the inner loop. To resolve or mitigate this problem, we propose contextual gradient scaling (CxGrad), which scales gradient norms of the backbone to facilitate learning task specific knowledge in the inner loop. Since the scaling factors are generated from task conditioned parameters, gradient norms of the backbone can be scaled in a task wise fashion. Experimental results show that CxGrad effectively encourages the backbone to learn task specific knowledge in the inner loop and improves the performance of MAML up to a significant margin in both same and cross domain few shot classification.


FedTune Automatic Tuning of Federated Learning Hyper Parameters from System Perspective. Federated learning (FL) hyper parameters significantly affect the training overheads in terms of computation time, transmission time, computation load, and transmission load. However, the current practice of manually selecting FL hyper parameters puts a high burden on FL practitioners since various applications prefer different training preferences. In this paper, we propose FedTune, an automatic FL hyper parameter tuning algorithm tailored to applications' diverse system requirements of FL training. FedTune is lightweight and flexible, achieving 4.18 22.48 improvement for different datasets compared to fixed FL hyper parameters. FedTune is available at url https github.com dtczhl FedTuning .


Posterior sampling for inverse imaging problems on the sphere. Inverse problems defined on the sphere arise in many fields, and are generally high dimensional and computationally very complex. As a result, sampling the posterior of spherical inverse problems is a challenging task. In this work, we describe a framework that leverages a proximal Markov chain Monte Carlo algorithm to efficiently sample the high dimensional space of spherical inverse problems with a sparsity promoting wavelet prior. We detail the modifications needed for the algorithm to be applied to spherical problems, and give special consideration to the crucial forward modelling step which contains spherical harmonic transforms that are computationally expensive. By sampling the posterior, our framework allows for full and flexible uncertainty quantification, something which is not possible with other methods based on, for example, convex optimisation. We demonstrate our framework in practice on a common problem in global seismic tomography. We find that our approach is potentially useful for a wide range of applications at moderate resolutions.


Distributed Learning in Wireless Networks Recent Progress and Future Challenges. The next generation of wireless networks will enable many machine learning (ML) tools and applications to efficiently analyze various types of data collected by edge devices for inference, autonomy, and decision making purposes. However, due to resource constraints, delay limitations, and privacy challenges, edge devices cannot offload their entire collected datasets to a cloud server for centrally training their ML models or inference purposes. To overcome these challenges, distributed learning and inference techniques have been proposed as a means to enable edge devices to collaboratively train ML models without raw data exchanges, thus reducing the communication overhead and latency as well as improving data privacy. However, deploying distributed learning over wireless networks faces several challenges including the uncertain wireless environment, limited wireless resources (e.g., transmit power and radio spectrum), and hardware resources. This paper provides a comprehensive study of how distributed learning can be efficiently and effectively deployed over wireless edge networks. We present a detailed overview of several emerging distributed learning paradigms, including federated learning, federated distillation, distributed inference, and multi agent reinforcement learning. For each learning framework, we first introduce the motivation for deploying it over wireless networks. Then, we present a detailed literature review on the use of communication techniques for its efficient deployment. We then introduce an illustrative example to show how to optimize wireless networks to improve its performance. Finally, we introduce future research opportunities. In a nutshell, this paper provides a holistic set of guidelines on how to deploy a broad range of distributed learning frameworks over real world wireless communication networks.


Algebraic Degrees of 3 Dimensional Polytopes. Results of Koebe (1936), Schramm (1992), and Springborn (2005) yield realizations of 3 polytopes with edges tangent to the unit sphere. Here we study the algebraic degrees of such realizations. This initiates the research on constrained realization spaces of polytopes.


Investigation of Independent Reinforcement Learning Algorithms in Multi Agent Environments. Independent reinforcement learning algorithms have no theoretical guarantees for finding the best policy in multi agent settings. However, in practice, prior works have reported good performance with independent algorithms in some domains and bad performance in others. Moreover, a comprehensive study of the strengths and weaknesses of independent algorithms is lacking in the literature. In this paper, we carry out an empirical comparison of the performance of independent algorithms on four PettingZoo environments that span the three main categories of multi agent environments, i.e., cooperative, competitive, and mixed. We show that in fully observable environments, independent algorithms can perform on par with multi agent algorithms in cooperative and competitive settings. For the mixed environments, we show that agents trained via independent algorithms learn to perform well individually, but fail to learn to cooperate with allies and compete with enemies. We also show that adding recurrence improves the learning of independent algorithms in cooperative partially observable environments.


Complex flows, escape to infinity and a question of Rubel. Let f be a transcendental entire function. It was shown in a previous paper that the holomorphic flow dot z f(z) always has infinitely many trajectories tending to infinity in finite time. It will be proved here that such trajectories are in a certain sense rare, although an example will be given to show that there can be uncountably many. In contrast, for the classical antiholomorphic flow dot z bar f(z) , such trajectories need not exist at all, although they must if f belongs to the Eremenko Lyubich class mathcal B . It is also shown that for transcendental entire f in mathcal B there exists a path tending to infinity on which f and all its derivatives tend to infinity, thus affirming a conjecture of Rubel for this class.


Large Deviation Principles for Block and Step Graphon Random Graph Models. Borgs, Chayes, Gaudio, Petti and Sen arXiv 2007.14508 proved a large deviation principle for block model random graphs with rational block ratios. We strengthen their result by allowing any block ratios (and also establish a simpler formula for the rate function). We apply the new result to derive a large deviation principle for graph sampling from any given step graphon.


Pl "ucker type inequalities for mixed areas and intersection numbers of curve arrangements. Any collection of n compact convex planar sets K 1, dots, K n defines a vector of n choose 2 mixed areas V(K i,K j) for 1 leq i j leq n . We show that for n geq 4 these numbers satisfy certain Pl "ucker type inequalities. Moreover, we prove that for n 4 these inequalities completely describe the space of all mixed area vectors (V(K i,K j) 1 leq i j leq 4) . For arbitrary n geq 4 we show that this space has a semialgebraic closure of full dimension. As an application, we obtain an inequality description for the smallest positive homogeneous set containing the configuration space of intersection numbers of quadruples of tropical curves.


A Scalable Continuous Unbounded Optimisation Benchmark Suite from Neural Network Regression. For the design of optimisation algorithms that perform well in general, it is necessary to experiment with and benchmark on a range of problems with diverse characteristics. The training of neural networks is an optimisation task that has gained prominence with the recent successes of deep learning. Although evolutionary algorithms have been used for training neural networks, gradient descent variants are by far the most common choice with their trusted good performance on large scale machine learning tasks. With this paper we contribute CORNN (Continuous Optimisation of Regression tasks using Neural Networks), a large suite that can easily be used to benchmark the performance of any continuous black box algorithm on neural network training problems. By employing different base regression functions and neural network architectures, problem instances with different dimensions and levels of difficulty can be created. We demonstrate the use of the CORNN Suite by comparing the performance of three evolutionary and swarm based algorithms on a set of over 300 problem instances. With the exception of random search, we provide evidence of performance complementarity between the algorithms. As a baseline, results are also provided to contrast the performance of the best population based algorithm against a gradient based approach (Adam). The suite is shared as a public web repository to facilitate easy integration with existing benchmarking platforms.


From Black box to White box Examining Confidence Calibration under different Conditions. Confidence calibration is a major concern when applying artificial neural networks in safety critical applications. Since most research in this area has focused on classification in the past, confidence calibration in the scope of object detection has gained more attention only recently. Based on previous work, we study the miscalibration of object detection models with respect to image location and box scale. Our main contribution is to additionally consider the impact of box selection methods like non maximum suppression to calibration. We investigate the default intrinsic calibration of object detection models and how it is affected by these post processing techniques. For this purpose, we distinguish between black box calibration with non maximum suppression and white box calibration with raw network outputs. Our experiments reveal that post processing highly affects confidence calibration. We show that non maximum suppression has the potential to degrade initially well calibrated predictions, leading to overconfident and thus miscalibrated models.


Exclusion and multiplicity for stable communities in Lotka Volterra systems. For classic Lotka Volterra systems governing many interacting species, we establish an exclusion principle that rules out the existence of linearly asymptotically stable steady states in subcommunitites of communities that admit a stable state which is internally D stable. This type of stability is known to be ensured, e.g., by diagonal dominance or Volterra Lyapunov stability conditions. By consequence, the number of stable steady states of this type is bounded by Sperner's lemma on anti chains in a poset. The number of stable steady states can nevertheless be very large if there are many groups of species that strongly inhibit outsiders but have weak interactions among themselves. By examples we also show that in general it is possible for a stable community to contain a stable subcommunity consisting of a single species. Thus a recent empirical finding to the contrary, in a study of random competitive systems by Lischke and L "offler (Theo. Pop. Biol. 115 (2017) 24 34), does not hold without qualification.


A Data Quarantine Model to Secure Data in Edge Computing. Edge computing provides an agile data processing platform for latency sensitive and communication intensive applications through a decentralized cloud and geographically distributed edge nodes. Gaining centralized control over the edge nodes can be challenging due to security issues and threats. Among several security issues, data integrity attacks can lead to inconsistent data and intrude edge data analytics. Further intensification of the attack makes it challenging to mitigate and identify the root cause. Therefore, this paper proposes a new concept of data quarantine model to mitigate data integrity attacks by quarantining intruders. The efficient security solutions in cloud, ad hoc networks, and computer systems using quarantine have motivated adopting it in edge computing. The data acquisition edge nodes identify the intruders and quarantine all the suspected devices through dimensionality reduction. During quarantine, the proposed concept builds the reputation scores to determine the falsely identified legitimate devices and sanitize their affected data to regain data integrity. As a preliminary investigation, this work identifies an appropriate machine learning method, Linear Discriminant Analysis (LDA), for dimensionality reduction. The LDA results in 72.83 quarantine accuracy and 0.9 seconds training time, which is efficient than other state of the art methods. In future, this would be implemented and validated with ground truth data.


The Road to a Successful HRI AI, Trust and ethicS TRAITS. The aim of this workshop is to give researchers from academia and industry the possibility to discuss the inter and multi disciplinary nature of the relationships between people and robots towards effective and long lasting collaborations. This workshop will provide a forum for the HRI and robotics communities to explore successful human robot interaction (HRI) to analyse the different aspects of HRI that impact its success. Particular focus are the AI algorithms required to implement autonomous interactions, and the factors that enhance, undermine, or recover humans' trust in robots. Finally, potential ethical and legal concerns, and how they can be addressed will be considered. Website https sites.google.com view traits hri


Special Bohr Sommerfeld geometry variations. In the paper we continue to study Special Bohr Sommerfeld geometry of compact symplectic manifolds. Using natural deformation parameters we avoid the difficulties appeared in the definition of the moduli space of Special Bohr Sommerfeld cycles for compact simply connected algebraic varieties. As a byproduct we present certain remarks on the Weinstein structures and Eliashberg conjectures.


Effective grey box testing with partial FSM models. For partial, nondeterministic, finite state machines, a new conformance relation called strong reduction is presented. It complements other existing conformance relations in the sense that the new relation is well suited for model based testing of systems whose inputs are enabled or disabled, depending on the actual system state. Examples of such systems are graphical user interfaces and systems with interfaces that can be enabled or disabled in a mechanical way. We present a new test generation algorithm producing complete test suites for strong reduction. The suites are executed according to the grey box testing paradigm it is assumed that the state dependent sets of enabled inputs can be identified during test execution, while the implementation states remain hidden, as in black box testing. It is shown that this grey box information is exploited by the generation algorithm in such a way that the resulting best case test suite size is only linear in the state space size of the reference model. Moreover, examples show that this may lead to significant reductions of test suite size in comparison to true black box testing for strong reduction.


Extremism Whataboutism A Case Study on Bangalore Riots. A common diversionary tactic used to deflect attention from contested issues is whataboutery which, when used by majoritarian groups to justify their behaviour against marginalised communities, can quickly devolve into extremism. We explore the manifestations of extreme speech in the Indian context, through a case study of violent protests and policing in the city of Bangalore, provoked by a derogatory Facebook post. Analyses of the dominant narratives on Twitter surrounding the incident reveal that, most of them employ whataboutism to deflect attention from the triggering post and serve as breeding grounds for religion based extreme speech. We conclude by discussing how our study proposes an alternative lens of viewing extremism in the Global South.


SelfMatch Combining Contrastive Self Supervision and Consistency for Semi Supervised Learning. This paper introduces SelfMatch, a semi supervised learning method that combines the power of contrastive self supervised learning and consistency regularization. SelfMatch consists of two stages (1) self supervised pre training based on contrastive learning and (2) semi supervised fine tuning based on augmentation consistency regularization. We empirically demonstrate that SelfMatch achieves the state of the art results on standard benchmark datasets such as CIFAR 10 and SVHN. For example, for CIFAR 10 with 40 labeled examples, SelfMatch achieves 93.19 accuracy that outperforms the strong previous methods such as MixMatch (52.46 ), UDA (70.95 ), ReMixMatch (80.9 ), and FixMatch (86.19 ). We note that SelfMatch can close the gap between supervised learning (95.87 ) and semi supervised learning (93.19 ) by using only a few labels for each class.


An empirical user study of text based nonverbal annotation systems for human human conversations. the substantial increase in the number of online human human conversations and the usefulness of multimodal transcripts, there is a rising need for automated multimodal transcription systems to help us better understand the conversations. In this paper, we evaluated three methods to perform multimodal transcription. They were (1) Jefferson an existing manual system used widely by the linguistics community, (2) MONAH a system that aimed to make multimodal transcripts accessible and automated, (3) MONAH a system that builds on MONAH that visualizes machine attention. Based on 104 participants responses, we found that (1) all text based methods significantly reduced the amount of information for the human users, (2) MONAH was found to be more usable than Jefferson, (3) Jefferson's relative strength was in chronemics (pace delay) and paralinguistics (pitch volume) annotations, whilst MONAH's relative strength was in kinesics (body language) annotations, (4) enlarging words' font size based on machine attention was confusing human users as loudness. These results pose considerations for researchers designing a multimodal annotation system for the masses who would like a fully automated or human augmented conversational analysis system.


GB CosFace Rethinking Softmax based Face Recognition from the Perspective of Open Set Classification. State of the art face recognition methods typically take the multi classification pipeline and adopt the softmax based loss for optimization. Although these methods have achieved great success, the softmax based loss has its limitation from the perspective of open set classification the multi classification objective in the training phase does not strictly match the objective of open set classification testing. In this paper, we derive a new loss named global boundary CosFace (GB CosFace). Our GB CosFace introduces an adaptive global boundary to determine whether two face samples belong to the same identity so that the optimization objective is aligned with the testing process from the perspective of open set classification. Meanwhile, since the loss formulation is derived from the softmax based loss, our GB CosFace retains the excellent properties of the softmax based loss, and CosFace is proved to be a special case of the proposed loss. We analyze and explain the proposed GB CosFace geometrically. Comprehensive experiments on multiple face recognition benchmarks indicate that the proposed GB CosFace outperforms current state of the art face recognition losses in mainstream face recognition tasks. Compared to CosFace, our GB CosFace improves 1.58 , 0.57 , and 0.28 at TAR FAR 1e 6, 1e 5, 1e 4 on IJB C benchmark.


From Toxicity in Online Comments to Incivility in American News Proceed with Caution. The ability to quantify incivility online, in news and in congressional debates, is of great interest to political scientists. Computational tools for detecting online incivility for English are now fairly accessible and potentially could be applied more broadly. We test the Jigsaw Perspective API for its ability to detect the degree of incivility on a corpus that we developed, consisting of manual annotations of civility in American news. We demonstrate that toxicity models, as exemplified by Perspective, are inadequate for the analysis of incivility in news. We carry out error analysis that points to the need to develop methods to remove spurious correlations between words often mentioned in the news, especially identity descriptors and incivility. Without such improvements, applying Perspective or similar models on news is likely to lead to wrong conclusions, that are not aligned with the human perception of incivility.


A System for 3D Reconstruction Of Comminuted Tibial Plafond Bone Fractures. High energy impacts at joint locations often generate highly fragmented, or comminuted, bone fractures. Current approaches for treatment require physicians to decide how to classify the fracture within a hierarchy fracture severity categories. Each category then provides a best practice treatment scenario to obtain the best possible prognosis for the patient. This article identifies shortcomings associated with qualitative only evaluation of fracture severity and provides new quantitative metrics that serve to address these shortcomings. We propose a system to semi automatically extract quantitative metrics that are major indicators of fracture severity. These include (i) fracture surface area, i.e., how much surface area was generated when the bone broke apart, and (ii) dispersion, i.e., how far the fragments have rotated and translated from their original anatomic positions. This article describes new computational tools to extract these metrics by computationally reconstructing 3D bone anatomy from CT images with a focus on tibial plafond fracture cases where difficult qualitative fracture severity cases are more prevalent. Reconstruction is accomplished within a single system that integrates several novel algorithms that identify, extract and piece together fractured fragments in a virtual environment. Doing so provides objective quantitative measures for these fracture severity indicators. The availability of such measures provides new tools for fracture severity assessment which may lead to improved fracture treatment. This paper describes the system, the underlying algorithms and the metrics of the reconstruction results by quantitatively analyzing six clinical tibial plafond fracture cases.


Marginal MAP Estimation for Inverse RL under Occlusion with Observer Noise. We consider the problem of learning the behavioral preferences of an expert engaged in a task from noisy and partially observable demonstrations. This is motivated by real world applications such as a line robot learning from observing a human worker, where some observations are occluded by environmental objects that cannot be removed. Furthermore, robotic perception tends to be imperfect and noisy. Previous techniques for inverse reinforcement learning (IRL) take the approach of either omitting the missing portions or inferring it as part of expectation maximization, which tends to be slow and prone to local optima. We present a new method that generalizes the well known Bayesian maximum a posteriori (MAP) IRL method by marginalizing the occluded portions of the trajectory. This is additionally extended with an observation model to account for perception noise. We show that the marginal MAP (MMAP) approach significantly improves on the previous IRL technique under occlusion in both formative evaluations on a toy problem and in a summative evaluation on an onion sorting line task by a robot.


Classes of graphs embeddable in order dependent surfaces. Given a function g g(n) we let mathcal E g be the class of all graphs G such that if G has order n (that is, has n vertices) then it is embeddable in some surface of Euler genus at most g(n) , and let widetilde mathcal E g be the corresponding class of unlabelled graphs. We give estimates of the sizes of these classes. For example we show that if g(n) o(n log 3n) then the class mathcal E g has growth constant gamma mathcal P , the (labelled) planar graph growth constant and when g(n) O(n) we estimate the number of n vertex graphs in mathcal E g and widetilde mathcal E g up to a factor exponential in n . From these estimates we see that, if mathcal E g has growth constant gamma mathcal P then we must have g(n) o(n log n) , and the generating functions for mathcal E g and widetilde mathcal E g have strictly positive radius of convergence if and only if g(n) O(n log n) . Such results also hold when we consider orientable and non orientable surfaces separately. We also investigate related classes of graphs where we insist that, as well as the graph itself, each subgraph is appropriately embeddable (according to its number of vertices) and classes of graphs where we insist that each minor is appropriately embeddable. In a companion paper 43 , these results are used to investigate random n vertex graphs sampled uniformly from mathcal E g or from similar classes.


Reconstruction of a Space Time Dependent Source in Subdiffusion Models via a Perturbation Approach. In this article we study inverse problems of recovering a space time dependent source component from the lateral boundary observation in a subidffusion model. The mathematical model involves a Djrbashian Caputo fractional derivative of order alpha in(0,1) in time, and a second order elliptic operator with time dependent coefficients. We establish a well posedness and a conditional stability result for the inverse problems using a novel perturbation argument and refined regularity estimates of the associated direct problem. Further, we present an algorithm for efficiently and accurately reconstructing the source component, and provide several two dimensional numerical results showing the feasibility of the recovery.


Analytic lattice cohomology of surface singularities, II (the equivariant case). We construct the equivariant analytic lattice cohomology associated with the analytic type of a complex normal surface singularity whenever the link is a rational homology sphere. It is the categorification of the equivariant geometric genus of the germ. This is the analytic analogue of the topological lattice cohomology, associated with the link of the germ, and indexed by the spin c structures of the link (which is a categorification of the Seiberg Witten invariant and conjecturally it is isomorphic with the Heegaard Floer cohomology).


An Architecture for Exploiting Native User Land Checkpoint Restart to Improve Fuzzing. Fuzzing is one of the most popular and widely used techniques to find vulnerabilities in any application. Fuzzers are fast enough, but they still spend a good portion of time to restart a crashed application and then fuzz it from the beginning. Fuzzing an application from a point deeper in the execution is also important. To do this, a user needs to take a snapshot of the program while fuzzing it on top of an emulator, virtual machine, or by utilizing a special kernel module to enable checkpointing. Even with this ability, it can be difficult to attach a fuzzer after restoring a checkpoint. As a result, most fuzzers leverage a form of fork server design. We propose a novel testing architecture that allows users to attach a fuzzer after the program has started running. We do this by natively checkpointing the target application at a point of interest, and attaching the fuzzer after restoring the checkpoint. A fork server may even be engaged at the point of restoration. This not only improves the throughput of the fuzzing campaign by minimizing startup time, but opens up a new way to fuzz applications. With this architecture, a user can take a series of checkpoints at points of interest, and run parallel tests to reduce the overall state complexity of an individual test. Checkpoints allow us to begin fuzzing from a deeper point in the execution path, omitting prior execution from the required coverage path. This and other checkpointing techniques are described in the paper to help improve fuzzing.


Lectures on Lagrangian torus fibrations. This is a book aimed at graduate students and researchers in symplectic geometry, based on a course I taught in 2019. The primary message is that the base of a Lagrangian torus fibration inherits an integral affine structure, which you can use to "read off" a lot of interesting geometry of the total space. Topics covered include action angle coordinates, symplectic reduction, toric manifolds, visible and tropical Lagrangians, almost toric systems, Milnor fibres of cyclic quotient singularities, mutation of polygons, non toric blow up, an almost toric view on Lisca's classification of fillings of lens spaces, resolutions of cusp singularities, Markov triples and Vianna tori. The book ends with a short list of open problems. Throughout there is an emphasis on examples and there are some exercises with solutions.


Learning Constraints and Descriptive Segmentation for Subevent Detection. Event mentions in text correspond to real world events of varying degrees of granularity. The task of subevent detection aims to resolve this granularity issue, recognizing the membership of multi granular events in event complexes. Since knowing the span of descriptive contexts of event complexes helps infer the membership of events, we propose the task of event based text segmentation (EventSeg) as an auxiliary task to improve the learning for subevent detection. To bridge the two tasks together, we propose an approach to learning and enforcing constraints that capture dependencies between subevent detection and EventSeg prediction, as well as guiding the model to make globally consistent inference. Specifically, we adopt Rectifier Networks for constraint learning and then convert the learned constraints to a regularization term in the loss function of the neural model. Experimental results show that the proposed method outperforms baseline methods by 2.3 and 2.5 on benchmark datasets for subevent detection, HiEve and IC, respectively, while achieving a decent performance on EventSeg prediction.


Arthur packets for quasisplit GSp(2n) and GO(2n) over a p adic field. We construct the Arthur packets for symplectic and even orthogonal similitude groups over a p adic field and show that they are stable and satisfy the twisted endoscopic character relations.


The 1908 Tunguska event and forestfalls. The 1908 Tunguska event is used to be associated with a forestfall named after its first scientific researcher Leonid Kulik.However association of the Kulikovskii forestfall with the events in the morning of June 30, 1908 is based only on Evenks accounts. Initially, Kulik assumed the impact site was about 60 km east of this forestfall (unknown to him at that time). Then he received additional information about the existence of this large forestfall, and moved the search point. Later, some other forestfalls were reported, albeit of a much smaller area. Dates some of them can't be pinpointed accurately, i.e. only "about June 30", and so on. However Evenks reported about several small forestfalls in the region which according to them occurred on the same morning as the Kulikovskii one. But as they were much smaller then a little attention was paid to them (with the exception of the so called Chuvar forestfall). This paper is devoted to consideration of these forestfalls (including some peculiarities of the Kulikovskii one). The paper focuses on facts (and not on interpretations), which any interpretation of the 1908 Tunguska event should explain.


Subnormality in PD 3 groups and L 2 Betti numbers. We reconsider work of Elkalla on subnormal subgroups of 3 manifold groups, giving essentially algebraic arguments that extend to the case of PD 3 groups and group pairs. However the argument relies on an L 2 Betti number hypothesis which has not yet been shown to hold in general.


Hopeful Men LT EDI EACL2021 Hope Speech Detection Using Indic Transliteration and Transformers. This paper aims to describe the approach we used to detect hope speech in the HopeEDI dataset. We experimented with two approaches. In the first approach, we used contextual embeddings to train classifiers using logistic regression, random forest, SVM, and LSTM based models.The second approach involved using a majority voting ensemble of 11 models which were obtained by fine tuning pre trained transformer models (BERT, ALBERT, RoBERTa, IndicBERT) after adding an output layer. We found that the second approach was superior for English, Tamil and Malayalam. Our solution got a weighted F1 score of 0.93, 0.75 and 0.49 for English,Malayalam and Tamil respectively. Our solution ranked first in English, eighth in Malayalam and eleventh in Tamil.


Hidden Fold Networks Random Recurrent Residuals Using Sparse Supermasks. Deep neural networks (DNNs) are so over parametrized that recent research has found them to already contain a subnetwork with high accuracy at their randomly initialized state. Finding these subnetworks is a viable alternative training method to weight learning. In parallel, another line of work has hypothesized that deep residual networks (ResNets) are trying to approximate the behaviour of shallow recurrent neural networks (RNNs) and has proposed a way for compressing them into recurrent models. This paper proposes blending these lines of research into a highly compressed yet accurate model Hidden Fold Networks (HFNs). By first folding ResNet into a recurrent structure and then searching for an accurate subnetwork hidden within the randomly initialized model, a high performing yet tiny HFN is obtained without ever updating the weights. As a result, HFN achieves equivalent performance to ResNet50 on CIFAR100 while occupying 38.5x less memory, and similar performance to ResNet34 on ImageNet with a memory size 26.8x smaller. The HFN will become even more attractive by minimizing data transfers while staying accurate when it runs on highly quantized and randomly weighted DNN inference accelerators. Code available at https github.com Lopez Angel hidden fold networks


Tensor Full Feature Measure and Its Nonconvex Relaxation Applications to Tensor Recovery. Tensor sparse modeling as a promising approach, in the whole of science and engineering has been a huge success. As is known to all, various data in practical application are often generated by multiple factors, so the use of tensors to represent the data containing the internal structure of multiple factors came into being. However, different from the matrix case, constructing reasonable sparse measure of tensor is a relatively difficult and very important task. Therefore, in this paper, we propose a new tensor sparsity measure called Tensor Full Feature Measure (FFM). It can simultaneously describe the feature information of each dimension of the tensor and the related features between two dimensions, and connect the Tucker rank with the tensor tube rank. This measurement method can describe the sparse features of the tensor more comprehensively. On this basis, we establish its non convex relaxation, and apply FFM to low rank tensor completion (LRTC) and tensor robust principal component analysis (TRPCA). LRTC and TRPCA models based on FFM are proposed, and two efficient Alternating Direction Multiplier Method (ADMM) algorithms are developed to solve the proposed model. A variety of real numerical experiments substantiate the superiority of the proposed methods beyond state of the arts.


Towards Realistic Single Task Continuous Learning Research for NER. There is an increasing interest in continuous learning (CL), as data privacy is becoming a priority for real world machine learning applications. Meanwhile, there is still a lack of academic NLP benchmarks that are applicable for realistic CL settings, which is a major challenge for the advancement of the field. In this paper we discuss some of the unrealistic data characteristics of public datasets, study the challenges of realistic single task continuous learning as well as the effectiveness of data rehearsal as a way to mitigate accuracy loss. We construct a CL NER dataset from an existing publicly available dataset and release it along with the code to the research community.


Restriction in Program Algebra. We present axiomatisations for a number of partial function signatures that include domain restriction, modelled as a right normal band operation. Other operations considered are override and update, difference, minus, intersection, composition and domain, all of which find motivation in computer science. All axiomatisations found are finite, many of them equational.


Sphere Face Model A 3D Morphable Model with Hypersphere Manifold Latent Space. 3D Morphable Models (3DMMs) are generative models for face shape and appearance. However, the shape parameters of traditional 3DMMs satisfy the multivariate Gaussian distribution while the identity embeddings satisfy the hypersphere distribution, and this conflict makes it challenging for face reconstruction models to preserve the faithfulness and the shape consistency simultaneously. To address this issue, we propose the Sphere Face Model(SFM), a novel 3DMM for monocular face reconstruction, which can preserve both shape fidelity and identity consistency. The core of our SFM is the basis matrix which can be used to reconstruct 3D face shapes, and the basic matrix is learned by adopting a two stage training approach where 3D and 2D training data are used in the first and second stages, respectively. To resolve the distribution mismatch, we design a novel loss to make the shape parameters have a hyperspherical latent space. Extensive experiments show that SFM has high representation ability and shape parameter space's clustering performance. Moreover, it produces fidelity face shapes, and the shapes are consistent in challenging conditions in monocular face reconstruction.


Industry Practice of Coverage Guided Enterprise Level DBMS Fuzzing. As an infrastructure for data persistence and analysis, Database Management Systems (DBMSs) are the cornerstones of modern enterprise software. To improve their correctness, the industry has been applying blackbox fuzzing for decades. Recently, the research community achieved impressive fuzzing gains using coverage guidance. However, due to the complexity and distributed nature of enterprise level DBMSs, seldom are these researches applied to the industry. In this paper, we apply coverage guided fuzzing to enterprise level DBMSs from Huawei and Bloomberg LP. In our practice of testing GaussDB and Comdb2, we found major challenges in all three testing stages. The challenges are collecting precise coverage, optimizing fuzzing performance, and analyzing root causes. In search of a general method to overcome these challenges, we propose Ratel, a coverage guided fuzzer for enterprise level DBMSs. With its industry oriented design, Ratel improves the feedback precision, enhances the robustness of input generation, and performs an on line investigation on the root cause of bugs. As a result, Ratel outperformed other fuzzers in terms of coverage and bugs. Compared to industrial black box fuzzers SQLsmith and SQLancer, as well as coverage guided academic fuzzer Squirrel, Ratel covered 38.38 , 106.14 , 583.05 more basic blocks than the best results of other three fuzzers in GaussDB, PostgreSQL, and Comdb2, respectively. More importantly, Ratel has discovered 32, 42, and 5 unknown bugs in GaussDB, Comdb2, and PostgreSQL.


Explanatory models in neuroscience Part 1 taking mechanistic abstraction seriously. Despite the recent success of neural network models in mimicking animal performance on visual perceptual tasks, critics worry that these models fail to illuminate brain function. We take it that a central approach to explanation in systems neuroscience is that of mechanistic modeling, where understanding the system is taken to require fleshing out the parts, organization, and activities of a system, and how those give rise to behaviors of interest. However, it remains somewhat controversial what it means for a model to describe a mechanism, and whether neural network models qualify as explanatory. We argue that certain kinds of neural network models are actually good examples of mechanistic models, when the right notion of mechanistic mapping is deployed. Building on existing work on model to mechanism mapping (3M), we describe criteria delineating such a notion, which we call 3M . These criteria require us, first, to identify a level of description that is both abstract but detailed enough to be "runnable", and then, to construct model to brain mappings using the same principles as those employed for brain to brain mapping across individuals. Perhaps surprisingly, the abstractions required are those already in use in experimental neuroscience, and are of the kind deployed in the construction of more familiar computational models, just as the principles of inter brain mappings are very much in the spirit of those already employed in the collection and analysis of data across animals. In a companion paper, we address the relationship between optimization and intelligibility, in the context of functional evolutionary explanations. Taken together, mechanistic interpretations of computational models and the dependencies between form and function illuminated by optimization processes can help us to understand why brain systems are built they way they are.


Optimal L2 approximation of occupation and local times for symmetric stable processes. The L2 approximation of occupation and local times of a symmetric alpha stable L 'e vy process from high frequency discrete time observations is studied. The standard Riemann sum estimators are shown to be asymptotically efficient when 0 alpha le 1, but only rate optimal for 1 alpha le 2. For this, the exact convergence of the L2 approximation error is proven with explicit constants.


An unfitted finite element method by direct extension for elliptic problems on domains with curved boundaries and interfaces. We propose and analyze an unfitted finite element method for solving elliptic problems on domains with curved boundaries and interfaces. The approximation space on the whole domain is obtained by the direct extension of the finite element space defined on interior elements, in the sense that there is no degree of freedom locating in boundary interface elements. The boundary jump conditions are imposed in a weak sense in the scheme. The method is shown to be stable without any mesh adjustment or any special stabilization. Optimal convergence rates under the L 2 norm and the energy norm are derived. Numerical results in both two and three dimensions are presented to illustrate the accuracy and the robustness of the method.


Cross Domain Empirical Risk Minimization for Unbiased Long tailed Classification. We address the overlooked unbiasedness in existing long tailed classification methods we find that their overall improvement is mostly attributed to the biased preference of tail over head, as the test distribution is assumed to be balanced however, when the test is as imbalanced as the long tailed training data let the test respect Zipf's law of nature the tail bias is no longer beneficial overall because it hurts the head majorities. In this paper, we propose Cross Domain Empirical Risk Minimization (xERM) for training an unbiased model to achieve strong performances on both test distributions, which empirically demonstrates that xERM fundamentally improves the classification by learning better feature representation rather than the head vs. tail game. Based on causality, we further theoretically explain why xERM achieves unbiasedness the bias caused by the domain selection is removed by adjusting the empirical risks on the imbalanced domain and the balanced but unseen domain. Codes are available at https github.com BeierZhu xERM.


Parallel Batch Dynamic k d Trees. k d trees are widely used in parallel databases to support efficient neighborhood similarity queries. Supporting parallel updates to k d trees is therefore an important operation. In this paper, we present BDL tree, a parallel, batch dynamic implementation of a k d tree that allows for efficient parallel k NN queries over dynamically changing point sets. BDL trees consist of a log structured set of k d trees which can be used to efficiently insert or delete batches of points in parallel with polylogarithmic depth. Specifically, given a BDL tree with n points, each batch of B updates takes O(B log 2 (n B) ) amortized work and O( log(n B) log log (n B) ) depth (parallel time). We provide an optimized multicore implementation of BDL trees. Our optimizations include parallel cache oblivious k d tree construction and parallel bloom filter construction. Our experiments on a 36 core machine with two way hyper threading using a variety of synthetic and real world datasets show that our implementation of BDL tree achieves a self relative speedup of up to 34.8 times ( 28.4 times on average) for batch insertions, up to 35.5 times ( 27.2 times on average) for batch deletions, and up to 46.1 times ( 40.0 times on average) for k nearest neighbor queries. In addition, it achieves throughputs of up to 14.5 million updates second for batch parallel updates and 6.7 million queries second for k NN queries. We compare to two baseline k d tree implementations and demonstrate that BDL trees achieve a good tradeoff between the two baseline options for implementing batch updates.


Cherry Maps with Different Critical Exponents Bifurcation of Geometry. We consider order preserving C 3 circle maps with a flat piece, irrational rotation number and critical exponents ( ell 1, ell 2) . We detect a change in the geometry of the system. For ( ell 1, ell 2) in 1,2 2 the geometry is degenerate and it becomes bounded for ( ell 1, ell 2) in 2, infty) 2 setminus (2,2) . When the rotation number is of the form abab cdots for some a,b in mathbb N , the geometry is bounded for ( ell 1, ell 2) belonging above a curve defined on 1, infty 2 . As a consequence we estimate the Hausdorff dimension of the non wandering set K f mathcal S 1 setminus bigcup i 0 infty f i (U) . Precisely, the Hausdorff dimension of this set is equal to zero when the geometry is degenerate and it is strictly positive when the geometry is bounded.


Classifications of the Summative Assessment for Revised Blooms Taxonomy by using Deep Learning. Education is the basic step of understanding the truth and the preparation of the intelligence to reflect. Focused on the rational capacity of the human being the Cognitive process and knowledge dimensions of Revised Blooms Taxonomy helps to differentiate the procedure of studying into six types of various cognitive processes and four types of knowledge dimensions. These types are synchronized in the increasing level of difficulty. In this paper Software Engineering courses of B.Tech Computer Engineering and Information Technology offered by various Universities and Educational Institutes have been investigated for Revised Blooms Taxonomy RBT. Questions are a very useful constituent. Knowledge intelligence and strength of the learners can be tested by applying questions.The fundamental goal of this paper is to create a relative study of the classification of the summative assessment based on Revised Blooms Taxonomy using the Convolutional Neural Networks CNN Long Short Term Memory LSTM of Deep Learning techniques in an endeavor to attain significant accomplishment and elevated precision levels.


A Comparison of Metrics for the Identification of Partisan Gerrymandering. Currently, there is currently no effective, standardized way to identify the presence of partisan gerrymandering. A relatively newly proposed method of identification is ensemble analysis. This is done by generating a large neutral ensemble of voting plans, then comparing the given voting plan against the ensemble through the use of a mathematical metric. In this paper, we survey seven of the most common mathematical metrics used for this identification process, which are the efficiency gap, weighted efficiency gap with weight 2, relative efficiency gap with weight 1, relative efficiency gap with weight 2, mean median score, partisan bias, and declination. We define and discuss all of these. The analysis is done by performing ensemble analysis on ten elections with each metric to determine whether each metric determines each election as gerrymandered. All ten of these elections have been studied in the literature, so we compare those results to the results found by the metrics to assess accuracy. We show that, while the mean median score and partisan bias are the most applicable across all seven metrics, they are also the most inaccurate. No significant difference was detected between the remaining five metrics, so our final recommendation is to use one of the four variants of the efficiency gap or the declination if applicable, and the mean median score if not. The partisan bias was the least accurate of all the metrics tested.


Macroscopic and multi scale models for multi class vehicular dynamics with uneven space occupancy a case study. In this paper we propose two models describing the dynamics of heavy and light vehicles on a road network, taking into account the interactions between the two classes. The models are tailored for two lane highways where heavy vehicles cannot overtake. This means that heavy vehicles cannot saturate the whole road space, while light vehicles can. In these conditions the creeping phenomenon can appear, i.e. one class of vehicles can proceed even if the other class has reached the maximal density. The first model we propose couples two first order macroscopic LWR models, while the second model couples a second order microscopic Follow the Leader model with a first order macroscopic LWR model. Numerical results show that both models are able to catch some second order (inertial) phenomena like stop go waves. Models are calibrated by means of real data measured by fixed sensors placed along the A4 Italian highway Trieste Venice and its branches, provided by Autovie Venete S.p.A.


An Empirical Testing of Autonomous Vehicle Simulator System for Urban Driving. Safety is one of the main challenges that prohibit autonomous vehicles (AV), requiring them to be well tested ahead of being allowed on the road. In comparison with road tests, simulators allow us to validate the AV conveniently and affordably. However, it remains unclear how to best use the AV based simulator system for testing effectively. Our paper presents an empirical testing of AV simulator system that combines the SVL simulator and the Apollo platform. We propose 576 test cases which are inspired by four naturalistic driving situations with pedestrians and surrounding cars. We found that the SVL can imitate realistic safe and collision situations and at the same time, Apollo can drive the car quite safely. On the other hand, we noted that the system failed to detect pedestrians or vehicles on the road in three out of four classes, accounting for 10.0 total number of scenarios tested. We further applied metamorphic testing to identify inconsistencies in the system with additional 486 test cases. We then discussed some insights into the scenarios that may cause hazardous situations in real life. In summary, this paper provides a new empirical evidence to strengthen the assertion that the simulator based system can be an indispensable tool for a comprehensive testing of the AV.


SiamCorners Siamese Corner Networks for Visual Tracking. The current Siamese network based on region proposal network (RPN) has attracted great attention in visual tracking due to its excellent accuracy and high efficiency. However, the design of the RPN involves the selection of the number, scale, and aspect ratios of anchor boxes, which will affect the applicability and convenience of the model. Furthermore, these anchor boxes require complicated calculations, such as calculating their intersection over union (IoU) with ground truth bounding boxes.Due to the problems related to anchor boxes, we propose a simple yet effective anchor free tracker (named Siamese corner networks, SiamCorners), which is end to end trained offline on large scale image pairs. Specifically, we introduce a modified corner pooling layer to convert the bounding box estimate of the target into a pair of corner predictions (the bottom right and the top left corners). By tracking a target as a pair of corners, we avoid the need to design the anchor boxes. This will make the entire tracking algorithm more flexible and simple than anchorbased trackers. In our network design, we further introduce a layer wise feature aggregation strategy that enables the corner pooling module to predict multiple corners for a tracking target in deep networks. We then introduce a new penalty term that is used to select an optimal tracking box in these candidate corners. Finally, SiamCorners achieves experimental results that are comparable to the state of art tracker while maintaining a high running speed. In particular, SiamCorners achieves a 53.7 AUC on NFS30 and a 61.4 AUC on UAV123, while still running at 42 frames per second (FPS).


Constrained Synchronization for Commutative Automata and Automata with Simple Idempotents. For general input automata, there exist regular constraint languages such that asking if a given input automaton admits a synchronizing word in the constraint language is PSPACE complete or NP complete. Here, we investigate this problem for commutative automata over an arbitrary alphabet and automata with simple idempotents over a binary alphabet as input automata. The latter class contains, for example, the v C ern 'y family of automata. We find that for commutative input automata, the problem is always solvable in polynomial time, for every constraint language. For input automata with simple idempotents over a binary alphabet and with a constraint language given by a partial automaton with up to three states, the constrained synchronization problem is also solvable in polynomial time.


Noise Optimization for Artificial Neural Networks. Adding noises to artificial neural network(ANN) has been shown to be able to improve robustness in previous work. In this work, we propose a new technique to compute the pathwise stochastic gradient estimate with respect to the standard deviation of the Gaussian noise added to each neuron of the ANN. By our proposed technique, the gradient estimate with respect to noise levels is a byproduct of the backpropagation algorithm for estimating gradient with respect to synaptic weights in ANN. Thus, the noise level for each neuron can be optimized simultaneously in the processing of training the synaptic weights at nearly no extra computational cost. In numerical experiments, our proposed method can achieve significant performance improvement on robustness of several popular ANN structures under both black box and white box attacks tested in various computer vision datasets.


Finite time blow up in the three dimensional fully parabolic attraction dominated attraction repulsion chemotaxis system. We show that the attraction repulsion chemotaxis system begin equation begin cases u t Delta u chi nabla cdot(u nabla v 1) xi nabla cdot(u nabla v 2) partial t v 1 Delta v 1 beta v 1 alpha u partial t v 2 Delta v 2 delta v 2 gamma u, end cases end equation posed with homogeneous Neumann boundary conditions in bounded domains Omega B R subset mathbb R 3 , R 0 , admits radially symmetric solutions which blow up in finite time if it is attraction dominated in the sense that chi alpha xi gamma 0 .


Characterization of quasi arithmetic means without regularity condition. In this paper we show that bisymmetry, which is an algebraic property, has a regularity improving feature. More precisely, we prove that every bisymmetric, partially strictly monotonic, reflexive and symmetric function F I 2 to I is continuous. As a consequence, we obtain a finer characterization of quasi arithmetic means than the classical results of Acz 'el, Kolmogoroff, Nagumo and de Finetti.


Defining Autocatalysis in Chemical Reaction Networks. Autocatalysis is a deceptively simple concept, referring to the situation that a chemical species X catalyzes its own formation. From the perspective of chemical kinetics, autocatalysts show a regime of super linear growth. Given a chemical reaction network, however, it is not at all straightforward to identify species that are autocatalytic in the sense that there is a sub network that takes X as input and produces more than one copy of X as output. The difficulty arises from the need to distinguish autocatalysis e.g. from the superposition of a cycle that consumes and produces equal amounts of X and a pathway that produces X . To deal with this issue, a number of competing notions, such as exclusive autocatalysis and autocatalytic cycles, have been introduced. A closer inspection of concepts and their usage by different authors shows, however, that subtle differences in the definitions often makes conceptually matching ideas difficult to bring together formally. In this contribution we make some of the available approaches comparable by translating them into a common formal framework that uses integer hyperflows as a basis to study autocatalysis in large chemical reaction networks. As an application we investigate the prevalence of autocatalysis in metabolic networks.


Partial Disclosure of Private Dependencies in Privacy Preserving Planning. In collaborative privacy preserving planning (CPPP), a group of agents jointly creates a plan to achieve a set of goals while preserving each others' privacy. During planning, agents often reveal the private dependencies between their public actions to other agents, that is, which public action facilitates the preconditions of another public action. Previous work in CPPP does not limit the disclosure of such dependencies. In this paper, we explicitly limit the amount of disclosed dependencies, allowing agents to publish only a part of their private dependencies. We investigate different strategies for deciding which dependencies to publish, and how they affect the ability to find solutions. We evaluate the ability of two solvers distribute forward search and centralized planning based on a single agent projection to produce plans under this constraint. Experiments over standard CPPP domains show that the proposed dependency sharing strategies enable generating plans while sharing only a small fraction of all private dependencies.


Scalable Feature Subset Selection for Big Data using Parallel Hybrid Evolutionary Algorithm based Wrapper in Apache Spark. Owing to the emergence of large datasets, applying current sequential wrapper based feature subset selection (FSS) algorithms increases the complexity. This limitation motivated us to propose a wrapper for feature subset selection (FSS) based on parallel and distributed hybrid evolutionary algorithms (EAs) under the Apache Spark environment. The hybrid EAs are based on the BDE and Binary Threshold Accepting (BTA), a point based EA, which is invoked to enhance the search capability and avoid premature convergence of the PB DE. Thus, we designed the hybrid variants (i) parallel binary differential evolution and threshold accepting (PB DETA), where DE and TA work in tandem in every iteration, and (ii) parallel binary threshold accepting and differential evolution (PB TADE), where TA and DE work in tandem in every iteration under the Apache Spark environment. Both PB DETA and PB TADE are compared with the baseline, viz., the parallel version of the binary differential evolution (PB DE). All three proposed approaches use logistic regression (LR) to compute the fitness function, namely, the area under ROC curve (AUC). The effectiveness of the proposed algorithms is tested over the five large datasets of varying feature space dimension, taken from cyber security and biology domains. It is noteworthy that the PB TADE turned out to be statistically significant compared to PB DE and PB DETA. We reported the speedup analysis, average AUC obtained by the most repeated feature subset, feature subset with high AUC and least cardinality.


Emergence in Science. In the scientific literature, the term emergent phenomena is invoked in the context of a collective behavior observed in a complex adaptive system that exhibits no correspondence with the behavior of the system constituents. Although this description is too generic to be termed a definition, it alludes to the fact that emergent phenomena are closely related to esoteric observations and neoteric developments in science. With these impressions, we aim to investigate a variety of observed behavior from the perspective of an emergentist. Starting with a few familiar portrayals of emergence, we devote a large body of this narrative review to explain instances of emergence in condensed matter systems, namely the phase transition phenomena, spontaneous symmetry breaking, and macroscopic quantum phenomena. At the same time, to present a broader perspective, we cross the domain boundaries to also provide a succinct description of emergent phenomena prevailing in social sciences, economics, computing environments, and in biological systems, as well.


Span of the Jones polynomials of certain v adequate virtual links. It is known that the Kauffman Murasugi Thislethwaite type inequality becomes an equality for any (possibly virtual) adequate link diagram. We refine this condition. As an application we obtain a criterion for virtual link diagram with exactly one virtual crossing to represent a properly virtual link.


Communicative Learning with Natural Gestures for Embodied Navigation Agents with Human in the Scene. Human robot collaboration is an essential research topic in artificial intelligence (AI), enabling researchers to devise cognitive AI systems and affords an intuitive means for users to interact with the robot. Of note, communication plays a central role. To date, prior studies in embodied agent navigation have only demonstrated that human languages facilitate communication by instructions in natural languages. Nevertheless, a plethora of other forms of communication is left unexplored. In fact, human communication originated in gestures and oftentimes is delivered through multimodal cues, e.g. "go there" with a pointing gesture. To bridge the gap and fill in the missing dimension of communication in embodied agent navigation, we propose investigating the effects of using gestures as the communicative interface instead of verbal cues. Specifically, we develop a VR based 3D simulation environment, named Ges THOR, based on AI2 THOR platform. In this virtual environment, a human player is placed in the same virtual scene and shepherds the artificial agent using only gestures. The agent is tasked to solve the navigation problem guided by natural gestures with unknown semantics we do not use any predefined gestures due to the diversity and versatile nature of human gestures. We argue that learning the semantics of natural gestures is mutually beneficial to learning the navigation task learn to communicate and communicate to learn. In a series of experiments, we demonstrate that human gesture cues, even without predefined semantics, improve the object goal navigation for an embodied agent, outperforming various state of the art methods.


Ab initio random structure searching for battery cathode materials. Cathodes are critical components of rechargeable batteries. Conventionally, the search for cathode materials relies on experimental trial and error and a traversing of existing computational experimental databases. While these methods have led to the discovery of several commercially viable cathode materials, the chemical space explored so far is limited and many phases will have been overlooked, in particular those that are metastable. We describe a computational framework for battery cathode exploration, based on ab initio random structure searching (AIRSS), an approach that samples local minima on the potential energy surface to identify new crystal structures. We show that, by delimiting the search space using a number of constraints, including chemically aware minimum interatomic separations, cell volumes, and space group symmetries, AIRSS can efficiently predict both thermodynamically stable and metastable cathode materials. Specifically, we investigate LiCoO2, LiFePO4, and LixCuyFz to demonstrate the efficiency of the method by rediscovering the known crystal structures of these cathode materials. The effect of parameters, such as minimum separations and symmetries, on the efficiency of the sampling is discussed in detail. The adaptation of the minimum interatomic distances, on a species pair basis, from low energy optimized structures to efficiently capture the local coordination environment of atoms, is explored. A family of novel cathode materials based, on the transition metal oxalates,is proposed. They demonstrate superb energy density, oxygen redox stability, and lithium diffusion properties. This article serves both as an introduction to the computational framework, and as a guide to battery cathode material discovery using AIRSS.


Slack matrices, k products, and 2 level polytopes. In this paper, we study algorithmic questions concerning products of matrices and their consequences for recognition algorithms for polyhedra. The 1 product of matrices S 1 , S 2 is a matrix whose columns are the concatenation of each column of S 1 with each column of S 2 . The k product generalizes the 1 product, by taking as input two matrices S 1, S 2 together with k 1 special rows of each of those matrices, and outputting a certain composition of S 1,S 2 . Our study is motivated by a close link between the 1 product of matrices and the Cartesian product of polytopes, and more generally between the k product of matrices and the glued product of polytopes. These connections rely on the concept of slack matrix, which gives an algebraic representation of classes of affinely equivalent polytopes. The slack matrix recognition problem is the problem of determining whether a given matrix is a slack matrix. This is an intriguing problem whose complexity is unknown. Our algorithm reduces the problem to instances which cannot be expressed as k products of smaller matrices. In the second part of the paper, we give a combinatorial interpretation of k products for two well known classes of polytopes 2 level matroid base polytopes and stable set polytopes of perfect graphs. We also show that the slack matrix recognition problem is polynomial time solvable for such polytopes. Those two classes are special cases of 2 level polytopes, for which we conjecture that the slack matrix recognition problem is polynomial time solvable.


Skin Health Monitoring system using a Wireless Body Area Network. A new class of sensing paradigm known as lab onskin where stretchable and flexible smart sensor devices are integrated into the skin, provides direct monitoring and diagnostic interfaces to the body. Distributed lab on skin wireless sensors have the ability to provide continuous long term assessment of the skin health. This paper proposes a distributed skin health monitoring system using a wireless body area network. The system is responsive to the dynamic changes in the skin health, and remotely reports on the same. The proposed algorithm detects the abnormal skin and creates an energy efficient data aggregation tree covering the affected area while putting the unnecessary sensors to sleep mode. The algorithm responds to the changing conditions of the skin by dynamically adapting the size and shape of the monitoring trees to that of the abnormal skin areas thus providing a comprehensive monitoring. Simulation results demonstrate the application and utility of the proposed algorithm for changing wound shapes and sizes.


Mining Topological Dependencies of Recurrent Congestion in Road Networks. The discovery of spatio temporal dependencies within urban road networks that cause Recurrent Congestion (RC) patterns is crucial for numerous real world applications, including urban planning and scheduling of public transportation services. While most existing studies investigate temporal patterns of RC phenomena, the influence of the road network topology on RC is often overlooked. This article proposes the ST Discovery algorithm, a novel unsupervised spatio temporal data mining algorithm that facilitates the effective data driven discovery of RC dependencies induced by the road network topology using real world traffic data. We factor out regularly reoccurring traffic phenomena, such as rush hours, mainly induced by the daytime, by modelling and systematically exploiting temporal traffic load outliers. We present an algorithm that first constructs connected subgraphs of the road network based on the traffic speed outliers. Second, the algorithm identifies pairs of subgraphs that indicate spatio temporal correlations in their traffic load behaviour to identify topological dependencies within the road network. Finally, we rank the identified subgraph pairs based on the dependency score determined by our algorithm. Our experimental results demonstrate that ST Discovery can effectively reveal topological dependencies in urban road networks.


Priority Promotion with Parysian Flair. We develop an algorithm that combines the advantages of priority promotion one of the leading approaches to solving large parity games in practice with the quasi polynomial time guarantees offered by Parys' algorithm. Hybridising these algorithms sounds both natural and difficult, as they both generalise the classic recursive algorithm in different ways that appear to be irreconcilable while the promotion transcends the call structure, the guarantees change on each level. We show that an interface that respects both is not only effective, but also efficient.


Evolutionary Robust Clustering Over Time for Temporal Data. In many clustering scenes, data samples' attribute values change over time. For such data, we are often interested in obtaining a partition for each time step and tracking the dynamic change of partitions. Normally, a smooth change is assumed for data to have a temporal smooth nature. Existing algorithms consider the temporal smoothness as an a priori preference and bias the search towards the preferred direction. This a priori manner leads to a risk of converging to an unexpected region because it is not always the case that a reasonable preference can be elicited given the little prior knowledge about the data. To address this issue, this paper proposes a new clustering framework called evolutionary robust clustering over time. One significant innovation of the proposed framework is processing the temporal smoothness in an a posteriori manner, which avoids unexpected convergence that occurs in existing algorithms. Furthermore, the proposed framework automatically tunes the weight of smoothness without data's affinity matrix and predefined parameters, which holds better applicability and scalability. The effectiveness and efficiency of the proposed framework are confirmed by comparing with state of the art algorithms on both synthetic and real datasets.


Bifurcation to instability through the lens of the Maslov index. The Maslov index is a powerful tool for assessing the stability of solitary waves. Although it is difficult to calculate in general, a framework for doing so was recently established for singularly perturbed systems. In this paper, we apply this framework to standing wave solutions of a three component activator inhibitor model. These standing waves are known to become unstable as parameters vary. Our goal is to see how this established stability criterion manifests itself in the Maslov index calculation. In so doing, we obtain new insight into the mechanism for instability. We further suggest how this mechanism might be used to reveal new instabilities in singularly perturbed models.


Physics guided Loss Functions Improve Deep Learning Performance in Inverse Scattering. Solving electromagnetic inverse scattering problems (ISPs) is challenging due to the intrinsic nonlinearity, ill posedness, and expensive computational cost. Recently, deep neural network (DNN) techniques have been successfully applied on ISPs and shown potential of superior imaging over conventional methods. In this paper, we analyse the analogy between DNN solvers and traditional iterative algorithms and discuss how important physical phenomena cannot be effectively incorporated in the training process. We show the importance of including near field priors in the learning process of DNNs. To this end, we propose new designs of loss functions which incorporate multiple scattering based near field quantities (such as scattered fields or induced currents within domain of interest). Effects of physics guided loss functions are studied using a variety of numerical experiments. Pros and cons of the investigated ISP solvers with different loss functions are summarized.


One sided n suspended categories. Let n be an integer greater or equal than 3 . We give a simultaneous generalization of (n 2) exact categories and n angulated categories, and we call it one sided n suspended categories. One sided n angulated categories are also examples of one sided n suspended categories. We provide a general framework for passing from one sided n suspended categories to one sided n angulated categories. Besides, we give a method to construct n angulated quotient categories from Frobenius n prile categories. These results generalize their works by Jasso for n exact categories, Lin for (n 2) angulated categories and Li for one sided suspended categories.


Maximum Entropy Revisited. For over five decades the procedure termed maximum entropy (M E) has been used to sharpen structure in spectra, optical and otherwise. However, this is a contradiction by modifying data, this approach violates the fundamental M E principle, which is to extend, in a model independent way, trends established by low index Fourier coefficients into the white noise region. The Burg derivation, and indirectly the prediction error equations on which sharpening is based, both lead to the correct solution, although this has been consistently overlooked. For a single Lorentzian line these equations can be solved analytically. The resultant lineshape is an exact autoregressive model 1 (AR(1)) replica of the original, demonstrating how the M E reconstruction extends low index Fourier coefficients to the digital limit and illustrating why this approach works so well for lineshapes resulting from first order decay processes. By simultaneously retaining low index coefficients exactly and eliminating Gibbs oscillations, M E noise filtering is quantitatively superior to that achieved by any linear method, including the high performance filters recently proposed. Examples are provided.


Direct regularized reconstruction for the three dimensional Calder 'on problem. Electrical Impedance Tomography gives rise to the severely ill posed Calder 'on problem of determining the electrical conductivity distribution in a bounded domain from knowledge of the associated Dirichlet to Neumann map for the governing equation. The uniqueness and stability questions for the three dimensional problem were largely answered in the affirmative in the 1980's using complex geometrical optics solutions, and this led further to a direct reconstruction method relying on a non physical scattering transform. In this paper, the reconstruction problem is taken one step further towards practical applications by considering data contaminated by noise. Indeed, a regularization strategy for the three dimensional Calder 'on problem is presented based on a suitable and explicit truncation of the scattering transform. This gives a certified, stable and direct reconstruction method that is robust to small perturbations of the data. Numerical tests on simulated noisy data illustrate the feasibility and regularizing effect of the method, and suggest that the numerical implementation performs better than predicted by theory.