Automated simplification of trigonometric expressions is an important problem that hasn't been completely solved by current computer algebra systems. This paper presents a number of unique prescriptions for the ordering of some trigonometric transformation rules, which have been derived by observing how human experts follow their intuitive rules. We have… (More)
This paper presents research work conducted at Chinese Academy of Sciences, on the Vega Grid technology and dynamic geometry technology, and how the two can integrate to provide a dynamic geometry education system based on grid technology.
An intelligent tutoring system plays vital role in education and its importance is constantly increasing, meanwhile the key challenge in the teaching learning process is assessing students' learning efficiently. In this paper, a hybrid assessment based-on ACT-R cognitive learning theory, combining ontology knowledge map with skills is proposed. In order to… (More)
The aim of the study reported here was to evaluate whether the mitochondrial ATP-sensitive potassium (mitoKATP) channel could participate in the effect of dexmedetomidine on cerebral ischemia-reperfusion (I/R) rats. Forty rats were randomly assigned into 5 groups: sham operation (S) group; cerebral I/R group; dexmedetomidine (D) group; 5-hydroxydecanoate… (More)
An interactive intelligent learning system in mathematics is the trend of educational technology, where users can practice homework problems and take practice tests online. However, developing such a desirable online environment is still an open research area and far from perfect. In this paper, we will present a Mathematics Intelligent Learning Environment… (More)