We give a uniform type-systematic account of a number of optimizations and the underlying analyses for a bytecode-like stack-based low-level language, including analysis soundness...
In this paper we describe a simple protocol for secure delegation of the elliptic-curve pairing. A computationally limited device (typically a smart-card) will delegate the computa...
Abstract: Inner products of the type f, g S = f, g ψ0 + f , g ψ1 , where one of the measures ψ0 or ψ1 is the measure associated with the Jacobi polynomials, are usually referre...
Eliana X. L. de Andrade, Cleonice F. Bracciali, La...
Background: Empirical scoring functions have proven useful in protein structure modeling. Most such scoring functions depend on protein side chain conformations. However, backbone...
Latent relational search is a new search paradigm based on the degree of analogy between two word pairs. A latent relational search engine is expected to return the word Paris as a...