1
Published 2008
Table of Contents: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...Workshop on Scheduling for Parallel Computing (SPC 2009) -- Fully Polynomial Time Approximation...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ...-Speed Traffic Requests onto High-Speed Lightpaths by Using a Multiobjective Firefly Algorithm -- Pareto...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... Risk Element Network Transmission Parallel Computing Model -- On the Performance of Metamodel Assisted...
View full text
Electronic eBook
5
Published 2015
Table of Contents: ... Procedure with the Use of SARSA Algorithm -- Extensions of Hopeld Neural Networks for solving of stereo...
View full text
Electronic eBook
6
Table of Contents: ...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...
View full text
Electronic eBook
7
Published 2012
Table of Contents: ... (Bulgaria).-A Computational Approach for Remediation Procedures in Horizontal Subsurface Flow Constructed...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ... with Enhanced Functionality -- Automated Low-Fidelity Model Setup for Surrogate-Based Aerodynamic Optimization...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... -- Computing and using the deviance with classification trees -- Estimation procedures for the false discovery...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ... Algorithm for Solving Multi-Objective Optimization Problems -- B-spline Surface Approximation Using...
View full text
Electronic eBook
11
Published 2011
Table of Contents: ... of swarm intelligence -- Multilevel Data Classification and Function Approximation Using Hierarchical...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ... of the Restriction-Free (RF) Cloning for Multi-Components Assembly -- A Single-Tube Assembly of DNA Using...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... Computing System -- Computable Statistical Research and Practice -- Implicit and Explicit Parallel Computing...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ... in Smart Environments -- Parallel Rendering of Human-Computer Interaction Industrial Applications on Multi...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... of Mixed Covering Arrays of Variable Strength Using a Tabu Search Approach -- Feasibility-Based Bounds...
View full text
Electronic eBook
17
Table of Contents: ...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...
View full text
Electronic eBook
18
Table of Contents: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
View full text
Electronic eBook
19
Table of Contents: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
View full text
Electronic eBook
20
Published 2015
Table of Contents: ... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...
View full text
Electronic eBook