1000 search results - page 6 / 200 » order 2011 |
JSYML
2011
14 years 10 days ago
2011
We locate winning strategies for various Σ0 3-games in the L-hierarchy in order to prove the following:
IGPL
2011
14 years 4 months ago
2011
We show that the equational theory of representable lattice-ordered residuated semigroups is not finitely axiomatizable. We apply this result to the problem of completeness of su...
SIAMSC
2011
14 years 4 months ago
2011
We propose a numerical method to approximate the solution of second order elliptic problems in nonvariational form. The method is of Galerkin type using conforming finite elements...
SIAMNUM
2011
14 years 4 months ago
2011
We introduce a new mixed method for the biharmonic problem. The method is based on a formulation where the biharmonic problem is re-written as a system of four first-order equatio...
100
Voted
TWC
2011
14 years 4 months ago
2011
—This paper describes a new blind channel estimation algorithm for Space-Time Block Coded (STBC) systems. The proposed method exploits the statistical independence of sources bef...