1
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
2
Table of Contents: ... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...
View full text
Electronic eBook
3
by Raynal, Michel., Raynal, Michel.
Published 2013
Table of Contents: ... -- Chap. 2  Distributed Graph Algorithms -- Chap. 3  An Algorithmic Framework to Compute Global Functions...
View full text
Electronic eBook
4
Table of Contents: ...Basic Concepts -- MOP Evolutionary Algorithm Approaches -- MOEA Local Search and Coevolution...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... by Petri Networks of a Fault Tolerant Agent Node -- Fuzzy Agents -- Hardware Implementations -- Design...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... -- On the Design and Implementation of Parallel Programs Through Coordination -- Software Reuse and Metrics...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...
View full text
Electronic eBook
9
Published 2014
Table of Contents: ... -- Direct and Inverse Second Order Kinematics for Hyper-Redundant Parallel Robots -- Kinematic Design...
View full text
Electronic eBook
10
Published 2015
Table of Contents: ...Part I. Occupational Therapy: Basic Information -- International Perspective on Occupational...
View full text
Electronic eBook
11
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
12
Published 2013
Table of Contents: ... Expression Analysis -- Designs for Massively Parallel Sequencing Approaches to Identify Causal Mutations...
View full text
Electronic eBook
13
Published 2008
Table of Contents: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... with Fixed Topology -- A Topology-Driven Approach to the Design of Web Meta-search Clustering Engines...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... Social Modeling and Simulation with Fuzzy Sets -- Stage-Dependent Fuzzy-valued Loss Function in Two-Stage...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... AND INTERFLATION FUNCTIONS OF MANY VARIABLES (BLENDING FUNCTION INTERPOLATION) AND ECONOMICAL ALGORITHMS...
View full text
Electronic eBook