1
Published 2008
Table of Contents: ... SIMD Interpreter for Genetic Programming on GPU Graphics Cards -- Partitioned Incremental Evolution...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Bounded Model Checking -- Session 6. Verification -- On Bounded Reachability of Programs with Set...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ...-differentiable Continuous Programming Problems -- A Low Cost Electrical Impedance Tomography (EIT...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... Problem Arising in Edge Plasma Physics Using Hybrid MPI/OpenMP Programming -- Behavioral Non-Portability...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... by the Minimum Evolution Criterion -- An ?(n 2/logn) Speed-Up of Heuristics for the Gene-Duplication Problem...
View full text
Electronic eBook
7
Published 2012
Table of Contents: ... Operators and Weighted Poincar´e Inequalities.-Additive Schur Complement Approximation for Elliptic Problems...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Query Graph Based on Degrees and Their Time-Evolution -- t-UNITY – A Formal Framework for Modeling...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ...Keynote Speech -- Programming Challenges for Petascale and Multicore Parallel Systems -- Towards...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... Class of Pareto Archived Evolution Strategy Algorithms Using Immune Inspired Operators for Ab-Initio...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ... Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... for Ungapped Markov Models of Evolution -- Linear Programming for Phylogenetic Reconstruction Based on Gene...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... for Learning Local Patterns in Time-Stamped Data -- Boolean Property Encoding for Local Set Pattern Discovery...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ... Evolution Approach to Multi-level Image Thresholding Using Type II Fuzzy Sets -- Differential Evolution...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... -- DWEB: A Data Warehouse Engineering Benchmark -- A Set of Quality Indicators and Their Corresponding...
View full text
Electronic eBook