Seismic

Mitigation of the effects of seismic noise in gravitational-wave detectors