5205 search results - page 228 / 1041 » Tilings and model theory |
CORR
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Continuous first-order logic is used to apply model-theoretic analysis to analytic structures (e.g. Hilbert spaces, Banach spaces, probability spaces, etc.). Classical co...
ENVSOFT
2006
13 years 10 months ago
2006
: Since Keynes (1930) and Hicks (1939) propounded their theory of normal backwardation, the issue of whether hedgers must pay speculators an insurance premium has remained controve...
JCO
2007
13 years 10 months ago
2007
The problem of radio channel assignments with multiple levels of interference can be modelled using graph theory. The theory of integer vertex-labellings of graphs with distance c...
AML
2002
13 years 10 months ago
2002
Using a slight generalization, due to Palmgren, of sheaf semantics, we present a term-model construction that assigns a model to any first-order intuitionistic theory. A modificat...
JCB
2000
13 years 10 months ago
2000
We study the problem of similarity detection by sequence alignment with gaps, using a recently established theoretical framework based on the morphology of alignment paths. Alignm...