8874 search results - page 374 / 1775 » A New Implementation of Automath |
302
click to vote
ACISP
2011
Springer
14 years 10 months ago
2011
Springer
We propose a generic three-pass key agreement protocol that is based on a certain kind of trapdoor one-way function family. When specialized to the RSA setting, the generic protoco...
297
click to vote
BIOINFORMATICS
2011
14 years 10 months ago
2011
Summary: We developed a Python package, ProDy, for structurebased analysis of protein dynamics. ProDy allows for quantitative characterization of structural variations in heteroge...
211
click to vote
CCGRID
2011
IEEE
14 years 10 months ago
2011
IEEE
Many large-scale distributed computing applications demand real-time responses by soft deadlines. To enable such real-time task distribution and execution on the volunteer resourc...
241
click to vote
CGF
2011
14 years 10 months ago
2011
We present a method for calculating the boundary of objects from Discrete Indicator Functions that store 2material volume fractions with a high degree of accuracy. Although Marchi...
178
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
Reading is increasingly being performed interactively on-screen; for instance, new novels are now routinely released in electronic format for viewing on PCs and mobile devices. Un...