4328 search results - page 175 / 866 » A New Kind of Science |
175
click to vote
IFIPTCS
2000
15 years 10 months ago
2000
Over the years coding theory and complexity theory have benefited from a number of mutually enriching connections. This article focuses on a new connection that has emerged betwee...
130
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We give a detailed description of SymmSpin, a symmetryreduction package for Spin. It o ers four strategies for state-space reduction, based on the heuristic that we prese...
167
click to vote
FOCS
1995
IEEE
15 years 10 months ago
1995
IEEE
We establish a variety of combinatorial bounds on the tradeo s inherent in reconstructing strings using few rounds of a given number of substring queries per round. These results ...
128
click to vote
SOCRATES
2008
15 years 8 months ago
2008
In the university setting, e-learning courses represent a flexible resource that can tackle a range of difficulties pertaining to primary degree courses and post-graduate qualific...
140
click to vote
APVIS
2006
15 years 8 months ago
2006
This paper describes how to design a digital book for a new science called `Knowledge Science'. We prepare several types of navigation facilities for browsing the book. Speci...