4757 search results - page 176 / 952 » A Unique |
137
click to vote
NETWORK
2006
15 years 4 months ago
2006
In this article we present a survey of transport protocols for Wireless Sensor Networks (WSNs). We first highlight several unique aspects of WSNs, and describe the basic design cr...
126
click to vote
NJC
2006
15 years 4 months ago
2006
We axiomatize the congruence relation for binding bigraphs and prove that the generated theory is complete. In doing so, we define a normal form for binding bigraphs, and prove tha...
141
Voted
AMC
2005
15 years 4 months ago
2005
In this paper, a Fourier spectral method for numerically solving Cahn-Hilliard equation with periodic boundary conditions is developed. We establish their semi-discrete and fully d...
136
click to vote
SYNTHESE
2008
15 years 4 months ago
2008
The present paper offers some remarks on the significance of first order model theory for our understanding of theories, and more generally, for our understanding of the "stru...
105
click to vote
AML
2005
15 years 4 months ago
2005
A DO model (here also referred to a Paris model) is a model M of set theory all of whose ordinals are first order definable in M. Jeffrey Paris (1973) initiated the study of DO mo...