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