1
Published 2007
Table of Contents: ... Codes -- Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms -- Unrestricted...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Algorithm with Indirect Representation -- Evolved Look-Up Tables for Simulated DNA Controlled Robots...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ... Transmission across Tile Assemblies: 3D Static Tiles Simulate Active Self-assembly by 2D Signal-Passing Tiles...
View full text
Electronic eBook
5
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...
View full text
Electronic eBook
8
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
9
Published 2013
Table of Contents: ... Simulations -- A Proof System for Compositional Verification of Probabilistic Concurrent Processes...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... of Time-Periodic Avalanche Breakdown Occurring in VLD Edge Termination Structures -- Simulation...
View full text
Electronic eBook
11
Published 2014
Table of Contents: ...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...
View full text
Electronic eBook
12
Table of Contents: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ... the Performance of the Gaussian Chemistry Code on x86 Architectures -- Numerical Simulation of the December 26...
View full text
Electronic eBook
14
Published 2014
Table of Contents: ... -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical...
View full text
Electronic eBook
15
Published 2014
Table of Contents: ... – An efficient Scoring Program for Evaluating the Energy Scores of Protein Structures for Structure Prediction...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ... Networks -- Multi-class Prediction Using Stochastic Logic Programs -- Structuring Natural Language Data...
View full text
Electronic eBook
17
Published 2015
Table of Contents: ... -- The Functional Analysis of Biological Macromolecules -- The Structure-Based Drug Design....
View full text
Electronic eBook
18
Published 2005
Table of Contents: ... for Reconfigurable Packet Processing -- Processor Architectures, Design and Simulation -- Flux Caches: What...
View full text
Electronic eBook
19
Published 2014
Table of Contents: ... -- Programming with Separable Ellipsoidal Constraints -- Adaptive Finite Elements for Optimally Controlled...
View full text
Electronic eBook
20
Table of Contents: ... Functions for fast simulations -- Modern approach to inverse analyses -- Numerical examples....
View full text
Electronic eBook