1915 search results - page 322 / 383 » Design and construction of organic computing systems |
180
click to vote
CSL
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...
176
click to vote
NAR
2006
15 years 6 months ago
2006
The PUMA2 system (available at http://compbio.mcs. 10 anl.gov/puma2) is an interactive, integrated bioinformatics environment for high-throughput genetic sequence analysis and met...
203
click to vote
AND
2010
15 years 3 months ago
2010
On the Internet, users often encounter noise in the form of spelling errors or unknown words, however, dishonest, unreliable, or biased information also acts as noise that makes i...
182
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
tigate the role of nondeterminism in Winfree's abstract Tile Assembly Model (aTAM), which was conceived to model artificial molecular self-assembling systems constructed from...
147
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
Despite general awareness of the importance of keeping one's system secure, and widespread availability of consumer security technologies, actual investment in security remai...