Learn More
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)
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)