FOCM
2016
8 years 8 months ago
2016
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...
FLOPS
2016
Springer
8 years 8 months ago
2016
Springer
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...
FLOPS
2016
Springer
8 years 8 months ago
2016
Springer
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...
FLOPS
2016
Springer
8 years 8 months ago
2016
Springer
Resolution lies at the foundation of both logic programming and type class context reduction in functional languages. Terminating derivations by resolution have well-defined induc...
FLOPS
2016
Springer
8 years 8 months ago
2016
Springer
Abstract. Foreign function interfaces are typically organised monolithically, tying together the specification of each foreign function with the mechanism used to make the functio...
FLOPS
2016
Springer
8 years 8 months ago
2016
Springer
We present a new constraint solver over Boolean variables, available as library(clpb)1 in SWI-Prolog. Our solver distinguishes itself from other available CLP(B) solvers by several...
CSSC
2016
8 years 8 months ago
2016
CSSC
2016
8 years 8 months ago
2016
In this paper we propose a novel non-parametric sampling approach to estimate posterior distributions from parameters of interest. This technique is particularly suited for models...
CSSC
2016
8 years 8 months ago
2016
Common factor analysis (CFA) and principal component analysis (PCA) are widely used multivariate techniques. Using simulations, we compared CFA with PCA loadings for distortions o...
