10602 search results - page 375 / 2121 » Weakly Useful Sequences |
185
click to vote
CRYPTO
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents the first automatic technique for proving not only protocols but also primitives in the exact security computational model. Automatic proofs of cryptographic pr...
185
click to vote
IADIS
2003
15 years 8 months ago
2003
The World Wide Web is a collection of databases as well as web sites. Databases associated with web sites provide public access via query forms on web pages. They constitute an en...
178
click to vote
AR
2007
15 years 7 months ago
2007
—Reinforcement learning is the scheme for unsupervised learning in which robots are expected to acquire behavior skills through self-explorations based on reward signals. There a...
183
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Protein sumoylation is an essential dynamic, reversible post translational modification that plays a role in dozens of cellular activities, especially the regulation o...
123
click to vote
NAR
2006
15 years 6 months ago
2006
We present an online server that generates a 3D representation of properties of user-submitted RNA or DNA alignments. The visualized properties are information of single alignment...