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 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
4
Published 2014
Table of Contents: ... with Enhanced Functionality -- Automated Low-Fidelity Model Setup for Surrogate-Based Aerodynamic Optimization...
View full text
Electronic eBook
5
Published 2011
Table of Contents: ... of swarm intelligence -- Multilevel Data Classification and Function Approximation Using Hierarchical...
View full text
Electronic eBook
6
Published 2011
Table of Contents: ... and experimental information -- Quality procedures in automated screening -- Phenotypic screening of cells...
View full text
Electronic eBook
7
Published 2015
Table of Contents: ... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...
View full text
Electronic eBook
8
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
9
Published 2012
Table of Contents: ... Chemistry -- Synthesis of Azido-Functionalized Carbohydrates for the Design of Glycoconjugates...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... Augmented Reality Procedures in Assisting Assembly Operations -- Monodirectional Positioning Using...
View full text
Electronic eBook
11
Published 2015
Table of Contents: ... Francisco Novoa Colín -- Concurrent Structure-Control Design of Parallel Robots using an Estimation...
View full text
Electronic eBook
12
Table of Contents: ...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... Procedures -- To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Procedure for the Just-In-Time Job-Shop Scheduling Problem -- A Math-Heuristic Algorithm for the DNA...
View full text
Electronic eBook
15
Published 2011
Table of Contents: ...MALDI-TOF Serum Profiling Using Semi-Automated Serum Peptide Capture with Magnetic Reversed Phase...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...
View full text
Electronic eBook
17
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
18
Published 2007
Table of Contents: ... Optimization with Swing-Bys Using Evolutionary Multi-objective Optimization -- A Hybrid Evolutionary Multi...
View full text
Electronic eBook
19
Table of Contents: ...Introduction -- Theory behind the SAR Model --  Parallel Exact SAR Model Solutions -- Comparing...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... Procedures -- Testing Effects in ANOVA Experiments: Direct Combination of All Pair-Wise Comparisons Using...
View full text
Electronic eBook