20090514 tech: Samsung launches mini notebooks