Mitsubishi Electric Research Laboratories (2008)
Richard Wate Rs, Richard C. Waters
This technical report gathers together three papers that were written during 1991 and submitted for publication in ACM Lisp Pointers. Each paper describes a useful Lisp algorithm.
John W. Barrus, Richard C. Waters
To keep avatars and other moving objects on the ground in virtual environments, it is necessary to find the points where these objects should contact the terrain. This is often done using collision...
Via Abstraction, Richard C. Waters
Essentially all program translators (both source-to-source translators and compilers) operate via transliteration and refimment. The source program is first transliterated into the target language on...
COMPUTER AIDED EVOLUTIONARY DESIGN (2007)
Charles Rich, Howard E. Shrobe, Richard C. Waters
ABSTRACT- We report on a partially implemented interactive coraputor aided design tool for software engineering. A distinguishing characteristic of our project is its concern for the evolutioary...
The Programmer's Apprentice Project: (2007)
Charles Rich, Richard C. Waters
The goal of the Programmer's Apprentice project is to develop a theory of how expert programmers analyze, synthesize, modify, explain, specify, verify and document programs. This research goal...
Via Abstraction, Richard C. Waters
Essentially all program translators (both source-to-source translators and com-pilers) operate via transliteration and refinement. The source program is first transliterated into the target language...
Synchronizable Series Expressions: Part II: Overview of the Theory and Implementation (2007)
The benefits of programming in a functional style are well known. In particular, algorithms that are expressed as compositions of functions operating on series/vectors/streams of data elements are...
Obviously $ynchronizable Series Expressions: Part I: User's Manual for the OSS Macro Package (2007)
by
System Validation via Constraint Modeling by (2007)
Currently, there are two major approaches to system validation: testing and code inspection. Each of these methods indirectly checks the correctness of a system by attempting to find faults in the...
-Directed Programming Environment, Communications of the ACM 24,9 (September (2007)
Oc Paul Oman, Curtis R. Cook, Typographic Style, More Cosmetic, ...
Charles Rich, Richard C. Waters
Essentially all current software engineering tools share a common technological approach: They use a shallow representation of software objects and manipulate this representation using procedural...
The FliK protein and flagellar hook-length control (2007)
Waters, Richard C., O'Toole, Paul W., Ryan, Kieran A.
The bacterial flagellum is a highly complex prokaryotic organelle. It is the motor that drives bacterial motility, and despite the large amount of energy required to make and operate flagella, motile...
Synchronizable Series Expressions. Part 1. User's Manual for the OSS Macro Package. (2005)
The benefits of programming in a functional style are well known. In particular, algorithms that are expressed as compositions of functions operating on series/vectors/streams of data elements are...
Programming Viewed as an Engineering Activity. (2002)
Rich,Charles, Shrobe,Howard E., Waters,Richard C., Sussman,Gerald J., Hewitt,Carl E.
It is profitable to view the process of writing programs as an engineering activity. A program is a deliberately contrived mechanism constructed from parts whose behaviors are combined to produce the...
Computer Aided Evolutionary Design for Software Engineering. (2002)
Rich,Charles, Shrobe, Howard E., Waters, Richard C.
This memorandum reports on a partially implemented interactive computer aided-design tool for software engineering. A distinguishing characteristic of this project is its concern for the evolutionary...
A Hypothetical Monologue Illustrating the Knowledge Underlying Program Analysis. (2002)
Shrobe,Howard E., Waters,Richard C., Sussman,Gerald J.
Automated Program Analysis is the process of discovering decomposition of a system into sub-units such that the behavior of its parts. Analysis can be employed to increase the explanatory power of a...
Abstraction, Inspection and Debugging in Programming. (2002)
Rich,Charles, Waters,Richard C.
We believe that software engineering has much to learn from other mature engineering disciplines, such as electrical engineering, and that the problem solving behaviors of engineers in different...
Toward a Requirements Apprentice: On the Boundary between Informal and Formal Specifications, (1998)
Rich,Charles, Waters,Richard C.
Requirements acquisition is one of the most important and least well supported parts of the software development process. The Requirements Apprentice (RA) will assist a human analyst in the creation...
The Programmer's Apprentice: A Program Synthesis Scenario. (1998)
Rich,Charles, Waters,Richard C.
A scenario is used to illustrate the capabilities of a proposed Synthesis Apprentice. Given a specification, the Synthesis Apprentice will be able to make many of the design decisions needed to...
Formalizing Reusable Software Components in the Programmer's Apprentice. (1998)
Rich, Charles, Waters, Richard C.
There has been a long-standing desire in computer science for a way of collecting and using libraries of standard software components. Unfortunately, there has been only limited success in actually...
Program Translation via Abstraction and Reimplementation. (1998)
Essentially all program translators (both source-to-source and compilers) operate via transliteration and refinement. The source program is first transliterated into the target language on a...
Synchronizable Series Expressions. Part 2. Overview of the Theory and Implementation. (1998)
The benefits of programming in a functional style are well known. In particular, algorithms that are expressed as compositions of functions operating on series/vectors/streams of data elements are...
The Programmer's Apprentice Project: A Research Overview. (1998)
Rich, Charles, Waters, Richard C.
The goal of the Programmer's Apprentice project is to develop a theory of how expert programmers analyze, synthesize, modify, explain, specify, verify and document programs. This research goal...
System Validation via Constraint Modeling. (1998)
Currently, there are two major approaches to system validation: testing and code inspection. Each of these methods indirectly checks the correctness of a system by attempting to find faults in the...
Intelligent Assistance for Program Recognition, Design, Optimization, and Debugging. (1998)
Rich, Charles, Waters, Richard C.
The authors describe research in four related areas, based on the following theoretical principles: The assistant approach (incremental automation) and the exploitation of cliches' (using knowledge...
A Common Lisp Pretty Printing System. (1998)
XP provides efficient and flexible support for pretty printing in Common Lisp. Its single greatest advantage is that it allows the full benefits of pretty printing to be obtained when printing data...
Optimization of Series Expressions: Part 1: User's Manual for the Series Macro Package. (1998)
The benefits of programming in a functional style are well known. In particular, algorithms that are expressed as compositions of functions operating on series/vectors/streams of data elements are...
Optimization of Series Expressions. Part 2. Overview of the Theory and Implementation. (1998)
The benefits of programming in a functional style are well known. In particular, algorithms that are expressed as compositions of functions operating on sequences/vectors/streams of data elements are...
The Interactive Sharing Transfer Protocol - Version 1.0 (1997)
Richard C. Waters, David B. Anderson, Derek L. Schwenke
The Interactive Sharing Transfer Protocol #ISTP# supports the sharing of information about a virtual world among a group of user processes. ISTP allows the interoperation of diverse systems running...
Locales and Beacons: Efficient and Precise Support For Large Multi-User Virtual Environments (1996)
John W. Barrus, Richard C. Waters, David B. Anderson
There is a natural desire to make multi-user virtual environments large in spatial extent, in numbers of objects, and in numbers of users interacting with the environment. However, doing this brings...
Locales and beacons: Efficient and precise support for large multi-user virtual environments (1996)
John W. Barrus, Richard C. Waters, David B. Anderson
There is a natural desire to make multi-user virtual environments large in spatial extent, in numbers of objects, and in numbers of users interacting with the environment. However, doing this brings...
Mitsubishi Electric Research Laboratories (1996)
Cambridge Research Center, Richard C. Waters
The Spline scalable platform for interactive environments makes it easy to build virtual worlds where multiple people interact with each other and with computer simulations in a 3D visual and audio...
Yves Schabes, Richard C. Waters
Tree insertion grammar (TIG) is a tree-based formalism that makes use of tree substitution and tree adjunction. TIG is related to tree adjoining grammar. However, the adjunction permitted in TIG is...
That Lexicalizes, Context-free Grammar, Yves Schabes, Richard C. Waters
Tree insertion grammar (TIG) is a tree-based formalism that makes use of tree substitution and tree adjunction. TIG is related to tree adjoining grammar. However, the adjunction permitted in TIG is...
Mitsubishi Electric Research Laboratories (1994)
Cambridge Research Center, Richard C. Waters
The Audio Interactive Tutor (Tait) is an interactive audio/oral computer-aided study device. It is most easily understood in comparison to the familiar notion of self-study audio tapes, which are...
Lexicalized context-free grammars (1993)
Yves Schabes, Richard C. Waters
Lexicalized context-free grammar (LCFG) is an attractive compromise between the parsing ef-ficiency of context-free grammar (CFC) and the elegance and lexical sensitivity of lexicalized...
Challenges to the field of reverse engineering (1993)
Peter G. Selfridge, Richard C. Waters, Elliot J. Chikofsky
Driven by the economic importance of maintaining and improving the enormous base of existing software systems, the reverse engineering of software has been of rapidly growing interest over the past...
Yves Schabes, Richard C. Waters
Lexicalized context-free grammar (LCFG) is a tree-based formalism that makes use of both tree substitution and a restricted form of tree adjunction. Because of its use of adjunction, LCFG allows...
Some Useful Lisp Algorithms: Part 2 (1993)
This technical report gathers together three papers that were written during 1992 and 1993 and submitted for publication in ACM Lisp Pointers. Chapter 1 "Using the New Common...
Some Useful Lisp Algorithms: Part 2 (1993)
This technical report gathers together three papers that were written during 1992 and 1993 and submitted for publication in ACM Lisp Pointers. Chapter 1 "Using the New Common Lisp Pretty...
Stochastic Lexicalized Context-Free Grammar (1993)
Yves Schabes, Richard C. Waters
Stochastic lexicalized context-free grammar (SLCFG) is an attractive compromise between the parsing efficiency of stochastic context-free grammar (SCFG) and the lexical sensitivity of stochastic...
XP. A Common Lisp Pretty Printing System (1989)
XP provides efficient and flexible support for pretty printing in Common Lisp. Its single greatest advantage is that it allows the full benefits of pretty printing to be obtained when printing data...
XP. A Common Lisp Pretty Printing System (1989)
XP provides efficient and flexible support for pretty printing in Common Lisp. Its single greatest advantage is that it allows the full benefits of pretty printing to be obtained when printing data...
XP. A Common Lisp Pretty Printing System (1989)
XP provides efficient and flexible support for pretty printing in Common Lisp. Its single greatest advantage is that it allows the full benefits of pretty printing to be obtained when printing data...
XP. A Common Lisp Pretty Printing System (1989)
XP provides efficient and flexible support for pretty printing in Common Lisp. Its single greatest advantage is that it allows the full benefits of pretty printing to be obtained when printing data...
Optimization of Series Expressions: Part II: Overview of the Theory and Implementation (1989)
The benefits of programming in a functional style are well known. In particular, algorithms that are expressed as compositions of functions operating on series/vectors/streams of data elements are...
Intelligent Assistance for Program Recognition, Design, Optimization, and Debugging (1989)
Rich, Charles, Waters, Richard C.
A recognition assistant will help reconstruct the design of a program, given only its source code. A design assistant will assist a programmer by detecting errors and inconsistencies in his design...
Optimization of Series Expressions: Part I: User's Manual for the Series Macro Package (1989)
The benefits of programming in a functional style are well known. In particular, algorithms that are expressed as compositions of functions operating on series/vectors/streams of data elements are...
Optimization of Series Expressions: Part I: User's Manual for the Series Macro Package (1989)
The benefits of programming in a functional style are well known. In particular, algorithms that are expressed as compositions of functions operating on series/vectors/streams of data elements are...
Intelligent Assistance for Program Recognition, Design, Optimization, and Debugging (1989)
Rich, Charles, Waters, Richard C.
A recognition assistant will help reconstruct the design of a program, given only its source code. A design assistant will assist a programmer by detecting errors and inconsistencies in his design...
Optimization of Series Expressions: Part II: Overview of the Theory and Implementation (1989)
The benefits of programming in a functional style are well known. In particular, algorithms that are expressed as compositions of functions operating on series/vectors/streams of data elements are...
XP: A Common Lisp pretty printing system (1989)
XP provides efficient and flexible support for pretty printing in Common Lisp. Its single greatest advantage is that it allows the full benefits of pretty printing to be obtained when printing data...
XP: A Common Lisp pretty printing system (1989)
XP provides efficient and flexible support for pretty printing in Common Lisp. Its single greatest advantage is that it allows the full benefits of pretty printing to be obtained when printing data...
Intelligent assistance for program recognition, design, and debugging (1989)
Charles Rich, Richard C. Waters
We describe research in four related areas, based on the following theoretical principles: the assistant approach (incremental automation) and the exploitation of clichds (using knowledge of common...
Intelligent assistance for program recognition, design, and debugging (1989)
Charles Rich, Richard C. Waters
We describe research in four related areas, based on the following theoretical principles: the assistant approach (incremental automation) and the exploitation of clichs (using knowledge of common...
Obviously Synchronizable Series Expression: Part I: User's Manual for the OSS Macro Package (1988)
The benefits of programming in a functional style are well known. In particular, algorithms that are expressed as compositions of functions operating on series/vectors/streams of data elements are...
The benefits of programming in a functional style are well known. In particular, algorithms that are expressed as compositions of functions operating on series/vectors/streams of data elements are...
The benefits of programming in a functional style are well known. In particular, algorithms that are expressed as compositions of functions operating on series/vectors/streams of data elements are...
Obviously Synchronizable Series Expression: Part I: User's Manual for the OSS Macro Package (1988)
The benefits of programming in a functional style are well known. In particular, algorithms that are expressed as compositions of functions operating on series/vectors/streams of data elements are...
System Validation via Constraint Modeling (1988)
Constraint modeling could be a very important system validation method, because its abilities are complementary to both testing and code inspection. In particular, even though the ability of...
System Validation via Constraint Modeling (1988)
Constraint modeling could be a very important system validation method, because its abilities are complementary to both testing and code inspection. In particular, even though the ability of...
Automatic programming: Myths and prospects (1988)
Charles Rich, Richard C. Waters
utomatic programming has been
Obviously Synchronizable Series Expressions: Part I; User's Manual for the OSS Macro Package (1988)
by
The Programmer's Apprentice Project: A Research Overview (1987)
Rich, Charles, Waters, Richard C.
The goal of the Programmer's Apprentice project is to develop a theory of how expert programmers analyze, synthesize, modify, explain, specify, verify, and document programs. This research goal...
The Programmer's Apprentice: A Program Design Scenario (1987)
Rich, Charles, Waters, Richard C.
A scenario is used to illustrate the capabilities of a proposed Design Apprentice, focussing on the area of detailed, low-level design. Given a specification, the Design Apprentice will be able to...
Synchronizable Series Expressions: Part II: Overview of the Theory and Implementation (1987)
The benefits of programming in a functional style are well known. In particular, algorithms that are expressed as compositions of functions operating on series/vectors/streams of data elements are...
Synchronizable Series Expressions: Part II: Overview of the Theory and Implementation (1987)
The benefits of programming in a functional style are well known. In particular, algorithms that are expressed as compositions of functions operating on series/vectors/streams of data elements are...
The Programmer's Apprentice: A Program Design Scenario (1987)
Rich, Charles, Waters, Richard C.
A scenario is used to illustrate the capabilities of a proposed Design Apprentice, focussing on the area of detailed, low-level design. Given a specification, the Design Apprentice will be able to...
The Programmer's Apprentice Project: A Research Overview (1987)
Rich, Charles, Waters, Richard C.
The goal of the Programmer's Apprentice project is to develop a theory of how expert programmers analyze, synthesize, modify, explain, specify, verify, and document programs. This research goal...
Obviously Synchronizable Series Expressions: Part I: User's Manual for the OSS Macro Package (1987)
The benefits of programming in a functional style are well known. In particular, algorithms that are expressed as compositions of functions operating on series/vectors/streams of data elements are...
Obviously Synchronizable Series Expressions: Part I: User's Manual for the OSS Macro Package (1987)
The benefits of programming in a functional style are well known. In particular, algorithms that are expressed as compositions of functions operating on series/vectors/streams of data elements are...
Formalizing Reusable Software Components in the Programmer's Apprentice (1987)
Rich, Charles, Waters, Richard C.
There has been a long-standing desire in computer science for a way of collecting and using libraries of standard software components. The limited success in actually doing this stems not from any...
Formalizing Reusable Software Components in the Programmer's Apprentice (1987)
Rich, Charles, Waters, Richard C.
There has been a long-standing desire in computer science for a way of collecting and using libraries of standard software components. The limited success in actually doing this stems not from any...
The Programmer's Apprentice: A Program Design Scenario. Memo 933A (1987)
Charles Rich, Richard C. Waters
A scenario is used to illustrate the capabilities of a proposed Design Apprentice, focussing on the area of detailed, low-level design. Given a specification, the Design Apprentice will be able to...
Program Translation via Abstraction and Reimplementation (1986)
Essentially all program translators (both source-to-source translators and compilers) operate via transliteration and refinement. This approach is fundamentally limited in the quality of the output...
Program Translation via Abstraction and Reimplementation (1986)
Essentially all program translators (both source-to-source translators and compilers) operate via transliteration and refinement. This approach is fundamentally limited in the quality of the output...
Toward a Requirements Apprentice: On the Boundary Between Informal and Formal Specifications (1986)
Rich, Charles, Waters, Richard C.
Requirements acquisition is one of the most important and least well supported parts of the software development process. The Requirements Apprentice (RA) will assist a human analyst in the creation...
Toward a Requirements Apprentice: On the Boundary Between Informal and Formal Specifications (1986)
Rich, Charles, Waters, Richard C.
Requirements acquisition is one of the most important and least well supported parts of the software development process. The Requirements Apprentice (RA) will assist a human analyst in the creation...
KBEmacs: A Step Toward the Programmer's Apprentice (1985)
The Knowledge-Based Editor in Emacs (KBEmacs) is the current demonstration system implemented as part of the Programmer's Apprentice project. KBEmacs is capable of acting as a semi-expert assistant...
KBEmacs: A Step Toward the Programmer's Apprentice (1985)
The Knowledge-Based Editor in Emacs (KBEmacs) is the current demonstration system implemented as part of the Programmer's Apprentice project. KBEmacs is capable of acting as a semi-expert assistant...
PP: A LISP Pretty Printing System (1984)
The PP system provides an efficient implementation of the Common Lisp pretty printing function PPRINT. In addition, PP goes beyond ordinary pretty printers by providing mechanisms which allow the...
PP: A LISP Pretty Printing System (1984)
The PP system provides an efficient implementation of the Common Lisp pretty printing function PPRINT. In addition, PP goes beyond ordinary pretty printers by providing mechanisms which allow the...
PP: A Lisp Pretty Printing System (1984)
The PP system provides an efficient implementation of the Common Lisp pretty printing function ppl,f11'. In addition, pp goes beyond ordinary pretty printers by providing mechanisms which allow...
PP: A Lisp Pretty Printing System (1984)
The PP system provides an efficient implementation of the Common Lisp pretty printing function ppl,f11'. In addition, pp goes beyond ordinary pretty printers by providing mechanisms which allow...
Formalizing Reusable Software Components (1983)
Rich, Charles, Waters, Richard C.
This paper has been accepted by the ITT Workshop on Reusability in Programming, Newport RI, September 7-9, 1983.
Formalizing Reusable Software Components (1983)
Rich, Charles, Waters, Richard C.
This paper has been accepted by the ITT Workshop on Reusability in Programming, Newport RI, September 7-9, 1983.
LetS: An Expressional Loop Notation (1983)
Many loops can be more easily understood and manipulated if they are viewed as being built up out of operations on sequences of values. A notation is introduced which makes this viewpoint explicit....
LetS: An Expressional Loop Notation (1983)
Many loops can be more easily understood and manipulated if they are viewed as being built up out of operations on sequences of values. A notation is introduced which makes this viewpoint explicit....
GPRINT: A LISP Pretty Printer Providing Extensive User Format Control Mechanism (1982)
A Lisp pretty printer is presented which makes it easy for a user to control the format of the output produced. The printer can be used as a general mechanism for printing data structures as well as...
GPRINT: A LISP Pretty Printer Providing Extensive User Format Control Mechanism (1982)
A Lisp pretty printer is presented which makes it easy for a user to control the format of the output produced. The printer can be used as a general mechanism for printing data structures as well as...
A pretty printer is presented which makes it easy for a user to control the format of the output produced. The printer can be used as a general mechanism for printing data structures as well as...
The Disciplined Use of Simplifying Assumptions (1981)
Rich, Charles, Waters, Richard C.
Submitted to the ACM SIGSOFT Second Software Engineering Symposium: Workshop on Rapid Prototyping. Columbia, Maryland, April 19-21, 1982.
The Disciplined Use of Simplifying Assumptions (1981)
Rich, Charles, Waters, Richard C.
Submitted to the ACM SIGSOFT Second Software Engineering Symposium: Workshop on Rapid Prototyping. Columbia, Maryland, April 19-21, 1982.
GPRINT - A LISP Pretty Printer Providing Extensive User Format-Control Mechanism (1981)
A pretty printer is presented which makes it easy for a user to control the format of the output produced. The printer can be used as a general mechanism for printing data structures as well as...
GPRINT - A LISP Pretty Printer Providing Extensive User Format-Control Mechanism (1981)
A pretty printer is presented which makes it easy for a user to control the format of the output produced. The printer can be used as a general mechanism for printing data structures as well as...
Abstraction, Inspection and Debugging in Programming (1981)
Rich, Charles, Waters, Richard C.
We believe that software engineering has much to learn from other mature engineering disciplines, such as electrical engineering, and that the problem solving behaviors of engineers in different...
Abstraction, Inspection and Debugging in Programming (1981)
Rich, Charles, Waters, Richard C.
We believe that software engineering has much to learn from other mature engineering disciplines, such as electrical engineering, and that the problem solving behaviors of engineers in different...
This paper discusses three main problems associated with the control of the motion of a mechanical arm. 1) Transformation between different coordinate systems associated with the arm. 2) Calculation...
This paper discusses three main problems associated with the control of the motion of a mechanical arm. 1) Transformation between different coordinate systems associated with the arm. 2) Calculation...
A Hypothetical Monologue Illustrating the Knowledge Underlying Program Analysis (1979)
Shrobe, Howard E., Waters, Richard C., Sussman, Gerald J.
Automated Program Analysis is the process of discovering decompositions of a system into sub-units such that the behavior of the whole program can be inferred from the behavior of its parts. Analysis...
Computer Aided Evolutionary Design for Software Engineering (1979)
Rich, Charles, Shrobe, Howard E., Waters, Richard C.
We report on a partially implemented interactive computer aided design tool for software engineering. A distinguishing characteristic of our project is its concern for the evolutionary character of...
Computer Aided Evolutionary Design for Software Engineering (1979)
Rich, Charles, Shrobe, Howard E., Waters, Richard C.
We report on a partially implemented interactive computer aided design tool for software engineering. A distinguishing characteristic of our project is its concern for the evolutionary character of...
A Hypothetical Monologue Illustrating the Knowledge Underlying Program Analysis (1979)
Shrobe, Howard E., Waters, Richard C., Sussman, Gerald J.
Automated Program Analysis is the process of discovering decompositions of a system into sub-units such that the behavior of the whole program can be inferred from the behavior of its parts. Analysis...
Automatic Analysis of the Logical Structure of Programs (1978)
This report presents a method for viewing complex programs as built up out of simpler ones. The central idea is that typical programs are built up in a small number of stereotyped ways. The method is...
Automatic Analysis of the Logical Structure of Programs (1978)
This report presents a method for viewing complex programs as built up out of simpler ones. The central idea is that typical programs are built up in a small number of stereotyped ways. The method is...
Programming Viewed as an Engineering Activity (1978)
Rich, Charles, Shrobe, Howard E., Waters, Richard C., Sussman, Gerald J., Hewitt, Carl E.
It is profitable to view the process of writing programs as an engineering activity. A program is a deliberately contrived mechanism constructed from parts whose behaviors are combined to produce the...
Programming Viewed as an Engineering Activity (1978)
Rich, Charles, Shrobe, Howard E., Waters, Richard C., Sussman, Gerald J., Hewitt, Carl E.
It is profitable to view the process of writing programs as an engineering activity. A program is a deliberately contrived mechanism constructed from parts whose behaviors are combined to produce the...
Automatic analysis of the logical structure of programs / (1978)
Thesis--Massachusetts Institute of Technology.
A Method, Based on Plans, for Understanding How a Loop Implements a Computation (1977)
This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the laboratory's artificial intelligence research is provided...
A Method, Based on Plans, for Understanding How a Loop Implements a Computation (1977)
This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the laboratory's artificial intelligence research is provided...
Cryptology and Data Communications (1976)
Research reported herein was conducted at the Artificial Intelligence Laboratory, a Massachusetts Institute of Technology research program supported in part by the Advanced Research Projects Agency...
Cryptology and Data Communications (1976)
Research reported herein was conducted at the Artificial Intelligence Laboratory, a Massachusetts Institute of Technology research program supported in part by the Advanced Research Projects Agency...
A System for Understanding Mathematical FORTRAN Programs (1976)
This paper proposes a system which, when implemented, will be able to understand mathematical FORTRAN programs such as those in the IBM Scientific Subroutine Package. The system takes, as input, a...
A System for Understanding Mathematical FORTRAN Programs (1976)
This paper proposes a system which, when implemented, will be able to understand mathematical FORTRAN programs such as those in the IBM Scientific Subroutine Package. The system takes, as input, a...
A Mechanical Arm Control System (1974)
This paper describes a proposed mechanical arm control system and some of the lines of thought which led to this design. In particular, the paper discusses the basic systme required in order for the...
A Mechanical Arm Control System (1974)
This paper describes a proposed mechanical arm control system and some of the lines of thought which led to this design. In particular, the paper discusses the basic systme required in order for the...
Work reported herein was conducted at the Artificial Intelligence Laboratory, a Massachusetts Institute of Technology research program supported in part by the Advanced Research Projects Agency of...
Work reported herein was conducted at the Artificial Intelligence Laboratory, a Massachusetts Institute of Technology research program supported in part by the Advanced Research Projects Agency of...
The FliK protein and flagellar hook-length control
Waters, Richard C., O'Toole, Paul W., Ryan, Kieran A.
The bacterial flagellum is a highly complex prokaryotic organelle. It is the motor that drives bacterial motility, and despite the large amount of energy required to make and operate flagella, motile...