105
Voted
CORR
2016
Springer
10 years 1 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...
97
Voted
CORR
2016
Springer
10 years 1 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...
97
Voted
CORR
2016
Springer
10 years 1 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...
108
Voted
CORR
2016
Springer
10 years 1 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...
211
click to vote
CORR
2016
Springer
10 years 1 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...