KAUST CEMSE CNR Articles smart cities4