Pesquisas alternativas:
functions computational » functions computation, function computation, directions computational
function decomposition » functional decomposition, factor decomposition
using methods » using method, nursing methods, aging methods
methods based » method based, methods case, methods used
1
Publicado em 2013
Sumário: ...On the Use of the Moment Equations for Parameter Inference, Control and Experimental Design...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2014
Sumário: ... 1.39-Approximation in Practice -- On Monitoring C/C++ Transactional Memory Programs.- Bent Functions...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2012
Sumário: ... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2008
Sumário: ...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2007
Sumário: ... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2005
Sumário: ... Appearance Models -- Kernel Methods for Nonlinear Discriminative Data Analysis -- Reverse-Convex Programming...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2010
Sumário: ... of Incomplete Data Based on Cluster Dispersion -- Automatic Detection of Active Region on EUV Solar Images Using...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2010
Sumário: ...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2007
Sumário: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2008
Sumário: ... New Memetic Algorithm -- A Fuzzy Hybrid Method for Image Decomposition Problem -- Triangulation Using...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2015
Sumário: ... based Circuits using Boolean Functional Decomposition -- Towards Code Optimization for Line-aware HDL...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2010
Sumário: ... Bandwidth Use for Matrix-Vector Multiplication in Iterative Methods -- Design of a Financial Application...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2007
Sumário: ... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2014
Sumário: ... in the Evaluations -- An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions -- Finding...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2007
Sumário: ... Standings on the Basis of Self-organizing Maps -- A New Computing Method for Greeks Using Stochastic...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2007
Sumário: ... -- Building a Fuzzy Ontology of Edutainment Using OWL -- A Modeling and Assessing Method Based on Bayesian...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2007
Sumário: ... Residue Binding Propensity and Sequence Entropy -- Use of Parallel Simulated Annealing for Computational...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2007
Sumário: ... Network Monitoring -- Optimization of Mobile IPv6 Handover Performance Using E-HCF Method -- HMIPv6...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2010
Sumário: ...Applications of Computational Intelligence -- A New Fault Detection Method of Induction Motor -- A...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2010
Sumário: ... Clustering Approach using WordNet Lexical Categories -- The Study on the Penalty Function of the Insurance...
Obter o texto integral
Recurso Electrónico livro electrónico