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
Table of Contents: ... -- Reconfigurable Computing Systems. Parallel Processing on Reconfigurable Computers. A Survey of Reconfigurable...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ...On Optimising Shape-Generic Array Programs Using Symbolic Structural Information -- Index Vector...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...
View full text
Electronic eBook
5
by Hunt, John., Hunt, John.
Published 2014
Table of Contents: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
View full text
Electronic eBook
6
by Zainal Azmi, Nurazlin
Published 2006
Subjects: ...Human-computer interaction...
View full text
Thesis
7
Table of Contents: ...Preface -- Introduction -- Phylogenetic Data in R -- Phylogenetic Diversity -- Functional Diversity...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... Flow of a Generalized Bingham Fluid with Memory in a Movable Tube Using Computer Algebra -- Some...
View full text
Electronic eBook
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
by Zainal Azmi, Nurazlin
Published 2006
... mesh to represent the wrinkle by using the mouse. Points on the stroke are stored in a vector array...
View full text
Thesis
11
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
12
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
13
Subjects: ...Computers....
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... New Requirements Analysis Tool with Synthesis -- Comfusy: A Tool for Complete Functional Synthesis...
View full text
Electronic eBook
16
Table of Contents: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
View full text
Electronic eBook
17
Table of Contents: ...Computing with Formulas -- Loops and Lists -- Functions and Branching -- Input Data and Error...
View full text
Electronic eBook
18
Table of Contents: ...Preface -- Computing with Formulas -- Loops and Lists -- Functions and Branching -- User Input...
View full text
Electronic eBook
19
Published 2015
Table of Contents: ... -- Chapter 3. A Study of Generalized Invex Functions on Riemannian Manifold -- Chapter 4. Second order...
View full text
Electronic eBook
20
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