54 search results - page 4 / 11 » On Approximating the Entropy of Polynomial Mappings |
ISSAC
2004
Springer
14 years 14 days ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
PKC
2009
Springer
14 years 7 months ago
2009
Springer
TCHo is a public key encryption scheme based on a stream cipher component, which is particular suitable for low cost devices like RFIDs. In its basic version, TCHo offers no IND-CC...
MFCS
2005
Springer
14 years 18 days ago
2005
Springer
In the maximum solution equation problem a collection of equations are given over some algebraic structure. The objective is to find an assignment to the variables in the equation...
ICASSP
2011
IEEE
12 years 10 months ago
2011
IEEE
Estimation of the amounts of target molecules in realtime affinity-based biosensors is studied. The problem is mapped to inferring the parameters of a temporally sampled diffusio...
IWANN
2005
Springer
14 years 18 days ago
2005
Springer
Based on the Nystr¨om approximation and the primal-dual formulation of Least Squares Support Vector Machines (LS-SVM), it becomes possible to apply a nonlinear model to a large sc...