Carleman Type Estimates and Their Applications