3356 search results - page 483 / 672 » Computing education for sustainability |
240
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent...
208
click to vote
EL
2008
15 years 7 months ago
2008
Research paper Purpose of this paper This paper describe an integrated hardware/software system based on Evolutionary Robotics and its application in Edutainment context. Design/me...
192
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
We study the MIMO broadcast channel and compare the achievable throughput for the optimal strategy of dirty paper coding to that achieved with sub-optimal and lower complexity lin...
202
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
The objective of this research is to analyse the ways members of open-source software communities participate in design. In particular we focus on how users of an Open Source (OS) ...
173
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, the result of applying iterative univariate resultant constructions to multivariate polynomials is analyzed. We consider the input polynomials as generic polynomials...