Physical, Biological and Social Systems

| A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z |

A

• Biological Networks Design Principle: Discovery through Dynamic Optimization
     Bambang Adiwijaya, Paul I. Barton, Tomás Lozano-Pérez & Bruce Tidor
• Interacting with Speech and Sketching in a Design Environment
     Aaron D. Adler & Randall Davis
• Inverse Design of Molecular Libraries Enriched in Minimal Inhibitors of HIV-1 Protease
     Michael D. Altman & Bruce Tidor
• Using Optimal Time Varying Inputs to Probe Biochemical Signaling Networks
     Joshua F. Apgar, Drew Endy, Forest M. White, & Bruce Tidor
• Re-engineering Enzyme Catalysis Using Computer Modeling and Combinatorial Libraries
     Kathryn A. Armstrong & Bruce Tidor
• Socially Situated Learning for A Humanoid Robotic Creature
     Lijin Aryananda

B

• EGGWAY: A Dynamically Stable Robot with an Action-based Social Interface
     Jessica Banks
• Numerical Methods for Biomolecule Electrostatics
     Jaydeep P. Bardhan, Michael D. Altman, Jacob K. White & Bruce Tidor
• Robust Estimation for Mobile Systems
     Lars Blackmore & Brian Williams
• Robust Distributed Coordination Of Heterogeneous Robots Through Temporal Plan Networks
     Stephen A. Block & Brian C. Williams

C

• Model-based Temporal Planner for Engineering Operation
     Seung H. Chung & Brian C. Williams
• The Creation of Cytosine Phosphorybosyltransferase
     Surasak Chunsrivirot, Michael D. Altman, James R. Williamson & Bruce Tidor

D

• MultiShady: A Bipartite Heterogeneous Unit Modular Self-Reconfigurable Robot
     Carrick Detweiler, Alex Hornstein, Keith Kotay, Peter Osagie, Daniela Rus, Paulina Varshavskaya,
     Iuliu Vasilescu, Marsette A. Vona, Justin Werfel & Yeoreum Yoon
• Shady: A Robotic Sunshade
     Carrick Detweiler, Alex Hornstein, Keith Kotay, Peter Osagie, Daniela Rus, Paulina Varshavskaya,
     Iuliu Vasilescu, Marsette A. Vona, Justin Werfel & Yeoreum Yoon
• Distributed Robust 3D Localization in the Real World
     Carrick Detweiler, John Leonard, Daniela Rus & Seth Teller

E

• A Behavior Based Approach to Humanoid Robot Manipulation
     Aaron Edsinger
• Conflict-Directed Search through Disjunctive Temporal Plan Networks
     Robert T. Effinger & Brian C. Williams
• Multimodal Natural Language Processing
     Jacob Eisenstein & Randall Davis
• Efficient Mode Estimation through Knowledge Compilation
     P. Elliott, B. Williams & O. Martin

F

• Comptuational Principles of Human Analogical Reasoning
     Mark A. Finlayson & Patrick H. Winston
• LambdaLearner: Learning Skills in Deterministic Domains
     Harold Fox

G

• Computational Design of Calcium-Sensitive Protein Sensors
     David F. Green, Alan Jasanoff & Bruce Tidor

H

• Developer Tools for Sketch Recognition User Interface Developers
     Tracy Hammond & Randall Davis
• A K-Line-Based Language for Artificial Intelligence Programming
     Robert A. Hearn
• Safe Execution of Bipedal Walking Tasks from Biomechanical Principles
     Andreas Hofmann
• Heuristic Nolli Map: Representing the Public Domain in Urban Space
     Jie-Eun Hwang & Kimberle Koile

J

• Evaluating and Extending a Human Cerebellar Balance Control Model
     Sungho Jo & Steve G. Massaquoi
• Computational Analysis and Prediction of Phosphopeptide Binding Sites
     Brian A. Joughin, Michael B. Yaffe & Bruce Tidor

K

• A Design for a Self-Assembling Robot Arm
     Myunghee Kim & Jeff Weber
• The Classroom Learning Partner: Promoting Meaningful Instructor-Student Interactions in Large Classes
     Kimberle Koile & Howard Shrobe
• The Molecule Self-Reconfiguring Robot
     Keith Kotay & Daniela Rus

L

• Robust, Plan-Driven Adaptation and Control of UAVs
     Thomas Léauté, Hui Li & Brian C. Williams
• Coordinating Agile Systems Through The Model-based Execution of Temporal Plans
      Thomas Léauté & Brian C. Williams
• Efficiently Solving Hybrid Logic/Optimization Problems Through Generalized Conflict Learning
     Hui Li & Brian C. Williams
• Antibody Affinity Maturation Using Computational Protein Design
     Shaun M. Lippow, K. Dane Wittrup & Bruce Tidor
• Extraction of Diseases from Discharge Summaries
     William Long
• The Effect Of Location, Schedules, And To-Do Lists On Unscheduled Time
     Gary Look, Robert Laddaga & Howard Shrobe
• The Stata Walking Guide: Generating Descriptive Walking Directions
     Gary Look, Cyrus-Charles Weaver, Robert Laddaga & Howard Shrobe

M

• Diagnosis as Approximate Belief State Enumeration for Probabilistic Concurrent Constraint Automata
     Oliver B. Martin & Brian C. Williams
• Recompiling Utility Functions in a Changing World
     Michael McGeachie & Jon Doyle
• Model-based Monitoring and Diagnosis of Mixed Hardware-Software Systems
     Tsoline Mikaelian & Brian C. Williams
• Robust Distributed Sensor Network Localization
     David Moore, John Leonard, Daniela Rus & Seth Teller
• Argos: GUI-based Control for Moving Data Between Multiple Displays
     Matthew Morrissette & Kimberle Koile

O

• White Matter Fiber Tract Clustering
     Lauren O'Donnell & Carl-Fredrik Westin
• HiT: Mutlimedia Summarization System for Personalized Baseball Highlights
     Alice Oh, Howard Shrobe, & Robert Laddaga
• Modeling and Controlling Uncertainty in SLAM
     Edwin Olson, John Leonard & Seth Teller
• Task-level Distributed Control for Robot Self-organization
     Peter Osagie & Daniela Rus

P

• iPlot: An Intelligent Lighting Design Assistant
     Andrew Perelson & Kimberle Koile
• DNA-Protein Binding and Games
     Luis Perez-Breva, Luis E. Ortiz, Tommi Jaakkola & Arvind Jammalamadaka

Q

• Boolean Constraint Propagation in SAT Solvers
     Shen Qu & Brian C. Williams

R

• Broad and Narrow Specificity in Molecular Design
     Mala L. Radhakrishnan & Bruce Tidor
• Multi-BUS: An Algorithm for Resolving Multi-species Gene Correspondence and Gene Family Relationships
     M. Rasmussen & M. Kellis
• Ensemble Control
     Sai Ravela & Jessica Banks
• A Model-Based System Supporting Automatic Self-Regeneration of Critical Software
     Paul. Robertson & Brian C. Williams
• Active Exploration for Maximising Map Accuracy
     Nicholas Roy
• Finding Approximate POMDP solutions Through Belief Compression
     Nicholas Roy

S

• Automated Model Generation Using Qualitative Abstraction
     Martin Sachenbacher & Brian C. Williams
• Constraint Optimization for Model-based Programming
     Martin F. Sachenbacher, Brian C. Williams & Tsoline Mikaelian
• Modeling Sketching as a Dynamic Process
     Tevfik Metin Sezgin & Randall Davis
• Engineering In Vivo Transcription-Based Digital Logic
     Reshma P. Shetty & Thomas F. Knight, Jr.
• Classifying Inter-concept Relations In Medical Discharge Summaries Using Linguistic Information
     Tawanda C. Sibanda, Ozlem Uzuner & Peter Szolovits

T

• Nonlinear Models of Purkinje Cell Simple Spikes and Cerebrocerebellar Control During Primate Circular Arm Movement
     Kazutaka Takahashi & Steve G. Massaquoi
• The Re:Search Engine -- Helping People Return to Information on the Web
     Jaime Teevan
• Evolving a Control System on a Field Programmable Analog Array
     Michael A. Terry & Una-May O'Reilly
• Tapping Into Touch
     Eduardo Torres-Jara, Lorenzo Natale & Paul Fitzpatrick

U

• Automatically Generating Medical Ontologies
     Ozlem Uzuner, Tawanda Sibanda & Peter Szolovits

V

• Adaptive Architectures for Modular Robots
     Paulina Varshavskaya, Leslie P. Kaelbling & Daniela Rus
• Optical and Acoustical Underwater Sensor Network
     Iuliu Vasilescu, Keith Kotay & Daniela Rus
• Least Surprising Interaction with Constrained Geometry: Applications in CAD and Modular Robotics
     Marsette A. Vona
• VIsolate: Voronoi Toolpaths for PCB Mechanical Etch
     Marsette A. Vona & Daniela Rus

W

• Extending Stigmergy in Swarm Construction
     Justin Werfel, Yaneer Bar-Yam & Radhika Nagpal
• Taxonomy of Landmarks and Spatial Reasoning in Route Representation
     Emily Whiting & Seth Teller
• Understanding Oscillatory Biological Systems Using Dynamic Optimization Techniques
     A. Katharina Wilkins, Paul I. Barton & Bruce Tidor

Z

• Molecular Transduction of Mechanical Signals: Simulation Study of Force-Induced Conformational Change
     Aurore Zyto, Roger D. Kamm & Bruce Tidor