1
Table of Contents: ... in Bayesian computation using INLA -- A graphical models approach for comparing gene sets -- Predictive...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... COLLOCATION METHOD TOGETHER WITH RPIM SHAPE FUNCTIONS AND FIC BOUNDARY CONDITIONS -- SYMPLECTIC ANALYSIS...
View full text
Electronic eBook
3
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
4
Published 2015
Table of Contents: ... on Non-Invasive Computed Tomography Images -- Formal and Heuristic Model Averaging Methods for Predicting...
View full text
Electronic eBook
5
by Saeed, Walid
Published 2005
Subjects: ...Programming language(Electronic computer)...
View full text
Thesis
6
Published 2006
Table of Contents: ... Signers -- Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions -- Formal Method...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... Alternative for SMT-Based Verification of Scade Models -- Improving Static Analyses of C Programs...
View full text
Electronic eBook
8
Table of Contents: ...Ch1 Introduction (1.1 Necessity of Statistical Modeling for Complex, Large Systems -- 1.2 Model...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...
View full text
Electronic eBook
10
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
11
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
12
by Saeed, Walid
Published 2005
...) into an Integer Programming (IP) model, resolved by using the branch and bound search method in order to generate...
View full text
Thesis
13
Published 2014
Table of Contents: ...-at-once multigrid methods for Poisson and Stokes control problems -- Continuous-time local model network...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... Recognition by Immune Neural Network -- Composing Different Models of Computation in Kepler and Ptolemy II...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... Service Systems -- A Knowledge-Based Model Representation and On-Line Solution Method for Dynamic Vehicle...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... Network -- Real-Time Performance Reliability Assessment Method Based on Dynamic Probability Model...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... -- Segmentation of Sequences of Stereoscopic Images for Modelling Artificial Muscles -- A Support Vector Method...
View full text
Electronic eBook
19
Table of Contents: ... for Discrete-time Systems Based on Model-free ADP -- Nonlinear Games for a Class of Continuous-time Systems...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... -- Web Science: The Digital-Heritage Case -- Model-Driven Software Product Line Testing: An Integrated...
View full text
Electronic eBook