20573 search results - page 345 / 4115 » The Computer's New Clothes |
156
Voted
APAL
2007
15 years 7 months ago
2007
Based on a result of Nies on definability the upper semilattice of computably enumerable degrees (denoted by R), we find that in R filters generated by definable subsets are al...
217
click to vote
BIODATAMINING
2008
15 years 7 months ago
2008
This editorial introduces BioData Mining, a new journal which publishes research articles related to advances in computational methods and techniques for the extraction of useful ...
201
click to vote
AMC
2006
15 years 6 months ago
2006
This paper presents a new Lambda-Boolean reduction machine for Lambda-Boolean and Lambda-Beta Boolean reductions in the context of Lambda Calculus and introduces the role of Churc...
204
click to vote
ECCC
2006
15 years 6 months ago
2006
We prove a number of general theorems about ZK, the class of problems possessing (computational) zero knowledge proofs. Our results are unconditional, in contrast to most previous...
178
Voted
BMCBI
2010
15 years 7 months ago
2010
Background: Protein-protein interactions are fundamental for the majority of cellular processes and their study is of enormous biotechnological and therapeutic interest. In recent...