1
Published 2010
Table of Contents: ... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...
View full text
Electronic eBook
7
by Li, Xingfeng., Li, Xingfeng.
Published 2014
Table of Contents: ... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ...Types for Hierarchic Shapes -- Linear Regions Are All You Need -- Type-Based Amortised Heap-Space...
View full text
Electronic eBook
9
Published 2007
Table of Contents: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ... Systems with Cooperating Rules as Function Computing Devices -- Spiking Neural P Systems with Cooperating...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... Genetic Programming -- Selecting Local Region Descriptors with a Genetic Algorithm for Real-World Place...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... of Incomplete Data Based on Cluster Dispersion -- Automatic Detection of Active Region on EUV Solar Images Using...
View full text
Electronic eBook
14
Published 2013
Table of Contents: ... Based on a Kind of Improved Functional-Structural Model and Component Technology -- Edge Geometric...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... -- PROMESPAR: A High Performance Computing Implementation of the Regional Atmospheric Model PROMES...
View full text
Electronic eBook
16
Published 2013
Table of Contents: ... Bodies (D. Hug, I. Turk, W. Weil) -- Operator Functional Equations in Analysis (H. Konig, V. Milmann...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... Games -- Computing Symmetric Boolean Functions by Circuits with Few Exact Threshold Gates...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
View full text
Electronic eBook
19
Published 2015
Table of Contents: ...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook