Sciweavers

62 search results - page 10 / 13
» Toida's Conjecture is True
Sort
View
JSYML
1998
64views more  JSYML 1998»
13 years 7 months ago
Some Two-Cardinal Results for O-Minimal Theories
We examine two-cardinal problems for the class of O-minimal theories. We prove that an O-minimal theory which admits some (κ, λ) must admit every (κ , λ ). We also prove that ...
Timothy Bays
TCS
1998
13 years 7 months ago
Merit Factors and Morse Sequences
Abstract. We show that Turyn’s conjecture, arising from the Theory of Error Correcting Codes, has an equivalent formulation in Dynamical Systems Theory. In particular, Turyn’s ...
T. Downarowicz, Y. Lacroix
CIE
2009
Springer
14 years 2 months ago
First-Order Universality for Real Programs
J. Raymundo Marcial–Romero and M. H. Escard´o described onal programming language with an abstract data type Real for the real numbers and a non-deterministic operator rtest: Re...
Thomas Anberrée
COOPIS
2003
IEEE
14 years 27 days ago
A Fuzzy Model for Representing Uncertain, Subjective, and Vague Temporal Knowledge in Ontologies
Abstract. Time modeling is a crucial feature in many application domains. However, temporal information often is not crisp, but is uncertain, subjective and vague. This is particul...
Gábor Nagypál, Boris Motik
IGARSS
2009
13 years 5 months ago
Dependence of P-band Interferometric Height on Forest Parameters from Simulation and Observation
GeoSAR is a unique dual-band, interferometric SAR (DBInSAR) sensor capable of collecting single-pass, Xband (VV) and P-band (HH) interferometric data simultaneously. In this paper...
Marco Lavalle, Mark L. Williams, Scott Hensley, Er...