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