5608 search results - page 16 / 1122 » On the Theory of Matchgate Computations |
101
click to vote
IGPL
2008
15 years 27 days ago
2008
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
IV
2010
IEEE
14 years 11 months ago
2010
IEEE
—This paper describes the application of Medieval and Renaissance color theory to the computer graphic rendering of molecular models. In particular, Alberti’s and Cennini’s c...
123
click to vote
QEST
2010
IEEE
14 years 11 months ago
2010
IEEE
Traditional architecture design approaches hide hardware uncertainties from the software stack through overdesign, which is often expensive in terms of power consumption. The recen...
123
click to vote
BIOCOMP
2009
14 years 11 months ago
2009
- Identification and annotation of all the functional elements in the genome, including genes and regulatory sequences, is a fundamental challenge in genomics and computational bio...
112
click to vote
CSCL
2010
14 years 8 months ago
2010
We implemented a five-week family program called Family Quest where parents and children ages 9 to 13 played Quest Atlantis, a multiuser 3D educational computer game, at a local af...