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 2016
 | Up a level |
Number of items: 21.
Article
Formal modelling of data integration systems security policies - Fatmah Akeel, Asieh Salehi Fathabadi, Federica Paci, Andy Gravell and Gary Wills
Type: Article
| 2016
Gamifying self-management of chronic illnesses: amixed-methods study - Alaa Almarshedi, Gary Wills and Ashok Ranchhod
Type: Article
| 2016
Graceful performance modulation for power-neutral transient computing systems - Domenico Balsamo, Anup Das, Alex Weddell, Davide Brunelli, Bashir M. Al-Hashimi, Geoff V. Merrett and Luca Benini
Type: Article
| 2016
Zames-Falb multipliers for absolute stability: from O'Shea's contribution to convex searches - Joaquin Carrasco, Matthew C. Turner and William P. Heath
Type: Article
| 2016
Type: Article
| 2016
Adaptive and hierarchical run-time manager for energy-aware thermal management of embedded systems - Anup Das, Bashir Al-Hashimi and Geoff Merrett
Type: Article
| 2016
Anti-windup for a class of partially linearisable non-linear systems with application to wave energy converter control - Angeliki Lekka, Matthew C. Turner and Prathyush P. Menon
Type: Article
| 2016
| Item not available on this server.
Model and experimental development for business data science - Russell Newman, Victor Chang, Robert Walters and Gary Wills
Type: Article
| 2016
Decentralized Approaches to Antiwindup Design with Application to Quadrotor Unmanned Aerial Vehicles - Nkemdilim A. Ofodile and Matthew C. Turner
Type: Article
| 2016
| Item not available on this server.
The advantages and disadvantages of using qualitative and quantitative approaches and methods in language “testing and assessment” research: A literature review - Md Shidur Rahman
Type: Article
| 2016
Investigating pedagogical techniques in classroom interactions at a CELTA training programme - Md Shidur Rahman
Type: Article
| 2016
Validity and relationship with learning—the case of Northern Ireland (Ni) transfer tests policy and practice - Md Shidur Rahman
Type: Article
| 2016
Conference or Workshop Item
StitchUp: Automatic control flow protection for high level synthesis circuits - Shane T. Fleming and David B. Thomas
Type: Conference or Workshop Item
| 2016
| IEEE
| Item not available on this server.
MindCollect: An information needs management system for coalition situational awareness, sensemaking, decision making, and mission integration - David Kamien, Michael Kelly, Temitope Omitola and Gary Wills
Type: Conference or Workshop Item
| 2016
| University of Edinburgh
| Item not available on this server.
Improved computation of dwell time using the real Jordan form - Richard T. O'Brien and Matthew C. Turner
Type: Conference or Workshop Item
| 2016
| IEEE
| Item not available on this server.
Alternative approach to anti-windup synthesis for double integrator systems - Nkemdilim A. Ofodile, Matthew C. Turner and Jorge Sofrony
Type: Conference or Workshop Item
| 2016
| IEEE
| Item not available on this server.
A method for invariant generation for polynomial continuous systems - Andrew Sogokon, Khalil Ghorbal, Paul Jackson and André Platzer
Type: Conference or Workshop Item
| 2016
| Springer
Increasing network size and training throughput of FPGA restricted Boltzmann machines using dropout - Jiang Su, David B. Thomas and Peter Y.K. Cheung
Type: Conference or Workshop Item
| 2016
| IEEE
| Item not available on this server.
Synthesisable recursion for C++ HLS tools - David B. Thomas
Type: Conference or Workshop Item
| 2016
| IEEE
| Item not available on this server.
Type: Conference or Workshop Item
| 2016
| IEEE
| Item not available on this server.
Dataset
Type: Dataset
| 2016
| Zenodo
| Item not available on this server.