81
af Bruggink, H. J. Sander, König, Barbara, Matjeka, Marleen, Nolte, Dennis, Stoltenow, Lars
Udgivet i Graph Transformation (2020)
“... especially for the main algorithms. Existing tools that demonstrate the versatility and ease of use...”Udgivet i Graph Transformation (2020)
Få fuldtekst
Få fuldtekst
Artigo
82
af Zhang, Hang, Xie, Ziyang, Yang, Yuwen, Zhao, Yizhen, Zhang, Bao, Fang, Jing
Udgivet i Biomed Res Int (2017)
“...Microarray analysis of gene expression is often used to diagnose different types of disease. Many...”Udgivet i Biomed Res Int (2017)
Få fuldtekst
Få fuldtekst
Få fuldtekst
Artigo
83
“... systems. It covers a broad spectrum of problems and applications based on internet and communications...”
Få fuldtekst
Få fuldtekst
Livro
84
“... Systems -- Agents and Multiagent Systems -- Analysis of Emergent Properties in a Hybrid Bio-inspired...”
Få fuldtekst
Få fuldtekst
Livro
85
“... for the development of the proposed algorithm. Based on this structure, a prototype marker set is constructed...”
Få fuldtekst
Få fuldtekst
Få fuldtekst
Få fuldtekst
Få fuldtekst
Få fuldtekst
Artigo
86
af He, Tingshan, Huang, Liwen, Li, Jing, Wang, Peng, Zhang, Zhiqiao
Udgivet i Front Med (Lausanne) (2021)
“... algorithms are helpful for improving the accuracy of prediction models of tumour prognosis. The current...”Udgivet i Front Med (Lausanne) (2021)
Få fuldtekst
Få fuldtekst
Få fuldtekst
Artigo
87
af Blondin, Michael, Haase, Christoph, Offtermatt, Philip
Udgivet i Tools and Algorithms for the Construction and Analysis of Systems (2021)
“...Numerous tasks in program analysis and synthesis reduce to deciding reachability in possibly...”Udgivet i Tools and Algorithms for the Construction and Analysis of Systems (2021)
Få fuldtekst
Få fuldtekst
Artigo
88
af Davis, S. Scott, Williford, Michael L., Isenburg, Scott, Klopman, Matthew, Sweeney, John F., Boden, Scott D.
Udgivet i Surg Endosc (2020)
“... resources are daily considerations in healthcare systems that have never experienced these issues before...”Udgivet i Surg Endosc (2020)
Få fuldtekst
Få fuldtekst
Få fuldtekst
Artigo
89
af Bornat, Richard, Boender, Jaap, Kammueller, Florian, Poly, Guillaume, Nagarajan, Rajagopal
Udgivet i Tools and Algorithms for the Construction and Analysis of Systems (2020)
“...We present a programming language for describing and analysing concurrent quantum systems. We have...”Udgivet i Tools and Algorithms for the Construction and Analysis of Systems (2020)
Få fuldtekst
Få fuldtekst
Artigo
90
af Akshay, S., Gastin, Paul, Krishna, S, Roychowdhury, Sparsa
Udgivet i Tools and Algorithms for the Construction and Analysis of Systems (2020)
“... underapproximations for multi-pushdown systems, which subsumes most existing classes. We develop an efficient...”Udgivet i Tools and Algorithms for the Construction and Analysis of Systems (2020)
Få fuldtekst
Få fuldtekst
Artigo
91
af Cankorur-Cetinkaya, Ayca, Dias, Joao M. L., Kludas, Jana, Slater, Nigel K. H., Rousu, Juho, Oliver, Stephen G., Dikicioglu, Duygu
Udgivet i Microbiology (Reading) (2017)
“... analysis and exploitation of the biotechnological system. We have addressed these problems and, here...”Udgivet i Microbiology (Reading) (2017)
Få fuldtekst
Få fuldtekst
Få fuldtekst
Artigo
92
93
af Zhang, Wen, Niu, Yanqing, Zou, Hua, Luo, Longqiang, Liu, Qianchao, Wu, Weijian
Udgivet i PLoS One (2015)
“... vaccines and understanding the immune system. METHODS: In this paper, we attempt to differentiate...”Udgivet i PLoS One (2015)
Få fuldtekst
Få fuldtekst
Få fuldtekst
Artigo
94
“... selected to the training of the tool and the remaining 30% to the validation. Once the tool was constructed...”
Få fuldtekst
Få fuldtekst
Få fuldtekst
Få fuldtekst
Artigo
95
“... classifier needs to be constructed to depict the relationship between tool wear states and sensory...”
Få fuldtekst
Få fuldtekst
Få fuldtekst
Få fuldtekst
Få fuldtekst
Få fuldtekst
Artigo
96
af Bozga, Marius, Esparza, Javier, Iosif, Radu, Sifakis, Joseph, Welzel, Christoph
Udgivet i Tools and Algorithms for the Construction and Analysis of Systems (2020)
“...We consider parameterized concurrent systems consisting of a finite but unknown number...”Udgivet i Tools and Algorithms for the Construction and Analysis of Systems (2020)
Få fuldtekst
Få fuldtekst
Artigo
97
“... surveillance systems. Incorporating these outcomes into the ROC curve analysis allows for more accurate...”
Få fuldtekst
Få fuldtekst
Artigo
98
“... metric has been recommended as a practical evaluation tool for syndromic surveillance systems, yet...”
Få fuldtekst
Få fuldtekst
Få fuldtekst
Få fuldtekst
Få fuldtekst
Få fuldtekst
Artigo
99
af La Cava, William, Williams, Heather, Fu, Weixuan, Vitale, Steve, Srivatsan, Durga, Moore, Jason H
Udgivet i Bioinformatics (2020)
“... the algorithms correctly. Here, we study a method of automating biomedical data science using a web-based AI...”Udgivet i Bioinformatics (2020)
Få fuldtekst
Få fuldtekst
Få fuldtekst
Artigo
100


