1
Published 2005
Table of Contents: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
View full text
Electronic eBook
2
by Comninos, Peter., Comninos, Peter.
Published 2006
Table of Contents: ...Set Theory Survival Kit -- Vector Algebra Survival Kit -- Matrix Algebra Survival Kit -- Vector...
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
by Bjørner, Dines., Bjørner, Dines.
Published 2006
Table of Contents: ... Language -- SPIL: Simple Parallel, Imperative Language -- Closing -- Closing....
View full text
Electronic eBook
5
Published 2008
Table of Contents: ... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...
View full text
Electronic eBook
6
Table of Contents: ...Basic Concepts -- MOP Evolutionary Algorithm Approaches -- MOEA Local Search and Coevolution...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... -- Bertini real: Software for One- and Two-Dimensional Real Algebraic Sets -- Hom4PS-3: A Parallel Numerical...
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 2008
Table of Contents: ... by First Order Functional Programs -- The Structure of Detour Degrees -- Hamiltonicity of Matching...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...
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 2005
Table of Contents: ... -- Greedy Differential Approximations for Min Set Cover -- A Methodology of Visual Modeling Language...
View full text
Electronic eBook
13
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