L balancing families. P. Hrube v s, S. Natarajan Ramamoorthy, A. Rao and A. Yehudayoff proved the following result Let p be a prime and let f in mathbb F p x 1, ldots,x 2p be a polynomial. Suppose that f( mathbf v F ) 0 for each F subseteq 2p , where F p and that f( mathbf 0 ) neq 0 . Then mbox deg (f) geq p . We prove here the following generalization of their result. Let p be a prime and q p alpha 1 , alpha geq 1 . Let n 0 be a positive integer and q 1 leq d leq n q 1 be an integer. Let mathbb F be a field of characteristic p . Suppose that f( mathbf v F ) 0 for each F subseteq n , where F d and mbox deg (f) leq q 1 . Then f( mathbf v F ) 0 for each F subseteq n , where F equiv d mbox (mod q) . Let t 2d be an even number and L subseteq d 1 be a given subset. We say that mbox cal F subseteq 2 t is an em L balancing family if for each F subseteq t , where F d there exists a G subseteq n such that F cap G in L . We give a general upper bound for the size of an L balancing family.


Equidistant Linear Codes in Projective Spaces. Linear codes in the projective space mathbb P q(n) , the set of all subspaces of the vector space mathbb F q n , were first considered by Braun, Etzion and Vardy. The Grassmannian mathbb G q(n,k) is the collection of all subspaces of dimension k in mathbb P q(n) . We study equidistant linear codes in mathbb P q(n) in this paper and establish that the normalized minimum distance of a linear code is maximum if and only if it is equidistant. We prove that the upper bound on the size of such class of linear codes is 2 n when q 2 as conjectured by Braun et al. Moreover, the codes attaining this bound are shown to have structures akin to combinatorial objects, viz. emph Fano plane and emph sunflower . We also prove the existence of equidistant linear codes in mathbb P q(n) for any prime power q using emph Steiner triple system . Thus we establish that the problem of finding equidistant linear codes of maximum size in mathbb P q(n) with constant distance 2d is equivalent to the problem of finding the largest d intersecting family of subspaces in mathbb G q(n, 2d) for all 1 le d le lfloor frac n 2 rfloor . Our discovery proves that there exist equidistant linear codes of size more than 2 n for every prime power q 2 .


Secrecy Performance of alpha kappa mu Shadowed Fading Channel. In this paper, the physical layer security aspects of a wireless framework over alpha k appa mu shadowed (AKMS) fading channel are examined by acquiring closed form novel expressions of average secrecy capacity, secure outage probability (SOP), and strictly positive secrecy capacity. The lower bound of SOP is derived along with the asymptotic expression of SOP at the high signal to noise ratio regime in order to achieve secrecy diversity gain. Capitalizing on these expressions, the consequences due to the simultaneous occurrence of fading and shadowing are quantified. Finally, Monte Carlo simulations are demonstrated to assess the correctness of the expressions.


Pre interpolation loss behaviour in neural networks. When training neural networks as classifiers, it is common to observe an increase in average test loss while still maintaining or improving the overall classification accuracy on the same dataset. In spite of the ubiquity of this phenomenon, it has not been well studied and is often dismissively attributed to an increase in borderline correct classifications. We present an empirical investigation that shows how this phenomenon is actually a result of the differential manner by which test samples are processed. In essence test loss does not increase overall, but only for a small minority of samples. Large representational capacities allow losses to decrease for the vast majority of test samples at the cost of extreme increases for others. This effect seems to be mainly caused by increased parameter values relating to the correctly processed sample features. Our findings contribute to the practical understanding of a common behaviour of deep neural networks. We also discuss the implications of this work for network optimisation and generalisation.


Augmenting Part of speech Tagging with Syntactic Information for Vietnamese and Chinese. Word segmentation and part of speech tagging are two critical preliminary steps for downstream tasks in Vietnamese natural language processing. In reality, people tend to consider also the phrase boundary when performing word segmentation and part of speech tagging rather than solely process word by word from left to right. In this paper, we implement this idea to improve word segmentation and part of speech tagging the Vietnamese language by employing a simplified constituency parser. Our neural model for joint word segmentation and part of speech tagging has the architecture of the syllable based CRF constituency parser. To reduce the complexity of parsing, we replace all constituent labels with a single label indicating for phrases. This model can be augmented with predicted word boundary and part of speech tags by other tools. Because Vietnamese and Chinese have some similar linguistic phenomena, we evaluated the proposed model and its augmented versions on three Vietnamese benchmark datasets and six Chinese benchmark datasets. Our experimental results show that the proposed model achieves higher performances than previous works for both languages.


The relaxed maximum principle for G stochastic control systems with controlled jumps. This paper is concerned with optimal control of systems driven by G stochastic differential equations (G SDEs), with controlled jump term. We study the relaxed problem, in which admissible controls are measurevalued processes and the state variable is governed by an G SDE driven by a counting measure valued process called relaxed Poisson measure such that the compensator is a product measure. Under some conditions on the coefficients, using the G chattering lemma, we show that the strict and the relaxed control problems have the same value function. Additionally, we derive a maximum principle for this relaxed problem.


GNMR A provable one line algorithm for low rank matrix recovery. Low rank matrix recovery problems, including matrix completion and matrix sensing, appear in a broad range of applications. In this work we present GNMR an extremely simple iterative algorithm for low rank matrix recovery, based on a Gauss Newton linearization. On the theoretical front, we derive recovery guarantees for GNMR in both the matrix sensing and matrix completion settings. Some of these results improve upon the best currently known for other methods. A key property of GNMR is that it implicitly keeps the factor matrices approximately balanced throughout its iterations. On the empirical front, we show that for matrix completion with uniform sampling, GNMR performs better than several popular methods, especially when given very few observations close to the information limit.


EdgeConv with Attention Module for Monocular Depth Estimation. Monocular depth estimation is an especially important task in robotics and autonomous driving, where 3D structural information is essential. However, extreme lighting conditions and complex surface objects make it difficult to predict depth in a single image. Therefore, to generate accurate depth maps, it is important for the model to learn structural information about the scene. We propose a novel Patch Wise EdgeConv Module (PEM) and EdgeConv Attention Module (EAM) to solve the difficulty of monocular depth estimation. The proposed modules extract structural information by learning the relationship between image patches close to each other in space using edge convolution. Our method is evaluated on two popular datasets, the NYU Depth V2 and the KITTI Eigen split, achieving state of the art performance. We prove that the proposed model predicts depth robustly in challenging scenes through various comparative experiments.


Restoring Uniqueness in MicroVM Snapshots. Code initialization the step of loading code, executing static code, filling caches, and forming re used connections tends to dominate cold start time in serverless compute systems such as AWS Lambda. Post initialization memory snapshots, cloned and restored on start, have emerged as a viable solution to this problem, with incremental snapshot and fast restore support in VMMs like Firecracker. Saving memory introduces the challenge of managing high value memory contents, such as cryptographic secrets. Cloning introduces the challenge of restoring the uniqueness of the VMs, to allow them to do unique things like generate UUIDs, secrets, and nonces. This paper examines solutions to these problems in the every microsecond counts context of serverless cold start, and discusses the state of the art of available solutions. We present two new interfaces aimed at solving this problem MADV WIPEONSUSPEND and SysGenId and compare them to alternative solutions.


Conservative and Adaptive Penalty for Model Based Safe Reinforcement Learning. Reinforcement Learning (RL) agents in the real world must satisfy safety constraints in addition to maximizing a reward objective. Model based RL algorithms hold promise for reducing unsafe real world actions they may synthesize policies that obey all constraints using simulated samples from a learned model. However, imperfect models can result in real world constraint violations even for actions that are predicted to satisfy all constraints. We propose Conservative and Adaptive Penalty (CAP), a model based safe RL framework that accounts for potential modeling errors by capturing model uncertainty and adaptively exploiting it to balance the reward and the cost objectives. First, CAP inflates predicted costs using an uncertainty based penalty. Theoretically, we show that policies that satisfy this conservative cost constraint are guaranteed to also be feasible in the true environment. We further show that this guarantees the safety of all intermediate solutions during RL training. Further, CAP adaptively tunes this penalty during training using true cost feedback from the environment. We evaluate this conservative and adaptive penalty based approach for model based safe RL extensively on state and image based environments. Our results demonstrate substantial gains in sample efficiency while incurring fewer violations than prior safe RL algorithms. Code is available at https github.com Redrew CAP


Exact asymptotic characterisation of running time for approximate gradient descent on random graphs. In this work we study the time complexity for the search of local minima in random graphs whose vertices have i.i.d. cost values. We show that, for Erd "os R 'enyi graphs with connection probability given by lambda n alpha (with lambda 0 and 0 alpha 1 ), a family of local algorithms that approximate a gradient descent find local minima faster than the full gradient descent. Furthermore, we find a probabilistic representation for the running time of these algorithms leading to asymptotic estimates of the mean running times.


Towards low gas consumption of muographic tracking detectors in field applications. Gaseous detectors are widely used in high energy physics, and are attractive choices in tracking systems for cosmic muon imaging, also called muography. Such detectors offer high resolution and high efficiency at reasonable cost for large sizes, however, one of the drawbacks is that the gaseous detection medium must be prevented from contamination by outside air or internal outgassing. Standard systems work with a constant gas flow, leading to regular maintenance in the form of gas cylinder changes, which can be an issue for remote field applications. In this paper we discuss the practical possibilities to reduce gas consumption of an outdoor gaseous tracker, where particularly the gas density change from daily temperature cycling limits the input flow. Such "breathing" effect can be circumvented by well designed buffer volume, which must prevent external air contamination. A realistic MWPC tracking test system with 0.9 square meter area, total volume of 160 l, has been operated for 36 days with a flow of 3 l day, confirming that the buffer volume, in this case a 50 m long and 10 l volume low diffusion tube, ensures sufficient gas quality. The key effects governing the gas flow dynamics, including diffusion and gas volume change, has been studied quantitatively, leading to practical design prescriptions.


Lazy FSCA for Unsupervised Variable Selection. Various unsupervised greedy selection methods have been proposed as computationally tractable approximations to the NP hard subset selection problem. These methods rely on sequentially selecting the variables that best improve performance with respect to a selection criterion. Theoretical results exist that provide performance bounds and enable "lazy greedy" efficient implementations for selection criteria that satisfy a diminishing returns property known as submodularity. This has motivated the development of variable selection algorithms based on mutual information and frame potential. Recently, the authors introduced Forward Selection Component Analysis (FSCA) which uses variance explained as its selection criterion. While this criterion is not submodular, FSCA has been shown to be highly effective for applications such as measurement plan optimisation. In this paper a "lazy" implementation of the FSCA algorithm (L FSCA) is proposed, which, although not equivalent to FSCA due to the absence of submodularity, has the potential to yield comparable performance while being up to an order of magnitude faster to compute. The efficacy of L FSCA is demonstrated by performing a systematic comparison with FSCA and five other unsupervised variable selection methods from the literature using simulated and real world case studies. Experimental results confirm that L FSCA yields almost identical performance to FSCA while reducing computation time by between 22 and 94 for the case studies considered.


Polygonal Point Set Tracking. In this paper, we propose a novel learning based polygonal point set tracking method. Compared to existing video object segmentation (VOS) methods that propagate pixel wise object mask information, we propagate a polygonal point set over frames. Specifically, the set is defined as a subset of points in the target contour, and our goal is to track corresponding points on the target contour. Those outputs enable us to apply various visual effects such as motion tracking, part deformation, and texture mapping. To this end, we propose a new method to track the corresponding points between frames by the global local alignment with delicately designed losses and regularization terms. We also introduce a novel learning strategy using synthetic and VOS datasets that makes it possible to tackle the problem without developing the point correspondence dataset. Since the existing datasets are not suitable to validate our method, we build a new polygonal point set tracking dataset and demonstrate the superior performance of our method over the baselines and existing contour based VOS methods. In addition, we present visual effects applications of our method on part distortion and text mapping.


AutoPhoto Aesthetic Photo Capture using Reinforcement Learning. The process of capturing a well composed photo is difficult and it takes years of experience to master. We propose a novel pipeline for an autonomous agent to automatically capture an aesthetic photograph by navigating within a local region in a scene. Instead of classical optimization over heuristics such as the rule of thirds, we adopt a data driven aesthetics estimator to assess photo quality. A reinforcement learning framework is used to optimize the model with respect to the learned aesthetics metric. We train our model in simulation with indoor scenes, and we demonstrate that our system can capture aesthetic photos in both simulation and real world environments on a ground robot. To our knowledge, this is the first system that can automatically explore an environment to capture an aesthetic photo with respect to a learned aesthetic estimator.


Symbolic Substitutions, Bratteli Diagrams and Operator Algebras. In this paper we look at symbolic substitutions and their relationship to Bratteli diagrams and their associated operator algebras. In particular, we consider the equivalence relation on substitutions induced by telescope equivalence of Bratteli diagrams. Such an equivalence preserves pure aperiodicity and primitivity but fails to preserve rank, order, and number of letters. In a similar manner, we consider the equivalence relation on substitutions induced by telescope equivalence of ordered Bratteli diagrams. This results in a finer equivalence but fails to provide a complete invariant. An application to Fibonacci like substitutions is developed.


Deep learning for low magnitude earthquake detection on a multi level sensor network. Automatic detection of low magnitude earthquakes has become an increasingly important research topic in recent years due to a sharp increase in induced seismicity around the globe. The detection of low magnitude seismic events is essential for microseismic monitoring of hydraulic fracturing, carbon capture and storage, and geothermal operations for hazard detection and mitigation. Moreover, the detection of micro earthquakes is crucial to understand the underlying mechanisms of larger earthquakes. Various algorithms, including deep learning methods, have been proposed over the years to detect such low magnitude events. However, there is still a need for improving the robustness of these methods in discriminating between local sources of noise and weak seismic events. In this study, we propose a convolutional neural network (CNN) to detect seismic events from shallow borehole stations in Groningen, the Netherlands. We train a CNN model to detect low magnitude earthquakes, harnessing the multi level sensor configuration of the G network in Groningen. Each G network station contains four geophones at depths of 50, 100, 150, and 200 meters. Unlike prior deep learning approaches that use 3 component seismic records only at a single sensor level, we use records from the entire borehole as one training example. This allows us to train the CNN model using moveout patterns of the energy traveling across the borehole sensors to discriminate between events originating in the subsurface and local noise arriving from the surface. We compare the prediction accuracy of our trained CNN model to that of the STA LTA and template matching algorithms on a two month continuous record. We demonstrate that the CNN model shows significantly better performance than STA LTA and template matching in detecting new events missing from the catalog and minimizing false detections.


A Bayesian Convolutional Neural Network for Robust Galaxy Ellipticity Regression. Cosmic shear estimation is an essential scientific goal for large galaxy surveys. It refers to the coherent distortion of distant galaxy images due to weak gravitational lensing along the line of sight. It can be used as a tracer of the matter distribution in the Universe. The unbiased estimation of the local value of the cosmic shear can be obtained via Bayesian analysis which relies on robust estimation of the galaxies ellipticity (shape) posterior distribution. This is not a simple problem as, among other things, the images may be corrupted with strong background noise. For current and coming surveys, another central issue in galaxy shape determination is the treatment of statistically dominant overlapping (blended) objects. We propose a Bayesian Convolutional Neural Network based on Monte Carlo Dropout to reliably estimate the ellipticity of galaxies and the corresponding measurement uncertainties. We show that while a convolutional network can be trained to correctly estimate well calibrated aleatoric uncertainty, the uncertainty due to the presence of noise in the images it is unable to generate a trustworthy ellipticity distribution when exposed to previously unseen data (i.e. here, blended scenes). By introducing a Bayesian Neural Network, we show how to reliably estimate the posterior predictive distribution of ellipticities along with robust estimation of epistemic uncertainties. Experiments also show that epistemic uncertainty can detect inconsistent predictions due to unknown blended scenes.


Ensemble classification of anomalous diffusion. Understanding and identifying different types of single molecules' diffusion that occur in a broad range of systems (including living matter) is extremely important, as it can provide information on the physical and chemical characteristics of particles' surroundings. In recent years, an ever growing number of methods have been proposed to overcome some of the limitations of the mean squared displacements approach to tracer diffusion. In March 2020, the AnDi Challenge was launched by a community of international scientists to provide a framework for an objective comparison of the available methods for anomalous diffusion. In this paper, we introduce a feature based machine learning method developed in response to Task 2 of the challenge, i.e. the classification of different types of diffusion. We discuss two sets of attributes that may be used for the classification of SPT data. The first one was proposed as our contribution to the AnDi Challenge. The latter is the result of our attempt to improve the performance of the classifier after the deadline of the competition. Extreme gradient boosting was used as the classification model. Although the deep learning approach constitutes the state of the art technology for data classification in many domains, we deliberately decided to pick this traditional machine learning algorithm due to its superior interpretability. After the extension of the feature set our classifier achieved the accuracy of 83 , which is comparable with the top methods based on neural networks.


Accessing Passersby Proxemic Signals through a Head Worn Camera Opportunities and Limitations for the Blind. The spatial behavior of passersby can be critical to blind individuals to initiate interactions, preserve personal space, or practice social distancing during a pandemic. Among other use cases, wearable cameras employing computer vision can be used to extract proxemic signals of others and thus increase access to the spatial behavior of passersby for blind people. Analyzing data collected in a study with blind (N 10) and sighted (N 40) participants, we explore (i) visual information on approaching passersby captured by a head worn camera (ii) pedestrian detection algorithms for extracting proxemic signals such as passerby presence, relative position, distance, and head pose and (iii) opportunities and limitations of using wearable cameras for helping blind people access proxemics related to nearby people. Our observations and findings provide insights into dyadic behaviors for assistive pedestrian detection and lead to implications for the design of future head worn cameras and interactions.


Augmented Cup Products. In this paper, we present Tate's theory of augmented cup products in profinite cohomology in a modern constructive style. As an application, we interpret pairings between groups associated to curves constructed by Lichtenbaum, in terms of augmented cup products.


Meta Auxiliary Learning for Facial Action Unit Detection. Despite the success of deep neural networks on facial action unit (AU) detection, better performance depends on a large number of training images with accurate AU annotations. However, labeling AU is time consuming, expensive, and error prone. Considering AU detection and facial expression recognition (FER) are two highly correlated tasks, and facial expression (FE) is relatively easy to annotate, we consider learning AU detection and FER in a multi task manner. However, the performance of the AU detection task cannot be always enhanced due to the negative transfer in the multi task scenario. To alleviate this issue, we propose a Meta Auxiliary Learning method (MAL) that automatically selects highly related FE samples by learning adaptative weights for the training FE samples in a meta learning manner. The learned sample weights alleviate the negative transfer from two aspects 1) balance the loss of each task automatically, and 2) suppress the weights of FE samples that have large uncertainties. Experimental results on several popular AU datasets demonstrate MAL consistently improves the AU detection performance compared with the state of the art multi task and auxiliary learning methods. MAL automatically estimates adaptive weights for the auxiliary FE samples according to their semantic relevance with the primary AU detection task.


The characteristics of cycle nodes ratio and its application to network classification. Cycles, which can be found in many different kinds of networks, make the problems more intractable, especially when dealing with dynamical processes on networks. On the contrary, tree networks in which no cycle exists, are simplifications and usually allow for analyticity. There lacks a quantity, however, to tell the ratio of cycles which determines the extent of network being close to tree networks. Therefore we introduce the term Cycle Nodes Ratio (CNR) to describe the ratio of number of nodes belonging to cycles to the number of total nodes, and provide an algorithm to calculate CNR. CNR is studied in both network models and real networks. The CNR remains unchanged in different sized Erd "os R 'enyi (ER) networks with the same average degree, and increases with the average degree, which yields a critical turning point. The approximate analytical solutions of CNR in ER networks are given, which fits the simulations well. Furthermore, the difference between CNR and two core ratio (TCR) is analyzed. The critical phenomenon is explored by analysing the giant component of networks. We compare the CNR in network models and real networks, and find the latter is generally smaller. Combining the coarse graining method can distinguish the CNR structure of networks with high average degree. The CNR is also applied to four different kinds of transportation networks and fungal networks, which give rise to different zones of effect. It is interesting to see that CNR is very useful in network recognition of machine learning.


Some q supercongruences on double and triple sums. In this paper, we investigate a number of q supercongruences on double and triple sums. By means of a lemma devised by El Bachraoui and its generalization, we transform some q supercongruences on double and triple sums into the q supercongruences of the square and cube of truncated basic hypergeometric series.Our main tools still involve the creative microscoping' method introduced by Guo and Zudilin, a lemma designed by Guo and Li and the Chinese remainder theorem.


Ratio sets of random sets. We study the typical behavior of the size of the ratio set A A for a random subset A subset 1, dots , n . For example, we prove that A A sim frac 2 text Li 2(3 4) pi 2 n 2 for almost all subsets A subset 1, dots ,n . We also prove that the proportion of visible lattice points in the lattice A 1 times cdots times A d , where A i is taken at random in 1,n with mathbb P(m in A i) alpha i for any m in 1,n , is asymptotic to a constant mu( alpha 1, dots, alpha d) that involves the polylogarithm of order d .


Algebraic Test for Asymptotic Stability of Periodic Orbits for Polynomial Systems. We will address the problem of determining the existence and asymptotic stability of a non trivial periodic orbit in dynamical systems described by polynomial vector fields. To this end, we will lean upon the celebrated results of Borg, Olech and Hartman and newer results of Giesl, who all employ the concept of contraction for this purpose. Importantly, we formulate a numerically tractable algebraic test. The developed algorithm is illustrated in a numerical example.


Generative Models for Security Attacks, Defenses, and Opportunities. Generative models learn the distribution of data from a sample dataset and can then generate new data instances. Recent advances in deep learning has brought forth improvements in generative model architectures, and some state of the art models can (in some cases) produce outputs realistic enough to fool humans. We survey recent research at the intersection of security and privacy and generative models. In particular, we discuss the use of generative models in adversarial machine learning, in helping automate or enhance existing attacks, and as building blocks for defenses in contexts such as intrusion detection, biometrics spoofing, and malware obfuscation. We also describe the use of generative models in diverse applications such as fairness in machine learning, privacy preserving data synthesis, and steganography. Finally, we discuss new threats due to generative models the creation of synthetic media such as deepfakes that can be used for disinformation.


Towards Optimal Strategies for Training Self Driving Perception Models in Simulation. Autonomous driving relies on a huge volume of real world data to be labeled to high precision. Alternative solutions seek to exploit driving simulators that can generate large amounts of labeled data with a plethora of content variations. However, the domain gap between the synthetic and real data remains, raising the following important question What are the best ways to utilize a self driving simulator for perception tasks? In this work, we build on top of recent advances in domain adaptation theory, and from this perspective, propose ways to minimize the reality gap. We primarily focus on the use of labels in the synthetic domain alone. Our approach introduces both a principled way to learn neural invariant representations and a theoretically inspired view on how to sample the data from the simulator. Our method is easy to implement in practice as it is agnostic of the network architecture and the choice of the simulator. We showcase our approach on the bird's eye view vehicle segmentation task with multi sensor data (cameras, lidar) using an open source simulator (CARLA), and evaluate the entire framework on a real world dataset (nuScenes). Last but not least, we show what types of variations (e.g. weather conditions, number of assets, map design, and color diversity) matter to perception networks when trained with driving simulators, and which ones can be compensated for with our domain adaptation technique.


Optimal Coding Scheme and Resource Allocation for Distributed Computation with Limited Resources. A central issue of distributed computing systems is how to optimally allocate computing and storage resources and design data shuffling strategies such that the total execution time for computing and data shuffling is minimized. This is extremely critical when the computation, storage and communication resources are limited. In this paper, we study the resource allocation and coding scheme for the MapReduce type framework with limited resources. In particular, we focus on the coded distributed computing (CDC) approach proposed by Li et al.. We first extend the asymmetric CDC (ACDC) scheme proposed by Yu et al. to the cascade case where each output function is computed by multiple servers. Then we demonstrate that whether CDC or ACDC is better depends on system parameters (e.g., number of computing servers) and task parameters (e.g., number of input files), implying that neither CDC nor ACDC is optimal. By merging the ideas of CDC and ACDC, we propose a hybrid scheme and show that it can strictly outperform CDC and ACDC. Furthermore, we derive an information theoretic converse showing that for the MapReduce task using a type of weakly symmetric Reduce assignment, which includes the Reduce assignments of CDC and ACDC as special cases, the hybrid scheme with a corresponding resource allocation strategy is optimal, i.e., achieves the minimum execution time, for an arbitrary amount of computing servers and storage memories.


Strongly direction dependent magnetoplasmons in mixed Faraday Voigt configurations. The electrostatic theory of magnetoplasmons on a semi infinite magnetized electron gas is generalized to mixed Faraday Voigt configurations. We analyze a new type of electrostatic surface waves that is strongly direction dependent, and may be realized on narrow gap semiconductors in the THz regime. A general expression for the dispersion relation is presented, with its dependence on the magnitude and orientation of the applied magnetic field. Remarkably, the group velocity is always perpendicular to the phase velocity. Both velocity and energy relations of the found magnetoplasmons are discussed in detail. In the appropriate limits the known magnetoplasmons in the higher symmetry Faraday and Voigt configurations are recovered.


Alternative proof of upper bound of spanning trees in a graph. We give a proof for sharp estimate for the number of spanning trees using linear algebra and generalize this bound to multigraphs. In addition, we show that this bound is tight for complete graphs. In addition, we give estimates for number of spanning trees in specific type of graphs such as product of graphs or Cartesian product of two graphs.


Berry Esseen bounds with targets and Local Limit Theorems for products of random matrices. Let mu be a probability measure on text GL d( mathbb R) and denote by S n g n cdots g 1 the associated random matrix product, where g j 's are i.i.d.'s with law mu . We study statistical properties of random variables of the form sigma(S n,x) u(S n x), where x in mathbb P d 1 , sigma is the norm cocycle and u belongs to a class of admissible functions on mathbb P d 1 with values in mathbb R cup pm infty . Assuming that mu has a finite exponential moment and generates a proximal and strongly irreducible semigroup, we obtain optimal Berry Esseen bounds and the Local Limit Theorem for such variables using a large class of observables on mathbb R and H "older continuous target functions on mathbb P d 1 . As particular cases, we obtain new limit theorems for sigma(S n,x) and for the coefficients of S n .


GraphConfRec A Graph Neural Network Based Conference Recommender System. In today's academic publishing model, especially in Computer Science, conferences commonly constitute the main platforms for releasing the latest peer reviewed advancements in their respective fields. However, choosing a suitable academic venue for publishing one's research can represent a challenging task considering the plethora of available conferences, particularly for those at the start of their academic careers, or for those seeking to publish outside of their usual domain. In this paper, we propose GraphConfRec, a conference recommender system which combines SciGraph and graph neural networks, to infer suggestions based not only on title and abstract, but also on co authorship and citation relationships. GraphConfRec achieves a recall 10 of up to 0.580 and a MAP of up to 0.336 with a graph attention network based recommendation model. A user study with 25 subjects supports the positive results.


Introduction to probabilistic concurrent systems. The first part of the paper is an introduction to the theory of probabilistic concurrent systems under a partial order semantics. Key definitions and results are given and illustrated on examples. The second part includes contributions. We introduce deterministic concurrent systems as a subclass of concurrent systems. Deterministic concurrent system are "locally commutative'" concurrent systems. We prove that irreducible and deterministic concurrent systems have a unique probabilistic dynamics, and we characterize these systems by means of their combinatorial properties.


The NiuTrans Machine Translation Systems for WMT21. This paper describes NiuTrans neural machine translation systems of the WMT 2021 news translation tasks. We made submissions to 9 language directions, including English leftrightarrow Chinese, Japanese, Russian, Icelandic and English rightarrow Hausa tasks. Our primary systems are built on several effective variants of Transformer, e.g., Transformer DLCL, ODE Transformer. We also utilize back translation, knowledge distillation, post ensemble, and iterative fine tuning techniques to enhance the model performance further.


Floer Novikov fundamental group and small flux symplectic isotopies. Floer theory relates the dynamics of Hamiltonian isotopies and the homology of the ambient manifold. It was extended to similarly relate the dynamics of symplectic isotopies and the Novikov homology associated to their flux. We discuss this picture regarding the fundamental group, and prove that when the flux is not too big, the associated Novikov fundamental group is generated by Floer moduli spaces associated to closed orbits of the symplectic isotopy.


Higher Order Neighborhood Truss Decomposition. k truss model is a typical cohesive subgraph model and has been received considerable attention recently. However, the k truss model only considers the direct common neighbors of an edge, which restricts its ability to reveal fine grained structure information of the graph. Motivated by this, in this paper, we propose a new model named (k, tau) truss that considers the higher order neighborhood ( tau hop) information of an edge. Based on the (k, tau) truss model, we study the higher order truss decomposition problem which computes the (k, tau) trusses for all possible k values regarding a given tau . Higher order truss decomposition can be used in the applications such as community detection and search, hierarchical structure analysis, and graph visualization. To address this problem, we first propose a bottom up decomposition paradigm in the increasing order of k values to compute the corresponding (k, tau) truss. Based on the bottom up decomposition paradigm, we further devise three optimization strategies to reduce the unnecessary computation. We evaluate our proposed algorithms on real datasets and synthetic datasets, the experimental results demonstrate the efficiency, effectiveness and scalability of our proposed algorithms.


On the Refinement of Certain Statistics on Alternating Words. In this paper, we investigate statistics on alternating words under correspondence between possible reflection paths within several layers of glass'' and alternating words''. For v (v 1,v 2, cdots,v n) in mathbb Z n , we say P is a path within n glass plates corresponding to v , if P has exactly v i reflections occurring at the i rm th plate for all i in 1,2, cdots,n . We give a recursion for the number of paths corresponding to v satisfying v in mathbb Z n and sum i geq 1 v i m . Also, we establish recursions for statistics around the number of paths corresponding to a given vector v in mathbb Z n and a closed form for n 3 . Finally, we give a equivalent condition for the existence of path corresponding to a given vector v .


Idempotent Fourier multipliers acting contractively on H p spaces. We describe the idempotent Fourier multipliers that act contractively on H p spaces of the d dimensional torus mathbb T d for d geq 1 and 1 leq p leq infty . When p is not an even integer, such multipliers are just restrictions of contractive idempotent multipliers on L p spaces, which in turn can be described by suitably combining results of Rudin and And o . When p 2(n 1) , with n a positive integer, contractivity depends in an interesting geometric way on n , d , and the dimension of the set of frequencies associated with the multiplier. Our results allow us to construct a linear operator that is densely defined on H p( mathbb T infty) for every 1 leq p leq infty and that extends to a bounded operator if and only if p 2,4, ldots,2(n 1) .


An Adaptive Honeypot Configuration, Deployment and Maintenance Strategy. Since honeypots first appeared as an advanced network security concept they suffer from poor deployment and maintenance strategies. State of the Art deployment is a manual process in which the honeypot needs to be configured and maintained by a network administrator. In this paper we present a method for a dynamic honeypot configuration, deployment and maintenance strategy based on machine learning techniques. Our method features an identification mechanism for machines and devices in a network. These entities are analysed and clustered. Based on the clusters, honeypots are intelligently deployed in the network. The proposed method needs no configuration and maintenance and is therefore a major advantage for the honeypot technology in modern network security.


EmpLite A Lightweight Sequence Labeling Model for Emphasis Selection of Short Texts. Word emphasis in textual content aims at conveying the desired intention by changing the size, color, typeface, style (bold, italic, etc.), and other typographical features. The emphasized words are extremely helpful in drawing the readers' attention to specific information that the authors wish to emphasize. However, performing such emphasis using a soft keyboard for social media interactions is time consuming and has an associated learning curve. In this paper, we propose a novel approach to automate the emphasis word detection on short written texts. To the best of our knowledge, this work presents the first lightweight deep learning approach for smartphone deployment of emphasis selection. Experimental results show that our approach achieves comparable accuracy at a much lower model size than existing models. Our best lightweight model has a memory footprint of 2.82 MB with a matching score of 0.716 on SemEval 2020 public benchmark dataset.


TADA Taxonomy Adaptive Domain Adaptation. Traditional domain adaptation addresses the task of adapting a model to a novel target domain under limited or no additional supervision. While tackling the input domain gap, the standard domain adaptation settings assume no domain change in the output space. In semantic prediction tasks, different datasets are often labeled according to different semantic taxonomies. In many real world settings, the target domain task requires a different taxonomy than the one imposed by the source domain. We therefore introduce the more general taxonomy adaptive domain adaptation (TADA) problem, allowing for inconsistent taxonomies between the two domains. We further propose an approach that jointly addresses the image level and label level domain adaptation. On the label level, we employ a bilateral mixed sampling strategy to augment the target domain, and a relabelling method to unify and align the label spaces. We address the image level domain gap by proposing an uncertainty rectified contrastive learning method, leading to more domain invariant and class discriminative features. We extensively evaluate the effectiveness of our framework under different TADA settings open taxonomy, coarse to fine taxonomy, and partially overlapping taxonomy. Our framework outperforms previous state of the art by a large margin, while capable of adapting to target taxonomies.


Discriminative and Semantic Feature Selection for Place Recognition towards Dynamic Environments. Features play an important role in various visual tasks, especially in visual place recognition applied in perceptual changing environments. In this paper, we address the challenges of place recognition due to dynamics and confusable patterns by proposing a discriminative and semantic feature selection network, dubbed as DSFeat. Supervised by both semantic information and attention mechanism, we can estimate pixel wise stability of features, indicating the probability of a static and stable region from which features are extracted, and then select features that are insensitive to dynamic interference and distinguishable to be correctly matched. The designed feature selection model is evaluated in place recognition and SLAM system in several public datasets with varying appearances and viewpoints. Experimental results conclude that the effectiveness of the proposed method. It should be noticed that our proposal can be readily pluggable into any feature based SLAM system.


Covering Symmetric Sets of the Boolean Cube by Affine Hyperplanes. Alon and F "uredi (European J. Combin., 1993) proved that any family of hyperplanes that covers every point of the Boolean cube 0,1 n except one must contain at least n hyperplanes. We obtain two extensions of this result, in characteristic zero, for hyperplane covers of symmetric sets of the Boolean cube (subsets that are closed under permutations of coordinates), as well as for polynomial covers' of weight determined' sets of strictly unimodal uniform' (SU 2 ) grids. As a main tool for solving our problems, we give a combinatorial characterization of (finite degree) Zariski (Z ) closures of symmetric sets of the Boolean cube the Z closure of a symmetric set is symmetric. In fact, we obtain a characterization that concerns, more generally, weight determined sets of SU 2 grids. However, in this generality, our characterization is not of the Z closures unlike over the Boolean cube, the Z closure of a weight determined set need not be weight determined. We introduce a new closure operator exclusively for weight determined sets the (finite degree) Z closure' defined to be the maximal weight determined set in the Z closure. (This coincides with the Z closure over the Boolean cube, for symmetric sets.) We obtain a combinatorial characterization of the finite degree Z closures of weight determined sets of an SU 2 grid. This characterization may also be of independent interest. Indeed, as further applications, we (i) give an alternate proof of a lemma by Alon et al. (IEEE Trans. Inform. Theory, 1988), and (ii) characterize the certifying degrees' of weight determined sets. Over the Boolean cube, our above characterization can also be derived using a result of Bernasconi and Egidi (Inf. Comput., 1999). However, our proof is independent of this result, works for all SU 2 grids, and could be regarded as being more combinatorial.


Lower bound on growth of non elementary subgroups in relatively hyperbolic groups. This paper proves that in a non elementary relatively hyperbolic group, the logarithm growth rate of any non elementary subgroup has a linear lower bound by the logarithm of the size of the corresponding generating set. As a consequence, any non elementary subgroup has uniform exponential growth.


Dynamic Analysis of ARINC 653 RTOS with LLVM. Existing standards for airborne embedded software systems impose a number of requirements applicable to the software development cycle of hard real time operating systems found in modern aircraft. The measures taken are meant to reduce the risks of undesired consequences, but have strongly varying costs. Dynamic instrumentation and static analysis are common practices used to automatically find software defects, from strictly non conforming code constructions to memory corruptions or invalid control flow. LLVM analyser and sanitizer infrastructure, while regularly applied to general purpose software, originally was not thought to be introduced to heavily restricted environments. In this paper we discuss the specifics of airborne systems with regards to dynamic instrumentation and provide practical considerations to be taken into account for the effective use of general purpose instrumentation tools. We bring a complete LLVM stack support to JetOS, a prospective onboard real time operating system currently being developed at ISP RAS in collaboration with GosNIIAS. As an example, we port AddressSanitizer, MemorySanitizer, and UndefinedBehaviorSanitizer and provide the details against the caveats on all relevant sides a sanitizer, a compiler, and an operating system. In addition we suggest uninvolved optimisations and enhancements to the runtimes to maximise the effects of the tools.


Optimisation and Paradoxical Decompositions. We present an optimisation problem defined using a measure preserving action by a group G on a compact probability space X. We show that this problem cannot be solved in any way measurable with respect to a finitely additive measure that extends the original probability measure and such that the group G remains measure preserving. The proof involves a computer performed analysis of a stochastic process. On the other hand, there are some non measurable solutions that induce some paradoxical decompositions of the space X. Additionally, we show that, for some small positive epsilon, epsilon stability also cannot be satisfied in such a measurable way. By epsilon stability, we mean that the expected gains from local deviations considered independently cannot exceed epsilon.


Unified Treatment for Scattering and Photoluminescence Properties of Strongly Coupled Metallic Nanoparticle Chains based on a Coupling Classic Harmonic Oscillator Model. We present a multimer coupling classic harmonic oscillator model to reveal the scattering and photoluminescence (PL) properties of metallic nanoparticle chains. Taking particle number from 1 to 6 as examples, we compare the calculated spectra with the experimental ones from other researchers' work, and they agree well with each other. Furthermore, scattering and PL properties are analyzed carefully varying with particle number n , coupling strength g and effective free electron number N . Results indicates larger red shift and smaller full width at half maximum (FWHM) of the scattering spectra with larger n or and larger g . Meanwhile, the splitting of PL modes increases as g increases, and the amplitudes are dependent on the excitation wavelength. This classic model is simple and shows a unified treatment for understanding the scattering and PL properties of multimer coupled systems.


Powers of graphs applications to resolutions of powers of monomial ideals. This paper is concerned with the question of whether geometric structures such as cell complexes can be used to simultaneously describe the minimal free resolutions of all powers of a monomial ideal. We provide a full answer in the case of square free monomial ideals of projective dimension one, by introducing a combinatorial construction of a family of (cubical) cell complexes whose 1 skeletons are powers of a graph that supports the resolution of the ideal.


Local Coherence of Hearts Associated with Thomason Filtrations. Any Thomason filtration of a commutative ring yields (at least) two t structures in the derived category of the ring, one of which is compactly generated Hrb20,HHZ21 . We study the hearts of these two t structures and prove that they coincide in case of a weakly bounded below filtration. Prompted by SS20 , in which it is proved that the heart of a compactly generated t structure in a triangulated category with coproduct is a locally finitely presented Grothendieck category, we study the local coherence of the hearts associated with a weakly bounded below Thomason filtration, achieving a useful recursive characterisation in case of a finite length filtration. Low length cases involve hereditary torsion classes of finite type of the ring, and even their Happel Reiten Smalo hearts in these cases, the relevant characterisations are given by few module theoretic conditions.


Probabilistic Box Embeddings for Uncertain Knowledge Graph Reasoning. Knowledge bases often consist of facts which are harvested from a variety of sources, many of which are noisy and some of which conflict, resulting in a level of uncertainty for each triple. Knowledge bases are also often incomplete, prompting the use of embedding methods to generalize from known facts, however, existing embedding methods only model triple level uncertainty, and reasoning results lack global consistency. To address these shortcomings, we propose BEUrRE, a novel uncertain knowledge graph embedding method with calibrated probabilistic semantics. BEUrRE models each entity as a box (i.e. axis aligned hyperrectangle) and relations between two entities as affine transforms on the head and tail entity boxes. The geometry of the boxes allows for efficient calculation of intersections and volumes, endowing the model with calibrated probabilistic semantics and facilitating the incorporation of relational constraints. Extensive experiments on two benchmark datasets show that BEUrRE consistently outperforms baselines on confidence prediction and fact ranking due to its probabilistic calibration and ability to capture high order dependencies among facts.


Hybrid approach to detecting symptoms of depression in social media entries. Sentiment and lexical analyses are widely used to detect depression or anxiety disorders. It has been documented that there are significant differences in the language used by a person with emotional disorders in comparison to a healthy individual. Still, the effectiveness of these lexical approaches could be improved further because the current analysis focuses on what the social media entries are about, and not how they are written. In this study, we focus on aspects in which these short texts are similar to each other, and how they were created. We present an innovative approach to the depression screening problem by applying Collgram analysis, which is a known effective method of obtaining linguistic information from texts. We compare these results with sentiment analysis based on the BERT architecture. Finally, we create a hybrid model achieving a diagnostic accuracy of 71 .


Unpacking Adherence and Engagement in Pervasive Health Games. Pervasive health games have a potential to impact health related behaviors. And, similar to other types of interventions, engagement and adherence in health games is the keystone for examining their short and long term effects. Many health based applications have turned to gamification principles specifically to. enhance their engagement. However, according to many reports, only 41 of participants are retained in single player games and 29 in social games after 90 days. These statistics raise multiple questions about factors influencing adherence and engagement. This paper presents an in depth mixed methods investigation of game design factors affecting engagement with and adherence to a pervasive commercial health game, called SpaPlay. We analyzed interview and game behavior log data using theoretical constructs of sustained engagement to identify design elements affecting engagement and adherence. Our findings indicate that design elements associated with autonomy. and relatedness from the Self Determination Theory and integrability, a measure of how well activities align with a person's life style, are important factors affecting engagement and adherence.


A geometrical view of Ulrich vector bundles. We study geometrical properties of an Ulrich vector bundle E of rank r on a smooth n dimensional variety X subseteq mathbb P N . We characterize ampleness of E and of det E in terms of the restriction to lines contained in X . We prove that all fibers of the map Phi E X to mathbb G (r 1, mathbb PH 0(E)) are linear spaces, as well as the projection on X of all fibers of the map varphi E mathbb P(E) to mathbb P H 0(E) . Then we get a number of consequences a characterization of bigness of E and of det E in terms of the maps Phi E and varphi E when det E is big and E is not big there are infinitely many linear spaces in X through any point of X when det E is not big, the fibers of Phi E and varphi E have the same dimension a classification of Ulrich vector bundles whose determinant has numerical dimension at most frac n 2 a classification of Ulrich vector bundles with det E of numerical dimension at most k on a linear mathbb P k bundle.


Learning Baseline Values for Shapley Values. This paper aims to formulate the problem of estimating the optimal baseline values for the Shapley value in game theory. The Shapley value measures the attribution of each input variable of a complex model, which is computed as the marginal benefit from the presence of this variable w.r.t.its absence under different contexts. To this end, people usually set the input variable to its baseline value to represent the absence of this variable (i.e.the no signal state of this variable). Previous studies usually determine the baseline values in an empirical manner, which hurts the trustworthiness of the Shapley value. In this paper, we revisit the feature representation of a deep model from the perspective of game theory, and define the multi variate interaction patterns of input variables to define the no signal state of an input variable. Based on the multi variate interaction, we learn the optimal baseline value of each input variable. Experimental results have demonstrated the effectiveness of our method.


Joint AP Probing and Scheduling A Contextual Bandit Approach. We consider a set of APs with unknown data rates that cooperatively serve a mobile client. The data rate of each link is i.i.d. sampled from a distribution that is unknown a priori. In contrast to traditional link scheduling problems under uncertainty, we assume that in each time step, the device can probe a subset of links before deciding which one to use. We model this problem as a contextual bandit problem with probing (CBwP) and present an efficient algorithm. We further establish the regret of our algorithm for links with Bernoulli data rates. Our CBwP model is a novel extension of the classic contextual bandit model and can potentially be applied to a large class of sequential decision making problems that involve joint probing and play under uncertainty.


Ensemble of CNN classifiers using Sugeno Fuzzy Integral Technique for Cervical Cytology Image Classification. Cervical cancer is the fourth most common category of cancer, affecting more than 500,000 women annually, owing to the slow detection procedure. Early diagnosis can help in treating and even curing cancer, but the tedious, time consuming testing process makes it impossible to conduct population wise screening. To aid the pathologists in efficient and reliable detection, in this paper, we propose a fully automated computer aided diagnosis tool for classifying single cell and slide images of cervical cancer. The main concern in developing an automatic detection tool for biomedical image classification is the low availability of publicly accessible data. Ensemble Learning is a popular approach for image classification, but simplistic approaches that leverage pre determined weights to classifiers fail to perform satisfactorily. In this research, we use the Sugeno Fuzzy Integral to ensemble the decision scores from three popular pretrained deep learning models, namely, Inception v3, DenseNet 161 and ResNet 34. The proposed Fuzzy fusion is capable of taking into consideration the confidence scores of the classifiers for each sample, and thus adaptively changing the importance given to each classifier, capturing the complementary information supplied by each, thus leading to superior classification performance. We evaluated the proposed method on three publicly available datasets, the Mendeley Liquid Based Cytology (LBC) dataset, the SIPaKMeD Whole Slide Image (WSI) dataset, and the SIPaKMeD Single Cell Image (SCI) dataset, and the results thus yielded are promising. Analysis of the approach using GradCAM based visual representations and statistical tests, and comparison of the method with existing and baseline models in literature justify the efficacy of the approach.


Statistical Characterization of Airplane Delays. The aviation industry is of great importance for a globally connected economy. Customer satisfaction with airlines and airport performance is considerably influenced by how much flights are delayed. But how should the delay be quantified with thousands of flights for each airport and airline? Here, we present a statistical analysis of arrival delays at several UK airports between 2018 and 2020. We establish a procedure to compare both mean delay and extreme events among airlines and airports, identifying a power law decay of large delays. Furthermore, we note drastic changes in plane delay statistics during the COVID 19 pandemic. Finally, we find that delays are described by a superposition of simple distributions, leading to a superstatistics.


Privacy Preserving Social Distancing Bracelet. This demo presents a functional Proof of Concept prototype of a smart bracelet that utilizes IoT and ML to help in the effort to contain pandemics such as COVID 19. The designed smart bracelet aids people to navigate life safely by monitoring health signs and detecting and alerting people when they violate social distancing regulations. In addition, the bracelet communicates with similar bracelets to keep track of recent contacts. Using RFID technology, the bracelet helps in automating access control to premises such as workplaces. All this is achieved while preserving the privacy of the users.


Accelerating Genome Sequence Analysis via Efficient Hardware Algorithm Co Design. Genome sequence analysis plays a pivotal role in enabling many medical and scientific advancements in personalized medicine, outbreak tracing, and forensics. However, the analysis of genome sequencing data is currently bottlenecked by the computational power and memory bandwidth limitations of existing systems. In this dissertation, we propose four major works, where we characterize the real system behavior of the genome sequence analysis pipeline and its associated tools, expose the bottlenecks and tradeoffs, and co design fast and efficient algorithms along with scalable and energy efficient customized hardware accelerators for the key bottlenecks to enable faster genome sequence analysis. First, we comprehensively analyze the tools in the genome assembly pipeline for long reads in multiple dimensions, uncovering bottlenecks and tradeoffs that different combinations of tools and different underlying systems lead to. Second, we propose GenASM, an acceleration framework that builds upon bitvector based approximate string matching to accelerate multiple steps of the genome sequence analysis pipeline. We co design our highly parallel, scalable and memory efficient algorithms with low power and area efficient hardware accelerators. Third, we implement an FPGA based prototype for GenASM, where state of the art 3D stacked memory offers high memory bandwidth and FPGA resources offer high parallelism. Fourth, we propose SeGraM, the first hardware acceleration framework for sequence to graph mapping and alignment. We co design algorithms and accelerators for memory efficient minimizer based seeding and bitvector based, highly parallel sequence to graph alignment. Overall, we demonstrate that genome sequence analysis can be accelerated by co designing scalable and energy efficient customized accelerators along with efficient algorithms for the key steps of genome sequence analysis.


Berry Esseen bound and Local Limit Theorem for the coefficients of products of random matrices. Let mu be a probability measure on text GL d( mathbb R ) and denote by S n g n cdots g 1 the associated random matrix product, where g j are i.i.d. with law mu . Under the assumptions that mu has a finite exponential moment and generates a proximal and strongly irreducible semigroup, we prove a Berry Esseen bound with the optimal rate O(1 sqrt n) and a general Local Limit Theorem for the coefficients of S n .


Perceptions and attitudes of Children and Young People to Artificial Intelligence in Medicine. There is increasing interest in Artificial Intelligence and its application to medicine. Perceptions are less well known, notably amongst children and young people. 21 members of a Young Persons Advisory Group for research, recommend creating an enabling environment with children and young people, through educational workshops with practical examples that use Artificial Intelligence to help, but not replace humans, address issues, build trust, and effectively communicate about potential opportunities.


GGNB Graph Based Gaussian Naive Bayes Intrusion Detection System for CAN Bus. The national highway traffic safety administration (NHTSA) identified cybersecurity of the automobile systems are more critical than the security of other information systems. Researchers already demonstrated remote attacks on critical vehicular electronic control units (ECUs) using controller area network (CAN). Besides, existing intrusion detection systems (IDSs) often propose to tackle a specific type of attack, which may leave a system vulnerable to numerous other types of attacks. A generalizable IDS that can identify a wide range of attacks within the shortest possible time has more practical value than attack specific IDSs, which is not a trivial task to accomplish. In this paper we propose a novel textbf g raph based textbf G aussian textbf n aive textbf B ayes (GGNB) intrusion detection algorithm by leveraging graph properties and PageRank related features. The GGNB on the real rawCAN data set cite Lee 2017 yields 99.61 , 99.83 , 96.79 , and 96.20 detection accuracy for denial of service (DoS), fuzzy, spoofing, replay, mixed attacks, respectively. Also, using OpelAstra data set cite Guillaume 2019 , the proposed methodology has 100 , 99.85 , 99.92 , 100 , 99.92 , 97.75 and 99.57 detection accuracy considering DoS, diagnostic, fuzzing CAN ID, fuzzing payload, replay, suspension, and mixed attacks, respectively. The GGNB based methodology requires about 239 times and 135 times lower training and tests times, respectively, compared to the SVM classifier used in the same application. Using Xilinx Zybo Z7 field programmable gate array (FPGA) board, the proposed GGNB requires 5.7 times , 5.9 times , 5.1 times , and 3.6 times fewer slices, LUTs, flip flops, and DSP units, respectively, than conventional NN architecture.


Learning to Select External Knowledge with Multi Scale Negative Sampling. The Track 1 of DSTC9 aims to effectively answer user requests or questions during task oriented dialogues, which are out of the scope of APIs DB. By leveraging external knowledge resources, relevant information can be retrieved and encoded into the response generation for these out of API coverage queries. In this work, we have explored several advanced techniques to enhance the utilization of external knowledge and boost the quality of response generation, including schema guided knowledge decision, negatives enhanced knowledge selection, and knowledge grounded response generation. To evaluate the performance of our proposed method, comprehensive experiments have been carried out on the publicly available dataset. Our approach was ranked as the best in human evaluation of DSTC9 Track 1.


CH 4 reforming with CO 2 in a nanosecond pulsed discharge. The importance of the pulse sequence. The plasma dry reforming reaction of methane with carbon dioxide is investigated in a nanosecond repetitively pulsed discharge, a type of plasma that offers one of the highest non equilibrium and performance characteristics. The experiment's purpose was to examine the effect of varying the sequence of high voltage pulses for the same plasma energy. We find that when successive pulses are closer than 500 rm mu s, a memory dominated regime gradually develops, which influences subsequent breakdown events. As a result, both a higher reactant conversion and more efficient use of the energy injected into the discharge plasma are achieved.


A graphical algorithm for the integration of monomials in the Chow ring of the moduli space of stable marked curves of genus zero. The Chow group of zero cycles in the moduli space of stable pointed curves of genus zero is isomorphic to the integer additive group. Let M be monomial in this Chow group. If no two factors of M fulfill a particular quadratic relation, then the monomial can be represented equivalently by a specific tree otherwise, M is mapped to zero under the stated isomorphism. Starting from this tree representation, we introduce a graphical algorithm for computing the corresponding integer for M under the aforementioned isomorphism. The algorithm is linear with respect to the size of the tree.


From Machine Learning to Transfer Learning in Laser Induced Breakdown Spectroscopy the Case of Rock Analysis for Mars Exploration. With the ChemCam instrument, laser induced breakdown spectroscopy (LIBS) has successively contributed to Mars exploration by determining elemental compositions of the soil, crust and rocks. Two new lunched missions, Chinese Tianwen 1 and American Perseverance, will further increase the number of LIBS instruments on Mars after the planned landings in spring 2021. Such unprecedented situation requires a reinforced research effort on the methods of LIBS spectral data treatment. Although the matrix effects correspond to a general issue in LIBS, they become accentuated in the case of rock analysis for Mars exploration, because of the large variation of rock composition leading to the chemical matrix effect, and the difference in morphology between laboratory standard samples (in pressed pellet, glass or ceramics) used to establish calibration models and natural rocks encountered on Mars, leading to the physical matric effect. The chemical matrix effect has been tackled in the ChemCam project with large sets of laboratory standard samples offering a good representation of various compositions of Mars rocks. The present work deals with the physical matrix effect which is still expecting a satisfactory solution. The approach consists in introducing transfer learning in LIBS data treatment. For the specific case of total alkali silica (TAS) classification of natural rocks, the results show a significant improvement of the prediction capacity of pellet sample based models when trained together with suitable information from rocks in a procedure of transfer learning. The correct classification rate of rocks increases from 33.3 with a machine learning model to 83.3 with a transfer learning model.


A Lightweight Concept Drift Detection and Adaptation Framework for IoT Data Streams. In recent years, with the increasing popularity of "Smart Technology", the number of Internet of Things (IoT) devices and systems have surged significantly. Various IoT services and functionalities are based on the analytics of IoT streaming data. However, IoT data analytics faces concept drift challenges due to the dynamic nature of IoT systems and the ever changing patterns of IoT data streams. In this article, we propose an adaptive IoT streaming data analytics framework for anomaly detection use cases based on optimized LightGBM and concept drift adaptation. A novel drift adaptation method named Optimized Adaptive and Sliding Windowing (OASW) is proposed to adapt to the pattern changes of online IoT data streams. Experiments on two public datasets show the high accuracy and efficiency of our proposed adaptive LightGBM model compared against other state of the art approaches. The proposed adaptive LightGBM model can perform continuous learning and drift adaptation on IoT data streams without human intervention.


Effect of symmetry defect on the edge resonance of semi infinite FGM plates. The effect of asymmetric functionally graded material on the edge resonance and the Fano resonance in semi infinite FGM plates are reported in this work. The edge resonance is weakened by the material perturbation and the complete mode conversion is illustrated with incident S 0 mode. The Fano resonance occurs on the reflected A 0 mode as a result of interference between the resonance and direct scattering with incident A 0 mode. A hybrid analytical model based on the collocation discretization and the modal decomposition of the elastic field is developed to analyze the scattering properties of the semi infinite plates. The Fano line shape is discussed in detail. The results show that the Fano line shape is sensitive to the volume fraction, which is beneficial for the quantitative guided wave application.


The Interaction Flow Editor A New Human Robot Interaction Rapid Prototyping Interface. Human robot interaction can be regarded as a flow between users and robots. Designing good interaction flows takes a lot of effort and needs to be field tested. Unfortunately, the interaction flow design process is often very disjointed, with users experiencing prototypes, designers forming those prototypes, and developers implementing them as independent processes. In this paper, we present the Interaction Flow Editor (IFE), a new human robot interaction prototyping tool that enables everyday users to create and modify their own interactions, while still providing a full suite of features that is powerful enough for developers and designers to create complex interactions. We also discuss the Flow Engine, a flexible and adaptable framework for executing robot interaction flows authors through the IFE. Finally, we present our case study results that demonstrates how older adults, aged 70 and above, can design and iterate interactions in real time on a robot using the IFE.


Chop Chop BERT Visual Question Answering by Chopping VisualBERT's Heads. Vision and Language (VL) pre training has shown great potential on many related downstream tasks, such as Visual Question Answering (VQA), one of the most popular problems in the VL field. All of these pre trained models (such as VisualBERT, ViLBERT, LXMERT and UNITER) are built with Transformer, which extends the classical attention mechanism to multiple layers and heads. To investigate why and how these models work on VQA so well, in this paper we explore the roles of individual heads and layers in Transformer models when handling 12 different types of questions. Specifically, we manually remove (chop) heads (or layers) from a pre trained VisualBERT model at a time, and test it on different levels of questions to record its performance. As shown in the interesting echelon shape of the result matrices, experiments reveal different heads and layers are responsible for different question types, with higher level layers activated by higher level visual reasoning questions. Based on this observation, we design a dynamic chopping module that can automatically remove heads and layers of the VisualBERT at an instance level when dealing with different questions. Our dynamic chopping module can effectively reduce the parameters of the original model by 50 , while only damaging the accuracy by less than 1 on the VQA task.


Addressing Deep Learning Model Uncertainty in Long Range Climate Forecasting with Late Fusion. Global warming leads to the increase in frequency and intensity of climate extremes that cause tremendous loss of lives and property. Accurate long range climate prediction allows more time for preparation and disaster risk management for such extreme events. Although machine learning approaches have shown promising results in long range climate forecasting, the associated model uncertainties may reduce their reliability. To address this issue, we propose a late fusion approach that systematically combines the predictions from multiple models to reduce the expected errors of the fused results. We also propose a network architecture with the novel denormalization layer to gain the benefits of data normalization without actually normalizing the data. The experimental results on long range 2m temperature forecasting show that the framework outperforms the 30 year climate normals, and the accuracy can be improved by increasing the number of models.


Existence of co rotating and travelling vortex patches with doubly connected components for active scalar equations. By applying implicit function theorem on contour dynamics, we prove the existence of co rotating and travelling patch solutions for both Euler and the generalized surface quasi geostrophic equation. The solutions obtained constitute a desingularization of points vortices when the size of patch support vanishes. In particular, solutions constructed in this paper consist of doubly connected components, which is essentially different from all known results.


A note on extremal digraphs containing at most t walks of length k with the same endpoints. Let n,k,t be positive integers. What is the maximum number of arcs in a digraph on n vertices in which there are at most t distinct walks of length k with the same endpoints? In this paper, we prove that the maximum number is equal to n(n 1) 2 and the extremal digraph are the transitive tournaments when k ge n 1 ge max 2t 1,2 left lceil sqrt 2t 9 4 1 2 right rceil 3 . Based on this result, we may determine the maximum numbers and the extremal digraphs for k ge max 2t 1,2 left lceil sqrt 2t 9 4 1 2 right rceil 3 and n is sufficiently large, which generalises the existing results. A conjecture is also presented.


Learning Effective and Efficient Embedding via an Adaptively Masked Twins based Layer. Embedding learning for categorical features is crucial for the deep learning based recommendation models (DLRMs). Each feature value is mapped to an embedding vector via an embedding learning process. Conventional methods configure a fixed and uniform embedding size to all feature values from the same feature field. However, such a configuration is not only sub optimal for embedding learning but also memory costly. Existing methods that attempt to resolve these problems, either rule based or neural architecture search (NAS) based, need extensive efforts on the human design or network training. They are also not flexible in embedding size selection or in warm start based applications. In this paper, we propose a novel and effective embedding size selection scheme. Specifically, we design an Adaptively Masked Twins based Layer (AMTL) behind the standard embedding layer. AMTL generates a mask vector to mask the undesired dimensions for each embedding vector. The mask vector brings flexibility in selecting the dimensions and the proposed layer can be easily added to either untrained or trained DLRMs. Extensive experimental evaluations show that the proposed scheme outperforms competitive baselines on all the benchmark tasks, and is also memory efficient, saving 60 memory usage without compromising any performance metrics.


Catching a fast robber on a grid. We consider a variant of Cops and Robbers in which the robber may traverse as many edges as he likes in each turn, with the constraint that he cannot pass through any vertex occupied by a cop. We study this model on several classes of grid like graphs. In particular, we determine the cop numbers for two dimensional Cartesian grids and tori up to an additive constant, and we give asymptotic bounds for the cop numbers of higher dimensional grids and hypercubes.


Optimization and uncertainty quantification model for time continuous geothermal energy extraction undergoing re injection. Geothermal field modeling is often associated with uncertainties related to the subsurface static properties and the dynamics of fluid flow and heat transfer. Uncertainty quantification using simulations is a useful tool to design optimum field development and to guide decision making. The optimization process includes assessments of multiple time dependent flow mechanisms, which are functions of operational parameters subject to subsurface uncertainties. This process requires careful determination of the parameter ranges, dependencies, and their probabilistic distribution functions. This study presents a new approach to assess time dependent predictions of thermal recovery and produced enthalpy rates, including uncertainty quantification and optimization. We use time continuous and multi objective uncertainty quantification for geothermal recovery, undergoing a water re injection scheme. The ranges of operational and uncertainty parameters are determined from a collected database, including 135 geothermal fields worldwide. The uncertainty calculation is conducted non intrusively, based on a workflow that couples low fidelity models with Monte Carlo analysis. Full physics reservoir simulations are used to construct and verify the low fidelity models. The sampling process is performed with Design of Experiments, enhanced with space filling, and combined with analysis of covariance to capture parameter dependencies. The predicted thermal recovery and produced enthalpy rates are then evaluated as functions of the significant uncertainty parameters based on dimensionless groups. The workflow is applied for various geothermal fields to assess their optimum well spacing in their well configuration. This approach offers an efficient and robust workflow for time continuous uncertainty quantification and global sensitivity analysis applied for geothermal field modeling and optimization.


When Interactive Graphic Storytelling Fails. Many people are unaware of the digital dangers that lie around each cyber corner. Teaching people how to recognize dangerous situations is crucial, especially for those who work on or with computers. We postulated that interactive graphic vignettes could be a great way to expose professionals to dangerous situations and demonstrate the effects of their choices in these situations. In that way, we aimed to inoculate employees against cybersecurity threats. We used the Comic BEE platform to create interactive security awareness vignettes and evaluated for how employees of a major industrial company perceived them. For analysing the potential of these comics, we ran an evaluation study as part of a capture the flag (CTF) event, an interactive exercise for hacking vulnerable software. We evaluated whether the comics fulfilled our requirements based on the responses of the participants. We showed the comics, on various cybersecurity concepts, to 20 volunteers. In the context of a CTF event, our requirements were not fulfilled. Most participants considered the images distracting, stating a preference for text only material.


A feasibility study of using X ray Thomson Scattering to diagnose the in flight plasma conditions of DT cryogenic implosions. The design of inertial confinement fusion (ICF) ignition targets requires radiation hydrodynamics simulations with accurate models of the fundamental material properties (i.e., equation of state, opacity, and conductivity). Validation of these models are required via experimentation. A feasibility study of using spatially integrated, spectrally resolved, X ray Thomson scattering (XRTS) measurements to diagnose the temperature, density, and ionization of the compressed DT shell and hot spot of a laser direct drive implosion at two thirds convergence was conducted. Synthetic scattering spectra were generated using 1 D implosion simulations from the LILAC code that were post processed with the X ray Scattering (XRS) model which is incorporated within SPECT3D. Analysis of two extreme adiabat capsule conditions showed that the plasma conditions for both compressed DT shells could be resolved.


Diffeomorphisms and positive curvature. We prove the existence of elements of infinite order in the homotopy groups of the spaces mathcal R Ric 0 (M) and mathcal R sec 0 (M) of positive Ricci and positive sectional curvature, provided that M is high dimensional and Spin, admits such a metric and has a non vanishing rational Pontryagin class.


Observations of Ultrafast Superfluorescent Beatings in a Cesium Atomic Vapor Excited by Femtosecond Laser Pulses. Spontaneous emission from individual atoms in vapor lasts nanoseconds, if not microseconds, and beatings in this emission involve only directly excited energy sublevels. In contrast, the superfluorescent emissions burst on a much reduced timescale and their beatings involve both directly and indirectly excited energy sublevels. In this work, picosecond and femtosecond superfluorescent beatings are observed from a dense cesium atomic vapor. Cesium atoms are excited by 60 femtosecond long, 800 nm laser pulses via two photon processes into their coherent superpositions of the ground 6S and excited 8S states. As a part of the transient four wave mixing process, the yoked superfluorescent blue light at lower transitions of 6S 7P are recorded and studied. Delayed buildup time of this blue light is measured as a function of the input laser beam power using a high resolution 2 ps streak camera. The power dependent buildup delay time is consistently doubled as the vapor temperature is lowered to cut the number of atoms by half. At low power and density, a beating with a period of 100 picoseconds representing the ground state splitting is observed. The autocorrelation measurements of the generated blue light exhibit a beating with a quasi period of 230 fs corresponding to the splitting of the 7P level primarily at lower input laser power. Understanding and, eventually, controlling the intriguing nature of superfluorescent beatings may permit a rapid quantum operation free from the rather slow spontaneous emission processes from atoms and molecules.


On minimal generating sets for the mapping class group of a punctured surface. Let Sigma g,p be a oriented connected surface of genus g with p punctures. We denote by mathcal M g,p and mathcal M g,p pm the mapping class group and the extended mapping class group of Sigma g,p , respectively. In this paper, we show that mathcal M g,p and mathcal M g,p pm are generated by two element for g geq 3 and p geq 0 .


RECOWNs Probabilistic Circuits for Trustworthy Time Series Forecasting. Time series forecasting is a relevant task that is performed in several real world scenarios such as product sales analysis and prediction of energy demand. Given their accuracy performance, currently, Recurrent Neural Networks (RNNs) are the models of choice for this task. Despite their success in time series forecasting, less attention has been paid to make the RNNs trustworthy. For example, RNNs can not naturally provide an uncertainty measure to their predictions. This could be extremely useful in practice in several cases e.g. to detect when a prediction might be completely wrong due to an unusual pattern in the time series. Whittle Sum Product Networks (WSPNs), prominent deep tractable probabilistic circuits (PCs) for time series, can assist an RNN with providing meaningful probabilities as uncertainty measure. With this aim, we propose RECOWN, a novel architecture that employs RNNs and a discriminant variant of WSPNs called Conditional WSPNs (CWSPNs). We also formulate a Log Likelihood Ratio Score as better estimation of uncertainty that is tailored to time series and Whittle likelihoods. In our experiments, we show that RECOWNs are accurate and trustworthy time series predictors, able to "know when they do not know".


Preludes to the Eilenberg Moore and the Leray Serre spectral sequences. The Leray Serre and the Eilenberg Moore spectral sequence are fundamental tools for computing the cohomology of a group or, more generally, of a space. We describe the relationship between these two spectral sequences when both of them share the same abutment. There exists a joint tri graded refinement of the Leray Serre and the Eilenberg Moore spectral sequence. This refinement involves two more spectral sequences, the preludes from the title, which abut to the initial terms of the Leray Serre and the Eilenberg Moore spectral sequence, respectively. We show that one of these always degenerates from its second page on and that the other one satisfies a local to global property It degenerates for all possible base spaces if and only if it does so when the base space is contractible. When the preludes degenerate early enough, they appear to echo Deligne's d 'ecalage, but in general, this is an illusion. We discuss several principal fibrations to illustrate the possible cases and give applications, in particular, to Lie groups, torus bundles, and generalizations.


The Power of Many A Physarum Swarm Steiner Tree Algorithm. We create a novel Physarum Steiner algorithm designed to solve the Euclidean Steiner tree problem. Physarum is a unicellular slime mold with the ability to form networks and fuse with other Physarum organisms. We use the simplicity and fusion of Physarum to create large swarms which independently operate to solve the Steiner problem. The Physarum Steiner tree algorithm then utilizes a swarm of Physarum organisms which gradually find terminals and fuse with each other, sharing intelligence. The algorithm is also highly capable of solving the obstacle avoidance Steiner tree problem and is a strong alternative to the current leading algorithm. The algorithm is of particular interest due to its novel approach, rectilinear properties, and ability to run on varying shapes and topological surfaces.


EUCA the End User Centered Explainable AI Framework. The ability to explain decisions to end users is a necessity to deploy AI as critical decision support. Yet making AI explainable to non technical end users is a relatively ignored and challenging problem. To bridge the gap, we first identify twelve end user friendly explanatory forms that do not require technical knowledge to comprehend, including feature , example , and rule based explanations. We then instantiate the explanatory forms as prototyping cards in four AI assisted critical decision making tasks, and conduct a user study to co design low fidelity prototypes with 32 layperson participants. The results confirm the relevance of using explanatory forms as building blocks of explanations, and identify their proprieties pros, cons, applicable explanation goals, and design implications. The explanatory forms, their proprieties, and prototyping supports (including a suggested prototyping process, design templates and exemplars, and associated algorithms to actualize explanatory forms) constitute the End User Centered explainable AI framework EUCA, and is available at http weinajin.github.io end user xai . It serves as a practical prototyping toolkit for HCI AI practitioners and researchers to understand user requirements and build end user centered explainable AI.


Stability of syzygy bundles on smooth projective varieties. We prove that the kernel bundle of the evaluation morphism of global sections, namely the syzygy bundle, of a sufficiently ample line bundle on a smooth projective variety is slope stable with respect to any polarization. This settles a conjecture of Ein Lazarsfeld Mustopa.


Approximation algorithms for 1 Wasserstein distance between persistence diagrams. Recent years have witnessed a tremendous growth using topological summaries, especially the persistence diagrams (encoding the so called persistent homology) for analyzing complex shapes. Intuitively, persistent homology maps a potentially complex input object (be it a graph, an image, or a point set and so on) to a unified type of feature summary, called the persistence diagrams. One can then carry out downstream data analysis tasks using such persistence diagram representations. A key problem is to compute the distance between two persistence diagrams efficiently. In particular, a persistence diagram is essentially a multiset of points in the plane, and one popular distance is the so called 1 Wasserstein distance between persistence diagrams. In this paper, we present two algorithms to approximate the 1 Wasserstein distance for persistence diagrams in near linear time. These algorithms primarily follow the same ideas as two existing algorithms to approximate optimal transport between two finite point sets in Euclidean spaces via randomly shifted quadtrees. We show how these algorithms can be effectively adapted for the case of persistence diagrams. Our algorithms are much more efficient than previous exact and approximate algorithms, both in theory and in practice, and we demonstrate its efficiency via extensive experiments. They are conceptually simple and easy to implement, and the code is publicly available in github.


NinjaDesc Content Concealing Visual Descriptors via Adversarial Learning. In the light of recent analyses on privacy concerning scene revelation from visual descriptors, we develop descriptors that conceal the input image content. In particular, we propose an adversarial learning framework for training visual descriptors that prevent image reconstruction, while maintaining the matching accuracy. We let a feature encoding network and image reconstruction network compete with each other, such that the feature encoder tries to impede the image reconstruction with its generated descriptors, while the reconstructor tries to recover the input image from the descriptors. The experimental results demonstrate that the visual descriptors obtained with our method significantly deteriorate the image reconstruction quality with minimal impact on correspondence matching and camera localization performance.


The generalized doubling method (k,c) models. One of the key ingredients in the recent construction of the generalized doubling method is a new class of models, called (k,c) models, for local components of generalized Speh representations. We construct a family of (k,c) representations, in a purely local setting, and discuss their realizations using inductive formulas. Our main result is a uniqueness theorem which is essential for the proof that the generalized doubling integral is Eulerian.


Matrix representation of meet irreducible discrete copulas. Following Aguil ' o Su n er Torrens (2008), Koles ' a rov ' a Mesiar Mordelov ' a Sempi (2006) and Mayor Su n er Torrens (2005), we continue to develop a theory of matrix representation for discrete copulas. To be more precise, we give characterizations of meet irreducible discrete copulas from an order theoretical aspect we show that the set of all irreducible discrete copulas is a lattice in analogy with Nelsen and ' U beda Flores (2005). Moreover, we clarify its lattice structure related to Kendall's tau and Spearman's rho borrowing ideas from Coxeter groups.


Automatic Landmarks Correspondence Detection in Medical Images with an Application to Deformable Image Registration. Deformable Image Registration (DIR) can benefit from additional guidance using corresponding landmarks in the images. However, the benefits thereof are largely understudied, especially due to the lack of automatic detection methods for corresponding landmarks in three dimensional (3D) medical images. In this work, we present a Deep Convolutional Neural Network (DCNN), called DCNN Match, that learns to predict landmark correspondences in 3D images in a self supervised manner. We explored five variants of DCNN Match that use different loss functions and tested DCNN Match separately as well as in combination with the open source registration software Elastix to assess its impact on a common DIR approach. We employed lower abdominal Computed Tomography (CT) scans from cervical cancer patients 121 pelvic CT scan pairs containing simulated elastic transformations and 11 pairs demonstrating clinical deformations. Our results show significant improvement in DIR performance when landmark correspondences predicted by DCNN Match were used in case of simulated as well as clinical deformations. We also observed that the spatial distribution of the automatically identified landmarks and the associated matching errors affect the extent of improvement in DIR. Finally, DCNN Match was found to generalize well to Magnetic Resonance Imaging (MRI) scans without requiring retraining, indicating easy applicability to other datasets.


Scene Graph Generation with Geometric Context. Scene Graph Generation has gained much attention in computer vision research with the growing demand in image understanding projects like visual question answering, image captioning, self driving cars, crowd behavior analysis, activity recognition, and more. Scene graph, a visually grounded graphical structure of an image, immensely helps to simplify the image understanding tasks. In this work, we introduced a post processing algorithm called Geometric Context to understand the visual scenes better geometrically. We use this post processing algorithm to add and refine the geometric relationships between object pairs to a prior model. We exploit this context by calculating the direction and distance between object pairs. We use Knowledge Embedded Routing Network (KERN) as our baseline model, extend the work with our algorithm, and show comparable results on the recent state of the art algorithms.


XPROAX Local explanations for text classification with progressive neighborhood approximation. The importance of the neighborhood for training a local surrogate model to approximate the local decision boundary of a black box classifier has been already highlighted in the literature. Several attempts have been made to construct a better neighborhood for high dimensional data, like texts, by using generative autoencoders. However, existing approaches mainly generate neighbors by selecting purely at random from the latent space and struggle under the curse of dimensionality to learn a good local decision boundary. To overcome this problem, we propose a progressive approximation of the neighborhood using counterfactual instances as initial landmarks and a careful 2 stage sampling approach to refine counterfactuals and generate factuals in the neighborhood of the input instance to be explained. Our work focuses on textual data and our explanations consist of both word level explanations from the original instance (intrinsic) and the neighborhood (extrinsic) and factual and counterfactual instances discovered during the neighborhood generation process that further reveal the effect of altering certain parts in the input text. Our experiments on real world datasets demonstrate that our method outperforms the competitors in terms of usefulness and stability (for the qualitative part) and completeness, compactness and correctness (for the quantitative part).


Logspace Sequential Quadratic Programming for Design Optimization. A novel approach to exploiting the log convex structure present in many design problems is developed by modifying the classical Sequential Quadratic Programming (SQP) algorithm. The modified algorithm, Logspace Sequential Quadratic Programming (LSQP), inherits some of the computational efficiency exhibited by log convex methods such as Geometric Programing and Signomial Programing, but retains the the natural integration of black box analysis methods from SQP. As a result, significant computational savings is achieved without the need to invasively modify existing black box analysis methods prevalent in practical design problems. In the cases considered here, the LSQP algorithm shows a 40 70 reduction in number of iterations compared to SQP.