3356 search results - page 485 / 672 » Computing education for sustainability |
222
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
In a frequency selective slow-fading channel in a MIMO system, the channel matrix is of the form of a block matrix. This paper proposes a method to calculate the limit of the eige...
192
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
We show that it is equivalent, for certain sets of finite graphs, to be definable in CMS (counting monadic second-order, a natural extension of monoadic second-order logic), and t...
176
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
: A good organization model of multiple mobile robot should be able to improve the efficiency of the system, reduce the complication of robot interactions, and detract the difficul...
188
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
We present in this paper a library to compute with Taylor models, a technique extending interval arithmetic to reduce decorrelation and to solve differential equations. Numerical s...
178
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Emergence--macro-level effects from micro-level causes--is at the heart of the conflict between reductionism and functionalism. How can there be autonomous higher level l...