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