111
Voted
CORR
2016
Springer
10 years 1 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...
91
Voted
CORR
2016
Springer
2016
Springer
Numerically validating the completeness of the real solution set of a system of polynomial equations
10 years 1 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...
102
click to vote
CORR
2016
Springer
10 years 1 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...
101
Voted
CORR
2016
Springer
10 years 1 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 ...
104
click to vote
CORR
2016
Springer
10 years 1 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 ...