1
Published 2011
Table of Contents: ... mediated transcriptional control of hypertrophic gene programs underlying cardiac hypertrophy -- Molecular...
View full text
Electronic eBook
2
Published 2015
Table of Contents: ... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Leads -- New Pacing Algorithms and Functions in CRT Devices -- Significance of Latency During Left...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ...Plenary Talks -- A Grammatical Genetic Programming Approach to Modularity in Genetic Algorithms...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... in Sequential Programs -- Swapping Arguments and Results of Recursive Functions -- Refinement Algebra...
View full text
Electronic eBook
9
Published 2010
Table of Contents: .... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
11
Published 2015
Table of Contents: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...
View full text
Electronic eBook
13
Published 2015
Table of Contents: ... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... and Thermal Stress/Slip Functions for Scaled Device Design Phase -- Compact Modeling of Phase-Change Memories...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...
View full text
Electronic eBook
16
Published 2013
Table of Contents: ... -- Probabilistic Reasoning with an Enzyme-Driven DNA Device -- Staged Self-assembly and Polyomino Context-Free...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ...An Introduction to Smart Cards and RFIDs -- Embedded DSP Devices -- Microprocessors...
View full text
Electronic eBook
18
Table of Contents: ...Java ME Platform -- Java ME Virtual Machines -- Connected Limited Device Configuration -- Mobile...
View full text
Electronic eBook
19
Table of Contents: ... Functions -- Wave Functions -- Computational Aspects in Effective Medium Theory -- Completeness of Vector...
View full text
Electronic eBook
20
by Kerfs, Jeremy., Kerfs, Jeremy.
Published 2011
Subjects: ...Computer games—Programming....
View full text
Electronic eBook