1
Published 2012
Table of Contents: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof...
View full text
Electronic eBook
3
by Comninos, Peter., Comninos, Peter.
Published 2006
Table of Contents: ... Lighting and Shading Models and Rendering Algorithms....
View full text
Electronic eBook
4
Table of Contents: ... -- Single-stage SLP Models -- Introduction -- Models involving Probability Functions -- Quantile Functions...
View full text
Electronic eBook
5
Table of Contents: ... and Recursive Definitions -- Proofs by Induction -- Games and Strategies -- Part II: Modelling Computing Systems...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... -- Automatic Invention of Fitness Functions with Application to Scene Generation -- Manipulating Artificial...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... -- Markov Chain Models for Genetic Algorithm Based Topology Control in MANETs -- Particle Swarm Optimization...
View full text
Electronic eBook
8
Table of Contents: ...IP Meta-Models for SoC Assembly and HW/SW Interfaces -- Functional Models -- Testbench Models...
View full text
Electronic eBook
9
by Lew, Art., Lew, Art., Mauch, Holger.
Published 2007
Table of Contents: ...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...
View full text
Electronic eBook
10
Table of Contents: ...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...
View full text
Electronic eBook
11
by Albert, Jim., Albert, Jim.
Published 2007
Table of Contents: ... -- to Bayesian Computation -- Markov Chain Monte Carlo Methods -- Hierarchical Modeling -- Model Comparison...
View full text
Electronic eBook
12
Table of Contents: ... for Autonomic Computing -- Autonomic Computing Architectures -- The Monitoring Function -- The Adaptation...
View full text
Electronic eBook
13
Table of Contents: ...Operators and Equations -- The Newton Kantorovich (NK) Method -- Applications of the Weaker Version...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ... Surface: What Can We Gain from Computational Chemistry.- Modeling the Intermolecular Interactions...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...
View full text
Electronic eBook
16
Table of Contents: ... Functions -- Nonsmooth Mathematical Programming Problems -- Monotone Operators and Nonsmooth Variational...
View full text
Electronic eBook
17
by Hermes, Dan., Hermes, Dan.
Published 2015
Subjects: ...Computer programming....
View full text
Electronic eBook
18
Table of Contents: ... -- Limits and Continuity of Functions -- The Derivative of a Function -- Applications of the Derivative...
View full text
Electronic eBook
19
by Hay-Jahans, Christopher.
Published 2012
Subjects: ...R (Computer program language)....
Book
20
by Han, Maoan., Han, Maoan., Yu, Pei.
Published 2012
Table of Contents: ...Hopf Bifurcation and Normal Form Computation -- Comparison of Methods for Computing Focus Values...
View full text
Electronic eBook