Manifolds and fiber bundles, while superficially different, have strong parallels; in particular, they are both defined in terms of equivalence classes of atlases or in terms of maximal atlases, with the atlases treated as mere adjuncts. This paper p...
GPUs offer orders-of-magnitude higher memory bandwidth than traditional CPU-only systems. However, GPU device memory tends to be relatively small and the memory capacity can not be increased by the user. This paper describes Buddy Compression, a sche...
In the paper are computed: the number of binary trees with n nodes and k leaves; the number of leaves in the set of all binary trees with n nodes. These are used to compute the number of states in the buddy system....
In this paper, we study sample size thresholds for maximum likelihood estimation for tensor normal models. Given the model parameters and the number of samples, we determine whether, almost surely, (1) the likelihood function is bounded from above, (...
In this paper, we present a practical solution to implement privacy-preserving CNN training based on mere Homomorphic Encryption (HE) technique. To our best knowledge, this is the first attempt successfully to crack this nut and no work ever before h...
Points: 715 | Comments: 374 | Author: timr
In this paper, we propose a StochAstic Recursive grAdient algoritHm (SARAH), as well as its practical variant SARAH+, as a novel approach to the finite-sum minimization problems. Different from the vanilla SGD and other modern stochastic methods such...
Points: 336 | Comments: 54 | Author: randomwalker
Points: 138 | Comments: 76 | Author: elsewhen
In this paper we present an interface between a symbolic planner and a geometric task planner, which is different to a standard trajectory planner in that the former is able to perform geometric reasoning on abstract entities---tasks. We believe that...
This paper studies the optimal energy management in a group of dwellings having micro fuel cell combined heat and power systems. To increase the self-sufficiency and resilience of such local community, a peer-to-peer energy trading system between dwe...
In this paper we study the behaviors of the energy of solutions of the wave equations with localized nonlinear damping in exterior domains....
This paper introduces an information-based model for the pricing of storable commodities such as crude oil and natural gas. The model uses the concept of market information about future supply and demand as a basis for valuation. Physical ownership o...
This paper deals with nonlinear parabolic equation for which a local solution in time exists and then blows up in a finite time. We consider the Chipot-Weissler equation. We study the numerical approximation, we show that the numerical solution conve...
This paper addresses the difficult problem of finding an optimal neural architecture design for a given image classification task. We propose a method that aggregates two main results of the previous state-of-the-art in neural architecture search. Th...
This paper investigates the impacts of Inter-Channel Interference (ICI) effects on a shallow underwater acoustic (UWA) orthogonal frequency-division multiplexing (OFDM) communication system. Considering both the turbulence of the water surface and th...
This paper studies the problem of which sequences of non-negative integers arise as the functions $\operatorname{reg} I^{n-1}/I^n$, $\operatorname{reg} R/I^n$, $\operatorname{reg} I^n$ for an ideal $I$ generated by forms of degree $d$ in a standard g...
The aim of this paper is to study the relationship between reduction numbers and Borel-fixed ideals in all characteristics. By definition, Borel-fixed ideals are closed under certain specializations which is similar to the strong stability. We will...
In this paper, we will provide an overview of the current state-of-the-art with regards to so-called cold boot attacks, their practical applicability and feasibility, potential counter-measures and their effectiveness....
In this paper, we introduce a completion framework to reconstruct the geometric shapes of various anatomies, including organs, vessels and muscles. Our work targets a scenario where one or multiple anatomies are missing in the imaging data due to sur...