The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Correctly discovering causal relations from healthcare information can help people to understand disease mechanisms and discover disease causes. In some cases, the healthcare data do not follow a multivariate Gaussian distribution. We design a new causal structure learning algorithm. The algorithm can effectively combines ideas from local learning with simultaneous equations models techniques. In...
This paper presents the architecture of a system for automatically assessing the answers of elementary algebra proving problems. The system parses the answer given by the student, which is written in Chinese, and constructs its corresponding formal proof in a theorem proving system. Then the correctness of the formal proof, which is the semantic of the original answer, can be verified in the theorem...
Montmorillonite, iron oxide and the composite, were synthesized and characterized. The behavior and kinetics of arsenic sorption on the three kinds of adsorbent were investigated under neutral conditions. The results indicated that the sorption capacities of iron oxide are higher than those of montmorillonite and composite. The kinetic data of arsenic adsorption can be well described by Lagergren-second-order...
Automatic assessment of proving problems is very important is mathematic e-learning systems. It accepts the answer of a proving problem, which can be written in a controlled natural language, and then translates it into a formal proof, e.g. in Isabelle/Isar. The correctness of the original answer is equivalent to that of the formal one obtained from the translation, which can be verified in a theorem...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.