1
Published 2008
Table of Contents: ... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...
View full text
Electronic eBook
2
Table of Contents: ...Introduction -- Theory behind the SAR Model --  Parallel Exact SAR Model Solutions -- Comparing...
View full text
Electronic eBook
3
Table of Contents: ... Management -- Imperative and Object-Oriented Programs -- Functional Programs -- Logic Programs -- Parallel...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... -- Cogitative Priming with Self-Speech: Implicit Memory Intervention for Improvement in Daily Motor Function...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Implicitization and Specialization of Minimum KL-Divergence Models -- On Sufficient Conditions for Integrability...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... Through Contouring -- Surfaces with Piecewise Linear Support Functions over Spherical Triangulations -- A...
View full text
Electronic eBook
7
Published 2012
Table of Contents: ... Massive Parallel Sequencing -- CAGE-Cap Analysis Gene Expression: A Protocol for the Detection of Promoter...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... Implicit Induction -- Matching Modulo Superdevelopments Application to Second-Order Matching...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...
View full text
Electronic eBook
10
Published 2015
Table of Contents: ... -- Superconvergence of Some Linear and Quadratic Functionals for Higher-order Finite Elements -- Time Step...
View full text
Electronic eBook
11
Published 2015
Table of Contents: ... -- On Parallel Scalable Uniform SAT Witness Generation -- Approximate Counting in SMT and Value Estimation...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ..., Modelling and Implementation for Highly Parallel Applications -- Computational Steering of Complex Flow...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ...Algorithms and Implementations -- Computing the Minkowski Value of the Exponential Function over a...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... Approach for Speculative Parallel Threading -- Entropy-Based Profile Characterization and Classification...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... -- Practical Evaluation of Efficient Fitness Functions for Binary Images -- Selective SVMs Ensemble Driven...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ... -- Generating Artificial Neural Networks for Value Function Approximation in a Domain Requiring a Shifting...
View full text
Electronic eBook
19
Published 2010
Table of Contents: ... -- Adaptive Parallel/Serial Sampling Mechanisms for Particle Filtering in Dynamic Bayesian Networks...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...
View full text
Electronic eBook