1
Publicado em 2007
Sumário: ... Prediction -- A Fast and Accurate Heuristic for the Single Individual SNP Haplotyping Problem with Many Gaps...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2013
Sumário: ...Backbones for Equality -- PASS: String Solving with Parameterized Array and Interval Automaton...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
Publicado em 2015
Sumário: ... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...
Obter o texto integral
Recurso Eletrônico livro eletrônico
4
Sumário: ... of Examples -- Application Issues -- The Reliability Issue in Data Mining: The Case of Computer-Aided Breast...
Obter o texto integral
Recurso Eletrônico livro eletrônico
5
Publicado em 2015
Sumário: ...-Sliding-Mode-Based Frequency Regulation -- A New Discrete-Time Iterative Adaptive Dynamic Programming...
Obter o texto integral
Recurso Eletrônico livro eletrônico
6
Publicado em 2007
Sumário: ... in a Graph Using k-Means and Application to Protein Interactions Networks -- Species Clustering via...
Obter o texto integral
Recurso Eletrônico livro eletrônico