Towards Learning to Detect and Predict Contact Events on Vision based Tactile Sensors. In essence, successful grasp boils down to correct responses to multiple contact events between fingertips and objects. In most scenarios, tactile sensing is adequate to distinguish contact events. Due to the nature of high dimensionality of tactile information, classifying spatiotemporal tactile signals using conventional model based methods is difficult. In this work, we propose to predict and classify tactile signal using deep learning methods, seeking to enhance the adaptability of the robotic grasp system to external event changes that may lead to grasping failure. We develop a deep learning framework and collect 6650 tactile image sequences with a vision based tactile sensor, and the neural network is integrated into a contact event based robotic grasping system. In grasping experiments, we achieved 52 increase in terms of object lifting success rate with contact detection, significantly higher robustness under unexpected loads with slip prediction compared with open loop grasps, demonstrating that integration of the proposed framework into robotic grasping system substantially improves picking success rate and capability to withstand external disturbances.


A note on partial calmness for bilevel optimization problems with linearly structured lower level. Partial calmness is a celebrated but restrictive property of bilevel optimization problems whose presence opens a way to the derivation of Karush Kuhn Tucker type necessary optimality conditions in order to characterize local minimizers. In the past, sufficient conditions for the validity of partial calmness have been investigated. In this regard, the presence of a linearly structured lower level problem has turned out to be beneficial. However, the associated literature suffers from inaccurate results. In this note, we clarify some regarding erroneous statements and visualize the underlying issues with the aid of illustrative counterexamples.


An Elo based rating system for TopCoder SRM. We present an Elo based rating system for programming contests. We justify a definition of performance using the logarithm of a player's rank. We apply the definition to rating TopCoder SRM. We improve the accuracy, guided by experimental results. We compare results with SRM ratings.


SkyNet a Hardware Efficient Method for Object Detection and Tracking on Embedded Systems. Object detection and tracking are challenging tasks for resource constrained embedded systems. While these tasks are among the most compute intensive tasks from the artificial intelligence domain, they are only allowed to use limited computation and memory resources on embedded devices. In the meanwhile, such resource constrained implementations are often required to satisfy additional demanding requirements such as real time response, high throughput performance, and reliable inference accuracy. To overcome these challenges, we propose SkyNet, a hardware efficient neural network to deliver the state of the art detection accuracy and speed for embedded systems. Instead of following the common top down flow for compact DNN (Deep Neural Network) design, SkyNet provides a bottom up DNN design approach with comprehensive understanding of the hardware constraints at the very beginning to deliver hardware efficient DNNs. The effectiveness of SkyNet is demonstrated by winning the competitive System Design Contest for low power object detection in the 56th IEEE ACM Design Automation Conference (DAC SDC), where our SkyNet significantly outperforms all other 100 competitors it delivers 0.731 Intersection over Union (IoU) and 67.33 frames per second (FPS) on a TX2 embedded GPU and 0.716 IoU and 25.05 FPS on an Ultra96 embedded FPGA. The evaluation of SkyNet is also extended to GOT 10K, a recent large scale high diversity benchmark for generic object tracking in the wild. For state of the art object trackers SiamRPN and SiamMask, where ResNet 50 is employed as the backbone, implementations using our SkyNet as the backbone DNN are 1.60X and 1.73X faster with better or similar accuracy when running on a 1080Ti GPU, and 37.20X smaller in terms of parameter size for significantly better memory and storage footprint.


Adversarial Example in Remote Sensing Image Recognition. With the wide application of remote sensing technology in various fields, the accuracy and security requirements for remote sensing images (RSIs) recognition are also increasing. In recent years, due to the rapid development of deep learning in the field of image recognition, RSI recognition models based on deep convolution neural networks (CNNs) outperform traditional hand craft feature techniques. However, CNNs also pose security issues when they show their capability of accurate classification. By adding a very small variation of the adversarial perturbation to the input image, the CNN model can be caused to produce erroneous results with extremely high confidence, and the modification of the image is not perceived by the human eye. This added adversarial perturbation image is called an adversarial example, which poses a serious security problem for systems based on CNN model recognition results. This paper, for the first time, analyzes adversarial example problem of RSI recognition under CNN models. In the experiments, we used different attack algorithms to fool multiple high accuracy RSI recognition models trained on multiple RSI datasets. The results show that RSI recognition models are also vulnerable to adversarial examples, and the models with different structures trained on the same RSI dataset also have different vulnerabilities. For each RSI dataset, the number of features also affects the vulnerability of the model. Many features are good for defensive adversarial examples. Further, we find that the attacked class of RSI has an attack selectivity property. The misclassification of adversarial examples of the RSIs are related to the similarity of the original classes in the CNN feature space. In addition, adversarial examples in RSI recognition are of great significance for the security of remote sensing applications, showing a huge potential for future research.


A Finite Horizon Optimal Stochastic Impulse Control Problem with A Decision Lag. This paper studies an optimal stochastic impulse control problem in a finite horizon with a decision lag, by which we mean that after an impulse is made, a fixed number units of time has to be elapsed before the next impulse is allowed to be made. The continuity of the value function is proved. A suitable version of dynamic programming principle is established, which takes into account the dependence of state process on the elapsed time. The corresponding Hamilton Jacobi Bellman (HJB) equation is derived, which exhibit some special feature of the problem. The value function of this optimal impulse control problem is characterized as the unique viscosity solution to the corresponding HJB equation. An optimal impulse control is constructed provided the value function is given. Moreover, a limiting case with the waiting time approaching 0 is discussed.


Tactile Presentation of Network Data Text, Matrix or Diagram?. Visualisations are commonly used to understand social, biological and other kinds of networks. Currently, we do not know how to effectively present network data to people who are blind or have low vision (BLV). We ran a controlled study with 8 BLV participants comparing four tactile representations organic node link diagram, grid node link diagram, adjacency matrix and braille list. We found that the node link representations were preferred and more effective for path following and cluster identification while the matrix and list were better for adjacency tasks. This is broadly in line with findings for the corresponding visual representations.


An implementation of an imitation game with ASD children to learn nursery rhymes. Previous studies have suggested that being imitated by an adult is an effective intervention with children with autism and developmental delay. The purpose of this study is to investigate if an imitation game with a robot can arise interest from children and constitute an effective tool to be used in clinical activities. In this paper, we describe the design of our nursery rhyme imitation game, its implementation based on RGB image pose recognition and the preliminary tests we performed.


Preserving Semantic and Temporal Consistency for Unpaired Video to Video Translation. In this paper, we investigate the problem of unpaired video to video translation. Given a video in the source domain, we aim to learn the conditional distribution of the corresponding video in the target domain, without seeing any pairs of corresponding videos. While significant progress has been made in the unpaired translation of images, directly applying these methods to an input video leads to low visual quality due to the additional time dimension. In particular, previous methods suffer from semantic inconsistency (i.e., semantic label flipping) and temporal flickering artifacts. To alleviate these issues, we propose a new framework that is composed of carefully designed generators and discriminators, coupled with two core objective functions 1) content preserving loss and 2) temporal consistency loss. Extensive qualitative and quantitative evaluations demonstrate the superior performance of the proposed method against previous approaches. We further apply our framework to a domain adaptation task and achieve favorable results.


TW SMNet Deep Multitask Learning of Tele Wide Stereo Matching. In this paper, we introduce the problem of estimating the real world depth of elements in a scene captured by two cameras with different field of views, where the first field of view (FOV) is a Wide FOV (WFOV) captured by a wide angle lens, and the second FOV is contained in the first FOV and is captured by a tele zoom lens. We refer to the problem of estimating the inverse depth for the union of FOVs, while leveraging the stereo information in the overlapping FOV, as Tele Wide Stereo Matching (TW SM). We propose different deep learning solutions to the TW SM problem. Since the disparity is proportional to the inverse depth, we train stereo matching disparity estimation (SMDE) networks to estimate the disparity for the union WFOV. We further propose an end to end deep multitask tele wide stereo matching neural network (MT TW SMNet), which simultaneously learns the SMDE task for the overlapped Tele FOV and the single image inverse depth estimation (SIDE) task for the WFOV. Moreover, we design multiple methods for the fusion of the SMDE and SIDE networks. We evaluate the performance of TW SM on the popular KITTI and SceneFlow stereo datasets, and demonstrate its practicality by synthesizing the Bokeh effect on the WFOV from a tele wide stereo image pair.


Adversarial Attacks on Deep Algorithmic Trading Policies. Deep Reinforcement Learning (DRL) has become an appealing solution to algorithmic trading such as high frequency trading of stocks and cyptocurrencies. However, DRL have been shown to be susceptible to adversarial attacks. It follows that algorithmic trading DRL agents may also be compromised by such adversarial techniques, leading to policy manipulation. In this paper, we develop a threat model for deep trading policies, and propose two attack techniques for manipulating the performance of such policies at test time. Furthermore, we demonstrate the effectiveness of the proposed attacks against benchmark and real world DQN trading agents.


Chromatic polynomials of 2 edge coloured graphs. Using the definition of colouring of 2 edge coloured graphs derived from 2 edge coloured graph homomorphism, we extend the definition of chromatic polynomial to 2 edge coloured graphs. We find closed forms for the first three coefficients of this polynomial that generalize the known results for the chromatic polynomial of a graph. We classify those 2 edge coloured graphs that have a chromatic polynomial equal to the chromatic polynomial of the underlying graph, when every vertex is incident to edges of both colours. Finally, we examine the behaviour of the roots of this polynomial, highlighting behaviours not seen in chromatic polynomials of graphs.


Scheduling Algorithms for 5G Networks with Mid haul Capacity Constraints. We consider a virtualized RAN architecture for 5G networks where the Remote Units are connected to a central unit via a mid haul. To support high data rates, the midhaul is realized with a Passive Optical Network (PON). In this architecture, the data are stored at the central unit until the scheduler decides to transmit it through the mid haul to an appropriate remote unit, and then over the air at the same slot. We study an optimal scheduling problem that arises in this context. This problem has two key features. First, multiple cells must be scheduled simultaneously for efficient operation. Second, the interplay between the time varying wireless interface rates and the fixed capacity PON needs to be handled efficiently. In this paper, we take a comprehensive look at this resource allocation problem by formulating it as a utility maximization problem. Using combinatorial techniques, we derive useful structural properties of the optimal allocation and utilize these results to design polynomial time approximation algorithms and a pseudopolynomial time optimal algorithm. Finally, we numerically compare the performance of the proposed algorithms to heuristics which are natural generalizations of the ubiquitous Proportional Fair algorithm.


Facilitating Access to Multilingual COVID 19 Information via Neural Machine Translation. Every day, more people are becoming infected and dying from exposure to COVID 19. Some countries in Europe like Spain, France, the UK and Italy have suffered particularly badly from the virus. Others such as Germany appear to have coped extremely well. Both health professionals and the general public are keen to receive up to date information on the effects of the virus, as well as treatments that have proven to be effective. In cases where language is a barrier to access of pertinent information, machine translation (MT) may help people assimilate information published in different languages. Our MT systems trained on COVID 19 data are freely available for anyone to use to help translate information published in German, French, Italian, Spanish into English, as well as the reverse direction.


Numerical verification method for positive solutions of elliptic problems. The purpose of this paper is to propose methods for verifying the positivity of a weak solution u of an elliptic problem assuming H 1 0 error estimation left u hat u right H 0 1 leq rho given some numerical approximation hat u and an explicit error bound rho . We provide a sufficient condition for the solution to be positive and analyze the range of application of our method for elliptic problems with polynomial nonlinearities. We present numerical examples where our method is applied to some important problems.


Unique weak solutions of the non resistive magnetohydrodynamic equations with fractional dissipation. This paper examines the uniqueness of weak solutions to the d dimensional magnetohydrodynamic (MHD) equations with the fractional dissipation ( Delta) alpha u and without the magnetic diffusion. Important progress has been made on the standard Laplacian dissipation case alpha 1 . This paper discovers that there are new phenomena with the case alpha 1 . The approach for alpha 1 can not be directly extended to alpha 1 . We establish that, for alpha 1 , any initial data (u 0, b 0) in the inhomogeneous Besov space B sigma 2, infty ( mathbb R d) with sigma 1 frac d 2 alpha leads to a unique local solution. For the case alpha ge 1 , u 0 in the homogeneous Besov space mathring B 1 frac d 2 2 alpha 2,1 ( mathbb R d) and b 0 in mathring B 1 frac d 2 alpha 2,1 ( mathbb R d) guarantees the existence and uniqueness. These regularity requirements appear to be optimal.


Repr 'e sentations cuspidales de GL(r,D) distingu 'e es par une involution int 'e rieure. Let n be a positive integer, F be a non Archimedean locally compact field of odd residue characteristic p and G be an inner form of GL(2n,F). This is a group of the form GL(r,D) for a positive integer r and division F algebra D of reduced degree d such that rd 2n. Let K be a quadratic extension of F in the algebra of matrices of size r with coefficients in D, and H be its centralizer in G. We study selfdual cuspidal representations of G and their distinction by H from the point of view of type theory. Given such a representation pi of G, we compute the value at 1 2 of the epsilon factor of the restriction of the Langlands parameter phi of pi to the Weil group of K, denoted e(K,phi). When F has characteristic 0, we deduce that pi is H distinguished if and only if phi is symplectic and e(K,phi) ( 1) r. This proves in this case a conjecture by Prasad and Takloo Bighash.


Critical Decisions for Asset Allocation via Penalized Quantile Regression. We extend the analysis of investment strategies derived from penalized quantile regression models, introducing alternative approaches to improve state textendash of textendash art asset allocation rules. First, we use a post textendash penalization procedure to deal with overshrinking and concentration issues. Second, we investigate whether and to what extent the performance changes when moving from convex to nonconvex penalty functions. Third, we compare different methods to select the optimal tuning parameter which controls the intensity of the penalization. Empirical analyses on real textendash world data show that these alternative methods outperform the simple LASSO. This evidence becomes stronger when focusing on the extreme risk, which is strictly linked to the quantile regression method.


Symmetric binary Steinhaus triangles and parity regular Steinhaus graphs. A binary Steinhaus triangle is a triangle of zeroes and ones that points down and with the same local rule as the Pascal triangle modulo 2. A binary Steinhaus triangle is said to be rotationally symmetric, horizontally symmetric or dihedrally symmetric if it is invariant under the 120 degrees rotation, the horizontal reflection or both, respectively. The first part of this paper is devoted to the study of linear subspaces of rotationally symmetric, horizontally symmetric and dihedrally symmetric binary Steinhaus triangles. We obtain simple explicit bases for each of them by using elementary properties of the binomial coefficients. A Steinhaus graph is a simple graph with an adjacency matrix whose upper triangular part is a binary Steinhaus triangle. A Steinhaus graph is said to be even or odd if all its vertex degrees are even or odd, respectively. One of the main results of this paper is the existence of an isomorphism between the linear subspace of even Steinhaus graphs and a certain linear subspace of dihedrally symmetric binary Steinhaus triangles. This permits us to give, in the second part of this paper, an explicit basis for even Steinhaus graphs and for the vector space of parity regular Steinhaus graphs i.e., the linear subspace of Steinhaus graphs that are even or odd. Finally, in the last part of this paper, we consider the generalized Pascal triangles, that are triangles of zeroes and ones, that point up now, and always with the same local rule as the Pascal triangle modulo 2. New simple bases for each linear subspace of symmetric generalized Pascal triangles are deduced from the results of the first part.


Lawson schemes for highly oscillatory stochastic differential equations and conservation of invariants. In this paper, we consider a class of stochastic midpoint and trapezoidal Lawson schemes for the numerical discretization of highly oscillatory stochastic differential equations. These Lawson schemes incorporate both the linear drift and diffusion terms in the exponential operator. We prove that the midpoint Lawson schemes preserve quadratic invariants and discuss this property as well for the trapezoidal Lawson scheme. Numerical experiments demonstrate that the integration error for highly oscillatory problems is smaller than that of some standard methods.


Non convergence of the spherical harmonic expansion of gravitational potential below the Brillouin sphere the continuous case. For a singleton planet P with gravitational potential V , we show that for each varepsilon 0 there exists a planet P' with gravitational potential V' , with (P',V') " varepsilon close" to (P,V) (in an appropriate C 0 sense) for which the spherical harmonic expansion of V' does not extend more than a distance varepsilon below the Brillouin sphere of P' .


Content Delivery Latency of Caching Strategies for Information Centric IoT. In network caching is a central aspect of Information Centric Networking (ICN). It enables the rapid distribution of content across the network, alleviating strain on content producers and reducing content delivery latencies. ICN has emerged as a promising candidate for use in the Internet of Things (IoT). However, IoT devices operate under severe constraints, most notably limited memory. This means that nodes cannot indiscriminately cache all content instead, there is a need for a caching strategy that decides what content to cache. Furthermore, many applications in the IoT space are timesensitive therefore, finding a caching strategy that minimises the latency between content request and delivery is desirable. In this paper, we evaluate a number of ICN caching strategies in regards to latency and hop count reduction using IoT devices in a physical testbed. We find that the topology of the network, and thus the routing algorithm used to generate forwarding information, has a significant impact on the performance of a given caching strategy. To the best of our knowledge, this is the first study that focuses on latency effects in ICN IoT caching while using real IoT hardware, and the first to explicitly discuss the link between routing algorithm, network topology, and caching effects.


Structure of block quantum dynamical semigroups and their product systems. W. Paschke's version of Stinespring's theorem associates a Hilbert C module along with a generating vector to every completely positive map. Building on this, to every quantum dynamical semigroup (QDS) on a C algebra mathcal A one may associate an inclusion system E (E t) of Hilbert mathcal A mathcal A modules with a generating unit xi ( xi t) . Suppose mathcal B is a von Neumann algebra, consider M 2( mathcal B) , the von Neumann algebra of 2 times 2 matrices with entries from mathcal B . Suppose ( Phi t) t ge 0 with Phi t begin pmatrix phi t 1 psi t psi t phi t 2 end pmatrix , is a QDS on M 2(B) which acts block wise and let (E i t) t ge 0 be the inclusion system associated to the diagonal QDS ( phi i t) t ge 0 with the generating unit ( xi t i) t ge 0 , i 1,2. It is shown that there is a contractive (bilinear) morphism T (T t) t ge0 from (E 2 t) t ge 0 to (E 1 t) t ge 0 such that psi t(a) langle xi 1 t, T t a xi 2 t rangle for all a in mathcal B. We also prove that any contractive morphism between inclusion systems of von Neumann mathcal B mathcal B modules can be lifted as a morphism between the product systems generated by them. We observe that the E 0 dilation of a block quantum Markov semigroup (QMS) on a unital C algebra is again a semigroup of block maps.


Addressing Class Imbalance Problem in Personalized Ranking. Pairwise ranking models have been widely used to address recommendation problems. The basic idea is to learn the rank of users' preferred items through separating items into emph positive samples if user item interactions exist, and emph negative samples otherwise. Due to the limited number of observable interactions, pairwise ranking models face serious emph class imbalance issues. Our theoretical analysis shows that current sampling based methods cause the vertex level imbalance problem, which makes the norm of learned item embeddings towards infinite after a certain training iterations, and consequently results in vanishing gradient and affects the model inference results. We thus propose an efficient emph underline Vi tal underline N egative underline S ampler (VINS) to alleviate the class imbalance issue for pairwise ranking model, in particular for deep learning models optimized by gradient methods. The core of VINS is a bias sampler with reject probability that will tend to accept a negative candidate with a larger degree weight than the given positive item. Evaluation results on several real datasets demonstrate that the proposed sampling method speeds up the training procedure 30 to 50 for ranking models ranging from shallow to deep, while maintaining and even improving the quality of ranking results in top N item recommendation.


RBF HS Recursive Best First Hitting Set Search. Various model based diagnosis scenarios require the computation of most preferred fault explanations. Existing algorithms that are sound (i.e., output only actual fault explanations) and complete (i.e., can return all explanations), however, require exponential space to achieve this task. As a remedy, we propose two novel diagnostic search algorithms, called RBF HS (Recursive Best First Hitting Set Search) and HBF HS (Hybrid Best First Hitting Set Search), which build upon tried and tested techniques from the heuristic search domain. RBF HS can enumerate an arbitrary predefined finite number of fault explanations in best first order within linear space bounds, without sacrificing the desirable soundness or completeness properties. The idea of HBF HS is to find a trade off between runtime optimization and a restricted space consumption that does not exceed the available memory. In extensive experiments on real world diagnosis cases we compared our approaches to Reiter's HS Tree, a state of the art method that gives the same theoretical guarantees and is as general(ly applicable) as the suggested algorithms. For the computation of minimum cardinality fault explanations, we find that (1) RBF HS reduces memory requirements substantially in most cases by up to several orders of magnitude, (2) in more than a third of the cases, both memory savings and runtime savings are achieved, and (3) given the runtime overhead is significant, using HBF HS instead of RBF HS reduces the runtime to values comparable with HS Tree while keeping the used memory reasonably bounded. When computing most probable fault explanations, we observe that RBF HS tends to trade memory savings more or less one to one for runtime overheads. Again, HBF HS proves to be a reasonable remedy to cut down the runtime while complying with practicable memory bounds.


Verifying Strong Eventual Consistency in delta CRDTs. Conflict free replicated data types (CRDTs) are a natural structure with which to communicate information about a shared computation in a distributed setting where coordination overhead may not be tolerated, and individual participants are allowed to temporarily diverge from the overall computation. Within this setting, there are two classical approaches state and operation based CRDTs. The former define a commutative, associative, and idempotent join operation, and their states a monotone join semi lattice. State based CRDTs may be further distinguished into classical and delta state CRDTs. The former communicate their full state after each update, whereas the latter communicate only the changed state. Op based CRDTs communicate operations (not state), thus making their updates non idempotent. Whereas op based CRDTs require little information to be exchanged, they demand relatively strong network guarantees (exactly once message delivery), and state based CRDTs suffer the opposite problem. Both satisfy strong eventual consistency (SEC). We posit that delta state CRDTs both (1) require less communication overhead from payload size, and (2) tolerate relatively weak network environments, making them an ideal candidate for real world use of CRDTs. Our central intuition is a pair of reductions between state , delta state, and op based CRDTs. We formalize this intuition in the Isabelle interactive theorem prover and show that state based CRDTs achieve SEC. We present a relaxed network model in Isabelle and show that state based CRDTs still maintain SEC. Finally, we extend our work to show that delta state CRDTs maintain SEC when only communicating delta state fragments, even under relatively weak network conditions.


Exploring Vicinal Risk Minimization for Lightweight Out of Distribution Detection. Deep neural networks have found widespread adoption in solving complex tasks ranging from image recognition to natural language processing. However, these networks make confident mispredictions when presented with data that does not belong to the training distribution, i.e. out of distribution (OoD) samples. In this paper we explore whether the property of Vicinal Risk Minimization (VRM) to smoothly interpolate between different class boundaries helps to train better OoD detectors. We apply VRM to existing OoD detection techniques and show their improved performance. We observe that existing OoD detectors have significant memory and compute overhead, hence we leverage VRM to develop an OoD detector with minimal overheard. Our detection method introduces an auxiliary class for classifying OoD samples. We utilize mixup in two ways to implement Vicinal Risk Minimization. First, we perform mixup within the same class and second, we perform mixup with Gaussian noise when training the auxiliary class. Our method achieves near competitive performance with significantly less compute and memory overhead when compared to existing OoD detection techniques. This facilitates the deployment of OoD detection on edge devices and expands our understanding of Vicinal Risk Minimization for use in training OoD detectors.


Automatic sampling and training method for wood leaf classification based on tree terrestrial point cloud. Terrestrial laser scanning technology provides an efficient and accuracy solution for acquiring three dimensional information of plants. The leaf wood classification of plant point cloud data is a fundamental step for some forestry and biological research. An automatic sampling and training method for classification was proposed based on tree point cloud data. The plane fitting method was used for selecting leaf sample points and wood sample points automatically, then two local features were calculated for training and classification by using support vector machine (SVM) algorithm. The point cloud data of ten trees were tested by using the proposed method and a manual selection method. The average correct classification rate and kappa coefficient are 0.9305 and 0.7904, respectively. The results show that the proposed method had better efficiency and accuracy comparing to the manual selection method.


bounded weight modules over the Lie superalgebra of Cartan W type. Let A m,n be the tensor product of the polynomial algebra in m even variables and the exterior algebra in n odd variables over the complex field C , and the Witt superalgebra W m,n be the Lie superalgebra of superderivations of A m,n . In this paper, we classify the non trivial simple bounded weight W m,n modules with respect to the standard Cartan algebra of W m,n . Any such module is a simple quotient of a tensor module F(P,L(V 1 otimes V 2)) for a simple weight module P over the Weyl superalgebra mathcal K m,n , a finite dimensional simple gl m module V 1 and a simple bounded gl n module V 2 .


An adaptive finite element PML method for the open cavity scattering problems. Consider the electromagnetic scattering of a time harmonic plane wave by an open cavity which is embedded in a perfectly electrically conducting infinite ground plane. This paper is concerned with the numerical solutions of the transverse electric and magnetic polarizations of the open cavity scattering problems. In each polarization, the scattering problem is reduced equivalently into a boundary value problem of the two dimensional Helmholtz equation in a bounded domain by using the transparent boundary condition (TBC). An a posteriori estimate based adaptive finite element method with the perfectly matched layer (PML) technique is developed to solve the reduced problem. The estimate takes account both of the finite element approximation error and the PML truncation error, where the latter is shown to decay exponentially with respect to the PML medium parameter and the thickness of the PML layer. Numerical experiments are presented and compared with the adaptive finite element TBC method for both polarizations to illustrate the competitive behavior of the proposed method.


Optimal control for the infinity obstacle problem. In this note, we show that a natural optimal control problem for the infty obstacle problem admits an optimal control which is also an optimal state. Moreover, we show the convergence of the minimal value of an optimal control problem for the p obstacle problem to the minimal value of our optimal control problem for the infty obstacle problem, as p to infty .


Asymptotic stabilization of a system of coupled n th order differential equations with potentially unbounded high frequency oscillating perturbations. This paper deals with an analysis and design of robust, state feedback control law uniform asymptotically stabilizing at origin the system consisting of coupled n th order ordinary differential equations in the presence of a non vanishing at x 0 or even unbounded on the time interval 0, infty) time varying high frequency oscillating perturbation w(t,x). The obtained results generalize and extend some known and now classical results in the control theory for a wider class of perturbations. Moreover, as is shown in the paper, there is no room for further generalization for w which is time dependent only, w w(t).


Event Driven Learning of Systematic Behaviours in Stock Markets. It is reported that financial news, especially financial events expressed in news, provide information to investors' long short decisions and influence the movements of stock markets. Motivated by this, we leverage financial event streams to train a classification neural network that detects latent event stock linkages and stock markets' systematic behaviours in the U.S. stock market. Our proposed pipeline includes (1) a combined event extraction method that utilizes Open Information Extraction and neural co reference resolution, (2) a BERT ALBERT enhanced representation of events, and (3) an extended hierarchical attention network that includes attentions on event, news and temporal levels. Our pipeline achieves significantly better accuracies and higher simulated annualized returns than state of the art models when being applied to predicting Standard Poor 500, Dow Jones, Nasdaq indices and 10 individual stocks.


AM modulus and Hausdorff measure of codimension one in metric measure spaces. Let Gamma(E) be the family of all paths which meet a set E in the metric measure space X . The set function E mapsto AM( Gamma(E)) defines the AM modulus measure in X where AM refers to the approximation modulus. We compare AM( Gamma(E)) to the Hausdorff measure co mathcal H 1(E) of codimension one in X and show that co mathcal H 1(E) approx AM( Gamma(E)) for Suslin sets E in X . This leads to a new characterization of sets of finite perimeter in X in terms of the AM modulus. We also study the level sets of BV functions and show that for a.e. t these sets have finite co mathcal H 1 measure. Most of the results are new also in mathbb R n .


SENTRY Selective Entropy Optimization via Committee Consistency for Unsupervised Domain Adaptation. Many existing approaches for unsupervised domain adaptation (UDA) focus on adapting under only data distribution shift and offer limited success under additional cross domain label distribution shift. Recent work based on self training using target pseudo labels has shown promise, but on challenging shifts pseudo labels may be highly unreliable, and using them for self training may cause error accumulation and domain misalignment. We propose Selective Entropy Optimization via Committee Consistency (SENTRY), a UDA algorithm that judges the reliability of a target instance based on its predictive consistency under a committee of random image transformations. Our algorithm then selectively minimizes predictive entropy to increase confidence on highly consistent target instances, while maximizing predictive entropy to reduce confidence on highly inconsistent ones. In combination with pseudo label based approximate target class balancing, our approach leads to significant improvements over the state of the art on 27 31 domain shifts from standard UDA benchmarks as well as benchmarks designed to stress test adaptation under label distribution shift.


The maximum entropy of a metric space. We define a one parameter family of entropies, each assigning a real number to any probability measure on a compact metric space (or, more generally, a compact Hausdorff space with a notion of similarity between points). These entropies generalise the Shannon and R 'enyi entropies of information theory. We prove that on any space X, there is a single probability measure maximising all these entropies simultaneously. Moreover, all the entropies have the same maximum value the maximum entropy of X. As X is scaled up, the maximum entropy grows its asymptotics determine geometric information about X, including the volume and dimension. We also study the large scale limit of the maximising measure itself, arguing that it should be regarded as the canonical or uniform measure on X. Primarily we work not with entropy itself but its exponential, called diversity and (in its finite form) used as a measure of biodiversity. Our main theorem was first proved in the finite case by Leinster and Meckes.


Multi Stage Pre training for Low Resource Domain Adaptation. Transfer learning techniques are particularly useful in NLP tasks where a sizable amount of high quality annotated data is difficult to obtain. Current approaches directly adapt a pre trained language model (LM) on in domain text before fine tuning to downstream tasks. We show that extending the vocabulary of the LM with domain specific terms leads to further gains. To a bigger effect, we utilize structure in the unlabeled data to create auxiliary synthetic tasks, which helps the LM transfer to downstream tasks. We apply these approaches incrementally on a pre trained Roberta large LM and show considerable performance gain on three tasks in the IT domain Extractive Reading Comprehension, Document Ranking and Duplicate Question Detection.


Partially symmetric monomial codes. A framework of monomial codes is considered, which includes linear codes generated by the evaluation of certain monomials. Polar and Reed Muller codes are the two best known representatives of such codes and can be considered as two extreme cases. Reed Muller codes have a large automorphism group but their low complexity maximum likelihood decoding still remains an open problem. On the other hand, polar codes have much less symmetries but admit the efficient near ML decoding. We study the dependency between the code symmetries and the decoding efficiency. We introduce a new family of codes, partially symmetric monomial codes. These codes have a smaller group of symmetries than the Reed Muller codes and are in this sense "between" RM and polar codes. A lower bound on their parameters is introduced along with the explicit construction which achieves it. Structural properties of these codes are demonstrated and it is shown that they often have a recursive structure.


Identities in Brandt semigroups, revisited. We present a new proof for the main claim made in the author's paper "On the identity bases of Brandt semigroups" (Ural. Gos. Univ. Mat. Zap. 14, no.1 (1985), 38 42) this claim provides an identity basis for an arbitrary Brandt semigroup over a group of finite exponent. We also show how to fill a gap in the original proof of the claim in loc. cit.


Univalent functions with positive coefficients involving Touchard polynomials. The purpose of the present paper is to establish connections between various subclasses of analytic univalent functions by applying certain convolution operator involving Touchard polynomials. To be more precise, we investigate such connections with the classes of analytic univalent functions with positive coefficients in the open unit disk U.


The structure of N184K amyloidogenic variant of gelsolin highlights the role of the H bond network for protein stability and aggregation properties. Mutations in the gelsolin protein are responsible for a rare conformational disease known as AGel amyloidosis. Four of these mutations are hosted by the second domain of the protein (G2) D187N Y, G167R and N184K. The impact of the latter has been so far evaluated only by studies on the isolated G2. Here we report the characterization of full length gelsolin carrying the N184K mutation and compare the findings with those obtained on the wild type and the other variants. The crystallographic structure of the N184K variant in the Ca2 free conformation shows remarkable similarities with the wild type protein. Only minimal local rearrangements can be observed and the mutant is as efficient as the wild type in severing filamentous actin. However, thermal stability of the pathological variant is compromised in the Ca2 free conditions. These data suggest that the N to K substitution causes a local disruption of the H bond network in the core of the G2 domain. Such a subtle rearrangement of the connections does not lead to significant conformational changes but severely affects the stability of the protein.


Novel inferences of ionisation recombination for particle power balance during detached discharges using deuterium Balmer line spectroscopy. The physics of divertor detachment is determined by divertor power, particle and momentum balance. This work provides a novel analysis technique of the Balmer line series to obtain a full particle power balance measurement of the divertor. This supplies new information to understand what controls the divertor target ion flux during detachment. Atomic deuterium excitation emission is separated from recombination quantitatively using Balmer series line ratios. This enables analysing those two components individually, providing ionisation recombination source sinks and hydrogenic power loss measurements. Probabilistic Monte Carlo techniques were employed to obtain full error propagation eventually resulting in probability density functions for each output variable. Both local and overall particle and power balance in the divertor are then obtained. These techniques and their assumptions have been verified by comparing the analysed synthetic diagnostic 'measurements' obtained from SOLPS simulation results for the same discharge. Power particle balance measurements have been obtained during attached and detached conditions on the TCV tokamak.


Simulating and Evaluating Rebalancing Strategies for Dockless Bike Sharing Systems. Following the growth of dock based bike sharing systems as an eco friendly solution for transportation in urban areas, Dockless systems are revolutionizing the market for the increased flexibility they offer to users. Bike redistribution is a common approach to improve service, and there exists extensive research considering static and dynamic rebalancing strategies for dock based systems. We approach the dockless problem by defining abstract stations from trip start and end location frequency. This paper offers an optimizing Mixed Integer Program framework to model the effects of various bike repositioning strategies for dockless systems. We process 30 days worth of Singapore based dockless bike data from September 2017 to extract trips. Pairing our mixed integer program with a demand model built from the processed data, we unveil trends between fleet size, lost demand, and magnitude of repositioning proper to the repositioning strategy employed. We also show that increasing repositioning potential does not always improve service performance.


Stanza A Python Natural Language Processing Toolkit for Many Human Languages. We introduce Stanza, an open source Python natural language processing toolkit supporting 66 human languages. Compared to existing widely used toolkits, Stanza features a language agnostic fully neural pipeline for text analysis, including tokenization, multi word token expansion, lemmatization, part of speech and morphological feature tagging, dependency parsing, and named entity recognition. We have trained Stanza on a total of 112 datasets, including the Universal Dependencies treebanks and other multilingual corpora, and show that the same neural architecture generalizes well and achieves competitive performance on all languages tested. Additionally, Stanza includes a native Python interface to the widely used Java Stanford CoreNLP software, which further extends its functionality to cover other tasks such as coreference resolution and relation extraction. Source code, documentation, and pretrained models for 66 languages are available at https stanfordnlp.github.io stanza.


Towards end to end verifiable online voting adding verifiability to established voting systems. Online voting for independent elections is generally supported by trusted election providers. Typically these providers do not offer any way in which a voter can verify their vote, so the providers are trusted with ballot privacy and ensuring correctness. Despite the desire to offer online voting for political elections, this lack of transparency and verifiability is often seen as a significant barrier to the large scale adoption of online elections. Adding verifiability to an online election increases transparency and integrity, allowing voters to verify that their vote has been recorded correctly and included in the tally. However, replacing existing online systems with those that provide verifiable voting requires new algorithms and code to be deployed, and this presents a significant business risk to commercial election providers. In this paper we present the first step in an incremental approach which minimises the business risk but demonstrates the advantages of verifiability, by developing an implementation of key elements of a Selene based verifiability layer and adding it to an operational online voting system. Selene is a verifiable voting protocol that uses trackers to enable voters to confirm that their votes have been captured correctly while protecting voter anonymity. This results in a system where even the election authority running the system cannot change the result in an undetectable way, and gives stronger guarantees on the integrity of the election than were previously present. We explore the challenges presented by adding a verifiability layer to an operational system. We describe the results of two initial trials, which obtained that survey respondents found this form of verifiability easy to use and that they broadly appreciated it. We conclude by outlining the further steps in the road map towards the deployment of a fully trustworthy online voting system.


MS Ranker Accumulating Evidence from Potentially Correct Candidates for Answer Selection. As conventional answer selection (AS) methods generally match the question with each candidate answer independently, they suffer from the lack of matching information between the question and the candidate. To address this problem, we propose a novel reinforcement learning (RL) based multi step ranking model, named MS Ranker, which accumulates information from potentially correct candidate answers as extra evidence for matching the question with a candidate. In specific, we explicitly consider the potential correctness of candidates and update the evidence with a gating mechanism. Moreover, as we use a listwise ranking reward, our model learns to pay more attention to the overall performance. Experiments on two benchmarks, namely WikiQA and SemEval 2016 CQA, show that our model significantly outperforms existing methods that do not rely on external resources.


Dominating surface group representations into mathrm PSL 2 ( mathbb C ) in the relative representation variety. Let rho be a representation of the fundamental group of a punctured surface into mathrm PSL 2 ( mathbb C ) that is not Fuchsian. We prove that there exists a Fuchsian representation that strictly dominates rho in the simple length spectrum, and preserves the boundary lengths. This extends a result of Gueritaud Kassel Wolff to the case of mathrm PSL 2 ( mathbb C ) representations. Our proof involves straightening the pleated plane in mathbb H 3 determined by the Fock Goncharov coordinates of a framed representation, and applying strip deformations.


Segment as Points for Efficient Online Multi Object Tracking and Segmentation. Current multi object tracking and segmentation (MOTS) methods follow the tracking by detection paradigm and adopt convolutions for feature extraction. However, as affected by the inherent receptive field, convolution based feature extraction inevitably mixes up the foreground features and the background features, resulting in ambiguities in the subsequent instance association. In this paper, we propose a highly effective method for learning instance embeddings based on segments by converting the compact image representation to un ordered 2D point cloud representation. Our method generates a new tracking by points paradigm where discriminative instance embeddings are learned from randomly selected points rather than images. Furthermore, multiple informative data modalities are converted into point wise representations to enrich point wise features. The resulting online MOTS framework, named PointTrack, surpasses all the state of the art methods including 3D tracking methods by large margins (5.4 higher MOTSA and 18 times faster over MOTSFusion) with the near real time speed (22 FPS). Evaluations across three datasets demonstrate both the effectiveness and efficiency of our method. Moreover, based on the observation that current MOTS datasets lack crowded scenes, we build a more challenging MOTS dataset named APOLLO MOTS with higher instance density. Both APOLLO MOTS and our codes are publicly available at https github.com detectRecog PointTrack.


Publication Patterns' Changes due to the COVID 19 Pandemic A longitudinal and short term scientometric analysis. In recent months the COVID 19 (also known as SARS CoV 2 and Coronavirus) pandemic has spread throughout the world. In parallel, extensive scholarly research regarding various aspects of the pandemic has been published. In this work, we analyse the changes in biomedical publishing patterns due to the pandemic. We study the changes in the volume of publications in both peer reviewed journals and preprint servers, average time to acceptance of papers submitted to biomedical journals, international (co )authorship of these papers (expressed by diversity and volume), and the possible association between journal metrics and said changes. We study these possible changes using two approaches a short term analysis through which changes during the first six months of the outbreak are examined for both COVID 19 related papers and non COVID 19 related papers and a longitudinal approach through which changes are examined in comparison to the previous four years. Our results show that the pandemic has so far had a tremendous effect on all examined accounts of scholarly publications A sharp increase in publication volume has been witnessed and it can be almost entirely attributed to the pandemic a significantly faster mean time to acceptance for COVID 19 papers is apparent, and it has (partially) come at the expense of non COVID 19 papers and a significant reduction in international collaboration for COVID 19 papers has also been identified. As the pandemic continues to spread, these changes may cause a slow down in research in non COVID 19 biomedical fields and bring about a lower rate of international collaboration.


Fast Generation of Unlabelled Free Trees using Weight Sequences. In this paper, we introduce a new representation for ordered trees, the weight sequence representation. We then use this to construct new representations for both rooted trees and free trees, namely the canonical weight sequence representation. We construct algorithms for generating the weight sequence representations for all rooted and free trees of order n, and then add a number of modifications to improve the efficiency of the algorithms. Python implementations of the algorithms incorporate further improvements by using generators to avoid having to store the long lists of trees returned by the recursive calls, as well as caching the lists for rooted trees of small order, thereby eliminating many of the recursive calls. We further show how the algorithm can be modifed to generate adjacency list and adjacency matrix representations for free trees. We compared the run times of our Python implementation for generating free trees with the Python implementation of the well known WROM algorithm taken from NetworkX. The implementation of our algorithm is over four times as fast as the implementation of the WROM algorithm. The run times for generating adjacency lists and matrices are somewhat longer than those for weight sequences, but are still over three times as fast as the corresponding implementations of the WROM algorithm.


Unifying Online and Counterfactual Learning to Rank. Optimizing ranking systems based on user interactions is a well studied problem. State of the art methods for optimizing ranking systems based on user interactions are divided into online approaches that learn by directly interacting with users and counterfactual approaches that learn from historical interactions. Existing online methods are hindered without online interventions and thus should not be applied counterfactually. Conversely, counterfactual methods cannot directly benefit from online interventions. We propose a novel intervention aware estimator for both counterfactual and online Learning to Rank (LTR). With the introduction of the intervention aware estimator, we aim to bridge the online counterfactual LTR division as it is shown to be highly effective in both online and counterfactual scenarios. The estimator corrects for the effect of position bias, trust bias, and item selection bias by using corrections based on the behavior of the logging policy and on online interventions changes to the logging policy made during the gathering of click data. Our experimental results, conducted in a semi synthetic experimental setup, show that, unlike existing counterfactual LTR methods, the intervention aware estimator can greatly benefit from online interventions.


Inclusion regions and bounds for the eigenvalues of matrices with a known eigenpair. Let ( lambda , v) be a known real eigenpair of a square real matrix A. In this paper it is shown how to locate the other eigenvalues of A in terms of the components of v. The obtained region is a union of Gershgorin discs of the second type recently introduced by the authors in a previous paper. Two cases are considered depending on whether or not some of the components of v are equal to zero. Upper bounds are obtained, in two different ways, for the largest eigenvalue in absolute value of A other than lambda . Detailed examples are provided. Although nonnegative irreducible matrices are somewhat emphasized, the main results in this paper are valid for any square real matrix.


Links between Brownian processes, proportional increments and the last hitting times. In this short article, we will focus on the different links between some stochastic processes resulting from Brownian motion and two notions of probability theory (proportional increments and last hitting times).


The directed 2 linkage problem with length constraints. The sc weak 2 linkage problem for digraphs asks for a given digraph and vertices s 1,s 2,t 1,t 2 whether D contains a pair of arc disjoint paths P 1,P 2 such that P i is an (s i,t i) path. This problem is NP complete for general digraphs but polynomially solvable for acyclic digraphs cite fortuneTCS10 . Recently it was shown cite bercziESA17 that if D is equipped with a weight function w on the arcs which satisfies that all edges have positive weight, then there is a polynomial algorithm for the variant of the weak 2 linkage problem when both paths have to be shortest paths in D . In this paper we consider the unit weight case and prove that for every pair constants k 1,k 2 , there is a polynomial algorithm which decides whether the input digraph D has a pair of arc disjoint paths P 1,P 2 such that P i is an (s i,t i) path and the length of P i is no more than d(s i,t i) k i , for i 1,2 , where d(s i,t i) denotes the length of the shortest (s i,t i) path. We prove that, unless the exponential time hypothesis (ETH) fails, there is no polynomial algorithm for deciding the existence of a solution P 1,P 2 to the sc weak 2 linkage problem where each path P i has length at most d(s i,t i) c log 1 epsilon n for some constant c . We also prove that the sc weak 2 linkage problem remains NP complete if we require one of the two paths to be a shortest path while the other path has no restriction on the length.


On the neighborhood complex of vec s stable Kneser graphs. In 2002, A. Bj "orner and M. de Longueville showed the neighborhood complex of the 2 stable Kneser graph KG(n, k) 2 textit stab has the same homotopy type as the (n 2k) sphere. A short time ago, an analogous result about the homotopy type of the neighborhood complex of almost s stable Kneser graph has been announced by J. Oszt ' e nyi. Combining this result with the famous Lov ' a sz's topological lower bound on the chromatic number of graphs has been yielded a new way for determining the chromatic number of these graphs which was determined a bit earlier by P. Chen. In this paper we present a common generalization of the mentioned results. We will define the vec s stable Kneser graph KG(n, k) vec s textit stab as the induced subgraph of the Kneser graph KG(n, k) on vec s stable vertices. And we prove, for given an integer vector vec s (s 1, ldots, s k) and n geq sum i 1 k 1 s i 2 where s i geq2 for i neq k and s k in 1,2 , the neighborhood complex of KG(n, k) vec s textit stab is homotopy equivalent to the left(n sum i 1 k 1 s i 2 right) sphere. In particular, this implies that chi left( KG(n, k) vec s textit stab right) n sum i 1 k 1 s i for the mentioned parameters. Moreover, as a simple corollary of the previous result, we will determine the chromatic number of 3 stable kneser graphs with at most one error.


Tautological algebra of the moduli space of semistable bundles on an elliptic curve. In this paper, our aim is to find the relations amongst the cohomology classes of Brill Noether subvarieties of the moduli space of semistable bundles over an elliptic curve. We obtain results similar to the Poincar 'e relations on a Jacobian variety.


Automatic Fact guided Sentence Modification. Online encyclopediae like Wikipedia contain large amounts of text that need frequent corrections and updates. The new information may contradict existing content in encyclopediae. In this paper, we focus on rewriting such dynamically changing articles. This is a challenging constrained generation task, as the output must be consistent with the new information and fit into the rest of the existing document. To this end, we propose a two step solution (1) We identify and remove the contradicting components in a target text for a given claim, using a neutralizing stance model (2) We expand the remaining text to be consistent with the given claim, using a novel two encoder sequence to sequence model with copy attention. Applied to a Wikipedia fact update dataset, our method successfully generates updated sentences for new claims, achieving the highest SARI score. Furthermore, we demonstrate that generating synthetic data through such rewritten sentences can successfully augment the FEVER fact checking training dataset, leading to a relative error reduction of 13 .


Equitable colorings of hypergraphs with few edges. The paper deals with an extremal problem concerning equitable colorings of uniform hyper graph. Recall that a vertex coloring of a hypergraph H is called proper if there are no monochro matic edges under this coloring. A hypergraph is said to be equitably r colorable if there is a proper coloring with r colors such that the sizes of any two color classes differ by at most one. In the present paper we prove that if the number of edges E(H) leq 0.01 left( frac n ln n right) frac r 1 r r n 1 then the hypergraph H is equitably r colorable provided r sqrt 5 ln n .


Carrots or Sticks? The Effectiveness of Subsidies and Tolls in Congestion Games. Are rewards or penalties more effective in influencing user behavior? This work compares the effectiveness of subsidies and tolls in incentivizing users in congestion games. The predominantly studied method of influencing user behavior in network routing problems is to institute taxes which alter users' observed costs in a manner that causes their self interested choices to more closely align with a system level objective. Another feasible method to accomplish the same goal is to subsidize the users' actions that are preferable from a system level perspective. We show that, when users behave similarly and predictably, subsidies offer comparable performance guarantees to tolls while requiring smaller monetary transactions with users however, in the presence of unknown player heterogeneity, subsidies fail to offer the same performance as tolls. We further investigate these relationships in affine congestion games, deriving explicit performance bounds under optimal tolls and subsidies with and without user heterogeneity we show that the differences in performance can be significant.


Learning to Learn Personalised Human Activity Recognition Models. Human Activity Recognition (HAR) is the classification of human movement, captured using one or more sensors either as wearables or embedded in the environment (e.g. depth cameras, pressure mats). State of the art methods of HAR rely on having access to a considerable amount of labelled data to train deep architectures with many train able parameters. This becomes prohibitive when tasked with creating models that are sensitive to personal nuances in human movement, explicitly present when performing exercises. In addition, it is not possible to collect training data to cover all possible subjects in the target population. Accordingly, learning personalised models with few data remains an interesting challenge for HAR research. We present a meta learning methodology for learning to learn personalised HAR models for HAR with the expectation that the end user need only provides a few labelled data but can benefit from the rapid adaptation of a generic meta model. We introduce two algorithms, Personalised MAML and Personalised Relation Networks inspired by existing Meta Learning algorithms but optimised for learning HAR models that are adaptable to any person in health and well being applications. A comparative study shows significant performance improvements against the state of the art Deep Learning algorithms and the Few shot Meta Learning algorithms in multiple HAR domains.


Safety in s t Paths, Trails and Walks. Given a directed graph G and a pair of nodes s and t , an emph s t bridge of G is an edge whose removal breaks all s t paths of G (and thus appears in all s t paths). Computing all s t bridges of G is a basic graph problem, solvable in linear time. In this paper, we consider a natural generalisation of this problem, with the notion of "safety" from bioinformatics. We say that a walk W is emph safe with respect to a set mathcal W of s t walks, if W is a subwalk of all walks in mathcal W . We start by considering the maximal safe walks when mathcal W consists of all s t paths, all s t trails, or all s t walks of G . We show that the first two problems are immediate linear time generalisations of finding all s t bridges, while the third problem is more involved. In particular, we show that there exists a compact representation computable in linear time, that allows outputting all maximal safe walks in time linear in their length. We further generalise these problems, by assuming that safety is defined only with respect to a subset of emph visible edges. Here we prove a dichotomy between the s t paths and s t trails cases, and the s t walks case the former two are NP hard, while the latter is solvable with the same complexity as when all edges are visible. We also show that the same complexity results hold for the analogous generalisations of emph s t articulation points (nodes appearing in all s t paths). We thus obtain the best possible results for natural "safety" generalisations of these two fundamental graph problems. Moreover, our algorithms are simple and do not employ any complex data structures, making them ideal for use in practice.


F. Wiener's trick and an extremal problem for H p . For 0 p leq infty , let H p denote the classical Hardy space of the unit disc. We consider the extremal problem of maximizing the modulus of the k th Taylor coefficient of a function f in H p which satisfies f H p leq1 and f(0) t for some 0 leq t leq 1 . In particular, we provide a complete solution to this problem for k 1 and 0 p 1 . We also study F. Wiener's trick, which plays a crucial role in various coefficient related extremal problems for Hardy spaces.


Video Super resolution with Temporal Group Attention. Video super resolution, which aims at producing a high resolution video from its corresponding low resolution version, has recently drawn increasing attention. In this work, we propose a novel method that can effectively incorporate temporal information in a hierarchical way. The input sequence is divided into several groups, with each one corresponding to a kind of frame rate. These groups provide complementary information to recover missing details in the reference frame, which is further integrated with an attention module and a deep intra group fusion module. In addition, a fast spatial alignment is proposed to handle videos with large motion. Extensive results demonstrate the capability of the proposed model in handling videos with various motion. It achieves favorable performance against state of the art methods on several benchmark datasets.


Developing Excel Thought Leadership. Over a period of five years, the Institute of Chartered Accountants in England and Wales (ICAEW) has developed a suite of three 'thought leadership' papers surrounding good practice in spreadsheet use and spreadsheet work environments. We will review the history of these three papers, the key lessons which each has to teach, and discuss how the process of making them has helped ICAEW to develop its position in the field.


Say What I Want Towards the Dark Side of Neural Dialogue Models. Neural dialogue models have been widely adopted in various chatbot applications because of their good performance in simulating and generalizing human conversations. However, there exists a dark side of these models due to the vulnerability of neural networks, a neural dialogue model can be manipulated by users to say what they want, which brings in concerns about the security of practical chatbot services. In this work, we investigate whether we can craft inputs that lead a well trained black box neural dialogue model to generate targeted outputs. We formulate this as a reinforcement learning (RL) problem and train a Reverse Dialogue Generator which efficiently finds such inputs for targeted outputs. Experiments conducted on a representative neural dialogue model show that our proposed model is able to discover such desired inputs in a considerable portion of cases. Overall, our work reveals this weakness of neural dialogue models and may prompt further researches of developing corresponding solutions to avoid it.


Solving Schr "odinger's equation by B spline collocation. B spline collocation techniques have been applied to Schr "odinger's equation since the early 1970s, but one aspect that is noticeably missing from this literature is the use of Gaussian points (i.e., the zeros of Legendre polynomials) as the collocation points, which can significantly reduce approximation errors. Authors in the past have used equally spaced or nonlinearly distributed collocation points (noticing that the latter can increase approximation accuracy) but, strangely, have continued to avoid Gaussian collocation points. Using the methodology and computer routines provided by Carl de Boor's book A Practical Guide to Splines as a numerical laboratory', the present dissertation examines how the use of Gaussian points can interact with other features such as box size, mesh size and the order of polynomial approximants to affect the accuracy of approximations to Schr "odinger's bound state wave functions for the electron in the hydrogen atom. We explore whether or not, and under what circumstances, B spline collocation at Gaussian points can produce more accurate approximations to Schr "odinger's wave functions than equally spaced and nonlinearly distributed collocation points. We also apply B spline collocation at Gaussian points to a Schr "odinger equation with cubic nonlinearity which has been used extensively in the past to study nonlinear phenomena. Our computer experiments show that collocation at Gaussian points can be a highly successful approach for the hydrogen atom, consistently superior to equally spaced collocation points and often superior to nonlinearly distributed collocation points. However, we do encounter some situations, typically when the mesh is quite coarse relative to the box size for the hydrogen atom, and also in the cubic Schr "odinger equation case, in which nonlinearly distributed collocation points perform better than Gaussian collocation points.


Sums of squares in S integers. In totally real number fields, we characterize the rings of S integers (obtained by inverting a rational integer m ) such that all their totally positive elements are represented as a sum of squares. We further obtain partial answers to the question when are all the totally positive algebraic integers that are divisible by m represented as a sum of squares?


Identification of matrix diffusion coefficients in a parabolic PDE. We consider an inverse problem of identifying the diffusion coefficient in matrix form in a parabolic PDE. In 2006, Cao and Pereverzev, used a textit natural linearisation method for identifying a scalar valued diffusion coefficient in a parabolic PDE. In this paper, we make use of that idea for identifying a matrix valued coefficient, namely, using the notion of a weak solution for a parabolic PDE, we transform our non linear inverse problem into a problem of solving an ill posed operator equation where the operator depending on the data is linear. For the purpose of obtaining stable approximate solutions, Tikhonov regularization is employed, and error estimates under noisy data are derived. We have also showed the uniqueness of the solution of the inverse problem under some assumptions on the data and obtained explicit representation of adjoint of the linear operator involved. For the obtaining error estimates in the finite dimensional setting, Galerkin method is used, by defining orthogonal projections on the space of matrices with entries from L 2( O) , by making use of standard orthogonal projections on L 2( O) . For choosing the regularizing parameter, we used the adaptive technique, so that we have an order optimal rate of convergence. Finally, for the relaxed noisy data, we described a procedure for obtaining a smoothed version so as to obtain the error estimates.


Critical Chirality in Elliptic Systems. We establish the regularity in 2 dimensions of L 2 solutions to critical elliptic systems in divergence form involving involution operators of finite W 1,2 energy.


A Multivariate Model for Representing Semantic Non compositionality. Semantically non compositional phrases constitute an intriguing research topic in Natural Language Processing. Semantic non compositionality the situation when the meaning of a phrase cannot be derived from the meaning of its components, is the main characteristic of such phrases, however, they bear other characteristics such as high statistical association and non substitutability. In this work, we present a model for identifying non compositional phrases that takes into account all of these characteristics. We show that the presented model remarkably outperforms the existing models of identifying non compositional phrases that mostly focus only on one of these characteristics.


A CDCL style calculus for solving non linear constraints. In this paper we propose a novel approach for checking satisfiability of non linear constraints over the reals, called ksmt. The procedure is based on conflict resolution in CDCL style calculus, using a composition of symbolical and numerical methods. To deal with the non linear components in case of conflicts we use numerically constructed restricted linearisations. This approach covers a large number of computable non linear real functions such as polynomials, rational or trigonometrical functions and beyond. A prototypical implementation has been evaluated on several non linear SMT LIB examples and the results have been compared with state of the art SMT solvers.


A note on partially greedy bases in quasi Banach spaces. We continue with the study of greedy type bases in quasi Banach spaces started in 3 . In this paper, we study partially greedy bases focusing our attention in two main results Characterization of partially greedy bases in quasi Banach spaces in terms of quasi greediness and different conservative like properties. Given a C partially greedy basis in a quasi Banach space, there exists a "renorming" such that the basis is 1 partially greedy.


On Testability of First Order Properties in Bounded Degree Graphs. We study property testing of properties that are definable in first order logic (FO) in the bounded degree graph and relational structure models. We show that any FO property that is defined by a formula with quantifier prefix exists forall is testable (i.e., testable with constant query complexity), while there exists an FO property that is expressible by a formula with quantifier prefix forall exists that is not testable. In the dense graph model, a similar picture is long known (Alon, Fischer, Krivelevich, Szegedy, Combinatorica 2000), despite the very different nature of the two models. In particular, we obtain our lower bound by a first order formula that defines a class of bounded degree expanders, based on zig zag products of graphs. We expect this to be of independent interest. We then prove testability of some first order properties that speak about isomorphism types of neighbourhoods, including testability of 1 neighbourhood freeness, and r neighbourhood freeness under a mild assumption on the degrees.


Learning from Suboptimal Demonstration via Self Supervised Reward Regression. Learning from Demonstration (LfD) seeks to democratize robotics by enabling non roboticist end users to teach robots to perform a task by providing a human demonstration. However, modern LfD techniques, e.g. inverse reinforcement learning (IRL), assume users provide at least stochastically optimal demonstrations. This assumption fails to hold in most real world scenarios. Recent attempts to learn from sub optimal demonstration leverage pairwise rankings and following the Luce Shepard rule. However, we show these approaches make incorrect assumptions and thus suffer from brittle, degraded performance. We overcome these limitations in developing a novel approach that bootstraps off suboptimal demonstrations to synthesize optimality parameterized data to train an idealized reward function. We empirically validate we learn an idealized reward function with 0.95 correlation with ground truth reward versus 0.75 for prior work. We can then train policies achieving 200 improvement over the suboptimal demonstration and 90 improvement over prior work. We present a physical demonstration of teaching a robot a topspin strike in table tennis that achieves 32 faster returns and 40 more topspin than user demonstration.


Canonical Voting Towards Robust Oriented Bounding Box Detection in 3D Scenes. 3D object detection has attracted much attention thanks to the advances in sensors and deep learning methods for point clouds. Current state of the art methods like VoteNet regress direct offset towards object centers and box orientations with an additional Multi Layer Perceptron network. Both their offset and orientation predictions are not accurate due to the fundamental difficulty in rotation classification. In the work, we disentangle the direct offset into Local Canonical Coordinates (LCC), box scales and box orientations. Only LCC and box scales are regressed, while box orientations are generated by a canonical voting scheme. Finally, an LCC aware back projection checking algorithm iteratively cuts out bounding boxes from the generated vote maps, with the elimination of false positives. Our model achieves state of the art performance on three standard real world benchmarks ScanNet, SceneNN and SUN RGB D. Our code is available on https github.com qq456cvb CanonicalVoting.


Socially Aware Crowd Navigation with Multimodal Pedestrian Trajectory Prediction for Autonomous Vehicles. Seamlessly operating an autonomous vehicle in a crowded pedestrian environment is a very challenging task. This is because human movement and interactions are very hard to predict in such environments. Recent work has demonstrated that reinforcement learning based methods have the ability to learn to drive in crowds. However, these methods can have very poor performance due to inaccurate predictions of the pedestrians' future state as human motion prediction has a large variance. To overcome this problem, we propose a new method, SARL SGAN KCE, that combines a deep socially aware attentive value network with a human multimodal trajectory prediction model to help identify the optimal driving policy. We also introduce a novel technique to extend the discrete action space with minimal additional computational requirements. The kinematic constraints of the vehicle are also considered to ensure smooth and safe trajectories. We evaluate our method against the state of art methods for crowd navigation and provide an ablation study to show that our method is safer and closer to human behaviour.


Great expectations in music violation of rhythmic expectancies elicits late frontal gamma activity nested in theta oscillations. Rhythm processing involves building expectations according to the hierarchical temporal structure of auditory events. Although rhythm processing has been addressed in the context of predictive coding, the properties of the oscillatory response in different cortical areas is still not clear. We explored the oscillatory properties of the neural response to rhythmic incongruence and explored the cross frequency coupling between multiple frequencies to provide links between the concepts of predictive coding and rhythm perception. We designed an experiment to investigate the neural response to rhythmic deviations in which the tone either arrived earlier than expected or the tone in the same metrical position was omitted. These two manipulations modulate the rhythmic structure differently, with the former creating a larger violation of the general structure of the musical stimulus than the latter. Both deviations resulted in an MMN response, whereas only the rhythmic deviant resulted in a subsequent P3a. Rhythmic deviants due to the early occurrence of a tone, but not omission deviants, elicited a late high gamma response (60 80 Hz) at the end of the P3a over the left frontal region, which, interestingly, correlated with the P3a amplitude over the same region and was also nested in theta oscillations. The timing of the elicited high frequency gamma oscillations related to rhythmic deviation suggests that it might be related to the update of the predictive neural model, corresponding to the temporal structure of the events in higher level cortical areas.


A Systematic Study of Leveraging Subword Information for Learning Word Representations. The use of subword level information (e.g., characters, character n grams, morphemes) has become ubiquitous in modern word representation learning. Its importance is attested especially for morphologically rich languages which generate a large number of rare words. Despite a steadily increasing interest in such subword informed word representations, their systematic comparative analysis across typologically diverse languages and different tasks is still missing. In this work, we deliver such a study focusing on the variation of two crucial components required for subword level integration into word representation models 1) segmentation of words into subword units, and 2) subword composition functions to obtain final word representations. We propose a general framework for learning subword informed word representations that allows for easy experimentation with different segmentation and composition components, also including more advanced techniques based on position embeddings and self attention. Using the unified framework, we run experiments over a large number of subword informed word representation configurations (60 in total) on 3 tasks (general and rare word similarity, dependency parsing, fine grained entity typing) for 5 languages representing 3 language types. Our main results clearly indicate that there is no "one sizefits all" configuration, as performance is both language and task dependent. We also show that configurations based on unsupervised segmentation (e.g., BPE, Morfessor) are sometimes comparable to or even outperform the ones based on supervised word segmentation.


Log D modules and Index theorems. We study log D modules on smooth log pairs and construct a comparison theorem of log de Rham complexes. The proof uses Sabbah's generalized b functions. As applications, we deduce a log index theorem and a Riemann Roch type formula for perverse sheaves on smooth quasi projective varieties. The log index theorem naturally generalizes the Dubson Kashiwara index theorem on smooth projective varieties.


Knowledgeable Dialogue Reading Comprehension on Key Turns. Multi choice machine reading comprehension (MRC) requires models to choose the correct answer from candidate options given a passage and a question. Our research focuses dialogue based MRC, where the passages are multi turn dialogues. It suffers from two challenges, the answer selection decision is made without support of latently helpful commonsense, and the multi turn context may hide considerable irrelevant information. This work thus makes the first attempt to tackle those two challenges by extracting substantially important turns and utilizing external knowledge to enhance the representation of context. In this paper, the relevance of each turn to the question are calculated to choose key turns. Besides, terms related to the context and the question in a knowledge graph are extracted as external knowledge. The original context, question and external knowledge are encoded with the pre trained language model, then the language representation and key turns are combined together with a will designed mechanism to predict the answer. Experimental results on a DREAM dataset show that our proposed model achieves great improvements on baselines.


Generative PointNet Deep Energy Based Learning on Unordered Point Sets for 3D Generation, Reconstruction and Classification. We propose a generative model of unordered point sets, such as point clouds, in the form of an energy based model, where the energy function is parameterized by an input permutation invariant bottom up neural network. The energy function learns a coordinate encoding of each point and then aggregates all individual point features into an energy for the whole point cloud. We call our model the Generative PointNet because it can be derived from the discriminative PointNet. Our model can be trained by MCMC based maximum likelihood learning (as well as its variants), without the help of any assisting networks like those in GANs and VAEs. Unlike most point cloud generators that rely on hand crafted distance metrics, our model does not require any hand crafted distance metric for the point cloud generation, because it synthesizes point clouds by matching observed examples in terms of statistical properties defined by the energy function. Furthermore, we can learn a short run MCMC toward the energy based model as a flow like generator for point cloud reconstruction and interpolation. The learned point cloud representation can be useful for point cloud classification. Experiments demonstrate the advantages of the proposed generative model of point clouds.


Nonresonant Diffusion in Alpha Channeling. The gradient of fusion born alpha particles that arises in a fusion reactor can be exploited to amplify waves, which cool the alpha particles while diffusively extracting them from the reactor. The corresponding extraction of the resonant alpha particle charge has been suggested as a mechanism to drive rotation. By deriving a coupled linear quasilinear theory of alpha channeling, we show that, for a time growing wave with a purely poloidal wavevector, a current in the nonresonant ions cancels the resonant alpha particle current, preventing the rotation drive but fueling the fusion reaction.


On the 4 rank of class groups of Dirichlet biquadratic fields. We show that for 100 of the odd, squarefree integers n 0 the 4 rank of text Cl ( mathbb Q (i, sqrt n )) is equal to omega 3(n) 1 , where omega 3 is the number of prime divisors of n that are 3 modulo 4 .


On Differential Properties of Multifunctions Defined Implicitly by Set Valued Inclusions. In the present paper, several properties concerning generalized derivatives of multifunctions implicitly defined by set valued inclusions are studied by techniques of variational analysis. Set valued inclusions are problems formalizing the robust fulfilment of cone constraint systems, whose data are affected by a "crude knowledge" of uncertain elements, so they can not be casted in traditional generalized equations. The focus of this study in on the first order behaviour of the solution mapping associated with a parameterized set valued inclusion, starting with Lipschitzian properties and then considering its graphical derivative. In particular, a condition for the Aubin continuity of the solution mapping is established in terms of outer prederivative of the set valued mapping defining the inclusion. A large class of parameterized set valued inculsions is singled out, whose solution mapping turns out to be convex. Some relevant consequences on the graphical derivative are explored. In the absence of that, formulae for the inner and outer approximation of the graphical derivative are provided by means of prederivatives of the problem data. A representation useful to calculate the coderivative of the solution mapping is also obtained via the subdifferential of a merit function.


Invariant Generalized Complex Structures on Partial Flag Manifolds. The aim of this paper is to classify all invariant generalized complex structure on a partial flag manifold mathbb F Theta with at most four isotropy summands. To classify them all we proved that an invariant generalized almost complex structure on mathbb F Theta is constant' in each component of the isotropy representation.


A method based on encryption and node rating for securing the RPL protocol communications in the IoT ecosystem. Internet of Things (IoT) provides the possibility for milliards of devices throughout the world to communicate with each other, and data is collected autonomously. The big data generated by the devices should be managed securely. Due to security challenges, like malicious nodes, many approaches cannot respond to these concerns. In this paper, a robust hybrid method, including encryption, is used as an efficient approach for resolving the RPL protocol concerns so that the devices are connected securely. Therefore, the proposed DSH RPL method for securing the RPL protocol comprises the four following phases The first phase creates a reliable RPL. The second phase detects the sinkhole attack. The third phase quarantines the detected malicious node, and the fourth phase transmits data through encryption. The simulation results show that the DSH RPL reduces the false positive rate more than 18.2 and 23.1 , and reduces the false negative rate more than 16.1 and 22.78 , it also increases the packet delivery rate more than 19.68 and 25.32 and increases the detection rate more than 26 and 31 compared to SecTrust RPL and IBOOS RPL.


Uniform Scattering of Robots on Alternate Nodes of a Grid. In this paper, we propose a distributed algorithm to uniformly scatter the robots along a grid, with robots on alternate nodes of this grid distribution. These homogeneous, autonomous mobile robots place themselves equidistant apart on the grid, which can be required for guarding or covering a geographical area by the robots. The robots operate by executing cycles of the states "look compute move". In the look phase, it looks to see the position of the other robots in the compute phase, it computes a destination to move to and then in the move phase, it moves to that computed destination. They do not interact by message passing and can recollect neither the past actions nor the looked data from the previous cycle, i.e., oblivious. The robots are semi synchronous, anonymous and have unlimited visibility. Eventually, the robots uniformly distribute themselves on alternate nodes of a grid, leaving the adjacent nodes of the grid vacant. The algorithm presented also assures no collision or deadlock among the robots.


A new approach to gaps between zeta zeros. We study the value distribution of Dirichlet polynomials on the critical line Re(s) tfrac 1 2 . As a consequence, we prove a corollary on small consecutive gaps between zeros of the Riemann zeta function. We also examine the distribution of zeros under the so called alternative hypothesis and present a new approach to the problem of gaps between the zeros.


InfleCS Clustering Free Energy Landscapes with Gaussian Mixtures. Free energy landscapes provide insights into conformational ensembles of biomolecules. In order to analyze these landscapes and elucidate mechanisms underlying conformational changes, there is a need to extract metastable states with limited noise. This has remained a formidable task, despite a plethora of existing clustering methods. We present InfleCS, a novel method for extracting well defined core states from free energy landscapes. The method is based on a Gaussian mixture free energy estimator and exploits the shape of the estimated density landscape. The core states that naturally arise from the clustering allow for detailed characterization of the conformational ensemble. The clustering quality is evaluated on three toy models with different properties, where the method is shown to consistently outperform other conventional and state of the art clustering methods. Finally, the method is applied to a temperature enhanced molecular dynamics simulation of Ca2 bound Calmodulin. Through the free energy landscape, we discover a pathway between a canonical and a compact state, revealing conformational changes driven by electrostatic interactions.


An Study of The Role of Software Project Manger in the Outcome of the Project. This paper describes an in depth analysis of successful and unsuccessful software Projects and the Role of Software Project Mangers in that success. One of the main reason in software project success is manager. Software houses are investing too much in this regard but the average ratio of software project failure is on the high side. Project managers experience, technical knowledge, and skills are not good enough for success in general. In this paper we have conducted a survey related to the approached used by different project managers, their methods and techniques, and the success ratio of their projects, and the steps they took during their projects. We will explore the core reasons of software project success and then will suggest key steps to be taken by the software project managers to deliver a successful software project.


The global existence issue for the compressible Euler system with Poisson or Helmholtz couplings. We consider the Cauchy problem for the barotropic Euler system coupled to Helmholtz or Poisson equations, in the whole space. We assume that the initial density is small enough, and that the initial velocity is close to some reference vector field u0 such that the spectrum of Du0 is bounded away from zero. We prove the existence of a global unique solution with (fractional) Sobolev regularity, and algebraic time decay estimates. Our work extends the papers by D. Serre and M. Grassin 20, 21, 43 dedicated to the compressible Euler system without coupling and integer regularity exponents.


Learning in two player games between transparent opponents. We consider a scenario in which two reinforcement learning agents repeatedly play a matrix game against each other and update their parameters after each round. The agents' decision making is transparent to each other, which allows each agent to predict how their opponent will play against them. To prevent an infinite regress of both agents recursively predicting each other indefinitely, each agent is required to give an opponent independent response with some probability at least epsilon. Transparency also allows each agent to anticipate and shape the other agent's gradient step, i.e. to move to regions of parameter space in which the opponent's gradient points in a direction favourable to them. We study the resulting dynamics experimentally, using two algorithms from previous literature (LOLA and SOS) for opponent aware learning. We find that the combination of mutually transparent decision making and opponent aware learning robustly leads to mutual cooperation in a single shot prisoner's dilemma. In a game of chicken, in which both agents try to manoeuvre their opponent towards their preferred equilibrium, converging to a mutually beneficial outcome turns out to be much harder, and opponent aware learning can even lead to worst case outcomes for both agents. This highlights the need to develop opponent aware learning algorithms that achieve acceptable outcomes in social dilemmas involving an equilibrium selection problem.


Bluetooth Smartphone Apps Are they the most private and effective solution for COVID 19 contact tracing?. Many digital solutions mainly involving Bluetooth technology are being proposed for Contact Tracing Apps (CTA) to reduce the spread of COVID 19. Concerns have been raised regarding privacy, consent, uptake required in a given population, and the degree to which use of CTAs can impact individual behaviours. However, very few groups have taken a holistic approach and presented a combined solution. None has presented their CTA in such a way as to ensure that even the most suggestible member of our community does not become complacent and assume that CTA operates as an invisible shield, making us and our families impenetrable or immune to the disease. We propose to build on some of the digital solutions already under development that, with addition of a Bayesian model that predicts likelihood for infection supplemented by traditional symptom and contact tracing, that can enable us to reach 90 of a population. When combined with an effective communication strategy and social distancing, we believe solutions like the one proposed here can have a very beneficial effect on containing the spread of this pandemic.


AMReX Block Structured Adaptive Mesh Refinement for Multiphysics Applications. Block structured adaptive mesh refinement (AMR) provides the basis for the temporal and spatial discretization strategy for a number of ECP applications in the areas of accelerator design, additive manufacturing, astrophysics, combustion, cosmology, multiphase flow, and wind plant modelling. AMReX is a software framework that provides a unified infrastructure with the functionality needed for these and other AMR applications to be able to effectively and efficiently utilize machines from laptops to exascale architectures. AMR reduces the computational cost and memory footprint compared to a uniform mesh while preserving accurate descriptions of different physical processes in complex multi physics algorithms. AMReX supports algorithms that solve systems of partial differential equations (PDEs) in simple or complex geometries, and those that use particles and or particle mesh operations to represent component physical processes. In this paper, we will discuss the core elements of the AMReX framework such as data containers and iterators as well as several specialized operations to meet the needs of the application projects. In addition we will highlight the strategy that the AMReX team is pursuing to achieve highly performant code across a range of accelerator based architectures for a variety of different applications.


Componentwise linearity of projective varieties with almost maximal degree. The degree of a projective subscheme has an upper bound in term of the codimension and the reduction number. If a projective variety has an almost maximal degree, that is, the degree equals to the upper bound minus one, then its Betti table has been described explicitly. We build on this work by showing that for most of such varieties, the defining ideals are componentwise linear and in particular the componentwise linearity is suitable for classifying the Betti tables of such varieties. As an application, we compute the Betti table of all varieties with almost maximal degree and componentwise linear resolution.