Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 2011
|Up a level|
Acharyya, Amit, Maharatna, Koushik and Al-Hashimi, Bashir (2011) Algorithm and architecture for N-D vector cross-product computation IEEE Transactions on Signal Processing, 59, (2), pp. 812-826. (doi:10.1109/TSP.2010.2090523).
Acharyya, Amit, Maharatna, Koushik and Al-Hashimi, Bashir (2011) Predictive Algorithm Based Low Complexity 2D FastICA At UK Electronics Forum 2011, United Kingdom. 04 - 05 Jul 2011.
Acharyya, Amit, Maharatna, Koushik, Al-Hashimi, Bashir and Reeve, Jeff (2011) Co-ordinate Rotation based Low Complexity N-D FastICA Algorithm and Architecture IEEE Transactions on Signal Processing
Acharyya, Amit, Maharatna, Koushik, Al-Hashimi, Bashir and Tudugalle, Hasitha (2011) Simplified Logic Design Methodology for Fuzzy Membership Function based Robust Detection of Maternal Modulus Maxima Location : a Low Complexity Fetal ECG Extraction Architecture for Mobile Health Monitoring Systems At IEEE International Symposium on Circuits and Systems, Brazil. 15 - 18 May 2011.
Ahmadi, Arash, Mangieri, Eduardo, Maharatna, Koushik, Dasmahapatra, Srinandan and Zwolinski, Mark (2011) On the VLSI implementation of adaptive-frequency hopf oscillator IEEE Transactions on Circuits and Systems I Regular Papers, 58, (7), pp. 1076-1088. (doi:10.1109/TCSI.2010.2092070).
Anderson, Gabrielle (2011) Behavioural Properties and Dynamic Software Update for Concurrent Programs, Thesis Progress Report s.n.
Apampa, Kikelomo Maria, Wills, Gary and Argles, David (2011) Towards a blob-based presence verification system in summative e-assessments International Journal of e-Assessment, 1, (1)
Asnawi, Ani Liza, Gravell, Andrew and Wills, Gary (2011) Empirical Investigation on Agile Methods Usage: Issues Identified from Early Adopters in Malaysia At XP2011, 12th International conference on Agile Software Development,, Spain. 10 - 13 May 2011. , pp. 192-207.
Atig, Mohamed Faouzi, Bouajjani, Ahmed and Parlato, Gennaro (2011) Getting rid of store-buffers in TSO analysis At 23rd International Conference on Computer Aided Verification (CAV 2011), United States. 14 - 20 Jul 2011. 16 pp, pp. 99-115. (doi:10.1007/978-3-642-22110-1_9).
Bacigalupo, David A., van Hemert, Jano, Chen, Xiaoyu, Usmani, Asif, Chester, Adam P., He, Ligang, Dillenberger, Donna N., Wills, Gary, Gilbert, Lester and Jarvis, Stephen A. (2011) Managing Dynamic Enterprise and Urgent Workloads on Clouds Using Layered Queuing and Historical Performance Models Simulation Modelling Practice and Theory, 19, (6), pp. 1479-1495.
Barreto, Raimundo, Cordeiro, Lucas and Fischer, Bernd (2011) Verifying Embedded C Software with Timing Constraints using an Untimed Bounded Model Checker At Symposium on Computing System Engineering, Brazil. 07 - 11 Nov 2011.
Barreto, Raimundo, Cordeiro, Lucas and Fischer, Bernd (2011) Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker s.n.
Bouajjani, Ahmed, Emmi, Michael and Parlato, Gennaro (2011) On Sequentializing Concurrent Programs At SAS, Italy. 14 - 16 Sep 2011.
Butler, Michael and Schulte, Wolfram (2011) FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Springer
Caldas, Ruiter, Barreto, Raimundo, Cordeiro, Lucas and Campos, Sérgio (2011) A Formal Method for Modeling, Verification and Synthesis of Embedded Reactive Systems At IADIS Applied Computing Conference.
Carrabs, Francesco, Cerulli, Raffaele, Gentili, Monica and Parlato, Gennaro (2011) A tabu search heuristic based on k-diamonds for the weighted feedback vertex set problem At Network Optimization: 5th International Conference, (INOC), Germany. 13 - 16 Jun 2001.
Chang, Victor (2011) Cloud Computing: Tsunami and seismic simulations to study impacts to Japan At United Nations World Summit Information Society, Switzerland. 16 - 20 May 2011.
Chang, Victor (2011) Simulations and Modelling in Cloud Computing: Contributions offered by Organisational Sustainability and Enterprise Portability for Industry and Academia At Complex Science, United Kingdom. 07 Aug 2011.
Chang, Victor (2011) A thorough investigation of Cloud Computing: Sustainability Modelling and Enterprise Portability for Industry and Academia At "Set for Britain" 2011, United Kingdom.
Chang, Victor, De Roure, David, Walters, Robert John and Wills, Gary (2011) Organisational Sustainability Modelling for Return on Investment: Case Studies presented by a National Health Service (NHS) Trust UK Journal of Computing and Information Technology, 19, (3)
Chang, Victor, De Roure, David, Wills, Gary and Walters, Robert (2011) Case Studies and Organisational Sustainability Modelling presented by Cloud Computing Business Framework International Journal of Web Services Research, 8, (3), pp. 26-53.
Chang, Victor, Li, Chung-Sheng, De Roure, David, Wills, Gary, Walters, Robert and Chee, Clinton (2011) The financial clouds review International Journal of Cloud Applications and Computing, 1, (2), pp. 41-63. (doi:10.4018/978-1-4666-0879-5.ch5.3).
Chang, Victor, Wills, Gary and Walters, Robert (2011) Towards Business Integration as a Service 2.0 At IEEE International Conference on e-Business Engineering, The 3rd International Workshop on Cloud Services - Platform Accelerating e-Business, China. 19 - 21 Oct 2011.
Chen, Wen-Pin, Millard, David E. and Wills, Gary B. (2011) Using Scrutable Learning Models to Support Personal learning Objectives on Mobile Devices At The PLE Conference 2011, United Kingdom. 11 - 13 Jul 2011.
Chen-Wilson, Lisha, Gilbert, Lester, Wills, Gary, Gravell, Andrew and Argles, David (2011) A User-Centric Approach for Secured eDocument Transmission: Digital Signing Practical Issues and the eCert Solution International Journal for Information Security Research (IJISR), 1, (3)
Chen-Wilson, Lisha, Gravell, Andrew and Argles, David (2011) Giving You back Control of Your Data: Digital Signing Practical Issues and the eCert Solution At The World Congress on Internet Security (WorldCIS-2011), United Kingdom. 21 - 23 Feb 2011.
Chen-Wilson, Lisha, Wang, Xin, Wills, Gary, Argles, David and Shoniregun, Charles (2011) Healthcare Data Management Issues and the eCert Solution At International Conference on Information Society (i-Society 2011), United Kingdom. 27 - 29 Jun 2011.
Cirstea, Corina (2011) Maximal traces and path-based coalgebraic temporal logics [in special issue: CMCS Tenth Anniversary Meeting] Theoretical Computer Science, 412, (38), pp. 5025-5042. (doi:10.1016/j.tcs.2011.04.025).
Cirstea, Corina, (2011) Model checking linear coalgebraic temporal logics: an automata-theoretic approach Corradini, Andrea and Klin, Bartek (eds.) At 2011 International Conference on Algebra and Coalgebra in Computer Science. , pp. 130-144. (doi:10.1007/978-3-642-22944-2_10).
Cordeiro, Lucas and Fischer, Bernd (2011) Verifying multi-threaded software using SMT-based context-bounded model checking At ICSE '11. Proceedings of the 33rd International Conference on Software Engineering, United States. 21 - 28 May 2011. , pp. 331-340. (doi:10.1145/1985793.1985839).
Cordeiro, Lucas and Fischer, Bernd (2011) Verifying Multi-threaded Software using SMT-based Context-Bounded Model Checking At International Conference on Software Engineering. 21 - 28 May 2011.
Cordeiro, Lucas, Fischer, Bernd and Marques-Silva, Joao (2011) SMT-based bounded model checking for embedded ANSI-C software IEEE Transactions on Software Engineering, 38, (4), pp. 957-974. (doi:10.1109/TSE.2011.59).
De Jager, Dirk, Wood, Alex L., Merrett, Geoff V., Al-Hashimi, Bashir M., O'Hara, Kieron, Shadbolt, Nigel R. and Hall, Wendy (2011) A low-power, distributed, pervasive healthcare system for supporting memory At 1st ACM MobiHoc Workshop on Pervasive Wireless Healthcare (MobileHealth 2011), France.
Edmunds, Andrew and Butler, Michael (2011) Tasking Event-B: An Extension to Event-B for Generating Concurrent Code At PLACES 2011, Germany.
Edmunds, Andrew, Rezazadeh, Abdolbaghi and Butler, Michael (2011) From Event-B models to code: sensing, actuating, and the environment At SBMF2011, Brazil. 26 - 28 Sep 2011. 6 pp.
Elizabeth, Hart E.E, Andras, Sobester,A, Kamal, Djidjeli, Marc, Molinari,M, Ken, Thomas,K.S. and Simon, Cox, S.J. (2011) A geometry optimization framework for photonic crystal design Photonics and Nanostructures - Fundamentals and Applications
Fadhel, Nawfal, Argles, David and Wills, Gary (2011) Transparent authentication in e-learning At International Conference on Information Society (i-Society), United Kingdom. 27 - 29 Jun 2011. , 336 -342.
Fadhel, Nawfal, Wills, Gary and Argles, David (2011) Transparent authentication in E-learning At International Conference on Information Society (i-Society), 2011, United Kingdom. 27 - 29 Jun 2011. 6 pp, pp. 336-342.
Francalanza, Adrian, Rathke, Julian and Sassone, Vladimiro (2011) Permission-based separation logic for message-passing concurrency Logical Methods in Computer Science, 7, (3), pp. 1-47. (doi:10.2168/LMCS-7(3:7)2011).
Giaffreda, Daniele, Omana, Martin, Rossi, Daniele and Metra, Cecilia (2011) Model for thermal behavior of shaded PV cells under hot-spot condition At IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, Canada. 03 - 05 Oct 2011. , pp. 252-258. (doi:10.1109/DFT.2011.47).
Gilbert, Lester, Whitelock, Denise and Gale, Veronica (2011) Synthesis report on assessment and feedback with technology enhancement s.n.
Gondal, Ali (2011) Capability and potential for formal feature-oriented reuse in Event-B
Gondal, Ali, Poppleton, Mike and Butler, Michael, (2011) Composing Event-B Specifications - Case-Study Experience Apel, S and Jackson, E (eds.) At 10th International Conference on Software Composition, Switzerland. 30 Jun - 01 Jul 2011. , pp. 100-115.
Grange, Simon (2011) Current Issues and Regulations in Tendon Regeneration and Musculoskeletal Repair with Mesenchymal Stem Cells CURRENT STEM CELL RESEARCH AND THERAPY, 3
Hallerstede, Stefan and Snook, Colin (2011) Refining Nodes and Edges of State Machines At ICFEM 2011: 13th International Conference on Formal Engineering Methods, United Kingdom. 26 - 28 Oct 2011.
Hoang, Thai Son, Illianov, Alexei, Silva, Renato and Wei, Wei (2011) Monitor and Update Master Data Case Studies
Huang, Hui, Merrett, Geoff, Metcalf, Cheryl and White, Neil (2011) A Feasibility Study on Body-Worn Inertial Energy Harvesting during Walking and Running. At Energy Harvesting 2011, United Kingdom.
Huang, Hui, Merrett, Geoff and White, Neil (2011) Human-powered inertial energy harvesters: the effect of orientation, location and activity on obtainable power At Eurosensors XXV, Greece. 04 - 07 Sep 2011.
Ibrahim, Roziana (2011) A conceptual framework for supporting gender inclusivity in games University of Southampton, School of Electronics and Computer Science, Doctoral Thesis , 180pp.
Ibrahim, Roziana (2011) Games for Change
Ibrahim, Roziana (2011) Gender Inclusivity in Games: Towards Reliability and Construct Validity of the Gender Inclusivity Rating Scale (GIRS) At th European Conference on Games Based Learning (ECGBL 2011), Greece. 20 - 21 Oct 2011. (Submitted).
Ibrahim, Roziana (2011) Gender Issues in Games
Ibrahim, Roziana (2011) Gender-Inclusivity Framework (GIF): A Conceptual Framework for Supporting Gender-Inclusivity in Games At 3rd International Conference on Education and New Learning Technologies, EDULEARN11, Spain. 04 - 06 Jul 2011. (Submitted).
Ibrahim, Roziana, Wills, Gary and Gilbert, Lester (2011) DEVELOPMENT OF A CONCEPTUAL FRAMEWORK FOR SUPPORTNG GENDER INCLUSIVITY IN GAMES At IADIS International Conference Game and Entertainment Technologies 2011, Italy. 22 - 24 Jul 2011.
Ibrahim, Roziana, Wills, Gary and Gilbert, Lester (2011) GENDER INCLUSIVITY FRAMEWORK (GIF): INTER-RATER AGREEMENT TOWARDS THE COMPONENTS OF GENDER INCLUSIVITY IN GAMES At IADIS International Conference Game and Entertainment Technologies 2011, Italy. 22 - 24 Jul 2011.
Ireland, Andrew, Grov, Gudmund, Llano, Maria Teresa and Butler, Michael (2011) Reasoned modelling critics: turning failed proofs into modelling guidance [in special issue: Abstract State Machines, Alloy, B and Z - Selected Papers from ABZ 2010] Science of Computer Programming, 78, (3), pp. 293-309. (doi:10.1016/j.scico.2011.03.006).
Jagadeesan, Radha, Pitcher, Corin, Rathke, Julian and Riely, James (2011) Local memory via layout randomization At IEEE 24th Computer Security Foundations Symposium (CSF), France. 27 - 29 Jun 2011. , pp. 161-174. (doi:10.1109/CSF.2011.18).
Jeffrey, Alan and Rathke, Julian (2011) The Lax Braided Structure of Streaming I/O At Annual Conference of the European Association for Computer Science Logic, Norway. 12 - 15 Sep 2011.
Jones, Gareth, Lovell, Chris, Morgan, Hywel and Zauner, Klaus-Peter (2011) Organising Chemical Reaction Networks in Space and Time with Microfluidics International Journal of Nanotechnology and Molecular Computation (IJNMC), 3, (1), pp. 35-56.
Khursheed, Syed Saqib, Yang, Sheng, Al-Hashimi, Bashir, Huang, Xiaoyu and Flynn, David (2011) Improved DFT for Testing Power Switches At 16th IEEE European Test Symposium (ETS 2011), Norway. 23 - 27 May 2011.
Li, Liang, Maunder, Robert G., Al-Hashimi, Bashir and Hanzo, Lajos (2011) A low-complexity turbo decoder architecture for energy-efficient wireless sensor networks IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 21, (1), pp. 14-22. (doi:10.1109/TVLSI.2011.2177104).
Li, Yunjia, Wald, Mike and Wills, Gary (2011) Interlinking Multimedia Annotations At Web Science 2011, Germany. 14 - 18 Jun 2011.
Lovell, Chris, Jones, Gareth, Gunn, Steve and Zauner, Klaus-Peter (2011) Autonomous Experimentation: Active Learning for Enzyme Response Characterisation JMLR: Workshop and Conference Proceedings, 16, pp. 141-155.
Lovell, Chris, Jones, Gareth, Zauner, Klaus-Peter and Gunn, Steve R., Glowacka, Dorota, Dorard, Louis and Shawe-Taylor, John(eds.) (2011) Exploration and exploitation with insufficient resources [in special issue: Proceedings of the Workshop on On-line Trading of Exploration and Exploitation 2, July 2, 2011, Bellevue, Washington, USA] JMLR: Workshop and Conference Proceedings, 26, pp. 37-61.
Lovell, Chris, Zauner, Klaus-Peter and Gunn, Steve (2011) Exploration and Exploitation in an Artificial Experimenter At ICML Workshop on On-line Trading of Exploration and Exploitation 2.
Madhusudan, P. and Parlato, Gennaro (2011) The tree width of auxiliary storage At POPL '11. Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, United States. 26 - 28 Jan 2011. , pp. 283-294. (doi:10.1145/1925844.1926419).
Madhusudan, P., Parlato, Gennaro and Qiu, Xiaokang (2011) Decidable logics combining heap structures and data At POPL '11. Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, United States. 26 - 28 Jan 2011. , pp. 611-622. (doi:10.1145/1925844.1926455).
Mahmoodi, Sasan and Gunn, Steve (2011) Scale Space Smoothing, Image Feature Extraction and Bessel Filters At Lecture Notes in Computer Science-17th Scandinavian Conference on Image Analysis, Sweden. 23 - 27 May 2011. , pp. 625-634.
Mahmoodi, Sasan and Gunn, Steve (2011) Snake based Unsupervised Texture Segmentation using Gaussian Markov Random Field Models At 18th IEEE International Conference on Image Processing, Belgium. 11 - 14 Sep 2011.
Mazomenos, Evangelos, Acharyya, Amit and Maharatna, Koushik (2011) Clinical Feature Extraction for Mobile ECG At 8th International Conference on Wearable Micro and Nano Technologies for Personalised Health (pHealth 2011), France. 29 Jun - 01 Jul 2011.
Merrett, Geoff V, Metcalf, Cheryl D, Zheng, Deyi, Cunningham, Sarah, Barrow, Stuart and Demain, Sara H (2011) Design and Qualitative Evaluation of Tactile Devices for Stroke Rehabilitation At IET Assisted Living 2011, United Kingdom.
Merrett, Geoff V. (2011) Wireless Sensor Networks for Process Monitoring: The Rise of Remote Control (Editorial) Energy and Environmental Management, 2011, (Summer), p. 43.
Mistry, Jatin, Al-Hashimi, Bashir, Flynn, David and Hill, Stephen (2011) Sub-Clock Power-Gating Technique for Minimising Leakage Power During Active Mode At Design, Automation and Test in Europe, France. 14 - 18 Mar 2011.
Morse, Jeremy, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd (2011) Context-Bounded Model Checking of LTL Properties for ANSI-C Software At 9th International Conference on Software Engineering and Formal Methods, Uruguay. , pp. 302-317.
Morse, Jeremy, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd (2011) Context-bounded model checking of LTL properties for ANSI-C software In Software Engineering and Formal Methods. Springer., pp. 302-317. (doi:10.1007/978-3-642-24690-6_21).
Nitchot, Athitaya, Gilbert, Lester and Wills, Gary (2011) Competence-based System for Recommending Study Materials from the Web: Design and Experiment At ED-MEDIA 2011-World Conference on Educational Multimedia, Hypermedia & Telecommunications, Portugal. 27 Jun - 01 Jul 2011.
Nitchot, Athitaya, Gilbert, Lester and Wills, Gary (2011) Designing a Competence Structure to Generate Learning Paths and Assessment Questions for Self-Study At 2011 International Computer Assisted Assessment (CAA) Conference.
Nitchot, Athitaya, Gilbert, Lester and Wills, Gary (2011) Designing XML Schema of a Competence Structure from Course Intended Learning Outcomes At The 14th IASTED International Conference on Computers and Advanced Technology in Education, United Kingdom. 11 - 13 Jul 2011.
P Iskandar, Yulita Hanum, Gilbert, Lester and Wills, Gary (2011) Machine-processable Representation of Training Outcomes IEEE Learning Technology Newsletter, 13, (1)
Purwandari, Betty, Hall, Wendy and Wills, Gary (2011) Methodology for Impact Analysis of the Mobile Web in Developing Countries: a Pilot Study in Nairobi, Kenya At ACM Web Science Conference 2011, Germany. 14 - 17 Jun 2011.
Rebenich, Till, Gravell, Andrew and Tiropanis, Thanassis (2011) Evaluating a Web-Based Information System for Managing Master of Science Summer Projects At ITiCSE 2011, 16th Annual Conference on Innovation and Technology in Computer Science Education, Germany. 27 - 29 Jun 2011. , pp. 123-127.
Recio, A (2011) Exploring the Impact of using Stories and ICT to teach English to 3- and 4- year-old Spanish children: Motivation and Development. At EDULearn International Conference on Education and New Learning Technologies, Spain. 04 - 06 Jul 2011.
Reed, Nicholas, Scanlan, Jim, Wills, Gary and Halliday, Steven T. (2011) Knowledge use in an advanced manufacturing environment Design Studies, 32, (3), pp. 292-312.
Rossi, Daniele, Omana, Martin, Metra, Cecilia and Paccagnella, Alessandro (2011) Impact of aging phenomena on soft error susceptibility At IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, Canada. 03 - 05 Oct 2011. , pp. 18-24. (doi:10.1109/DFT.2011.45).
Rossi, Daniele, Timoncini, Nicola, Spica, Michael and Metra, Cecilia (2011) Error correcting code analysis for cache memory high reliability and performance At IEEE/ACM Design, Automation and Test in Europe (DATE), France. 14 - 18 Mar 2011. , pp. 1-6. (doi:10.1109/DATE.2011.5763257).
Salehi Fathabadi, Asieh, Rezazadeh, Abdolbaghi and Butler, Michael (2011) Applying Atomicity and Model Decomposition to a Space Craft System in Event-B At THIRD NASA FORMAL METHODS SYMPOSIUM. 18 - 20 Apr 2011.
Schiano di Zenise, Michele, Vitaletti, Andrea and Argles, David (2011) A User-Centric Approach to eCertificate for Electronic Identities (eIDs) Management in Mobile Environment At WorldCIS-2011. 21 - 23 Feb 2011. , pp. 212-217.
Schiano di Zenise, Michele, Vitaletti, Andrea, Chen-Wilson, Lisha, Gilbert, Lester and Argles, David (2011) eIDeCert: A User-Centric Solution for Mobile Identification International Journal for Infonomics (IJI), 4, (1)
Shafik, Rishad and Al-Hashimi, Bashir (2011) Reliability Analysis of On-Chip Communication Architectures: An MPEG-2 Video Decoder Case Study Embedded Hardware Design (MICPRO), 35, (2), pp. 285-296.
Silva, Renato (2011) Application of Decomposition and Generic Instantiation
Silva, Renato (2011) Towards the Composition of Specifications in Event-B At B 2011.
Snook, Colin (2011) Modelling Control Process and Control Mode with Synchronising Orthogonal State Machines At B2011.
Snook, Colin, Savicks, Vitaly and Butler, Michael (2011) Verification of UML models by translation to UML-B Lecture Notes in Computer Science, 6957, p. 251.
Srivastava, Saket, Melouki, Aissa and Al-Hashimi, Bashir (2011) Tagged repair techniques for defect tolerance in hybrid nano/CMOS architecture IEEE Transactions on Nanotechnology, 10, (3), pp. 424-432. (doi:10.1109/TNANO.2010.2045393).
Tangworakitthaworn, Preecha, Gilbert, Lester and Wills, Gary (2011) Towards a Matching Strategy of Constructivism and Instructionism At The 19th International Conference on Computers in Education, ICCE 2011, Thailand. 28 Nov - 02 Dec 2011.
Tenentes, Vasileios and Kavousianos, X. (2011) Test-data volume and scan-power reduction with low ATE interface for multi-core SoCs At IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2011, United States. 07 - 10 Nov 2011. , pp. 747-754. (doi:10.1109/ICCAD.2011.6105413).
Tenentes, Vasileios and Kavousianos, Xrysovalantis (2011) Low power test-compression for high test-quality and low test-data volume At 20th Asian Test Symposium (ATS), India. 20 - 23 Nov 2011. 6 pp, pp. 46-53. (doi:10.1109/ATS.2011.75).
Tobias, Heindel and Pawel, Sobocinski (2011) Being Van Kampen is a universal property Logical Methods in Computer Science, 7, (1)
Turnball, Niruwan (2011) The challenge of e-learning for healthcare professionals: an exploration in rural Thailand University of Southampton, Faculty of Physical and Applied Sciences, Doctoral Thesis , 239pp.
Turnbull, Niruwan, Wills, Gary and Gobbi, Mary (2011) The Challenge of Four-Status Model of eLearning: Principles Toward a New Understanding for Healthcare Professionals At International eLearning Conference (IEC2011), Thailand. 13 - 14 Jan 2011.
Wang, Leran, Kazmierski, Tom, Al-Hashimi, Bashir, Weddell, Alex, Merrett, Geoff and Ayala Garcia, Ivo (2011) Accelerated simulation of tunable vibration energy harvesting systems using a linearised state-space technique At Design, Test and Automation in Europe (DATE 2011), France. 14 - 18 Mar 2011.
Weddell, Alex, Merrett, Geoff and Al-Hashimi, Bashir (2011) Ultra low-power photovoltaic MPPT technique for indoor and outdoor wireless sensor nodes At Design, Automation and Test in Europe (DATE), France. 14 - 18 Mar 2011. 4 pp.
Weddell, Alex, Merrett, Geoff V., Kazmierski, Tom and Al-Hashimi, Bashir (2011) Accurate supercapacitor modeling for energy-harvesting wireless sensor nodes IEEE Transactions on Circuits and Systems II Express Briefs, 58, (12), pp. 911-915. (doi:10.1109/TCSII.2011.2172712).
Weddell, Alex S., Merrett, Geoff V. and Al-Hashimi, Bashir M. (2011) Photovoltaic sample-and-hold circuit enabling MPPT indoors for low-power systems IEEE Transactions on Circuits and Systems I: Regular Papers, 59, (6), pp. 1196-1204. (doi:10.1109/TCSI.2011.2173393).
Wood, Alex L. (2011) DejaView: energy-efficient, adaptive, and context-aware sensing for a wearable memory aid system At ESS group internal poster session.
Xun, Li, Shiqi, Tang, Merrett, Geoff and White, Neil (2011) Energy-Efficient Data Acquisition in Wireless Sensor Networks through Spatial Correlation At IEEE Int'l Conf. Mechatronics and Automation (ICMA 2011), China. 07 - 10 Aug 2011. , pp. 1068-1073.
Yang, Sheng, Khursheed, Syed Saqib, Al-Hashimi, Bashir, Flynn, David and Idgunji, Sachin (2011) Reliable state retention-based embedded processors through monitoring and recovery IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 30, (12), pp. 1773-1785.
Yeganefard, Sanaz and Butler, Michael (2011) Structuring functional requirements of control systems to facilitate refinement-based formalisation [in special issue: Automated Verification of Critical Systems 2011] Electronic Communications of the EASST, 46
Yu, Tai-Tuck, Scanlan, James P., Crowder, Richard M. and Wills, Gary B. (2011) Approaches to modeling the gas-turbine maintenance process Journal of Computing and Information Science in Engineering, 12, (1), 011007-[9pp]. (doi:10.1115/1.3647876).
Yusoff, Amri, Wills, Gary, Crowder, Richard and Gilbert, Lester (2011) Pedagogy and Game Attributes for Teaching English as a Second Language At Universiti Malaysia Terengganu 10th International Annual Symposium (UMTAS 2011), Malaysia. 11 - 13 Jul 2011.
Zhang, Pei, Recio, Alejandra, Wills, Gary, Smitham, Peter, Gilbert, Lester, Santer, Mike, Kanani, Michael and Grange, Simon (2011) Catch Before a Fall – an iPad Application for Osteoporosis Risk Assessment At IADIS e-Society, Spain. 10 - 13 Mar 2011.
Zhao, Yi, Khursheed, Saqib and Al-Hashimi, Bashir (2011) Cost-Effective TSV Grouping for Yield Improvement of 3D-ICs At ATS 2011, India.
Zhong, Shida, Khursheed, Saqib and Al-Hashimi, Bashir (2011) A Fast and Accurate Process Variation-aware Modeling Technique for Resistive Bridge Defects IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Zhong, Shida, Khursheed, Saqib, Al-Hashimi, Bashir, Reddy, Sudhakar and Chakrabarty, Krishnendu (2011) Analysis of Resistive Bridge Defect Delay Behavior in the Presence of Process Variation At Asian Test Symposium 2011, India. 21 - 23 Nov 2011.