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
... Based CFG reachability problems, addressable using search algorithms, such as Evolutionary Programming...
View full text
Article
3
Published 2012
Table of Contents: ... Optimization -- Part III – New Directions and Applications -- Continuous Search in Constraint Programming...
View full text
Electronic eBook
4
Published 2013
Table of Contents: ... Database -- Types, Functional Programming and Atomic Transactions in Hardware Design -- Record Polymorphism...
View full text
Electronic eBook
5
Table of Contents: ...Differential Evolution -- Neoteric Differential Evolution -- Strategies of Search -- Exploration...
View full text
Electronic eBook
6
Published 2015
Table of Contents: ... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... Search Algorithm for the Mate-In-N Problem in Chess -- Fast Genetic Programming on GPUs -- FIFTHTM: A...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
View full text
Electronic eBook
9
Published 2013
Table of Contents: ... Programming: From Theory to Curry -- From Search to Computation: Redundancy Criteria and Simplification...
View full text
Electronic eBook
10
by Lee, Kent D., Lee, Kent D.
Published 2008
Table of Contents: ... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... Extension Trees -- Feature Construction Using Theory-Guided Sampling and Randomised Search -- Foundations...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... Manipulation -- Improving Saddleback Search: A Lesson in Algorithm Design -- Loopless Functional Algorithms...
View full text
Electronic eBook
14
Published 2010
Table of Contents: .... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ...Invited Talks -- Local Search: Simple, Successful, But Sometimes Sluggish -- When Conflicting...
View full text
Electronic eBook
17
Published 2015
Table of Contents: ... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... Bipartite Matching in Matrix Multiplication Time -- Algorithms I -- Optimal Resilient Sorting and Searching...
View full text
Electronic eBook
19
Published 2007
Table of Contents: ... Distance -- On Commutativity Based Edge Lean Search -- Commitment Under Uncertainty: Two-Stage Stochastic...
View full text
Electronic eBook
20
Published 2013
Table of Contents: ... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...
View full text
Electronic eBook