1
Subjects: ...Functional programming (Computer science) Periodicals....
Full text available from Advanced Technologies & Aerospace Database: 01/01/2001 to 1 year ago
Full text available from Computer Science Database: 01/01/2001 to 1 year ago
Electronic Journal
2
Published 2010
Table of Contents: ...The NUTRA-SNACKS Project: Basic Research and Biotechnological Programs on Nutraceutics -- Overview...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... -- An Experiment in Robot Discovery with ILP -- Using the Bottom Clause and Mode Declarations on FOL Theory...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... mutation paradigm for Genetic Programming -- Introducing an Age-Varying Fitness Estimation Function -- EC...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ... Portfolio using Genetic Programming-based Load Models -- Maintenance of a Long Running Distributed Genetic...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... -- Determinacy Analysis for Logic Programs Using Mode and Type Information -- Mechanical Verification...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ... of Mode-Directed Tabling -- The Generalized Intensional Transformation for Implementing Lazy Functional...
View full text
Electronic eBook
9
Subjects: ...Building Types and Functions. https://scigraph.springernature.com/ontologies/product-market-codes/K...
View full text
Electronic eBook
10
by McNavage, Terry., McNavage, Terry.
Published 2010
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... of BPMN Models Using Event-B -- Developing Mode-Rich Satellite Software by Refinement in Event B...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... and Analyzing Centralized-Mode Architectural Connection -- Naive Architecting - Understanding the Reasoning...
View full text
Electronic eBook
13
Published 2014
Table of Contents: ... Systems -- DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification...
View full text
Electronic eBook
14
by Peck, Akkana., Peck, Akkana.
Published 2006
Table of Contents: ... and Touching Up -- Filters and Effects -- Color Manipulation, Channels, and Layer Modes -- Advanced Drawing...
View full text
Electronic eBook
15
Published 2014
Table of Contents: ... -- Symbolic Resource Bound Inference for Functional Programs -- Proving Non-termination Using Max-SMT...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... Applications -- Tuning Local Search by Average-Reward Reinforcement Learning -- Evolution of Fitness Functions...
View full text
Electronic eBook
17
Published 2012
Table of Contents: ... Algorithms of Computational -- Geometry Blending Functions for Hermite Interpolation by Beta-Function B...
View full text
Electronic eBook
18
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... Hash Function Designs -- The Hash Function Family LAKE -- SWIFFT: A Modest Proposal for FFT Hashing...
View full text
Electronic eBook
20
by Samans, James., Samans, James.
Published 2005
Table of Contents: ... and Walking Your Robosapien -- Robosapien Commands -- Programming Your Robosapien -- Program Modes -- Advanced...
View full text
Electronic eBook