1.
|
Generating Circuit Tests by Exploiting Designed Behavior Shirley, Mark Harper
|
2.
|
TYPICAL: A Knowledge Representation System for Automated Discovery and Inference Haase, Kenneth W., Jr.
|
3.
|
Automatic Analysis and Synthesis of Controllers for Dynamical Systems Based On P Zhao, Feng
|
4.
|
Identity politics and the new genetics: re/creating categories of difference and belonging Skinner, David - Schramm, Katherina - Rottenburg, Richard
|
5.
|
Foundations of Actor Semantics Clinger, William Douglas
|
6.
|
Automated Reasoning About Classical Mechanics Wong, Leon
|
7.
|
Procedures as a Representation for Data in a Computer Program for Understanding Natural Language Winograd, Terry
|
8.
|
Intelligence by Design: Principles of Modularity and Coordination for Engineerin Bryson, Joanna J.
|
9.
|
Towards a comparison criteria for CDeLP Cobo, María Laura - Simari, Guillermo Ricardo
|
10.
|
Solving constrained optimization using a T-Cell artificial immune system Aragón, Victoria S. - Esquivel, Susana Cecilia
|