Sciweavers

8810 search results - page 376 / 1762
» Openness
Sort
View
BMCBI
2005
196views more  BMCBI 2005»
15 years 6 months ago
Chemistry in Bioinformatics
Chemical information is now seen as critical for most areas of life sciences. But unlike Bioinformatics, where data is Openly available and freely re-usable, most chemical informa...
Peter Murray-Rust, John B. O. Mitchell, Henry S. R...
IACR
2011
134views more  IACR 2011»
14 years 6 months ago
Concise Vector Commitments and their Applications to Zero-Knowledge Elementary Databases
Zero knowledge sets (ZKS) [18] allow a party to commit to a secret set S and then to, non interactively, produce proofs for statements such as x ∈ S or x /∈ S. As recognized in...
Dario Catalano, Dario Fiore
ICIP
2008
IEEE
16 years 8 months ago
Semiautomatic non-rigid 3-D image registration for MR-Guided Liver Cancer Surgery
Recently a growing interest has been seen in minimally invasive treatments with open configuration magnetic resonance (Open-MR) scanners. In this paper, we proposed a semi-automat...
Yen-Wei Chen, Katsumi Tsubokawa, Rui Xu, Shigehiro...
STOC
2009
ACM
146views Algorithms» more  STOC 2009»
16 years 7 months ago
Conditional hardness for satisfiable 3-CSPs
In this paper we study a fundamental open problem in the area of probabilistic checkable proofs: What is the smallest s such that NP naPCP1,s[O(log n), 3]? In the language of har...
Ryan O'Donnell, Yi Wu
CHI
2009
ACM
16 years 7 months ago
Leveraging open-source software in the design and development process
This paper presents a case study of the NASA Ames Research Center HCI Group's design and development of a problem reporting system for NASA's next generation vehicle (to...
Collin Green, Irene Tollinger, Christian Ratterman...