We show that the basic feasible functions of Cook and Urquhart's BFF [8,9] are precisely the functionals definable in a natural system of ramified recurrence that uses type i...
In this work, the computational operation based on Gradient Pattern Analysis - GPA was applied for the first time in MODIS spatial-temporal images over the Amazon region. The stud...
Ramon Morais de Freitas, Reinaldo R. Rosa, Yosio E...
: The coefficients of individual agreement (CIA's), which are based on the ratio of the intra- and inter-observer disagreement, provide a general approach for evaluating agree...
Yi Pan, Jingjing Gao, Michael Haber, Huiman X. Bar...
A party may choose to reuse ephemeral public keys in a Diffie-Hellman key agreement protocol in order to reduce its computational workload or to mitigate against denial-of-service ...
We develop a new form of reweighting (Wainwright et al., 2005b) to leverage the relationship between Ising spin glasses and perfect matchings into a novel technique for the exact ...