Cyber Physical Systems About us 天发娱乐棋牌_天发娱乐APP-官网|下载 people Research projects Publications Seminars and events Join us Cyber Physical Systems Publications 天发娱乐棋牌_天发娱乐APP-官网|下载 projects have an impact in many different industries. Browse our publications to find out more Wake-up radio-enabled intermittently-powered devices for mesh networking: A power analysis Edward Longman, Oktay Cetinkaya, Mohammed El-Hajjar & Geoff Merrett, 2021 DOI: 10.1109/CCNC49032.2021.9369557 Type: conference Domain-specific scenarios for refinement-based methods Colin Snook, Thai Son Hoang, Dana Dghaym, Asieh Salehi Fathabadi & Michael Butler, 2021, Journal of Systems Architecture, 112 DOI: 10.1016/j.sysarc.2020.101833 Type: article A variance controlled stochastic method with biased estimation for faster non-convex optimization Jia Bi & Stephen R. Gunn, 2021, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 135 - 150 DOI: 10.1007/978-3-030-86523-8_9 Type: article Proceedings of the 9th Rodin User and Developer Workshop, 2021 Asieh Salehi Fathabadi, Yamine Ai?t Ameur, Thai Son Hoang & Colin Snook, 2021 Type: book Refinable record structures in formal methods Asieh Salehi Fathabadi, Colin Snook, Thai Son Hoang, Dana Dghaym & Michael Butler, 2021 DOI: 10.1007/978-3-030-87657-9_1 Type: conference Pagination Previous page ? Previous … Page 12 Page 13 Page 14 Page 15 Page 16 Page 17 Page 18 Page 19 Page 20 … Next page Next ?