3552 search results - page 346 / 711 » Proof theory in the abstract |
205
click to vote
RECOMB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Perfection has been used as a criteria to select rearrangement scenarios since 2004. However, there is a fundamental bias towards extant species in the original definitio...
179
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract-- This paper is concerned with the theory of quasivelocities and its applications to control. The equations of motion of a mechanical system are derived using the Lagrange
SIAMMA
2010
15 years 1 months ago
2010
Abstract. We develop the theory of degenerate and nonlinear evolution systems in mixed formulation. It will be shown that many of the well-known results for the stationary problem ...
124
click to vote
SIAMMAX
2010
15 years 1 months ago
2010
Abstract. We discuss the notion of irreducible block Schur decomposition of a complex square matrix and show how such a decomposition provides information about singularities in th...
160
click to vote
TIT
2010
15 years 1 months ago
2010
Abstract. In this note we use Carlitz's lifting formula for Kloosterman sums and some results from the theory of cyclotomic fields to show that a Kloosterman sum over a finite...