Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
A Set of Metrics for Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in NBG Set Theory
Gao, Hongbiao, Goto, Yuichi, Cheng, Jingde
Published in Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques (01.01.2015)
Published in Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques (01.01.2015)
Get full text
Book Chapter
A Novel Complex-Events Analytical System Using Episode Pattern Mining Techniques
Tseng, Jerry C. C., Gu, Jia-Yuan, Wang, P. F., Chen, Ching-Yu, Tseng, Vincent S.
Published in Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques (01.01.2015)
Published in Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques (01.01.2015)
Get full text
Book Chapter
MAD: A Monitor System for Big Data Applications
Shi, Mingruo, Yuan, Ruiping
Published in Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques (01.01.2015)
Published in Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques (01.01.2015)
Get full text
Book Chapter
Application of TOPO to the Multistage Batch Process Optimization of Gardenia Extracts
Xu, Bing, Sun, Fei, Li, Jianyu, Cui, Xianglong, Shi, Xinyuan, Qiao, Yanjiang
Published in Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques (01.01.2015)
Published in Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques (01.01.2015)
Get full text
Book Chapter
Study on Prediction Method of Quality Uncertainty in the Textile Processing Based on Data
Shao, Jingfeng, Wang, Jinfu, Bai, Xiaobo, Liu, Yong, Liu, Congying, Ma, Xiaohong
Published in Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques (01.01.2015)
Published in Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques (01.01.2015)
Get full text
Book Chapter
Predicting Drug-Target Interactions Between New Drugs and New Targets via Pairwise K-nearest Neighbor and Automatic Similarity Selection
Shi, Jian-Yu, Li, Jia-Xin, Lu, Hui-Meng, Zhang, Yong
Published in Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques (2015)
Published in Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques (2015)
Get full text
Book Chapter