相关论文: Reduction-Based Creative Telescoping for Definite …

The implementation of discontinuous Galerkin finite element methods (DGFEMs) represents a very challenging computational task, particularly for systems of coupled nonlinear PDEs, including multiphysics problems, whose parameters may consist…

The problem of fitting concentric ellipses is a vital problem in image processing, pattern recognition, and astronomy. Several methods have been developed but all address very special cases. In this paper, this problem has been investigated…

We propose a novel approach to robot-operated active understanding of unknown indoor scenes, based on online RGBD reconstruction with semantic segmentation. In our method, the exploratory robot scanning is both driven by and targeting at…

HEALPix -- the Hierarchical Equal Area iso-Latitude Pixelization -- is a versatile data structure with an associated library of computational algorithms and visualization software that supports fast scientific applications executable…

Professional summaries are written with document-level information, such as the theme of the document, in mind. This is in contrast with most seq2seq decoders which simultaneously learn to focus on salient content, while deciding what to…

The article presents a computationally effective algorithm for calculating the multiresolution discrete Fourier transform (MrDFT). The algorithm is based on the idea of reducing the computational complexity which was introduced by Wen and…

Have you ever thought that you can be an intelligent painter? This means that you can paint a picture with a few expected objects in mind, or with a desirable scene. This is different from normal inpainting approaches for which the location…

A general purpose instrument for imaging of Cherenkov light or fluorescence light emitted by extensive air showers is presented. Its refractive optics allows for a compact and light-weight design with a wide field-of-view of 12{\deg}. The…

We present a method to prove hypergeometric double summation identities. Given a hypergeometric term $F(n,i,j)$, we aim to find a difference operator $ L=a_0(n) N^0 + a_1(n) N^1 +...+a_r(n) N^r $ and rational functions…

We introduce a new method for the reconstruction of a function from linear measurements by means of oblique projections. The space spanned by the measurement vectors may be different from the subspace in which the function is reconstructed.…

We propose three fast algorithms for solving the inverse problem of the thermoacoustic tomography corresponding to certain acquisition geometries. Two of these methods are designed to process the measurements done with point-like detectors…

Speckle Imaging based on triple correlation is a very efficient image reconstruction technique which is used to retrieve Fourier phase information of the object in presence of atmospheric turbulence. We have developed both Direct Bispectrum…

To autonomously navigate and plan interactions in real-world environments, robots require the ability to robustly perceive and map complex, unstructured surrounding scenes. Besides building an internal representation of the observed scene…

We first survey the current state of the art concerning the dynamical properties of multidimensional continued fraction algorithms defined dynamically as piecewise fractional maps and compare them with algorithms based on lattice reduction.…

Data sketching is a critical tool for distinct counting, enabling multisets to be represented by compact summaries that admit fast cardinality estimates. Because sketches may be merged to summarize multiset unions, they are a basic building…

Given a hypersurface, $X$, prime $p$, the zeta function is a generating function for the number of $\mathbb{F}_{p}$ rational points of $X$. Until now, there is no algorithm for computing hypersurfaces with ADE singularities. Scott Stetson…

In this article algorithmic methods are presented that have essentially been introduced into computer algebra systems like Mathematica within the last decade. The main ideas are due to Stanley and Zeilberger. Some of them had already been…

Making use of inverse Mellin transform techniques for analytical continuation, an elegant proof and an extension of the zeta function regularization theorem is obtained. No series commutations are involved in the procedure; nevertheless the…

The classical ``computation'' methods in Algebraic Topology most often work by means of highly infinite objects and in fact +are_not+ constructive. Typical examples are shown to describe the nature of the problem. The Rubio-Sergeraert…

The Cherenkov Telescope Array (CTA) will present the next leap forward in gamma-ray astronomy, pushing beyond the present energy frontier to probe beyond 300 TeV. This capability is provided by the 70 Small Sized Telescopes (SSTs). The SSTs…