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