Liz-
Which Sony has image stabilization? Is that one of the brand new ones that was announced at CES? Of the cameras you listed, I'd go with the Panasonic. It is sort of large for a second, point-and-shoot camera. But it, and its predecessor were both on the PCPhotoREVIEW.com top ten list for months. It's a proven design. Panasonic has other cameras with their "MEGA Optical Image Stabilizer" technology. Take a look at the 5 megapixel Lumix DMC-FX7. It's much smaller and may be more in line with what you're looking for.

You should also look at Konica Minolta cameras. They have their own, "Anti Shake," system. It moves the camera sensor instead of lens elements. Acording to the reviews it works very well. And it's available in smaller cameras as well as their top-of-the-line stuff.