1
Published 2015
Table of Contents: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...
View full text
Electronic eBook
3
Table of Contents: ... definitions -- 1.3 Types of PKM architectures -- 1.4 Why a book dedicated to the dynamics of parallel robots...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... for Solving Multiprocessor Scheduling Problem -- Online Scheduling of Parallel Jobs on Hypercubes: Maximizing...
View full text
Electronic eBook
5
Published 2014
Table of Contents: ... Generators -- Open Problems on Binary Bent Functions -- On Semi-bent functions and Related Plateaued...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... -- Fair Partially Blind Signatures -- Attacks -- Parallel Shortest Lattice Vector Enumeration on Graphics...
View full text
Electronic eBook
7
Published 2006
Table of Contents: ... -- On the Complexity of Parallel Hardness Amplification for One-Way Functions -- Secret Sharing and Multi-party...
View full text
Electronic eBook
8
Published 2015
Table of Contents: ... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...
View full text
Electronic eBook
11
Published 2012
Table of Contents: ... and Stochastic Methods for Modeling Highly Heterogeneous Media Robust Solvers for Symmetric Positive Definite...
View full text
Electronic eBook
12
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
13
Published 2006
Table of Contents: ... and Artificial Life -- Using Computational Intelligence and Parallelism to Solve an Industrial Design Problem...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ...Graphs of Grammars – Derivations as Parallel Processes -- MTTool Software Tool and Low Complexity...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ... Behavior: Background, Definition, and Computational Power -- The Calculus of Looping Sequences for Modeling...
View full text
Electronic eBook
17
by Raynal, Michel., Raynal, Michel.
Published 2013
Table of Contents: ...Part I  Distributed Graph Algorithms -- Chap. 1  Base Definitions and Network Traversal Algorithms...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ... Topology via Functional Programming: A Baseline Analysis: D. Duke and H. Carr -- 6 Distributed Contour...
View full text
Electronic eBook
19
by Barber, J. R., Barber, J. R.
Published 2011
Table of Contents: ... -- 1.4 Formulating and solving problems -- 1.4.1 Use of procedures -- 1.4.2 Inverse problems -- 1.4.3...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...
View full text
Electronic eBook