101
由 Shao, Chen, Li, Menglin, Li, Xundou, Wei, Lilong, Zhu, Lisi, Yang, Fan, Jia, Lulu, Mu, Yi, Wang, Jiangning, Guo, Zhengguang, Zhang, Dan, Yin, Jianrui, Wang, Zhigang, Sun, Wei, Zhang, Zhengguo, Gao, Youhe
出版 2011
“... analysis algorithms may be influencing factors. Biomarkers identified from animal models also overlapped...”出版 2011
獲取全文
獲取全文
獲取全文
Artigo
102
103
104
105
由 Liu, Jingkun, Wang, Linbang, Wang, Wenjun, Li, Yaping, Jia, Xiaoli, Zhai, Song, Shi, Juan, Dang, Shuangsuo
發表在 Mol Med Rep (2016)
“... analysis of microarray algorithm. The top 50 genes, including IRS1/2, were used as target genes...”發表在 Mol Med Rep (2016)
獲取全文
獲取全文
獲取全文
Artigo
106
107
由 Neele, Thomas, Willemse, Tim A. C., Wesselink, Wieger
發表在 Tools and Algorithms for the Construction and Analysis of Systems (2020)
“... to, and implemented for the fixed point logic called parameterised Boolean equation systems, which provides a high...”發表在 Tools and Algorithms for the Construction and Analysis of Systems (2020)
獲取全文
獲取全文
Artigo
108
由 Amouzegar, Mahyar.
出版 2010.
“... decision making, Knowledge-based systems, Knowledge extraction, Data analysis tools, Computational biology...”出版 2010.
獲取全文
Livro
109
由 International Interdisciplinary Chaos Symposium, Stavrinides, Stavros G., Banerjee, Santo., Caglar, Suleyman Hikmet., Ozer, Mehmet.
出版 2013.
“... scientists with a motivation to pursue general theoretical tools and frameworks. Complex systems give rise...”出版 2013.
獲取全文
Livro
110
由 Kápl, Roman, Parízek, Pavel
發表在 Tools and Algorithms for the Construction and Analysis of Systems (2020)
“... misinterpretation of numeric data values. We present Endicheck, a dynamic analysis tool for detecting endianness...”發表在 Tools and Algorithms for the Construction and Analysis of Systems (2020)
獲取全文
獲取全文
Artigo
111
112
由 Lu, Qiang, Hao, Pei, Curcin, Vasa, He, Weizhong, Li, Yuan-Yuan, Luo, Qing-Ming, Guo, Yi-Ke, Li, Yi-Xue
發表在 J Biomed Inform (2006)
“...Bioinformatics is a dynamic research area in which a large number of algorithms and programs have...”發表在 J Biomed Inform (2006)
獲取全文
獲取全文
獲取全文
Artigo
113
114
115
“... of the Learning Classi?er Systems (LCS) community. The topics range from theoretical analysis of mechanisms...”
獲取全文
獲取全文
Livro
116
“... for data analysis, upon which, data mining model based on the Naïve Bayes algorithm is constructed...”
獲取全文
獲取全文
Artigo
117
“...This self-contained book develops theory and algorithms leading to systematic sequence design...”
獲取全文
獲取全文
Livro
118
由 Andrianov, Pavel, Mutilin, Vadim, Khoroshilov, Alexey
發表在 Tools and Algorithms for the Construction and Analysis of Systems (2021)
“... of the projections, one can find a balance between the speed and the precision of the whole analysis. Implementation...”發表在 Tools and Algorithms for the Construction and Analysis of Systems (2021)
獲取全文
獲取全文
Artigo
119
由 Palmskog, Karl, Celik, Ahmet, Gligoric, Milos
發表在 Tools and Algorithms for the Construction and Analysis of Systems (2020)
“... system, and are used as part of many program analysis techniques and tools, e.g., in regression test...”發表在 Tools and Algorithms for the Construction and Analysis of Systems (2020)
獲取全文
獲取全文
Artigo
120
由 Hahn, Ernst Moritz, Perez, Mateo, Schewe, Sven, Somenzi, Fabio, Trivedi, Ashutosh, Wojtczak, Dominik
發表在 Tools and Algorithms for the Construction and Analysis of Systems (2020)
“... for the analysis of finite Markov decision processes (MDPs). We call these automata ‘good-for-MDPs’ (GFM). We show...”發表在 Tools and Algorithms for the Construction and Analysis of Systems (2020)
獲取全文
獲取全文
Artigo