Items where Division is "Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Cyber Physical Systems
School of Electronics and Computer Science > Cyber Physical Systems" and Year is 2017
 | Up a level |
Number of items: 17.
Article
Operational semantics of resolution and productivity in Horn clause logic - Peng Fu and Ekaterina Komendantskaya
Type: Article
| 2017
| Item not available on this server.
A domain specific approach to high performance heterogeneous computing - Gordon Inggs, David B. Thomas and Wayne Luk
Type: Article
| 2017
| Item not available on this server.
The effect of nucleic acid extraction platforms and sample storage on the integrity of viral RNA for use in whole genome sequencing - Kuiama Lewandowski, Andrew Bell, Rory Miles, Simon Carne, David Wooldridge, Carmen Manso, Nicola Hennessy, Daniel Bailey, Steven T. Pullan, Saheer Gharbia and Richard Vipond
Type: Article
| 2017
| Item not available on this server.
Anti-windup design for input-coupled double integrator systems with application to quadrotor UAV's - Nkemdilim A. Ofodile and Matthew C. Turner
Type: Article
| 2017
| Item not available on this server.
Type: Article
| 2017
A high-level design framework for the automatic generation of high-throughput systolic binomial-tree solvers - Aryan Tavakkoli and David B. Thomas
Type: Article
| 2017
| Item not available on this server.
Coarse-grained online monitoring of BTI aging by reusing power gating infrastructure - Vasileios Tenentes, Daniele Rossi, Sheng Yang, Saqib Khursheed, Bashir M. Al-Hashimi and Steve R. Gunn
Type: Article
| 2017
Positive μ modification as an anti-windup mechanism - Matthew C. Turner
Type: Article
| 2017
| Item not available on this server.
Improved Circle and Popov Criteria for systems containing magnitude bounded nonlinearities - Matthew C. Turner and Jorge Sofrony
Type: Article
| 2017
| Item not available on this server.
An alternative approach to anti-windup in anticipation of actuator saturation - Matthew C. Turner, Jorge Sofrony and Guido Herrmann
Type: Article
| 2017
| Item not available on this server.
Book Section
Immersion and narrative design in educational games across cultures - James Baker, Vanissa Wanick, Mashael Asiri, Gary Wills and Ashok Ranchhod
Type: Book Section
| 2017
| Springer
| Item availability restricted.
Conference or Workshop Item
Coinductive soundness of corecursive type class resolution - František Farka, Ekaterina Komendantskaya and Kevin Hammond
Type: Conference or Workshop Item
| 2017
| Springer
| Item not available on this server.
Map data representation for indoor navigation - a design framework towards a construction of indoor map - Watthanasak Jeamwatthanachai, Mike Wald and Gary Wills
Type: Conference or Workshop Item
| 2017
| IEEE
Control design of a tilting mechanism for the UK National Rotor Test Rig Facility - Rafael M. Morales, Matthew C. Turner, Jon Platts, David Pugh and Andrew T. McCallum
Type: Conference or Workshop Item
| 2017
| Associazione Italiana di Aeronautica e Astronautica
| Item not available on this server.
Flight control system design for wind gust rejection based on an unknown input observer and a simple adaptive controller - Jorge Sofrony and Matthew C. Turner
Type: Conference or Workshop Item
| 2017
| IEEE
| Item not available on this server.
Programming model to develop supercomputer combinatorial solvers - Ghaith Tarawneh, Andrey Mokhov, Matthew Naylor, Alex Rast, Simon W. Moore, David B. Thomas, Alex Yakovlev and Andrew Brown
Type: Conference or Workshop Item
| 2017
| IEEE
| Item not available on this server.
Dataset
Type: Dataset
| 2017
| Zenodo
| Item not available on this server.