In this paper, we present a numerical technique for performing Lie advection of arbitrary differential forms. Leveraging advances in high-resolution finite volume methods for sca...
Patrick Mullen, Alexander McKenzie, Dmitry Pavlov,...
Many applications arising in a variety of fields can be well illustrated by the task of recovering the low-rank and sparse components of a given matrix. Recently, it is discovered...
This paper explores the use of SAT-Modulo Theory in determination of bit-widths for finite precision implementation of numerical calculations, specifically in the context of sci...
An additive fluent is a fluent with numerical values such that the effect of several concurrently executed actions on it can be computed by adding the effects of the individual ac...
Iterative algorithm based on quantum tunneling is proposed by making use of mean-eld approximation. W e apply our method to the problem of BW image reconstruction (IR). Its perfor...