CORR
2016
Springer
8 years 8 months ago
2016
Springer
Most data for evaluating and training recommender systems is subject to selection biases, either through self-selection by the users or through the actions of the recommendation s...
CORR
2016
Springer
2016
Springer
Numerically validating the completeness of the real solution set of a system of polynomial equations
8 years 8 months ago
Computing the real solutions to a system of polynomial equations is a challenging problem, particularly verifying that all solutions have been computed. We describe an approach th...
CORR
2016
Springer
8 years 8 months ago
2016
Springer
Electrical power systems are one of the most important infrastructures that support our society. However, their vulnerabilities have raised great concern recently due to several l...
CORR
2016
Springer
8 years 8 months ago
2016
Springer
MLL proof equivalence is the problem of deciding whether two proofs in multiplicative linear logic are related by a series of inference permutations. It is also known as the word ...
CORR
2016
Springer
8 years 8 months ago
2016
Springer
We introduce a model for the classical synchronised multiple access system with a single transmission channel and a randomised transmission protocol (ALOHA). We assume in addition ...
CORR
2016
Springer
8 years 8 months ago
2016
Springer
We show in this paper that the Gentry-Szydlo algorithm for cyclotomic orders, previously revisited by Lenstra-Silverberg, can be extended to complex-multiplication (CM) orders, an...
CORR
2016
Springer
8 years 8 months ago
2016
Springer
Random walks are a fundamental model in applied mathematics and are a common example of a Markov chain. The limiting stationary distribution of the Markov chain represents the frac...
CORR
2016
Springer
8 years 8 months ago
2016
Springer
We propose a general model that sequentially and dynamically acquire useful information to solve a task under the Learning to Search framework. By focusing on most prominent parts...
CORR
2016
Springer
8 years 8 months ago
2016
Springer
Logically Constrained Term Rewriting Systems (LCTRSs) provide a general framework for term rewriting with constraints. We discuss a simple dependency pair approach to prove termin...
CORR
2016
Springer
8 years 8 months ago
2016
Springer
Many data-fitting applications require the solution of an optimization problem involving a sum of large number of functions of high dimensional parameter. Here, we consider the p...