1
Published 2013
Table of Contents: ... -- The Beauty of Declarative Purely Functional Projections -- Finding Palindromes: Variants and Algorithms...
View full text
Electronic eBook
2
...(s) of the interpolating polynomial. Through interval computation, the Weierstrass-like parallel iterative methods...
Article
3
...(s) of the interpolating polynomial. Through interval computation, the Weierstrass-like parallel iterative methods...
Article
4
Published 2010
Table of Contents: ...Theory of Evolutionary Computing (I) -- Optimal Fixed and Adaptive Mutation Rates...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Computations for Finding Universal Denominators -- A Role of Symbolic Computations in Beam Physics -- Thomas...
View full text
Electronic eBook
6
Published 2012
Table of Contents: ... Computations -- Real and Complex Polynomial Root-Finding by Means of Eigen-Solving -- Root-Refining for a...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ...,  Andrea Bonito, Joe Pasciak -- Parallel Unsmoothed Aggregation Algebraic Multigrid Algorithms on GPUs...
View full text
Electronic eBook
8
by Kozen, Dexter C., Kozen, Dexter C.
Published 2006
Table of Contents: ...Lectures -- The Complexity of Computations -- Time and Space Complexity Classes and Savitch’s...
View full text
Electronic eBook
9
Published 2015
Table of Contents: ...Computers and the Mechanics of Communication. Outline of a Vision from the Work of Petri and Holt...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... Redundancy -- 5B Computational Biology -- Minkowski Sum Selection and Finding -- Constructing the Simplest...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Computation and Communication -- Session 1A. Approximation Algorithm I -- Faster Algorithms for Feedback Arc...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ...Invited Talks -- Investigating Universal Computability of Conventional Cellular Automata Problems...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... SEARCH METHOD FOR FINDING A SIMPLE NASH EQUILIBRIUM -- A HERO EVOLUTIONARY ALGORITHM HYBRIDIZING FROM PSO...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ... Network Structure Learning -- Multiobjective Evolutionary Strategy for Finding Neighbourhoods of Pareto...
View full text
Electronic eBook
15
Published 2015
Table of Contents: ...SMT Techniques and Applications -- POLING: SMT Aided Linearizability Proofs -- Finding Bounded Path...
View full text
Electronic eBook
16
Published 2011
Table of Contents: ... Control Devices for Parallel Rewriting -- Reaction Systems with Duration -- Nanomachine Computing...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ...Power Aware Computing -- Real-Time Loop Scheduling with Energy Optimization Via DVS and ABB...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... -- Finding Functional Structures in Ggioma Gene-Expressions Using Gene Shaving Clustering and MDL Principle...
View full text
Electronic eBook
19
Table of Contents: ...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... Bisimilarity of Normed Basic Parallel Processes -- Extensions of Embeddings in the Computably Enumerable...
View full text
Electronic eBook