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