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