130 citations · 169 across the 9 of their papers we have counts for
Showing 2013Show all
3 papers · 1 filter
cs.AI2013
A novel local search based on variable-focusing for random K-SAT
Rémi Lemoy, Mikko Alava, Erik Aurell
We introduce a new local search algorithm for satisfiability problems. Usual approaches focus uniformly on unsatisfied clauses. The new method works by picking uniformly random var…
cond-mat.stat-mech2013
Transfer matrix analysis of one-dimensional majority cellular automata with thermal noise
Rémi Lemoy, Alexander Mozeika, Shinnosuke Seki
Thermal noise in a cellular automaton refers to a random perturbation to its function which eventually leads this automaton to an equilibrium state controlled by a temperature para…
q-fin.ST2013★ 9 cited
Financial interaction networks inferred from traded volumes
Hongli Zeng, Rémi Lemoy, Mikko Alava
In order to use the advanced inference techniques available for Ising models, we transform complex data (real vectors) into binary strings, by local averaging and thresholding. Thi…