A Demand Truncation and Migration Poisson Model for Real Demand Inference in Free-Floating Bike-Sharing System | IEEE Journals & Magazine | IEEE Xplore