1
Published 2006
Table of Contents: ... MLPG METHOD -- APPLICATION OF HIGH ORDER BASIS FUNCTIONS IN SOLID MECHANICS BY ELEMENT FREE GALERKIN...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Bandwidth Use for Matrix-Vector Multiplication in Iterative Methods -- Design of a Financial Application...
View full text
Electronic eBook
3
Table of Contents: ... -- Limits and Continuity of Functions -- The Derivative of a Function -- Applications of the Derivative...
View full text
Electronic eBook
4
by Ashlock, Daniel., Ashlock, Daniel.
Published 2006
Table of Contents: ... Robotics -- Evolving Logic Functions -- ISAc List: Alternative Genetic Programming -- Graph-Based...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... Application -- Trustworthy Computing: Theories, Methods, Tools and Experience in China and South East Asia...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... Computational Discovery of Chemical Reaction Networks Using Genetic Programming -- Discovery of Genetic Networks...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... of Embedded Software – Impact of ISO DIS 26262 in the Automotive Domain -- Enforcing Applicability of Real...
View full text
Electronic eBook
11
by Barker, Philip., Barker, Philip.
Published 2007
Table of Contents: ... -- The Binomial Model -- Analytical Option Pricing Methods -- Sensitivity Measures (The ‘Greeks’) -- Interest Rate...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... Environments -- Application of the XTT Rule-Based Model for Formal Design and Verification of Internet Security...
View full text
Electronic eBook
13
14
Published 2012
Table of Contents: ... Difference Method Programs -- On a Relationship between Typical Behavior and Initial Conditions of Lagrange’s...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... Oscillation of Motion Predicting Function -- Security of Virtualized Applications: Microsoft App-V and VMware...
View full text
Electronic eBook
18
Published 2015
Table of Contents: ... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...
View full text
Electronic eBook
19
by Klawonn, Frank., Klawonn, Frank.
Published 2012
Table of Contents: ... Reality -- Useful Links -- Example Programs -- References to Java 2D Classes and Methods -- References...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ...-Independent Assembly of PCR Fragments -- USER-Derived Cloning Methods and Their Primer Design -- Application...
View full text
Electronic eBook