Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
programming evaluating » programming evaluation, programming validating, programming evolving
functions computation » functions composition, function composition, functional composition
function computation » function computing, function decomposition, section computational
evaluating method » evaluating methods, evaluation method, evaluative method
programming evaluating » programming evaluation, programming validating, programming evolving
functions computation » functions composition, function composition, functional composition
function computation » function computing, function decomposition, section computational
evaluating method » evaluating methods, evaluation method, evaluative method
1
Argitaratua 2006
Aurkibidea:
“... -- FORMAL METHOD IN IMPLEMENTATION OF ATLAS LANGUAGE* -- GENETIC ALGORITHM FOR EVALUATION METRICS IN TOPICAL...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2005
Aurkibidea:
“... Resynchronization Therapy -- Methods for Identifying and Tracking Phase Singularities in Computational Models of Re...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2006
Aurkibidea:
“... Function-Equivalent Components Based Simplification Technique for PEPA Models -- Functional Performance...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2006
Aurkibidea:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”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 2008
Aurkibidea:
“... -- Implementation and Evaluation of the Mechanisms for Low Latency Communication on DIMMnet-2 -- Computationally...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2008
Aurkibidea:
“... Performance Computing for Eigenvalue Solver in Density-Matrix Renormalization Group Method: Parallelization...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2005
Aurkibidea:
“... -- Practical Evaluation of Efficient Fitness Functions for Binary Images -- Selective SVMs Ensemble Driven...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2008
Aurkibidea:
“... of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2006
Aurkibidea:
“...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2007
Aurkibidea:
“... Architecture -- 2: Cluster Computing -- JaceV: A Programming and Execution Environment for Asynchronous...”Testu osoa
Baliabide elektronikoa
eBook
13
Computer Mathematics 9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium...
Argitaratua 2014
Aurkibidea:
“... in the Evaluations -- An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions -- Finding...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2010
Aurkibidea:
“... Approach to Learning from Data with Imprecise Labels -- A K-Nearest Neighbours Method Based on Lower...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2005
Aurkibidea:
“... Method for Machinery -- Design Evaluation: Estimating Multiple Critical Performance and Cost Impacts...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2007
Aurkibidea:
“... for Nuclear Digital Protection System -- Specification of a Software Common Cause Analysis Method -- Combining...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2008
Aurkibidea:
“... for Autonomous Vehicles -- Expert Assessment of Arguments: A Method and Its Experimental Evaluation -- Formal...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2007
Aurkibidea:
“... Reconstruction of 3D Curves for Quality Control -- 3D Computation of Gray Level Co-occurrence in Hyperspectral...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2012
Aurkibidea:
“...: Part 3. Computational Studies.-Part IV: Control and Uncertain Systems Newton’s Method and Secant Method...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2010
Aurkibidea:
“... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...”Testu osoa
Baliabide elektronikoa
eBook