1716 search results - page 149 / 344 » Proving Conditional Termination |
IJBC
2007
15 years 3 months ago
2007
In this paper we study the nonchaotic and chaotic behavior of all 3D conservative quadratic ODE systems with five terms on the right-hand side and one nonlinear term (5-1 systems...
126
click to vote
TOCL
2008
15 years 3 months ago
2008
fragment enjoys suitable noetherianity conditions and admits an abstract version of a `KeislerShelah like' isomorphism theorem. We show that this general decidability transfer...
CORR
2004
Springer
15 years 3 months ago
2004
Springer
The dependence of the Gaussian input information rate on the line-of-sight (LOS) matrix in multiple-input multiple-output (MIMO) coherent Rician fading channels is explored. It is ...
127
click to vote
COMBINATORICS
1998
15 years 2 months ago
1998
A circulant graph G of order n is a Cayley graph over the cyclic group Zn. Equivalently, G is circulant iff its vertices can be ordered such that the corresponding adjacency matr...
131
click to vote
FSTTCS
2010
Springer
15 years 1 months ago
2010
Springer
This paper describes a project that aims at showing that propositional proofs of certain tautologies in weak proof system give upper bounds on the computational complexity of func...