Stanford University Computer Science Department

Overview

Works:	2,480 works in 3,519 publications in 1 language and 8,216 library holdings
Genres:	Conference papers and proceedings Handbooks and manuals Bibliography Examinations Terminology Periodicals
Roles:	Other

Publication Timeline

Most widely held works about Stanford University

Bibliography of computer science reports, 1963-1992 by Thea Mashack( Book )
Computer science comprehensive examinations 1972-1978 by Stanford University( Book )
Computer science comprehensive examinations 1981/82-1984/85 by Stanford University( Book )
Bibliography of computer science reports by Stanford University( Book )
Computer science comprehensive examinations 1978/79-1980/81 by Stanford University( Book )

Qualifying examinations in computer science, 1965-1978 by Stanford University( Book )
Learning HCI design : mentoring project groups in a course on human-computer interaction by Stanford University( Book )
Computer science at Stanford, 1977-1978 by Stanford University( Book )
John McCarthy papers by John McCarthy( )
John George Herriot papers by John G Herriot( )
Knowledge engineering: artificial intelligence research at the Stanford Heuristic Programming Project :( )
Computer science at Stanford, 1977-78 by Jonathan King( Book )
D.A. Waterman papers by D. A Waterman( )
Oral history interview with Albert Hosmer Bowker by Albert H Bowker( )
Oral history interview with William F. Miller by William F Miller( )
3:16 BIBLE TEXTS ILLUMINATED production records by Donald Ervin Knuth( )
The living legends: a discussion about the establishment of the Computer Science Department at Stanford University :( )
Oral history interview with Edward Feigenbaum by Edward A Feigenbaum( )
Bibliography of Stanford computer science reports, 1963-1986 by Kathryn A Berg( Book )
Mathematical writing (CS 209) : by Donald Ervin Knuth( )

fewer

Most widely held works by Stanford University

New computing environments : parallel, vector and systolic( Book )

3 editions published in 1986 in English and held by 213 WorldCat member libraries worldwide

Parallel processing and medium-scale multiprocessors by Workshop on Parallel Processing and Medium-scale Multiprocessors( Book )

3 editions published in 1989 in English and held by 106 WorldCat member libraries worldwide

Mathematics of Computing -- Parallelism

An architecture for adaptive intelligent systems by Barbara Hayes-Roth( Book )

3 editions published in 1993 in English and held by 103 WorldCat member libraries worldwide

The architecture has been used to build experimental agents for several AIS niches. We illustrate the architecture and its support for adaptation with examples from Guardian, an experimental agent for ICU monitoring."

Abstraction planning in real time by Richard Washington( Book )

2 editions published in 1994 in English and held by 102 WorldCat member libraries worldwide

Abstract: "When a planning agent works in a complex, real-world domain, it is unable to plan for and store all possible contingencies and problem situations ahead of time. The agent needs to be able to fall back on an ability to construct plans at run time under time constraints. This thesis presents a method for planning at run time that incrementally builds up plans at multiple levels of abstraction. The plans are continually updated by information from the world, allowing the planner to adjust its plan to a changing world during the planning process. All the information is represented over intervals of time, allowing the planner to reason about durations, deadlines, and delays within its plan. In addition to the method, the thesis presents a formal model of the planning process and uses the model to investigate planning strategies. The method has been implemented, and experiments have been run to validate the overall approach and the theoretical model."

Model formulation for physics problem solving by Gordon S Novak( Book )

4 editions published in 1982 in English and held by 57 WorldCat member libraries worldwide

APL '91 Stanford University : conference proceedings by APL Conference( )

6 editions published in 1991 in English and held by 53 WorldCat member libraries worldwide

Mathematical writing by Donald Ervin Knuth( Book )

3 editions published between 1988 and 1989 in English and held by 42 WorldCat member libraries worldwide

The Euler project at Stanford by David R Siegel( Book )

1 edition published in 1985 in English and held by 27 WorldCat member libraries worldwide

A programming and problem solving seminar by Kenneth A Ross( Book )

7 editions published between 1983 and 1989 in English and held by 26 WorldCat member libraries worldwide

Memo by Stanford Artificial Intelligence Laboratory( )

in English and held by 26 WorldCat member libraries worldwide

Report by Stanford University( )

in English and held by 25 WorldCat member libraries worldwide

Selection of KSL/HPP research literature appropriate to AI

A log file service exploiting write-once storage by Stanford University( Book )

5 editions published between 1987 and 1989 in English and held by 23 WorldCat member libraries worldwide

We describe both the benefits and the drawbacks of this approach, and, in particular, describe how a general file system can be structured in this manner. A trace-driven simulation of such a file system shows that (with moderately large file caches) the overhead introduced by the underlying logging service is very low

First grade T[subscript E]X : a beginners T[subscript E]X manual by Arthur L Samuel( Book )

2 editions published in 1983 in English and held by 20 WorldCat member libraries worldwide

Bibliography, Department of Computer Science : technical reports, 1963-1988 by Taleen Marashian Nazarian( Book )

4 editions published between 1988 and 1990 in English and held by 19 WorldCat member libraries worldwide

Abstract: "This report lists, in chronological order, all reports published by the Stanford Computer Science Department (CSD) since 1963. Each report is identified by CSD number, author's name, title, number of pages and date. If a given report is available from the department at the time of this Bibliography's printing, price is also listed. For convenience, an author index is included in the back of the text. This report supersedes all previous editions. Some reports are noted with a National Technical Information Service (NTIS) retrieval number (i.e., AD- XXXXXX), if available from the NTIS. Other reports are noted with Knowledge Systems Laboratory (KSL) or Computer Systems Laboratory (CSL) numbers (KSL-XX-XX; CSL-TR-XX-XX), and may be requested from KSL or CSL, respectively."

Representation of knowledge : a section of the handbook of artificial intelligence edited by Avron Barr and Edward Feigenbaum by Avron Barr( Book )

7 editions published in 1980 in English and Undetermined and held by 19 WorldCat member libraries worldwide

This report is the section of the Handbook of Artificial Intelligence about knowledge representation research. The Handbook is a compendium of articles about AI ideas, techniques, and systems intended for non-AI scientists, engineers, and students. The material in this report discusses the problems addressed in knowledge representation research in AI and suggests some ways of comparing the various representation schemes. Additional articles describe the AI representation techniques: logic, procedural representations, semantic nets, production systems, direct (analogical) representations, semantic primitives, and frames. (Author)

Addition machines by Robert W Floyd( Book )

4 editions published in 1989 in English and held by 18 WorldCat member libraries worldwide

We will consider how efficiently an integer addition machine can do operations such multiplication, division, greatest common divisor, exponentiation, and sorting. We will also show that any addition machine with at least six registers can compute the ternary operation x[y/z] with reasonable efficiency, given x, y, z in A with z not equal to 0

Proving termination properties of PROLOG programs : a semantic approach by Marianne Baudinet( Book )

2 editions published in 1988 in English and held by 17 WorldCat member libraries worldwide

We present a method for proving termination properties of PROLOG programs including programs with cuts. Programs are viewed as functions mapping goals into finite or infinite sequences of answer substitutions. We associate with each program a system of functional equations whose least fixpoint is the meaning of the program. Then, various termination or non-termination properties as well as partial correctness statements can be proved by reasoning with the program equations and using fixpoint or structural induction. The method is amenable to automatic implementation

Toward agent programs with circuit semantics by Nils J Nilsson( Book )

3 editions published in 1992 in English and held by 17 WorldCat member libraries worldwide

The paper also speculates about how programs using these ideas could be automatically generated by artificial intelligence planning systems and adapted by learning methods."

Analogical and inductive reasoning by Stuart J Russell( Book )

5 editions published between 1986 and 1987 in English and held by 16 WorldCat member libraries worldwide

Chebyshev, Krylov, Lanczos : matrix relationships and computations by Mark David Kent( Book )

3 editions published in 1989 in English and held by 15 WorldCat member libraries worldwide

fewer

Audience Level