Characterizing the limits of human stability during motion perturbative experiment validates a model based approach for the Sit to Stand task. Falls affect a growing number of the population each year. Clinical methods to identify those at greatest risk for falls usually evaluate individuals while they perform specific motions such as balancing or Sit to Stand (STS). Unfortunately these techniques have been shown to have poor predictive power and are unable to identify the magnitude, direction, and timing of perturbations that can cause an individual to lose stability during motion. To address this limitation, the recently proposed Stability Basin (SB) aims to characterize the set of perturbations that will cause an individual to fall under a specific motor control strategy. The SB is defined as the set of configurations that do not lead to failure for an individual under their chosen control strategy. This paper presents a novel method to compute the SB and the first experimental validation of the SB with an 11 person perturbative STS experiment involving forwards or backwards pulls from a motor driven cable. The individually constructed SBs are used to identify when a trial fails, i.e., when an individual must switch control strategies (indicated by a step or sit) to recover from a perturbation. The constructed SBs correctly predict the outcome of trials where failure was observed with over 90 accuracy, and correctly predict the outcome of successful trials with over 95 accuracy. The SB was compared to three other methods and was found to estimate the stable region with over 45 more accuracy in all cases. This study demonstrates that SBs offer a novel model based approach for quantifying stability during motion, which could be used in physical therapy for individuals at risk of falling.


Rational Points in Geometric Progression on the Unit Circle. A sequence of rational points on an algebraic planar curve is said to form an r geometric progression sequence if either the abscissae or the ordinates of these points form a geometric progression sequence with ratio r . In this work, we prove the existence of infinitely many rational numbers r such that for each r there exist infinitely many r geometric progression sequences on the unit circle x 2 y 2 1 of length at least 3 .


Unknown Identity Rejection Loss Utilizing Unlabeled Data for Face Recognition. Face recognition has advanced considerably with the availability of large scale labeled datasets. However, how to further improve the performance with the easily accessible unlabeled dataset remains a challenge. In this paper, we propose the novel Unknown Identity Rejection (UIR) loss to utilize the unlabeled data. We categorize identities in unconstrained environment into the known set and the unknown set. The former corresponds to the identities that appear in the labeled training dataset while the latter is its complementary set. Besides training the model to accurately classify the known identities, we also force the model to reject unknown identities provided by the unlabeled dataset via our proposed UIR loss. In order to 'reject' faces of unknown identities, centers of the known identities are forced to keep enough margin from centers of unknown identities which are assumed to be approximated by the features of their samples. By this means, the discriminativeness of the face representations can be enhanced. Experimental results demonstrate that our approach can provide obvious performance improvement by utilizing the unlabeled data.


On the support of a non autocorrelated function on a hyperbolic surface. Let f be a non negative square integrable function on a finite volume hyperbolic surface Gamma backslash mathbb H , and assume that f is non autocorrelated, that is, perpendicular to its image under the operator of averaging over the circle of a fixed radius r . We show that in this case the support of f is small, namely, it satisfies mu(supp f ) leq (r 1)e frac r 2 mu( Gamma backslash mathbb H ) . As a corollary, we prove a lower bound for the measurable chromatic number of the graph, whose vertices are the points of Gamma backslash mathbb H , and two points are connected by an edge if there is a geodesic of length r between them. We show that for any finite covolume Gamma the measurable chromatic number is at least e frac r 2 (r 1) 1 .


MCMLSD A Probabilistic Algorithm and Evaluation Framework for Line Segment Detection. Traditional approaches to line segment detection typically involve perceptual grouping in the image domain and or global accumulation in the Hough domain. Here we propose a probabilistic algorithm that merges the advantages of both approaches. In a first stage lines are detected using a global probabilistic Hough approach. In the second stage each detected line is analyzed in the image domain to localize the line segments that generated the peak in the Hough map. By limiting search to a line, the distribution of segments over the sequence of points on the line can be modeled as a Markov chain, and a probabilistically optimal labelling can be computed exactly using a standard dynamic programming algorithm, in linear time. The Markov assumption also leads to an intuitive ranking method that uses the local marginal posterior probabilities to estimate the expected number of correctly labelled points on a segment. To assess the resulting Markov Chain Marginal Line Segment Detector (MCMLSD) we develop and apply a novel quantitative evaluation methodology that controls for under and over segmentation. Evaluation on the YorkUrbanDB and Wireframe datasets shows that the proposed MCMLSD method outperforms prior traditional approaches, as well as more recent deep learning methods.


Homotopy Theory in Digital Topology. Digital topology is part of the ongoing endeavour to understand and analyze digitized images. With a view to supporting this endeavour, many notions from algebraic topology have been introduced into the setting of digital topology. But some of the most basic notions from homotopy theory remain largely absent from the digital topology literature. We embark on a development of homotopy theory in digital topology, and define such fundamental notions as function spaces, path spaces, and cofibrations in this setting. We establish digital analogues of basic homotopy theoretic properties such as the homotopy extension property for cofibrations, and the homotopy lifting property for certain evaluation maps that correspond to path fibrations in the topological setting. We indicate that some depth may be achieved by using these homotopy theoretic notions to give a preliminary treatment of Lusternik Schnirelmann category in the digital topology setting. This topic provides a connection between digital topology and critical points of functions on manifolds, as well as other topics from topological dynamics.


Solving A Class of Nonsmooth Resource Allocation Problems with Directed Graphs though Distributed Smooth Multi Proximal Algorithms. In this paper, two distributed multi proximal primal dual algorithms are proposed to deal with a class of distributed nonsmooth resource allocation problems. In these problems, the global cost function is the summation of local convex and nonsmooth cost functions, each of which consists of one twice differentiable function and multiple nonsmooth functions. Communication graphs of underling multi agent systems are directed and strongly connected but not necessarily weighted balanced. The multi proximal splitting is designed to deal with the difficulty caused by the unproximable property of the summation of those nonsmooth functions. Moreover, it can also guarantee the smoothness of proposed algorithms. Auxiliary variables in the multi proximal splitting are introduced to estimate subgradients of nonsmooth functions. Theoretically, the convergence analysis is conducted by employing Lyapunov stability theory and integral input to state stability (iISS) theory with respect to set. It shows that proposed algorithms can make states converge to the optimal point that satisfies resource allocation conditions.


Something Else Compositional Action Recognition with Spatial Temporal Interaction Networks. Human action is naturally compositional humans can easily recognize and perform actions with objects that are different from those used in training demonstrations. In this paper, we study the compositionality of action by looking into the dynamics of subject object interactions. We propose a novel model which can explicitly reason about the geometric relations between constituent objects and an agent performing an action. To train our model, we collect dense object box annotations on the Something Something dataset. We propose a novel compositional action recognition task where the training combinations of verbs and nouns do not overlap with the test set. The novel aspects of our model are applicable to activities with prominent object interaction dynamics and to objects which can be tracked using state of the art approaches for activities without clearly defined spatial object agent interactions, we rely on baseline scene level spatio temporal representations. We show the effectiveness of our approach not only on the proposed compositional action recognition task, but also in a few shot compositional setting which requires the model to generalize across both object appearance and action category.


An L p maximal regularity estimate of moments of solutions to second order stochastic partial differential equations. We obtain uniqueness and existence of a solution u to the following second order stochastic partial differential equation (SPDE) begin align label abs eqn du left( bar a ij ( omega,t)u x ix j f right)dt g k dw k t, quad t in (0,T) quad u(0, cdot) 0, end align where T in (0, infty) , w k (k 1,2, ldots) are independent Wiener processes, ( bar a ij ( omega,t)) is a (predictable) nonnegative symmetric matrix valued stochastic process such that kappa xi 2 leq bar a ij ( omega,t) xi i xi j leq K xi 2 qquad forall ( omega,t, xi) in Omega times (0,T) times mathbf R d for some kappa, K in (0, infty) , f in L p left( (0,T) times mathbf R d, dt times dx L r( Omega, mathscr F ,dP) right), and g, g x in L p left( (0,T) times mathbf R d, dt times dx L r( Omega, mathscr F ,dP l 2) right) with 2 leq r leq p infty and appropriate measurable conditions.


Geometric Optimal Trajectory Tracking of Nonholonomic Mechanical Systems. We study the tracking of a trajectory for a nonholonomic system by recasting the problem as a constrained optimal control problem. The cost function is chosen to minimize the error in positions and velocities between the trajectory of a nonholonomic system and the desired reference trajectory, both evolving on the distribution which defines the nonholonomic constraints. The problem is studied from a geometric framework. Optimality conditions are determined by the Pontryagin Maximum Principle and also from a variational point of view, which allows the construction of geometric integrators. Examples and numerical simulations are shown to validate the results.


Motives with modulus, I Modulus sheaves with transfers for non proper modulus pairs. We develop a theory of modulus sheaves with transfers, which generalizes Voevodsky's theory of sheaves with transfers. This paper and its sequel are foundational for the theory of motives with modulus, which is developed in KMSY20 .


Fine Tuning BERT for Schema Guided Zero Shot Dialogue State Tracking. We present our work on Track 4 in the Dialogue System Technology Challenges 8 (DSTC8). The DSTC8 Track 4 aims to perform dialogue state tracking (DST) under the zero shot settings, in which the model needs to generalize on unseen service APIs given a schema definition of these target APIs. Serving as the core for many virtual assistants such as Siri, Alexa, and Google Assistant, the DST keeps track of the user's goal and what happened in the dialogue history, mainly including intent prediction, slot filling, and user state tracking, which tests models' ability of natural language understanding. Recently, the pretrained language models have achieved state of the art results and shown impressive generalization ability on various NLP tasks, which provide a promising way to perform zero shot learning for language understanding. Based on this, we propose a schema guided paradigm for zero shot dialogue state tracking (SGP DST) by fine tuning BERT, one of the most popular pretrained language models. The SGP DST system contains four modules for intent prediction, slot prediction, slot transfer prediction, and user state summarizing respectively. According to the official evaluation results, our SGP DST (team12) ranked 3rd on the joint goal accuracy (primary evaluation metric for ranking submissions) and 1st on the requsted slots F1 among 25 participant teams.


Taming Koepke's Zoo II Register Machines. We study the computational strength of resetting alpha register machines, a model of transfinite computability introduced by P. Koepke in cite K1 . Specifically, we prove the following strengthening of a result from cite C For an exponentially closed ordinal alpha , we have L alpha models ZF if and only if COMP text ITRM alpha L alpha 1 cap mathfrak P ( alpha) , i.e. if and only if the set of alpha ITRM computable subsets of alpha coincides with the set of subsets of alpha in L alpha 1 . Moreover, we show that, if alpha is exponentially closed and L alpha not models ZF , then COMP text ITRM alpha L beta( alpha) cap mathfrak P ( alpha) , where beta( alpha) is the supremum of the alpha ITRM clockable ordinals, which coincides with the supremum of the alpha ITRM computable ordinals. We also determine the set of subsets of alpha computable by an alpha ITRM with time bounded below delta when delta alpha is an exponentially closed ordinal smaller than the supremum of the alpha ITRM clockable ordinals. Moreover, we obtain some sufficient and necessary conditions on ordinals alpha for which the alpha wITRM clockable ordinals are bounded by alpha .


Mathematical Analysis and Algorithms for Federated Byzantine Agreement Systems. We give an introduction to federated Byzantine agreement systems (FBAS) with many examples ranging from small "academic" cases to the current Stellar network. We then analyze the main concepts from a mathematical and an algorithmic point of view. Based on work of Lachowski we derive algorithms for quorum enumeration, checking quorum intersection, and computing the intact nodes with respect to a given set of ill behaved (Byzantine) nodes. We also show that from the viewpoint of the intactness probability of nodes, which we introduce in this paper, a hierarchical setup of nodes is inferior to an arrangement that we call a symmetric simple FBAS. All algorithms described in this paper are implemented in the Python package Stellar Observatory, which is also used in some of the computed examples.


Modelling Lexical Ambiguity with Density Matrices. Words can have multiple senses. Compositional distributional models of meaning have been argued to deal well with finer shades of meaning variation known as polysemy, but are not so well equipped to handle word senses that are etymologically unrelated, or homonymy. Moving from vectors to density matrices allows us to encode a probability distribution over different senses of a word, and can also be accommodated within a compositional distributional model of meaning. In this paper we present three new neural models for learning density matrices from a corpus, and test their ability to discriminate between word senses on a range of compositional datasets. When paired with a particular composition method, our best model outperforms existing vector based compositional models as well as strong sentence encoders.


Inverse cascade of energy in helical turbulence. Using direct numerical simulation of hydrodynamic turbulence with helicity forcing applied at all scales, a near maximum helical turbulent state is obtained, with an inverse energy cascade at scales larger than the energy forcing scale and a forward helicity cascade at scales smaller than the energy forcing scale. In contrast to previous studies using decimated triads, our simulations contain all possible triads. By computing the shell to shell energy fluxes, we show that the inverse energy cascade results from weakly non local interactions among homochiral triads. Varying the helicity injection range of scales leads to necessary conditions to obtain an inverse energy cascade.


Small codimension components of the Hodge locus containing the Fermat variety. We characterize the smallest codimension components of the Hodge locus of smooth degree d hypersurfaces of the projective space mathbb P n 1 of even dimension n , passing through the Fermat variety (with d neq 3,4,6 ). They correspond to the locus of hypersurfaces containing a linear algebraic cycle of dimension frac n 2 . Furthermore, we prove that among all the local Hodge loci associated to a non linear cycle passing through Fermat, the ones associated to a complete intersection cycle of type (1,1, ldots,1,2) attain the minimal possible codimension of their Zariski tangent spaces. This answers a conjecture of Movasati, and generalizes a result of Voisin about the first gap between the codimension of the components of the Noether Lefschetz locus to arbitrary dimension, provided that they contain the Fermat variety.


The natural frequencies of masonry beams. The present paper aims at analytically evaluating the natural frequencies of cracked slender masonry elements. The problem is dealt with in the framework of linear perturbation, and the small oscillations of the structure are studied under loaded conditions, after the equilibrium for permanent loads has been achieved. A masonry beam element made of masonry like material is considered, and some explicit expressions of the beam's fundamental frequency as a function of the external loads and the amplitude of imposed deformations are derived. The analytical results are validated via finite element analysis.


Martingale Nature and Laws of the Iterated Logarithm for Markov Processes of Pure Jump Type. We present sufficient conditions, in terms of the jumping kernels, for two large classes of conservative Markov processes of pure jump type to be purely discontinuous martingales with finite second moment. As an application, we establish the law of the iterated logarithm for sample paths of the associated processes.


SWARM Adaptive Load Balancing in Distributed Streaming Systems for Big Spatial Data. The proliferation of GPS enabled devices has led to the development of numerous location based services. These services need to process massive amounts of spatial data in real time. The current scale of spatial data cannot be handled using centralized systems. This has led to the development of distributed spatial streaming systems. Existing systems are using static spatial partitioning to distribute the workload. In contrast, the real time streamed spatial data follows non uniform spatial distributions that are continuously changing over time. Distributed spatial streaming systems need to react to the changes in the distribution of spatial data and queries. This paper introduces SWARM, a light weight adaptivity protocol that continuously monitors the data and query workloads across the distributed processes of the spatial data streaming system, and redistribute and rebalance the workloads soon as performance bottlenecks get detected. SWARM is able to handle multiple query execution and data persistence models. A distributed streaming system can directly use SWARM to adaptively rebalance the system's workload among its machines with minimal changes to the original code of the underlying spatial application. Extensive experimental evaluation using real and synthetic datasets illustrate that, on average, SWARM achieves 200 improvement over a static grid partitioning that is determined based on observing a limited history of the data and query workloads. Moreover, SWARM reduces execution latency on average 4x compared with the other technique.


Assisted Teleoperation in Changing Environments with a Mixture of Virtual Guides. Haptic guidance is a powerful technique to combine the strengths of humans and autonomous systems for teleoperation. The autonomous system can provide haptic cues to enable the operator to perform precise movements the operator can interfere with the plan of the autonomous system leveraging his her superior cognitive capabilities. However, providing haptic cues such that the individual strengths are not impaired is challenging because low forces provide little guidance, whereas strong forces can hinder the operator in realizing his her plan. Based on variational inference, we learn a Gaussian mixture model (GMM) over trajectories to accomplish a given task. The learned GMM is used to construct a potential field which determines the haptic cues. The potential field smoothly changes during teleoperation based on our updated belief over the plans and their respective phases. Furthermore, new plans are learned online when the operator does not follow any of the proposed plans, or after changes in the environment. User studies confirm that our framework helps users perform teleoperation tasks more accurately than without haptic cues and, in some cases, faster. Moreover, we demonstrate the use of our framework to help a subject teleoperate a 7 DoF manipulator in a pick and place task.


"Are you home alone?" "Yes" Disclosing Security and Privacy Vulnerabilities in Alexa Skills. The home voice assistants such as Amazon Alexa have become increasingly popular due to many interesting voice activated services provided through special applications called skills. These skills, though useful, have also introduced new security and privacy challenges. Prior work has verified that Alexa is vulnerable to multiple types of voice attacks, but the security and privacy risk of using skills has not been fully investigated. In this work, we study an adversary model that covers three severe privacy related vulnerabilities, namely,over privileged resource access, hidden code manipulation and hidden content manipulation. By exploiting these vulnerabilities, malicious skills can not only bypass the security tests in the vetting process, but also surreptitiously change their original functions in an attempt to steal users' personal information. What makes the situation even worse is that the attacks can be extended from virtual networks to the physical world. We systematically study the security issues from the feasibility and implementation of the attacks to the design of countermeasures. We also made a comprehensive survey study of 33,744 skills in Alex Skills Store.


An RLS Based Instantaneous Velocity Estimator for Extended Radar Tracking. Radar sensors have become an important part of the perception sensor suite due to their long range and their ability to work in adverse weather conditions. However, several shortcomings such as large amounts of noise and extreme sparsity of the point cloud result in them not being used to their full potential. In this paper, we present a novel Recursive Least Squares (RLS) based approach to estimate the instantaneous velocity of dynamic objects in real time that is capable of handling large amounts of noise in the input data stream. We also present an end to end pipeline to track extended objects in real time that uses the computed velocity estimates for data association and track initialisation. The approaches are evaluated using several real world inspired driving scenarios that test the limits of these algorithms. It is also experimentally proven that our approaches run in real time with frame execution time not exceeding 30 ms even in dense traffic scenarios, thus allowing for their direct implementation on autonomous vehicles.


The Erlang Weighted Tree, A New Branching Process. In this paper, we study a new branching process which we call textbf E rlang textbf W eighted textbf T ree( textbf EWT ). EWT appears as the local weak limit of a random graph model proposed in cite La2015 . In contrast to the local weak limit of well known random graph models, EWT has an interdependent structure, and its vertices follow a Markovian behavior. In particular, each vertex has a type which depends on the type of its parent. We derive the main properties of EWT, such as the probability of extinction, growth rate, etc. We show that the probability of extinction is the smallest fixed point of an operator. We then take a point process perspective and analyze the growth rate operator. We derive the Krein Rutman eigenvalue beta 0 and the corresponding eigenfunctions, and show that the probability of the extinction equals one if and only if beta 0 leq 1 .


Interactive Path Reasoning on Graph for Conversational Recommendation. Traditional recommendation systems estimate user preference on items from past interaction history, thus suffering from the limitations of obtaining fine grained and dynamic user preference. Conversational recommendation system (CRS) brings revolutions to those limitations by enabling the system to directly ask users about their preferred attributes on items. However, existing CRS methods do not make full use of such advantage they only use the attribute feedback in rather implicit ways such as updating the latent user representation. In this paper, we propose Conversational Path Reasoning (CPR), a generic framework that models conversational recommendation as an interactive path reasoning problem on a graph. It walks through the attribute vertices by following user feedback, utilizing the user preferred attributes in an explicit way. By leveraging on the graph structure, CPR is able to prune off many irrelevant candidate attributes, leading to better chance of hitting user preferred attributes. To demonstrate how CPR works, we propose a simple yet effective instantiation named SCPR (Simple CPR). We perform empirical studies on the multi round conversational recommendation scenario, the most realistic CRS setting so far that considers multiple rounds of asking attributes and recommending items. Through extensive experiments on two datasets Yelp and LastFM, we validate the effectiveness of our SCPR, which significantly outperforms the state of the art CRS methods EAR (arXiv 2002.09102) and CRM (arXiv 1806.03277). In particular, we find that the more attributes there are, the more advantages our method can achieve.


Feed Forward On Edge Fine tuning Using Static Synthetic Gradient Modules. Training deep learning models on embedded devices is typically avoided since this requires more memory, computation and power over inference. In this work, we focus on lowering the amount of memory needed for storing all activations, which are required during the backward pass to compute the gradients. Instead, during the forward pass, static Synthetic Gradient Modules (SGMs) predict gradients for each layer. This allows training the model in a feed forward manner without having to store all activations. We tested our method on a robot grasping scenario where a robot needs to learn to grasp new objects given only a single demonstration. By first training the SGMs in a meta learning manner on a set of common objects, during fine tuning, the SGMs provided the model with accurate gradients to successfully learn to grasp new objects. We have shown that our method has comparable results to using standard backpropagation.


Key Generation for Internet of Things A Contemporary Survey. Key generation is a promising technique to bootstrap secure communications for the Internet of Things (IoT) devices that have no prior knowledge between each other. In the past few years, a variety of key generation protocols and systems have been proposed. In this survey, we review and categorise recent key generation systems based on a novel taxonomy. Then, we provide both quantitative and qualitative comparisons of existing approaches. We also discuss the security vulnerabilities of key generation schemes and possible countermeasures. Finally, we discuss the current challenges and point out several potential research directions.


Maintaining Triangle Queries under Updates. We consider the problem of incrementally maintaining the triangle queries with arbitrary free variables under single tuple updates to the input relations. We introduce an approach called IVM epsilon that exhibits a trade off between the update time, the space, and the delay for the enumeration of the query result, such that the update time ranges from the square root to linear in the database size while the delay ranges from constant to linear time. IVM epsilon achieves Pareto worst case optimality in the update delay space conditioned on the Online Matrix Vector Multiplication conjecture. It is strongly Pareto optimal for the triangle queries with zero or three free variables and weakly Pareto optimal for the triangle queries with one or two free variables.


Torsion points and isogenies on CM elliptic curves. Let mathcal O be an order in the imaginary quadratic field K . For positive integers M mid N , we determine the least degree of an mathcal O CM point on the modular curve X(M,N) K( zeta M) and also on the modular curve X(M,N) mathbb Q ( zeta M) that is, we treat both the case in which the complex multiplication is rationally defined and the case in which we do not assume that the complex multiplication is rationally defined. To prove these results we establish several new theorems on rational cyclic isogenies of CM elliptic curves. In particular, we extend a result of Kwon that determines the set of positive integers N for which there is an mathcal O CM elliptic curve E admitting a cyclic, mathbb Q (j(E)) rational N isogeny.


On the parity result for multiple Dirichlet series. In this paper, we discuss the parity result for multiple Dirichlet series which contains some special values of multiple zeta functions as special cases, Mordell Tornheim type of multiple zeta values, zeta values of the root systems and so on. Moreover, we can give explicit expression in terms of lower series by using main theorem.


Irregular finite order solutions of complex LDE's in unit disc. It is shown that the order and the lower order of growth are equal for all non trivial solutions of f (k) A f 0 if and only if the coefficient A is analytic in the unit disc and log M(r,A) log(1 r) tends to a finite limit as r to 1 . A family of concrete examples is constructed, where the order of solutions remain the same while the lower order may vary on a certain interval depending on the irregular growth of the coefficient. These coefficients emerge as the logarithm of their modulus approximates smooth radial subharmonic functions of prescribed irregular growth on a sufficiently large subset of the unit disc. A result describing the phenomenon behind these highly non trivial examples is also established. En route to results of general nature, a new sharp logarithmic derivative estimate involving the lower order of growth is discovered. In addition to these estimates, arguments used are based, in particular, on the Wiman Valiron theory adapted for the lower order, and on a good understanding of the right derivative of the logarithm of the maximum modulus.


Conditional Disclosure of Secrets A Noise and Signal Alignment Approach. In the conditional disclosure of secrets (CDS) problem, Alice and Bob (each holds an input and a common secret) wish to disclose, as efficiently as possible, the secret to Carol if and only if their inputs satisfy some function. The capacity of CDS is the maximum number of bits of the secret that can be securely disclosed per bit of total communication. We characterize the necessary and sufficient condition for the extreme case where the capacity of CDS is the highest and is equal to 1 2. For the simplest instance where the capacity is smaller than 1 2, we show that the linear capacity is 2 5.


Wreath cascade products and related decomposition results for the concurrent setting of Mazurkiewicz traces (extended version). We develop a new algebraic framework to reason about languages of Mazurkiewicz traces. This framework supports true concurrency and provides a non trivial generalization of the wreath product operation to the trace setting. A novel local wreath product principle has been established. The new framework is crucially used to propose a decomposition result for recognizable trace languages, which is an analogue of the Krohn Rhodes theorem. We prove this decomposition result in the special case of acyclic architectures and apply it to extend Kamp's theorem to this setting. We also introduce and analyze distributed automata theoretic operations called local and global cascade products. Finally, we show that aperiodic trace languages can be characterized using global cascade products of localized and distributed two state reset automata.


Hall's Marriage Theorem and Pawn Diagrams. This paper is concerned with unreachable pawn diagrams and the subset of which can be generated using Hall's Marriage Theorem. The result is 1 in 23 diagrams are unreachable by applying the theorem.


Virtual Link A Scalable Multi Producer, Multi Consumer Message Queue Architecture for Cross Core Communication. Cross core communication is increasingly a bottleneck as the number of processing elements increase per system on chip. Typical hardware solutions to cross core communication are often inflexible while software solutions are flexible, they have performance scaling limitations. A key problem, as we will show, is that of shared state in software based message queue mechanisms. This paper proposes Virtual Link (VL), a novel light weight communication mechanism with hardware support to facilitate M N lock free data movement. VL reduces the amount of coherent shared state, which is a bottleneck for many approaches, to zero. VL provides further latency benefit by keeping data on the fast path (i.e., within the on chip interconnect). VL enables directed cache injection (stashing) between PEs on the coherence bus, reducing the latency for core to core communication. VL is particularly effective for fine grain tasks on streaming data. Evaluation on a full system simulator with 7 benchmarks shows that VL achieves a 2.09x speedup over state of the art software based communication mechanisms, while reducing memory traffic by 61 .


A Counterexample to C k regularity for the Newlander Nirenberg Theorem. We give an example of C k integrable almost complex structure that does not admit a corresponding C k 1 complex coordinate system.


Atlas End to End 3D Scene Reconstruction from Posed Images. We present an end to end 3D reconstruction method for a scene by directly regressing a truncated signed distance function (TSDF) from a set of posed RGB images. Traditional approaches to 3D reconstruction rely on an intermediate representation of depth maps prior to estimating a full 3D model of a scene. We hypothesize that a direct regression to 3D is more effective. A 2D CNN extracts features from each image independently which are then back projected and accumulated into a voxel volume using the camera intrinsics and extrinsics. After accumulation, a 3D CNN refines the accumulated features and predicts the TSDF values. Additionally, semantic segmentation of the 3D model is obtained without significant computation. This approach is evaluated on the Scannet dataset where we significantly outperform state of the art baselines (deep multiview stereo followed by traditional TSDF fusion) both quantitatively and qualitatively. We compare our 3D semantic segmentation to prior methods that use a depth sensor since no previous work attempts the problem with only RGB input.


On the dynamic slip boundary condition for Navier Stokes like problems. The choice of the boundary conditions in mechanical problems has to reflect the interaction of the considered material with the surface, despite the assumption of the no slip condition is preferred to avoid boundary terms in the analysis and slipping effects are usually overlooked. Besides the "static slip models", there are phenomena not accurately described by them, e.g. in the moment when the slip changes rapidly, the wall shear stress and the slip can exhibit a sudden overshoot and subsequent relaxation. When these effects become significant, the so called dynamic slip phenomenon occurs. We develop a mathematical analysis of Navier Stokes like problems with dynamic slip boundary condition, which requires a proper generalisation of the Gelfand triplet and the corresponding function spaces setting.


Uso di un software di Geometria Dinamica nella formazione dei futuri insegnanti. In this paper we make some considerations about using a dynamic geometry software for teaching history of mathematica at university level. After a short introduction to the software GeoGebra, we discuss four activities. The first is an exploration of the menu of the tools menu following the first part of the first book of the elements of Euclid. The second is an activity about pentagons and pentagrams which aims at finding a more natural way of discovering their properties than that suggested by Euclid as an illustration of the method of synthesis and analysis. The third is an activity on circle inversion and its connection with polarity and the construction of the fourth harmonic point after three given point on a line. The activity continues with the reading of Poncelet's ideas about ideal secants of conics and how to use GeoGebra to make sense of them. The fourth activity shows how to use the possibility to move objects in GeoGebra to make sense of the geometric intuition behind Cremona and Hirst letters about the Bellavitis Hirst inversion of a circle. We discuss the reasons why we believe that these kind of activities may help students to read and understand original writings in projective geometry and why we believe that they may be very effective in the training of prospective teachers of mathematics.


(k 1) potent Matrices in triangular matrix Groups and Incidence Algebras of Finite Posets. Let mathbb K be a field such that char( mathbb K ) nmid k and char( mathbb K ) nmid k 1 . We describe all (k 1) potent matrices over the group of upper triangular matrix. In the case that mathbb K is a finite field we show how to compute the number of these elements in triangular matrix groups and use this formula to compute the number of (k 1) potent elements in the Incidence Algebra mathcal I (X, mathbb K ) where X is a finite poset.


Exploring Semantic Segmentation on the DCT Representation. Typical convolutional networks are trained and conducted on RGB images. However, images are often compressed for memory savings and efficient transmission in real world applications. In this paper, we explore methods for performing semantic segmentation on the discrete cosine transform (DCT) representation defined by the JPEG standard. We first rearrange the DCT coefficients to form a preferred input type, then we tailor an existing network to the DCT inputs. The proposed method has an accuracy close to the RGB model at about the same network complexity. Moreover, we investigate the impact of selecting different DCT components on segmentation performance. With a proper selection, one can achieve the same level accuracy using only 36 of the DCT coefficients. We further show the robustness of our method under the quantization errors. To our knowledge, this paper is the first to explore semantic segmentation on the DCT representation.


Transmission Switching Under Wind Uncertainty Using Linear Decision Rules. Increasing penetration of wind and renewable generation poses significant challenges to the power system operations and reliability. This paper considers the real time optimal transmission switching (OTS) problem for determining the generation dispatch and network topology that can account for uncertain energy resources. To efficiently solve the resultant two stage stochastic program, we propose a tractable linear decision rule (LDR) based approximation solution that can eliminate the uncertainty variables and lead to fixed number of constraints. The proposed LDR approach can guarantee feasibility, and significantly reduces the computational complexity of existing approaches that grows with the number of randomly generated samples of uncertainty. Numerical studies on IEEE test cases demonstrate the high approximation accuracy of the proposed LDR solution and its computational efficiency for real time OTS implementations.


Poverty in the time of epidemic A modelling perspective. We create a network model to study the spread of an epidemic through physically proximate and accidental daily human contacts in a city, and simulate outcomes for two kinds of agents poor and non poor. Under non intervention, peak caseload is maximised, but no differences are observed in infection rates across poor and non poor. Introducing interventions to control spread, peak caseloads are reduced, but both cumulative infection rates and current infection rates are systematically higher for the poor than for non poor, across all scenarios. Larger populations, higher fractions of poor, and longer durations of intervention are found to progressively worsen outcomes for the poor and these are of particular concern for economically vulnerable populations in cities of the developing world. Addressing these challenges requires a deeper, more rigorous understanding of the relationships between structural poverty and epidemy, as well as effective utilization of extant community level infrastructure for primary care in developing cities. Finally, improving iniquitous outcomes for the poor creates better outcomes for the whole population, including the non poor.


Automatic surface mesh generation for discrete models A complete and automatic pipeline based on reparameterization. Triangulations are an ubiquitous input for the finite element community. However, most raw triangulations obtained by imaging techniques are unsuitable as is for finite element analysis. In this paper, we give a robust pipeline for handling those triangulations, based on the computation of a one to one parametrization for automatically selected patches of input triangles, which makes each patch amenable to remeshing by standard finite element meshing algorithms. Using only geometrical arguments, we prove that a discrete parametrization of a patch is one to one if (and only if) its image in the parameter space is such that all parametric triangles have a positive area. We then derive a non standard linear discretization scheme based on mean value coordinates to compute such one to one parametrizations, and show that the scheme does not discretize a Laplacian on a structured mesh. The proposed pipeline is implemented in the open source mesh generator Gmsh, where the creation of suitable patches is based on triangulation topology and parametrization quality, combined with feature edge detection. Several examples illustrate the robustness of the resulting implementation.


An Improvement of Reed's Treewidth Approximation. We present a new approximation algorithm for the treewidth problem which constructs a corresponding tree decomposition as well. Our algorithm is a faster variation of Reed's classical algorithm. For the benefit of the reader, and to be able to compare these two algorithms, we start with a detailed time analysis for Reed's algorithm. We fill in many details that have been omitted in Reed's paper. Computing tree decompositions parameterized by the treewidth k is fixed parameter tractable (FPT), meaning that there are algorithms running in time O(f(k) g(n)) where f is a computable function, g is a polynomial function, and n is the number of vertices. An analysis of Reed's algorithm shows f(k) 2 O(k log k) and g(n) n log n for a 5 approximation. Reed simply claims time O(n log n) for bounded k for his constant factor approximation algorithm, but the bound of 2 Omega(k log k) n log n is well known. From a practical point of view, we notice that the time of Reed's algorithm also contains a term of O(k 2 2 24k n log n) , which for small k is much worse than the asymptotically leading term of 2 O(k log k) n log n . We analyze f(k) more precisely, because the purpose of this paper is to improve the running times for all reasonably small values of k . Our algorithm runs in mathcal O (f(k)n log n ) too, but with a much smaller dependence on k . In our case, f(k) 2 mathcal O (k) . This algorithm is simple and fast, especially for small values of k . We should mention that Bodlaender et al. 2016 have an asymptotically faster algorithm running in time 2 mathcal O (k) n . It relies on a very sophisticated data structure and does not claim to be useful for small values of k .


Risk Sensitive Compact Decision Trees for Autonomous Execution in Presence of Simulated Market Response. We demonstrate an application of risk sensitive reinforcement learning to optimizing execution in limit order book markets. We represent taking order execution decisions based on limit order book knowledge by a Markov Decision Process and train a trading agent in a market simulator, which emulates multi agent interaction by synthesizing market response to our agent's execution decisions from historical data. Due to market impact, executing high volume orders can incur significant cost. We learn trading signals from market microstructure in presence of simulated market response and derive explainable decision tree based execution policies using risk sensitive Q learning to minimize execution cost subject to constraints on cost variance.


Geometry constrained Car Recognition Using a 3D Perspective Network. We present a novel learning framework for vehicle recognition from a single RGB image. Unlike existing methods which only use attention mechanisms to locate 2D discriminative information, our work learns a novel 3D perspective feature representation of a vehicle, which is then fused with 2D appearance feature to predict the category. The framework is composed of a global network (GN), a 3D perspective network (3DPN), and a fusion network. The GN is used to locate the region of interest (RoI) and generate the 2D global feature. With the assistance of the RoI, the 3DPN estimates the 3D bounding box under the guidance of the proposed vanishing point loss, which provides a perspective geometry constraint. Then the proposed 3D representation is generated by eliminating the viewpoint variance of the 3D bounding box using perspective transformation. Finally, the 3D and 2D feature are fused to predict the category of the vehicle. We present qualitative and quantitative results on the vehicle classification and verification tasks in the BoxCars dataset. The results demonstrate that, by learning such a concise 3D representation, we can achieve superior performance to methods that only use 2D information while retain 3D meaningful information without the challenge of requiring a 3D CAD model.


Tarski's Theorem, Supermodular Games, and the Complexity of Equilibria. The use of monotonicity and Tarski's theorem in existence proofs of equilibria is very widespread in economics, while Tarski's theorem is also often used for similar purposes in the context of verification. However, there has been relatively little in the way of analysis of the complexity of finding the fixed points and equilibria guaranteed by this result. We study a computational formalism based on monotone functions on the d dimensional grid with sides of length N , and their fixed points, as well as the closely connected subject of supermodular games and their equilibria. It is known that finding some (any) fixed point of a monotone function can be done in time log d N , and we show it requires at least log 2 N function evaluations already on the 2 dimensional grid, even for randomized algorithms. We show that the general Tarski problem of finding some fixed point, when the monotone function is given succinctly (by a boolean circuit), is in the class PLS of problems solvable by local search and, rather surprisingly, also in the class PPAD. Finding the greatest or least fixed point guaranteed by Tarski's theorem, however, requires d cdot N steps, and is NP hard in the white box model. For supermodular games, we show that finding an equilibrium in such games is essentially computationally equivalent to the Tarski problem, and finding the maximum or minimum equilibrium is similarly harder. Interestingly, two player supermodular games where the strategy space of one player is one dimensional can be solved in O( log N) steps. We also observe that computing (approximating) the value of Condon's (Shapley's) stochastic games reduces to the Tarski problem. An important open problem highlighted by this work is proving a Omega( log d N) lower bound for small fixed dimension d geq 3 .


Recollements associated to cotorsion pairs over upper triangular matrix rings. Let A , B be two rings and T left( begin smallmatrix A M 0 B end smallmatrix right) with M an A B bimodule. Given two complete hereditary cotorsion pairs ( mathcal A A , mathcal B A ) and ( mathcal C B , mathcal D B ) in A Mod and B Mod respectively. We define two cotorsion pairs ( Phi( mathcal A A , mathcal C B ), mathrm Rep ( mathcal B A , mathcal D B )) and ( mathrm Rep ( mathcal A A , mathcal C B ), Psi( mathcal B A , mathcal D B )) in T Mod and show that both of these cotorsion pairs are complete and hereditary. Given two cofibrantly generated model structures mathcal M A and mathcal M B on A Mod and B Mod respectively. Using the result above, we investigate when there exist a cofibrantly generated model structure mathcal M T on T Mod and a recollement of mathrm Ho ( mathcal M T ) relative to mathrm Ho ( mathcal M A ) and mathrm Ho ( mathcal M B ) . Finally, some applications are given in Gorenstein homological algebra.


Discharged Payment Channels Quantifying the Lightning Network's Resilience to Topology Based Attacks. The Lightning Network is the most widely used payment channel network (PCN) to date, making it an attractive attack surface for adversaries. In this paper, we analyze the Lightning Network's PCN topology and investigate its resilience towards random failures and targeted attacks. In particular, we introduce the notions of channel exhaustion and node isolation attacks and show that the Lightning Network is susceptible to these attacks. In a preliminary analysis, we confirm that the Lightning Network can be classified as a small world and scale free network. Based on these findings, we develop a series of strategies for targeted attacks and introduce metrics that allow us to quantify the adversary's advantage. Our results indicate that an attacker who is able to remove a certain number of nodes should follow a centrality based strategy, while a resource limited attacker who aims for high efficiency should employ a highest ranked minimum cut strategy.


A novel Region of Interest Extraction Layer for Instance Segmentation. Given the wide diffusion of deep neural network architectures for computer vision tasks, several new applications are nowadays more and more feasible. Among them, a particular attention has been recently given to instance segmentation, by exploiting the results achievable by two stage networks (such as Mask R CNN or Faster R CNN), derived from R CNN. In these complex architectures, a crucial role is played by the Region of Interest (RoI) extraction layer, devoted to extracting a coherent subset of features from a single Feature Pyramid Network (FPN) layer attached on top of a backbone. This paper is motivated by the need to overcome the limitations of existing RoI extractors which select only one (the best) layer from FPN. Our intuition is that all the layers of FPN retain useful information. Therefore, the proposed layer (called Generic RoI Extractor GRoIE) introduces non local building blocks and attention mechanisms to boost the performance. A comprehensive ablation study at component level is conducted to find the best set of algorithms and parameters for the GRoIE layer. Moreover, GRoIE can be integrated seamlessly with every two stage architecture for both object detection and instance segmentation tasks. Therefore, the improvements brought about by the use of GRoIE in different state of the art architectures are also evaluated. The proposed layer leads up to gain a 1.1 AP improvement on bounding box detection and 1.7 AP improvement on instance segmentation. The code is publicly available on GitHub repository at https github.com IMPLabUniPr mmdetection tree groie dev


Chaotic like transfers of energy in Hamiltonian PDEs. We consider the nonlinear cubic Wave, the Hartree and the nonlinear cubic Beam equations on T 2 and we prove the existence of different types of solutions which exchange energy between Fourier modes in certain time scales. This exchange can be considered emph chaotic like since either the choice of activated modes or the time spent in each transfer can be chosen randomly. The key point of the construction of those orbits is the existence of heteroclinic connections between invariant objects and the construction of symbolic dynamics (a Smale horseshoe) for the Birkhoff Normal Form truncation of those equations.


Right angled Artin groups, polyhedral products and the TC generating function. For a graph Gamma , let K(H Gamma ,1) denote the Eilenberg Mac Lane space associated to the right angled Artin (RAA) group H Gamma defined by Gamma . We use the relationship between the combinatorics of Gamma and the topological complexity of K(H Gamma ,1) to explain, and generalize to the higher TC realm, Dranishnikov's observation that the topological complexity of a covering space can be larger than that of the base space. In the process, for any positive integer n , we construct a graph mathcal O n whose TC generating function has polynomial numerator of degree n . Additionally, motivated by the fact that K(H Gamma ,1) can be realized as a polyhedral product, we study the LS category and topological complexity of more general polyhedral product spaces. In particular, we use the concept of a strong axial map in order to give an estimate, sharp in a number of cases, of the topological complexity of a polyhedral product whose factors are real projective spaces. Our estimate exhibits a mixed cat TC phenomenon not present in the case of RAA groups.


EBBIOT A Low complexity Tracking Algorithm for Surveillance in IoVT Using Stationary Neuromorphic Vision Sensors. In this paper, we present EBBIOT a novel paradigm for object tracking using stationary neuromorphic vision sensors in low power sensor nodes for the Internet of Video Things (IoVT). Different from fully event based tracking or fully frame based approaches, we propose a mixed approach where we create event based binary images (EBBI) that can use memory efficient noise filtering algorithms. We exploit the motion triggering aspect of neuromorphic sensors to generate region proposals based on event density counts with 1000X less memory and computes compared to frame based approaches. We also propose a simple overlap based tracker (OT) with prediction based handling of occlusion. Our overall approach requires 7X less memory and 3X less computations than conventional noise filtering and event based mean shift (EBMS) tracking. Finally, we show that our approach results in significantly higher precision and recall compared to EBMS approach as well as Kalman Filter tracker when evaluated over 1.1 hours of traffic recordings at two different locations.


On properties of composites and monoid domains. In this paper I consider all possible properties from commutative algebra for polynomial composites and monoid domains. The aim is full characterization of these structures. I start with the examination of group, ring, modules properties, graded, but also the study of invertible elements, irreducible elements, ideals, etc. in these structures. In the second part of the work I give examples of the use of composites and monoid domains in cryptology. Each such polynomial is the sum of the products of the variable and the coefficient. And what if subsequent coefficient sets are appropriate cryptographic systems? Similarly, monoid domains can be a very good tool between encrypting and decrypting messages.


Efficient Distributed Community Detection in the Stochastic Block Model. Designing effective algorithms for community detection is an important and challenging problem in em large scale graphs, studied extensively in the literature. Various solutions have been proposed, but many of them are centralized with expensive procedures (requiring full knowledge of the input graph) and have a large running time. In this paper, we present a distributed algorithm for community detection in the em stochastic block model (also called em planted partition model ), a widely studied and canonical random graph model for community detection and clustering. Our algorithm called em CDRW(Community Detection by Random Walks) is based on random walks, and is localized and lightweight, and easy to implement. A novel feature of the algorithm is that it uses the concept of em local mixing time to identify the community around a given node. We present a rigorous theoretical analysis that shows that the algorithm can accurately identify the communities in the stochastic block model and characterize the model parameters where the algorithm works. We also present experimental results that validate our theoretical analysis. We also analyze the performance of our distributed algorithm under the CONGEST distributed model as well as the k machine model, a model for large scale distributed computations, and show that it can be efficiently implemented.


BeCAPTCHA Mouse Synthetic Mouse Trajectories and Improved Bot Detection. We first study the suitability of behavioral biometrics to distinguish between computers and humans, commonly named as bot detection. We then present BeCAPTCHA Mouse, a bot detector based on i) a neuromotor model of mouse dynamics to obtain a novel feature set for the classification of human and bot samples and ii) a learning framework involving real and synthetically generated mouse trajectories. We propose two new mouse trajectory synthesis methods for generating realistic data a) a function based method based on heuristic functions, and b) a data driven method based on Generative Adversarial Networks (GANs) in which a Generator synthesizes human like trajectories from a Gaussian noise input. Experiments are conducted on a new testbed also introduced here and available in GitHub BeCAPTCHA Mouse Benchmark useful for research in bot detection and other mouse based HCI applications. Our benchmark data consists of 15,000 mouse trajectories including real data from 58 users and bot data with various levels of realism. Our experiments show that BeCAPTCHA Mouse is able to detect bot trajectories of high realism with 93 of accuracy in average using only one mouse trajectory. When our approach is fused with state of the art mouse dynamic features, the bot detection accuracy increases relatively by more than 36 , proving that mouse based bot detection is a fast, easy, and reliable tool to complement traditional CAPTCHA systems.


Fuel rod classification from Passive Gamma Emission Tomography (PGET) of spent nuclear fuel assemblies. Safeguarding the disposal of spent nuclear fuel in a geological repository needs an effective, efficient, reliable and robust non destructive assay (NDA) system to ensure the integrity of the fuel prior to disposal. In the context of the Finnish geological repository, Passive Gamma Emission Tomography (PGET) will be a part of such an NDA system. We report here on the results of PGET measurements at the Finnish nuclear power plants during the years 2017 2020. Gamma activity profiles are recorded from all angles by rotating the detector arrays around the fuel assembly that has been inserted into the center of the torus. Image reconstruction from the resulting tomographic data is defined as a constrained minimization problem with a data fidelity term and regularization terms. The activity and attenuation maps, as well as detector sensitivity corrections, are the variables in the minimization process. The regularization terms ensure that prior information on the (possible) locations of fuel rods and their diameter are taken into account. Fuel rod classification, the main purpose of the PGET method, is based on the difference of the activity of a fuel rod from its immediate neighbors, taking into account its distance from the assembly center. The classification is carried out by a support vector machine. We report on the results for ten different fuel types with burnups between 5.72 and 55.0 GWd tU, cooling times between 1.87 and 34.6 years and initial enrichments between 1.9 and 4.4 . For all fuel assemblies measured, missing fuel rods, partial fuel rods and water channels were correctly classified. Burnable absorber fuel rods were classified as fuel rods. On rare occasions, a fuel rod that is present was falsely classified as missing. We conclude that the combination of the PGET device and our image reconstruction method provides a reliable base for fuel rod classification.


SOPanG 2 online searching over a pan genome without false positives. Motivation The pan genome can be stored as elastic degenerate (ED) string, a recently introduced compact representation of multiple overlapping sequences. However, a search over the ED string does not indicate which individuals (if any) match the entire query. Results We augment the ED string with sources (individuals' indexes) and propose an extension of the SOPanG (Shift Or for Pan Genome) tool to report only true positive matches, omitting those not occurring in any of the haplotypes. The additional stage for checking the matches yields a penalty of less than 3.5 relative speed in practice, which means that SOPanG 2 is able to report pattern matches in a pan genome, mapping them onto individuals, at the single thread throughput of above 430 MB s on real data. Availability and implementation SOPanG 2 can be downloaded here github.com MrAlexSee sopang


Efficient Nonlinear Fourier Transform Algorithms of Order Four on Equispaced Grid. We explore two classes of exponential integrators in this letter to design nonlinear Fourier transform (NFT) algorithms with a desired accuracy complexity trade off and a convergence order of 4 on an equispaced grid. The integrating factor based method in the class of Runge Kutta methods yield algorithms with complexity O(N log 2N) (where N is the number of samples of the signal) which have superior accuracy complexity trade off than any of the fast methods known currently. The integrators based on Magnus series expansion, namely, standard and commutator free Magnus methods yield algorithms of complexity O(N 2) that have superior error behavior even for moderately small step sizes and higher signal strengths.


Forecasts in Schelling's segregation model. In Schelling's segregation model, the successive moves of agents optimizing their own locations lead to a suboptimal segregated distribution of the population, even though all agents have the same preference for mixed neighborhoods. One of the main assumptions underlying this general result of segregation models is that agents rely on comparisons between instantaneous utilities in order to make their moving decisions. On the contrary and certainly more reasonably, we assume in this article that agents forecast later states using a linear extrapolation of past states heuristic in order to make their decisions. We show that for a relatively small set of parameters, considering forecasting agents allows to dramatically reduce sub optimality in a framework close to Schelling's model.


Exploiting Randomly located Blockages for Large Scale Deployment of Intelligent Surfaces. One of the promising technologies for the next generation wireless networks is the reconfigurable intelligent surfaces (RISs). This technology provides planar surfaces the capability to manipulate the reflected waves of impinging signals, which leads to a more controllable wireless environment. One potential use case of such technology is providing indirect line of sight (LoS) links between mobile users and base stations (BSs) which do not have direct LoS channels. Objects that act as blockages for the communication links, such as buildings or trees, can be equipped with RISs to enhance the coverage probability of the cellular network through providing extra indirect LoS links. In this paper, we use tools from stochastic geometry to study the effect of large scale deployment of RISs on the performance of cellular networks. In particular, we model the blockages using the line Boolean model. For this setup, we study how equipping a subset of the blockages with RISs will enhance the performance of the cellular network. We first derive the ratio of the blind spots to the total area. Next, we derive the probability that a typical mobile user associates with a BS using an RIS. Finally, we derive the probability distribution of the path loss between the typical user and its associated BS. We draw multiple useful system level insights from the proposed analysis. For instance, we show that deployment of RISs highly improves the coverage regions of the BSs. Furthermore, we show that to ensure that the ratio of blind spots to the total area is below 10 5, the required density of RISs increases from just 6 RISs km2 when the density of the blockages is 300 blockage km 2 to 490 RISs km 2 when the density of the blockages is 700 blockage km 2.


Teacher Student Framework Enhanced Multi domain Dialogue Generation. Dialogue systems dealing with multi domain tasks are highly required. How to record the state remains a key problem in a task oriented dialogue system. Normally we use human defined features as dialogue states and apply a state tracker to extract these features. However, the performance of such a system is limited by the error propagation of a state tracker. In this paper, we propose a dialogue generation model that needs no external state trackers and still benefits from human labeled semantic data. By using a teacher student framework, several teacher models are firstly trained in their individual domains, learn dialogue policies from labeled states. And then the learned knowledge and experience are merged and transferred to a universal student model, which takes raw utterance as its input. Experiments show that the dialogue system trained under our framework outperforms the one uses a belief tracker.


Wild Singularities of Kummer Varieties. In characteristic p 2 , we compute the singularities of Kummer varieties arising from products of elliptic curves. This result is generalized to Kummer varieties associated to ordinary abelian varieties.


Multi view Story Characterization from Movie Plot Synopses and Reviews. This paper considers the problem of characterizing stories by inferring properties such as theme and style using written synopses and reviews of movies. We experiment with a multi label dataset of movie synopses and a tagset representing various attributes of stories (e.g., genre, type of events). Our proposed multi view model encodes the synopses and reviews using hierarchical attention and shows improvement over methods that only use synopses. Finally, we demonstrate how can we take advantage of such a model to extract a complementary set of story attributes from reviews without direct supervision. We have made our dataset and source code publicly available at https ritual.uh.edu multiview tag 2020.


1 dimensional multi agent optimal control with aggregation and distance constraints qualitative properties and mean field limit. In this paper we consider an optimal control problem for a large population of interacting agents with deterministic dynamics, aggregating potential and constraints on reciprocal distances, in dimension 1. We study existence and qualitative properties of periodic in time optimal trajectories of the finite agents optimal control problem, with particular interest on the compactness of the solutions' support and on the saturation of the distance constraint. Moreover, we prove, through a Gamma convergence result, the consistency of the mean field optimal control problem with density constraints with the corresponding underlying finite agent one and we deduce some qualitative results for the time periodic equilibria of the limit problem.


Acoustic impedance of a cylindrical orifice. We use matched asymptotics to derive analytical formulae for the acoustic impedance of a subwavelength orifice consisting of a cylindrical perforation in a rigid plate. In the inviscid case, an end correction to the length of the orifice due to Rayleigh is shown to constitute an exponentially accurate approximation in the limit where the aspect ratio of the orifice is large in the opposite limit, we derive an algebraically accurate correction, depending upon the logarithm of the aspect ratio, to the impedance of a circular aperture in a zero thickness screen. Viscous effects are considered in the limit of thin Stokes boundary layers, where a boundary layer analysis in conjunction with a reciprocity argument provides the perturbation to the impedance as a quadrature of the basic inviscid flow. We show that for large aspect ratios the latter perturbation can be captured with exponential accuracy by introducing a second end correction whose value is calculated to be in between two guesses commonly used in the literature we also derive an algebraically accurate approximation in the small aspect ratio limit. The viscous theory reveals that the resistance exhibits a minimum as a function of aspect ratio, with the orifice radius held fixed. It is evident that the resistance grows in the long aspect ratio limit in the opposite limit, resistance is amplified owing to the large velocities close to the sharp edge of the orifice. The latter amplification arrests only when the the plate is as thin as the Stokes boundary layer. The analytical approximations derived in this paper could be used to improve circuit modelling of resonating acoustic devices.


Asymptotically optimal strategies for online prediction with history dependent experts. We establish sharp asymptotically optimal strategies for the problem of online prediction with history dependent experts. The prediction problem is played (in part) over a discrete graph called the d dimensional de Bruijn graph, where d is the number of days of history used by the experts. Previous work 11 established O( varepsilon) optimal strategies for n 2 experts and d leq 4 days of history, while 10 established O( varepsilon 1 3 ) optimal strategies for all n geq 2 and all d geq 1 , where the game is played for N steps and varepsilon N 1 2 . In this paper, we show that the optimality conditions over the de Bruijn graph correspond to a graph Poisson equation, and we establish O( varepsilon) optimal strategies for all values of n and d .


GLOW Global Weighted Self Attention Network for Web Search. Deep matching models aim to facilitate search engines retrieving more relevant documents by mapping queries and documents into semantic vectors in the first stage retrieval. When leveraging BERT as the deep matching model, the attention score across two words are solely built upon local contextualized word embeddings. It lacks prior global knowledge to distinguish the importance of different words, which has been proved to play a critical role in information retrieval tasks. In addition to this, BERT only performs attention across sub words tokens which weakens whole word attention representation. We propose a novel Global Weighted Self Attention (GLOW) network for web document search. GLOW fuses global corpus statistics into the deep matching model. By adding prior weights into attention generation from global information, like BM25, GLOW successfully learns weighted attention scores jointly with query matrix Q and key matrix K . We also present an efficient whole word weight sharing solution to bring prior whole word knowledge into sub words level attention. It aids Transformer to learn whole word level attention. To make our models applicable to complicated web search scenarios, we introduce combined fields representation to accommodate documents with multiple fields even with variable number of instances. We demonstrate GLOW is more efficient to capture the topical and semantic representation both in queries and documents. Intrinsic evaluation and experiments conducted on public data sets reveal GLOW to be a general framework for document retrieve task. It significantly outperforms BERT and other competitive baselines by a large margin while retaining the same model complexity with BERT.


Interpolation Based Model Order Reduction for Polynomial Parametric Systems. In this work, we investigate a model order reduction scheme for polynomial parametric systems. We begin with defining the generalized multivariate transfer functions for the system. Based on this, we aim at constructing a reduced order system, interpolating the defined generalized transfer functions at a given set of interpolation points. Furthermore, we provide a method, inspired by the Loewner approach for linear and (quadratic )bilinear systems, to determine a good quality reduced order system in an automatic way. We also discuss the computational issues related to the proposed method and a potential application of CUR matrix approximation in order to further speed up simulations of reduced order systems. We test the efficiency of the proposed methods via several numerical examples.


On some subclasses of circular arc catch digraphs. Catch digraphs was introduced by Hiroshi Maehera in 1984 as an analog of intersection graphs where a family of pointed sets represents a digraph. After that Prisner continued his research particularly on interval catch digraphs by characterizing them diasteroidal triple free. It has numerous applications in the field of real world problems like network technology and telecommunication operations. In this article we introduce a new class of catch digraphs, namely circular arc catch digraphs. The definition is same as interval catch digraph, only the intervals are replaced by circular arcs here. We present the characterization of proper circular arc catch digraphs, which is a natural subclass of circular arc catch digraphs where no circular arc is contained in other properly. We do the characterization by introducing a concept monotone circular ordering for the vertices of the augmented adjacency matrices of it. Next we find that underlying graph of a proper oriented circular arc catch digraph is a proper circular arc graph. Also we characterize proper oriented circular arc catch digraphs by defining a certain kind of circular vertex ordering of its vertices. Another interesting result is to characterize oriented circular arc catch digraphs which are tournaments in terms of forbidden subdigraphs. Further we study some properties of an oriented circular arc catch digraph. In conclusion we discuss the relations between these subclasses of circular arc catch digraphs.


Work Practices and Perceptions from Women Core Developers in OSS Communities. The effect of gender diversity in open source communities has gained increasing attention from practitioners and researchers. For instance, organizations such as the Python Software Foundation and the OpenStack Foundation started actions to increase gender diversity and promote women to top positions in the communities. Although the general underrepresentation of women (a.k.a. horizontal segregation) in open source communities has been explored in a number of research studies, little is known about the vertical segregation in open source communities which occurs when there are fewer women in high level positions. To address this research gap, in this paper we present the results of a mixed methods study on gender diversity and work practices of core developers contributing to open source communities. In the first study, we used mining software repositories procedures to identify the core developers of 711 open source projects, in order to understand how common are women core developers in open source communities and characterize their work practices. In the second study, we surveyed the women core developers we identified in the first study to collect their perceptions of gender diversity and gender bias they might have observed while contributing to open source systems. Our findings show that open source communities present both horizontal and vertical segregation (only 2.3 of the core developers are women). Nevertheless, differently from previous studies, most of the women core developers (65.7 ) report never having experienced gender discrimination when contributing to an open source project. Finally, we did not note substantial differences between the work practices among women and men core developers. We reflect on these findings and present some ideas that might increase the participation of women in open source communities.


Analytic Integration of the Newton Potential over Cuboids and an Application to Fast Multipole Methods. We present simplified formulae for the analytic integration of the Newton potential of polynomials over boxes in two and three dimensional space. These are implemented in an easy to use C library that allows computations in arbitrary precision arithmetic which is also documented here. We describe how these results can be combined with fast multipole methods for general, non polynomial data.


Fast Deterministic Constructions of Linear Size Spanners and Skeletons. In the distributed setting, the only existing constructions of textit sparse skeletons , (i.e., subgraphs with O(n) edges) either use randomization or large messages, or require Omega(D) time, where D is the hop diameter of the input graph G . We devise the first deterministic distributed algorithm in the CONGEST model (i.e., uses small messages) for constructing linear size skeletons in time 2 O( sqrt log n cdot log log n ) . We can also compute a linear size spanner with stretch polylog(n) in low deterministic polynomial time, i.e., O(n rho) for an arbitrarily small constant rho 0 , in the CONGEST model. Yet another algorithm that we devise runs in O( log n ) kappa 1 time, for a parameter kappa 1,2, dots, and constructs an O( log n ) kappa 1 spanner with O(n 1 1 kappa ) edges. All our distributed algorithms are lightweight from the computational perspective, i.e., none of them employs any heavy computations.


Fixing E field divergence in strongly nonlinear wakefields in homogeneous plasma. Available analytical wakefield models for the bubble and the blow out regime of electron plasma acceleration perfectly describe important features like shape, fields, trapping ratio, achievable energy, energy distribution and radial emittance. As we show, for wakefields with an extremely small amplitude these models fail to describe the accelerating electric field and its divergence in the wakefield rear. Since prominent parameter regimes like the Trojan horse regime of photocathode injection exhibit this feature, it is of great importance to work out analytical models that fix this problem one possible model is introduced in this work. Using a phenomenological theory, we are able to better describe the divergence of the electric field and the bubble shape.


SFU Store Nav A Multimodal Dataset for Indoor Human Navigation. This article describes a dataset collected in a set of experiments that involves human participants and a robot. The set of experiments was conducted in the computing science robotics lab in Simon Fraser University, Burnaby, BC, Canada, and its aim is to gather data containing common gestures, movements, and other behaviours that may indicate humans' navigational intent relevant for autonomous robot navigation. The experiment simulates a shopping scenario where human participants come in to pick up items from his her shopping list and interact with a Pepper robot that is programmed to help the human participant. We collected visual data and motion capture data from 108 human participants. The visual data contains live recordings of the experiments and the motion capture data contains the position and orientation of the human participants in world coordinates. This dataset could be valuable for researchers in the robotics, machine learning and computer vision community.


Recovering information about a finite group from its subrack lattice. We prove that the isomorphism type of the subrack lattice of a finite group determines the nilpotence class. We analyze the problem of estimating the orders of the group elements corresponding to the atoms of the subrack lattice. As a result, we show that the subrack lattice determines p nilpotence of the group if a certain condition is met.


Learning Local Features with Context Aggregation for Visual Localization. Keypoint detection and description is fundamental yet important in many vision applications. Most existing methods use detect then describe or detect and describe strategy to learn local features without considering their context information. Consequently, it is challenging for these methods to learn robust local features. In this paper, we focus on the fusion of low level textual information and high level semantic context information to improve the discrimitiveness of local features. Specifically, we first estimate a score map to represent the distribution of potential keypoints according to the quality of descriptors of all pixels. Then, we extract and aggregate multi scale high level semantic features based by the guidance of the score map. Finally, the low level local features and high level semantic features are fused and refined using a residual module. Experiments on the challenging local feature benchmark dataset demonstrate that our method achieves the state of the art performance in the local feature challenge of the visual localization benchmark.


Refinement of seminorm and numerical radius inequalities of semi Hilbertian space operators. We give new inequalities for A operator seminorm and A numerical radius of semi Hilbertian space operators and show that the inequalities obtained here generalize and improve on the existing ones. Considering a complex Hilbert space mathcal H and a non zero positive bounded linear operator A on mathcal H , we show with among other seminorm inequalities, if S,T,X in mathcal B A( mathcal H ) , i.e., if A adjoint of S,T,X exist then 2 S sharp A XT A leq SS sharp A X XTT sharp A A. Further, we prove that if T in mathcal B A( mathcal H ) then begin eqnarray frac 1 4 T sharp A T TT sharp A A leq frac 1 8 bigg( T T sharp A A 2 T T sharp A A 2 bigg), textit and end eqnarray begin eqnarray frac 1 8 bigg( T T sharp A A 2 T T sharp A A 2 bigg) frac 1 8 c A 2 big(T T sharp A big) frac 1 8 c A 2 big(T T sharp A big) leq w 2 A(T). end eqnarray Here w A(.), c A(.) and . A denote A numerical radius, A Crawford number and A operator seminorm, respectively.


Sum of squares hierarchies for binary polynomial optimization. We consider the sum of squares hierarchy of approximations for the problem of minimizing a polynomial f over the boolean hypercube mathbb B n 0,1 n . This hierarchy provides for each integer r in mathbb N a lower bound f (r) on the minimum f min of f , given by the largest scalar lambda for which the polynomial f lambda is a sum of squares on mathbb B n with degree at most 2r . We analyze the quality of these bounds by estimating the worst case error f min f (r) in terms of the least roots of the Krawtchouk polynomials. As a consequence, for fixed t in 0, 1 2 , we can show that this worst case error in the regime r approx t cdot n is of the order 1 2 sqrt t(1 t) as n tends to infty . Our proof combines classical Fourier analysis on mathbb B n with the polynomial kernel technique and existing results on the extremal roots of Krawtchouk polynomials. This link to roots of orthogonal polynomials relies on a connection between the hierarchy of lower bounds f (r) and another hierarchy of upper bounds f (r) , for which we are also able to establish the same error analysis. Our analysis extends to the minimization of a polynomial over the q ary cube ( mathbb Z q mathbb Z ) n .


An Enhanced Text Classification to Explore Health based Indian Government Policy Tweets. Government sponsored policy making and scheme generations is one of the means of protecting and promoting the social, economic, and personal development of the citizens. The evaluation of effectiveness of these schemes done by government only provide the statistical information in terms of facts and figures which do not include the in depth knowledge of public perceptions, experiences and views on the topic. In this research work, we propose an improved text classification framework that classifies the Twitter data of different health based government schemes. The proposed framework leverages the language representation models (LR models) BERT, ELMO, and USE. However, these LR models have less real time applicability due to the scarcity of the ample annotated data. To handle this, we propose a novel GloVe word embeddings and class specific sentiments based text augmentation approach (named Mod EDA) which boosts the performance of text classification task by increasing the size of labeled data. Furthermore, the trained model is leveraged to identify the level of engagement of citizens towards these policies in different communities such as middle income and low income groups.


Intrinsic Flat Stability of Manifolds with Boundary where Volume Converges and Distance is Bounded Below. Given a compact, connected, and oriented manifold with boundary M and a sequence of smooth Riemannian metrics defined on it, g j , we prove volume preserving intrinsic flat convergence of the sequence to the smooth Riemannian metric g 0 provided g j always measures vectors strictly larger than or equal to g 0 , the diameter of g j is uniformly bounded, the volume of g j converges to the volume of g 0 , and L frac m 1 2 convergence of the metrics restricted to the boundary. Many examples are reviewed which justify and explain the intuition behind these hypotheses. These examples also show that uniform, Lipschitz, and Gromov Hausdorff convergence are not appropriate in this setting. Our results provide a new rigorous method of proving some special cases of the intrinsic flat stability of the positive mass theorem.


Semi supervised Skin Detection by Network with Mutual Guidance. In this paper we present a new data driven method for robust skin detection from a single human portrait image. Unlike previous methods, we incorporate human body as a weak semantic guidance into this task, considering acquiring large scale of human labeled skin data is commonly expensive and time consuming. To be specific, we propose a dual task neural network for joint detection of skin and body via a semi supervised learning strategy. The dual task network contains a shared encoder but two decoders for skin and body separately. For each decoder, its output also serves as a guidance for its counterpart, making both decoders mutually guided. Extensive experiments were conducted to demonstrate the effectiveness of our network with mutual guidance, and experimental results show our network outperforms the state of the art in skin detection.


A lognormal type stochastic volatility model with quadratic drift. This paper presents a novel one factor stochastic volatility model where the instantaneous volatility of the asset log return is a diffusion with a quadratic drift and a linear dispersion function. The instantaneous volatility mean reverts around a constant level, with a speed of mean reversion that is affine in the instantaneous volatility level. The steady state distribution of the instantaneous volatility belongs to the class of Generalized Inverse Gaussian distributions. We show that the quadratic term in the drift is crucial to avoid moment explosions and to preserve the martingale property of the stock price process. Using a conveniently chosen change of measure, we relate the model to the class of polynomial diffusions. This remarkable relation allows us to develop a highly accurate option price approximation technique based on orthogonal polynomial expansions.


On the Bogomolov Gieseker inequality for hypersurfaces in the projective spaces. We investigate the stronger form of the Bogomolov Gieseker inequality on smooth hypersurfaces in the projective space of any degree and dimension. The main technical tool is the theory of tilt stability conditions in the derived category.


Quantitative estimates for stress concentration of the Stokes flow between adjacent circular cylinders. When two inclusions with high contrast material properties are located close to each other in a homogeneous medium, stress may become arbitrarily large in the narrow region between them. In this paper, we investigate such stress concentration in the two dimensional Stokes flow when inclusions are the two dimensional cross sections of circular cylinders of the same radii and the background velocity field is linear. We construct two vector valued functions which completely capture the singular behavior of the stress and derive an asymptotic representation formula for the stress in terms of these functions as the distance between the two cylinders tends to zero. We then show, using the representation formula, that the stress always blows up by proving that either the pressure or the shear stress component of the stress tensor blows up. The blow up rate is shown to be delta 1 2 , where delta is the distance between the two cylinders. To our best knowledge, this work is the first to rigorously derive the asymptotic solution in the narrow region for the Stokes flow.


On Symmetric Rectilinear Matrix Partitioning. Even distribution of irregular workload to processing units is crucial for efficient parallelization in many applications. In this work, we are concerned with a spatial partitioning called rectilinear partitioning (also known as generalized block distribution) of sparse matrices. More specifically, in this work, we address the problem of symmetric rectilinear partitioning of a square matrix. By symmetric, we mean the rows and columns of the matrix are identically partitioned yielding a tiling where the diagonal tiles (blocks) will be squares. We first show that the optimal solution to this problem is NP hard, and we propose four heuristics to solve two different variants of this problem. We present a thorough analysis of the computational complexities of those proposed heuristics. To make the proposed techniques more applicable in real life application scenarios, we further reduce their computational complexities by utilizing effective sparsification strategies together with an efficient sparse prefix sum data structure. We experimentally show the proposed algorithms are efficient and effective on more than six hundred test matrices. With sparsification, our methods take less than 3 seconds in the Twitter graph on a modern 24 core system and output a solution whose load imbalance is no worse than 1 .


Asymptotics for the number of Simple (4a 1) Knots of Genus 1. We investigate the asymptotics of the total number of simple 4a 1 knots with Alexander polynomial of the form mt 2 (1 2m) t m for some m in X, X . Using Kearton and Levine's classification of simple knots, we give equivalent algebraic and arithmetic formulations of this counting question. In particular, this count is the same as the total number of mathbb Z 1 m equivalence classes of binary quadratic forms of discriminant 1 4m , for m running through the same range. Our heuristics, based on the Cohen Lenstra heuristics, suggest that this total is asymptotic to X 3 2 log X , and the largest contribution comes from the values of m that are positive primes. Using sieve methods, we prove that the contribution to the total coming from m prime is bounded above by O(X 3 2 log X) , and that the total itself is o(X 3 2 ) .


On sensitivity in bipartite Cayley graphs. Huang proved that every set of more than half the vertices of the d dimensional hypercube Q d induces a subgraph of maximum degree at least sqrt d , which is tight by a result of Chung, F "uredi, Graham, and Seymour. Huang asked whether similar results can be obtained for other highly symmetric graphs. First, we present three infinite families of Cayley graphs of unbounded degree that contain induced subgraphs of maximum degree 1 on more than half the vertices. In particular, this refutes a conjecture of Potechin and Tsang, for which first counterexamples were shown recently by Lehner and Verret. The first family consists of dihedrants and contains a sporadic counterexample encountered earlier by Lehner and Verret. The second family are star graphs, these are edge transitive Cayley graphs of the symmetric group. All members of the third family are d regular containing an induced matching on a frac d 2d 1 fraction of the vertices. This is largest possible and answers a question of Lehner and Verret. Second, we consider Huang's lower bound for graphs with subcubes and show that the corresponding lower bound is tight for products of Coxeter groups of type mathbf A n , mathbf I 2 (2k 1) , and most exceptional cases. We believe that Coxeter groups are a suitable generalization of the hypercube with respect to Huang's question. Finally, we show that induced subgraphs on more than half the vertices of Levi graphs of projective planes and of the Ramanujan graphs of Lubotzky, Phillips, and Sarnak have unbounded degree. This gives classes of Cayley graphs with properties similar to the ones provided by Huang's results. However, in contrast to Coxeter groups these graphs have no subcubes.


Zero shot Relation Classification from Side Information. We propose a zero shot learning relation classification (ZSLRC) framework that improves on state of the art by its ability to recognize novel relations that were not present in training data. The zero shot learning approach mimics the way humans learn and recognize new concepts with no prior knowledge. To achieve this, ZSLRC uses advanced prototypical networks that are modified to utilize weighted side (auxiliary) information. ZSLRC's side information is built from keywords, hypernyms of name entities, and labels and their synonyms. ZSLRC also includes an automatic hypernym extraction framework that acquires hypernyms of various name entities directly from the web. ZSLRC improves on state of the art few shot learning relation classification methods that rely on labeled training data and is therefore applicable more widely even in real world scenarios where some relations have no corresponding labeled examples for training. We present results using extensive experiments on two public datasets (NYT and FewRel) and show that ZSLRC significantly outperforms state of the art methods on supervised learning, few shot learning, and zero shot learning tasks. Our experimental results also demonstrate the effectiveness and robustness of our proposed model.


MorphEyes Variable Baseline Stereo For Quadrotor Navigation. Morphable design and depth based visual control are two upcoming trends leading to advancements in the field of quadrotor autonomy. Stereo cameras have struck the perfect balance of weight and accuracy of depth estimation but suffer from the problem of depth range being limited and dictated by the baseline chosen at design time. In this paper, we present a framework for quadrotor navigation based on a stereo camera system whose baseline can be adapted on the fly. We present a method to calibrate the system at a small number of discrete baselines and interpolate the parameters for the entire baseline range. We present an extensive theoretical analysis of calibration and synchronization errors. We showcase three different applications of such a system for quadrotor navigation (a) flying through a forest, (b) flying through an unknown shaped location static dynamic gap, and (c) accurate 3D pose detection of an independently moving object. We show that our variable baseline system is more accurate and robust in all three scenarios. To our knowledge, this is the first work that applies the concept of morphable design to achieve a variable baseline stereo vision system on a quadrotor.


Serre functors and graded categories. We study Serre structures on two types of graded k linear categories categories with group actions and categories with graded hom spaces. We check that Serre structures are preserved by taking orbit categories and skew group categories, and describe the relationship with graded Frobenius algebras. Using a formal version of Auslander Reiten translations, we show that the derived category of a d representation finite algebra is fractionally Calabi Yau if and only if its preprojective algebra has a graded Nakayama automorphism of finite order. This connects various results in the literature and gives new examples of fractional Calabi Yau algebras.


Higher Page Hodge Theory of Compact Complex Manifolds. The main thrust of this work is to extend some basic results in Hodge Theory to the higher pages of the Fr "olicher spectral sequence. For an arbitrary nonnegative integer r , we introduce the class of page r partial bar partial manifolds by requiring the analogue of the Hodge decomposition to hold on a compact complex manifold X when the usual Dolbeault cohomology groups H p, ,q bar partial (X) are replaced by the spaces E r 1 p, ,q (X) featuring on the (r 1) st page of the Fr "olicher spectral sequence of X . The class of page r partial bar partial manifolds coincides with the usual class of partial bar partial manifolds when r 0 but increases as r increases. We give two kinds of applications. On the one hand, we give a purely numerical characterisation of the page r partial bar partial property in terms of dimensions of various cohomology vector spaces. On the other hand, we obtain several classes of examples, including all complex parallelisable nilmanifolds and certain families of solvmanifolds and abelian nilmanifolds. Further, there are general results about the behaviour of this new class under standard constructions like blow ups and deformations.