61
“...This easy-to-follow textbook is the second of three volumes which provide a modern, algorithmic...”
احصل على النص الكامل
احصل على النص الكامل
Livro
62
“.... The HapScope analysis pipeline supports: (i) computational haplotype construction with an expectation...”
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
Artigo
63
بواسطة Bendík, Jaroslav, Černá, Ivana
الحاوية / القاعدة Tools and Algorithms for the Construction and Analysis of Systems (2020)
“... be intractable. Therefore, we focus on algorithms that enumerate MUSes online, i.e. one by one, and thus can find...”الحاوية / القاعدة Tools and Algorithms for the Construction and Analysis of Systems (2020)
احصل على النص الكامل
احصل على النص الكامل
Artigo
64
بواسطة Dixon, Alex, Lazić, Ranko
الحاوية / القاعدة Tools and Algorithms for the Construction and Analysis of Systems (2020)
“... tool, and acts as an effective teaching aid for the theory behind the algorithm. Preliminary tests...”الحاوية / القاعدة Tools and Algorithms for the Construction and Analysis of Systems (2020)
احصل على النص الكامل
احصل على النص الكامل
Artigo
65
بواسطة Woodman, M. Marmaduke, Pezard, Laurent, Domide, Lia, Knock, Stuart A., Sanz-Leon, Paula, Mersmann, Jochen, McIntosh, Anthony R., Jirsa, Viktor
منشور في 2014
“..., systems, and theoretical neuroscience in the analysis, visualization and modeling of neural...”منشور في 2014
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
Artigo
66
67
بواسطة Naderi, Misagh, Lemoine, Jeffrey Mitchell, Govindaraj, Rajiv Gandhi, Kana, Omar Zade, Feinstein, Wei Pan, Brylinski, Michal
الحاوية / القاعدة Brief Bioinform (2018)
“... are divided into five categories based on the algorithm implemented to construct binding-site alignments...”الحاوية / القاعدة Brief Bioinform (2018)
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
Artigo
68
69
70
بواسطة Tianhang Chen, Xiangeng Wang, Xiangeng Wang, Yanyi Chu, Yanyi Chu, Yanjing Wang, Mingming Jiang, Dong-Qing Wei, Dong-Qing Wei, Yi Xiong
منشور في 2020-09-01
الموضوعات:
“...interpretable analysis...”منشور في 2020-09-01
احصل على النص الكامل
Artigo
71
“... the main features of the object of the system approach; regulation time parameters; wood construction...”
احصل على النص الكامل
احصل على النص الكامل
Artigo
72
بواسطة Scott, Joseph, Niemetz, Aina, Preiner, Mathias, Nejati, Saeed, Ganesh, Vijay
الحاوية / القاعدة Tools and Algorithms for the Construction and Analysis of Systems (2021)
“...In this paper, we present MachSMT, an algorithm selection tool for Satisfiability Modulo Theories...”الحاوية / القاعدة Tools and Algorithms for the Construction and Analysis of Systems (2021)
احصل على النص الكامل
احصل على النص الكامل
Artigo
73
بواسطة Gorostiaga, Felipe, Sánchez, César
الحاوية / القاعدة Tools and Algorithms for the Construction and Analysis of Systems (2021)
“...We present HLola, an extensible Stream Runtime Verification (SRV) tool, that borrows from...”الحاوية / القاعدة Tools and Algorithms for the Construction and Analysis of Systems (2021)
احصل على النص الكامل
احصل على النص الكامل
Artigo
74
بواسطة Sotoudeh, Matthew, Thakur, Aditya V.
الحاوية / القاعدة Tools and Algorithms for the Construction and Analysis of Systems (2021)
“... of the input space, a unique design point in the space of DNN analysis tools. We describe the tool...”الحاوية / القاعدة Tools and Algorithms for the Construction and Analysis of Systems (2021)
احصل على النص الكامل
احصل على النص الكامل
Artigo
75
بواسطة Darke, Priyanka, Agrawal, Sakshi, Venkatesh, R.
الحاوية / القاعدة Tools and Algorithms for the Construction and Analysis of Systems (2021)
“... algorithm of VeriAbs is applied to each slice. The verification results of each slice are then composed...”الحاوية / القاعدة Tools and Algorithms for the Construction and Analysis of Systems (2021)
احصل على النص الكامل
احصل على النص الكامل
Artigo
76
بواسطة Gärtner, Fabian, Höner zu Siederdissen, Christian, Müller, Lydia, Stadler, Peter F.
الحاوية / القاعدة Algorithms Mol Biol (2018)
“... for methods supporting comparative, evolutionary analysis is also growing. In particular, efficient tools...”الحاوية / القاعدة Algorithms Mol Biol (2018)
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
Artigo
77
78
بواسطة Yepiskoposyan, Hasmik, Talikka, Marja, Vavassori, Stefano, Martin, Florian, Sewer, Alain, Gubian, Sylvain, Luettich, Karsta, Peitsch, Manuel Claude, Hoeng, Julia
الحاوية / القاعدة Front Genet (2019)
“..., the airway surface liquid layer, and the beating of cilia of ciliated cells, is the airways’ defense system...”الحاوية / القاعدة Front Genet (2019)
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
Artigo
79
“... tool that scans the surface with high spatial resolution and allows for the removal of vegetation cover...”
احصل على النص الكامل
احصل على النص الكامل
Artigo
80
“... tool that scans the surface with high spatial resolution and allows for the removal of vegetation cover...”
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
Artigo


