1
Published 2010
Table of Contents: ...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
View full text
Electronic eBook
3
Table of Contents: ...Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order...
View full text
Electronic eBook
4
Table of Contents: ... of parallel robots with actuation redundancy -- 8.6 Other models -- 8.7 Computation of the base dynamic...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ...Theory of Evolutionary Computing (I) -- Optimal Fixed and Adaptive Mutation Rates...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ...Basic Principles of Parallel-Imaging Techniques -- MRI from k-Space to Parallel Imaging -- Basic...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...
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 2010
Table of Contents: ... for Short Term Load Forecasting under Error Gradient Functions -- Intelligent Schemes for Indexing Digital...
View full text
Electronic eBook
10
Table of Contents: ...1. Introduction -- 2.Preliminaries -- 3. Spaces of time functions consisting of input-output...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... Equivalence to Simulation and Bisimulation -- A Finite Semantics of Simply-Typed Lambda Terms for Infinite...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ...-borne Phased Array Radar --  A Second-order Algorithm for Curve Parallel Projection on Parametric...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ...-Throughput Proteome Annotation Pipeline -- Genome-Wide Functional Annotation Environment for Thermus...
View full text
Electronic eBook
14
Published 2015
Table of Contents: ...Neural Networks and Their Applications -- Parallel approach to the Levenberg-Marquardt learning...
View full text
Electronic eBook
15
Published 2014
Table of Contents: ... Machine Using Simple Derivative Term -- Representations of Highly-Varying Functions by One-Hidden-Layer...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ...The First Section: Advanced Evolutionary Computing Theory and Algorithms -- Co-Evolutionary...
View full text
Electronic eBook
17
Published 2010
Table of Contents: ... Implementations on FPGA -- Comparison of Bit Serial Computation with Bit Parallel Computation for Reconfigurable...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ... Components to Improve Harmony Search -- A Massive Parallel Cellular GPU Implementation of Neural Network...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... Functional Language -- On Reachability Games of Ordinal Length -- An Algorithm for Computation of the Scene...
View full text
Electronic eBook
20
...(s) of the interpolating polynomial. Through interval computation, the Weierstrass-like parallel iterative methods...
Article