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
DeepTF: Accurate Prediction of Transcription Factor Binding Sites by Combining Multi-scale Convolution and Long Short-Term Memory Neural Network
Bao, Xiao-Rong, Zhu, Yi-Heng, Yu, Dong-Jun
Published in Intelligence Science and Big Data Engineering. Big Data and Machine Learning (2019)
Published in Intelligence Science and Big Data Engineering. Big Data and Machine Learning (2019)
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