Sciweavers

42 search results - page 2 / 9
» Quadratic Goldreich-Levin Theorems
Sort
View
CMSB
2011
Springer
12 years 5 months ago
Reversible structures
Reversible structures are computational units that may progress forward and backward. We study weak coherent structures that are primarily inspired by dna circuits and may be comp...
Luca Cardelli, Cosimo Laneve
DLT
2009
13 years 3 months ago
Closures in Formal Languages and Kuratowski's Theorem
A famous theorem of Kuratowski states that, in a topological space, at most 14 distinct sets can be produced by repeatedly applying the operations of closure and complement to a gi...
Janusz A. Brzozowski, Elyot Grant, Jeffrey Shallit
MLQ
2010
148views more  MLQ 2010»
13 years 3 months ago
Abelian groups and quadratic residues in weak arithmetic
We investigate the provability of some properties of abelian groups and quadratic residues in variants of bounded arithmetic. Specifically, we show that the structure theorem for...
Emil Jerábek
CDC
2010
IEEE
147views Control Systems» more  CDC 2010»
12 years 9 months ago
Partial pole placement with minimum norm controller
— The problem of placing an arbitrary subset (m) of the (n) closed loop eigenvalues of a nth order continuous time single input linear time invariant(LTI) system, using full stat...
Subashish Datta, Balarko Chaudhuri, Debraj Chakrab...
CORR
2008
Springer
94views Education» more  CORR 2008»
13 years 5 months ago
On the Weight Distribution of the Extended Quadratic Residue Code of Prime 137
The Hamming weight enumerator function of the formally self-dual even, binary extended quadratic residue code of prime p = 8m + 1 is given by Gleason's theorem for singly-eve...
Cen Tjhai, Martin Tomlinson, Marcel Ambroze, Moham...