Moving a tube with electrostatic forces [.avi] Early demonstration of electrostatic forces moving a hand-made tube. (2008) (4MB) Examining a stress-induced sphere made by AFRL [.avi] Courtesy Rob Reid ...

I am an interaction designer and researcher with a joint appointment as an Associate Professor at the Human-Computer Interaction Institute and at the School of Design. Currently I am on sabbatical ...

(/) areas/ AI Software Packages doc/ Documentation relating to FTP Repositories. lang/ AI Programming Languages util/ Compression/Archiving Software See Also: readme ...

SEPA readings are from Pressman, Software Engineering: A Practitioner's Approach. They are optional (since the text is optional), but may be a useful supplement to the lectures. Other (non-SEPA) ...

Pancreatic cancer is a hideous disease; I am doing everything possible to raise awareness and research funding. You can support research into curing pancreatic cancer via the Lustgarten foundation, ...

Two papers discussing Triangle are available. The first one is primarily concerned with the Triangle software, data structures, and implementation details. The second one is solely concerned with the ...

This course covers both foundations and practical aspects of the automated analysis of programs, which is becoming increasingly critical to find software errors and assure program correctness. The ...

Model Checking is the process of determining whether or not a system model satisfies (is a model of) a property describing desired behavior of the system. Mathematically, system models take the form ...

[with B. Barak, O. Goldreich, R. Impagliazzo, A. Sahai, S. Vadhan, K. Yang] ...

Currently, the executables and source code for the MeshToolbox are not publicly available for downloading. If you would like access to the software for research purposes, please send email to me ...

As of 2014, I am a software consultant for Duke University on the AWARE Gigapixel Camera, living and working in Pittsburgh. Prior to that I worked for GigaPan. In the naughts I worked for Google and ...

MOSCOW - The struggling nation of Russia took a major step toward getting out of debt and achieving financial independence Monday, when it became an official Amway distibutor. "I can't express how ...