3552 search results - page 556 / 711 » Proof theory in the abstract |
162
click to vote
IJRR
2006
15 years 6 months ago
2006
ABSTRACT. We introduce tools from computational homology to verify coverage in an idealized sensor network. Our methods are unique in that, while they are coordinate-free and assum...
151
click to vote
JCC
2008
15 years 6 months ago
2008
Abstract: This article presents a novel concept, the minimal molecular surface (MMS), for the theoretical modeling of biomolecules. The MMS can be viewed as a result of the surface...
161
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This philosophical paper discusses the benefits of describing the world as information, especially in the study of the evolution of life and cognition. Traditional studi...
195
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract—The problem of hypothesis testing against independence for a Gauss–Markov random field (GMRF) is analyzed. Assuming an acyclic dependency graph, an expression for the...
166
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
This paper considers a developing theory on the effects of inevitable process variations during the fabrication of MEMS and other microsystems. The effects on the performance and ...