Oregon Health & Science University

You've searched:

All Collections
  • All fields: V)
(379 results)



Display: 100




DALI: an untyped CBV operational semantics and equational theory for datatypes with binders...

DALI: an untyped CBV operational semantics and equational theory for datatypes with binders...
An idealized MetaML : simpler, and more expressive. (includes proofs)

An idealized MetaML : simpler, and more expressive. (includes proofs)
A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is...

A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is...
Separate polyvariant binding-time analysis

Separate polyvariant binding-time analysis
A dependently typed assembly language

A dependently typed assembly language
Sparse data-flow analysis for DAG parallel programs

Sparse data-flow analysis for DAG parallel programs
SARA : a Cray Assembly Language speedup tool

SARA : a Cray Assembly Language speedup tool
Canonization for disjoint unions of theories

Canonization for disjoint unions of theories
cse-82-002

cse-82-002
A matching process modulo a theory of categorical products

A matching process modulo a theory of categorical products
MetaML and multi-stage programming with explicit annotations

MetaML and multi-stage programming with explicit annotations
A reference chain approach for live variables

A reference chain approach for live variables
Pattern recognition in FP programs

Pattern recognition in FP programs
Window functions

Window functions
cse-94-026

cse-94-026
A recursive do for Haskell : design and implementation

A recursive do for Haskell : design and implementation
Type safe abstractions using program generators

Type safe abstractions using program generators
Functional analysis of programs

Functional analysis of programs
Timber : a programming language for real-time embedded systems

Timber : a programming language for real-time embedded systems
Using compact data representations for languages based on catamorphisms

Using compact data representations for languages based on catamorphisms
A type-directed, on-line partial evaluator for a polymorphic language

A type-directed, on-line partial evaluator for a polymorphic language
Type-driven defunctionalization

Type-driven defunctionalization
Parallel processing on the DENECLOR HEP with large grain data flow techniques

Parallel processing on the DENECLOR HEP with large grain data flow techniques
Key words in context, an example

Key words in context, an example
Momentum and optimal stochastic search

Momentum and optimal stochastic search
Automatic transformations by rewriting techniques

Automatic transformations by rewriting techniques
Automating synthesis by completion

Automating synthesis by completion
Thread transparency in information flow middleware

Thread transparency in information flow middleware
Predicate driven model of data flow computation

Predicate driven model of data flow computation
Recursive monadic bindings: technical development and details

Recursive monadic bindings: technical development and details
Data structures for optimizing programs with explicit parallelism

Data structures for optimizing programs with explicit parallelism
Optimal stochastic search and adaptive momentum

Optimal stochastic search and adaptive momentum
Ziprasidone statistical review

Ziprasidone statistical review
Optimizing algebraic programs

Optimizing algebraic programs
Infopipes: an abstraction for multimedia streaming

Infopipes: an abstraction for multimedia streaming
Constructive negation in Horn-clause programs

Constructive negation in Horn-clause programs
A model for execution of PARLOG on a distributed porcessor network

A model for execution of PARLOG on a distributed porcessor network
Three monads for continuations

Three monads for continuations
Multi-stage programming : axiomatization and type safety

Multi-stage programming : axiomatization and type safety
Fluoxetine

Fluoxetine
Fast exact multiplication by the Hessian

Fast exact multiplication by the Hessian
Support for groups within a formal semantics for proxy communicative acts

Support for groups within a formal semantics for proxy communicative acts
Supporting low latency TCP-based media streams

Supporting low latency TCP-based media streams
Quality of service specification for multimedia presentations

Quality of service specification for multimedia presentations
PIQUE : a relational query language without relations

PIQUE : a relational query language without relations
Infopipes for composing distributed information flows

Infopipes for composing distributed information flows
Pitch estimation

Pitch estimation
A categorical analysis of multi-level languages (extended abstract)

A categorical analysis of multi-level languages (extended abstract)
Termination issues in automated syntheses

Termination issues in automated syntheses
Notes for pipelines of transformations for ML

Notes for pipelines of transformations for ML
Functions + logic in theory and practice

Functions + logic in theory and practice
MetaMP : a higher level abstraction for message-passing programming

MetaMP : a higher level abstraction for message-passing programming
Translating an FP dialect to L - A proof of correctness

Translating an FP dialect to L - A proof of correctness
A coordinate-independent center manifold reduction

A coordinate-independent center manifold reduction
Mirtazapine

Mirtazapine
Type checking In Exp : an algebraic approach

Type checking In Exp : an algebraic approach
A survey of categorical computation : fixed points, partiality, combinators, ... control?

A survey of categorical computation : fixed points, partiality, combinators, ... control?
Inductive programming

Inductive programming
A generic specification of prettyprinters

A generic specification of prettyprinters
Prediction risk and architecture selection for neural networks

Prediction risk and architecture selection for neural networks
Venlafaxine

Venlafaxine
A connectivity analysis of a class of simple associative neural networks

A connectivity analysis of a class of simple associative neural networks
Constructive semantics for negation

Constructive semantics for negation
Dynamics of learning in feature discovery networks

Dynamics of learning in feature discovery networks
Weight space probability densities in stochastic learning : I. dynamics and equilibria

Weight space probability densities in stochastic learning : I. dynamics and equilibria
Weight space probability densities in stochastic learning : II. transients and basin hopping times

Weight space probability densities in stochastic learning : II. transients and basin hopping times
Letter-sequence dialogues

Letter-sequence dialogues
A transformation system combining partial evaluation with term rewriting

A transformation system combining partial evaluation with term rewriting
A VLSI interconnect structure for neural networks

A VLSI interconnect structure for neural networks
An efficient garbage collector for graph machines

An efficient garbage collector for graph machines
A connectionist/neural network bibliography, volume II

A connectionist/neural network bibliography, volume II
Database query optimization, proceedings of the ODBF workshop

Database query optimization, proceedings of the ODBF workshop
Analyzing programs with explicit parallelism

Analyzing programs with explicit parallelism
Sertraline

Sertraline
Towards an object-oriented query algebra

Towards an object-oriented query algebra
A semantics of compile-time Reflection

A semantics of compile-time Reflection
A smoothing regularizer for feedforward and recurrent neural networks

A smoothing regularizer for feedforward and recurrent neural networks
Adaptive principal component analysis

Adaptive principal component analysis
AAV based site-specific integration in vivo

AAV based site-specific integration in vivo
Smoothing regularizers for projective basis function networks

Smoothing regularizers for projective basis function networks
Script-based QOS specifications for multimedia presentations

Script-based QOS specifications for multimedia presentations
ASTRE: a transformation system using completion

ASTRE: a transformation system using completion
Reactive functional programming

Reactive functional programming
Quality of service semantics for multimedia database systems

Quality of service semantics for multimedia database systems
A connectionist/neural network bibliography

A connectionist/neural network bibliography
Flow graph anomalies : what's in a loop?

Flow graph anomalies : what's in a loop?
Demand-driven constant propagation

Demand-driven constant propagation
An efficient garbage collector for graph machines

An efficient garbage collector for graph machines
Paroxetine

Paroxetine
ASTRE : towards a fully automated program transformation System

ASTRE : towards a fully automated program transformation System
Bupropion SR

Bupropion SR
Representing roles in univeral scheme interfaces

Representing roles in univeral scheme interfaces
Microarchitecture specification for the Analog Processor Node, APN

Microarchitecture specification for the Analog Processor Node, APN
Feature discovery and Hebbian learning

Feature discovery and Hebbian learning
Efficient computation of sparse elements of the inverse of a sparse near-tridiagonal matrix with...

Efficient computation of sparse elements of the inverse of a sparse near-tridiagonal matrix with...
Type parametric programming

Type parametric programming
Monads, indexes and transformations

Monads, indexes and transformations
Reusing (shrink wrap) schemas by modifying concept schemas

Reusing (shrink wrap) schemas by modifying concept schemas
General Efficacy Page 10

General Efficacy Page 10
Mx a package for rapid mathematical prototyping and algorithm development with application to...

Mx a package for rapid mathematical prototyping and algorithm development with application to...

QuickView

Display a larger image and more item information when the pointer pauses over a thumbnail
on off
 

Layout options:

Thumbnail with title
Grid with smaller thumbnails and more detail
Select the collections to add or remove from your search
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
 
OK