Sciweavers

7404 search results - page 474 / 1481
» New Tools in Education
Sort
View
CORR
2007
Springer
116views Education» more  CORR 2007»
15 years 7 months ago
A presentation of Quantum Logic based on an "and then" connective
When a physicist performs a quantic measurement, new information about the system at hand is gathered. This presentation studies the logical properties of how this new information...
Daniel Lehmann
CORR
2007
Springer
92views Education» more  CORR 2007»
15 years 7 months ago
Bit-Interleaved Coded Multiple Beamforming with Imperfect CSIT
This paper addresses the performance of bit-interleaved coded multiple beamforming (BICMB) [1], [2] with imperfect knowledge of beamforming vectors. Most studies for limited-rate ...
Ersin Sengul, Ender Ayanoglu
CORR
2004
Springer
113views Education» more  CORR 2004»
15 years 7 months ago
A General Framework for Bounds for Higher-Dimensional Orthogonal Packing Problems
Higher-dimensional orthogonal packing problems have a wide range of practical applications, including packing, cutting, and scheduling. In the context of a branch-and-bound framewo...
Sándor P. Fekete, Jörg Schepers
CORR
2002
Springer
83views Education» more  CORR 2002»
15 years 7 months ago
Optimal Ordered Problem Solver
We introduce a general and in a certain sense time-optimal way of solving one problem after another, efficiently searching the space of programs that compute solution candidates, i...
Jürgen Schmidhuber
CORR
2011
Springer
206views Education» more  CORR 2011»
15 years 2 months ago
Arrangement Computation for Planar Algebraic Curves
We present a new certified and complete algorithm to compute arrangements of real planar algebraic curves. Our algorithm provides a geometric-topological analysis of the decompos...
Eric Berberich, Pavel Emeliyanenko, Alexander Kobe...