Title of article :
Proving theorems by reuse
Author/Authors :
Walther، Christoph نويسنده , , Kolbe، Thomas نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2000
Pages :
-16
From page :
17
To page :
0
Abstract :
Neodymium was extracted and isotopically fractionated in the liquidliquid extraction using a crown ether of dicyclohexano-18-crown-6. The maximum value in isotope enrichment factor was observed on the isotope pair (142)Nd-(150)Nd, and was epsilon(142,150)= 0.00084±0.00009: this was 0.00011±0.00001 in terms of the unit mass enrichment factor. The isotope enrichment factors showed breakdown of the conventional mass-dependent theory. We presented the advanced theory by use of the nuclear size and shape effect and the nuclear spin effect. The field shift effect was proved to give larger contribution than the nuclear mass effect. The predominance of the field shift effect in this study agreed with our previous studies on samarium and gadolinium.
Keywords :
Deduction and theorem proving , Machine learning , Knowledge representation , analogy , Abstraction , Reuse , Problem solving and search
Journal title :
ARTIFICIAL INTELLIGENCE (NON MEMBERS) (AI)
Serial Year :
2000
Journal title :
ARTIFICIAL INTELLIGENCE (NON MEMBERS) (AI)
Record number :
48047
Link To Document :
بازگشت