1
Publicado em 2015
Sumário: ... and Discontinuous Galerkin Methods; Nonreflecting Conditions and Non-Asymptotic Homogenization -- On Extension...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2014
Sumário: ... Alternative for SMT-Based Verification of Scade Models -- Improving Static Analyses of C Programs...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
Publicado em 2014
Sumário: ...-at-once multigrid methods for Poisson and Stokes control problems -- Continuous-time local model network...
Obter o texto integral
Recurso Eletrônico livro eletrônico
4
Publicado em 2008
Sumário: ... of a Novel Integer Programming Model to Deal with Energy Consumption in Heterogeneous Wireless Sensor...
Obter o texto integral
Recurso Eletrônico livro eletrônico
5
Publicado em 2013
Sumário: ... Based on a Kind of Improved Functional-Structural Model and Component Technology -- Edge Geometric...
Obter o texto integral
Recurso Eletrônico livro eletrônico
6
Publicado em 2013
Sumário: ... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...
Obter o texto integral
Recurso Eletrônico livro eletrônico
7
Publicado em 2010
Sumário: ... -- Web Science: The Digital-Heritage Case -- Model-Driven Software Product Line Testing: An Integrated...
Obter o texto integral
Recurso Eletrônico livro eletrônico
8
Publicado em 2008
Sumário: ... BDF-Method -- The gVERSE RF Pulse: An Optimal Approach to MRI Pulse Design -- Modelling...
Obter o texto integral
Recurso Eletrônico livro eletrônico
9
Publicado em 2010
Sumário: ... Network -- Real-Time Performance Reliability Assessment Method Based on Dynamic Probability Model...
Obter o texto integral
Recurso Eletrônico livro eletrônico
10
Publicado em 2008
Sumário: ... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...
Obter o texto integral
Recurso Eletrônico livro eletrônico
11
Publicado em 2010
Sumário: ... Cells/Networks -- Three-dimensional Computer Modeling and Architectural Design Process #x2013; A...
Obter o texto integral
Recurso Eletrônico livro eletrônico
12
Publicado em 2005
Sumário: ... Grid Service Chain Model -- A Performance-Based Parallel Loop Self-scheduling on Grid Computing...
Obter o texto integral
Recurso Eletrônico livro eletrônico
13
Publicado em 2006
Sumário: ... Model -- Shape Matching Based on Fully Automatic Face Detection on Triangular Meshes -- Skin Color...
Obter o texto integral
Recurso Eletrônico livro eletrônico
14
Publicado em 2007
Sumário: ... for RCPSPWET with the Primal-Dual Method -- Necessary Condition for Path Partitioning Constraints -- A...
Obter o texto integral
Recurso Eletrônico livro eletrônico
15
Publicado em 2013
Sumário: ... Surface: What Can We Gain from Computational Chemistry.- Modeling the Intermolecular Interactions...
Obter o texto integral
Recurso Eletrônico livro eletrônico
16
Publicado em 2008
Sumário: ... Motion Detection and Background Reconstruction with a Mixed-State Conditional Markov Random Field...
Obter o texto integral
Recurso Eletrônico livro eletrônico
17
Publicado em 2008
Sumário: ... of Initial Conditions -- Genetic Programming for Feature Ranking in Classification Problems -- Time Series...
Obter o texto integral
Recurso Eletrônico livro eletrônico
18
Publicado em 2008
Sumário: ... -- Verified Methods in Stochastic Traffic Modelling -- Interval Arithmetic Using SSE-2 -- Worst Cases...
Obter o texto integral
Recurso Eletrônico livro eletrônico
19
Publicado em 2013
Sumário: ... Tasks: Performance Evaluation -- Conditions of Applications, Situations and Functions Applicable...
Obter o texto integral
Recurso Eletrônico livro eletrônico
20
Publicado em 2010
Sumário: ... -- An Empirical Study of the Use of the Noisy-Or Model in a Real-Life Bayesian Network -- Possibilistic Graphical...
Obter o texto integral
Recurso Eletrônico livro eletrônico