1
Published 2008
Table of Contents: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
View full text
Electronic eBook
2
Published 2015
Table of Contents: ... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...
View full text
Electronic eBook
6
Published 2015
Table of Contents: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ...-Based Abstraction and Analysis of Attribute Grammar Evaluation -- Termination Analysis for Higher-Order...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ... Causality Approach to Explore Causal Networks Derived From Multi-parameter Data -- Functional Evolution...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... on a Multi-core Cluster -- Generating Parallel Random Sequences via Parameterizing EICGs...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...
View full text
Electronic eBook
17
Published 2015
Table of Contents: ... of multiobjective optimization algorithms: quality indicators and the attainment function -- Theory and Hyper...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... of a Simple Genetic xsAlgorithm -- Evolutionary Algorithm of Radial Basis Function Neural Networks...
View full text
Electronic eBook
19
Published 2012
Table of Contents: ... -- Theoretical Analysis of Function of Derivative Term in On-Line Gradient Descent Learning -- Some Comparisons...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... for Mining Multi-attribute Dependencies -- Frequent Pattern Mining with Preferences–Utility Functions...
View full text
Electronic eBook