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