Learn More
Research over the past several decades has elucidated some of the mechanisms behind high speed, highly efficient and robust locomotion in insects such as cockroaches. Roboticists have used this information to create biologically-inspired machines capable of running, jumping, and climbing robustly over a variety of terrains. To date, little work has been(More)
The study documented the functional outcome in a consecutive series of 46 patients from an individual practice meeting the inclusion criteria of (1) a full-thickness rotator cuff tear seen by ultrasonography, arthrogram, or magnetic resonance imaging, (2) absence of a Workers' Compensation claim or previous surgery, (3) followup of at least 1 year, and (4)(More)
There is a growing awareness, both in industry and academia, of the crucial role of formally verifying the translation from high-level source-code into low-level object code that is typically performed by an optimizing compiler. Formally verifying an optimizing compiler, as one would verify any other large program, is not feasible due to its size, ongoing(More)
This paper describes generational reference counting, a new distributed storage reclamation scheme for loosely-coupled multiprocessors. It has a significantly lower communication overhead than distributed versions of conventional reference counting. Although generational reference counting has greater computational and space requirements than ordinary(More)
Several papers, have recently claimed that garbage collection can be performed on untagged data in the presence of ML-style type polymorphism. They rely on the ability to reconstruct the type of any reachable object during garbage collection. The bad news is that this is false—there can be reachable objects in the program whose type cannot be(More)
Onboard power remains a major challenge for miniature robotic platforms. Locomotion at small scales demands high power densities from all system components, while limited payload capacities place severe restrictions on the size of the energy source, resulting in integration challenges and short operating times when using conventional batteries. Wireless(More)
Transfer of the latissimus dorsi to the greater tuberosity has been used successfully in the treatment of massive rotator-cuff deficiency. For safe release and transfer of the tendon, the variations in the tendinous insertions of the latissimus dorsi and teres major onto the humerus need to be understood. In anatomical dissection of 12 cadavers, mean width(More)
Posterior capsular contracture is a common cause of shoulder pain in which the patient presents with restricted internal rotation and reproduction of pain. Increased anterosuperior translation of the humeral head occurs with forward flexion and can mimic the pain reported with impingement syndrome; however, the patient with impingement syndrome presents(More)