Sciweavers

8009 search results - page 276 / 1602
» cans 2005
Sort
View
AML
2005
104views more  AML 2005»
15 years 6 months ago
Weak theories of linear algebra
Abstract. We investigate the theories LA, LAP, LAP of linear algebra, which were originally defined to study the question of whether commutativity of matrix inverses has polysize F...
Neil Thapen, Michael Soltys
APPML
2005
56views more  APPML 2005»
15 years 6 months ago
Hamiltonian restriction of Vlasov equations to rotating isopycnic and isentropic two-layer equations
A direct link between a Vlasov equation and the equations of motion of a rotating fluid with an effective pressure depending only on a pseudo-density is illustrated. In this direc...
Onno Bokhove
APPML
2005
55views more  APPML 2005»
15 years 6 months ago
Recovering a phylogenetic tree using pairwise closure operations
A fundamental task in evolutionary biology is the amalgamation of a collection P of leaf-labelled trees into a single parent tree. A desirable feature of any such amalgamation is ...
Katharina T. Huber, Vincent Moulton, Charles Sempl...
INFORMATICALT
2007
119views more  INFORMATICALT 2007»
15 years 6 months ago
Analysis and Improvements of Two Identity-Based Perfect Concurrent Signature Schemes
The notion of concurrent signatures was introduced by Chen, Kudla and Paterson in their seminal paper in Eurocrypt 2004. In concurrent signature schemes, two entities can produce t...
Zhenjie Huang, Kefei Chen, Xuanzhi Lin, Rufen Huan...
AR
2005
145views more  AR 2005»
15 years 6 months ago
Distinguishability and identifiability testing of contact state models
An important component of compliant motion control is the estimation of contact states during task execution. This paper addresses two fundamental questions that must be answered w...
Thomas Debus, Pierre E. Dupont, Robert D. Howe