Stanford University Computer Science Department
Overview
Works: | 2,640 works in 3,666 publications in 1 language and 8,265 library holdings |
---|---|
Genres: | Conference papers and proceedings Academic theses Bibliographies Handbooks and manuals Terminology Catalogs Abstracts Examinations Periodicals |
Roles: | Other, Editor |
Classifications: | QA42, 808.066 |
Publication Timeline
.
Most widely held works about
Stanford University
- Bibliography of computer science reports, 1963-1992 by Thea Mashack( Book )
- Qualifying examinations in computer science, 1965-1978 by Stanford University( 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 )
- 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( )
- Stanford University, Associate Provost for Computing, records by William F Miller( )
- Oral history interview with William F. Miller by William F Miller( )
- John George Herriot papers by John G Herriot( )
- The living legends: a discussion about the establishment of the Computer Science Department at Stanford University :( )
- Bibliography of Stanford computer science reports, 1963-1986 by Kathryn A Berg( Book )
- Computer science at Stanford, 1977-78 by Jonathan King( Book )
- D.A. Waterman papers by D. A Waterman( )
- Knowledge engineering: artificial intelligence research at the Stanford Heuristic Programming Project :( )
- 3:16 BIBLE TEXTS ILLUMINATED production records by Donald Ervin Knuth( )
- Oral history interview with John George Herriot by John G Herriot( )
- Oral history interview with Albert Hosmer Bowker by Albert H Bowker( )
more

fewer

Most widely held works by
Stanford University
New computing environments : parallel, vector and systolic by Vector and Systolic Workshop on New Computing Environments: Parallel(
Book
)
3 editions published in 1986 in English and held by 210 WorldCat member libraries worldwide
3 editions published in 1986 in English and held by 210 WorldCat member libraries worldwide
Abstraction planning in real time by Richard Washington(
Book
)
3 editions published in 1994 in English and held by 105 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."
3 editions published in 1994 in English and held by 105 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."
An architecture for adaptive intelligent systems by
Barbara Hayes-Roth(
Book
)
3 editions published in 1993 in English and held by 104 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."
3 editions published in 1993 in English and held by 104 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."
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 102 WorldCat member libraries worldwide
Mathematics of Computing -- Parallelism
3 editions published in 1989 in English and held by 102 WorldCat member libraries worldwide
Mathematics of Computing -- Parallelism
Model formulation for physics problem solving by
Gordon S Novak(
Book
)
4 editions published in 1982 in English and held by 56 WorldCat member libraries worldwide
4 editions published in 1982 in English and held by 56 WorldCat member libraries worldwide
APL '91 Stanford University : conference proceedings by APL Conference(
)
5 editions published in 1991 in English and held by 49 WorldCat member libraries worldwide
5 editions published in 1991 in English and held by 49 WorldCat member libraries worldwide
Mathematical writing by
Donald Ervin Knuth(
Book
)
4 editions published between 1988 and 1989 in English and held by 41 WorldCat member libraries worldwide
Do you need help getting started as an individual or as a member of a group facing the need to prepare formal documents? This is an all-out attack on the problem of teaching people the art of mathematical writing. Learn how others have made use of student assistants in ways that benefit all parties. Read how feedback from students supplies early warning signals from instructors, as well as helping students clarify their thought processes. This book will give aid and encouragement to those wishing to teach a course in technical writing, or to those who wish to write themselves
4 editions published between 1988 and 1989 in English and held by 41 WorldCat member libraries worldwide
Do you need help getting started as an individual or as a member of a group facing the need to prepare formal documents? This is an all-out attack on the problem of teaching people the art of mathematical writing. Learn how others have made use of student assistants in ways that benefit all parties. Read how feedback from students supplies early warning signals from instructors, as well as helping students clarify their thought processes. This book will give aid and encouragement to those wishing to teach a course in technical writing, or to those who wish to write themselves
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
1 edition published in 1985 in English and held by 27 WorldCat member libraries worldwide
Report by
Stanford University(
)
in English and Undetermined and held by 27 WorldCat member libraries worldwide
in English and Undetermined and held by 27 WorldCat member libraries worldwide
Memo by
Stanford Artificial Intelligence Project(
)
in English and held by 26 WorldCat member libraries worldwide
in English and held by 26 WorldCat member libraries worldwide
A Programming and problem-solving seminar by
Tomas Rokicki(
Book
)
9 editions published between 1981 and 1989 in English and held by 24 WorldCat member libraries worldwide
This report contains edited transcripts of the discussions held in Stanford's Computer Science problem solving course, CS304, during winter quarter 1989. Since the topics span a large range of ideas in computer science, and since most of the important research paradigms and programming paradigms were touched on during the discussions, these notes may be of interest to graduate students of computer science at other universities, as well as to their professors and to professional people in the "real world."
9 editions published between 1981 and 1989 in English and held by 24 WorldCat member libraries worldwide
This report contains edited transcripts of the discussions held in Stanford's Computer Science problem solving course, CS304, during winter quarter 1989. Since the topics span a large range of ideas in computer science, and since most of the important research paradigms and programming paradigms were touched on during the discussions, these notes may be of interest to graduate students of computer science at other universities, as well as to their professors and to professional people in the "real world."
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
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
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 22 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)
7 editions published in 1980 in English and Undetermined and held by 22 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)
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
2 editions published in 1983 in English and held by 20 WorldCat member libraries worldwide
A network-centric design for relationship-based rights management by R. Martin Röscheisen(
Book
)
4 editions published between 1997 and 2001 in English and held by 20 WorldCat member libraries worldwide
Abstract: "Networked environments such as the Internet provide a new platform for communication and information access. In this thesis, we address the question of how to articulate and enforce boundaries of control on top of this platform, while enabling collaboration and sharing in a peer-to-peer environment. We develop the concepts and technologies for a new Internet service layer, called FIRM, that enables structured rights/relationship management. Using a prototpye implementation, RManage, we show how FIRM makes it possible to unify rights/relationship management from a user-centered perspective and to support full end-to-end integration of shared control state in network services and users' client applications. We present a network-centric architecture for managing control information, which generalizes previous, client/server-based models to a peer-to-peer environment. Principles and concepts from contract law are used to identify a generic way of representing the shared structure of different kinds of relationships."
4 editions published between 1997 and 2001 in English and held by 20 WorldCat member libraries worldwide
Abstract: "Networked environments such as the Internet provide a new platform for communication and information access. In this thesis, we address the question of how to articulate and enforce boundaries of control on top of this platform, while enabling collaboration and sharing in a peer-to-peer environment. We develop the concepts and technologies for a new Internet service layer, called FIRM, that enables structured rights/relationship management. Using a prototpye implementation, RManage, we show how FIRM makes it possible to unify rights/relationship management from a user-centered perspective and to support full end-to-end integration of shared control state in network services and users' client applications. We present a network-centric architecture for managing control information, which generalizes previous, client/server-based models to a peer-to-peer environment. Principles and concepts from contract law are used to identify a generic way of representing the shared structure of different kinds of relationships."
Bibliography, Department of Computer Science : technical reports, 1963-1988 by Taleen Marashian Nazarian(
Book
)
5 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."
5 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."
Addition machines by
Robert W Floyd(
Book
)
4 editions published in 1989 in English and held by 18 WorldCat member libraries worldwide
The register contents are assumed to belong to a given set A, which is an additive subgroup of the real numbers. If A is the set of all integers, we say the device is an integer addition machine; if A is the set of all real numbers, we say the device is a real addition machine
4 editions published in 1989 in English and held by 18 WorldCat member libraries worldwide
The register contents are assumed to belong to a given set A, which is an additive subgroup of the real numbers. If A is the set of all integers, we say the device is an integer addition machine; if A is the set of all real numbers, we say the device is a real addition machine
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
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
Generation of model-based knowledge-acquisition tools for clinical-trial advice systems by
Mark A Musen(
Book
)
3 editions published in 1988 in English and held by 17 WorldCat member libraries worldwide
3 editions published in 1988 in English and held by 17 WorldCat member libraries worldwide
Dynamics for robot control : friction modeling and ensuring excitation during parameter identification by
Brian Stewart Randall Armstrong(
Book
)
4 editions published in 1988 in English and held by 15 WorldCat member libraries worldwide
To accurately control any mechanism it is necessary to know the relationship between applied forces and the resultant motion. These forces may be simple to compute, as is the case for many single degree of freedom machines; or they may be quite complex. Two steps toward the accurate prediction of motion forces are presented in this thesis: an experimental investigation of friction, and a study of the sensitivity of robot inertial parameter identification methods to noise. The friction study begins with an experimental investigation of the most basic properties required for predictive modeling: repeatability and structure. Friction is found to be surprisingly repeatable; position dependence is found, and a destabilizing effect - the Stribeck effect - is observed at low velocity. The experimental work is specific to a particular mechanism: the PUMA 560 arm; but many of the observations, particularly the study of the Stribeck effect, will extend to a broad class of machines. Using the friction model developed and an inertial model reported elsewhere, open-loop control of the PUMA robot is carried out, demonstrating the accuracy of the friction model. When designing an identification experiment for a system described by nonlinear functions, such as those of manipulator dynamics, it is necessary to consider whether the excitation is sufficient to provide an accurate estimate of the parameters in the presence of experimental noise. (sdw)
4 editions published in 1988 in English and held by 15 WorldCat member libraries worldwide
To accurately control any mechanism it is necessary to know the relationship between applied forces and the resultant motion. These forces may be simple to compute, as is the case for many single degree of freedom machines; or they may be quite complex. Two steps toward the accurate prediction of motion forces are presented in this thesis: an experimental investigation of friction, and a study of the sensitivity of robot inertial parameter identification methods to noise. The friction study begins with an experimental investigation of the most basic properties required for predictive modeling: repeatability and structure. Friction is found to be surprisingly repeatable; position dependence is found, and a destabilizing effect - the Stribeck effect - is observed at low velocity. The experimental work is specific to a particular mechanism: the PUMA 560 arm; but many of the observations, particularly the study of the Stribeck effect, will extend to a broad class of machines. Using the friction model developed and an inertial model reported elsewhere, open-loop control of the PUMA robot is carried out, demonstrating the accuracy of the friction model. When designing an identification experiment for a system described by nonlinear functions, such as those of manipulator dynamics, it is necessary to consider whether the excitation is sufficient to provide an accurate estimate of the parameters in the presence of experimental noise. (sdw)
more

fewer

Audience Level
0 |
![]() |
1 | ||
Kids | General | Special |

- Wouk, Arthur 1924- Other Editor
- United States Army Research Office Mathematical Sciences Division Other
- Knuth, Donald Ervin 1938- Author
- Stanford University Heuristic Programming Project
- Manna, Zohar Author
- Clancey, William J. Author
- Hayes-Roth, Barbara Author
- Cheriton, David R. Thesis advisor Author
- Goldberg, Andrew V. Author
- Stanford University Knowledge Systems Laboratory
Useful Links
Associated Subjects
APL (Computer program language) Artificial intelligence California--Stanford Clinical trials Computer architecture Computerized typesetting Computer network architectures Computer networks Computer programming Computer programs--Correctness Computer programs--Termination Computers Computer science Computers--Study and teaching Computer storage devices Computer vision Cybernetics Electronic data processing Expert systems (Computer science) Fair use (Copyright) Feigenbaum, Edward A File organization (Computer science) Friction Human-computer interaction Knuth, Donald Ervin, Learning Machine theory Mathematical symbols (Typefaces) Mathematics Mathematics--Authorship Mathematics printing Multiprocessors Neurophysiology Operating systems (Computers) Parallel processing (Electronic computers) Parameter estimation Physics--Study and teaching--Data processing Problem solving Programming (Mathematics) Programming languages (Electronic computers)--Semantics Prolog (Computer program language) Registers (Computers) Robotics Robots--Dynamics Robots--Motion Stanford University.--Computer Science Department System design Technical writing Technical writing--Study and teaching Universities and colleges--Faculty
Covers
Alternative Names
Computer Science Department
Computer Science Dept.
Computer Science Division
CS
CS Department
Department of Computer Science
Dept. of Computer Science
School of Engineering Computer Science Department
School of Engineering Computer Science Dept.
School of Engineering CS Department
School of Engineering Department of Computer Science
School of Engineering Dept. of Computer Science
Stanford Computer Science
Stanford Computer Science Department
Stanford Department of Computer Science
Stanford Dept. of Computer Science
Stanford University Computer Science Dept.
Stanford University CS Department
Stanford University Department of Computer Science
Stanford University Dept. of Computer Science
Stanford University School of Humanities and Sciences Computer Science Department
Stanford University Stanford Computer Science
Languages