7988 search results - page 1291 / 1598 » A Useful Undecidable Theory |
132
click to vote
ALGORITHMICA
2007
15 years 6 months ago
2007
This paper proposes the Protein Ensemble Method (PEM) to model equilibrium fluctuations in proteins where fragments of the protein polypeptide chain can move independently of one ...
182
click to vote
APAL
2010
15 years 6 months ago
2010
Locatedness is one of the fundamental notions in constructive mathematics. The existence of a positivity predicate on a locale, i.e. the locale being overt, or open, has proved to ...
201
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
We consider a discrete time state estimation problem over a packet-based network. In each discrete time step, a measurement packet is sent across a lossy network to an estimator u...
165
click to vote
COGSCI
2010
15 years 6 months ago
2010
What is the relationship between space and time in the human mind? Studies in adults show an asymmetric relationship between mental representations of these basic dimensions of ex...
196
click to vote
COGSCI
2010
15 years 6 months ago
2010
Symbols enable people to organize and communicate about the world. However, the ways in which symbolic knowledge is learned and then represented in the mind are poorly understood....