11063 search results - page 1 / 2213 » On the existence of universal models |
APAL
2006
13 years 7 months ago
2006
We introduce the oak property of first order theories, which is a syntactical condition that we show to be sufficient for a theory not to have universal models in cardinality whe...
AML
2004
13 years 7 months ago
2004
GCC
2007
Springer
14 years 1 months ago
2007
Springer
The purpose of grid technology is to integrate various heterogeneous resources together to provide huge computation and storage capacity for users transparently. However, current ...
CORR
1998
Springer
13 years 7 months ago
1998
Springer
It is argued that colour name strategy, object name strategy, and chunking strategy in memory are all aspects of the same general phenomena, called stereotyping, and this in turn ...
ACNS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We examine the use of randomness extraction and expansion in key agreement (KA) protocols to generate uniformly random keys in the standard model. Although existing works...