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 stochastic gradient method with biased estimation for faster nonconvex optimization Jia Bi & Steve R. Gunn, 2019 DOI: 10.1007/978-3-030-29911-8_26 Type: conference Developing a framework for trustworthy autonomous maritime systems Dana Dghaym, Stephen Turnock, Michael Butler, Jonathan Downes, Thai Son Hoang & Ben Pritchard, 2019 DOI: 10.2478/9788395669606-007 Type: conference Emergency response ontology informatics: using ontologies to improve emergency and hazard management Temitope Omitola & Gary Wills, 2019, International Journal of Intelligent Computing Research (IJICR), 10(3), 1022-1032 DOI: 10.20533/ijicr.2042.4655.2019.0124 Type: article Intersections between IoT and distributed ledger Hany F. Atlam & Gary B. Wills, 2019, Advances in Computers, 115, 73-113 DOI: 10.1016/bs.adcom.2018.12.001 Type: article Pegasus: a framework for sound continuous invariant generation 2019 DOI: 10.1007/978-3-030-30942-8_10 Type: conference Pagination Previous page ‹ Previous … Page 37 Page 38 Page 39 Page 40 Current page 41 Page 42 Page 43 Page 44 Page 45 … Next page Next ›