7404 search results - page 438 / 1481 » New Tools in Education |
170
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract We investigate here a new version of the Calculus of Inductive Constructions (CIC) on which the proof assistant Coq is based: the Calculus of Congruent Inductive Construct...
166
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Commutative Replicated Data-Type (CRDT) is a new class of algorithms that ensures scalable consistency of replicated data. It has been successfully applied to collaborati...
152
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We derive the capacity region of the Gaussian version of Willems's two-user MAC with conferencing encoders. This setting differs from the classical MAC in that, prior to each ...
118
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Thermal micro-actuators are a promising solution to the need for large-displacement, gentle handling force, low-power MEMS actuators. Potential applications of these devices are mi...
186
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Lossy transmission over a relay channel in which the relay has access to correlated side information is considered. First, a joint source-channel decode-and-forward scheme is propo...