64 search results - page 11 / 13 » Equational Axioms of Test Algebra |
ISPA
2004
Springer
14 years 27 days ago
2004
Springer
HPL is a parallel Linpack benchmark package widely adopted in massive cluster system performance test. On HPL data layout among processors, a law to determine block size NB theoret...
TPHOL
2007
IEEE
14 years 1 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
ITS
2010
Springer
14 years 9 days ago
2010
Springer
The purpose of the current study was to test whether we could create a system where students can learn by teaching a live machine-learning agent. SimStudent is a computer agent tha...
AIED
2011
Springer
2011
Springer
Learning by Teaching SimStudent - An Initial Classroom Baseline Study Comparing with Cognitive Tutor
12 years 11 months ago
: This paper describes an application of a machine-learning agent, SimStudent, as a teachable peer learner that allows a student to learn by teaching. SimStudent has been integrate...
SIAMSC
2010
13 years 5 months ago
2010
Magnetohydrodynamics (MHD) is a fluid theory that describes Plasma Physics by treating the plasma as a fluid of charged particles. Hence, the equations that describe the plasma f...