740 search results - page 78 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
126
click to vote
HICSS
2007
IEEE
15 years 7 months ago
2007
IEEE
The Virtual Math Teams (VMT) project investigates the innovative use of online collaborative environments to support effective mathematical problem-solving by small groups of lear...
133
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: Predicting protein complexes from experimental data remains a challenge due to limited resolution and stochastic errors of high-throughput methods. Current algorithms ...
111
click to vote
INTERACT
2007
15 years 2 months ago
2007
Active Learning in the classroom domain presents an interesting case for integrating physical and digital affordances. Traditional physical handouts and transparencies are giving w...
103
click to vote
CHI
2010
ACM
15 years 4 months ago
2010
ACM
Constructive emotional experiences are strongly related to effective learning. Yet, it is challenging for teachers, researchers and students alike to understand the emotions exper...
HPDC
1998
IEEE
15 years 5 months ago
1998
IEEE
The Electronic Visualization Laboratory (EVL) at the University of Illinois at Chicago (UIC) has partnered with dozens of computational scientists and engineers to create visualiz...