1
Publicado 2005
Tabla de Contenidos: ...Special Session on Grid and System Software -- TeraGrid: A Foundation for US Cyberinfrastructure...
Enlace del recurso
Electrónico eBook
2
Publicado 2005
Tabla de Contenidos: ... for Dynamic Parameter Control of Parallel Evolutionary Algorithms -- Robust Inference of Bayesian Networks...
Enlace del recurso
Electrónico eBook
3
Publicado 2008
Tabla de Contenidos: ... and Limiting Ratio of Boolean Functions over Implication -- Succinctness of Regular Expressions...
Enlace del recurso
Electrónico eBook
4
Publicado 2015
Tabla de Contenidos: ... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...
Enlace del recurso
Electrónico eBook
5
Publicado 2005
Tabla de Contenidos: ... Disjoint NP-Pairs -- Symbolic Reachability Analysis of Higher-Order Context-Free Processes -- Optimal...
Enlace del recurso
Electrónico eBook
6
Publicado 2006
Tabla de Contenidos: ... of a Simple Genetic xsAlgorithm -- Evolutionary Algorithm of Radial Basis Function Neural Networks...
Enlace del recurso
Electrónico eBook
7
Publicado 2015
Tabla de Contenidos: ...Part I: Mathematical Foundations: 1 Cem Yolcu and Evren Özarslan: Diffusion-Weighted Magnetic...
Enlace del recurso
Electrónico eBook
8
Publicado 2010
Tabla de Contenidos: ... Measurement through Functional Imaging -- Parallel Multispectral Image Segmentation for Computer Aided Thyroid...
Enlace del recurso
Electrónico eBook
9
Publicado 2007
Tabla de Contenidos: ... ? Functor to IMTL Algebras: The Linearly Ordered Case -- Verification by Parallelization of Parametric Code...
Enlace del recurso
Electrónico eBook
10
Publicado 2014
Tabla de Contenidos: ... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...
Enlace del recurso
Electrónico eBook
11
Publicado 2010
Tabla de Contenidos: ...Theoretical Foundations of Image Analysis and Processing -- Generalized Perpendicular Bisector...
Enlace del recurso
Electrónico eBook
12
Publicado 2012
Tabla de Contenidos: ... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...
Enlace del recurso
Electrónico eBook
13
Publicado 2012
Tabla de Contenidos: ... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...
Enlace del recurso
Electrónico eBook
14
Publicado 2013
Tabla de Contenidos: ... of Temporal Data -- Fast Approximation Method for Gaussian Process Regression Using Hash Function for Non...
Enlace del recurso
Electrónico eBook
15
por Plattner, Hasso., Plattner, Hasso.
Publicado 2013
Tabla de Contenidos: ... Performance -- Select -- Materialization Strategies.- Parallel Data Processing -- Indices -- Join -- Aggregate...
Enlace del recurso
Electrónico eBook
16
Tabla de Contenidos: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
Enlace del recurso
Electrónico eBook
17
Publicado 2007
Tabla de Contenidos: ... System for Cross-Organizational Workflows Management Based on Process-View -- Towards a Formal Foundation...
Enlace del recurso
Electrónico eBook
18
Tabla de Contenidos: ... -- Electromagnetic Waves -- Lagrange Formalism in Electrodynamics -- Quantum Mechanics: Mathematical Foundations...
Enlace del recurso
Electrónico eBook
19
Tabla de Contenidos: ...Sets, Relations, Logic, Functions -- Algebraic Structures For Logic Design -- Functional...
Enlace del recurso
Electrónico eBook
20
Publicado 2005
Tabla de Contenidos: ...Keynote Talk -- Exploiting Multiple Levels of Parallelism in Scientific Computing -- Distributed...
Enlace del recurso
Electrónico eBook