Cyber Physical Systems About us Our people Research projects Publications Seminars and events Join us Cyber Physical Systems Publications Our projects have an impact in many different industries. Browse our publications to find out more 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 Aï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 Scenario Checker: An Event-B tool for validating abstract models Colin Snook, Thai Son Hoang, Asieh Salehi Fathabadi, Dana Dghaym & Michael Butler, 2021 Type: conference The dual function of explanations: Why computing explanations is of value Niko Tsakalakis, Sophie Stalla-Bourdillon, Laura Carmichael, Dong Huynh, Luc Moreau & Ayah Helal, 2021 DOI: 10.5040/9781509954544.ch-005 Type: bookChapter 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 ›