2918 search results - page 252 / 584 » Design tools for reliability analysis |
149
click to vote
ENTCS
2008
15 years 5 months ago
2008
Deep inference is a proof theoretical methodology that generalizes the traditional notion of inference in the sequent calculus: in contrast to the sequent calculus, the deductive ...
185
click to vote
AI
2009
Springer
15 years 11 months ago
2009
Springer
Many complex, real world phenomena are difficult to study directly using controlled experiments. Instead, the use of computer simulations has become commonplace as a feasible alte...
148
click to vote
CW
2003
IEEE
15 years 10 months ago
2003
IEEE
Virtual reality technology is reported that the use of virtual reality(VR) as an educational tool can increase student interests, understanding and creative learning because of en...
164
Voted
TEDU
2008
15 years 5 months ago
2008
This paper presents a theoretical framework, which has been adopted in designing an on-line multi-player strategy game Europe 2045. Europe 2045 is an educational tool for high scho...
135
click to vote
HAPTICS
2006
IEEE
15 years 11 months ago
2006
IEEE
A seven degree-of-freedom (DOF) haptic device has been developed with applications towards robot-assisted minimally invasive surgery. The device consists of four degrees of force ...