5909 search results - page 974 / 1182 » Information Sharing Communities |
176
click to vote
DLOG
2009
15 years 4 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...
211
click to vote
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
Protecting users' privacy is becoming one of the rising issues for the success of future communications. The Internet in particular, with its open architecture, presents sever...
174
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: The opportunities for bacterial population genomics that are being realised by the application of parallel nucleotide sequencing require novel bioinformatics platforms...
161
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
After two decades of repository development, some conclusions may be drawn as to which type of repository and what kind of service best supports digital scholarly communication, a...
226
click to vote
DEBU
2010
15 years 4 months ago
2010
We consider the requirements that a citation system must fulfill in order to cite structured and evolving data sets. Such a system must take into account variable granularity, con...