Harold Abelson, Gerald J. Sussman, Harold Abelson, Gerald Jay, Sussman Structure, Interpretation Of Computer, ...
Perville. Using the new ACM code of ethics in decision making. Communications
Cellular Gate Technology (2007)
Knight, Thomas F., Sussman, Gerald J.
We propose a biochemically plausible mechanism for constructing digital logic signals and gates of significant complexity within living cells. These mechanisms rely largely on co-opting existing...
Intelligence in Scientific Computing. (2006)
Abelson, Hal, Sussman, Gerald J.
Project objectives were to develop new computer representations and reasoning mechanisms that enable intelligent systems to autonomously design, monitor, and understand complicated physical systems,...
References Bibliography files bibliothek (2003)
Abelsona Harold Abelson, Gerald J. Sussman, Julie Sussman, Struktur Interpretation, Eine Informatik-einfuehrung
[Abidi92a] Mongi A. Abidi and R. C. Gonzalez, editors. Data Fusion in Robotics and
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...
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...
A.: Building Grounding Abstractions for Artificial Intelligence Programming (2001)
Gerald J. Sussman, Arthur C. Smith, Robert A. Hearn, Robert A. Hearn
Most Artificial Intelligence (AI) work can be characterized as either “high-level” (e.g., logical, symbolic) or “low-level ” (e.g., connectionist, behavior-based robotics). Each approach...
Lisp: A Language for Stratified Design, (1998)
Abelson, Harold, Sussman, Gerald J.
We exhibit programs that illustrate the power of Lisp as a language for expressing the design and organization of computational systems. The examples are chosen to highlight the importance of...
Numerical Evidence that the Motion of Pluto is Chaotic. (1998)
Sussman, Gerald J., Wisdom, Jack
The Digital Orrery has been used to perform an integration of the motion of the outer planets for 845 million years. This integration indicates that the long-term motion of the planet Pluto is...
Abstraction in Numerical Methods. (1998)
Halfant, Matthew, Sussman, Gerald J.
We illustrate how the liberal use of high-order procedural abstractions and infinite streams helps us to express some of the vocabulary and methods of numerical analysis. We develop a software...
Chaotic Evolution of the Solar System. (1998)
Sussman, Gerald J., Wisdom, Jack
We have used a novel computer with a novel integration technique to study the evolution of the entire planetary system for nearly 100 million years. This calculation confirms that the evolution of...
Comparison between Subsonic Flow Simulation and Physical Measurements of Flue Pipes. (1998)
Skordos, Panayotis A., Sussman, Gerald J.
Direct simulations of wind musical instruments using the compressible Navier Stokes equations have recently become possible through the use of parallel computing and through developments in numerical...
Amorphous and Cellular Computing (1998)
Abelson, Harold, Sussman, Gerald J.
The objective of this research is to create the architectural, algorithmic, and technological foundations for exploiting programmable materials. These are materials that incorporate vast numbers of...
Programming Technology for Molecular-Scale Computing (1998)
Abelson, Hal, Sussman, Gerald J., Knight, Thomas F., Nagpal, Radhika
Progress in molecular electronics is beginning to yield the technology for creating structures that incorporate myriads of nanoscale computationally active units. These could be fabricated at almost...
Apostolatos, Theocharis A., Cutler, Curt, Sussman, Gerald J., Thorne, Kip S.
Merging compact binaries are currently regarded as the most promising source of gravitational waves for the planned Earth-based LIGO/VIRGO laser-interferometer detector system, and will be an...
Chaotic Evolution of the Solar System (1992)
Sussman, Gerald J., Wisdom, Jack
The evolution of the entire planetary system has been numerically integrated for a time span of nearly 100 million years. This calculation confirms that the evolution of the solar system as a whole...
Chaotic Evolution of the Solar System (1992)
Sussman, Gerald J., Wisdom, Jack
The evolution of the entire planetary system has been numerically integrated for a time span of nearly 100 million years. This calculation confirms that the evolution of the solar system as a whole...
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...
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...
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...
SCHEME: An Interpreter for Extended Lambda Calculus (1975)
Inspired by ACTORS [Greif and Hewitt] [Smith and Hewitt], we have implemented an interpreter for a LISP-like language, SCHEME, based on the lambda calculus [Church], but extended for side effects,...
SCHEME: An Interpreter for Extended Lambda Calculus (1975)
Inspired by ACTORS [Greif and Hewitt] [Smith and Hewitt], we have implemented an interpreter for a LISP-like language, SCHEME, based on the lambda calculus [Church], but extended for side effects,...
Guy Lewis Steele, Gerald J. Sussman, Pixie Scheme (mac, Programmiersprache Umgewandelt
• kann zu imperativen,Logik basierten, OO
A scenario of Planning and Debugging in Electronic Circuit Design (1973)
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...
Some Aspects of Medical Diagnosis (1973)
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...
Some Aspects of Medical Diagnosis (1973)
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...
A scenario of Planning and Debugging in Electronic Circuit Design (1973)
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...
A Computational Model of Skill Acquisition (1973)
This thesis confronts the nature of the process of learning an intellectual skill, the ability to solve problems efficiently in a particular domain of discourse. The investigation is synthetic; a...
A Computational Model of Skill Acquisition (1973)
This thesis confronts the nature of the process of learning an intellectual skill, the ability to solve problems efficiently in a particular domain of discourse. The investigation is synthetic; a...
The FINDSPACE problem is that of establishing a volume in space where an object of specified dimensions will fit. The problem seems to have two subproblems: the hypothesis generation problem of...
The FINDSPACE problem is that of establishing a volume in space where an object of specified dimensions will fit. The problem seems to have two subproblems: the hypothesis generation problem of...