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 hidden Markov model-based acoustic cicada detector for crowdsourced smartphone biodiversity monitoring Davide Zilli, Oliver Parson, Geoff V. Merrett & Alex Rogers, 2014, Journal of Artificial Intelligence Research, 51, 805-827 DOI: 10.1613/jair.4434 Type: article A simple scheduled anti-windup technique Jorge Sofrony & Matthew C. Turner, 2014 DOI: 10.1109/ACC.2014.6858729 Type: conference Anticipatory anti-windup Matthew C. Turner, Jorge Sofrony & Guido Herrmann, 2014 DOI: 10.1109/ACC.2014.6859031 Type: conference Bounded model checking of multi-threaded c programs via lazy sequentialization 2014 DOI: 10.1007/978-3-319-08867-9_39 Type: conference Lyapunov functions and L2 gain bounds for systems with slope restricted nonlinearities Matthew C. Turner & Murray Kerr, 2014, Systems and Control Letters, 69(1), 1-6 DOI: 10.1016/j.sysconle.2014.04.002 Type: article Pagination Previous page ‹ Previous … Page 52 Page 53 Page 54 Page 55 Page 56 Current page 57 Page 58 Page 59 Page 60 Next page Next ›