A mostrar 81 - 100 resultados de 409 para a pesquisa 'Tools and Algorithms for the Construction and Analysis of Systems', Forespørselstid: 0.20seg Refinar resultados
81
83
... systems. It covers a broad spectrum of problems and applications based on internet and communications...
Få fuldtekst
Livro
84
... Systems -- Agents and Multiagent Systems -- Analysis of Emergent Properties in a Hybrid Bio-inspired...
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
Artigo
87
...Numerous tasks in program analysis and synthesis reduce to deciding reachability in possibly...
Få fuldtekst
Få fuldtekst
Artigo
90
... underapproximations for multi-pushdown systems, which subsumes most existing classes. We develop an efficient...
Få fuldtekst
Få fuldtekst
Artigo
94
af Ruiz-Patino, A.
Udgivet i Neuro Oncol (2017)
... selected to the training of the tool and the remaining 30% to the validation. Once the tool was constructed...
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
Artigo
97
... surveillance systems. Incorporating these outcomes into the ROC curve analysis allows for more accurate...
Få fuldtekst
Artigo
98
... metric has been recommended as a practical evaluation tool for syndromic surveillance systems, yet...
Få fuldtekst
Få fuldtekst
Få fuldtekst
Artigo
99
... the algorithms correctly. Here, we study a method of automating biomedical data science using a web-based AI...
Få fuldtekst
Få fuldtekst
Få fuldtekst
Artigo