WorldCat Identities

Yale University Department of Computer Science

Overview
Works: 250 works in 264 publications in 1 language and 298 library holdings
Classifications: QA76.952, 539.720113
Publication Timeline
Key
Publications about Yale University Publications about Yale University
Publications by Yale University Publications by Yale University
Most widely held works about Yale University
 
Most widely held works by Yale University
Research report ( )
in English and held by 13 WorldCat member libraries worldwide
Bug catalogue II, III, IV ( Book )
1 edition published in 1985 in English and held by 5 WorldCat member libraries worldwide
Knowledge-based machine translation by Jaime G Carbonell ( Book )
1 edition published in 1978 in English and held by 4 WorldCat member libraries worldwide
This paper discusses knowledge-based machine translation research at Yale University Artificial Intelligence Laboratory. Our paradigm, illustrated by several working computer programs, is to analyze the source text into a language-free representation, apply world knowledge to infer information implicit in the input text, and generate the translation in various target languages. (Author)
Linda, the portable parallel ( Book )
1 edition published in 1988 in English and held by 4 WorldCat member libraries worldwide
Social processes and proofs of theorems and programs by Georgia Institute of Technology ( Book )
1 edition published in 1978 in English and held by 3 WorldCat member libraries worldwide
It has been extensively argued that the art and science of programming should strive to become more like mathematics. In this paper we argue that this point of view is correct, but that the reasons usually given for it are wrong. We present our view that mathematics is, rather than a formal process, an ongoing social process and that the formalistic view of mathematics is misleading and destructive for proving software. (Author)
The fast multipole method for gridless particle simulations by J. J Ambrosiano ( Book )
1 edition published in 1987 in English and held by 3 WorldCat member libraries worldwide
The numerical solution of the N- body problem is gravitation and electrostatics has traditionally been obtained via particle-in-cell methods (PIC) since direct evaluation of all pairwise interparticle forces, requiring 0(N-sq) operations, is too expensive. Recently, hierarchical solvers, which use data structures and lumped-force approximations, have made gridless simulations possible in O(N-log(N)) operations. In this paper, we explore the use of the fast multipole method (FMM) - a highly accurate order 0(N) algorithm - in particle simulations. The FMM is described with its relation to other methods. Technical considerations of gridless simulations such as discrete particle fluctuations, sampling errors and boundary conditions are discussed and compared with PIC methodology. Examples of electrostatic simulations in plasma physics are presented
An empirical investigation of the tacit plan knowledge in programming by Yale University ( Book )
2 editions published in 1982 in English and held by 3 WorldCat member libraries worldwide
Representation and translation by Steven Leo Lytinen ( Book )
2 editions published in 1982 in English and held by 3 WorldCat member libraries worldwide
Recursively generated neural networks by Eric Mjolsness ( Book )
2 editions published in 1987 in English and held by 2 WorldCat member libraries worldwide
Multiprocessor execution of functional programs njamin F. Goldberg by Yale University ( Book )
1 edition published in 1988 in English and held by 2 WorldCat member libraries worldwide
What do novices know about programming? ( Book )
1 edition published in 1982 in English and held by 2 WorldCat member libraries worldwide
Using Linda for supercomputing on a local area network by Robert A Whiteside ( Book )
2 editions published in 1988 in English and held by 2 WorldCat member libraries worldwide
Optimization in model matching and perceptual organization: a first look by Yale University ( Book )
2 editions published in 1988 in English and held by 2 WorldCat member libraries worldwide
Can parallel machines be made easy to program? A data-parallel model for functional languages by Yale University ( Book )
2 editions published in 1987 in English and held by 2 WorldCat member libraries worldwide
Uncovering principles of novice programming by Yale University ( Book )
2 editions published in 1982 in English and held by 2 WorldCat member libraries worldwide
A randomized algorithm for the approximation of matrices by Per-Gunnar Martinsson ( Book )
2 editions published in 2006 in English and held by 2 WorldCat member libraries worldwide
Given an m * n matrix A and a positive integer k, we introduce a randomized procedure for the approximation of A with a matrix Z of rank k. The procedure relies on applying A(exp T) to a collection of l random vectors, where l is an integer equal to or slightly greater than k; the scheme is e cient whenever A and A(exp T) can be applied rapidly to arbitrary vectors. The discrepancy between A and Z is of the same order as the (k+1)(exp st) greatest singular value sigma k+1 of A, with negligible probability of even moderately large deviations. The actual estimates derived in the paper are fairly complicated, but are simpler when l-k is a fixed small nonnegative integer. For example, according to one of our estimates for l-k = 20, the probability that the spectral norm [vertical[verticalA- Z[vertical[vertical is greater than 10 square root(k + 20)msigmak+1 is less than 10(exp -17). The paper contains a number of estimates for [vertical[verticalA-Z[vertical[vertical, including several that are stronger (but more detailed) than the preceding example; some of the estimates are e ectively independent of m. Thus, given a matrix A of limited numerical rank, such that both A and AT can be applied rapidly to arbitrary vectors, the scheme provides a simple, efficient means for constructing an accurate approximation to a Singular Value Decomposition of A. Furthermore, the algorithm presented here operates reliably independently of the structure of the matrix A. The results are illustrated via several numerical examples
The transfer of information and authority in a protection system by Matt Bishop ( Book )
1 edition published in 1979 in English and held by 2 WorldCat member libraries worldwide
We distinguish between the transfer of information and the transfer of authority, and extend the Take-Grant Model to describe the former. The conditions under which information (but not authority) might be transferred are given, one characterization using the rules for transferring information alone, and another combining them with the previously-developed rules for transferring authority. (Author)
Does a hippie own a hairdrier? by Roger C Schank ( Book )
2 editions published in 1979 in English and held by 2 WorldCat member libraries worldwide
Technical report ( )
in English and held by 2 WorldCat member libraries worldwide
Spanning balanced trees in Boolean cubes by Yale University ( Book )
2 editions published between 1987 and 1988 in English and held by 2 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.64 (from 0.00 for Multiproce ... to 1.00 for Technical ...)
Alternative Names

controlled identity Yale University

Yale University. Dept. of Computer Science
Languages
English (32)