A Preliminary Investigation in the Molecular Basis of Host Shutoff Mechanism in SARS CoV. Recent events leading to the worldwide pandemic of COVID 19 have demonstrated the effective use of genomic sequencing technologies to establish the genetic sequence of this virus. In contrast, the COVID 19 pandemic has demonstrated the absence of computational approaches to understand the molecular basis of this infection rapidly. Here we present an integrated approach to the study of the nsp1 protein in SARS CoV 1, which plays an essential role in maintaining the expression of viral proteins and further disabling the host protein expression, also known as the host shutoff mechanism. We present three independent methods of evaluating two potential binding sites speculated to participate in host shutoff by nsp1. We have combined results from computed models of nsp1, with deep mining of all existing protein structures (using PDBMine), and binding site recognition (using msTALI) to examine the two sites consisting of residues 55 59 and 73 80. Based on our preliminary results, we conclude that the residues 73 80 appear as the regions that facilitate the critical initial steps in the function of nsp1. Given the 90 sequence identity between nsp1 from SARS CoV 1 and SARS CoV 2, we conjecture the same critical initiation step in the function of COVID 19 nsp1.


Bourgeois contact structures tightness, fillability and applications. Given a contact structure on a manifold V together with a supporting open book decomposition, Bourgeois gave an explicit construction of a contact structure on V times mathbb T 2 . We prove that all such structures are universally tight in dimension 5 , independent on whether the original contact manifold is tight or overtwisted. In arbitrary dimensions, we give very restrictive obstructions to the existence of strong symplectic fillings of Bourgeois manifolds, from which we obtain broad families of new examples of weakly but not strongly fillable contact 5 manifolds, and the first examples of weakly but not strongly fillable contact structures in all odd dimensions. In particular, we answer negatively a question of Lisi Marinkovi 'c Niederkr "uger concerning the strong fillability of the Bourgeois contact manifold associated to the open book with monodromy given by a single Dehn Seidel twist on the unit cotangent bundle of the n sphere. We also obtain a classification result in arbitrary dimensions, namely that the unit cotangent bundle of the n torus has a unique symplectically aspherical strong filling up to diffeomorphism.


Higher Orbit Integrals, Cyclic Cocyles, and K theory of Reduced Group C algebra. Let G be a connected real reductive group. Orbit integrals define traces on the group algebra of G. We introduce a construction of higher orbit integrals in the direction of higher cyclic cocycles on the Harish Chandra Schwartz algebra of G. We analyze these higher orbit integrals via Fourier transform by expressing them as integrals on the tempered dual of G. We obtain explicit formulas for the pairing between the higher orbit integrals and the K theory of the reduced group C algebra, and discuss their applications to representation theory and K theory.


Design Diversity for Improving Efficiency and Reducing Risk in Oil and Gas Well Stimulation under Uncertain Reservoir Conditions. Hydraulic fracturing stimulates fracture swarm in reservoir formation though pressurized injection fluid. However restricted by the availability of formation data, the variability embraced by reservoir keeps uncertain, driving unstable gas recovery along with low resource efficiency, being responsible for resource scarcity, contaminated water, and injection induced earthquake. Resource efficiency is qualified though new determined energy efficiency, a scale of recovery and associated environmental footprint. To maximize energy efficiency while minimize its' variation, we issue picked designs at reservoir conditions dependent optimal probabilities, assembling high efficiency portfolios and low risk portfolios for portfolio combination, which balance the variation and efficiency at optimal by adjusting the proportion of each portfolio. Relative to regular design for one well, the optimal portfolio combination applied in multiple wells receive remarkable variation reduction meanwhile substantial energy efficiency increase, in response to the call of more recovery per unit investment and less environment cost per unit nature gas extracted.


A barrier principle at infinity for varifolds with bounded mean curvature. Our work investigates varifolds Sigma subset M in a Riemannian manifold, with arbitrary codimension and bounded mean curvature, contained in an open domain Omega . Under mild assumptions on the curvatures of M and on partial Omega , also allowing for certain singularities of partial Omega , we prove a barrier principle at infinity, namely we show that the distance of Sigma to partial Omega is attained on partial Sigma . Our theorem is a consequence of sharp maximum principles at infinity on varifolds, of independent interest.


Learning to Utilize Shaping Rewards A New Approach of Reward Shaping. Reward shaping is an effective technique for incorporating domain knowledge into reinforcement learning (RL). Existing approaches such as potential based reward shaping normally make full use of a given shaping reward function. However, since the transformation of human knowledge into numeric reward values is often imperfect due to reasons such as human cognitive bias, completely utilizing the shaping reward function may fail to improve the performance of RL algorithms. In this paper, we consider the problem of adaptively utilizing a given shaping reward function. We formulate the utilization of shaping rewards as a bi level optimization problem, where the lower level is to optimize policy using the shaping rewards and the upper level is to optimize a parameterized shaping weight function for true reward maximization. We formally derive the gradient of the expected true reward with respect to the shaping weight function parameters and accordingly propose three learning algorithms based on different assumptions. Experiments in sparse reward cartpole and MuJoCo environments show that our algorithms can fully exploit beneficial shaping rewards, and meanwhile ignore unbeneficial shaping rewards or even transform them into beneficial ones.


TensorDIMM A Practical Near Memory Processing Architecture for Embeddings and Tensor Operations in Deep Learning. Recent studies from several hyperscalars pinpoint to embedding layers as the most memory intensive deep learning (DL) algorithm being deployed in today's datacenters. This paper addresses the memory capacity and bandwidth challenges of embedding layers and the associated tensor operations. We present our vertically integrated hardware software co design, which includes a custom DIMM module enhanced with near data processing cores tailored for DL tensor operations. These custom DIMMs are populated inside a GPU centric system interconnect as a remote memory pool, allowing GPUs to utilize for scalable memory bandwidth and capacity expansion. A prototype implementation of our proposal on real DL systems shows an average 6.2 17.6x performance improvement on state of the art recommender systems.


Unstable higher Toda brackets II. We define subscripted unstable higher Toda brackets and study their elementary properties. This paper is the continuation of our previous paper in which we defined the non subscripted unstable higher Toda brackets.


Flat Metrics with a Prescribed Derived Coframing. The following problem is addressed A 3 manifold M is endowed with a triple Omega big( Omega 1, Omega 2, Omega 3 big) of closed 2 forms. One wants to construct a coframing omega big( omega 1, omega 2, omega 3 big) of M such that, first, rm d omega i Omega i for i 1,2,3 , and, second, the Riemannian metric g big( omega 1 big) 2 big( omega 2 big) 2 big( omega 3 big) 2 be flat. We show that, in the 'nonsingular case', i.e., when the three 2 forms Omega i p span at least a 2 dimensional subspace of Lambda 2(T pM) and are real analytic in some p centered coordinates, this problem is always solvable on a neighborhood of p in M , with the general solution omega depending on three arbitrary functions of two variables. Moreover, the characteristic variety of the generic solution omega can be taken to be a nonsingular cubic. Some singular situations are considered as well. In particular, we show that the problem is solvable locally when Omega 1 , Omega 2 , Omega 3 are scalar multiples of a single 2 form that do not vanish simultaneously and satisfy a nondegeneracy condition. We also show by example that solutions may fail to exist when these conditions are not satisfied.


DeepFoldit A Deep Reinforcement Learning Neural Network Folding Proteins. Despite considerable progress, ab initio protein structure prediction remains suboptimal. A crowdsourcing approach is the online puzzle video game Foldit, that provided several useful results that matched or even outperformed algorithmically computed solutions. Using Foldit, the WeFold crowd had several successful participations in the Critical Assessment of Techniques for Protein Structure Prediction. Based on the recent Foldit standalone version, we trained a deep reinforcement neural network called DeepFoldit to improve the score assigned to an unfolded protein, using the Q learning method with experience replay. This paper is focused on model improvement through hyperparameter tuning. We examined various implementations by examining different model architectures and changing hyperparameter values to improve the accuracy of the model. The new model hyper parameters also improved its ability to generalize. Initial results, from the latest implementation, show that given a set of small unfolded training proteins, DeepFoldit learns action sequences that improve the score both on the training set and on novel test proteins. Our approach combines the intuitive user interface of Foldit with the efficiency of deep reinforcement learning.


Accurate effective potential for density amplitude and the corresponding Kohn Sham exchange correlation potential calculated from approximate wavefunctions. Over the past few years it has been pointed out that direct inversion of accurate but approximate ground state densities leads to Kohn Sham exchange correlation (xc) potentials that can differ significantly from the exact xc potential of a given system. On the other hand, the corresponding wavefunction based construction of exchange correlation potential as done by Baerends et al. and Staroverov et al. obviates such problems and leads to potentials that are very close to the true xc potential. In this paper, we provide an understanding of why the wavefunction based approach gives the exchange correlation potential accurately. Our understanding is based on the work of Levy, Perdew and Sahni (LPS) who gave an equation for the square root of density (density amplitude) and the expression for the associated effective potential in the terms of the corresponding wavefunction. We show that even with the use of approximate wavefunctions the LPS expression gives accurate effective and exchange correlation potentials. Based on this we also identify the source of difference between the potentials obtained from a wavefunction and those given by the inversion of the associated density. Finally, we suggest exploring the possibility of obtaining accurate ground state density from an approximate wavefunction for a system by making use of the LPS effective potential.


Efficient q Integer Linear Decomposition of Multivariate Polynomials. We present two new algorithms for the computation of the q integer linear decomposition of a multivariate polynomial. Such a decomposition is essential for the treatment of q hypergeometric symbolic summation via creative telescoping and for describing the q counterpart of Ore Sato theory. Both of our algorithms require only basic integer and polynomial arithmetic and work for any unique factorization domain containing the ring of integers. Complete complexity analyses are conducted for both our algorithms and two previous algorithms in the case of multivariate integer polynomials, showing that our algorithms have better theoretical performances. A Maple implementation is also included which suggests that our algorithms are also much faster in practice than previous algorithms.


Skeleton Based Action Recognition using a Stacked Denoising Autoencoder with Constraints of Privileged Information. Recently, with the availability of cost effective depth cameras coupled with real time skeleton estimation, the interest in skeleton based human action recognition is renewed. Most of the existing skeletal representation approaches use either the joint location or the dynamics model. Differing from the previous studies, we propose a new method called Denoising Autoencoder with Temporal and Categorical Constraints (DAE CTC) to study the skeletal representation in a view of skeleton reconstruction. Based on the concept of learning under privileged information, we integrate action categories and temporal coordinates into a stacked denoising autoencoder in the training phase, to preserve category and temporal feature, while learning the hidden representation from a skeleton. Thus, we are able to improve the discriminative validity of the hidden representation. In order to mitigate the variation resulting from temporary misalignment, a new method of temporal registration, called Locally Warped Sequence Registration (LWSR), is proposed for registering the sequences of inter and intra class actions. We finally represent the sequences using a Fourier Temporal Pyramid (FTP) representation and perform classification using a combination of LWSR registration, FTP representation, and a linear Support Vector Machine (SVM). The experimental results on three action data sets, namely MSR Action3D, UTKinect Action, and Florence3D Action, show that our proposal performs better than many existing methods and comparably to the state of the art.


Linear Quadratic Control of Backward Stochastic Differential Equation with Partial Information. In this paper, we study an optimal control problem of linear backward stochastic differential equation (BSDE) with quadratic cost functional under partial information. This problem is solved completely and explicitly by using a stochastic maximum principle and a decoupling technique. By using the maximum principle, a stochastic Hamiltonian system, which is a forward backward stochastic differential equation (FBSDE) with filtering, is obtained. By decoupling the stochastic Hamiltonian system, three Riccati equations, a BSDE with filtering, and a stochastic differential equation (SDE) with filtering are derived. We then get an optimal control with a feedback representation. An explicit formula for the corresponding optimal cost is also established. As illustrative examples, we consider two special scalar valued control problems and give some numerical simulations.


Characterizing the Effect of Sentence Context on Word Meanings Mapping Brain to Behavior. Semantic feature models have become a popular tool for prediction and interpretation of fMRI data. In particular, prior work has shown that differences in the fMRI patterns in sentence reading can be explained by context dependent changes in the semantic feature representations of the words. However, whether the subjects are aware of such changes and agree with them has been an open question. This paper aims to answer this question through a human subject study. Subjects were asked to judge how the word change from their generic meaning when the words were used in specific sentences. The judgements were consistent with the model predictions well above chance. Thus, the results support the hypothesis that word meaning change systematically depending on sentence context.


Joint distribution of eigenvalues of Hecke and Casimir operators for Hilbert Maass forms. Let F be a totally real number field, mathcal O F the ring of integers, mathfrak a and mathfrak I integral ideals and let chi a character of mathbb A F times F times . For each prime ideal mathfrak p in mathcal O F , mathfrak p nmid mathfrak I let T mathfrak p be the Hecke operator acting on the space of Maass cusp forms on L 2( mathrm GL 2 (F) backslash mathrm GL 2 ( mathbb A F)) . In this paper we investigate the distribution of joint eigenvalues of the Hecke operators T mathfrak p and of the Casimir operators C j in each archimedean component of F , for 1 le j le d . Summarily, we prove that given a family of expanding compact subsets Omega t of mathbb R d as t rightarrow infty , and an interval I mathfrak p subseteq 2,2 , then, if mathfrak p nmid mathfrak I is a square in the narrow class group of F , there are infinitely many automorphic forms having eigenvalues of T mathfrak p in I mathfrak p , distributed on I mathfrak p according to a polynomial multiple of the Sato Tate measure and having their Casimir eigenvalues in the region Omega t , distributed according to the Plancherel measure.


A Multidisciplinary Definition of Privacy Labels The Story of Princess Privacy and the Seven Helpers. Privacy is currently in distress and in need of rescue, much like princesses in the all familiar fairytales. We employ storytelling and metaphors from fairytales to make reader friendly and streamline our arguments about how a complex concept of Privacy Labeling (the 'knight in shining armor') can be a solution to the current state of Privacy (the 'princess in distress'). We give a precise definition of Privacy Labeling (PL), painting a panoptic portrait from seven different perspectives (the 'seven helpers') Business, Legal, Regulatory, Usability and Human Factors, Educative, Technological, and Multidisciplinary. We describe a common vision, proposing several important 'traits of character' of PL as well as identifying 'undeveloped potentialities', i.e., open problems on which the community can focus. More specifically, this position paper identifies the stakeholders of the PL and their needs with regard to privacy, describing how PL should be and look like in order to address these needs. Throughout the paper, we highlight goals, characteristics, open problems, and starting points for creating, what we consider to be, the ideal PL. In the end we present three approaches to establish and manage PL, through self evaluations, certifications, or community endeavors. Based on these, we sketch a roadmap for future developments.


Filtering of Gaussian processes in Hilbert spaces. Linear filtering problem for infinite dimensional Gaussian processes is studied, the observation process being finite dimensional. Integral equations for the filter and for covariance of the error are derived. General results are applied to linear SPDEs driven by Gauss Volterra process observed at finitely many points of the domain.


On shrinking targets and self returning points. We consider the set mathcal R mathrm io of points returning infinitely many times to a sequence of shrinking targets around themselves. Under additional assumptions we improve Boshernitzan's pioneering result on the speed of recurrence. In the case of the doubling map as well as some linear maps on the d dimensional torus, we even obtain a dichotomy condition for mathcal R mathrm io to have measure zero or one. Moreover, we study the set of points eventually always returning and prove an analogue of Boshernitzan's result in similar generality.


Human Paraphrased References Improve Neural Machine Translation. Automatic evaluation comparing candidate translations to human generated paraphrases of reference translations has recently been proposed by Freitag et al. When used in place of original references, the paraphrased versions produce metric scores that correlate better with human judgment. This effect holds for a variety of different automatic metrics, and tends to favor natural formulations over more literal (translationese) ones. In this paper we compare the results of performing end to end system development using standard and paraphrased references. With state of the art English German NMT components, we show that tuning to paraphrased references produces a system that is significantly better according to human judgment, but 5 BLEU points worse when tested on standard references. Our work confirms the finding that paraphrased references yield metric scores that correlate better with human judgment, and demonstrates for the first time that using these scores for system development can lead to significant improvements.


The positivity of local equivariant Hirzebruch class for toric varieties. The central object of investigation of this paper is the Hirzebruch class, a deformation of the Todd class, given by Hirzebruch (for smooth varieties) in his celebrated book "Topological Methods in Algebraic Geometry". The generalization for singular varieties is due to Brasselet Sch "urmann Yokura. Following the work of Weber, we investigate its equivariant version for (possibly singular) toric varieties. The local decomposition of the Hirzebruch class to the fixed points of the torus action and a formula for the local class in terms of the defining fan are mentioned. After this review part, we prove the positivity of local Hirzebruch classes for all toric varieties, thus proving false the alleged counterexample given by Weber.


A Review of Critical Features and General Issues of Freely Available mHealth Apps For Dietary Assessment. Obesity is known to lower the quality of life substantially. It is often associated with increased chances of non communicable diseases such as diabetes, cardiovascular problems, various cancers, etc. Evidence suggests that diet related mobile applications play a vital role in assisting individuals in making healthier choices and keeping track of food intake. However, due to an abundance of similar applications, it becomes pertinent to evaluate each of them in terms of functionality, usability, and possible design issues to truly determine state of the art solutions for the future. Since these applications involve implementing multiple user requirements and recommendations from different dietitians, the evaluation becomes quite complex. Therefore, this study aims to review existing dietary applications at length to highlight key features and problems that enhance or undermine an application's usability. For this purpose, we have examined the published literature from various scientific databases of the PUBMED, CINAHL (January 2010 December 2019) and Science Direct (2010 2019). We followed PRISMA guidelines, and out of our findings, fifty six primary studies met our inclusion criteria after identification, screening, eligibility and full text evaluation. We analyzed 35 apps from the selected studies and extracted the data of each of the identified apps.Following our detailed analysis on the comprehensiveness of freely available mHealth applications, we specified potential future research challenges and stated recommendations to help grow clinically accurate diet related applications.


Fluidic Fabric Muscle Sheets for Wearable and Soft Robotics. Conformable robotic systems are attractive for applications in which they can be used to actuate structures with large surface areas, to provide forces through wearable garments, or to realize autonomous robotic systems. We present a new family of soft actuators that we refer to as Fluidic Fabric Muscle Sheets (FFMS). They are composite fabric structures that integrate fluidic transmissions based on arrays of elastic tubes. These sheet like actuators can strain, squeeze, bend, and conform to hard or soft objects of arbitrary shapes or sizes, including the human body. We show how to design and fabricate FFMS actuators via facile apparel engineering methods, including computerized sewing techniques. Together, these determine the distributions of stresses and strains that can be generated by the FFMS. We present a simple mathematical model that proves effective for predicting their performance. FFMS can operate at frequencies of 5 Hertz or more, achieve engineering strains exceeding 100 , and exert forces greater than 115 times their own weight. They can be safely used in intimate contact with the human body even when delivering stresses exceeding 10 text 6 Pascals. We demonstrate their versatility for actuating a variety of bodies or structures, and in configurations that perform multi axis actuation, including bending and shape change. As we also show, FFMS can be used to exert forces on body tissues for wearable and biomedical applications. We demonstrate several potential use cases, including a miniature steerable robot, a glove for grasp assistance, garments for applying compression to the extremities, and devices for actuating small body regions or tissues via localized skin stretch.


On Solving Word Equations via Program Transformation. The paper presents an experiment of solving word equations via specialization of a configuration WE(R,E), where the program WE can be considered as an interpreter testing whether a composition of substitutions R produces a solution of a word equation E. Several variants of such interpreters, when specialized using a basic unfold fold strategy, are able to decide solvability for a number of sets of the word equations with the overlapping variables.


Symmetric approximation sequences, Beilinson Green algebras and derived equivalences. In this paper, we will consider a class of locally Phi Beilinson Green algebras, where Phi is an infinite admissible set of the integers, and show that symmetric approximation sequences in n exangulated categories give rise to derived equivalences between quotient algebras of locally Phi Beilinson Green algebras in the principal diagonals modulo some factorizable ghost and coghost ideals by the locally finite tilting family. Then we get a class of derived equivalent algebras that have not been obtained by using previous techniques. From higher exact sequences, we obtain derived equivalences between subalgebras of endomorphism algebras by constructing tilting complexes, which generalizes Chen and Xi's result for exact sequences. From a given derived equivalence, we get derived equivalences between locally Phi Beilinson Green algebras of semi Gorenstein modules. Finally, from given graded derived equivalences of group graded algebras, we get derived equivalences between associated Beilinson Green algebras of group graded algebras.


Extended Formulation Lower Bounds for Refuting Random CSPs. Random constraint satisfaction problems (CSPs) such as random 3 SAT are conjectured to be computationally intractable. The average case hardness of random 3 SAT and other CSPs has broad and far reaching implications on problems in approximation, learning theory and cryptography. In this work, we show subexponential lower bounds on the size of linear programming relaxations for refuting random instances of constraint satisfaction problems. Formally, suppose P 0,1 k to 0,1 is a predicate that supports a t 1 wise uniform distribution on its satisfying assignments. Consider the distribution of random instances of CSP P with m Delta n constraints. We show that any linear programming extended formulation that can refute instances from this distribution with constant probability must have size at least Omega left( exp left( left( frac n t 2 Delta 2 right) frac 1 nu k right) right) for all nu 0 . For example, this yields a lower bound of size exp(n 1 3 ) for random 3 SAT with a linear number of clauses. We use the technique of pseudocalibration to directly obtain extended formulation lower bounds from the planted distribution. This approach bypasses the need to construct Sherali Adams integrality gaps in proving general LP lower bounds. As a corollary, one obtains a self contained proof of subexponential Sherali Adams LP lower bounds for these problems. We believe the result sheds light on the technique of pseudocalibration, a promising but conjectural approach to LP SDP lower bounds.


Mixture Model Framework for Traumatic Brain Injury Prognosis Using Heterogeneous Clinical and Outcome Data. Prognoses of Traumatic Brain Injury (TBI) outcomes are neither easily nor accurately determined from clinical indicators. This is due in part to the heterogeneity of damage inflicted to the brain, ultimately resulting in diverse and complex outcomes. Using a data driven approach on many distinct data elements may be necessary to describe this large set of outcomes and thereby robustly depict the nuanced differences among TBI patients' recovery. In this work, we develop a method for modeling large heterogeneous data types relevant to TBI. Our approach is geared toward the probabilistic representation of mixed continuous and discrete variables with missing values. The model is trained on a dataset encompassing a variety of data types, including demographics, blood based biomarkers, and imaging findings. In addition, it includes a set of clinical outcome assessments at 3, 6, and 12 months post injury. The model is used to stratify patients into distinct groups in an unsupervised learning setting. We use the model to infer outcomes using input data, and show that the collection of input data reduces uncertainty of outcomes over a baseline approach. In addition, we quantify the performance of a likelihood scoring technique that can be used to self evaluate the extrapolation risk of prognosis on unseen patients.


Learning Trailer Moments in Full Length Movies. A movie's key moments stand out of the screenplay to grab an audience's attention and make movie browsing efficient. But a lack of annotations makes the existing approaches not applicable to movie key moment detection. To get rid of human annotations, we leverage the officially released trailers as the weak supervision to learn a model that can detect the key moments from full length movies. We introduce a novel ranking network that utilizes the Co Attention between movies and trailers as guidance to generate the training pairs, where the moments highly corrected with trailers are expected to be scored higher than the uncorrelated moments. Additionally, we propose a Contrastive Attention module to enhance the feature representations such that the comparative contrast between features of the key and non key moments are maximized. We construct the first movie trailer dataset, and the proposed Co Attention assisted ranking network shows superior performance even over the supervised approach. The effectiveness of our Contrastive Attention module is also demonstrated by the performance improvement over the state of the art on the public benchmarks.


From asymptotic properties of general point processes to the ranking of financial agents. We propose a general non linear order book model that is built from the individual behaviours of the agents. Our framework encompasses Markovian and Hawkes based models. Under mild assumptions, we prove original results on the ergodicity and diffusivity of such system. Then we provide closed form formulas for various quantities of interest stationary distribution of the best bid and ask quantities, spread, liquidity fluctuations and price volatility. These formulas are expressed in terms of individual order flows of market participants. Our approach enables us to establish a ranking methodology for the market makers with respect to the quality of their trading.


Web Test Dependency Detection. E2E web test suites are prone to test dependencies due to the heterogeneous multi tiered nature of modern web apps, which makes it difficult for developers to create isolated program states for each test case. In this paper, we present the first approach for detecting and validating test dependencies present in E2E web test suites. Our approach employs string analysis to extract an approximated set of dependencies from the test code. It then filters potential false dependencies through natural language processing of test names. Finally, it validates all dependencies, and uses a novel recovery algorithm to ensure no true dependencies are missed in the final test dependency graph. Our approach is implemented in a tool called TEDD and evaluated on the test suites of six open source web apps. Our results show that TEDD can correctly detect and validate test dependencies up to 72 faster than the baseline with the original test ordering in which the graph contains all possible dependencies. The test dependency graphs produced by TEDD enable test execution parallelization, with a speed up factor of up to 7x.


Arbitrary Diffraction Engineering with Multilayered Multielement Metagratings. We theoretically formulate and experimentally demonstrate an analytical formalism for the design of printed circuit board (PCB) metagratings (MGs) exercising individual control over the amplitude and phase of numerous diffracted modes, in both reflection and transmission. Lately, these periodic arrangements of subwavelength polarizable particles (meta atoms) were shown to deflect an incoming plane wave to prescribed angles with very high efficiencies, despite their sparsity with respect to conventional metasurfaces. Nonetheless, most reported MGs were designed based on full wave optimization of the meta atoms, with the scarce analytical schemes leading directly to realizable devices were restricted to single layer reflecting structures, controlling only the partition of power. In this paper, we present an analytical model for plane wave interaction with a general multilayered multielement MG, composed of an arbitrary number of meta atoms distributed across an arbitrary number of layers in a given stratified media configuration. For a desired (forward and backward) diffraction pattern, we formulate suitable constraints, identify the required number of degrees of freedom, and correspondingly set them to yield a detailed MG configuration implementing the prescribed functionality no full wave optimization is involved. To verify and demonstrate the versatility of this systematic approach, fabrication ready multilayer PCB MGs for perfect anomalous refraction and non local focusing are synthesized, fabricated, and experimentally characterized, for the first time to the best of our knowledge, indicating very good correspondence with theoretical predictions. This appealing semianalytical methodology is expected to accelerate the development of MGs and extend the relevant range of applications, yielding practical MG designs on demand for arbitrary beam manipulation.


Discovering the IPv6 Network Periphery. We consider the problem of discovering the IPv6 network periphery, i.e., the last hop router connecting endhosts in the IPv6 Internet. Finding the IPv6 periphery using active probing is challenging due to the IPv6 address space size, wide variety of provider addressing and subnetting schemes, and incomplete topology traces. As such, existing topology mapping systems can miss the large footprint of the IPv6 periphery, disadvantaging applications ranging from IPv6 census studies to geolocation and network resilience. We introduce "edgy," an approach to explicitly discover the IPv6 network periphery, and use it to find 64M IPv6 periphery router addresses and 87M links to these last hops several orders of magnitude more than in currently available IPv6 topologies. Further, only 0.2 of edgy's discovered addresses are known to existing IPv6 hitlists.


Genetic Algorithmic Parameter Optimisation of a Recurrent Spiking Neural Network Model. Neural networks are complex algorithms that loosely model the behaviour of the human brain. They play a significant role in computational neuroscience and artificial intelligence. The next generation of neural network models is based on the spike timing activity of neurons spiking neural networks (SNNs). However, model parameters in SNNs are difficult to search and optimise. Previous studies using genetic algorithm (GA) optimisation of SNNs were focused mainly on simple, feedforward, or oscillatory networks, but not much work has been done on optimising cortex like recurrent SNNs. In this work, we investigated the use of GAs to search for optimal parameters in recurrent SNNs to reach targeted neuronal population firing rates, e.g. as in experimental observations. We considered a cortical column based SNN comprising 1000 Izhikevich spiking neurons for computational efficiency and biologically realism. The model parameters explored were the neuronal biased input currents. First, we found for this particular SNN, the optimal parameter values for targeted population averaged firing activities, and the convergence of algorithm by 100 generations. We then showed that the GA optimal population size was within 16 20 while the crossover rate that returned the best fitness value was 0.95. Overall, we have successfully demonstrated the feasibility of implementing GA to optimise model parameters in a recurrent cortical based SNN.


Emotional Musical Prosody for the Enhancement of Trust in Robotic Arm Communication. As robotic arms become prevalent in industry it is crucial to improve levels of trust from human collaborators. Low levels of trust in human robot interaction can reduce overall performance and prevent full robot utilization. We investigated the potential benefits of using emotional musical prosody to allow the robot to respond emotionally to the user's actions. We tested participants' responses to interacting with a virtual robot arm that acted as a decision agent, helping participants select the next number in a sequence. We compared results from three versions of the application in a between group experiment, where the robot had different emotional reactions to the user's input depending on whether the user agreed with the robot and whether the user's choice was correct. In all versions, the robot reacted with emotional gestures. One version used prosody based emotional audio phrases selected from our dataset of singer improvisations, the second version used audio consisting of a single pitch randomly assigned to each emotion, and the final version used no audio, only gestures. Our results showed no significant difference for the percentage of times users from each group agreed with the robot, and no difference between user's agreement with the robot after it made a mistake. However, participants also took a trust survey following the interaction, and we found that the reported trust ratings of the musical prosody group were significantly higher than both the single pitch and no audio groups.


Representing fitness landscapes by valued constraints to understand the complexity of local search. Local search is widely used to solve combinatorial optimisation problems and to model biological evolution, but the performance of local search algorithms on different kinds of fitness landscapes is poorly understood. Here we consider how fitness landscapes can be represented using valued constraints, and investigate what the structure of such representations reveals about the complexity of local search. First, we show that for fitness landscapes representable by binary Boolean valued constraints there is a minimal necessary constraint graph that can be easily computed. Second, we consider landscapes as equivalent if they allow the same (improving) local search moves we show that a minimal constraint graph still exists, but is NP hard to compute. We then develop several techniques to bound the length of any sequence of local search moves. We show that such a bound can be obtained from the numerical values of the constraints in the representation, and show how this bound may be tightened by considering equivalent representations. In the binary Boolean case, we prove that a degree 2 or tree structured constraint graph gives a quadratic bound on the number of improving moves made by any local search hence, any landscape that can be represented by such a model will be tractable for any form of local search. Finally, we build two families of examples to show that the conditions in our tractability results are essential. With domain size three, even just a path of binary constraints can model a landscape with an exponentially long sequence of improving moves. With a treewidth two constraint graph, even with a maximum degree of three, binary Boolean constraints can model a landscape with an exponentially long sequence of improving moves.


Optoelectronic mixing with high frequency graphene transistors. Graphene is ideally suited for optoelectronic applications. It offers absorption at telecom wavelengths, high frequency operation and CMOS compatibility. We report optoelectronic mixing up to to 67GHz using a back gated graphene field effect transistor (GFET). We also present a model to describe the resulting mixed current. These results pave the way for GETs optoelectronic mixers for mm wave applications, such as telecommunications and RADAR LIDAR systems.


Causality in the shock wave turbulent boundary layer interaction. The mechanisms governing the low frequency unsteadiness in the shock wave turbulent boundary layer interaction at Mach 2 are considered. The investigation is conducted based on the numerical database issued from large eddy simulations covering approximately 300 cycles of the low frequency shock fluctuations. The evaluation of the spectrum in the interaction zone indicates that the broadband low frequency unsteadiness is predominantly two dimensional, and can be isolated via spanwise averaging. Empirically derived transfer functions are computed using the averaged flow field, and indicate the occurrence of a feedback mechanism between downstream flow regions and shock fluctuations. The transfer functions are also used as an estimation tool to predict the shock motion accurately for the largest streamwise separation between input and output signals, correlations above 0.6 are observed between predicted and LES data. Computation of spectral proper orthogonal decomposition (SPOD) modes confirms the existence of upstream traveling waves in the leading spectral mode. Finally, the spectral modes obtained using selected flow regions downstream of the shock enable the reconstruction of a significant portion of the energy in the interaction zone. The current results shed further light on the physical mechanisms driving the shock motion, pointing towards a causal behavior between downstream areas and the characteristic unsteady fluctuations at the approximate shock position.


Reynolds algebras and their free objects from bracketed words and rooted trees. The study of Reynolds algebras has its origin in the well known work of O. Reynolds on fluid dynamics in 1895 and has since found broad applications. It also has close relationship with important linear operators such as algebra endomorphisms, derivations and Rota Baxter operators. Many years ago G. Birkhoff suggested an algebraic study of Reynolds operators, including the corresponding free algebras. We carry out such a study in this paper. We first provide examples and properties of Reynolds operators, including a multi variant generalization of the Reynolds identity. We then construct the free Reynolds algebra on a set. For this purpose, we identify a set of bracketed words called Reynolds words which serves as the linear basis of the free Reynolds algebra. A combinatorial interpretation of Reynolds words is given in terms of rooted trees without super crowns. The closure of the Reynolds words under concatenation gives the algebra structure on the space spanned by Reynolds words. Then a linear operator is defined on this algebra such that the Reynolds identity and the desired universal property are satisfied.


TransMIA Membership Inference Attacks Using Transfer Shadow Training. Transfer learning has been widely studied and gained increasing popularity to improve the accuracy of machine learning models by transferring some knowledge acquired in different training. However, no prior work has pointed out that transfer learning can strengthen privacy attacks on machine learning models. In this paper, we propose TransMIA (Transfer learning based Membership Inference Attacks), which use transfer learning to perform membership inference attacks on the source model when the adversary is able to access the parameters of the transferred model. In particular, we propose a transfer shadow training technique, where an adversary employs the parameters of the transferred model to construct shadow models, to significantly improve the performance of membership inference when a limited amount of shadow training data is available to the adversary. We evaluate our attacks using two real datasets, and show that our attacks outperform the state of the art that does not use our transfer shadow training technique. We also compare four combinations of the learning based entropy based approach and the fine tuning freezing approach, all of which employ our transfer shadow training technique. Then we examine the performance of these four approaches based on the distributions of confidence values, and discuss possible countermeasures against our attacks.


On Kemeny's constant for trees with fixed order and diameter. Kemeny's constant kappa(G) of a connected graph G is a measure of the expected transit time for the random walk associated with G . In the current work, we consider the case when G is a tree, and, in this setting, we provide lower and upper bounds for kappa(G) in terms of the order n and diameter delta of G by using two different techniques. The lower bound is given as Kemeny's constant of a particular caterpillar tree and, as a consequence, it is sharp. The upper bound is found via induction, by repeatedly removing pendent vertices from G . By considering a specific family of trees the broom stars we show that the upper bound is asymptotically sharp.


Rational approximation of holomorphic maps. Let X be a complex nonsingular affine algebraic variety, K a holomorphically convex subset of X, and Y a homogeneous variety for some complex linear algebraic group. We prove that a holomorphic map f K Y can be uniformly approximated on K by regular maps K Y if and only if f is homotopic to a regular map K Y. However, it can happen that a null homotopic holomorphic map K Y does not admit uniform approximation on K by regular maps X Y. Here, a map g K Y is called holomorphic (resp. regular) if there exist an open (resp. a Zariski open) neighborhood U of K in X and a holomorphic (resp. regular) map h U Y such that h K g.


A comparison of various analytic choice principles. We investigate computability theoretic and descriptive set theoretic contents of various kinds of analytic choice principles by performing detailed analysis of the Medvedev lattice of Sigma 1 1 closed sets. Among others, we solve an open problem on the Weihrauch degree of the parallelization of the Sigma 1 1 choice principle on the integers. Harrington's unpublished result on a jump hierarchy along a pseudo well ordering plays a key role in solving the problem.


Turning Transport Data to Comply with EU Standards while Enabling a Multimodal Transport Knowledge Graph. Complying with the EU Regulation on multimodal transportation services requires sharing data on the National Access Points in one of the standards (e.g., NeTEx and SIRI) indicated by the European Commission. These standards are complex and of limited practical adoption. This means that datasets are natively expressed in other formats and require a data translation process for full compliance. This paper describes the solution to turn the authoritative data of three different transport stakeholders from Italy and Spain into a format compliant with EU standards by means of Semantic Web technologies. Our solution addresses the challenge and also contributes to build a multi modal transport Knowledge Graph of interlinked and interoperable information that enables intelligent querying and exploration, as well as facilitates the design of added value services.


Ricci curvature and W 1 exponential convergence of Markov processes on graphs. In this paper, we show that the Ricci curvature lower bound in Ollivier's Wasserstein metric sense of a continuous time jumping Markov process on a graph can be characterized by some optimal coupling generator and provide the construction of this latter. Some previous results of Ollivier for discrete time Markov chains are generalized to the actual continuous time case. We propose a comparison technique with some death birth process on mathbb N to obtain some explicit exponential convergence rate, by modifying the metric. A counterpart of Zhong Yang's estimate is established in the case where the Ricci curvature with repsect to the graph metric is nonnegative. Moreover we show that the Lyapunov function method for the exponential convergence works with some explicit quantitative estimates, once if the Ricci curvature is bounded from below by a negative constant. Finally we present applications to Glauder dynamics under some dynamical versions of the Dobrushin uniqueness condition or of the Dobrushin Shlosman analyticity condition.


Positive enumerable functors. We study reductions well suited to compare structures and classes of structures with respect to properties based on enumeration reducibility. We introduce the notion of a positive enumerable functor and study the relationship with established reductions based on functors and alternative definitions.


Energy recovery operation for continuous wave X ray free electron lasers. A superconducting linear accelerator operating in continuous wave mode could produce X ray free electron lasers (XFEL) at megahertz repetition rate, with the capability that delivering wide spectral range coherent radiation to multi end stations. In this Letter, the energy recovery Linac (ERL) mode is proposed to flexibly control the electron beam energy for a continuous wave superconducting Linac. Theoretical investigations and multi dimensional numerical simulations are applied to the Linac case of Shanghai high repetition rate XFEL and extreme light facility. The results show that, with ERL operation in the last 25 cryo modules, the strict requirements on RF power system could be significantly relaxed. And if one exhaust the RF power, the maximum electron beam energy can be enhanced from 8.74 GeV to 11.41GeV in ERL mode. The optimization of the ERL operation, the multi energy electron beam transport and the XFEL performance improvements are presented.


Riemannian Proximal Gradient Methods (extended version). In the Euclidean setting, the proximal gradient method and its accelerated variants are a class of efficient algorithms for optimization problems with decomposable objective. In this paper, we develop a Riemannian proximal gradient method (RPG) and its accelerated variant (ARPG) for similar problems but constrained on a manifold. The global convergence of RPG has been established under mild assumptions, and the O(1 k) is also derived for RPG based on the notion of retraction convexity. If assuming the objective function obeys the Rimannian Kurdyka Lojasiewicz (KL) property, it is further shown that the sequence generated by RPG converges to a single stationary point. As in the Euclidean setting, local convergence rate can be established if the objective function satisfies the Riemannian KL property with an exponent. Moreover, we have shown that the restriction of a semialgebraic function onto the Stiefel manifold satisfies the Riemannian KL property, which covers for example the well known sparse PCA problem. Numerical experiments on random and synthetic data are conducted to test the performance of the proposed RPG and ARPG.


Counterfactual Explanation and Causal Inference in Service of Robustness in Robot Control. We propose an architecture for training generative models of counterfactual conditionals of the form, 'can we modify event A to cause B instead of C?', motivated by applications in robot control. Using an 'adversarial training' paradigm, an image based deep neural network model is trained to produce small and realistic modifications to an original image in order to cause user defined effects. These modifications can be used in the design process of image based robust control to determine the ability of the controller to return to a working regime by modifications in the input space, rather than by adaptation. In contrast to conventional control design approaches, where robustness is quantified in terms of the ability to reject noise, we explore the space of counterfactuals that might cause a certain requirement to be violated, thus proposing an alternative model that might be more expressive in certain robotics applications. So, we propose the generation of counterfactuals as an approach to explanation of black box models and the envisioning of potential movement paths in autonomous robotic control. Firstly, we demonstrate this approach in a set of classification tasks, using the well known MNIST and CelebFaces Attributes datasets. Then, addressing multi dimensional regression, we demonstrate our approach in a reaching task with a physical robot, and in a navigation task with a robot in a digital twin simulation.


On certain maps defined by infinite sums. The present article is devoted to some examples of functions whose arguments represented in terms of certain series of the Cantor type.


Varentropy of past lifetimes. In Reliability Theory, uncertainty is measured by the Shannon entropy. Recently, in order to analyze the variability of such measure, varentropy has been introduced and studied. In this paper we define a new concept of varentropy for past lifetime distributions as the variability of uncertainty in past lifetime. We analyze the relation of this varentropy with the corresponding past entropy and other concepts of interest in reliability and we study the effect of linear and monotonic transformations on it. Finally, we evaluate past varentropy for random variables following a proportional reversed hazard rate model.


Largeness and equational probability in groups. We define k genericity and k largeness for a subset of a group, and determine the value of k for which a k large subset of G n is already the whole of G n , for various equationally defined subsets. We link this with the inner measure of the set of solutions of an equation in a group, leading to new results and or proofs in equational probabilistic group theory.


Convolution of Roumieu ultradistributions in sequential approach. We consider several general sequential conditions for convolvability of two Roumieu ultradistributions and prove that they are equivalent to the convolvability of these ultradistributions in the sense of Pilipovic and Prangoski. The discussed conditions, based on two classes of approximate units and corresponding sequential conditions of integrability of Roumieu ultradistributions, are analogous to the known convolvability conditions in the space of distributions and in the space of ultradistributions of Beurling type. Moreover, the useful property of the convolution and ultradiferential operator is proved.


Interactive Physics Inspired Traffic Congestion Management. This paper proposes a new physics based approach to effectively control congestion in a network of interconnected roads (NOIR). The paper integrates mass flow conservation and diffusion based dynamics to model traffic coordination in a NOIR. The mass conservation law is used to model the traffic density dynamics across the NOIR while the diffusion law is applied to include traffic speed and motion direction into planning. This paper offers an analogy between traffic coordination in a transportation system and heat flux in a thermal system to define a potential filed over the NOIR. The paper also develops an interactive light based and boundary control to manage traffic congestion through optimizing the traffic signal operations and controlling traffic flows at the NOIR boundary nodes. More specifically, a model predictive boundary control optimizes the NOIR inflow traffic while a receding horizon optimizer assigns the optimal movement phases at the NOIR intersections. For simulation, the paper models traffic congestion in a heterogeneous NOIR with a large number of interior and boundary nodes where the proposed interactive control can successfully manage the congestion.


A Multimodal Late Fusion Model for E Commerce Product Classification. The cataloging of product listings is a fundamental problem for most e commerce platforms. Despite promising results obtained by unimodal based methods, it can be expected that their performance can be further boosted by the consideration of multimodal product information. In this study, we investigated a multimodal late fusion approach based on text and image modalities to categorize e commerce products on Rakuten. Specifically, we developed modal specific state of the art deep neural networks for each input modal, and then fused them at the decision level. Experimental results on Multimodal Product Classification Task of SIGIR 2020 E Commerce Workshop Data Challenge demonstrate the superiority and effectiveness of our proposed method compared with unimodal and other multimodal methods. Our team named pa curis won the 1st place with a macro F1 of 0.9144 on the final leaderboard.


Well posedness of strong solutions to the anelastic equations of stratified viscous flows. We establish the local and global well posedness of strong solutions to the two and three dimensional anelastic equations of stratified viscous flows. In this model, the interaction of the density profile with the velocity field is taken into account, and the density background profile is permitted to have physical vacuum singularity. The existing time of the solutions is infinite in two dimensions, with general initial data, and in three dimensions with small initial data.


NormalGAN Learning Detailed 3D Human from a Single RGB D Image. We propose NormalGAN, a fast adversarial learning based method to reconstruct the complete and detailed 3D human from a single RGB D image. Given a single front view RGB D image, NormalGAN performs two steps front view RGB D rectification and back view RGBD inference. The final model was then generated by simply combining the front view and back view RGB D information. However, inferring backview RGB D image with high quality geometric details and plausible texture is not trivial. Our key observation is Normal maps generally encode much more information of 3D surface details than RGB and depth images. Therefore, learning geometric details from normal maps is superior than other representations. In NormalGAN, an adversarial learning framework conditioned by normal maps is introduced, which is used to not only improve the front view depth denoising performance, but also infer the back view depth image with surprisingly geometric details. Moreover, for texture recovery, we remove shading information from the front view RGB image based on the refined normal map, which further improves the quality of the back view color inference. Results and experiments on both testing data set and real captured data demonstrate the superior performance of our approach. Given a consumer RGB D sensor, NormalGAN can generate the complete and detailed 3D human reconstruction results in 20 fps, which further enables convenient interactive experiences in telepresence, AR VR and gaming scenarios.


Graphcore C2 Card performance for image based deep learning application A Report. Recently, Graphcore has introduced an IPU Processor for accelerating machine learning applications. The architecture of the processor has been designed to achieve state of the art performance on current machine intelligence models for both training and inference. In this paper, we report on a benchmark in which we have evaluated the performance of IPU processors on deep neural networks for inference. We focus on deep vision models such as ResNeXt. We report the observed latency, throughput and energy efficiency.


On a question of Slaman and Steel. We consider an old question of Slaman and Steel whether Turing equivalence is an increasing union of Borel equivalence relations none of which contain a uniformly computable infinite sequence. We show this question is deeply connected to problems surrounding Martin's conjecture, and also in countable Borel equivalence relations. In particular, if Slaman and Steel's question has a positive answer, it implies there is a universal countable Borel equivalence which is not uniformly universal, and that there is a ( equiv T, equiv m) invariant function which is not uniformly invariant on any pointed perfect set.


The Halting Paradox. The halting problem is considered to be an essential part of the theoretical background to computing. That halting is not in general computable has supposedly been proved in many text books and taught on many computer science courses, in order to illustrate the limits of computation. However, Eric Hehner has a dissenting view, in which the specification of the halting problem is called into question.


Separation scaling for viscous vortex reconnection. Reconnection plays a significant role in the dynamics of plasmas, polymers and macromolecules, as well as in numerous laminar and turbulent flow phenomena in both classical and quantum fluids. Extensive studies in quantum vortex reconnection show that the minimum separation distance delta between interacting vortices follows a 1 2 scaling. Due to the complex nature of the dynamics (e.g., the formation of bridges and threads as well as successive reconnections and avalanche), such scaling has never been reported for (classical) viscous vortex reconnection. Using the direct numerical simulation of the Navier Stokes equations, we study viscous reconnection of slender vortices, whose core size is much smaller than the radius of the vortex curvature. For separations that are large compared to the vortex core size, we discover that delta (t) between the two interacting viscous vortices surprisingly also follows the 1 2 power scaling for both pre and post reconnection events. The prefactors in this 1 2 power law are found to depend not only on the initial configuration but also on the vortex Reynolds number (or viscosity). Our finding in the viscous reconnection, complementing numerous works on quantum vortex reconnection, suggests that there is indeed a universal route for reconnection an essential result for understanding the various facets of the viscous vortex reconnection phenomena and their potential modeling, as well as possibly explaining turbulence cascade physics.


Classification of stable solutions to a non local Gelfand Liouville equation. We study finite Morse index solutions to the non local Gelfand Liouville problem ( Delta) su e u quad mathrm in quad mathbb R n, for every s in(0,1) and n 2s . Precisely, we prove non existence of finite Morse index solutions whenever the singular solution u n,s (x) 2s log x log left(2 2s frac Gamma( frac n 2 ) Gamma(1 s) Gamma( frac n 2s 2 ) right) is unstable.


SiTGRU Single Tunnelled Gated Recurrent Unit for Abnormality Detection. Abnormality detection is a challenging task due to the dependence on a specific context and the unconstrained variability of practical scenarios. In recent years, it has benefited from the powerful features learnt by deep neural networks, and handcrafted features specialized for abnormality detectors. However, these approaches with large complexity still have limitations in handling long term sequential data (e.g., videos), and their learnt features do not thoroughly capture useful information. Recurrent Neural Networks (RNNs) have been shown to be capable of robustly dealing with temporal data in long term sequences. In this paper, we propose a novel version of Gated Recurrent Unit (GRU), called Single Tunnelled GRU for abnormality detection. Particularly, the Single Tunnelled GRU discards the heavy weighted reset gate from GRU cells that overlooks the importance of past content by only favouring current input to obtain an optimized single gated cell model. Moreover, we substitute the hyperbolic tangent activation in standard GRUs with sigmoid activation, as the former suffers from performance loss in deeper networks. Empirical results show that our proposed optimized GRU model outperforms standard GRU and Long Short Term Memory (LSTM) networks on most metrics for detection and generalization tasks on CUHK Avenue and UCSD datasets. The model is also computationally efficient with reduced training and testing time over standard RNNs.


Invisible Backdoor Attacks on Deep Neural Networks via Steganography and Regularization. Deep neural networks (DNNs) have been proven vulnerable to backdoor attacks, where hidden features (patterns) trained to a normal model, which is only activated by some specific input (called triggers), trick the model into producing unexpected behavior. In this paper, we create covert and scattered triggers for backdoor attacks, invisible backdoors, where triggers can fool both DNN models and human inspection. We apply our invisible backdoors through two state of the art methods of embedding triggers for backdoor attacks. The first approach on Badnets embeds the trigger into DNNs through steganography. The second approach of a trojan attack uses two types of additional regularization terms to generate the triggers with irregular shape and size. We use the Attack Success Rate and Functionality to measure the performance of our attacks. We introduce two novel definitions of invisibility for human perception one is conceptualized by the Perceptual Adversarial Similarity Score (PASS) and the other is Learned Perceptual Image Patch Similarity (LPIPS). We show that the proposed invisible backdoors can be fairly effective across various DNN models as well as four datasets MNIST, CIFAR 10, CIFAR 100, and GTSRB, by measuring their attack success rates for the adversary, functionality for the normal users, and invisibility scores for the administrators. We finally argue that the proposed invisible backdoor attacks can effectively thwart the state of the art trojan backdoor detection approaches, such as Neural Cleanse and TABOR.


Decision Making for Autonomous Driving via Augmented Adversarial Inverse Reinforcement Learning. Making decisions in complex driving environments is a challenging task for autonomous agents. Imitation learning methods have great potentials for achieving such a goal. Adversarial Inverse Reinforcement Learning (AIRL) is one of the state of art imitation learning methods that can learn both a behavioral policy and a reward function simultaneously, yet it is only demonstrated in simple and static environments where no interactions are introduced. In this paper, we improve and stabilize AIRL's performance by augmenting it with semantic rewards in the learning framework. Additionally, we adapt the augmented AIRL to a more practical and challenging decision making task in a highly interactive environment in autonomous driving. The proposed method is compared with four baselines and evaluated by four performance metrics. Simulation results show that the augmented AIRL outperforms all the baseline methods, and its performance is comparable with that of the experts on all of the four metrics.


Towards real time population estimates introducing Twitter daily estimates of residents and non residents at the county level. The study of migrations and mobility has historically been severely limited by the absence of reliable data or the temporal sparsity of the available data. Using geospatial digital trace data, the study of population movements can be much more precisely and dynamically measured. Our research seeks to develop a near real time (one day lag) Twitter census that gives a more temporally granular picture of local and non local population at the county level. Leveraging geotagged tweets to determine the home location of all active Twitter users, we contribute to the field of digital and computational demography by obtaining accurate daily Twitter population stocks (residents and non residents). Internal validation reveals over 80 of accuracy when compared with users self reported home location. External validation results suggest these stocks correlate with available statistics of residents non residents at the county level and can accurately reflect regular (seasonal tourism) and non regular events such as the Great American Solar Eclipse of 2017. The findings demonstrate that Twitter holds potential to introduce the dynamic component often lacking in population estimates.


TEAM Trilateration for Exploration and Mapping with Robotic Networks. Motivated by lunar exploration, we consider deploying a network of mobile robots to explore an unknown environment while acting as a cooperative positioning system. Robots measure and communicate position related data in order to perform localization in the absence of infrastructure based solutions (e.g. stationary beacons or GPS). We present Trilateration for Exploration and Mapping (TEAM), a novel algorithm for low complexity localization and mapping with robotic networks. TEAM is designed to leverage the capability of commercially available ultra wideband (UWB) radios on board the robots to provide range estimates with centimeter accuracy and perform anchorless localization in a shared, stationary frame. It is well suited for feature deprived environments, where feature based localization approaches suffer. We provide experimental results in varied Gazebo simulation environments as well as on a testbed of Turtlebot3 Burgers with Pozyx UWB radios. We compare TEAM to the popular Rao Blackwellized Particle Filter for Simultaneous Localization and Mapping (SLAM). We demonstrate that TEAM requires an order of magnitude less computational complexity and reduces the necessary sample rate of LiDAR measurements by an order of magnitude. These advantages do not require sacrificing performance, as TEAM reduces the maximum localization error by 50 and achieves up to a 28 increase in map accuracy in feature deprived environments and comparable map accuracy in other settings.


Reprogrammable plasmonic topological insulators with ultrafast control. Topological photonics has revolutionized our understanding of light propagation, but most of current studies are focused on designing a static photonic structure. Developing a dynamic photonic topological platform to switch multiple topological functionalities at ultrafast speed is still a great challenge. Here we demonstrate an ultrafast reprogrammable plasmonic topological insulator, where the topological propagation route can be dynamically steered at nanosecond level switching time, namely more than 10 7 times faster than the current state of the art. This orders of magnitude improvement is achieved by using ultrafast electronic switches in an innovative way to implement the programmability. Due to the flexible programmability, many existing photonic topological functionalities can be integrated into this agile topological platform. Our work brings the current studies of photonic topological insulators to a digital and intelligent era, which could boost the development of intelligent and ultrafast photoelectric devices with built in topological protection.


A coupling of the spectral measures at a vertex. Given the adjacency matrix of an undirected graph, we define a coupling of the spectral measures at the vertices, whose moments count the rooted closed paths in the graph. The resulting joint spectral measure verifies numerous interesting properties that allow to recover minors of analytical functions of the adjacency matrix from its generalized moments. We prove an extension of Obata's Central Limit Theorem in growing star graphs to the multivariate case and discuss some combinatorial properties using Viennot's heaps of pieces point of view.


A Benchmark on Tricks for Large scale Image Retrieval. Many studies have been performed on metric learning, which has become a key ingredient in top performing methods of instance level image retrieval. Meanwhile, less attention has been paid to pre processing and post processing tricks that can significantly boost performance. Furthermore, we found that most previous studies used small scale datasets to simplify processing. Because the behavior of a feature representation in a deep learning model depends on both domain and data, it is important to understand how model behave in large scale environments when a proper combination of retrieval tricks is used. In this paper, we extensively analyze the effect of well known pre processing, post processing tricks, and their combination for large scale image retrieval. We found that proper use of these tricks can significantly improve model performance without necessitating complex architecture or introducing loss, as confirmed by achieving a competitive result on the Google Landmark Retrieval Challenge 2019.


An investigation of Modern Foreign Language (MFL) teachers and their cognitions of Computer Assisted Language Learning (CALL) amid the COVID 19 health pandemic. A study was performed with 33 Modern Foreign Language (MFL) teachers to afford insight into how classroom practitioners interact with Computer Assisted Language Learning (CALL) in Second Language (L2) pedagogy. A questionnaire with CALL specific statements was completed by MFL teachers who were recruited via UK based Facebook groups. Significantly, participants acknowledged a gap in practice from the expectation of CALL in the MFL classroom. Overall, respondents were shown to be interested and regular consumers of CALL who perceived its ease and importance in L2 teaching and learning.


Random Gale diagrams and neighborly polytopes in high dimensions. Taking up a suggestion of David Gale from 1956, we generate sets of combinatorially isomorphic polytopes by choosing their Gale diagrams at random. We find that in high dimensions, and under suitable assumptions on the growth of the involved parameters, the obtained polytopes have strong neighborliness properties, with high probability.


Real Time Edge Classification Optimal Offloading under Token Bucket Constraints. To deploy machine learning based algorithms for real time applications with strict latency constraints, we consider an edge computing setting where a subset of inputs are offloaded to the edge for processing by an accurate but resource intensive model, and the rest are processed only by a less accurate model on the device itself. Both models have computational costs that match available compute resources, and process inputs with low latency. But offloading incurs network delays, and to manage these delays to meet application deadlines, we use a token bucket to constrain the average rate and burst length of transmissions from the device. We introduce a Markov Decision Process based framework to make offload decisions under these constraints, based on the local model's confidence and the token bucket state, with the goal of minimizing a specified error measure for the application. Beyond isolated decisions for individual devices, we also propose approaches to allow multiple devices connected to the same access switch to share their bursting allocation. We evaluate and analyze the policies derived using our framework on the standard ImageNet image classification benchmark.


Stochastic Subspace Descent. We present two stochastic descent algorithms that apply to unconstrained optimization and are particularly efficient when the objective function is slow to evaluate and gradients are not easily obtained, as in some PDE constrained optimization and machine learning problems. The basic algorithm projects the gradient onto a random subspace at each iteration, similar to coordinate descent but without restricting directional derivatives to be along the axes. This algorithm is previously known but we provide new analysis. We also extend the popular SVRG method to this framework but without requiring that the objective function be written as a finite sum. We provide proofs of convergence for our methods under various convexity assumptions and show favorable results when compared to gradient descent and BFGS on non convex problems from the machine learning and shape optimization literature. We also note that our analysis gives a proof that the iterates of SVRG and several other popular first order stochastic methods, in their original formulation, converge almost surely to the optimum to our knowledge, prior to this work the iterates of SVRG had only been known to converge in expectation.


OWL2Vec Embedding of OWL Ontologies. Semantic embedding of knowledge graphs has been widely studied and used for prediction and statistical analysis tasks across various domains such as Natural Language Processing and the Semantic Web. However, less attention has been paid to developing robust methods for embedding OWL (Web Ontology Language) ontologies which can express a much wider range of semantics than knowledge graphs and have been widely adopted in domains such as bioinformatics. In this paper, we propose a random walk and word embedding based ontology embedding method named OWL2Vec , which encodes the semantics of an OWL ontology by taking into account its graph structure, lexical information and logical constructors. Our empirical evaluation with three real world datasets suggests that OWL2Vec benefits from these three different aspects of an ontology in class membership prediction and class subsumption prediction tasks. Furthermore, OWL2Vec often significantly outperforms the state of the art methods in our experiments.


A criterion for nilpotency of a finite group by the sum of element orders. Denote the sum of element orders in a finite group G by psi(G) and let C n denote the cyclic group of order n . In this paper, we prove that if G n and psi(G) frac 13 21 , psi(C n) , then G is nilpotent. Moreover, we have psi(G) frac 13 21 , psi(C n) if and only if n 6m with (6,m) 1 and G cong S 3 times C m . Two interesting consequences of this result are also presented.


Stability and holomorphic connections on vector bundles over LVMB manifolds. We characterize all LVMB manifolds X such that the holomorphic tangent bundle TX is spanned at the generic point by a family of global holomorphic vector fields, each of them having non empty zero locus. We deduce that holomorphic connections on semi stable holomorphic vector bundles over LVMB manifolds with this previous property are always flat.


Super clustering of consecutive numbers in p shifted random permutations. Let A (n) l k subset S n denote the event that the set of l consecutive numbers k,k 1, cdots, k l 1 appear in a set of l consecutive positions. Let p p j j 1 infty be a distribution on mathbb N with p j 0 . Let P n denote the probability measure on S n corresponding to the p shifted random permutation. Our main result, under the additional assumption that p j j 1 infty is non increasing, is that begin aligned lim l to infty lim n to infty P n(A (n ) l,k ) big( prod j 1 k 1 sum i 1 jp i big) big( prod j 1 infty sum i 1 jp i big), end aligned and that if lim n to infty min(k n,n k n) infty , then begin aligned lim l to infty lim n to infty P n(A (n ) l,k n ) big( prod j 1 infty sum i 1 jp i big) 2. end aligned In particular these limits are positive if and only if sum j 1 infty jp j infty . We say that super clustering occurs when the limits are positive. We also give a new characterization of the class of p shifted probability distributions on S infty .


Matrix Invariants of Finite Metric Spaces. Finite metric spaces are characterized by a polyhedral cone defined in terms of the positivity of the distance functions and the triangle inequalities. Their classification is based on the decomposition of an associated polyhedral cone, called the "metric fan". The complete classification of n point metric spaces is available only for n le 6 . As the number of classes increases rapidly with the number of elements, it is desirable to have coarser equivalence class decompositions based on certain invariants of finite metric spaces. If (X,d) is a finite metric space with elements P i and with distance functions d ij , the Gromov product at P i is defined as Delta ijk 1 2(d ij d ik d jk ) . Assuming that the set of Gromov product at P i has a unique smallest element Delta ijk , the association of the edge P jP k to P i defines the "Gromov product structure". The "pendant free" reduction of the finite metric space is the graph obtained by removing the edges P jP k corresponding to the minimal Gromov products Delta ijk at P i . In the present work, we define a matrix representation for a Gromov product structure S on an n point metric space, by n times n matrix G S . We prove that if two metric spaces have Gromov product structures that can be mapped to each other by a permutation of the indices, then their matrices are similar via the corresponding permutation matrix. Matrix invariants of G S are used to define subclasses of Gromov product structures and their application to n 5 and n 6 point spaces are given.


A Note on Computational Complexity of Dou Shou Qi. Dou Shou Qi is a Chinese strategy board game for two players. We use a EXPTIME hardness framework to analyse computational complexity of the game. We construct all gadgets of the hardness framework. In conclusion, we prove that Dou Shou Qi is EXPTIME complete.


Attacks to Federated Learning Responsive Web User Interface to Recover Training Data from User Gradients. Local differential privacy (LDP) is an emerging privacy standard to protect individual user data. One scenario where LDP can be applied is federated learning, where each user sends in his her user gradients to an aggregator who uses these gradients to perform stochastic gradient descent. In a case where the aggregator is untrusted and LDP is not applied to each user gradient, the aggregator can recover sensitive user data from these gradients. In this paper, we present a new interactive web demo showcasing the power of local differential privacy by visualizing federated learning with local differential privacy. Moreover, the live demo shows how LDP can prevent untrusted aggregators from recovering sensitive training data. A measure called the exp hamming recovery is also created to show the extent of how much data the aggregator can recover.


Uplink and Downlink MIMO NOMA with Simultaneous Triangularization. In this paper, we consider the uplink and downlink precoder design for two user power domain multiple input multiple output (MIMO) non orthogonal multiple access (NOMA) systems. We propose novel uplink and downlink precoding and decoding schemes that lower the decoding complexity at the receiver by decomposing the MIMO NOMA channels of the users into multiple single input single output (SISO) NOMA channels via simultaneous triangularization (ST) of the MIMO channels of the users and a low complexity self interference cancellation at the receiver. The proposed ST MIMO NOMA schemes avoid channel inversion at transmitter and receiver and take advantage of the null spaces of the MIMO channels of the users, which is beneficial for the ergodic achievable rate performance. We characterize the maximum ergodic achievable rate regions of the proposed uplink and downlink ST MIMO NOMA schemes, and compare them with respective upper bounds, baseline MIMO NOMA precoding schemes, and orthogonal multiple access (OMA). Our results illustrate that the proposed schemes significantly outperform the considered baseline MIMO NOMA precoding schemes and OMA, and have a small gap to the respective upper bounds for most channel conditions and user rates. Moreover, we show that a hybrid scheme, which performs time sharing between the proposed uplink and downlink ST MIMO NOMA and single user MIMO, can improve performance even further.


Orchestrating Service Migration for Low Power MEC Enabled IoT Devices. Multi Access Edge Computing (MEC) is a key enabling technology for Fifth Generation (5G) mobile networks. MEC facilitates distributed cloud computing capabilities and information technology service environment for applications and services at the edges of mobile networks. This architectural modification serves to reduce congestion, latency, and improve the performance of such edge colocated applications and devices. In this paper, we demonstrate how reactive service migration can be orchestrated for low power MEC enabled Internet of Things (IoT) devices. Here, we use open source Kubernetes as container orchestration system. Our demo is based on traditional client server system from user equipment (UE) over Long Term Evolution (LTE) to the MEC server. As the use case scenario, we post process live video received over web real time communication (WebRTC). Next, we integrate orchestration by Kubernetes with S1 handovers, demonstrating MEC based software defined network (SDN). Now, edge applications may reactively follow the UE within the radio access network (RAN), expediting low latency. The collected data is used to analyze the benefits of the low power MEC enabled IoT device scheme, in which end to end (E2E) latency and power requirements of the UE are improved. We further discuss the challenges of implementing such schemes and future research directions therein.


Non existence of patterns and gradient estimates. We call pattern any non constant stable solution of a semilinear elliptic equation with Neumann boundary conditions. A classical theorem of Casten, Holland 19 and Matano 49 states that stable patterns do not exist in convex domains. In this article, we show that the assumptions of convexity of the domain and stability of the pattern in this theorem can be relaxed in several directions. In particular, we propose a general criterion for the non existence of patterns, dealing with possibly non convex domains and unstable patterns. Our results unfold the interplay between the geometry of the domain, the magnitude of the nonlinearity, and the stability of patterns. We propose several applications, for example, we prove that (under a geometric assumption) there exist no patterns if the domain is shrunk or if the nonlinearity has a small magnitude. We also refine the result of Casten Holland and Matano and show that it is robust under smooth perturbations of the domain and the nonlinearity. In addition, we establish several gradient estimates for the patterns of (1). We prove a general nonlinear Cacciopoli inequality (or an inverse Poincar 'e inequality), stating that the L2 norm of the gradient of a solution is controlled by the L2 norm of f(u), with a constant that only depends on the domain. This inequality holds for non homogeneous equations. We also give several flatness estimates. Our approach relies on the introduction of what we call the Robin curvature Laplacian. This operator is intrinsic to the domain and contains much information on how the geometry of the domain affects the shape of the solutions. Finally, we extend our results to unbounded domains. It allows us to improve the results of our previous paper 53 and to extend some results on De Giorgi's conjecture to a larger class of domains.


Compositional Convolutional Neural Networks A Deep Architecture with Innate Robustness to Partial Occlusion. Recent findings show that deep convolutional neural networks (DCNNs) do not generalize well under partial occlusion. Inspired by the success of compositional models at classifying partially occluded objects, we propose to integrate compositional models and DCNNs into a unified deep model with innate robustness to partial occlusion. We term this architecture Compositional Convolutional Neural Network. In particular, we propose to replace the fully connected classification head of a DCNN with a differentiable compositional model. The generative nature of the compositional model enables it to localize occluders and subsequently focus on the non occluded parts of the object. We conduct classification experiments on artificially occluded images as well as real images of partially occluded objects from the MS COCO dataset. The results show that DCNNs do not classify occluded objects robustly, even when trained with data that is strongly augmented with partial occlusions. Our proposed model outperforms standard DCNNs by a large margin at classifying partially occluded objects, even when it has not been exposed to occluded objects during training. Additional experiments demonstrate that CompositionalNets can also localize the occluders accurately, despite being trained with class labels only. The code used in this work is publicly available.


The number of Dirac weighted eigenvalues of Sturm Liouville equations with integrable potentials and an application to inverse problems. In this paper, we further Meirong Zhang, et al.'s work by computing the number of weighted eigenvalues for Sturm Liouville equations, equipped with general integrable potentials and Dirac weights, under Dirichlet boundary condition. We show that, for a Sturm Liouville equation with a general integrable potential, if its weight is a positive linear combination of n Dirac Delta functions, then it has at most n (may be less than n , or even be 0 ) distinct real Dirichlet eigenvalues, or every complex number is a Dirichlet eigenvalue in particular, under some sharp condition, the number of Dirichlet eigenvalues is exactly n . Our main method is to introduce the concepts of characteristics matrix and characteristics polynomial for Sturm Liouville problem with Dirac weights, and put forward a general and direct algorithm used for computing eigenvalues. As an application, a class of inverse Dirichelt problems for Sturm Liouville equations involving single Dirac distribution weights is studied.


Self recognition in conversational agents. In a standard Turing test, a machine has to prove its humanness to the judges. By successfully imitating a thinking entity such as a human, this machine then proves that it can also think. Some objections claim that Turing test is not a tool to demonstrate the existence of general intelligence or thinking activity. A compelling alternative is the Lovelace test, in which the agent must originate a product that the agent's creator cannot explain. Therefore, the agent must be the owner of an original product. However, for this to happen the agent must exhibit the idea of self and distinguish oneself from others. Sustaining the idea of self within the Turing test is still possible if the judge decides to act as a textual mirror. Self recognition tests applied on animals through mirrors appear to be viable tools to demonstrate the existence of a type of general intelligence. Methodology here constructs a textual version of the mirror test by placing the agent as the one and only judge to figure out whether the contacted one is an other, a mimicker, or oneself in an unsupervised manner. This textual version of the mirror test is objective, self contained, and devoid of humanness. Any agent passing this textual mirror test should have or can acquire a thought mechanism that can be referred to as the inner voice, answering the original and long lasting question of Turing "Can machines think?" in a constructive manner still within the bounds of the Turing test. Moreover, it is possible that a successful self recognition might pave way to stronger notions of self awareness in artificial beings.


Provisioning Spot Instances Without Employing Fault Tolerance Mechanisms. Cloud computing offers a variable cost payment scheme that allows cloud customers to specify the price they are willing to pay for renting spot instances to run their applications at much lower costs than fixed payment schemes, and depending on the varying demand from cloud customers, cloud platforms could revoke spot instances at any time. To alleviate the effect of spot instance revocations, applications often employ different fault tolerance mechanisms to minimize or even eliminate the lost work for each spot instance revocation. However, these fault tolerance mechanisms incur additional overhead related to application completion time and deployment cost. We propose a novel cloud market based approach that leverages cloud spot market features to provision spot instances without employing fault tolerance mechanisms to reduce the deployment cost and completion time of applications. We evaluate our approach in simulations and use Amazon spot instances that contain jobs in Docker containers and realistic price traces from EC2 markets. Our simulation results show that our approach reduces the deployment cost and completion time compared to approaches based on fault tolerance mechanisms.


Global optimization of parameters in the reactive force field ReaxFF for SiOH. We have used unbiased global optimization to fit a reactive force field to a given set of reference data. Specifically, we have employed genetic algorithms (GA) to fit ReaxFF to SiOH data, using an in house GA code that is parallelized across reference data items via the message passing interface (MPI). Details of GA tuning turn out to be far less important for global optimization efficiency than using suitable ranges within which the parameters are varied. To establish these ranges, either prior knowledge can be used or successive stages of GA optimizations, each building upon the best parameter vectors and ranges found in the previous stage. We finally arrive at optimized force fields with smaller error measures than those published previously. Hence, this optimization approach will contribute to converting force field fitting from a specialist task to an everyday commodity, even for the more difficult case of reactive force fields.


An Attack on the the Encryption Scheme of the Moscow Internet Voting System. The next Moscow City Duma elections will be held on September 8th with an option of Internet voting. Some source code of the voting system is posted online for public testing. Pierrick Gaudry recently showed that due to the relatively small length of the key, the encryption scheme could be easily broken. This issue has been fixed in the current version of the voting system. In this note we show that the new implementation of the ElGamal encryption system is not semantically secure. We also demonstrate how this newly found security vulnerability can be potentially used for counting the number of votes cast for a candidate.


A Quality Diversity Approach to Automatically Generating Human Robot Interaction Scenarios in Shared Autonomy. The growth of scale and complexity of interactions between humans and robots highlights the need for new computational methods to automatically evaluate novel algorithms and applications. Exploring diverse scenarios of humans and robots interacting in simulation can improve understanding of the robotic system and avoid potentially costly failures in real world settings. We formulate this problem as a quality diversity (QD) problem, where the goal is to discover diverse failure scenarios by simultaneously exploring both environments and human actions. We focus on the shared autonomy domain, where the robot attempts to infer the goal of a human operator, and adopt the QD algorithm MAP Elites to generate scenarios for two published algorithms in this domain shared autonomy via hindsight optimization and linear policy blending. Some of the generated scenarios confirm previous theoretical findings, while others are surprising and bring about a new understanding of state of the art implementations. Our experiments show that MAP Elites outperforms Monte Carlo simulation and optimization based methods in effectively searching the scenario space, highlighting its promise for automatic evaluation of algorithms in human robot interaction.


A Nonlocal Model for Dislocations with Embedded Discontinuity Peridynamics. We develop a novel nonlocal model of dislocations based on the framework of peridynamics. By embedding interior discontinuities into the nonlocal constitutive law, the displacement jump in the Volterra dislocation model is reproduced, intrinsic singularities in classical elasticity are regularized, and the surface effect in previous peridynamics models is avoided. The extended embedded discontinuity peridynamics overcomes unphysical dissipation in treating discontinuity and is still easy to be solved with the particle based meshless method. The properties of the proposed dislocation model are compared with classical elasticity solutions under the case of an edge dislocation, double edge dislocations, a screw dislocation and a circular dislocation loop. Numerical results show a high consistency in displacement field while no singularity appears in the peridynamics model, the interaction force is in agreement with be the Peach Koehler formula down to the core region and high accuracy can be reached in 3D with limited computation cost. The proposed model provides a feasible tool for multiscale modeling of dislocations. Though dislocation is modeled as pre defined displacement jump, it is straightforward to extend the method to model various fracture conditions.


A hybrid model for predicting human physical activity status from lifelogging data. One trend in the recent healthcare transformations is people are encouraged to monitor and manage their health based on their daily diets and physical activity habits. However, much attention of the use of operational research and analytical models in healthcare has been paid to the systematic level such as country or regional policy making or organisational issues. This paper proposes a model concerned with healthcare analytics at the individual level, which can predict human physical activity status from sequential lifelogging data collected from wearable sensors. The model has a two stage hybrid structure (in short, MOGP HMM) a multi objective genetic programming (MOGP) algorithm in the first stage to reduce the dimensions of lifelogging data and a hidden Markov model (HMM) in the second stage for activity status prediction over time. It can be used as a decision support tool to provide real time monitoring, statistical analysis and personalized advice to individuals, encouraging positive attitudes towards healthy lifestyles. We validate the model with the real data collected from a group of participants in the UK, and compare it with other popular two stage hybrid models. Our experimental results show that the MOGP HMM can achieve comparable performance. To the best of our knowledge, this is the very first study that uses the MOGP in the hybrid two stage structure for individuals' activity status prediction. It fits seamlessly with the current trend in the UK healthcare transformation of patient empowerment as well as contributing to a strategic development for more efficient and cost effective provision of healthcare.