1
Publicado 2010
Tabla de Contenidos: ... -- Compact Rich-Functional Binary Relation Representations -- Radix Cross-Sections for Length Morphisms...
Enlace del recurso
Electrónico eBook
2
Publicado 2012
Tabla de Contenidos: ... Operators and Weighted Poincar´e Inequalities.-Additive Schur Complement Approximation for Elliptic Problems...
Enlace del recurso
Electrónico eBook
3
Publicado 2015
Tabla de Contenidos: ... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...
Enlace del recurso
Electrónico eBook
4
Publicado 2008
Tabla de Contenidos: ... Extra Array? -- Some Constrained Notions of Planarity -- Reachability Problems on Directed Graphs -- 1A...
Enlace del recurso
Electrónico eBook
5
Publicado 2010
Tabla de Contenidos: ... -- A PTAS for the Square Tiling Problem -- On the Hardness of Counting and Sampling Center Strings...
Enlace del recurso
Electrónico eBook
6
Publicado 2013
Tabla de Contenidos: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
Enlace del recurso
Electrónico eBook