1
Published 2010
Table of Contents: ... -- Using Hybrid CPU-GPU Platforms to Accelerate the Computation of the Matrix Sign Function -- Modelling...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... for the LeadingOnes Problem -- Mirrored Sampling and Sequential Selection for Evolution Strategies -- Optimisation...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
4
Table of Contents: ....-Operator overloading.-Mathematical examples -- Object Oriented Programming.-Introduction to parallel...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... of Incomplete Data Based on Cluster Dispersion -- Automatic Detection of Active Region on EUV Solar Images Using...
View full text
Electronic eBook
7
Published 2015
Table of Contents: ... -- Symbolic Model-Checking Using ITS-Tools -- Semantic Importance Sampling for Statistical Model Checking...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
View full text
Electronic eBook
9
Table of Contents: ... -- Unmanaged Code Interoperability -- Commonly Used Interfaces and Patterns -- Windows Integration -- Parallel...
View full text
Electronic eBook
10
Published 2012
Table of Contents: ... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Mining -- Using Transitivity to Increase the Accuracy of Sample-Based Pearson Correlation Coefficients...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ...Invited Lectures -- Flexible Path Planning Using Corridor Maps -- A Bridging Model for Multi-core...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... -- Verifying Quantitative Properties Using Bound Functions -- Abstraction -- How Thorough Is Thorough Enough...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ..., multiple, joint correspondence analysis -- 3 dimensional parallel coordinates plot and its use for variable...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... Process -- Rotation Invariant Texture Classification Using Gabor Wavelets -- Harmful Contents...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... Normalization Tool Using Mathematica -- Symbolic Manipulation of Bspline Basis Functions with Mathematica...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...
View full text
Electronic eBook
20
Table of Contents: ... Decomposition and Related Topics -- Hilbert Function and Dimension -- Complete Local Rings -- Homological...
View full text
Electronic eBook