Sciweavers

FOCM
2016
10 years 1 months ago
Subtraction-Free Complexity, Cluster Transformations, and Spanning Trees
Subtraction-free computational complexity is the version of arithmetic circuit complexity that allows only three operations: addition, multiplication, and division. We use cluster ...
Sergey Fomin, Dima Grigoriev, Gleb A. Koshevoy
FOCM
2016
10 years 1 months ago
A Quadratically Convergent Algorithm for Structured Low-Rank Approximation
Structured Low-Rank Approximation is a problem arising in a wide range of applications in Numerical Analysis and Engineering Sciences. Given an input matrix M, the goal is to comp...
Éric Schost, Pierre-Jean Spaenlehauer
FLOPS
2016
Springer
10 years 1 months ago
Probabilistic Inference by Program Transformation in Hakaru (System Description)
Abstract. We present Hakaru, a new probabilistic programming system that allows composable reuse of distributions, queries, and inference algorithms, all expressed in a single lang...
Praveen Narayanan, Jacques Carette, Wren Romano, C...
FLOPS
2016
Springer
10 years 1 months ago
From Sets to Bits in Coq
Computer Science abounds in folktales about how — in the early days of computer programming — bit vectors were ingeniously used to encode and manipulate finite sets. Algorithm...
Arthur Blot, Pierre-Évariste Dagand, Julia ...