1
出版 2013
书本目录: ...On the Use of the Moment Equations for Parameter Inference, Control and Experimental Design...
获取全文
电子 电子书
2
出版 2012
书本目录: ... Metrics:A Case Study in Equivalence Checking using k-Induction -- The Hierarchical Compositional Interchange...
获取全文
电子 电子书
3
出版 2015
书本目录: ... Textile Fabric used in Pest Control with a 3 Scale Domain Decomposition Method -- The Theory...
获取全文
电子 电子书
4
出版 2007
书本目录: ... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...
获取全文
电子 电子书
5
出版 2010
书本目录: ...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...
获取全文
电子 电子书
6
出版 2007
书本目录: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
获取全文
电子 电子书
7
出版 2010
书本目录: ... of Incomplete Data Based on Cluster Dispersion -- Automatic Detection of Active Region on EUV Solar Images Using...
获取全文
电子 电子书
8
出版 2014
书本目录: ... in the Evaluations -- An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions -- Finding...
获取全文
电子 电子书
9
出版 2007
书本目录: ... Standings on the Basis of Self-organizing Maps -- A New Computing Method for Greeks Using Stochastic...
获取全文
电子 电子书
10
出版 2007
书本目录: ... Network Monitoring -- Optimization of Mobile IPv6 Handover Performance Using E-HCF Method -- HMIPv6...
获取全文
电子 电子书
11
出版 2010
书本目录: ... Clustering Approach using WordNet Lexical Categories -- The Study on the Penalty Function of the Insurance...
获取全文
电子 电子书
12
出版 2007
书本目录: ... Theorem Proving Method Using Logical Reinforcement Learning -- Gene Expression Programming with DAG...
获取全文
电子 电子书
13
出版 2010
书本目录: ... the Lattice Boltzmann Method and Analysis of OpenMP Scalability -- Parallel Computations of Unsteady Three...
获取全文
电子 电子书
14
出版 2005
书本目录: ... Geometry in Computer Vision -- Optimal Blurred Segments Decomposition in Linear Time -- Shape Preserving...
获取全文
电子 电子书
15
出版 2010
书本目录: ...Applications of Computational Intelligence -- A New Fault Detection Method of Induction Motor -- A...
获取全文
电子 电子书
16
出版 2015
书本目录: ... A Proposal to Measure the Functional Efficiency of Futures Markets: M. Consuegra et al -- 12...
获取全文
电子 电子书
17
出版 2005
书本目录: ... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...
获取全文
电子 电子书
18
出版 2008
书本目录: ... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...
获取全文
电子 电子书
19
出版 2008
书本目录: ... Pattern Mining in Data Stream -- Methods of Computing Optimization -- A General k-Level Uncapacitated...
获取全文
电子 电子书
20
出版 2013
书本目录: ... on the Structure Decomposition -- Computer-aided Detection of Colorectal Lesions with Super-Resolution CT...
获取全文
电子 电子书