KAUST CEMSE CNR Articles smart cities1