Specification and Verification of a Topology-Aware Access Control Model for Cyber-Physical Space A Cascade Model-Aware Generative Adversarial Example Detection Method Access Control and Authorization in Smart Homes: A Survey Deep Model Compression for Mobile Platforms:A Survey Linz-a modern center of economy and a social model city A Novel Multilevel Index Model for Distributed Service Repositories Conflict Analysis and Detection Based on Model Checking for Spatial Access Control Policy A Flexible Space-Time Tradeoff on Hybrid Index with Bicriteria Optimization Building a Post-Layout Simulation Performance Model with Global Mapping Model Fusion Technique LKLR: A Local Tangent Space-Alignment Kernel Least-Squares Regression Algorithm