We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
The implementation of telemanipulator systems for cardiac surgery enabled heart surgeons to perform delicate minimally invasive procedures with high precision under stereoscopic v...
Hermann Georg Mayer, Istvan Nagy, Alois Knoll, Eva...
We demonstrate a method for collaborative ranking of future events. Previous work on recommender systems typically relies on feedback on a particular item, such as a movie, and ge...
Einat Minkov, Ben Charrow, Jonathan Ledlie, Seth J...
■ Distraction and reappraisal are two commonly used forms of cognitive emotion regulation. Functional neuroimaging studies have shown that each one depends upon interactions bet...
Kateri McRae, Brent Hughes, Sita Chopra, John D. E...
—Medial representations of shapes are useful due to their use of an object-centered coordinate system that directly captures intuitive notions of shape such as thickness, bending...