Mind Your Clever Neighbours Unsupervised Person Re identification via Adaptive Clustering Relationship Modeling. Unsupervised person re identification (Re ID) attracts increasing attention due to its potential to resolve the scalability problem of supervised Re ID models. Most existing unsupervised methods adopt an iterative clustering mechanism, where the network was trained based on pseudo labels generated by unsupervised clustering. However, clustering errors are inevitable. To generate high quality pseudo labels and mitigate the impact of clustering errors, we propose a novel clustering relationship modeling framework for unsupervised person Re ID. Specifically, before clustering, the relation between unlabeled images is explored based on a graph correlation learning (GCL) module and the refined features are then used for clustering to generate high quality pseudo labels.Thus, GCL adaptively mines the relationship between samples in a mini batch to reduce the impact of abnormal clustering when training. To train the network more effectively, we further propose a selective contrastive learning (SCL) method with a selective memory bank update policy. Extensive experiments demonstrate that our method shows much better results than most state of the art unsupervised methods on Market1501, DukeMTMC reID and MSMT17 datasets. We will release the code for model reproduction.


Semi Supervised Domain Generalization with Stochastic StyleMatch. Ideally, visual learning algorithms should be generalizable, for dealing with any unseen domain shift when deployed in a new target environment and data efficient, for reducing development costs by using as little labels as possible. To this end, we study semi supervised domain generalization (SSDG), which aims to learn a domain generalizable model using multi source, partially labeled training data. We design two benchmarks that cover state of the art methods developed in two related fields, i.e., domain generalization (DG) and semi supervised learning (SSL). We find that the DG methods, which by design are unable to handle unlabeled data, perform poorly with limited labels in SSDG the SSL methods, especially FixMatch, obtain much better results but are still far away from the basic vanilla model trained using full labels. We propose StyleMatch, a simple approach that extends FixMatch with a couple of new ingredients tailored for SSDG 1) stochastic modeling for reducing overfitting in scarce labels, and 2) multi view consistency learning for enhancing domain generalization. Despite the concise designs, StyleMatch achieves significant improvements in SSDG. We hope our approach and the comprehensive benchmarks can pave the way for future research on generalizable and data efficient learning systems. The source code is released at url https github.com KaiyangZhou ssdg benchmark .


Interpreting NMR dynamic parameters via the separation of reorientational motion in MD simulation. Reorientational dynamics motion defined by changes in the direction of a vector or tensor determine relaxation behavior in nuclear magnetic resonance (NMR). However, if multiple processes exist that result in reorientation, then analyzing the net effects becomes a complex task, so that one ideally would separate those motions to simplify analysis. The model free and two step approaches have established the separability of the total correlation function of reorientation motion into contributions from statistically independent motions. Separability has been used to justify the analysis of experimental relaxation rate constants by fitting data to a total correlation function resulting from the product of two or three individual correlation functions, each representing an independent motion. The resulting parameters are used to describe motion in the molecule, but if multiple internal motions are present, interpreting those parameters is not trivial. We suggest an alternative approach quantitative and timescale specific comparison of experiment and simulation, as previously established using the detector analysis. This is followed by separation of simulated correlation functions into independent motions, and timescale specific parameterization of the results, such that one may determine how each motion contributes to experimental parameters. We establish protocols for the separation of the correlation function into components using coordinates from molecular dynamics simulation. Separation is achieved by defining a series of frames, where the frames iteratively split the total motion into contributions from motion within each frame and of each frame. Then timescale specific parameters (e.g. detector responses) describing the total motion may be interpreted in terms of the timescale specific parameterization of the individual motions.


Understanding the Effect of Bias in Deep Anomaly Detection. Anomaly detection presents a unique challenge in machine learning, due to the scarcity of labeled anomaly data. Recent work attempts to mitigate such problems by augmenting training of deep anomaly detection models with additional labeled anomaly samples. However, the labeled data often does not align with the target distribution and introduces harmful bias to the trained model. In this paper, we aim to understand the effect of a biased anomaly set on anomaly detection. Concretely, we view anomaly detection as a supervised learning task where the objective is to optimize the recall at a given false positive rate. We formally study the relative scoring bias of an anomaly detector, defined as the difference in performance with respect to a baseline anomaly detector. We establish the first finite sample rates for estimating the relative scoring bias for deep anomaly detection, and empirically validate our theoretical results on both synthetic and real world datasets. We also provide an extensive empirical study on how a biased training anomaly set affects the anomaly score function and therefore the detection performance on different anomaly classes. Our study demonstrates scenarios in which the biased anomaly set can be useful or problematic, and provides a solid benchmark for future research.


On Seven Fundamental Optimization Challenges in Machine Learning. Many recent successes of machine learning went hand in hand with advances in optimization. The exchange of ideas between these fields has worked both ways, with machine learning building on standard optimization procedures such as gradient descent, as well as with new directions in the optimization theory stemming from machine learning applications. In this thesis, we discuss new developments in optimization inspired by the needs and practice of machine learning, federated learning, and data science. In particular, we consider seven key challenges of mathematical optimization and develop a solution to each. Our first contribution is the resolution of a key open problem in Federated Learning we establish the first theoretical guarantees for the famous Local SGD algorithm in the heterogeneous data regime. As the second challenge, we close the gap between the upper and lower bounds for the theory of two algorithms known as Random Reshuffling (RR) and Shuffle Once that are widely used in practice, and set as the default data selection strategies for SGD in modern machine learning software. Our third contribution can be seen as a combination of our new theory for proximal RR and Local SGD yielding a new algorithm, which we call FedRR. Unlike Local SGD, FedRR can provably beat gradient descent in communication complexity in the heterogeneous data regime. The fourth challenge is related to the class of adaptive methods. In particular, we present the first parameter free stepsize rule for gradient descent that provably works for any locally smooth convex objective. The fifth challenge is the development of an algorithm for distributed optimization with quantized updates that preserves linear convergence of gradient descent. Finally, in our sixth and seventh challenges, we develop new VR mechanisms applicable to the non smooth setting based on proximal operators.


The inviscid limit for the 2d Navier Stokes equations in bounded domains. We prove the inviscid limit for the incompressible Navier Stokes equations for data that are analytic only near the boundary in a general two dimensional bounded domain. Our proof is direct, using the vorticity formulation with a nonlocal boundary condition, the explicit semigroup of the linear Stokes problem near the flatten boundary, and the standard wellposedness theory of Navier Stokes equations in Sobolev spaces away from the boundary.


On q ary shortened 1 perfect like codes. We study codes with parameters of q ary shortened Hamming codes, i.e., (n (q m q) (q 1), q n m , 3) q . At first, we prove the fact mentioned in A.E.Brouwer et al. Bounds on mixed binary ternary codes. IEEE Trans. Inf. Theory 44 (1998) 140 161 that such codes are optimal, generalizing it to a bound for multifold packings of radius 1 balls, with a corollary for multiple coverings. In particular, we show that the punctured Hamming code is an optimal q fold packing with minimum distance 2 . At second, we show the existence of 4 ary codes with parameters of shortened 1 perfect codes that cannot be obtained by shortening a 1 perfect code. Keywords Hamming graph multifold packings multiple coverings perfect codes.


Going Full TILT Boogie on Document Understanding with Text Image Layout Transformer. We address the challenging problem of Natural Language Comprehension beyond plain text documents by introducing the TILT neural network architecture which simultaneously learns layout information, visual features, and textual semantics. Contrary to previous approaches, we rely on a decoder capable of unifying a variety of problems involving natural language. The layout is represented as an attention bias and complemented with contextualized visual information, while the core of our model is a pretrained encoder decoder Transformer. Our novel approach achieves state of the art results in extracting information from documents and answering questions which demand layout understanding (DocVQA, CORD, SROIE). At the same time, we simplify the process by employing an end to end model.


Revisiting Contrastive Learning through the Lens of Neighborhood Component Analysis an Integrated Framework. As a seminal tool in self supervised representation learning, contrastive learning has gained unprecedented attention in recent years. In essence, contrastive learning aims to leverage pairs of positive and negative samples for representation learning, which relates to exploiting neighborhood information in a feature space. By investigating the connection between contrastive learning and neighborhood component analysis (NCA), we provide a novel stochastic nearest neighbor viewpoint of contrastive learning and subsequently propose a series of contrastive losses that outperform the existing ones. Under our proposed framework, we show a new methodology to design integrated contrastive losses that could simultaneously achieve good accuracy and robustness on downstream tasks. With the integrated framework, we achieve up to 6 improvement on the standard accuracy and 17 improvement on the robust accuracy.


NeRF Neural Radiance Fields Without Known Camera Parameters. Considering the problem of novel view synthesis (NVS) from only a set of 2D images, we simplify the training process of Neural Radiance Field (NeRF) on forward facing scenes by removing the requirement of known or pre computed camera parameters, including both intrinsics and 6DoF poses. To this end, we propose NeRF , with three contributions First, we show that the camera parameters can be jointly optimised as learnable parameters with NeRF training, through a photometric reconstruction Second, to benchmark the camera parameter estimation and the quality of novel view renderings, we introduce a new dataset of path traced synthetic scenes, termed as Blender Forward Facing Dataset (BLEFF) Third, we conduct extensive analyses to understand the training behaviours under various camera motions, and show that in most scenarios, the joint optimisation pipeline can recover accurate camera parameters and achieve comparable novel view synthesis quality as those trained with COLMAP pre computed camera parameters. Our code and data are available at https nerfmm.active.vision.


P4AI Approaching AI Ethics through Principlism. The field of computer vision is rapidly evolving, particularly in the context of new methods of neural architecture design. These models contribute to (1) the Climate Crisis increased CO2 emissions and (2) the Privacy Crisis data leakage concerns. To address the often overlooked impact the Computer Vision (CV) community has on these crises, we outline a novel ethical framework, textit P4AI Principlism for AI, an augmented principlistic view of ethical dilemmas within AI. We then suggest using P4AI to make concrete recommendations to the community to mitigate the climate and privacy crises.


Polynomial generators of msu 1 2 related to classifying maps of certain formal group laws. This paper presents a commutative complex oriented cohomology theory that realizes the Buchstaber formal group law localized away from 2. Also, the restriction of the classifying map of FB on special unitary cobordism ring localized away from 2 defines a four parameter genus, studied by Hoehn and Totaro.


Vogtareuth Rehab Depth Datasets Benchmark for Marker less Posture Estimation in Rehabilitation. Posture estimation using a single depth camera has become a useful tool for analyzing movements in rehabilitation. Recent advances in posture estimation in computer vision research have been possible due to the availability of large scale pose datasets. However, the complex postures involved in rehabilitation exercises are not represented in the existing benchmark depth datasets. To address this limitation, we propose two rehabilitation specific pose datasets containing depth images and 2D pose information of patients, both adult and children, performing rehab exercises. We use a state of the art marker less posture estimation model which is trained on a non rehab benchmark dataset. We evaluate it on our rehab datasets, and observe that the performance degrades significantly from non rehab to rehab, highlighting the need for these datasets. We show that our dataset can be used to train pose models to detect rehab specific complex postures. The datasets will be released for the benefit of the research community.


secml malware Pentesting Windows Malware Classifiers with Adversarial EXEmples in Python. Machine learning has been increasingly used as a first line of defense for Windows malware detection. Recent work has however shown that learning based malware detectors can be evaded by carefully perturbed input malware samples, referred to as adversarial EXEmples, thus demanding for tools that can ease and automate the adversarial robustness evaluation of such detectors. To this end, we present secml malware, the first Python library for computing adversarial attacks on Windows malware detectors. secmlmalware implements state of the art white box and black box attacks on Windows malware classifiers, by leveraging a set of feasible manipulations that can be applied to Windows programs while preserving their functionality. The library can be used to perform the penetration testing and assessment of the adversarial robustness of Windows malware detectors, and it can be easily extended to include novel attack strategies. Our library is available at https github.com pralab secml malware.


Adjoint based Shape Optimization for the Minimization of Flow induced Hemolysis in Biomedical Applications. This paper reports on the derivation and implementation of a shape optimization procedure for the minimization of hemolysis induction in biomedical devices. Hemolysis is a blood damaging phenomenon that may occur in mechanical blood processing applications where large velocity gradients are found. An increased level of damaged blood can lead to deterioration of the immune system and quality of life. It is, thus, important to minimize flow induced hemolysis by improving the design of next generation biomedical machinery. Emphasis is given to the formulation of a continuous adjoint complement to a power law hemolysis prediction model dedicated to efficiently identifying the shape sensitivity to hemolysis. The computational approach is verified against the analytical solutions of a benchmark problem and computed sensitivity derivatives are validated by a finite differences study on a generic 2D stenosed geometry. The application included addresses a 3D ducted geometry which features typical characteristics of biomedical devices. An optimized shape, leading to a potential improvement in hemolysis induction up to 22 , is identified. It is shown, that the improvement persists for different, literature reported hemolysis evaluation parameters.


In Situ Melting and Revitrification as an Approach to Microsecond Time Resolved Cryo Electron Microscopy. Proteins typically undergo conformational dynamics on the microsecond to millisecond timescale as they perform their function, which is much faster than the time resolution of cryo electron microscopy and has thus prevented real time observations. Here, we propose a novel approach for microsecond time resolved cryo electron microscopy that involves rapidly melting a cryo specimen in situ with a laser beam. The sample remains liquid for the duration of the laser pulse, offering a tunable time window in which the dynamics of embedded particles can be induced in their native liquid environment. After the laser pulse, the sample vitrifies in just a few microseconds, trapping particles in their transient configurations, so that they can subsequently be characterized with conventional cryo electron microscopy. We demonstrate that our melting and revitrification approach is viable and affords microsecond time resolution. As a proof of principle, we study the disassembly of particles after they incur structural damage and trap them in partially unraveled configurations.


2 infty Selmer Rank Parities via the Prym Construction. We derive a local formula for the parity of the 2 infty Selmer rank of Jacobians of curves of genus 2 or 3 with a K rational 2 torsion point. We give an explicit example to show how this local formula gives rank parity predictions against which the 2 parity conjecture may be tested. Our results yield applications to the parity conjecture for semistable curves of genus 3 .


A twin decoder structure for incompressible laminar flow reconstruction with uncertainty estimation around 2D obstacles. Over the past few years, deep learning methods have proved to be of great interest for the computational fluid dynamics community, especially when used as surrogate models, either for flow reconstruction, turbulence modeling, or for the prediction of aerodynamic coefficients. Overall, exceptional levels of accuracy have been obtained, but the robustness and reliability of the proposed approaches remain to be explored, particularly outside of the confidence region defined by the training dataset. In this contribution, we present a twin auto encoder network for incompressible laminar flow reconstruction with uncertainty estimation around 2D obstacles. The proposed architecture is trained over a dataset composed of numerically computed laminar flows around 12,000 random shapes, and naturally enforces a quasi linear relation between a geometric reconstruction branch and the flow prediction decoder. Based on this feature, two uncertainty estimation processes are proposed, allowing either a binary decision (accept or reject prediction), or proposing a confidence interval along with the flow quantities prediction (u,v,p). Results over dataset samples as well as unseen shapes show a strong positive correlation of this reconstruction score to the mean squared error of the flow prediction. Such approaches offer the possibility to warn the user of trained models when the provided input shows too large deviation from the training data, making the produced surrogate model conservative for fast and reliable flow prediction.


On continuity of accessible functors. We prove that for each locally alpha presentable category mathcal K there exists a regular cardinal gamma such that any alpha accessible functor out of mathcal K (into another locally alpha presentable category) is continuous if and only if it preserves gamma small limits as a consequence we obtain a new adjoint functor theorem specific to the alpha accessible functors out of mathcal K . Afterwards we generalize these results to the enriched setting and deduce, among other things, that a small mathcal V category is accessible if and only if it is Cauchy complete.


Large population asymptotics for a multitype stochastic SIS epidemic model in randomly switched environment. We consider an epidemic SIS model described by a multitype birth and death process in a randomly switched environment. That is, the infection and cure rates of the process depend on the state of a finite Markov jump process (the environment), whose transitions also depend on the number of infectives. The total size of the population is constant and equal to some K in N , and the number of infectives vanishes almost surely in finite time. We prove that, as K rightarrow infty , the process composed of the proportions of infectives of each type X K and the state of the environment Xi K , converges to a piecewise deterministic Markov process (PDMP) given by a system of randomly switched ODEs. The long term behaviour of this PDMP has been previously investigated by Bena "i m and Strickler, and depends only on the sign of the top Lyapunov exponent Lambda of the linearised PDMP at 0 if Lambda 0, the proportion of infectives in each group converges to zero, while if Lambda 0, the disease becomes endemic. In this paper, we show that the large population asymptotics of X K also strongly depend on the sign of Lambda if negative, then from fixed initial proportions of infectives the disease disappears in a time of order at most log(K), while if positive, the typical extinction time grows at least as a power of K. We prove that in the situation where the origin is accessible for the linearised PDMP, the mean extinction time of X K is logarithmically equivalent to K p , where p 0 is fully characterised. We also investigate the quasi stationary distribution mu K of (X K , Xi K) and show that, when Lambda 0, weak limit points of ( mu K), K 0 are supported by the extinction set, while when Lambda 0, limit points belong to the (non empty) set of stationary distributions of the limiting PDMP which do not give mass to the extinction set.


GitHub Discussions An Exploratory Study of Early Adoption. Discussions is a new feature of GitHub for asking questions or discussing topics outside of specific Issues or Pull Requests. Before being available to all projects in December 2020, it had been tested on selected open source software projects. To understand how developers use this novel feature, how they perceive it, and how it impacts the development processes, we conducted a mixed methods study based on early adopters of GitHub discussions from January until July 2020. We found that (1) errors, unexpected behavior, and code reviews are prevalent discussion categories (2) there is a positive relationship between project member involvement and discussion frequency (3) developers consider GitHub Discussions useful but face the problem of topic duplication between Discussions and Issues (4) Discussions play a crucial role in advancing the development of projects and (5) positive sentiment in Discussions is more frequent than in Stack Overflow posts. Our findings are a first step towards data informed guidance for using GitHub Discussions, opening up avenues for future work on this novel communication channel.


Gibbs Distribution Based Antenna Splitting and User Scheduling in Full Duplex Massive MIMO Systems. A Gibbs distribution based combinatorial optimization algorithm for joint antenna splitting and user scheduling problem in full duplex massive multiple input multiple output (MIMO) system is proposed in this paper. The optimal solution of this problem can be determined by exhaustive search. However, the complexity of this approach becomes prohibitive in practice when the sample space is large, which is usually the case in massive MIMO systems. Our algorithm overcomes this drawback by converting the original problem into a Kullback Leibler (KL) divergence minimization problem, and solving it through a related dynamical system via a stochastic gradient descent method. Using this approach, we improve the spectral efficiency (SE) of the system by performing joint antenna splitting and user scheduling. Additionally, numerical results show that the SE curves obtained with our proposed algorithm overlap with the curves achieved by exhaustive search for user scheduling.


Pseudo Riemannian Lie groups of modified H type. We define a class of Riemannian and pseudo Riemannian 2 step nilpotent Lie groups with nondegenerate centers that generalize the H type groups of Kaplan. Examples are given and geometric properties are investigated.


Unified Style Transfer. Currently, it is hard to compare and evaluate different style transfer algorithms due to chaotic definitions of style and the absence of agreed objective validation methods in the study of style transfer. In this paper, a novel approach, the Unified Style Transfer (UST) model, is proposed. With the introduction of a generative model for internal style representation, UST can transfer images in two approaches, i.e., Domain based and Image based, simultaneously. At the same time, a new philosophy based on the human sense of art and style distributions for evaluating the transfer model is presented and demonstrated, called Statistical Style Analysis. It provides a new path to validate style transfer models' feasibility by validating the general consistency between internal style representation and art facts. Besides, the translation invariance of AdaIN features is also discussed.


Pebble Guided Near Optimal Treasure Hunt in Anonymous Graphs. We study the problem of treasure hunt in a graph by a mobile agent. The nodes in the graph are anonymous and the edges at any node v of degree deg(v) are labeled arbitrarily as 0,1, ldots, deg(v) 1 . A mobile agent, starting from a node, must find a stationary object, called it treasure that is located on an unknown node at a distance D from its initial position. The agent finds the treasure when it reaches the node where the treasure is present. The it time of treasure hunt is defined as the number of edges the agent visits before it finds the treasure. The agent does not have any prior knowledge about the graph or the position of the treasure. An Oracle, that knows the graph, the initial position of the agent, and the position of the treasure, places some pebbles on the nodes, at most one per node, of the graph to guide the agent towards the treasure. We target to answer the question what is the fastest possible treasure hunt algorithm regardless of the number of pebbles are placed? We show an algorithm that uses O(D log Delta) pebbles to find the treasure in a graph G in time O(D log Delta log 3 Delta) , where Delta is the maximum degree of a node in G and D is the distance from the initial position of the agent to the treasure. We show an almost matching lower bound of Omega(D log Delta) on time of the treasure hunt using any number of pebbles.


Computational approximations of compact metric spaces. Given a compact metric space X , we associate to it an inverse sequence of finite T 0 topological spaces. The inverse limit of this inverse sequence contains a homeomorphic copy of X that is a strong deformation retract. We provide a method to approximate the homology groups of X and other algebraic invariants. Finally, we study computational aspects and the implementation of this method.


Toward the Understanding of Deep Text Matching Models for Information Retrieval. Semantic text matching is a critical problem in information retrieval. Recently, deep learning techniques have been widely used in this area and obtained significant performance improvements. However, most models are black boxes and it is hard to understand what happened in the matching process, due to the poor interpretability of deep learning. This paper aims at tackling this problem. The key idea is to test whether existing deep text matching methods satisfy some fundamental heuristics in information retrieval. Specifically, four heuristics are used in our study, i.e., term frequency constraint, term discrimination constraint, length normalization constraints, and TF length constraint. Since deep matching models usually contain many parameters, it is difficult to conduct a theoretical study for these complicated functions. In this paper, We propose an empirical testing method. Specifically, We first construct some queries and documents to make them satisfy the assumption in a constraint, and then test to which extend a deep text matching model trained on the original dataset satisfies the corresponding constraint. Besides, a famous attribution based interpretation method, namely integrated gradient, is adopted to conduct detailed analysis and guide for feasible improvement. Experimental results on LETOR 4.0 and MS Marco show that all the investigated deep text matching methods, both representation and interaction based methods, satisfy the above constraints with high probabilities in statistics. We further extend these constraints to the semantic settings, which are shown to be better satisfied for all the deep text matching models. These empirical findings give clear understandings on why deep text matching models usually perform well in information retrieval. We believe the proposed evaluation methodology will be useful for testing future deep text matching models.


MitoVis A Visually guided Interactive Intelligent System for Neuronal Mitochondria Analysis. Neurons have a polarized structure, including dendrites and axons, and compartment specific functions can be affected by dwelling mitochondria. It is known that the morphology of mitochondria is closely related to the functions of neurons and neurodegenerative diseases. Even though several deep learning methods have been developed to automatically analyze the morphology of mitochondria, the application of existing methods to actual analysis still encounters several difficulties. Since the performance of pre trained deep learning model may vary depending on the target data, re training of the model is often required. Besides, even though deep learning has shown superior performance under a constrained setup, there are always errors that need to be corrected by humans in real analysis. To address these issues, we introduce MitoVis, a novel visualization system for end to end data processing and interactive analysis of the morphology of neuronal mitochondria. MitoVis enables interactive fine tuning of a pre trained neural network model without the domain knowledge of machine learning, which allows neuroscientists to easily leverage deep learning in their research. MitoVis also provides novel visual guides and interactive proofreading functions so that the users can quickly identify and correct errors in the result with minimal effort. We demonstrate the usefulness and efficacy of the system via a case study conducted by a neuroscientist on a real analysis scenario. The result shows that MitoVis allows up to 15x faster analysis with similar accuracy compared to the fully manual analysis method.


cs.LG cs.AI physics.comp-ph physics.data-an

An Adaptive Deep Learning Framework for Day ahead Forecasting of Photovoltaic Power Generation. Accurate forecasts of photovoltaic power generation (PVPG) are essential to optimize operations between energy supply and demand. Recently, the propagation of sensors and smart meters has produced an enormous volume of data, which supports the development of data based PVPG forecasting. Although emerging deep learning (DL) models, such as the long short term memory (LSTM) model, based on historical data, have provided effective solutions for PVPG forecasting with great successes, these models utilize offline learning. As a result, DL models cannot take advantage of the opportunity to learn from newly arrived data, and are unable to handle concept drift caused by installing extra PV units and unforeseen PV unit failures. Consequently, to improve day ahead PVPG forecasting accuracy, as well as eliminate the impacts of concept drift, this paper proposes an adaptive LSTM (AD LSTM) model, which is a DL framework that can not only acquire general knowledge from historical data, but also dynamically learn specific knowledge from newly arrived data. A two phase adaptive learning strategy (TP ALS) is integrated into AD LSTM, and a sliding window (SDWIN) algorithm is proposed, to detect concept drift in PV systems. Multiple datasets from PV systems are utilized to assess the feasibility and effectiveness of the proposed approaches. The developed AD LSTM model demonstrates greater forecasting capability than the offline LSTM model, particularly in the presence of concept drift. Additionally, the proposed AD LSTM model also achieves superior performance in terms of day ahead PVPG forecasting compared to other traditional machine learning models and statistical models in the literature.


Perceptions of Smartphone Users Acceptance and Adoption of Mobile Commerce (MC) The Case of Jordan. This study investigates smartphone users perceptions of adopting and accepting Mobile Commerce (MC) based on users perceived adoption under the extended Technology Acceptance Model (TAM2) and Innovation Diffusion Theory (IDT) by providing research constructs for the domain of MC. Also, testing them with reliability and validity and demonstrating their distinctiveness with hypothesis testing. The results show that consumer intention to adopt MC on a smartphone was primarily influenced by Uncertainty Avoidance (UA), User Experience (UX), Perceived Ease Of Use (PEOU), Perceived Usefulness (PU) and Compatibility (CMP) as well as other constructs that positively determine attitude toward using a smartphone. For researchers, this study shows the benefits of adapting TAM constructs into MC acceptance on a smartphone. The perceptions of MC adoption on a smartphone in this study investigated based on a survey of specific people. For more reliability, a comprehensive study is needed to show the attitudes of people from different environments.


Compare Where It Matters Using Layer Wise Regularization To Improve Federated Learning on Heterogeneous Data. Federated Learning is a widely adopted method to train neural networks over distributed data. One main limitation is the performance degradation that occurs when data is heterogeneously distributed. While many works have attempted to address this problem, these methods under perform because they are founded on a limited understanding of neural networks. In this work, we verify that only certain important layers in a neural network require regularization for effective training. We additionally verify that Centered Kernel Alignment (CKA) most accurately calculates similarity between layers of neural networks trained on different data. By applying CKA based regularization to important layers during training, we significantly improve performance in heterogeneous settings. We present FedCKA a simple framework that out performs previous state of the art methods on various deep learning tasks while also improving efficiency and scalability.


Controlled Experimentation in Continuous Experimentation Knowledge and Challenges. Context Continuous experimentation and A B testing is an established industry practice that has been researched for more than 10 years. Our aim is to synthesize the conducted research. Objective We wanted to find the core constituents of a framework for continuous experimentation and the solutions that are applied within the field. Finally, we were interested in the challenges and benefits reported of continuous experimentation. Method We applied forward snowballing on a known set of papers and identified a total of 128 relevant papers. Based on this set of papers we performed two qualitative narrative syntheses and a thematic synthesis to answer the research questions. Results The framework constituents for continuous experimentation include experimentation processes as well as supportive technical and organizational infrastructure. The solutions found in the literature were synthesized to nine themes, e.g. experiment design, automated experiments, or metric specification. Concerning the challenges of continuous experimentation, the analysis identified cultural, organizational, business, technical, statistical, ethical, and domain specific challenges. Further, the study concludes that the benefits of experimentation are mostly implicit in the studies. Conclusions The research on continuous experimentation has yielded a large body of knowledge on experimentation. The synthesis of published research presented within include recommended infrastructure and experimentation process models, guidelines to mitigate the identified challenges, and what problems the various published solutions solve.


MATE KD Masked Adversarial TExt, a Companion to Knowledge Distillation. The advent of large pre trained language models has given rise to rapid progress in the field of Natural Language Processing (NLP). While the performance of these models on standard benchmarks has scaled with size, compression techniques such as knowledge distillation have been key in making them practical. We present, MATE KD, a novel text based adversarial training algorithm which improves the performance of knowledge distillation. MATE KD first trains a masked language model based generator to perturb text by maximizing the divergence between teacher and student logits. Then using knowledge distillation a student is trained on both the original and the perturbed training samples. We evaluate our algorithm, using BERT based models, on the GLUE benchmark and demonstrate that MATE KD outperforms competitive adversarial learning and data augmentation baselines. On the GLUE test set our 6 layer RoBERTa based model outperforms BERT Large.


Subset Node Representation Learning over Large Dynamic Graphs. Dynamic graph representation learning is a task to learn node embeddings over dynamic networks, and has many important applications, including knowledge graphs, citation networks to social networks. Graphs of this type are usually large scale but only a small subset of vertices are related in downstream tasks. Current methods are too expensive to this setting as the complexity is at best linear dependent on both the number of nodes and edges. In this paper, we propose a new method, namely Dynamic Personalized PageRank Embedding ( textsc DynamicPPE ) for learning a target subset of node representations over large scale dynamic networks. Based on recent advances in local node embedding and a novel computation of dynamic personalized PageRank vector (PPV), textsc DynamicPPE has two key ingredients 1) the per PPV complexity is mathcal O (m bar d epsilon) where m, bar d , and epsilon are the number of edges received, average degree, global precision error respectively. Thus, the per edge event update of a single node is only dependent on bar d in average and 2) by using these high quality PPVs and hash kernels, the learned embeddings have properties of both locality and global consistency. These two make it possible to capture the evolution of graph structure effectively. Experimental results demonstrate both the effectiveness and efficiency of the proposed method over large scale dynamic networks. We apply textsc DynamicPPE to capture the embedding change of Chinese cities in the Wikipedia graph during this ongoing COVID 19 pandemic (https en.wikipedia.org wiki COVID 19 pandemic). Our results show that these representations successfully encode the dynamics of the Wikipedia graph.


GLASS Towards Secure and Decentralized eGovernance Services using IPFS. The continuously advancing digitization has provided answers to the bureaucratic problems faced by eGovernance services. This innovation led them to an era of automation it has broadened the attack surface and made them a popular target for cyber attacks. eGovernance services utilize internet, which is currently a location addressed system where whoever controls the location controls not only the content itself, but the integrity of that content, and the access to that content. We propose GLASS, a decentralised solution which combines the InterPlanetary File System (IPFS) with Distributed Ledger technology and Smart Contracts to secure EGovernance services. We also create a testbed environment where we measure the IPFS performance.


Homological mirror symmetry for hypersurfaces in ( mathbb C ) n . We prove a homological mirror symmetry result for maximally degenerating families of hypersurfaces in ( mathbb C ) n (B model) and their mirror toric Landau Ginzburg A models. The main technical ingredient of our construction is a "fiberwise wrapped" version of the Fukaya category of a toric Landau Ginzburg model. With the definition in hand, we construct a fibered admissible Lagrangian submanifold whose fiberwise wrapped Floer cohomology is isomorphic to the ring of regular functions of the hypersurface. It follows that the derived category of coherent sheaves of the hypersurface quasi embeds into the fiberwise wrapped Fukaya category of the mirror. We also discuss an extension to complete intersections.


Sublanguage A Serious Issue Affects Pretrained Models in Legal Domain. Legal English is a sublanguage that is important for everyone but not for everyone to understand. Pretrained models have become best practices among current deep learning approaches for different problems. It would be a waste or even a danger if these models were applied in practice without knowledge of the sublanguage of the law. In this paper, we raise the issue and propose a trivial solution by introducing BERTLaw a legal sublanguage pretrained model. The paper's experiments demonstrate the superior effectiveness of the method compared to the baseline pretrained model


Context aware Heterogeneous Graph Attention Network for User Behavior Prediction in Local Consumer Service Platform. As a new type of e commerce platform developed in recent years, local consumer service platform provides users with software to consume service to the nearby store or to the home, such as Groupon and Koubei. Different from other common e commerce platforms, the behavior of users on the local consumer service platform is closely related to their real time local context information. Therefore, building a context aware user behavior prediction system is able to provide both merchants and users better service in local consumer service platforms. However, most of the previous work just treats the contextual information as an ordinary feature into the prediction model to obtain the prediction list under a specific context, which ignores the fact that the interest of a user in different contexts is often significantly different. Hence, in this paper, we propose a context aware heterogeneous graph attention network (CHGAT) to dynamically generate the representation of the user and to estimate the probability for future behavior. Specifically, we first construct the meta path based heterogeneous graphs with the historical behaviors from multiple sources and comprehend heterogeneous vertices in the graph with a novel unified knowledge representing approach. Next, a multi level attention mechanism is introduced for context aware aggregation with graph vertices, which contains the vertex level attention network and the path level attention network. Both of them aim to capture the semantic correlation between information contained in the graph and the outside real time contextual information in the search system. Then the model proposed in this paper aggregates specific graphs with their corresponding context features and obtains the representation of user interest under a specific context and input it into the prediction network to finally obtain the predicted probability of user behavior.


Extending nonstandard finite difference schemes rules to systems of nonlinear ODEs with constant coefficients. In this paper, we present a reformulation of Mickens' rules for nonstandard finite difference (NSFD) scheme to adapt them to systems of ODEs. This leads to exact schemes in the linear case, and also improve the accuracy in the nonlinear case. In the Hamiltonian nonlinear case, it consists in adding correction terms to schemes derived by Mickens.


Enabling Machine Learning Algorithms for Credit Scoring Explainable Artificial Intelligence (XAI) methods for clear understanding complex predictive models. Rapid development of advanced modelling techniques gives an opportunity to develop tools that are more and more accurate. However as usually, everything comes with a price and in this case, the price to pay is to loose interpretability of a model while gaining on its accuracy and precision. For managers to control and effectively manage credit risk and for regulators to be convinced with model quality the price to pay is too high. In this paper, we show how to take credit scoring analytics in to the next level, namely we present comparison of various predictive models (logistic regression, logistic regression with weight of evidence transformations and modern artificial intelligence algorithms) and show that advanced tree based models give best results in prediction of client default. What is even more important and valuable we also show how to boost advanced models using techniques which allow to interpret them and made them more accessible for credit risk practitioners, resolving the crucial obstacle in widespread deployment of more complex, 'black box' models like random forests, gradient boosted or extreme gradient boosted trees. All this will be shown on the large dataset obtained from the Polish Credit Bureau to which all the banks and most of the lending companies in the country do report the credit files. In this paper the data from lending companies were used. The paper then compares state of the art best practices in credit risk modelling with new advanced modern statistical tools boosted by the latest developments in the field of interpretability and explainability of artificial intelligence algorithms. We believe that this is a valuable contribution when it comes to presentation of different modelling tools but what is even more important it is showing which methods might be used to get insight and understanding of AI methods in credit risk context.


Enhanced Brauer algebras and enhanced dualities for orthogonal and symplectic groups. This note is a sequel to Shu Xue Yao's paper cite BYY where the author studied the so called enhanced groups and related dualities for type A . In this note, we continue to investigate the enhanced dualities for classical groups of type B , C , and D . To show this, we first introduce an enhanced Brauer algebra. Due to Proposition ref B dual , we can easily obtain the restricted and Levi dualities, hence the parabolic duality is naturally described. Moreover, a special case is listed in S ref 3 by some explicit calculations.


Playing Angry Birds with a Domain Independent PDDL Planner. This demo paper presents the first system for playing the popular Angry Birds game using a domain independent planner. Our system models Angry Birds levels using PDDL , a planning language for mixed discrete continuous domains. It uses a domain independent PDDL planner to generate plans and executes them. In this demo paper, we present the system's PDDL model for this domain, identify key design decisions that reduce the problem complexity, and compare the performance of our system to model specific methods for this domain. The results show that our system's performance is on par with other domain specific systems for Angry Birds, suggesting the applicability of domain independent planning to this benchmark AI challenge.


HVPR Hybrid Voxel Point Representation for Single stage 3D Object Detection. We address the problem of 3D object detection, that is, estimating 3D object bounding boxes from point clouds. 3D object detection methods exploit either voxel based or point based features to represent 3D objects in a scene. Voxel based features are efficient to extract, while they fail to preserve fine grained 3D structures of objects. Point based features, on the other hand, represent the 3D structures more accurately, but extracting these features is computationally expensive. We introduce in this paper a novel single stage 3D detection method having the merit of both voxel based and point based features. To this end, we propose a new convolutional neural network (CNN) architecture, dubbed HVPR, that integrates both features into a single 3D representation effectively and efficiently. Specifically, we augment the point based features with a memory module to reduce the computational cost. We then aggregate the features in the memory, semantically similar to each voxel based one, to obtain a hybrid 3D representation in a form of a pseudo image, allowing to localize 3D objects in a single stage efficiently. We also propose an Attentive Multi scale Feature Module (AMFM) that extracts scale aware features considering the sparse and irregular patterns of point clouds. Experimental results on the KITTI dataset demonstrate the effectiveness and efficiency of our approach, achieving a better compromise in terms of speed and accuracy.


An algebraic treatment of the Askey biorthogonal polynomials on the unit circle. A joint algebraic interpretation of the biorthogonal Askey polynomials on the unit circle and of the orthogonal Jacobi polynomials is offered. It ties their bispectral properties to an algebra called the meta Jacobi algebra m mathfrak J .


"Passive Mechanical Realizations of Bicubic Impedances with No More Than Five Elements for Inerter Based Control Design" with the Supplementary Material. This report includes the original manuscript (pp. 2 40) and the supplementary material (pp. 41 48) of "Passive Mechanical Realizations of Bicubic Impedances with No More Than Five Elements for Inerter Based Control Design".


On the topology of the space of bi orderings of a free group on two generators. Let G be a group. We can topologize the spaces of left orderings LO(G) and bi orderings O(G) of G with the product topology. These spaces may or may not have isolated points. It is known that LO(F n) has no isolated points, where F n is a free group on n geq 2 generators. In this paper, we show that O(F n) has no isolated points as well.


Curvature Aware Derivative Free Optimization. We propose a new line search method, coined Curvature Aware Random Search (CARS), for derivative free optimization. CARS exploits approximate curvature information to estimate the optimal step size given a search direction. We prove that for strongly convex objective functions, CARS converges linearly if the search direction is drawn from a distribution satisfying very mild conditions. We also explore a variant, CARS NQ, which uses Numerical Quadrature instead of a Monte Carlo method when approximating curvature along the search direction. We show CARS NQ is effective on highly non convex problems of the form f f mathrm cvx f mathrm osc where f mathrm cvx is strongly convex and f mathrm osc is rapidly oscillating. Experimental results show that CARS and CARS NQ match or exceed the state of the arts on benchmark problem sets.


CORE Text Improving Scene Text Detection with Contrastive Relational Reasoning. Localizing text instances in natural scenes is regarded as a fundamental challenge in computer vision. Nevertheless, owing to the extremely varied aspect ratios and scales of text instances in real scenes, most conventional text detectors suffer from the sub text problem that only localizes the fragments of text instance (i.e., sub texts). In this work, we quantitatively analyze the sub text problem and present a simple yet effective design, COntrastive RElation (CORE) module, to mitigate that issue. CORE first leverages a vanilla relation block to model the relations among all text proposals (sub texts of multiple text instances) and further enhances relational reasoning via instance level sub text discrimination in a contrastive manner. Such way naturally learns instance aware representations of text proposals and thus facilitates scene text detection. We integrate the CORE module into a two stage text detector of Mask R CNN and devise our text detector CORE Text. Extensive experiments on four benchmarks demonstrate the superiority of CORE Text. Code is available url https github.com jylins CORE Text .


Semianalyitcal synthesis scheme for multifunctional metasurfaces on demand. We propose a comprehensive field based semianalytical method for designing fabrication ready multifunctional periodic metasurfaces (MSs). Harnessing recent work on multielement metagratings based on capacitively loaded strips, we have extended our previous meta atom design formulation to generate realistic substrate supported printed circuit board layouts for anomalous refraction MSs. Subsequently, we apply a greedy algorithm for iteratively optimizing individual scatterers across the entire macroperiod to achieve multiple design goals for corresponding multiple incidence angles with a single MS structure. As verified with commercial solvers, the proposed semianalytical scheme, properly accounting for near field coupling between the various scatterers, can reliably produce highly efficient multifunctional MSs on demand, without requiring time consuming full wave optimization.


Roman Domination in Convex Bipartite Graphs. In the Roman domination problem, an undirected simple graph G(V,E) is given. The objective of Roman domination problem is to find a function f V rightarrow 0,1,2 such that for any vertex v in V with f(v) 0 must be adjacent to at least one vertex u in V with f(u) 2 and sum u in V f(u) , called Roman domination number, is minimized. It is already proven that the Roman domination problem (RDP) is NP complete for general graphs and it remains NP complete for bipartite graphs. In this paper, we propose a dynamic programming based polynomial time algorithm for RDP in convex bipartite graph.


Illuminating the Space of Beatable Lode Runner Levels Produced By Various Generative Adversarial Networks. Generative Adversarial Networks (GANs) are capable of generating convincing imitations of elements from a training set, but the distribution of elements in the training set affects to difficulty of properly training the GAN and the quality of the outputs it produces. This paper looks at six different GANs trained on different subsets of data from the game Lode Runner. The quality diversity algorithm MAP Elites was used to explore the set of quality levels that could be produced by each GAN, where quality was defined as being beatable and having the longest solution path possible. Interestingly, a GAN trained on only 20 levels generated the largest set of diverse beatable levels while a GAN trained on 150 levels generated the smallest set of diverse beatable levels, thus challenging the notion that more is always better when training GANs.


A direct imaging method for the exterior and interior inverse scattering problems. This paper is concerned with the inverse acoustic scattering problems by an obstacle or a cavity with a sound soft or a sound hard boundary. A direct imaging method relying on the boundary conditions is proposed for reconstructing the shape of the obstacle or cavity. First, the scattered fields are approximated by the Fourier Bessel functions with the measurements on a closed curve. Then, the indicator functions are established by the superpositions of the total fields or their derivatives to the incident point sources. We prove that the indicator functions vanish only on the boundary of the obstacle or cavity. Numerical examples are also included to demonstrate the effectiveness of the method.


Camera Frame Misalignment in a Teleoperated Eye in Hand Robot Effects and a Simple Correction Method. Misalignment between the camera frame and the operator frame is commonly seen in a teleoperated system and usually degrades the operation performance. The effects of such misalignment have not been fully investigated for eye in hand systems systems that have the camera (eye) mounted to the end effector (hand) to gain compactness in confined spaces such as in endoscopic surgery. This paper provides a systematic study on the effects of the camera frame misalignment in a teleoperated eye in hand robot and proposes a simple correction method in the view display. A simulation is designed to compare the effects of the misalignment under different conditions. Users are asked to move a rigid body from its initial position to the specified target position via teleoperation, with different levels of misalignment simulated. It is found that misalignment between the input motion and the output view is much more difficult to compensate by the operators when it is in the orthogonal direction ( 40s) compared with the opposite direction ( 20s). An experiment on a real concentric tube robot with an eye in hand configuration is also conducted. Users are asked to telemanipulate the robot to complete a pick and place task. Results show that with the correction enabled, there is a significant improvement in the operation performance in terms of completion time (mean 40.6 , median 38.6 ), trajectory length (mean 34.3 , median 28.1 ), difficulty (50.5 ), unsteadiness (49.4 ), and mental stress (60.9 ).


A high resolution gridded inventory of coal mine methane emissions for India and Australia. Coal mines are globally an important source of methane and also one of the largest point sources of methane. We present a high resolution 0.1deg x 0.1deg bottom up gridded emission inventory for methane emissions from coal mines in India and Australia, which are among the top five coal producing countries in 2018. The aim is to reduce the uncertainty in local coal mine methane emissions and to improve the spatial localization to support monitoring and mitigation of these emissions. For India, we improve the spatial allocation of the emissions by identifying the exact location of surface and underground coal mines and we use a tier 2 Intergovernmental Panel on Climate Change (IPCC) methodology to estimate the emissions from each coal mine using country specific emission factors. For Australia, we estimate the emission for each coal mine by distributing the state level reported total emissions using proxies of coal production and the coal basin specific gas content profile of underground mines. Comparison of our total coal mine methane emission from India with existing global inventories showed our estimates are about a factor 3 lower, but well within the range of the national Indian estimate reported to the United Nations framework convention on climate change (UNFCCC). For both countries, the new spatial distribution of the emissions shows a large difference from the global inventories. Our improved emissions dataset will be useful for air quality or climate modeling and while assessing the satellite methane observations.


Data Clustering Driven Neural Network for Intra Prediction. As a crucial part of video compression, intra prediction utilizes local information of images to eliminate the redundancy in spatial domain. In both H.265 HEVC and H.266 VVC, multiple directional prediction modes are employed to find the texture trend of each small block and then the prediction is made based on reference samples in the selected direction. Recently, the intra prediction schemes based on neural networks have achieved great success. In these methods, the networks are trained and applied to intra prediction in addition to the directional prediction modes. In this paper, we propose a novel data clustering driven neural network (dubbed DCDNN) for intra prediction, which can learn deep features of the clustered data. In DCDNN, each network can be split into two networks by adding or subtracting Gaussian random noise. Then a data clustering driven training is applied to train all the derived networks recursively. In each iteration, the entire training dataset is partitioned according to the recovery qualities of the derived networks. For the experiment, DCDNN is implemented into HEVC reference software HM 16.9. The experimental results demonstrate that DCDNN can reach an average of 4.2 Bjontegaard distortion rate (BDrate) improvement (up to 7.0 ) over HEVC with all intra configuration. Compared with existing fully connected networkbased intra prediction methods, the bitrate saving performance is further improved.


Anomaly Detection of Wind Turbine Time Series using Variational Recurrent Autoencoders. Ice accumulation in the blades of wind turbines can cause them to describe anomalous rotations or no rotations at all, thus affecting the generation of electricity and power output. In this work, we investigate the problem of ice accumulation in wind turbines by framing it as anomaly detection of multi variate time series. Our approach focuses on two main parts first, learning low dimensional representations of time series using a Variational Recurrent Autoencoder (VRAE), and second, using unsupervised clustering algorithms to classify the learned representations as normal (no ice accumulated) or abnormal (ice accumulated). We have evaluated our approach on a custom wind turbine time series dataset, for the two classes problem (one normal versus one abnormal class), we obtained a classification accuracy of up to 96 on test data. For the multiple class problem (one normal versus multiple abnormal classes), we present a qualitative analysis of the low dimensional learned latent space, providing insights into the capacities of our approach to tackle such problem. The code to reproduce this work can be found here https github.com agrija9 Wind Turbines VRAE Paper.


Graph Automorphism Shuffles from Pile Scramble Shuffles. A pile scramble shuffle is one of the most effective shuffles in card based cryptography. Indeed, many card based protocols are constructed from pile scramble shuffles. This article aims to study the power of pile scramble shuffles. In particular, for any directed graph G , we introduce a new protocol called "a graph shuffle protocol for G ", and show that it can be implemented by using pile scramble shuffles only. Our proposed protocol requires 2(n m) cards, where n and m are the numbers of vertices and edges of G , respectively. The number of pile scramble shuffles is k 1 , where 1 leq k leq n is the number of distinct degrees of vertices of G . As an application, a random cut for n cards, which is also an important shuffle, can be realized by 3n cards and two pile scramble shuffles.


The second moment of Dirichlet twists of a textrm GL 4 automorphic L function. In this paper, we give an asymptotic formula for the second moment of Dirichlet twists of an automorphic L function L(s, pi) on the critical line averaged over characters and conductors, where pi denotes an irreducible tempered cuspidal automorphic representation of textrm GL 4 with unitary central character. We give some hybrid bound for the error term with respect to the size of conductors of Dirichlet characters and that of the automorphic representation.


CUDA Tutorial Cryptanalysis of Classical Ciphers Using Modern GPUs and CUDA. CUDA (formerly an abbreviation of Compute Unified Device Architecture) is a parallel computing platform and API model created by Nvidia allowing software developers to use a CUDA enabled graphics processing unit (GPU) for general purpose processing. This 90 pages tutorial introduces the CUDA concepts in an easy to grasp and interactive way with ready to run code samples tested on Windows and Linux. Starting from scratch, a complete stand alone GPU tool is implemented which automatically performs a ciphertext only attack on ciphertexts encrypted by monoalphabetic substitution and columnar transposition. Throughout this process, you will learn how to architect the tool, what optimizations could significantly accelerate the routines, why the choice of an adequate metaheuristic is critical, and how to draw sketches to enlighten the design process. This tutorial will be incorporated in the CrypTool book as chapter 13.


Asymptotically Optimal Welfare of Posted Pricing for Multiple Items with MHR Distributions. We consider the problem of posting prices for unit demand buyers if all n buyers have identically distributed valuations drawn from a distribution with monotone hazard rate. We show that even with multiple items asymptotically optimal welfare can be guaranteed. Our main results apply to the case that either a buyer's value for different items are independent or that they are perfectly correlated. We give mechanisms using dynamic prices that obtain a 1 Theta left( frac 1 log n right) fraction of the optimal social welfare in expectation. Furthermore, we devise mechanisms that only use static item prices and are 1 Theta left( frac log log log n log n right) competitive compared to the optimal social welfare. As we show, both guarantees are asymptotically optimal, even for a single item and exponential distributions.


Anti palindromic compositions. A palindromic composition of n is a composition of n which can be read the same way forwards and backwards. In this paper we define an anti palindromic composition of n to be a composition of n which has no mirror symmetry amongst its parts. We then give a surprising connection between the number of anti palindromic compositions of n and the so called tribonacci sequence, a generalization of the Fibonacci sequence. We conclude by defining a new q analogue of the Fibonacci sequence, which is related to certain equivalence classes of anti palindromic compositions


Factors of certain sums involving central q binomial coefficients. Recently, Ni and Pan proved a q congruence on certain sums involving central q binomial coefficients, which was conjectured by Guo. In this paper, we give a generalization of this q congruence and confirm another q congruence, also conjectured by Guo. Our proof uses Ni and Pan's technique and a simple q congruence observed by Guo and Schlosser.


Maximum Principle and principal eigenvalue in unbounded domains under general boundary conditions. This paper investigates the link between the Maximum Principle and the sign of the (generalized) principal eigenvalue for elliptic operators in unbounded domains. Our approach covers the cases of Dirichlet, Neumann, and (indefinite) Robin boundary conditions and treat them in a unified way. For a certain class of elliptic operators (including the class of selfadjoint operators), we establish that the positivity of the principal eigenvalue is a necessary and sufficient condition for the validity of the Maximum Principle. If the principal eigenvalue is zero, no general answer holds instead, under a natural condition on the domain's size at infinity, we show that the operator satisfies what we call the Critical Maximum Principle. We also address the question of the simplicity of the principal eigenvalue, and a series of counterexamples is proposed to disprove some possible misconceptions. Our main results are new even for the more classical cases of Dirichlet boundary conditions and selfadjoint operators.


Factorizations of groups of small order. Let G be a finite group and let A 1, ldots,A k be a collection of subsets of G such that G A 1 ldots A k is the product of all the A i 's with G A 1 ldots A k . We write G A 1 cdot ldots cdot A k and call this a k fold factorization of G of the form ( A 1 , ldots, A k ) or more briefly an ( A 1 , ldots, A k ) factorization of G . Let k geq2 be a fixed integer. If G has an (a 1, ldots,a k) factorization, whenever G a 1 ldots a k with a i 1 , i 1, ldots,k , we say that G is k factorizable. We say that G is multifold factorizable if G is k factorizable for any possible integer k geq2 . In this paper we prove that there are exactly 6 non multifold factorizable groups among the groups of order at most 60 . Here is their complete list A 4 , (C 2 times C 2) rtimes C 9 , A 4 times C 3 , (C 2 times C 2 times C 2) rtimes C 7 , A 5 , A 4 times C 5 . Some related open questions are presented.


A deep learning based known plaintext attack method for chaotic cryptosystem. In this paper, we propose a known plaintext attack (KPA) method based on deep learning for traditional chaotic encryption scheme. We employ the convolutional neural network to learn the operation mechanism of chaotic cryptosystem, and accept the trained network as the final decryption system. To evaluate the attack performance of different networks on different chaotic cryptosystem, we adopt two neural networks to perform known plaintext attacks on two distinct chaotic encryption schemes. The experimental results demonstrate the potential of deep learning based method for known plaintext attack against chaotic cryptosystem. Different from the previous known plaintext attack methods, which were usually limited to a specific chaotic cryptosystem, a neural network can be applied to the cryptanalysis of various chaotic cryptosystems with deep learning based approach, while several different networks can be designed for the cryptanalysis of chaotic cryptosystems. This paper provides a new idea for the cryptanalysis of chaotic image encryption algorithm.


Separating topological recurrence from measurable recurrence exposition and extension of Kriz's example. We prove that for every infinite set E subset mathbb Z , there is a set S subset E E which is a set of topological recurrence and not a set of measurable recurrence. This extends a result Igor Kriz, proving that there is a set of topological recurrence which is not a set of measurable recurrence. Our construction follows Kriz's closely, and this paper can be considered an exposition of the original argument.


Faster Monotone Min Plus Product, Range Mode, and Single Source Replacement Paths. One of the most basic graph problems, All Pairs Shortest Paths (APSP) is known to be solvable in n 3 o(1) time, and it is widely open whether it has an O(n 3 epsilon ) time algorithm for epsilon 0 . To better understand APSP, one often strives to obtain subcubic time algorithms for structured instances of APSP and problems equivalent to it, such as the Min Plus matrix product. A natural structured version of Min Plus product is Monotone Min Plus product which has been studied in the context of the Batch Range Mode SODA'20 and Dynamic Range Mode ICALP'20 problems. This paper improves the known algorithms for Monotone Min Plus Product and for Batch and Dynamic Range Mode, and establishes a connection between Monotone Min Plus Product and the Single Source Replacement Paths (SSRP) problem on an n vertex graph with potentially negative edge weights in M, ldots, M . SSRP with positive integer edge weights bounded by M can be solved in tilde O (Mn omega) time, whereas the prior fastest algorithm for graphs with possibly negative weights FOCS'12 runs in O(M 0.7519 n 2.5286 ) time, the current best running time for directed APSP with small integer weights. Using Monotone Min Plus Product, we obtain an improved O(M 0.8043 n 2.4957 ) time SSRP algorithm, showing that SSRP with constant negative integer weights is likely easier than directed unweighted APSP, a problem that is believed to require n 2.5 o(1) time. Complementing our algorithm for SSRP, we give a reduction from the Bounded Difference Min Plus Product problem studied by Bringmann et al. FOCS'16 to negative weight SSRP. This reduction shows that it might be difficult to obtain an tilde O (M n omega ) time algorithm for SSRP with negative weight edges, thus separating the problem from SSRP with only positive weight edges.


The eDiscovery Medicine Show. The practice of bloodletting gradually fell into disfavor as a growing body of scientific evidence showed its ineffectiveness and demonstrated the effectiveness of various pharmaceuticals for the prevention and treatment of certain diseases. At the same time, the patent medicine industry promoted ineffective remedies at medicine shows featuring entertainment, testimonials, and pseudo scientific claims with all the trappings but none of the methodology of science. Today, many producing parties and eDiscovery vendors similarly promote obsolete technology as well as unvetted tools labeled "artificial intelligence" or "technology assisted review," along with unsound validation protocols. This situation will end only when eDiscovery technologies and tools are subject to testing using the methods of information retrieval.


A data driven personalized smart lighting recommender system. Recommender systems attempts to identify and recommend the most preferable item (product service) to an individual user. These systems predict user interest in items based on related items, users, and the interactions between items and users. We aim to build an auto routine and color scheme recommender system that leverages a wealth of historical data and machine learning methods. We introduce an unsupervised method to recommend a routine for lighting. Moreover, by analyzing users' daily logs, geographical location, temporal and usage information we understand user preference and predict their preferred color for lights. To do so, we cluster users based on their geographical information and usage distribution. We then build and train a predictive model within each cluster and aggregate the results. Results indicate that models based on similar users increases the prediction accuracy, with and without prior knowledge about user preferences.


Representations of cyclotomic oriented Brauer categories. Let A be the locally unital algebra associated to a cyclotomic oriented Brauer category over an arbitrary algebraically closed field Bbbk of characteristic p ge 0 . The category of locally finite dimensional representations of A is used to give the tensor product categorification (in the general sense of Losev and Webster) for an integrable lowest weight with an integrable highest weight representation of the same level for the Lie algebra mathfrak g , where mathfrak g is a direct sum of copies of mathfrak sl infty (resp., hat mathfrak sl p ) if p 0 (resp., p 0 ). Such a result was expected in 3 when Bbbk mathbb C and proved previously by Brundan in 2 when the level is 1 .


Weak topology on CAT(0) spaces. We analyze weak convergence on CAT(0) spaces and the existence and properties of corresponding weak topologies.


DynamiQ Planning for Dynamics in Network Streaming Analytics Systems. The emergence of programmable data plane targets has motivated a new hybrid design for network streaming analytics systems that combine these targets' fast packet processing speeds with the rich compute resources available at modern stream processors. However, these systems require careful query planning that is, specifying the minute details of executing a given set of queries in a way that makes the best use of the limited resources and programmability offered by data plane targets. We use such an existing system, Sonata, and real world packet traces to understand how executing a fixed query workload is affected by the unknown dynamics of the traffic that defines the target's input workload. We observe that static query planning, as employed by Sonata, cannot handle even small changes in the input workload, wasting data plane resources to the point where query execution is confined mainly to userspace. This paper presents the design and implementation of DynamiQ, a new network streaming analytics platform that employs dynamic query planning to deal with the dynamics of real world input workloads. Specifically, we develop a suite of practical algorithms for (i) computing effective initial query plans (to start query execution) and (ii) enabling efficient updating of portions of such an initial query plan at runtime (to adapt to changes in the input workload). Using real world packet traces as input workload, we show that compared to Sonata, DynamiQ reduces the stream processor's workload by two orders of magnitude.


On Stochastic Variance Reduced Gradient Method for Semidefinite Optimization. The low rank stochastic semidefinite optimization has attracted rising attention due to its wide range of applications. The nonconvex reformulation based on the low rank factorization, significantly improves the computational efficiency but brings some new challenge to the analysis. The stochastic variance reduced gradient (SVRG) method has been regarded as one of the most effective methods. SVRG in general consists of two loops, where a reference full gradient is first evaluated in the outer loop and then used to yield a variance reduced estimate of the current gradient in the inner loop. Two options have been suggested to yield the output of the inner loop, where Option I sets the output as its last iterate, and Option II yields the output via random sampling from all the iterates in the inner loop. However, there is a significant gap between the theory and practice of SVRG when adapted to the stochastic semidefinite programming (SDP). SVRG practically works better with Option I, while most of existing theoretical results focus on Option II. In this paper, we fill this gap via exploiting a new semi stochastic variant of the original SVRG with Option I adapted to the semidefinite optimization. Equipped with this, we establish the global linear submanifold convergence (i.e., converging exponentially fast to a submanifold of a global minimum under the orthogonal group action) of the proposed SVRG method, given a provable initialization scheme and under certain smoothness and restricted strongly convex assumptions. Our analysis includes the effects of the mini batch size and update frequency in the inner loop as well as two practical step size strategies, the fixed and stabilized Barzilai Borwein step sizes. Some numerical results in matrix sensing demonstrate the efficiency of proposed SVRG method outperforming Option II counterpart as well as others.


Examining the Inductive Bias of Neural Language Models with Artificial Languages. Since language models are used to model a wide variety of languages, it is natural to ask whether the neural architectures used for the task have inductive biases towards modeling particular types of languages. Investigation of these biases has proved complicated due to the many variables that appear in the experimental setup. Languages vary in many typological dimensions, and it is difficult to single out one or two to investigate without the others acting as confounders. We propose a novel method for investigating the inductive biases of language models using artificial languages. These languages are constructed to allow us to create parallel corpora across languages that differ only in the typological feature being investigated, such as word order. We then use them to train and test language models. This constitutes a fully controlled causal framework, and demonstrates how grammar engineering can serve as a useful tool for analyzing neural models. Using this method, we find that commonly used neural architectures exhibit different inductive biases LSTMs display little preference with respect to word ordering, while transformers display a clear preference for some orderings over others. Further, we find that neither the inductive bias of the LSTM nor that of the transformer appears to reflect any tendencies that we see in attested natural languages.


Toward a Visual Concept Vocabulary for GAN Latent Space. A large body of recent work has identified transformations in the latent spaces of generative adversarial networks (GANs) that consistently and interpretably transform generated images. But existing techniques for identifying these transformations rely on either a fixed vocabulary of pre specified visual concepts, or on unsupervised disentanglement techniques whose alignment with human judgments about perceptual salience is unknown. This paper introduces a new method for building open ended vocabularies of primitive visual concepts represented in a GAN's latent space. Our approach is built from three components (1) automatic identification of perceptually salient directions based on their layer selectivity (2) human annotation of these directions with free form, compositional natural language descriptions and (3) decomposition of these annotations into a visual concept vocabulary, consisting of distilled directions labeled with single words. Experiments show that concepts learned with our approach are reliable and composable generalizing across classes, contexts, and observers, and enabling fine grained manipulation of image style and content.


Detection of marine floating plastic using Sentinel 2 imagery and machine learning models. The increasing level of marine plastic pollution poses severe threats to the marine ecosystem and biodiversity. The present study attempted to explore the full functionality of open Sentinel satellite data and ML models for detecting and classifying floating plastic debris in Mytilene (Greece), Limassol (Cyprus), Calabria (Italy), and Beirut (Lebanon). Two ML models, i.e. Support Vector Machine (SVM) and Random Forest (RF) were utilized to carry out the classification analysis. In situ plastic location data was collected from the control experiment conducted in Mytilene, Greece and Limassol, Cyprus, and the same was considered for training the models. Both remote sensing bands and spectral indices were used for developing the ML models. A spectral signature profile for plastic was created for discriminating the floating plastic from other marine debris. A newly developed index, kernel Normalized Difference Vegetation Index (kNDVI), was incorporated into the modelling to examine its contribution to model performances. Both SVM and RF were performed well in five models and test case combinations. Among the two ML models, the highest performance was measured for the RF. The inclusion of kNDVI was found effective and increased the model performances, reflected by high balanced accuracy measured for model 2 ( 80 to 98 for SVM and 87 to 97 for RF). Using the best performed model, an automated floating plastic detection system was developed and tested in Calabria and Beirut. For both sites, the trained model had detected the floating plastic with 99 accuracy. Among the six predictors, the FDI was found the most important variable for detecting marine floating plastic. These findings collectively suggest that high resolution remote sensing imagery and the automated ML models can be an effective alternative for the cost effective detection of marine floating plastic.


Direct domain adaptation through reciprocal linear transformations. We propose a direct domain adaptation (DDA) approach to enrich the training of supervised neural networks on synthetic data by features from real world data. The process involves a series of linear operations on the input features to the NN model, whether they are from the source or target domains, as follows 1) A cross correlation of the input data (i.e. images) with a randomly picked sample pixel (or pixels) of all images from that domain or the mean of all randomly picked sample pixel (or pixels) of all images. 2) The convolution of the resulting data with the mean of the autocorrelated input images from the other domain. In the training stage, as expected, the input images are from the source domain, and the mean of auto correlated images are evaluated from the target domain. In the inference application stage, the input images are from the target domain, and the mean of auto correlated images are evaluated from the source domain. The proposed method only manipulates the data from the source and target domains and does not explicitly interfere with the training workflow and network architecture. An application that includes training a convolutional neural network on the MNIST dataset and testing the network on the MNIST M dataset achieves a 70 accuracy on the test data. A principal component analysis (PCA), as well as t SNE, show that the input features from the source and target domains, after the proposed direct transformations, share similar properties along with the principal components as compared to the original MNIST and MNIST M input features.


Maximizing Vortex for the Navier Stokes Flow with a Convective Boundary Condition A Shape Design Problem. In this study, a shape optimization problem for the two dimensional stationary Navier Stokes equations with an artificial boundary condition is considered. The fluid is assumed to be flowing through a rectangular channel, and the artificial boundary condition is formulated so as to take into account the possibility of ill posedness caused by the usual do nothing boundary condition. The goal of the optimization problem is to maximize the vorticity of the said fluid by determining the shape of an obstacle inside the channel. Meanwhile, the shape variation is limited by a perimeter functional and a volume constraint. The perimeter functional was considered to act as a Tikhonov regularizer and the volume constraint is added to exempt us from topological changes in the domain. The shape derivative of the objective functional was formulated using the rearrangement method, and this derivative was later on used for gradient descent methods. Additionally, an augmented Lagrangian method and a class of solenoidal deformation fields were considered to take into account the goal of volume preservation. Lastly, numerical examples based on the gradient descent and the volume preservation methods are presented.


Symmetric properties and two variants of shuffle cubes. Li et al. in Inf. Process. Lett. 77 (2001) 35 41 proposed the shuffle cube SQ n as an attractive interconnection network topology for massive parallel and distributed systems. By far, symmetric properties of the shuffle cube remains unknown. In this paper, we show that SQ n is not vertex transitive for all n 2 , which is not an appealing property in interconnection networks. To overcome this limitation, two novel vertex transitive variants of the shuffle cube, namely simplified shuffle cube SSQ n and balanced shuffle cube BSQ n are introduced. Then, routing algorithms of SSQ n and BSQ n for all n 2 are given respectively. Furthermore, we show that both SSQ n and BSQ n possess Hamiltonian cycle embedding for all n 2 . Finally, as a by product, we mend a flaw in the Property 3 in IEEE Trans. Comput. 46 (1997) 484 490 .


Near critical avalanches in 2D frozen percolation and forest fires. We study two closely related processes on the triangular lattice frozen percolation, where connected components of occupied vertices freeze (they stop growing) as soon as they contain at least N vertices, and forest fire processes, where connected components burn (they become entirely vacant) at rate zeta 0 . In this paper, we prove that when the density of occupied sites approaches the critical threshold for Bernoulli percolation, both processes display a striking phenomenon the appearance of near critical "avalanches". More specifically, we analyze the avalanches, all the way up to the natural characteristic scale of each model, which constitutes an important step toward understanding the self organized critical behavior of such processes. For frozen percolation, we show in particular that the number of frozen clusters surrounding a given vertex is asymptotically equivalent to ( log(96 5)) 1 log log N as N to infty . A similar mechanism underlies forest fires, enabling us to obtain an analogous result for these processes, but with substantially more work the number of burnt clusters is equivalent to ( log(96 41)) 1 log log ( zeta 1 ) as zeta searrow 0 . Moreover, almost all of these clusters have a volume zeta 91 55 o(1) . For forest fires, the percolation process with impurities introduced in arXiv 1810.08181 plays a crucial role in our proofs, and we extend the results in that paper, up to a positive density of impurities. In addition, we develop a novel exploration procedure to couple full plane forest fires with processes in finite but large enough (compared to the characteristic scale) domains.


Learning Dynamic BERT via Trainable Gate Variables and a Bi modal Regularizer. The BERT model has shown significant success on various natural language processing tasks. However, due to the heavy model size and high computational cost, the model suffers from high latency, which is fatal to its deployments on resource limited devices. To tackle this problem, we propose a dynamic inference method on BERT via trainable gate variables applied on input tokens and a regularizer that has a bi modal property. Our method shows reduced computational cost on the GLUE dataset with a minimal performance drop. Moreover, the model adjusts with a trade off between performance and computational cost with the user specified hyperparameter.


Asynchronous games on Petri nets and ATL. We define a game on distributed Petri nets, where several players interact with each other, and with an environment. The players, or users, have perfect knowledge of the current state, and pursue a common goal. Such goal is expressed by Alternating time Temporal Logic (ATL). The users have a winning strategy if they can cooperate to reach their goal, no matter how the environment behaves. We show that such a game can be translated into a game on concurrent game structures (introduced in order to give a semantics to ATL). We compare our game with the game on concurrent game structures and discuss the differences between the two approaches. Finally, we show that, when we consider memoryless strategies and a fragment of ATL, we can construct a concurrent game structure from the Petri net, such that an ATL formula is verified on the net if, and only if, it is verified on the game structure.


Yarn Ball Knots and Faster Computations. We make use of the 3D nature of knots and links to find savings in computational complexity when computing knot invariants such as the linking number and, in general, most finite type invariants. These savings are achieved in comparison with the 2D approach to knots using knot diagrams.


The Mirage of Universality in Cellular Automata. This note is a survey of examples and results about cellular automata with the purpose of recalling that there is no 'universal' way of being computationally universal. In particular, we show how some cellular automata can embed efficient but bounded computation, while others can embed unbounded computations but not efficiently. We also study two variants of Boolean circuit embedding, transient versus repeatable simulations, and underline their differences. Finally we show how strong forms of universality can be hidden inside some seemingly simple cellular automata according to some classical dynamical parameters.


Explainable Autonomous Robots A Survey and Perspective. Advanced communication protocols are critical to enable the coexistence of autonomous robots with humans. Thus, the development of explanatory capabilities is an urgent first step toward autonomous robots. This survey provides an overview of the various types of "explainability" discussed in machine learning research. Then, we discuss the definition of "explainability" in the context of autonomous robots (i.e., explainable autonomous robots) by exploring the question "what is an explanation?" We further conduct a research survey based on this definition and present some relevant topics for future research.


Nature Inspired Optimization Algorithms Research Direction and Survey. Nature inspired algorithms are commonly used for solving the various optimization problems. In past few decades, various researchers have proposed a large number of nature inspired algorithms. Some of these algorithms have proved to be very efficient as compared to other classical optimization methods. A young researcher attempting to undertake or solve a problem using nature inspired algorithms is bogged down by a plethora of proposals that exist today. Not every algorithm is suited for all kinds of problem. Some score over others. In this paper, an attempt has been made to summarize various leading research proposals that shall pave way for any new entrant to easily understand the journey so far. Here, we classify the nature inspired algorithms as natural evolution based, swarm intelligence based, biological based, science based and others. In this survey, widely acknowledged nature inspired algorithms namely ACO, ABC, EAM, FA, FPA, GA, GSA, JAYA, PSO, SFLA, TLBO and WCA, have been studied. The purpose of this review is to present an exhaustive analysis of various nature inspired algorithms based on its source of inspiration, basic operators, control parameters, features, variants and area of application where these algorithms have been successfully applied. It shall also assist in identifying and short listing the methodologies that are best suited for the problem.


Hermitian metrics with negative mean curvature on holomorphic vector bundles. In this paper, we study holomorphic vector bundles over compact Gauduchon manifolds. Using the continuity method, we prove the existence of L p approximate critical Hermitian structure. As its application, we show that a holomorphic vector bundle admits a Hermitian metric with negative mean curvature if and only if the maximum of slopes of all of its subsheaves is negative. Furthermore, we study the limiting behavior of the Hermitian Yang Mills flow. We prove the minimum of the smallest eigenvalue of the mean curvature is increasing along the Hermitian Yang Mills flow, while the maximum of the biggest eigenvalue is decreasing we show that they converge to certain geometric invariants. Finally, we give some applications.


Cold plasma treatment of seeds deciphering the role of contact surfaces through multiple exposures, randomizing and stirring. Cold plasma technologies are an efficient approach to improve the germination properties of seeds, especially in a stacking configuration within a dielectric barrier device. In such dry atmospheric plasma priming process, we show that a He N2 plasma treatment of 20 min can reduce the median germination time of lentil seeds from 1420 min to 1145 minutes, ie a gain in vigor of 275 min (or 19.4 ). Considering that this result depends on the plasma seed interaction and therefore on the contact surfaces between the seeds and the plasma, a topographic modeling of a 100 seeds stack is performed in the dielectric barrier device. This model drives to the distinction between the seed seed contact surfaces (276 contacts standing for a total area of 230.6 mm2) and the seed wall contact surfaces (134 contacts standing for a total area of 105.9 mm2). After a single plasma treatment, the outer envelope of each seed is 92 exposed to plasma a value high enough to support the relevance of the plasma process but which also opens the way to process optimizations. In this outlook, we propose to replace the single 20 minute plasma treatment by a "plasma sequence", ie a succession of shorter plasma treatments whose total duration remains 20 min. Between two successive plasma treatments, the seeds can follow either a trapping procedure (seeds in same positions and orientations) or a randomizing procedure (seeds in same positions but reoriented) or a stirring procedure (seeds vigorously shaken). A sequence of 10 plasma treatments (upon 2 min) separated by short stirring procedures leads to a gain in vigor as high as 405 min vs 275 min for a single plasma treatment of 20 min. We propose to understand these results by correlating the gain in vigor with the water uptake of the seeds and the wettability state of their coating.


On the Garden of Eden theorem for B free subshifts. We prove that on B free subshifts, with B satisfying the Erd "os condition, all cellular automata are determined by monotone sliding block codes. In particular, this implies the validity of the Garden of Eden theorem for such systems.


A Continuous Liveness Detection for Voice Authentication on Smart Devices. Voice biometrics is drawing increasing attention as it is a promising alternative to legacy passwords for user authentication. Recently, a growing body of work shows that voice biometrics is vulnerable to spoofing through replay attacks, where an adversary tries to spoof voice authentication systems by using a pre recorded voice sample collected from a genuine user. To this end, we propose VoiceGesture, a liveness detection solution for voice authentication on smart devices such as smartphones and smart speakers. VoiceGesture detects a live user by leveraging both the unique articulatory gesture of the user when speaking a passphrase and the audio hardware advances on these smart devices. Specifically, our system re uses a pair of built in speaker and microphone on a smart device as a Doppler radar, which transmits a high frequency acoustic sound from the speaker and listens to the reflections at the microphone when a user speaks a passphrase. Then we extract Doppler shifts resulted from the user's articulatory gestures for liveness detection. VoiceGesture is practical as it requires neither cumbersome operations nor additional hardware but a speaker and a microphone commonly available on smart devices that support voice input. Our experimental evaluation with 21 participants and different smart devices shows that VoiceGesture achieves over 99 and around 98 detection accuracy for text dependent and text independent liveness detection, respectively. Results also show that VoiceGesture is robust to different device placements, low audio sampling frequency, and supports medium range liveness detection on smart speakers in various use scenarios like smart homes and smart vehicles.


Weighted fractional Sobolev spaces as interpolation spaces in bounded domains. We characterize the real interpolation space between a weighted L p space and a weighted Sobolev space in arbitrary bounded domains in mathbb R n , with weights that are positive powers of the distance to the boundary.