7289 search results - page 169 / 1458 » A Dependent Set Theory |
CSL
2006
Springer
13 years 12 months ago
2006
Springer
Abstract. Expansions of the natural number ordering by unary predicates are studied, using logics which in expressive power are located between first-order and monadic second-order...
ALIFE
1999
13 years 8 months ago
1999
Gaia theory, which states that organisms both affect and regulate their environment, poses an interesting problem to Neo-Darwinian evolutionary biologists and provides an exciting ...
TIT
2002
13 years 7 months ago
2002
We formulate quantum rate-distortion theory in the most general setting where classical side information is included in the tradeoff. Using a natural distortion measure based on en...
HYBRID
2010
Springer
13 years 6 months ago
2010
Springer
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
MDM
2009
Springer
14 years 2 months ago
2009
Springer
Mobile Ad-hoc NETworks (MANETs) are known to be vulnerable to a variety of attacks due to lack of central authority or fixed network infrastructure. Many security schemes have bee...