1
Published 2010
Table of Contents: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... -- Algorithms -- Some Improvements to a Parallel Decomposition Technique for Training Support Vector Machines...
View full text
Electronic eBook
3
by Bjørner, Dines., Bjørner, Dines.
Published 2006
Table of Contents: ...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Design -- Optimizing Automatic Deployment Using Non-functional Requirement Annotations -- Experiences...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... Clustering Approach using WordNet Lexical Categories -- The Study on the Penalty Function of the Insurance...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... Normalization Tool Using Mathematica -- Symbolic Manipulation of Bspline Basis Functions with Mathematica...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... Simulator for Brazilian Wholesale Electricity Energy Market -- Using IDEF0 to Enhance Functional Analysis...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ...: Distributed Algorithms -- Building and Using Quorums Despite any Number of Process of Crashes -- Failure...
View full text
Electronic eBook
14
Published 2015
Table of Contents: ... Related to the Use of In-vehicle Intelligent Transport Systems by Drivers with Functional Impairments...
View full text
Electronic eBook
15
Published 2012
Table of Contents: ... Approximation in Perceptron Training of Conditional Random Fields -- Patch-based Data Analysis Using Linear...
View full text
Electronic eBook
16
Published 2013
Table of Contents: ... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... for Animal Research -- General Considerations -- The Ethical Basis for Animal Use in Research...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ... in Evolutionary Programming -- A Comparison of GAs Using Penalizing Infeasible Solutions and Repairing Infeasible...
View full text
Electronic eBook
19
Published 2012
Table of Contents: ... Learning Algorithm Using Linear Programming -- TrueSkill-Based Pairwise Coupling for Multi-class...
View full text
Electronic eBook
20
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