3356 search results - page 452 / 672 » Computing education for sustainability |
187
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
We introduce an embodied-interaction instructional design, the Mathematical Imagery Trainer (MIT), for helping young students develop grounded understanding of proportional equiva...
207
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
— This paper describes two tools that aim to support decision making during the migration of IT systems to the cloud. The first is a modeling tool that produces cost estimates of...
203
click to vote
SAC
2011
ACM
14 years 10 months ago
2011
ACM
Quadrotor helicopters are micro air vehicles with vertical take-off and landing capabilities controlled by varying the rotation speed of four fixed pitch propellers. Due to their...
231
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
Graphs are fundamental data structures and have been employed for centuries to model real-world systems and phenomena. Random walk with restart (RWR) provides a good proximity sco...
210
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. Let R be a real closed field and D ⊂ R an ordered domain. We give an algorithm that takes as input a polynomial Q ⊂ D[X1, . . . , Xk], and computes a description of ...