1
Published 2005
Table of Contents: ... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... Scope Analysis for Generic Programs on Arrays....
View full text
Electronic eBook
4
Table of Contents: ... Applications. What is Digital Signal Processing? Why Use Reconfigurable Computing for DSP? DSP Application...
View full text
Electronic eBook
5
by Hunt, John., Hunt, John.
Published 2014
Table of Contents: ... -- Further Traits -- Arrays -- Tuples -- Functional Programming in Scala -- Higher Order Functions...
View full text
Electronic eBook
6
Table of Contents: ...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...
View full text
Electronic eBook
8
by Zainal Azmi, Nurazlin
Published 2006
Subjects: ...Human-computer interaction...
View full text
Thesis
9
Published 2007
Table of Contents: ... with Multidimensional Arrays -- A New Memory Slowdown Model for the Characterization of Computing Systems -- SCRF – A...
View full text
Electronic eBook
10
Published 2015
Table of Contents: ... and Chomsky Languages in Array P System -- Sorting Using Spiking Neural P Systems with Anti-Spikes and Rules...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... and Pipelined Assembly Code -- Applying Data Copy to Improve Memory Performance of General Array Computations...
View full text
Electronic eBook
12
Subjects: ...Computers....
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... Processing Filters -- Learning Weights in Genetic Programs Using Gradient Descent for Object Recognition...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Concurrent Programs Using Linear Interfaces -- Dynamic Cutoff Detection in Parameterized Concurrent Programs...
View full text
Electronic eBook
15
Published 2015
Table of Contents: ... -- Chapter 6. On solvability for certain functional equations arising in dynamic programming -- Chapter 7...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata...
View full text
Electronic eBook
17
by Lent, Craig S., 1956-.
Published 2013
Table of Contents: ...: Writing Your Own MATLAB Functions Chapter 8: More MATLAB Data Classes and Structures Chapter 9: Building a...
Book
18
Published 2010
Table of Contents: ... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...
View full text
Electronic eBook
19
Published 2012
Table of Contents: ... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...
View full text
Electronic eBook