I have a set of time series sampled at 3051.7578Hz. I want to resample the data in 1000Hz (in millisecond resolution). What would be a good way? It seems that "resample" function only deals with a time series collected in a fixed rate (i.e. take only integers for sampling rate input). Should I design a sort of filter?