Sciweavers

478 search results - page 83 / 96
» Computational thinking and thinking about computing
Sort
View
CORR
2010
Springer
157views Education» more  CORR 2010»
13 years 7 months ago
Deriving Specifications of Dependable Systems: toward a Method
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
Manuel Mazzara
CORR
2008
Springer
102views Education» more  CORR 2008»
13 years 7 months ago
Offloading Cognition onto Cognitive Technology
: "Cognizing" (i.e., thinking, understanding, knowing, and having the capacity to do what cognizers can do) is a mental state. Systems without mental states, such as cogn...
Itiel E. Dror, Stevan Harnad
IJVR
2008
135views more  IJVR 2008»
13 years 7 months ago
A 3D Pedagogical Agent Enhanced Virtual Therapy System for People with Idiopathic Parkinson Disease
The prevalence of disordered communication is particularly high in individuals diagnosed with idiopathic Parkinson disease (IPD). At least 89% of these individuals have disordered ...
Jie Yan
IWC
2006
62views more  IWC 2006»
13 years 7 months ago
Clover: Connecting technology and character education using personally-constructed animated vignettes
Schools are increasingly integrating character education to facilitate improved moral thinking and pro social behavior among students. An effective method for delivering character...
Brian P. Bailey, Sharon Tettegah, Terry J. Bradley
JUCS
2006
109views more  JUCS 2006»
13 years 7 months ago
4M - Software for Modelling and Analysing Cropping Systems
: Models have played an important role in scientific research for a long time. The crop models try to simulate the functioning of the atmosphere-soil-plant system with the help of ...
Nándor Fodor