Robust diffusion parametric mapping of motion corrupted data with a three dimensional convolutional neural network. Head motion is inevitable in the acquisition of diffusion weighted images, especially for certain motion prone subjects and for data gathering of advanced diffusion models with prolonged scan times. Deficient accuracy of motion correction cause deterioration in the quality of diffusion model reconstruction, thus affecting the derived measures. This results in either loss of data, or introducing bias in outcomes from data of different motion levels, or both. Hence minimizing motion effects and reutilizing motion contaminated data becomes vital to quantitative studies. We have previously developed a 3 dimensional hierarchical convolution neural network (3D H CNN) for robust diffusion kurtosis mapping from under sampled data. In this study, we propose to extend this method to motion contaminated data for robust recovery of diffusion model derived measures with a process of motion assessment and corrupted volume rejection. We validate the proposed pipeline in two in vivo datasets. Results from the first dataset of individual subjects show that all the diffusion tensor and kurtosis tensor derived measures from the new pipeline are minimally sensitive to motion effects, and are comparable to the motion free reference with as few as eight volumes retained from the motion contaminated data. Results from the second dataset of a group of children with attention deficit hyperactivity disorder demonstrate the ability of our approach in ameliorating spurious group differences due to head motion. This method shows great potential for exploiting some valuable but motion corrupted DWI data which are likely to be discarded otherwise, and applying to data with different motion level thus improving their utilization and statistic power.


Betti structures of hypergeometric equations. We study Betti structures in the solution complexes of confluent hypergeometric equations. We use the framework of enhanced ind sheaves and the irregular Riemann Hilbert correspondence of D'Agnolo Kashiwara. The main result is a group theoretic criterion that ensures that enhanced solutions of such systems are defined over certain subfields of the complex numbers. The proof uses a description of the hypergeometric systems as exponentially twisted Gauss Manin systems of certain Laurent polynomials.


Gaussian lower bounds for the Boltzmann equation without cut off. The study of positivity of solutions to the Boltzmann equation goes back to Carleman (1933), and the initial argument of Carleman was developed byPulvirenti Wennberg (1997), the second author and Briant (2015). The appearance of a lower bound with Gaussian decay had however remained an open question for long range interactions (the so called non cutoff collision kernels). We answer this question and establish such Gaussian lower bound for solutions to the Boltzmann equation without cutoff, in the case of hard and moderately soft potentials, with spatial periodic conditions, and under the sole assumption that hydrodynamic quantities (local mass, local energy and local entropy density) remain bounded. The paper is mostly self contained, apart from the uniform upper bound on the solution established by the third author (2016).


Controlled surgery and mathbb L homology. This paper presents an alternative approach to controlled surgery obstructions. The obstruction for a degree one normal map (f,b) M n rightarrow X n with control map q X n rightarrow B to complete controlled surgery is an element sigma c (f, b) in H n (B, mathbb L ) , where M n, X n are topological manifolds of dimension n geq 5 . Our proof uses essentially the geometrically defined mathbb L spectrum as described by Nicas (going back to Quinn) and some well known homotopy theory. We also outline the construction of the algebraically defined obstruction, and we explicitly describe the assembly map H n (B, mathbb L ) rightarrow L n ( pi 1 (B)) in terms of forms in the case n equiv 0 (4) . Finally, we explicitly determine the canonical map H n (B, mathbb L ) rightarrow H n (B, L 0) .


Finding Key Structures in MMORPG Graph with Hierarchical Graph Summarization. What are the key structures existing in a large real world MMORPG (Massively Multiplayer Online Role Playing Game) graph? How can we compactly summarize an MMORPG graph with hierarchical node labels, considering consistent substructures at different levels of hierarchy? Recent MMORPGs generate complex interactions between entities inducing a heterogeneous graph where each entity has hierarchical labels. Succinctly summarizing a heterogeneous MMORPG graph is crucial to better understand its structure however it is a challenging task since it needs to handle complex interactions and hierarchical labels efficiently. Although there exist few methods to summarize a large scale graph, they do not deal with heterogeneous graphs with hierarchical node labels. We propose GSHL, a novel method that summarizes a heterogeneous graph with hierarchical labels. We formulate the encoding cost of hierarchical labels using MDL (Minimum Description Length). GSHL exploits the formulation to identify and segment subgraphs, and discovers compact and consistent structures in the graph. Experiments on a large real world MMORPG graph with multi million edges show that GSHL is a useful and scalable tool for summarizing the graph, finding important and interesting structures in the graph, and finding similar users.


Simultaneous inversion for the fractional exponents in the space time fractional diffusion equation partial t beta u big( Delta big) alpha 2 u big( Delta big) gamma 2 u . In this article, we consider the space time fractional (nonlocal) equation characterizing the so called "double scale" anomalous diffusion partial t beta u(t, x) ( Delta) alpha 2 u(t,x) ( Delta) gamma 2 u(t,x) t 0, 1 x 1, where partial t beta is the Caputo fractional derivative of order beta in (0,1) and 0 alpha leq gamma 2. We consider a nonlocal inverse problem and show that the fractional exponents beta , alpha and gamma are determined uniquely by the data u(t, 0) g(t), 0 t leq T. The existence of the solution for the inverse problem is proved using the quasi solution method which is based on minimizing an error functional between the output data and the additional data. In this context, an input output mapping is defined and its continuity is established. The uniqueness of the solution for the inverse problem is proved by means of eigenfunction expansion of the solution of the forward problem and some basic properties of fractional Laplacian. A numerical method based on discretization of the minimization problem, namely the steepest descent method and a least squares approach, is proposed for the solution of the inverse problem. The numerical method determines the fractional exponents simultaneously. Finally, numerical examples with noise free and noisy data illustrate applicability and high accuracy of the proposed method.


Optimization on flag manifolds. A flag is a sequence of nested subspaces. Flags are ubiquitous in numerical analysis, arising in finite elements, multigrid, spectral, and pseudospectral methods for numerical PDE they arise in the form of Krylov subspaces in matrix computations, and as multiresolution analysis in wavelets constructions. They are common in statistics too principal component, canonical correlation, and correspondence analyses may all be viewed as methods for extracting flags from a data set. The main goal of this article is to develop the tools needed for optimizing over a set of flags, which is a smooth manifold called the flag manifold, and it contains the Grassmannian as the simplest special case. We will derive closed form analytic expressions for various differential geometric objects required for Riemannian optimization algorithms on the flag manifold introducing various systems of extrinsic coordinates that allow us to parameterize points, metrics, tangent spaces, geodesics, distance, parallel transport, gradients, Hessians in terms of matrices and matrix operations and thereby permitting us to formulate steepest descent, conjugate gradient, and Newton algorithms on the flag manifold using only standard numerical linear algebra.


Asymptotic self similarity in diffusion equations with nonconstant radial limits at infinity. We study the long time behavior of localized solutions to linear or semilinear parabolic equations in the whole space mathbb R n , where n ge 2 , assuming that the diffusion matrix depends on the space variable x and has a finite limit along any ray as x to infty . Under suitable smallness conditions in the nonlinear case, we prove convergence to a self similar solution whose profile is entirely determined by the asymptotic diffusion matrix. Examples are given which show that the profile can be a rather general Gaussian like function, and that the approach to the self similar solution can be arbitrarily slow depending on the continuity and coercivity properties of the asymptotic matrix. The proof of our results relies on appropriate energy estimates for the diffusion equation in self similar variables. The new ingredient consists in estimating not only the difference w between the solution and the self similar profile, but also an antiderivative W obtained by solving a linear elliptic problem which involves w as a source term. Hence, a good part of our analysis is devoted to the study of linear elliptic equations whose coefficients are homogeneous of degree zero.


Hamiltonicity of random subgraphs of the hypercube. We study Hamiltonicity in random subgraphs of the hypercube mathcal Q n . Our first main theorem is an optimal hitting time result. Consider the random process which includes the edges of mathcal Q n according to a uniformly chosen random ordering. Then, with high probability, as soon as the graph produced by this process has minimum degree 2k , it contains k edge disjoint Hamilton cycles, for any fixed k in mathbb N . Secondly, we obtain a perturbation result if H subseteq mathcal Q n satisfies delta(H) geq alpha n with alpha 0 fixed and we consider a random binomial subgraph mathcal Q n p of mathcal Q n with p in(0,1 fixed, then with high probability H cup mathcal Q n p contains k edge disjoint Hamilton cycles, for any fixed k in mathbb N . In particular, both results resolve a long standing conjecture, posed e.g. by Bollob 'as, that the threshold probability for Hamiltonicity in the random binomial subgraph of the hypercube equals 1 2 . Our techniques also show that, with high probability, for all fixed p in(0,1 the graph mathcal Q n p contains an almost spanning cycle. Our methods involve branching processes, the R "odl nibble, and absorption.


Accelerating frequency domain numerical methods for weakly nonlinear focused ultrasound using nested meshes. The numerical simulation of weakly nonlinear ultrasound is important in treatment planning for focused ultrasound (FUS) therapies. However, the large domain sizes and generation of higher harmonics at the focus make these problems extremely computationally demanding. Numerical methods typically employ a uniform mesh fine enough to resolve the highest harmonic present in the problem, leading to a very large number of degrees of freedom. This paper proposes a more efficient strategy in which each harmonic is approximated on a separate mesh, the size of which is proportional to the wavelength of the harmonic. The increase in resolution required to resolve a smaller wavelength is balanced by a reduction in the domain size. This nested meshing is feasible owing to the increasingly localised nature of higher harmonics near the focus. Numerical experiments are performed for FUS transducers in homogeneous media in order to determine the size of the meshes required to accurately represent the harmonics. In particular, a fast emph volume potential approach is proposed and employed to perform convergence experiments as the computation domain size is modified. This approach allows each harmonic to be computed via the evaluation of an integral over the domain. Discretising this integral using the midpoint rule allows the computations to be performed rapidly with the FFT. It is shown that at least an order of magnitude reduction in memory consumption and computation time can be achieved with nested meshing. Finally, it is demonstrated how to generalise this approach to inhomogeneous propagation domains.


ConvBERT Improving BERT with Span based Dynamic Convolution. Pre trained language models like BERT and its variants have recently achieved impressive performance in various natural language understanding tasks. However, BERT heavily relies on the global self attention block and thus suffers large memory footprint and computation cost. Although all its attention heads query on the whole input sequence for generating the attention map from a global perspective, we observe some heads only need to learn local dependencies, which means the existence of computation redundancy. We therefore propose a novel span based dynamic convolution to replace these self attention heads to directly model local dependencies. The novel convolution heads, together with the rest self attention heads, form a new mixed attention block that is more efficient at both global and local context learning. We equip BERT with this mixed attention design and build a ConvBERT model. Experiments have shown that ConvBERT significantly outperforms BERT and its variants in various downstream tasks, with lower training cost and fewer model parameters. Remarkably, ConvBERTbase model achieves 86.4 GLUE score, 0.7 higher than ELECTRAbase, while using less than 1 4 training cost. Code and pre trained models will be released.


Logic and Rational Languages of Scattered and Countable Series Parallel Posets. Let A be an alphabet and SP diamond(A) denote the class of all countable N free partially ordered sets labeled by A , in which chains are scattered linear orderings and antichains are finite. We characterize the rational languages of SP diamond(A) by means of logic. We define an extension of monadic second order logic by Presburger arithmetic, named P MSO, such that a language L of SP diamond(A) is rational if and only if L is the language of a sentence of P MSO, with effective constructions from one formalism to the other. As a corollary, the P MSO theory of SP diamond(A) is decidable.


Linear, nonlinear and transitional regimes of second mode instability. The 2D second mode is a potent instability in hypersonic boundary layers (HBLs). We study its linear and nonlinear evolution, followed by its role in transition and eventual breakdown of the HBL into a fully turbulent state. Linear stability theory (LST) is utilized to identify the second mode wave through FS synchronization, which is then recreated in linearly and nonlinearly forced 2D direct numerical simulations (DNSs). The nonlinear DNS shows saturation of the fundamental frequency, and the resulting superharmonics induce tightly braided rope like'' patterns near the generalized inflection point (GIP). The instability exhibits a second region of growth constituted by the fundamental frequency, downstream of the primary envelope, which is absent in the linear scenario. Subsequent 3D DNS identifies this region to be crucial in amplifying oblique instabilities riding on the 2D second mode rollers''. This results in lambda vortices below the GIP, which are detached from the rollers'' in the inner boundary layer. Streamwise vortex stretching results in a localized peak in length scales inside the HBL, eventually forming haripin vortices. Spectral analyses track the transformation of harmonic peaks into a turbulent spectrum, and appearance of oblique modes at the fundamental frequency, which suggests that fundamental resonance is the most dominant mechanism of transition. Bispectrum reveals coupled nonlinear interactions between the fundamental and its superharmonics leading to spectral broadening, and traces of subharmonic resonance as well.


A note on isometric immersions and differential equations which describe pseudospherical surfaces. In this paper, we provide families of second order non linear partial differential equations, describing pseudospherical surfaces (pss equations), with the property of having local isometric immersions in E 3, with principal curvatures depending on finite order jets of solutions of the differential equation. These equations occupy a particularly special place amongst pss equations, since a series of recent papers 2, 7, 11, 12, 13 , on several classes of pss equations, seemed to suggest that only the sine Gordon equation had the above property. Explicit examples are given, which include the short pulse equation and some generalizations.


A singular Moser Trudinger inequality for mean value zero functions in dimension two. Let Omega subset mathbb R 2 be a smooth bounded domain with 0 in partial Omega . In this paper, we prove that for any beta in(0,1) , the supremum sup u in W 1,2 ( Omega), int Omega u dx 0, int Om nabla u 2dx leq1 int Omega frac e 2 pi(1 beta) u 2 x 2 beta dx is finite and can be attained. This partially generalizes a well known work of Alice Chang and Paul Yang cite CY88 who have obtained the inequality when beta 0 .


Interpreting Cloud Computer Vision Pain Points A Mining Study of Stack Overflow. Intelligent services are becoming increasingly more pervasive application developers want to leverage the latest advances in areas such as computer vision to provide new services and products to users, and large technology firms enable this via RESTful APIs. While such APIs promise an easy to integrate on demand machine intelligence, their current design, documentation and developer interface hides much of the underlying machine learning techniques that power them. Such APIs look and feel like conventional APIs but abstract away data driven probabilistic behaviour the implications of a developer treating these APIs in the same way as other, traditional cloud services, such as cloud storage, is of concern. The objective of this study is to determine the various pain points developers face when implementing systems that rely on the most mature of these intelligent services, specifically those that provide computer vision. We use Stack Overflow to mine indications of the frustrations that developers appear to face when using computer vision services, classifying their questions against two recent classification taxonomies (documentation related and general questions). We find that, unlike mature fields like mobile development, there is a contrast in the types of questions asked by developers. These indicate a shallow understanding of the underlying technology that empower such systems. We discuss several implications of these findings via the lens of learning taxonomies to suggest how the software engineering community can improve these services and comment on the nature by which developers use them.


Puncturable Encryption A Generic Construction from Delegatable Fully Key Homomorphic Encryption. Puncturable encryption (PE), proposed by Green and Miers at IEEE S P 2015, is a kind of public key encryption that allows recipients to revoke individual messages by repeatedly updating decryption keys without communicating with senders. PE is an essential tool for constructing many interesting applications, such as asynchronous messaging systems, forward secret zero round trip time protocols, public key watermarking schemes and forward secret proxy re encryptions. This paper revisits PEs from the observation that the puncturing property can be implemented as efficiently computable functions. From this view, we propose a generic PE construction from the fully key homomorphic encryption, augmented with a key delegation mechanism (DFKHE) from Boneh et al. at Eurocrypt 2014. We show that our PE construction enjoys the selective security under chosen plaintext attacks (that can be converted into the adaptive security with some efficiency loss) from that of DFKHE in the standard model. Basing on the framework, we obtain the first post quantum secure PE instantiation that is based on the learning with errors problem, selective secure under chosen plaintext attacks (CPA) in the standard model. We also discuss about the ability of modification our framework to support the unbounded number of ciphertext tags inspired from the work of Brakerski and Vaikuntanathan at CRYPTO 2016.


OREBA A Dataset for Objectively Recognizing Eating Behaviour and Associated Intake. Automatic detection of intake gestures is a key element of automatic dietary monitoring. Several types of sensors, including inertial measurement units (IMU) and video cameras, have been used for this purpose. The common machine learning approaches make use of the labeled sensor data to automatically learn how to make detections. One characteristic, especially for deep learning models, is the need for large datasets. To meet this need, we collected the Objectively Recognizing Eating Behavior and Associated Intake (OREBA) dataset. The OREBA dataset aims to provide comprehensive multi sensor data recorded during the course of communal meals for researchers interested in intake gesture detection. Two scenarios are included, with 100 participants for a discrete dish and 102 participants for a shared dish, totalling 9069 intake gestures. Available sensor data consists of synchronized frontal video and IMU with accelerometer and gyroscope for both hands. We report the details of data collection and annotation, as well as details of sensor processing. The results of studies on IMU and video data involving deep learning models are reported to provide a baseline for future research. Specifically, the best baseline models achieve performances of F 1 0.853 for the discrete dish using video and F 1 0.852 for the shared dish using inertial data.


Knowledge Graph Augmented Abstractive Summarization with Semantic Driven Cloze Reward. Sequence to sequence models for abstractive summarization have been studied extensively, yet the generated summaries commonly suffer from fabricated content, and are often found to be near extractive. We argue that, to address these issues, the summarizer should acquire semantic interpretation over input, e.g., via structured representation, to allow the generation of more informative summaries. In this paper, we present ASGARD, a novel framework for Abstractive Summarization with Graph Augmentation and semantic driven RewarD. We propose the use of dual encoders a sequential document encoder and a graph structured encoder to maintain the global context and local characteristics of entities, complementing each other. We further design a reward based on a multiple choice cloze test to drive the model to better capture entity interactions. Results show that our models produce significantly higher ROUGE scores than a variant without knowledge graph as input on both New York Times and CNN Daily Mail datasets. We also obtain better or comparable performance compared to systems that are fine tuned from large pretrained language models. Human judges further rate our model outputs as more informative and containing fewer unfaithful errors.


SERENIoT Collaborative Network Security Policy Management and Enforcement for Smart Homes. Network traffic whitelisting has emerged as a dominant approach for securing consumer IoT devices. However, determining what the whitelisted behavior of an IoT device should be remains an open challenge. Proposals to date have relied on manufacturers and trusted parties to provide whitelists, but these proposals require manufacturer involvement or placing trust in an additional stakeholder. Alternatively, locally monitoring devices can allow building whitelists of observed behavior, but devices may not exhaust their functionality set during the observation period, or the behavior may change following a software update which requires re training. This paper proposes a blockchain based system for determining whether an IoT device is behaving like other devices of the same type. Our system (SERENIoT, pronounced Serenity) overcomes the challenge of initially determining the correct behavior for a device. Nodes in the SERENIoT public blockchain submit summaries of the network behavior observed for connected IoT devices and build whitelists of behavior observed by the majority of nodes. Changes in behavior through software updates are automatically whitelisted once the update is broadly deployed. Through a proof of concept implementation of SERENIoT on a small Raspberry Pi IoT network and a large scale Amazon EC2 simulation, we evaluate the security, scalability, and performance of our system.


VideoDP A Universal Platform for Video Analytics with Differential Privacy. Massive amounts of video data are ubiquitously generated in personal devices and dedicated video recording facilities. Analyzing such data would be extremely beneficial in real world (e.g., urban traffic analysis, pedestrian behavior analysis, video surveillance). However, videos contain considerable sensitive information, such as human faces, identities and activities. Most of the existing video sanitization techniques simply obfuscate the video by detecting and blurring the region of interests (e.g., faces, vehicle plates, locations and timestamps) without quantifying and bounding the privacy leakage in the sanitization. In this paper, to the best of our knowledge, we propose the first differentially private video analytics platform (VideoDP) which flexibly supports different video analyses with rigorous privacy guarantee. Different from traditional noise injection based differentially private mechanisms, given the input video, VideoDP randomly generates a utility driven private video in which adding or removing any sensitive visual element (e.g., human, object) does not significantly affect the output video. Then, different video analyses requested by untrusted video analysts can be flexibly performed over the utility driven video while ensuring differential privacy. Finally, we conduct experiments on real videos, and the experimental results demonstrate that our VideoDP effectively functions video analytics with good utility.


Atomic Crosschain Transactions for Ethereum Private Sidechains. Public blockchains such as Ethereum and Bitcoin do not give enterprises the privacy they need for many of their business processes. Consequently consortiums are exploring private blockchains to keep their membership and transactions private. Ethereum Private Sidechains is a private blockchain technology which allows many blockchains to be operated in parallel. Communication is needed between Ethereum Private Sidechains to allow a function in a contract on one sidechain to execute function calls which return values from, or update the state of, another sidechain. We propose a crosschain technique which allows transactions to be executed atomically across sidechains, introduce a new mechanism for proving values across sidechains, describe a transaction locking mechanism which works in the context of blockchain to enable atomic transactions, and a methodology for providing a global time out across sidechains. We outline the programming model to be used with this technology and provide as an example, a variable amount atomic swap contract for exchanging value between sidechains. Although this paper presents Atomic Crosschain Transaction technology in the context of Ethereum Private Sidechains, we discuss how this technology can be readily applied to many blockchain systems to provide cross blockchain transactions.


Quantum two photon emission in a photonic cavity. We derive a new expression for the two photon spontaneous emission (TPSE) rate of an excited quantum emitter in the presence of arbitrary bodies in its vicinities. After investigating the influence of a perfectly conducting plate on the TPSE spectral distribution (Purcell effect), we demonstrate the equivalence of our expression with the more usual formula written in terms of the corresponding dyadic Green's function. We establish a general and convenient relation between the TPSE spectral distribution and the corresponding Purcell factors of the system. Next, we consider an emitter close to a dielectric medium and show that, in the near field regime, the TPSE spectral distribution is substantially enhanced and changes abruptly at the resonance frequencies. Finally, motivated by the suppression that may occur in the one photon spontaneous emission of an excited atom between two parallel conducting plates, we discuss the TPSE for this same situation and show that complete suppression can never occur for s rightarrow s transitions.


Cloze driven Pretraining of Self attention Networks. We present a new approach for pretraining a bi directional transformer model that provides significant performance gains across a variety of language understanding problems. Our model solves a cloze style word reconstruction task, where each word is ablated and must be predicted given the rest of the text. Experiments demonstrate large performance gains on GLUE and new state of the art results on NER as well as constituency parsing benchmarks, consistent with the concurrently introduced BERT model. We also present a detailed analysis of a number of factors that contribute to effective pretraining, including data domain and size, model capacity, and variations on the cloze objective.


Tractable reasoning about Agent Programming in Dynamic Preference Logic. While several BDI logics have been proposed in the area of Agent Programming, it is not clear how these logics are connected to the agent programs they are supposed to specify. More yet, the reasoning problems in these logics, being based on modal logic, are not tractable in general, limiting their usage to tackle real world problems. In this work, we use of Dynamic Preference Logic to provide a semantic foundation to BDI agent programming languages and investigate tractable expressive fragments of this logic to reason about agent programs. With that, we aim to provide a way of implementing semantically grounded agent programming languages with tractable reasoning cycles.


On random Fourier Hermite transform. Motivated by the work of Z. Liu and S. Liu, we have introduced random Fourier Hermite transform sum n 0 infty c n A n( omega) lambda n phi n (t) , where c n are Fourier Hermite coefficient of a function f in L p ( infty, infty) , A n( omega) are specific type of random variables associated with symmetric stable process X(s, omega) of index gamma , frac 4 3 gamma leq 2 , lambda n are the eigen values of the conventional Fourier transform and phi n (t) are n th order normalized Hermite Gaussian function. It is shown that this series converges to a stochastic integral, whose existence is also proved . Random fractional Fourier transform sum n 0 infty c n A n( omega) lambda n alpha phi n (t) of rational order alpha is also introduced.


Side Channel Aware Fuzzing. Software testing is becoming a critical part of the development cycle of embedded devices, enabling vulnerability detection. A well studied approach of software testing is fuzz testing (fuzzing), during which mutated input is sent to an input processing software while its behavior is monitored. The goal is to identify faulty states in the program, triggered by malformed inputs. Even though this technique is widely performed, fuzzing cannot be applied to embedded devices to its full extent. Due to the lack of adequately powerful I O capabilities or an operating system the feedback needed for fuzzing cannot be acquired. In this paper we present and evaluate a new approach to extract feedback for fuzzing on embedded devices using information the power consumption leaks. Side channel aware fuzzing is a threefold process that is initiated by sending an input to a target device and measuring its power consumption. First, we extract features from the power traces of the target device using machine learning algorithms. Subsequently, we use the features to reconstruct the code structure of the analyzed firmware. In the final step we calculate a score for the input, which is proportional to the code coverage. We carry out our proof of concept by fuzzing synthetic software and a light weight AES implementation running on an ARM Cortex M4 microcontroller. Our results show that the power side channel carries information relevant for fuzzing.


Fuller singularities for generic control affine systems with an even number of controls. In this article we study how bad can be the singularities of a time optimal trajectory of a generic control affine system. In the case where the control is scalar and belongs to a closed interval it was recently shown in 6 that singularities cannot be, generically, worse than finite order accumulations of Fuller points, with order of accumulation lower than a bound depending only on the dimension of the manifold where the system is set. We extend here such a result to the case where the control has an even number of scalar components and belongs to a closed ball.


Graph Neural Networks for UnsupervisedDomain Adaptation of Histopathological ImageAnalytics. Annotating histopathological images is a time consuming andlabor intensive process, which requires broad certificated pathologistscarefully examining large scale whole slide images from cells to tissues.Recent frontiers of transfer learning techniques have been widely investi gated for image understanding tasks with limited annotations. However,when applied for the analytics of histology images, few of them can effec tively avoid the performance degradation caused by the domain discrep ancy between the source training dataset and the target dataset, suchas different tissues, staining appearances, and imaging devices. To thisend, we present a novel method for the unsupervised domain adaptationin histopathological image analysis, based on a backbone for embeddinginput images into a feature space, and a graph neural layer for propa gating the supervision signals of images with labels. The graph model isset up by connecting every image with its close neighbors in the embed ded feature space. Then graph neural network is employed to synthesizenew feature representation from every image. During the training stage,target samples with confident inferences are dynamically allocated withpseudo labels. The cross entropy loss function is used to constrain thepredictions of source samples with manually marked labels and targetsamples with pseudo labels. Furthermore, the maximum mean diversityis adopted to facilitate the extraction of domain invariant feature repre sentations, and contrastive learning is exploited to enhance the categorydiscrimination of learned features. In experiments of the unsupervised do main adaptation for histopathological image classification, our methodachieves state of the art performance on four public datasets


Primitive Idempotents and Constacyclic Codes over Finite Chain Rings. Let R be a commutative local finite ring. In this paper, we construct the complete set of pairwise orthogonal primitive idempotents of R X g where g is a regular polynomial in R X . We use this set to decompose the ring R X g and to give the structure of constacyclic codes over finite chain rings. This allows us to describe generators of the dual code mathcal C bot of a constacyclic code mathcal C and to characterize non trivial self dual constacyclic codes over finite chain rings.


A note on prime number races and zero free regions for L functions. Let chi be a real and non principal Dirichlet character, L(s, chi) its Dirichlet L function and let p be a generic prime number. We prove the following result If for some 0 leq sigma 1 the partial sums sum p leq x chi(p)p sigma change sign only for a finite number of x , then there exists epsilon 0 such that L(s, chi) has no zeros in the half plane Re(s) 1 epsilon .


Hausdorff Point Convolution with Geometric Priors. Without a shape aware response, it is hard to characterize the 3D geometry of a point cloud efficiently with a compact set of kernels. In this paper, we advocate the use of Hausdorff distance as a shape aware distance measure for calculating point convolutional responses. The technique we present, coined Hausdorff Point Convolution (HPC), is shape aware. We show that HPC constitutes a powerful point feature learning with a rather compact set of only four types of geometric priors as kernels. We further develop a HPC based deep neural network (HPC DNN). Task specific learning can be achieved by tuning the network weights for combining the shortest distances between input and kernel point sets. We also realize hierarchical feature learning by designing a multi kernel HPC for multi scale feature encoding. Extensive experiments demonstrate that HPC DNN outperforms strong point convolution baselines (e.g., KPConv), achieving 2.8 mIoU performance boost on S3DIS and 1.5 on SemanticKITTI for semantic segmentation task.


Low rank binary matrix approximation in column sum norm. We consider ell 1 Rank r Approximation over GF(2), where for a binary m times n matrix bf A and a positive integer r , one seeks a binary matrix bf B of rank at most r , minimizing the column sum norm bf A bf B 1 . We show that for every varepsilon in (0, 1) , there is a randomized (1 varepsilon) approximation algorithm for ell 1 Rank r Approximation over GF(2) of running time m O(1) n O(2 4r cdot varepsilon 4 ) . This is the first polynomial time approximation scheme (PTAS) for this problem.


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.


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 .