A framework for automated micromanipulation of microscopic objects using visual information is developed and applied to diverse problems in biology and material science. These applications include microdissection of stretched and immobilized DNA molecules using an optical microscope and dynamic studies of crystal structure formation observed with a high power transmission electron microscope. M...

The current automotive electrical/electronic (E/E) systems are characterized by proprietary solutions, which seldom allow the exchange of applications between both automotive OEMs and their suppliers. It is especially difficult to change ECU suppliers or reuse the software in a new generation of products. Increasing functional requirements in automotive E/E vehicle development will significantl...

The Biphase Mark Protocol (BMP) and 8N1 Protocol are physical layer protocols for data transmission. We present a generic model in which timing and error values are parameterized by linear constraints, and then we use this model to verify these protocols. The verifications are carried out using SRI’s SAL model checker that combines a satisfiability modulo theories decision procedure with a boun...

AQME, automated quantum mechanical environments, is a free and open-source Python package for the rapid deployment of workflows using cheminformatics chemistry. AQME integrate tasks performed across multiple computational chemistry packages data formats, preserving all protocols, data, metadata machine human users to access reuse. has modular structure independent modules that can be implemente...

IMPORTANCE Recovery from facial nerve transection is typically poor, but daily mechanical stimulation of the face in rats has been reported to remarkably enhance functional recovery after facial nerve transection and suture repair. This phenomenon needs additional investigation because of its important clinical implications. OBJECTIVE To determine whether automated mechanical stimulation of the...