1.
|
Strained Silicon on Silicon by Wafer Bonding and Layer Transfer from Relaxed SiGe Buffer Isaacson, David M. - Taraschi, G. - Pitera, Arthur J. - Ariel, Nava - Fitzgerald, Eugene A. - Langdo, Thomas A.
|
2.
|
Roles of Knowledge in Motor Learning Atkeson, Christopher Granger
|
3.
|
The Programmer's Apprentice Project: A Research Overview Rich, Charles - Waters, Richard C.
|
4.
|
ONTIC: A Knowledge Representation System for Mathematics McAllester, David Allen
|
5.
|
TYPICAL: A Knowledge Representation System for Automated Discovery and Inference Haase, Kenneth W., Jr.
|
6.
|
Expressing Mathematical Subroutines Constructively Roylance, Gerald
|
7.
|
ARIADNE: Pattern-Directed Inference and Hierarchical Abstraction in Protein Structure Recognition Lathrop, Richard H. - Webster, Teresa A. - Smith, Temple F.
|
8.
|
Extracting Qualitative Dynamics from Numerical Experiments Yip, Kenneth Man-Kam
|
9.
|
Qualitative Depth and Shape from Stereo, in Agreement with Psychophysical Evidendence Weinshall, Daphna
|
10.
|
Issues in Model Based Troubleshooting Hamscher, Walter - Davis, Randall
|