The University of Southampton
University of Southampton Institutional Repository

Items where Division is "Electronics & Computer Science > Cyber Physical Systems" and Year is 2014

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Authors/Creators | Item Type
Number of items: 114.

Type: Book | 2014 | Springer | Item not available on this server.

Type: Book | 2014 | Scitepress | Item not available on this server.

Type: Book | 2014 | University of Southampton

Preventing Document Leakage through Active Document - Zeyad Aaber, Richard Crowder, Nawfal Fadhel and Gary B. Wills
Type: Conference or Workshop Item | 2014

Type: Article | 2014

Citizen intention to adopt e-government services in Saudi Arabia - Sulaiman Alateyah, Victor Chang, Richard Crowder and Gary Wills
Type: Conference or Workshop Item | 2014

Type: Thesis | 2014

Type: Conference or Workshop Item | 2014

Type: Conference or Workshop Item | 2014

Type: Thesis | 2014

Type: Conference or Workshop Item | 2014 | Item not available on this server.

Investigating factors for E-knowledge sharing amongst academic staff - Hanan Alotaibi, Richard Crowder and Gary Wills
Type: Conference or Workshop Item | 2014

A view at desktop clouds - Abdulelah Alwabel, Robert John Walters and Gary Brian Wills
Type: Conference or Workshop Item | 2014

Type: Thesis | 2014

Type: Article | 2014

Recognition of elementary arm movements using orientation of a tri-axial accelerometer located near the wrist - Dwaipayan Biswas, Daniele Corda, Giovanni Baldus, Andy Cranny, Koushik Maharatna, Josy Achner, Jasmin Klemke, Michael Jöbges and Steffen Ortmann
Type: Article | 2014

Recognition of elementary upper limb movements in an activity of daily living using data from wrist mounted accelerometers - Dwaipayan Biswas, Andy Cranny, Nayaab Gupta, Koushik Maharatna and Steffen Ortmann
Type: Conference or Workshop Item | 2014

Movement fluidity of the impaired arm during stroke rehabilitation - Dwaipayan Biswas, Andy Cranny, Koushik Maharatna, Josy Achner, Jasmin Klemke, Michael Jöbges and Steffen Ortmann
Type: Conference or Workshop Item | 2014

On the sensor choice and data analysis for classification of elementary upper limb movements - Dwaipayan Biswas, Andy Cranny, Ahmed Rahim, Nayaab Gupta, Nick Harris, Koushik Maharatna and Steffen Ortmann
Type: Conference or Workshop Item | 2014

Advanced SIMD: extending the reach of contemporary SIMD architectures - Matthias Boettcher, Bashir M. Al-Hashimi, Mbou Eyole, Giacomo Gabrielli and Alastair Reid
Type: Conference or Workshop Item | 2014

Type: Conference or Workshop Item | 2014

Type: Conference or Workshop Item | 2014

Type: Article | 2014

Type: Article | 2014

Type: Book Section | 2014 | NOVA Publishers

Type: Conference or Workshop Item | 2014

Type: Article | 2014

Type: Article | 2014

Type: Book | 2014 | Lambert Academic Publishing

Type: Conference or Workshop Item | 2014 | Item availability restricted.

Financial Clouds and modelling offered by Cloud Computing Adoption Framework - Victor Chang, Robert John Walters and Gary Wills
Type: Book Section | 2014 | NOVA Publishers

Review of Cloud Computing and existing Frameworks for Cloud adoption - Victor Chang, Robert John Walters and Gary Wills
Type: Book Section | 2014 | NOVA Publishers

Forward and inverse modelling approaches for prediction of light stimulus from electrophysiological response in plants - Shre Kumar Chatterjee, Sanmitra Ghosh, Saptarshi Das, Veronica Manzella, Andrea Vitaletti, Elisa Masi, Luisa Santopolo, Stefano Mancuso and Koushik Maharatna
Type: Article | 2014 | Item availability restricted.

Co-simulation of Event-B and Ptolemy II Models via FMI - Jean-Charles Chaudemar, Vitaly Savicks, Michael Butler and John Colley
Type: Conference or Workshop Item | 2014

“eCert” improving the security and controllability of digitally signed documents - Lisha Chen-Wilson, David Argles, Michele Schiano di Zenise and Gary Wills
Type: Book Section | 2014 | Springer | Item not available on this server.

Type: Conference or Workshop Item | 2014 | Springer

Type: Article | 2014 | Item availability restricted.

Towards verified implementation of Event-B models in Dafny - Mohammad Sadegh Dalvandi and Michael Butler
Type: Conference or Workshop Item | 2014

Reinforcement learning-based inter- and intra-application thermal optimization for lifetime improvement of multicore systems - Anup K. Das, Rishad Ahmed Shafik, Geoff V. Merrett, Bashir M. Al-Hashimi, Akash Kumar and Bharadwaj Veeravalli
Type: Conference or Workshop Item | 2014

Type: Conference or Workshop Item | 2014

Machine learning techniques for remote healthcare - Saptarshi Das and Koushik Maharatna
Type: Book Section | 2014 | Springer | Item availability restricted.

Evaluation of graphical control flow management approaches for Event-B modelling - Dana Dghaym, Michael Butler and Asieh Salehi Fathabadi
Type: Conference or Workshop Item | 2014

Type: Conference or Workshop Item | 2014

Type: Monograph | 2014 | University of Southampton

Type: Conference or Workshop Item | 2014

On the Path-Width of Integer Linear Programming - Constantin Enea, Peter Habermehl, Omar Inverso and Gennaro Parlato
Type: Conference or Workshop Item | 2014

Transparent Authentication Methodology in Electronic Education - Nawfal Fadhel, David Argles, Richard M Crowder and Gary B. Wills
Type: Article | 2014

Maintaining provenance throughout the additive manufacturing process - Nawfal Fadhel, Richard M. Crowder and Gary B. Wills
Type: Article | 2014 | Item availability restricted.

VAC - verifier of administrative role-based access control policies - Anna Lisa Ferrara, P. Madhusudan, Truc Lam Nguyen and Gennaro Parlato
Type: Conference or Workshop Item | 2014

Profiling the educational value of computer games - Alex Frazer, Alejandra Recio, Lester Gilbert and Gary Wills
Type: Article | 2014

Type: Thesis | 2014

Type: Conference or Workshop Item | 2014 | Item not available on this server.

Analytical calculation of multi-core multi-cluster architecture (MCMCA) - Norhazlina Hamid, Robert J. Walters and Gary B. Wills
Type: Conference or Workshop Item | 2014 | Item not available on this server.

Performance evaluation of multi-core multi-cluster architecture - Norhazlina Hamid, Robert John Walters and Gary Brian Wills
Type: Conference or Workshop Item | 2014

Type: Thesis | 2014

A formal co-simulation approach for wireless sensor network development - Adisak Intana, Michael R. Poppleton and Geoff V. Merrett
Type: Article | 2014 | Item availability restricted.

Bounded model checking of multi-threaded c programs via lazy sequentialization - Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre and Gennaro Parlato
Type: Conference or Workshop Item | 2014

Lazy-CSeq 0.6c: An improved lazy sequentialization tool for C (competition contribution) - Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre and Gennaro Parlato
Type: Monograph | 2014 | University of Southampton

Lazy-CSeq: a lazy sequentialization tool for C - Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre and Gennaro Parlato
Type: Conference or Workshop Item | 2014 | Item availability restricted.

Lazy-CSeq: a lazy sequentialization tool for c (competition contribution) - Omar Inverso, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre and Gennaro Parlato
Type: Conference or Workshop Item | 2014

Classification of autism spectrum disorder using supervised learning of brain connectivity measures extracted from synchrostates - Wasifa Jamal, Saptarshi Das, Ioana-Anastasia Oprescu, Koushik Maharatna, Fabio Apicella and Federico Sicca
Type: Article | 2014

Type: Conference or Workshop Item | 2014

Type: Conference or Workshop Item | 2014

A novel approach for the diagnosis of ventricular tachycardia based on phase space reconstruction of ECG - George Koulaouzidis, Saptarshi Das, Grazia Cappiello, Evangelos Mazomenos, Koushik Maharatna and John Morgan
Type: Article | 2014

Scope-bounded pushdown languages - Salvatore La Torre, Margherita Napoli and Gennaro Parlato
Type: Conference or Workshop Item | 2014

A unifying approach for multistack pushdown automata - Salvatore La Torre, Margherita Napoli and Gennaro Parlato
Type: Conference or Workshop Item | 2014

StreetlightSim: a simulation environment to evaluate networked and adaptive street lighting - Sei Ping Lau, Geoff V. Merrett, Alex S. Weddell and Neil M. White
Type: Conference or Workshop Item | 2014

Energy-neutral solar-powered street lighting with predictive and adaptive behaviour - Sei Ping Lau, Alex S. Weddell, Geoff V. Merrett and NM White
Type: Conference or Workshop Item | 2014

Energy Efficient Multi-Core Processing - Charles Leech and T J Kazmierski
Type: Article | 2014

Multinomial based memristor modelling methodology for simulations and analysis - Gong Li, Jimson Mathew, Rishad Ahmed Shafik and Dhiraj K. Pradhan
Type: Article | 2014 | Item not available on this server.

How children with autism spectrum disorder behave and explore the 4-dimensional(spatial 3D + time)environment during a joint attention induction task with a robot - Salvatore Maria Anzalone, Elodie Tilmont, Sofiane Boucenna, Jean Xavier, Anne-Lise Jouen, Nicolas Bodeau, Koushik Maharatna, Mohamed Chetouani and David Cohen
Type: Article | 2014 | Item availability restricted.

Power efficient fault tolerant finite field multiplier - J. Mathew, A.S. Jabir, R.A. Shafik and D.K. Pradhan
Type: Book Section | 2014 | Springer | Item not available on this server.

An investigation into the accuracy of calculating upper body joint angles using MARG sensors - Evangelos Mazomenos, Andy Cranny, Dwaipayan Biswas, Nick Harris and Koushik Maharatna
Type: Conference or Workshop Item | 2014

Case studies - Evangelos B. Mazomenos, Juan-Mario Rodriguez, Carlos-Cavero Barca, Gennaro Tartarisco, Giovanni Pioggia, Bozidara Cvetkovic, Simon Kozina, Hristijan Gjoreski, Mitja Lustrek, Hector Solar, Domen Marincic, Jure Lampe, Silvio Bonfiglio and Koushik Maharatna
Type: Book Section | 2014 | Springer

Power droop reduction during Launch-On-Shift scan-based logic BIST - Martin Omana, Daniele Rossi, Edda Beniamino, Cecilia Metra, Chandra Tirumurti and Rajesh Galivanche
Type: Conference or Workshop Item | 2014 | Item availability restricted.

Low-cost on-chip clock jitter measurement scheme - Martin Omana, Daniele Rossi, Daniele Giaffreda, Cecilia Metra, T.M. Mak, Asifur Raman and Simon Tam
Type: Article | 2014

Type: Conference or Workshop Item | 2014

RLABS: Una perspectiva Sudafricana de Informática Comunitaria - Marlon Parker, Alejandra Recio, Gary B. Wills and Julia Wills
Type: Monograph | 2014 | Universidad de Buenos Aires

Formal derivation of distributed MapReduce - Inna Pereverzeva, Michael Butler, Asieh Salehi Fathabadi, Linas Laibinis and Elena Troubitsyna
Type: Conference or Workshop Item | 2014

Type: Conference or Workshop Item | 2014 | Item availability restricted.

Type: Article | 2014

Modelling Financial SaaS as Service Components - Muthu Ramachandran and Victor Chang
Type: Conference or Workshop Item | 2014

Type: Conference or Workshop Item | 2014

Compositional reachability in Petri nets - Julian Rathke, Pawel Sobocinski and Owen Stephens
Type: Conference or Workshop Item | 2014

Innovative Approach for Requirements Verification of Closed Systems - Jose Reis, Brett Bicknell, Michael Butler and John Colley
Type: Conference or Workshop Item | 2014 | Item not available on this server.

Clock faults induced min and max delay violations - Daniele Rossi, Martin Omana, Jose' Manuel Cazeaux and T.M. Mak
Type: Article | 2014 | Item availability restricted.

Modeling and detection of hot-spot in shaded photovoltaic cells - Daniele Rossi, Martin Omana, Daniele Giaffreda and Cecilia Metra
Type: Article | 2014

Impact of bias temperature instability on soft error susceptibility - Daniele Rossi, Martin Omana, Cecilia Metra and Alessandro Paccagnella
Type: Article | 2014

Type: Conference or Workshop Item | 2014

Applying an integrated modelling process to run-time management of many-core systems - Asieh Salehi Fathabadi, Colin Snook and Michael Butler
Type: Conference or Workshop Item | 2014

Co-simulating Event-B and continuous models via FMI - Vitaly Savicks, Michael Butler and John Colley
Type: Conference or Workshop Item | 2014

Co-simulation environment for Rodin: landing gear case study - Vitaly Savicks, Michael Butler and John Colley
Type: Conference or Workshop Item | 2014

Rodin multi-simulation plug-in - Vitaly Savicks, Michael Butler, John Colley and Jens Bendisposto
Type: Conference or Workshop Item | 2014

Introduction to energy efficient fault tolerant systems - R.A. Shafik, J. Mathew and D.K. Pradhan
Type: Book Section | 2014 | Springer | Item not available on this server.

System-level design methodology - Rishad Ahmed Shafik, Bashir Al-Hashimi and Krishnendu Chakrabarty
Type: Book Section | 2014 | Springer | Item not available on this server.

Design considerations for reliable embedded systems - Rishad Ahmed Shafik, Anup K. Das, Sheng Yang, Geoff V. Merrett and Bashir Al-Hashimi
Type: Book Section | 2014 | Woodhead Publishing | Item availability restricted.

Learning-based runtime management of energy-efficient and reliable many-core systems - Rishad Ahmed Shafik, Anup K. Das, Sheng Yang, Geoff V. Merrett and Bashir Al-Hashimi
Type: Conference or Workshop Item | 2014

Type: Conference or Workshop Item | 2014

Competence modelling and technology-enhanced learning - Onjira Sitthisak and Lester Gilbert
Type: Book | 2014 | Scholars Press | Item not available on this server.

DeSyRe: on-demand adaptive and reconfigurable fault-tolerant SoCs - Ioannis Sourdis, Christos Strydis, Antonino Armato, Christos-Savvas Bouganis, Babak Falsafi, Georgi Gaydadjiev, Sebastian Isaza, Alirad Malek, Riccardo Mariani, Dionisios N Pnevmatikatos, Dhiraj K Pradhan, Gerard Rauwerda, Robert Seepers, Rishad Ahmed Shafik, Kim Sunesen, Dimitris Theodoropoulos, Stavros Tzilis and Michail Vavouras
Type: Conference or Workshop Item | 2014 | Item not available on this server.

A low power and robust carbon nanotube 6T SRAM design with metallic tolerance - Luo Sun, Jimson Mathew, Rishad A. Shafik, D.K. Pradhan and Zhen Li
Type: Conference or Workshop Item | 2014 | Item not available on this server.

Type: Thesis | 2014

Type: Monograph | 2014 | University of Southampton

High quality testing of grid style power gating - Vasileios Tenentes, Syed Saqib Khursheed, Bashir M. Al-Hashimi, Shida Zhong and Sheng Yang
Type: Conference or Workshop Item | 2014

MU-CSeq: sequentialization of c programs by shared memory unwindings (competition contribution) - Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre and Gennaro Parlato
Type: Conference or Workshop Item | 2014

Security analysis for temporal role based access control - Emre Uzun, Vijayalakshmi Atluri, Jaideep Vaidya, Shamik Sural, Anna Lisa Ferrara, Gennaro Parlato and P. Madhusudan
Type: Article | 2014

Type: Conference or Workshop Item | 2014

Type: Conference or Workshop Item | 2014 | Item availability restricted.

Type: Conference or Workshop Item | 2014

Type: Conference or Workshop Item | 2014 | Item not available on this server.

Calculating trustworthiness based on learning outcome - Woraluck Wongse-Ek, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item | 2014 | Item availability restricted.

Type: Article | 2014

Type: Thesis | 2014

A conceptual design for a teacher-learner framework for educational serious games - Amri Yusoff, Richard Crowder, Lester Gilbert and Gary Wills
Type: Article | 2014 | Item availability restricted.

This list was generated on Tue Jul 17 01:31:04 2018 BST.
Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of https://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×