This article describes an end-effector and a method for manipulating deformable objects with undefined shapes and geometry such as sacks and bags. The first prototype end-effector, designed for applications in the U.S. Postal Service, comprises two parallel rollers with gripping sur-faces, where the rollers are pushed towards each other. When the end-effector comes onto contact with any portion...

Preliminary work introduced Non-Renegable Selective Acknowledgments (NR-SACKs) and showed they (i) better utilize a data sender’s memory in both SCTP and CMT, and (ii) improve throughput in CMT. In this paper, we provide the latest specification of NR-SACKs, and extend the investigation of throughput improvements that NR-SACKs can provide. Using ns-2 simulation, for various loss conditions and ...

We show that Σ3-absoluteness under Sacks forcing is equivalent to the Sacks measurability of every ∆2 set of reals. We also show that Sacks forcing is the weakest forcing notion among all of the preorders which always add a new real with respect to Σ3 forcing absoluteness.

Libman-Sacks endocarditis of the mitral valve was first described by Libman and Sacks in 1924. Currently, the sterile verrucous vegetative lesions seen in Libman-Sacks endocarditis are regarded as a cardiac manifestation of both systemic lupus erythematosus (SLE) and the antiphospholipid syndrome (APS). Although typically mild and asymptomatic, complications of Libman-Sacks endocarditis may inc...

Many types of dynamic system can be modelled using ordinary differential equations . Recently, there has been much interest in the A.I . community in reasoning about adynamic system by reasoning from this underlying differential equation model. Current approaches fall on a spectrum ranging from numerical (Yip 87, Yip 88], interval [Berleant & Kuipers 88, Davis 87b] through qualitative [Forbus 8...

In this thesis, we effectively construct a predecessor function for the type definitions in the raw hierarchy for any weakly-scattered theory. Using this predecessor function, we improve a recent bounding result by Sacks for weakly-scattered theories by removing the assumption of a predecessor function from the k-splitting hypothesis. We begin by giving an introduction to the infinitary logic C...

Abstract This essay discusses the brief but extensive correspondence Soviet neuro-psychologist Alexander Luria exchanged with his younger American colleague Oliver Sacks between 1973 and 1977, year died. Sacks, whose case histories went on to become mainstream bestsellers, always expressed indebtedness Luria, warm detailed approach writing about patients’ peculiar sometimes distressing neurolog...

Libman-Sacks endocarditis, characterized by sterile fibrofibrinous vegetations that have the potential to develop anywhere on the endocardial surface, was originally reported in 1924. The mitral valve is most commonly affected, followed by the aortic valve, whereas tricuspid and pulmonary valves are seldom involved. Libman-Sacks vegetations can be found in approximately 1 of 10 patients with sy...