649 search results - page 46 / 130 » Enabling Public Discourse |
NAR
2011
12 years 10 months ago
2011
The Protein Circular Dichroism Data Bank (PCDDB) is a public repository that archives and freely distributes circular dichroism (CD) and synchrotron radiation CD (SRCD) spectral d...
IACR
2011
12 years 7 months ago
2011
At PKC 2010 Smart and Vercauteren presented a variant of Gentry’s fully homomorphic public key encryption scheme and mentioned that the scheme could support SIMD style operations...
JCP
2006
13 years 7 months ago
2006
Emerging wireless technologies enable ubiquitous access to networked services. Integration of wireless technologies into sensor and actuator nodes provides the means for remote acc...
CHI
2003
ACM
14 years 8 months ago
2003
ACM
We demonstrate two complementary interaction techniques for electronic large displays that are designed for cameraequipped mobile phones. The first one enables the direct selectio...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...