1
Published 2005
Table of Contents: ...Arithmetic over Function Fields: A Cohomological Approach -- Algebraic Stacks Whose Number...
View full text
Electronic eBook
2
Published 2012
Table of Contents: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof...
View full text
Electronic eBook
4
Table of Contents: ...-Processing -- Parallelization of PUF Cells -- Pre-Selection -- PUF Biasing -- Two Stage PUF -- PUF...
View full text
Electronic eBook
5
Table of Contents: ... Systems -- to Multi-state Systems -- Universal Generating Function in Analysis of Series-Parallel Multi...
View full text
Electronic eBook
6
Subjects: ...Special purpose computers....
View full text
Electronic eBook
7
Table of Contents: ...Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order...
View full text
Electronic eBook
8
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
9
Table of Contents: ... -- Reconfigurable Computing Systems. Parallel Processing on Reconfigurable Computers. A Survey of Reconfigurable...
View full text
Electronic eBook
10
by Comninos, Peter., Comninos, Peter.
Published 2006
Subjects: ...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...
View full text
Electronic eBook
11
Table of Contents: ...1. Introduction -- 2.Preliminaries -- 3. Spaces of time functions consisting of input-output...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... to Solve Multiple Traveling Salesmen Problem by Genetic Algorithm -- Some Examples of Computing...
View full text
Electronic eBook
13
by Kogan, Boris Ja., Kogan, Boris Ja.
Published 2010
Table of Contents: ...Mathematical Modeling and Computer Simulation -- Electrophysiological and Electrochemical...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ... Loci and Envelopes -- ML4PG in Computer Algebra Verification -- Pervasive Parallelism in Highly...
View full text
Electronic eBook
15
Table of Contents: ...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... Injection for Improving Genetic Network Models -- Parallel Computation and Visualization Tools...
View full text
Electronic eBook
17
Subjects: ...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...
View full text
Electronic eBook
18
Published 2012
Table of Contents: ... Monitor-Camera Response Function -- Polyakov Action Minimization for Efficient Color Image Processing...
View full text
Electronic eBook
19
Published 2015
Table of Contents: ...Recursion theory and mathematical logic -- Computational complexity and Boolean functions -- Graph...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... Accumulations on Distributed-Memory Parallel Computers -- SymGrid-Par: Designing a Framework for Executing...
View full text
Electronic eBook