Index Catalog // ScholarsArchive@OSU

Start Over

Filtering by: Creator Mulligan, Daniel M. Degree Field Computer Science File Format application/pdf

A SAT-based planning framework for optimizing resource production

Creator:

Ventura, Christopher

Abstract:

Domain-independent automated planning is concerned with computing a sequence of actions that can transform an initial state into a desired goal state. Resource production domains form an interesting class of such problems, in that they typically require reasoning about concurrent durative-actions with continuous effects while minimizing some cost function. Although...

Resource Type:

Masters Thesis

Full Text:

Stephen Wolfman and Daniel Weld (see [23], [21], [22]), that combines a satisfiability (SAT) solver with
A domain-specific embedded language for probabilistic programming

Creator:

Kollmansberger, Steven

Abstract:

Functional programming is concerned with referential transparency, that is, given a certain function and its parameter, that the result will always be the same. However, it seems that this is violated in applications involving uncertainty, such as rolling a dice. This thesis defines the background of probabilistic programming and domain-specific...

Resource Type:

Masters Thesis

Full Text:

operation of the monadic bind function. (>>=) :: Monad m => m a -> (a -> m b) -> m b In our particular
Interactive 3D line integral convolution on the GPU

Creator:

Lakshmanan, Vasumathi

Abstract:

The Line Integral Convolution (LIC) is a mainstay of flow visualization. It is, however, computationally intensive, which limits its interactivity. Also, when used to view three-dimensional (3D) vector fields, the resulting images are dense and cluttered, making it difficult to perceive the flow on the interior parts of the field....

Resource Type:

Masters Thesis