New fastest linearly independent (LI) transforms for ternary functions are introduced in this paper. The transforms operate over Galois Field (3) (GF(3)) and have smaller computat...
Bogdan J. Falkowski, Cicilia C. Lozano, Tadeusz Lu...
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
We study the mixing time of the Glauber dynamics for general spin systems on bounded-degree trees, including the Ising model, the hard-core model (independent sets) and the antife...
— We analyze the asymptotic cost of discovering a route within a flat ad hoc network and we show that one can discover a route with cost that is proportional only to the area of...
We present a class of algorithms for independent component analysis (ICA) which use contrast functions based on canonical correlations in a reproducing kernel Hilbert space. On th...