Hybrid Dynamic Programming

Hybrid Dynamic Programming

Bibliographic Details
Main Authors:	Bird, R, de Moor, O
Format:	Record
Published:	1994

Similar Items

From Dynamic Programming to Greedy Algorithms
by: Bird, R, et al.
Published: (1993)

The Algebra of Programming
by: Bird, R, et al.
Published: (1996)

Relational Program Derivation and Context−Free Language Recognition
by: Bird, R, et al.
Published: (1994)

Generic Functional Programming with Types and Relations
by: Bird, R, et al.
Published: (1996)

List Partitions
by: Bird, R, et al.
Published: (1993)

Solving Optimisation Problems with Catamorphisms
by: Bird, R, et al.
Published: (1993)

Pointwise relational programming
by: de Moor, O, et al.
Published: (2000)

Pointwise Relational Programming
by: de Moor, O, et al.
Published: (2000)

Synthesising graphics card programs from DSLs
by: Cartey, L, et al.
Published: (2012)

Synthesising graphics card programs from DSLs
by: Cartey, L, et al.
Published: (2012)

More Haste‚ Less Speed: Lazy Versus Eager Evaluation
by: Bird, R, et al.
Published: (1997)

Bridging the algorithm gap: A linear-time functional program for paragraph formatting
by: de Moor, O, et al.
Published: (1999)

Bridging the Algorithm Gap: A Linear−Time Functional Program for Paragraph Formatting
by: de Moor, O, et al.
Published: (1999)

Transforming the .NET Intermediate Language Using Path Logic Programming
by: Drape, S, et al.
Published: (2002)

Synthesising graphics card programs from DSLs.
by: Cartey, L, et al.
Published: (2012)

Hybrid Differential Dynamic Programming for Planar Manipulation Primitives
by: Doshi, Neel, et al.
Published: (2022)

A hybrid static/dynamic approach to scheduling stream programs
by: Tan, Ceryen (Ceryen C.)
Published: (2011)

On Transformations of Programs
by: Bird, R
Published: (1974)

Programs and Machines
by: Bird, R
Published: (1976)

A memory efficient reachability data structure through bit vector compression
by: van Schaik, S, et al.
Published: (2011)

Specifying and Implementing Refactorings
by: Schäfer, M, et al.
Published: (2010)

Speeding Up Programs
by: Bird, R
Published: (1974)

Transformational Programming and the Paragraph Problem
by: Bird, R
Published: (1986)

Tabulation Techniques for Recursive Programs
by: Bird, R
Published: (1980)

Algebraic Identities for Program Calculation
by: Bird, R
Published: (1989)

A Program to Solve Sudoku
by: Bird, R
Published: (2006)

Lectures on Constructive Functional Programming
by: Bird, R
Published: (1988)

Improving Programs by the Introduction of Recursion
by: Bird, R
Published: (1977)

Functional Quantum Programming
by: Mu, S, et al.
Published: (2001)

Sound and Extensible Renaming for Java
by: Schäfer, M, et al.
Published: (2008)

Formalising and Verifying Reference Attribute Grammars in Coq
by: Schäfer, M, et al.
Published: (2009)

A memory efficient reachability data structure through bit vector compression.
by: Schaik, S, et al.
Published: (2011)

The Promotion and Accumulation Strategies in Transformational Programming
by: Bird, R
Published: (1984)

Introduction to Functional Programming Using Haskell
by: Bird, R
Published: (1998)

A Calculus of Functions for Program Derivation
by: Bird, R
Published: (1990)

An Introduction to Functional Programming
by: Bird, R, et al.
Published: (1988)

Addendum to “The Promotion and Accumulation Strategies in Transformational Programming”
by: Bird, R
Published: (1985)

Using Circular Programs to Eliminate Multiple Traversals of Data
by: Bird, R
Published: (1984)

Analog and analog/hybrid computer programming /
by: 398327 Hausner, Arthur
Published: (1971)

Sound and Extensible Renaming for Java
by: Schaefer, M, et al.
Published: (2008)