CORR
2008
Springer
13 years 5 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...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
Abstract. We generalize some of the central results in automata theory to the abstraction level of coalgebras and thus lay out the foundations of a universal theory of automata ope...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
CORR
2008
Springer
13 years 5 months ago
2008
Springer
We describe an extension to the TLA+ specification language with constructs for writing proofs and a proof environment, called the Proof Manager (PM), to checks those proofs. The ...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
Some new results about multidimensional Topological Persistence are presented, proving that the discontinuity points of a k-dimensional size function are necessarily related to the...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
Abstract-- A generalization of Arikan's polar code construction using transformations of the form Gn where G is an
CORR
2008
Springer
13 years 5 months ago
2008
Springer
We consider games played on finite graphs, whose goal is to obtain a trace belonging to a given set of winning traces. We focus on those states from which Player 1 cannot force a w...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
We consider linear precoding and decoding in the downlink of a multiuser multiple-input, multipleoutput (MIMO) system, wherein each user may receive more than one data stream. We ...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
CORR
2008
Springer
13 years 5 months ago
2008
Springer
We investigate the effects of user cooperation on the secrecy of broadcast channels by considering a cooperative relay broadcast channel. We show that user cooperation can increase...