1249 search results - page 127 / 250 » Limitations of the Even-Mansour Construction |
CAGD
2008
15 years 1 months ago
2008
Following [KP07], we analyze surfaces arising as an infinite sequence of guided C2 surface rings. However, here we focus on constructions of too low a degree to be curvature conti...
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Compact categories have lately seen renewed interest via applications to quantum physics. Being essentially finite-dimensional, they cannot accomodate (co)limit-based con...
112
click to vote
ENTCS
2008
15 years 1 months ago
2008
This note is about work in progress on the topic of "internal type theory" where we investigate the internal formalization of the categorical metatheory of constructive ...
104
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
We consider the problem of constructing an erasure code for storage over a network when the data sources are distributed. Specifically, we assume that there are n storage nodes wit...
119
click to vote
ENTCS
2006
15 years 1 months ago
2006
We develop a domain theory for treating recursive types with respect to contextual equivalence. The principal approach taken here deviates from classical domain theory in that we ...