1.
|
Predicting the triple beta-spiral fold from primary sequence data Scanlon, Eben Louis, 1974-
|
2.
|
Automated Reasoning About Classical Mechanics Wong, Leon
|
3.
|
Dynamic power allocation and routing for satellite and wireless networks with time varying channels Neely, Michael J. (Michael James), 1975-
|
4.
|
Reducing Impediments to Collaboration in a Virtual Design World Seshasai, Satwik - Gupta, Amar - Sainath, Tara
|
5.
|
Toward a Theory of Representation Design Baalen, Jeffrey Van
|
6.
|
Computer System for Visual Recognition Using Active Knowledge Freuder, Eugene C.
|
7.
|
BUILD: A Tool for Maintaining Consistency in Modular Systems Robbins, Richard Elliot
|
8.
|
Automated Design Data and Rationale Capture Gupta, Amar - Seshasai, Satwik - Yeung, Jason - Sainath, Tara
|
9.
|
Toward a Requirements Apprentice: On the Boundary Between Informal and Formal Specifications Rich, Charles - Waters, Richard C.
|
10.
|
The Role of Knowledge in Visual Shape Representation Saund, Eric
|