publicaciones seleccionadas documento A Semidefinite Formulation of the Shifting Load Management 2018 Parkurbike: An IoT-based system for bike parking occupation checking 2017