8874 search results - page 250 / 1775 » A New Implementation of Automath |
161
click to vote
ISBI
2011
IEEE
14 years 8 months ago
2011
IEEE
Caenorhabditis elegans is an important model organism for the study of molecular mechanisms of development and disease processes, due to its well-known genome and invariant cell l...
227
click to vote
AICT
2010
IEEE
14 years 8 months ago
2010
IEEE
— Several research groups are working on designing new security architectures for 4G networks such as Hokey and Y-Comm. Since designing an efficient security module requires a cl...
169
click to vote
EUROCRYPT
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. We describe efficient formulas for computing pairings on ordinary elliptic curves over prime fields. First, we generalize lazy reduction techniques, previously considere...
200
click to vote
PROCEDIA
2011
14 years 7 months ago
2011
A new challenge in scientific computing is to merge existing simulation models to create new higher fidelity combined (often multi-level) models. While this challenge has been a...
143
click to vote
CIKM
2011
Springer
14 years 4 months ago
2011
Springer
Many large-scale Web applications that require ranked top-k retrieval are implemented using inverted indices. An inverted index represents a sparse term-document matrix, where non...