Sciweavers

1730 search results - page 119 / 346
» Algebra and Computation
Sort
View
80
Voted
FAC
2008
92views more  FAC 2008»
15 years 24 days ago
Capture-avoiding substitution as a nominal algebra
Substitution is fundamental to the theory of logic and computation. Is substitution something that we define on syntax on a case-by-case basis, or can we turn the idea of substitut...
Murdoch James Gabbay, Aad Mathijssen
CORR
2010
Springer
156views Education» more  CORR 2010»
15 years 25 days ago
On CSP and the Algebraic Theory of Effects
We consider CSP from the point of view of the algebraic theory of effects, which classifies operations as effect constructors and effect deconstructors; it also provides a link wit...
Rob J. van Glabbeek, Gordon D. Plotkin
78
Voted
DCC
2005
IEEE
16 years 10 days ago
On Goppa Codes and Weierstrass Gaps at Several Points
We generalize results of Homma and Kim [2001, J. Pure Appl. Algebra 162, 273?290] concerning an improvement on the Goppa bound on the minimum distance of certain Goppa codes.
Cícero Carvalho, Fernando Torres
86
Voted
FOCS
1990
IEEE
15 years 4 months ago
Matrix Decomposition Problem Is Complete for the Average Case
The first algebraic average-case complete problem is presented. It is arguably the simplest natural average-case complete problem to date.
Yuri Gurevich
75
Voted
POLICY
2007
Springer
15 years 6 months ago
Data-Purpose Algebra: Modeling Data Usage Policies
Data is often encumbered by restrictions on the ways in which it may be used. These restrictions on usage may be determined by statute, by contract, by custom, or by common decenc...
Chris Hanson, Tim Berners-Lee, Lalana Kagal, Geral...