Sciweavers

650 search results - page 84 / 130
» On Coalgebras over Algebras
Sort
View
84
Voted
CORR
2010
Springer
129views Education» more  CORR 2010»
15 years 20 days ago
The complexity of positive first-order logic without equality
We study the complexity of evaluating positive equality-free sentences of first-order (FO) logic over a fixed, finite structure B. This may be seen as a natural generalisation of ...
Florent R. Madelaine, Barnaby Martin
TCOM
2008
155views more  TCOM 2008»
15 years 14 days ago
Construction of nonbinary cyclic, quasi-cyclic and regular LDPC codes: a finite geometry approach
This paper presents five methods for constructing nonbinary LDPC codes based on finite geometries. These methods result in five classes of nonbinary LDPC codes, one class of cyclic...
Lingqi Zeng, Lan Lan, Ying Yu Tai, Bo Zhou, Shu Li...
97
Voted
ACS
2002
15 years 13 days ago
Azumaya Categories
We define the notions of Azumaya category and Brauer group in category theory enriched over some very general base category V. We prove the equivalence of various definitions, in ...
Francis Borceux, Enrico Vitale
76
Voted
FSS
2010
112views more  FSS 2010»
14 years 11 months ago
Fuzzy sets and geometric logic
H¨ohle has identified fuzzy sets, valued in a frame (complete Heyting algebra) Ω, with certain sheaves over Ω: the subsheaves of constant sheaves More general sheaves can be...
Steven Vickers
90
Voted
STOC
2010
ACM
199views Algorithms» more  STOC 2010»
15 years 5 months ago
Zero-One Frequency Laws
Data streams emerged as a critical model for multiple applications that handle vast amounts of data. One of the most influential and celebrated papers in streaming is the “AMS...
Vladimir Braverman and Rafail Ostrovsky