Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. 2007
  2. Refining Implicit Function Representations of 3-D Scenes: Proc. British Machine Vision Conference(BMVC), vol. II

    Grum, M. & Bors, A. G., Sep 2007, p. 710-719.

    Research output: Contribution to conferencePaper

  3. A UML Profile for Knowledge-Based Systems Modelling

    Abdullah, M. S., Paige, R. F., Kimble, C. & Benest, I. D., 20 Aug 2007, p. 871-878.

    Research output: Contribution to conferencePaper

  4. Bio-inspired Cellular Architectures

    Tempesti, G., 1 Aug 2007.

    Research output: Contribution to conferenceOther

  5. Calcium Signaling Mechanisms as a Biological Rhythm: A Theoretical Study

    Santini, C. & Tyrrell, A. M., 1 Aug 2007, p. 339-349.

    Research output: Contribution to conferenceOther

  6. Evolutionary search applied to reconfigurable analogue control

    Clegg, K., Stepney, S. & Clarke, T., 1 Aug 2007, p. 593-6.

    Research output: Contribution to conferenceOther

  7. Hippocampus Neurons and Place Cells/Place Field Representation to Provide Path Navigation

    Mokhtar, M., Halliday, D. M. & Tyrrell, A. M., 1 Aug 2007.

    Research output: Contribution to conferenceOther

  8. On Immune Inspired Homeostasis for Electronic Systems

    Owens, N., Timmis, J., Greensted, A. & Tyrrell, A., 1 Aug 2007, p. 216-227.

    Research output: Contribution to conferenceOther

  9. French Influence on Fifteenth-Century English Script

    Mooney, L. R., 18 Jul 2007, (Unpublished).

    Research output: Contribution to conferencePaper

  10. Identification of the Scribes Responsible for Copying Major Works of Middle English Literature

    Mooney, L. R., 9 Jul 2007, (Unpublished).

    Research output: Contribution to conferencePaper

  11. 293T cell membrane electroporation with AC field

    Chen, C., Evans, J. A., Robinson, M. P., Smye, S. W. & O'Toole, P. J., 1 Jul 2007, p. 10-11.

    Research output: Contribution to conferenceOther

  12. A New Crossover Technique for Cartesian Genetic Programming

    Clegg, J., Walker, J. A. & Miller, J. F., 1 Jul 2007.

    Research output: Contribution to conferenceOther

  13. A Semi-Automatic Human-Computer Collaborative System for 3D Shape Acquisition

    Li, L. & Robinson, J., 1 Jul 2007.

    Research output: Contribution to conferenceOther

  14. Acoustic Echo Cancellation with Reduced-Rank Adaptive Interpolated Filter Based on Parallel-Branch Diversity Decimation

    Yukawa, M., Lamare, R. C. D. & Sampaio-Neto, R., 1 Jul 2007.

    Research output: Contribution to conferenceOther

  15. An Evolutionary Platform for Developing Next-Generation Electronic Circuits

    Hilder, J. & Tyrrell, A. M., 1 Jul 2007, p. 2483-2488.

    Research output: Contribution to conferenceOther

  16. Competences and Accreditation in Electrical and Information Engineering

    Thiriet, JM., Benlloch-Dualde, JV., Martins, MJ., Ward, AE., Bonnaud, O. & Hoffmann, M., 1 Jul 2007.

    Research output: Contribution to conferenceOther

  17. EIE-Surveyor: A Thematic network in Electrical and Information Engineering: evolutions and trends

    Thiriet, JM., Benlloch-Dualde, JV., Robert, M., Martins, MJ., Ward, AE., Bonnaud, O. & Hoffmann, M., 1 Jul 2007.

    Research output: Contribution to conferenceOther

  18. Electroporation with RF field

    Chen, C., Robinson, M. P., Evans, J. A., Smye, S. W. & O'Toole, P. J., 1 Jul 2007, p. 3.

    Research output: Contribution to conferenceOther

  19. Evolution of Adult Male Oral Tract Shapes for close and Open Vowels

    Howard, A. M., Tyrrell, A. M. & Cooper, C., 1 Jul 2007, p. 2751-2757.

    Research output: Contribution to conferenceOther

  20. FPGA implementation of DCD based CDMA multiuser detector

    Quan, Z., Liu, J. & Zakharov, Y., 1 Jul 2007, p. 319--322.

    Research output: Contribution to conferenceOther

  21. Influence of External Optical Feedback on Mode-Locked Laser Diode Dynamics

    Avrutin, E. A. & Comrie, B. M. R., 1 Jul 2007, p. 230-232.

    Research output: Contribution to conferenceOther

  22. Integrated Packet-Level All-Optical Clock Recovery Scheme Based on a Resonator and a Quantum Dot Optical Amplifier

    Song, X., Koukoumidis, I. & Avrutin, E. A., 1 Jul 2007, p. 99-101.

    Research output: Contribution to conferenceOther

  23. Meeting the needs of students with disabilities in an Engineering Department: a modern problem?

    Ward, AE. & Snowden, P., 1 Jul 2007.

    Research output: Contribution to conferenceOther

  24. Parallel FPGA implementation of DCD algorithm

    Liu, J., Quan, Z. & Zakharov, Y., 1 Jul 2007, p. 331--334.

    Research output: Contribution to conferenceOther

  25. Residue-Free Video Coding with Temporal Prediction Trees

    Day, M. & Robinson, J., 1 Jul 2007.

    Research output: Contribution to conferenceOther

  26. TOWARDS A MUSIC SYNTHESIZER CONTROLLED BY TIMBRAL ADJECTIVES

    Howard, D. M., Disley, A. C. & Hunt, A. D., 1 Jul 2007.

    Research output: Contribution to conferenceOther

  27. The application of the Tuning Methodology to the Electrical and information Engineering Disciplines: an EIE Surveyor Project

    Ward, AE., Jasenek, J. & Thiriet, JM., 1 Jul 2007.

    Research output: Contribution to conferenceOther

  28. Recent Results from Laser Solid Interaction Experiments using 100 TW Sandia Laser

    King, J., Pasley, J. R., Beg, F., Brambrink, E., Edens, A., Geissel, M., Headley, D., Rambo, P., Schwarz, J., Sinars, D. & Stephens, R. B., Jul 2007.

    Research output: Contribution to conferencePaper

  29. A framework for describing and comparing courses and curricula

    Pedroni, M., Oriol, M. & Meyer, B., 1 Jun 2007, p. 131.

    Research output: Contribution to conferencePaper

  30. Coexistence Performance of Terrestrial Communication Systems with Area Optimized Channel Assignments

    Yang, M. & Grace, D., 1 Jun 2007.

    Research output: Contribution to conferenceOther

  31. Gigabit Communication Links from a High Altitude Platform to Serve Specialist Users

    Peng, Z. & Grace, D., 1 Jun 2007.

    Research output: Contribution to conferenceOther

  32. Optimizing Downlink Coexistence Performance of WiMAX Services in HAP and Terrestrial Deployments in Shared Frequency Bands

    Yang, Z., Mohammed, A., Hult, T. & Grace, D., 1 Jun 2007.

    Research output: Contribution to conferenceOther

  33. Space-time signal processing of OFDM signals in fast-varying underwater acoustic channel

    Xu, Z., Zakharov, Y. & Kodanev, V. P., 1 Jun 2007, p. 1--6.

    Research output: Contribution to conferenceOther

  34. The Phase Amplitude Controlled Bit Stream Adder

    Perez, E., Wells, J. & Reiss, J. D., 1 Jun 2007.

    Research output: Contribution to conferenceOther

  35. Electron Temperature Measurements in Petawatt Laser Experiments Based on 68 EV and 256 EV XUV Imaging

    Ma, T., Pasley, J. R., Wei, M., Beg, F., Akli, K., Offerman, D., Van Woerkom, L., Freeman, R. R., Hey, D., Zhang, B. & Stephens, R. B., Jun 2007.

    Research output: Contribution to conferencePaper

  36. Will the Real Adam Pinkhurst Please Stand Up?

    Mooney, L. R., 10 May 2007, (Unpublished).

    Research output: Contribution to conferencePaper

  37. A Hybrid Artificial Reverberation Algorithm

    Stewart, R. & Murphy, D. T., 1 May 2007.

    Research output: Contribution to conferenceOther

  38. Low Phase Noise Oscillators Including Some Detailed Designs

    Everard, J. K. A., 1 May 2007, p. 1156-1163.

    Research output: Contribution to conferenceOther

  39. Ultra-Low Phase Noise Crystal Oscillators

    Everard, J. & Ng, K., 1 May 2007, p. 1246-1250.

    Research output: Contribution to conferenceOther

  40. Suggestions for stream based parallel systems in Ada

    Ward, M. & Audsley, N. C., 17 Apr 2007, p. 82-87. 6 p.

    Research output: Contribution to conferencePaper

  41. AUTOMATED BIOACOUSTIC DETECTION AND IDENTIFICATION OF WOOD-BORING INSECTS FOR QUARANTINE SCREENING AND INSECT ECOLOGY

    Farr, I. & Chesmore, D., 1 Apr 2007, p. 201-208.

    Research output: Contribution to conferenceOther

  42. Blind Linear Interference Suppression based on Reduced-Rank Least-Squares Constrained Constant Modulus Design for DS-CDMA Systems

    Lamare, R. C. D., Haardt, M. & Sampaio-Neto, R., 1 Apr 2007, p. 4.

    Research output: Contribution to conferenceOther

  43. Evolvable Hardware: a Fundamental Technology for Homeostasis

    Tyrrell, A. M., Timmis, J., Greensted, A. J. & Owens, N., 1 Apr 2007, p. 40-45.

    Research output: Contribution to conferenceOther

  44. Game theoretic behaviour of terrestrial and HAP WiMAX systems sharing common spectrum

    Likitthanasate, P., Grace, D. & Mitchell, P. D., 1 Apr 2007.

    Research output: Contribution to conferenceOther

  45. RISA: A Hardware Platform for Evolutionary Design

    Greensted, A. J. & Tyrrell, A. M., 1 Apr 2007, p. 1-7.

    Research output: Contribution to conferenceOther

  46. ROBUST IN-FIELD AUTOMATED BIOACOUSTIC IDENTIFICATION OF SPECIES FOR RAPID BIODIVERSITY STUDIES

    Chesmore, D., 1 Apr 2007, p. 61-68.

    Research output: Contribution to conferenceOther

  47. Trellis-Coded Multi-Level Gaussian MSK

    Burr, A. & Deng, Y., 1 Apr 2007.

    Research output: Contribution to conferenceOther

  48. Understanding and Harnessing Self-Organisation

    Santini, C. & Tyrrell, A. M., 1 Apr 2007, p. 192-198.

    Research output: Contribution to conferenceOther

  49. Deskilling the skilled emotional worker: an analysis from the Irish airline industry

    Royle, T. & Curley, C., Apr 2007.

    Research output: Contribution to conferencePaper

  50. Challenges when using Model-Driven Architecture in the development of Safety Critical Software

    Conmy, P. & Paige, R. F., 31 Mar 2007, p. 127-136. 9 p.

    Research output: Contribution to conferencePaper

  51. Recent work on production of hot plasmas and transport of hot electrons

    Beg, F., Key, M., Mackinnon, A., MacPhee, A. G., LePape, S., Patel, P., Wilks, S. C., Stephens, R. B., Pasley, J. R., Shipton, E. & Wei, M., 26 Feb 2007. 18 p.

    Research output: Contribution to conferenceOther

  52. Lens antennas for multi-satellite and multi-frequency band communications on trains.

    Thornton, J. & Tozer, T., 1 Feb 2007.

    Research output: Contribution to conferenceOther

  53. 'Going Dutch': doing comparative research

    Davidson, J., 2007.

    Research output: Contribution to conferencePaper

  54. A Denotational Semantics for Handel-C Hardware Compilation

    Perna, J. I. & Woodcock, J., 2007, p. 266-285.

    Research output: Contribution to conferencePaper

  55. A Human Action Recognition System for Embedded Computer Vision Application

    Meng, H., Pears, N. & Bailey, C., 2007.

    Research output: Contribution to conferencePaper

  56. A Navigation-based Algorithm for Matching Scenario Patterns

    Ma, J., Zhao, G. & Hancock, E. R., 2007, p. 151-157.

    Research output: Contribution to conferencePaper

  57. A New Framework for Grayscale and Colour Non-lambertian Shape-from-Shading

    Smith, W. A. P. & Hancock, E. R., 2007, p. 869-880.

    Research output: Contribution to conferencePaper

  58. A Novel Approach to the Detection of Cheating in Multiplayer Online Games

    Laurens, P., Paige, R. F., Brooke, P. J. & Chivers, H., 2007, p. 97-106.

    Research output: Contribution to conferencePaper

  59. A Static Checker for Safe Pattern Matching in Haskell

    Mitchell, N., Runciman, C. & Eekelen, M. V., 2007, p. 15-30.

    Research output: Contribution to conferencePaper

  60. A cross-national analysis of parental involvement and student literacy.

    Guzman, L., Hampden-Thompson, G. & Lippman, L., 2007, (Unpublished).

    Research output: Contribution to conferencePaper

  61. A functional-logic library for Wired

    Naylor, M., Axelsson, E. & Runciman, C., 2007, p. 37--48.

    Research output: Contribution to conferencePaper

  62. A novel platform for complex bio-inspired architectures

    Tempesti, G., Vannel, F., Mudry, P. A. & Mange, D., 2007, p. 8-14.

    Research output: Contribution to conferenceOther

  63. APD-A Tool for Identifying Behavioural Patterns Automatically from Clickstream Data

    Ting, I-H., Clark, L., Kimble, C., Kudenko, D. & Wright, P., 2007, p. 66-73.

    Research output: Contribution to conferencePaper

  64. Abstraction and Reformulation in the Generation of Constraint Models

    Frisch, A. M., 2007, p. 2-3.

    Research output: Contribution to conferencePaper

  65. Accessibility 2.0: people, policies and processes

    Kelly, B., Sloan, D., Brown, S., Seale, J., Petrie, H., Lauke, P. & Ball, S., 2007, p. 138-147.

    Research output: Contribution to conferencePaper

  66. Accessibility in non-professional web authoring tools: a missed web 2.0 opportunity?

    Power, C. & Petrie, H., 2007, p. 116-119.

    Research output: Contribution to conferencePaper

  67. Adaptive Equalization in the Frequency Domain for Systems with Block Transmission

    Costa, B. R. D., Vinhoza, T. T. V., Lamare, R. C. D. & Sampaio-Neto, R., 2007, p. 5.

    Research output: Contribution to conferenceOther

  68. Advanced Structural Representations for Question Classification and Answer Re-ranking

    Quarteroni, S., Moschitti, A., Manandhar, S., Basili, R., Amati, G., Carpineto, C. & Romano, G., 2007, p. 234-245.

    Research output: Contribution to conferencePaper

  69. Aggregation of Information leaked by a MANET

    Murdoch, J., Clark, J. A., McDermid, J. A., Chivers, H. R. & Worthington, O., 2007.

    Research output: Contribution to conferencePaper

  70. An Analysis of Problem Difficulty for a Class of Optimisation Heuristics

    Ridge, E. & Kudenko, D., 2007, p. 198-209.

    Research output: Contribution to conferencePaper

  71. An Associative Memory for Association Rule Mining

    Baez-Monroy, V. O. & O'Keefe, S., 2007, p. 2227-2232.

    Research output: Contribution to conferencePaper

  72. An Empirical Study into the Modeling of Key Organizing Processes

    Van Der Meer, R., Bititci, U., Maguire, C., Ackermann, F., Ates, A., Bourne, M., Davies, J., Gibb, S., MacBryde, J., MacKay, D. & Shafti, F., 2007.

    Research output: Contribution to conferenceOther

  73. An FPGA based MVDR beamformer using dichotomous coordinate descent iterations

    Liu, J., Weaver, B., Zakharov, Y. & White, G., 2007, p. 2551-2556.

    Research output: Contribution to conferenceOther

  74. An FPGA-based system for development of real-time embedded vision applications

    Crispin-Bailey, C., Pears, N. E. & Meng, H., 2007, p. 33-40. 8 p.

    Research output: Contribution to conferencePaper

  75. An Investigation on the Compression Quality of aiNet

    Stibor, T. & Timmis, J., 2007, p. 495-502.

    Research output: Contribution to conferencePaper

  76. An adaptive lifting algorithm and applications: Bulletin of the ISI, LXII

    Knight, M. I., Nunes, M. A. & Nason, G. P., 2007, p. 166-173.

    Research output: Contribution to conferencePaper

  77. An end-to-end process view of strategy management: a research framework

    Bititci, U., Ates, A., Macbryde, J. & Van Der Meer, R., 2007.

    Research output: Contribution to conferenceOther

  78. An improved speaker diarization system

    Fu, R. & Benest, I. D., 2007, p. 2605-2608.

    Research output: Contribution to conferencePaper

  79. Analysis of Hierarchical EDF Pre-emptive Scheduling

    Zhang, F. & Burns, A., 2007, p. 423-434.

    Research output: Contribution to conferencePaper

  80. Applying Web Usage Mining Techniques to Discover Potential Browsing Problems of Users

    Ting, I-H., Kimble, C. & Kudenko, D., 2007, p. 929-930.

    Research output: Contribution to conferencePaper

  81. Automatic Generation of Verified Concurrent Hardware

    Oliveira, M. & Woodcock, J., 2007, p. 286-306.

    Research output: Contribution to conferencePaper

  82. Beyond modernisation? Social care and the transformation of welfare governance

    Newman, J., Hughes, M. & Glendinning, C., 2007.

    Research output: Contribution to conferencePaper

  83. Budget Impact Analysis of Political Measures in the Generic Medicines Market (Portugal)

    Felix, J., Ines, M., Saramago Goncalves, P. R. & Soares, M. O., 2007.

    Research output: Contribution to conferenceAbstract

  84. Building for Users not for Experts: Designing a Visualization of the Literature Domain

    Faisal, S., Cairns, P. A. & Blandford, A., 2007, p. 707-712.

    Research output: Contribution to conferencePaper

  85. CONFETTI: A reconfigurable hardware platform for prototyping cellular architectures

    Mudry, P. A., Vannel, F., Tempesti, G. & Mange, D., 2007.

    Research output: Contribution to conferenceOther

  86. Carers and the management of financial assets in later life

    Glendinning, C., 2007.

    Research output: Contribution to conferencePaper

  87. Certification of Autonomous Systems

    R Alexander, M. H-M. & Kelly, T., 2007.

    Research output: Contribution to conferencePaper

  88. Certification of Autonomous Systems under UK Military Safety Standards

    Alexander, R., Hall-May, M. & Kelly, T., 2007.

    Research output: Contribution to conferencePaper

  89. Challenges and Obstacles to Europeanisation

    Wright, K., Deitz, L. & Stirton, L., 2007, (Unpublished).

    Research output: Contribution to conferencePaper

  90. Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System

    Habli, I. & Kelly, T., 2007, p. 193-202.

    Research output: Contribution to conferencePaper

  91. Challenges of evaluating the information visualisation experience

    Faisal, S., Cairns, P. A. & Blandford, A., 2007, p. 167-170.

    Research output: Contribution to conferencePaper

  92. Changing the Genospace: Solving GA Problems using Cartesian Genetic Programming

    Walker, J. A. & Miller, J. F., 2007, p. 261-270.

    Research output: Contribution to conferenceOther

  93. Choice in the context of informal care-giving

    Arksey, H. & Glendinning, C., 2007.

    Research output: Contribution to conferencePaper

  94. Choices over time: from research snapshots to videos?

    Glendinning, C., 2007.

    Research output: Contribution to conferencePaper

  95. Co-ordinating Knowledge in Pervasive Environments

    Nixon, L., Tolksdorf, R., Wood, A. M. & Menezes, R., 2007, p. to appear.

    Research output: Contribution to conferencePaper

  96. Coevolution of Intelligent Agents using Cartesian GeneticProgramming

    Khan, G. M., Halliday, D. M. & Miller, J. F., 2007, p. 269-276.

    Research output: Contribution to conferenceOther

  97. Combining Reinforcement Learning with Symbolic Planning

    Grounds, M. & Kudenko, D., 2007, p. 75-86.

    Research output: Contribution to conferencePaper

  98. Comments on real-valued negative selection vs. real-valued positive selection and one-class SVM

    Stibor, T. & Timmis, J., 2007, p. 3727-3734.

    Research output: Contribution to conferencePaper

  99. Comparison of a multi-layered artificial immune system with a kohonen network

    Knight, T. & Timmis, J., 2007, p. 3735-3742.

    Research output: Contribution to conferencePaper

  100. Complementarities in strategy management

    Bititci, U., Ates, A., Macbryde, J., Van Der Meer, R. & Ackermann, F., 2007.

    Research output: Contribution to conferenceOther

  101. Complexity transfers from suppliers to customers in customised products

    Huaccho Huatuco, L. D. & Kerr, M., 2007. 10 p.

    Research output: Contribution to conferencePaper

  102. Contemporary policy responses in the UK

    Glendinning, C., 2007.

    Research output: Contribution to conferencePaper

  103. Continuing Professional Development for Senior Hospital Doctors: Reality of Rhetoric

    Tsouroufli, M. & Payne, H., 2007.

    Research output: Contribution to conferencePaper

  104. Contract driven development= test driven development-writing test cases

    Leitner, A., Ciupa, I., Oriol, M., Meyer, B. & Fiva, A., 2007, p. 434.

    Research output: Contribution to conferencePaper

  105. Coordinating Knowledge in Pervasive Environments

    Nixon, L. J. B., Tolksdorf, R., Wood, A. & Menezes, R., 2007, p. 74-79.

    Research output: Contribution to conferencePaper

  106. Coordination of Collaborative Engineering: State of the Art and Future Challenges

    Pawlak, A., Sandkuhl, K., Cholewa, W. & Indrusiak, L. S., 2007.

    Research output: Contribution to conferencePaper

  107. Creating strategy process capability in SMEs

    Bititci, U., Ates, A., Macbryde, J. & Van Der Meer, R., 2007.

    Research output: Contribution to conferenceOther

  108. Cultural theory and accounting failures

    Linsley, P. M. & Shrives, P. J., 2007.

    Research output: Contribution to conferencePaper

  109. Death of a life partner: the financial implications

    Corden, A. & Hirst, M., 2007.

    Research output: Contribution to conferencePaper

  110. Deconstructing Web Experience: More Than Just Usability and Good Design

    Harrison, C. & Petrie, H., 2007, p. 889-898.

    Research output: Contribution to conferencePaper

  111. Delivering Real-Time Behaviour

    Burns, A. & Wellings, A. J., 2007, p. 1-50.

    Research output: Contribution to conferencePaper

  112. Determining Accessibility Needs Through User Goals

    Carey, K., Gracia, R., Power, C., Petrie, H. & Carmien, S., 2007, p. 28-35.

    Research output: Contribution to conferencePaper

  113. Developing Electromagnetic Methods for Assessment of Body Composition

    Robinson, M. P., 2007.

    Research output: Contribution to conferencePaper

  114. Developing outcomes-focused services for older people

    Glendinning, C., 2007.

    Research output: Contribution to conferencePaper

  115. Developments in long-term care - diversity or convergence across Europe

    Glendinning, C., 2007.

    Research output: Contribution to conferencePaper

  116. Direct Costs of Chemotherapy Induced Neutropenia in Patients with Breast or Lung Cancer: Portugal

    Felix, J., Ferreira, J., Saramago Goncalves, P. R. & Andreozzi, V., 2007.

    Research output: Contribution to conferencePoster

  117. Discretization Numbers for Multiple-Instances Problem in Relational Database

    Alfred, R. & Kazakov, D., 2007, p. 55-65.

    Research output: Contribution to conferencePaper

  118. Domiciliary care agency responses to increased user choice

    Baxter, K., 2007.

    Research output: Contribution to conferencePaper

  119. Dynamic Generation of Dilemma-based Interactive Narratives

    Barber, H. & Kudenko, D., 2007, p. 2-7.

    Research output: Contribution to conferencePaper

  120. EMC Measurements and Testing

    Robinson, M. P., 2007.

    Research output: Contribution to conferenceOther

  121. Effectiveness and costs of key worker services

    Sloper, P. & Beecham, J., 2007.

    Research output: Contribution to conferencePaper

  122. Efficient unit test case minimization

    Leitner, A., Oriol, M., Zeller, A., Ciupa, I. & Meyer, B., 2007, p. 417.

    Research output: Contribution to conferencePaper

  123. Enabling Software Evolution Via AOP and Reflection

    Oriol, M., Cazzola, W., Chiba, S., Saake, G., Coady, Y., Ducasse, S. & Kniesel, G., 2007, p. 91--98.

    Research output: Contribution to conferencePaper

  124. Ensuring Dependable Systems of Systems

    Kelly, T., Hall-May, M. & Alexander, R., 2007.

    Research output: Contribution to conferencePaper

  125. Experimental assessment of random testing for object-oriented software

    Ciupa, I., Leitner, A., Oriol, M. & Meyer, B., 2007, p. 84.

    Research output: Contribution to conferencePaper

  126. Exploring the financial implications of the death of a life partner: using a mixed method approach

    Corden, A. & Hirst, M., 2007.

    Research output: Contribution to conferencePaper

  127. Extending Argumentation to Goal-Oriented Requirements Engineering

    Habli, I., Wu, W., Attwood, K. & Kelly, T., 2007, p. 306-316.

    Research output: Contribution to conferencePaper

  128. Extreme Programming Security Practices

    Ge, X., Paige, R. F., Polack, F. & Brooke, P. J., 2007, p. 226-230. 4 p.

    Research output: Contribution to conferencePaper

  129. Facial Shape Spaces from Surface Normals and Geodesic Distance

    Ceolin, S., Smith, W. A. P. & Hancock, E. R., 2007, p. 416-423.

    Research output: Contribution to conferencePaper

  130. Financial consequences of death of a life partner

    Corden, A. & Hirst, M., 2007.

    Research output: Contribution to conferencePaper

  131. Finding Inputs that Reach a Target Expression

    Naylor, M. & Runciman, C., 2007, p. 133-142.

    Research output: Contribution to conferencePaper

  132. Folding Protein-Like Structures with Open L-Systems

    Danks, G. B., Stepney, S. & Caves, L. S. D., 2007, p. 1100-1109.

    Research output: Contribution to conferencePaper

  133. Formalising Flash Memory: First Steps

    Butterfield, A. & Woodcock, J., 2007, p. 251-260.

    Research output: Contribution to conferencePaper

  134. Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy

    Aydal, E. G., Woodcock, J. & Cavalcanti, A., 2007, p. 290-295.

    Research output: Contribution to conferencePaper

  135. Graph Similarity Using Interfering Quantum Walks

    Emms, D., Hancock, E. R. & Wilson, R. C., 2007, p. 823-831.

    Research output: Contribution to conferencePaper

  136. Graph Spectral Image Smoothing

    Zhang, F. & Hancock, E. R., 2007, p. 191-203.

    Research output: Contribution to conferencePaper

  137. HCI... not as it should be: inferential statistics in HCI research

    Cairns, P., 2007, p. 195--201.

    Research output: Contribution to conferencePaper

  138. Hamiltonian stationary Lagrangian tori in R^4 and CP^2

    McIntosh, I., 2007, p. 163-184.

    Research output: Contribution to conferenceOther

  139. Haskell Program Coverage

    Gill, A. & Runciman, C., 2007, p. 1--12.

    Research output: Contribution to conferencePaper

  140. Home care services for older people in England

    Glendinning, C., 2007.

    Research output: Contribution to conferencePaper

  141. Ide-integrated support for schema evolution in object-oriented applications

    Piccioni, M., Oriol, M. & Meyer, B., 2007, p. 27.

    Research output: Contribution to conferencePaper

  142. Immune and Evolutionary Approaches to Software Mutation Testing

    May, P., Timmis, J. & Mander, K., 2007, p. 336-347.

    Research output: Contribution to conferencePaper

  143. Improvements in Speaker Diarization System

    Fu, R. & Benest, I. D., 2007, p. 317-323.

    Research output: Contribution to conferencePaper

  144. Individual budgets: impacts and outcomes for carers

    Rabiee, P., Glendinning, C. & Moran, N., 2007.

    Research output: Contribution to conferencePaper

  145. Inducing a perceptual relevance shape classifier

    Hodge, V. J., Eakins, J. P. & Austin, J., 2007, p. 138-145.

    Research output: Contribution to conferencePaper

  146. Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java

    Wellings, A. J., Burns, A., Santos, O. M. D. & Brosgol, B. M., 2007, p. 115-123.

    Research output: Contribution to conferencePaper

  147. Interactivity and Interfaces in Sonification

    Pauletto, S. & Hermann, T., 2007.

    Research output: Contribution to conferencePoster

  148. International Branding - Analysis and Implications of Three Decades of Past Research

    J, Whitelock, 2007.

    Research output: Contribution to conferencePaper

  149. Interntional Advertising Strategy in the Mercosur: The Process of Standardisation

    J, Whitelock, 2007.

    Research output: Contribution to conferencePaper

  150. Involving children in quality assessments audits

    Beresford, B., 2007.

    Research output: Contribution to conferencePaper

  151. Layout indexing of trademark images

    Leuken, R. H. V., Demirci, M. F., Hodge, V. J., Austin, J. & Veltkamp, R. C., 2007, p. 525-532.

    Research output: Contribution to conferencePaper

  152. Lazy Exploration and Checking of CSP Models with CSPsim

    Brooke, P. J. & Paige, R. F., 2007, p. 33-49.

    Research output: Contribution to conferencePaper

  153. Living their lives: supporting disabled children and their families

    Beresford, B., 2007.

    Research output: Contribution to conferencePaper

  154. Managing older people's money and assets - the role of informal carers

    Glendinning, C., 2007.

    Research output: Contribution to conferencePaper

  155. Meeting the information needs of young people with chronic illness

    Beresford, B., 2007.

    Research output: Contribution to conferencePaper

  156. Minding the money: carers and older people's financial management

    Glendinning, C., 2007.

    Research output: Contribution to conferencePaper

  157. Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems

    Mahmood, T., Kazmierczak, E., Kelly, T. & Plunkett, D., 2007, p. 175-182.

    Research output: Contribution to conferencePaper

  158. More than Tom's mum: parents desired outcomes from support services

    Beresford, B., 2007.

    Research output: Contribution to conferencePaper

  159. Motion information combination for fast human action recognition

    Meng, H., Pears, N. & Bailey, C., 2007, p. 21-28.

    Research output: Contribution to conferencePaper

  160. Motives of Cross-border Mergers and Acquisitions: Evidence from UK

    Uddin, M. & Boateng, A., 2007.

    Research output: Contribution to conferencePaper

  161. Multi-agent Reinforcement Learning for Intrusion Detection

    Servin, A. & Kudenko, D., 2007, p. 211-223.

    Research output: Contribution to conferencePaper

  162. Neutral Emergence: a proposal

    Weeks, A., Stepney, S. & Polack, F. A. C., 2007.

    Research output: Contribution to conferencePaper

  163. Neutral Emergence and Coarse Graining

    Weeks, A., Stepney, S. & Polack, F., 2007, p. 1131-1140.

    Research output: Contribution to conferencePaper

  164. Open source projects in programming courses

    Pedroni, M., Bay, T., Oriol, M. & Pedroni, A., 2007, p. 454.

    Research output: Contribution to conferencePaper

  165. Organisation as Art or Science? Some New Considerations of Validity

    Linstead, S. A. & Cunliffe, A. L., 2007.

    Research output: Contribution to conferencePaper

  166. Outcomes in preventative services for older people

    Glendinning, C., 2007.

    Research output: Contribution to conferencePaper

  167. POSIX file store in Z/Eves: an experiment in the verified software repository

    Freitas, L., Fu, Z. & Woodcock, J., 2007, p. 3-14.

    Research output: Contribution to conferencePaper

  168. Parallel reinforcement learning with linear function approximation

    Grounds, M. & Kudenko, D., 2007, p. 45.

    Research output: Contribution to conferencePaper

  169. Practical single view metrology for cuboids

    Pears, N., Wright, P. & Bailey, C., 2007, p. 85-90.

    Research output: Contribution to conferencePaper

  170. Predicting Prime Numbers using Cartesian Genetic Programming

    Walker, J. A. & Miller, J. F., 2007, p. 205-216.

    Research output: Contribution to conferenceOther

  171. Primitives for the dynamic evolution of component-based applications

    Oriol, M., 2007, p. 1122.

    Research output: Contribution to conferencePaper

  172. Proving Theorems About JML Classes

    Freitas, L. & Woodcock, J., 2007, p. 255-279.

    Research output: Contribution to conferencePaper

  173. Real-Time Utilities for Ada 2005

    Wellings, A. J. & Burns, A., 2007, p. 1-14.

    Research output: Contribution to conferencePaper

  174. Research on housing issues and disabled children: is it still valid?

    Beresford, B., 2007.

    Research output: Contribution to conferencePaper

  175. Retrenchment and the Atomicity Pattern

    Banach, R., Jeske, C., Hall, A. & Stepney, S., 2007, p. 37-46.

    Research output: Contribution to conferencePaper

  176. Risk and adult social care: what does research evidence tell us?

    Mitchell, W., 2007.

    Research output: Contribution to conferencePaper

  177. Risk and responsibilities of conducting research

    Beresford, B., 2007.

    Research output: Contribution to conferencePaper

  178. Rogue Celebrity and the Joy of Transgression

    Penfold-Mounce, R. A., 2007.

    Research output: Contribution to conferencePaper

  179. Screening the parameters affecting heuristic performance

    Ridge, E. & Kudenko, D., 2007, p. 180.

    Research output: Contribution to conferencePaper

  180. Self-Modifying Cartesian Genetic Programming

    Harding, S. L., Miller, J. F. & Banzhaf, W., 2007, p. 1021-1028.

    Research output: Contribution to conferenceOther

  181. Slotted-Circus

    Butterfield, A., Sherif, A. & Woodcock, J., 2007, p. 75-97.

    Research output: Contribution to conferencePaper

  182. Social policy and the lives of disabled children and their families

    Beresford, B., 2007.

    Research output: Contribution to conferencePaper

  183. Studi e ricerche sul Tardoglaciale nel basso versante tirrenico della penisola italiana

    Colonese, A. C., Di Giuseppe, Z., Cilli, C., Ghinassi, M., Lo Vetro, D., Ricciardi, S., Rolle, R. & Viti, S., 2007, p. 38-40. 2 p.

    Research output: Contribution to conferencePaper

  184. Supporting Deliberative Real-Time AI Systems: A Fixed Priority Scheduling Approach

    Chu, Y. & Burns, A., 2007, p. 259-268.

    Research output: Contribution to conferencePaper

  185. Supporting informal care: crossroads and challenges

    Glendinning, C., 2007.

    Research output: Contribution to conferencePaper

  186. Surface Integration: Two Statistical Approaches

    Smith, W. A. P. & Hancock, E. R., 2007, p. 343-350.

    Research output: Contribution to conferencePaper

  187. Surface Reconstruction Using Polarization and Photometric Stereo

    Atkinson, G. & Hancock, E. R., 2007, p. 466-473.

    Research output: Contribution to conferencePaper

  188. Systematic evaluation of test failure results

    Ciupa, I., Liu, L. L., Oriol, M., Leitner, A. & Borca-Muresan, R., 2007, p. 2--3.

    Research output: Contribution to conferencePaper

  189. Teachers' experiences of teaching `ideas-about-science' and socio-scientific issues

    Hanley, P., Ratcliffe, M. & Osborne, J., 2007.

    Research output: Contribution to conferencePaper

  190. Teachers’ Decision-making About Socio-scientific Issues

    Grace, M. & Hanley, P., 2007.

    Research output: Contribution to conferencePaper

  191. Tenuta: Strategies for Providing Guidance on Usability and Accessibility

    Bevan, N., Petrie, H. & Claridge, N., 2007, p. 20-27.

    Research output: Contribution to conferencePaper

  192. Testing for Refinement in CSP

    Cavalcanti, A. & Gaudel, M-C., 2007, p. 151-170.

    Research output: Contribution to conferencePaper

  193. The Art or Science of Organisation? New Approaches to Validity

    Linstead, S. A. & Cunliffe, A. L., 2007.

    Research output: Contribution to conferencePaper

  194. The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems

    Frisch, A. M., Grum, M., Jefferson, C., Hernández, B. M. & Miguel, I., 2007, p. 80-87.

    Research output: Contribution to conferencePaper

  195. The Immune System in Pieces: Computational Lessons from Degeneracy in the Immune System

    Mendoa, M., Timmis, J., Andrews, P. & Davies, M., 2007, p. 394-400.

    Research output: Contribution to conferenceOther

  196. The Market for Public Administration Graduates

    Common, R., 2007.

    Research output: Contribution to conferencePaper

  197. The New Public Health and the Struggle to Manage Healthy Bodies

    Linstead, S. A. & Thanem, T., 2007.

    Research output: Contribution to conferencePaper

  198. The Second Transformation of EC Competition Law?

    Wright, K. & Stirton, L., 2007, (Unpublished).

    Research output: Contribution to conferencePaper

  199. The Usability of Accessibility Evaluation Tools

    Petrie, H., King, N., Velasco, C. A., Gappa, H. & Nordbrock, G., 2007, p. 124-132.

    Research output: Contribution to conferencePaper

  200. The impact of the reform of hospital funding in England

    Street, A. & Miraldo, M., 2007.

    Research output: Contribution to conferencePaper

  201. The role of sickness benefits in a polarised labour market

    Davidson, J., 2007.

    Research output: Contribution to conferencePaper

  202. Threat Modelling for Mobile ad hoc and Sensor Networks

    Clark, J. A., Murdoch, J., McDermid, J. A., Sen, S., Chivers, H. R., Worthington, O. & Rohatgi, P., 2007.

    Research output: Contribution to conferencePaper

  203. Through Life Safety Management

    McDermid, J. A., 2007.

    Research output: Contribution to conferencePaper

  204. Trends in Early Childhood Literacy Activities

    Hampden-Thompson, G., 2007, (Unpublished).

    Research output: Contribution to conferencePaper

  205. Tuning the Performance of the MMAS Heuristic

    Ridge, E. & Kudenko, D., 2007, p. 46-60.

    Research output: Contribution to conferencePaper

  206. Uniform Boilerplate and List Processing

    Mitchell, N. & Runciman, C., 2007, p. 49--60.

    Research output: Contribution to conferencePaper

  207. User Modelling for Personalized Question Answering

    Quarteroni, S. & Manandhar, S., 2007, p. 386-397.

    Research output: Contribution to conferencePaper

  208. Using Unified Modeling Language for Conceptual Modelling of Knowledge-Based Systems

    Abdullah, M. S., Benest, I. D., Paige, R. F. & Kimble, C., 2007, p. 438-453.

    Research output: Contribution to conferencePaper

  209. Using feedback to regulate gene expression in a developmental control architecture

    Clegg, K., Stepney, S. & Clarke, T., 2007, p. 966-973.

    Research output: Contribution to conferencePaper

  210. Validating the unified theory of acceptance and use of technology (UTAUT) tool cross-culturally

    Oshlyansky, L., Cairns, P. A. & Thimbleby, H. W., 2007, p. 83-86.

    Research output: Contribution to conferencePaper

  211. Values and Managerial Processes in Clinical Networks in England

    Schofield, J., Sheaff, R. & Hooper, L., 2007.

    Research output: Contribution to conferenceOther

  212. Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository

    Freitas, L., Mokos, K. & Woodcock, J., 2007, p. 290-298.

    Research output: Contribution to conferencePaper

  213. Welfare states and family care: policies and priorities

    Glendinning, C., 2007.

    Research output: Contribution to conferencePaper

  214. Who goes on to postgraduate study and why?

    Wakeling, P. & Morgan, M., 2007.

    Research output: Contribution to conferencePaper

  215. 2006
  216. A co-design strategy for embedded Java applications based on a hardware interface with invocation semantics

    Borg, A., Gao, R. & Audsley, N., 1 Dec 2006, p. 58-67. 10 p.

    Research output: Contribution to conferencePaper

  217. Illuminating the Path fo Video Visualization in the Shadow of Video Processing

    Chen, M., Robinson, J. & Silver, D., 1 Dec 2006, p. 219-226.

    Research output: Contribution to conferenceOther

  218. A Highly Effective Model of Risk Assessment in Diffuse Large B Cell Lymphoma (DLBCL) Using Classification and Regression Tree (CART) Analysis.

    Barrans, S., Smith, A. G., O'Connor, S., Turner, K., Patmore, R., Owen, R., Roman, E. & Jack, A., Dec 2006, p. 1918-1918. 1 p.

    Research output: Contribution to conferenceOther

  219. Is there such a thing as a working-class academic?

    Wakeling, P., 6 Nov 2006.

    Research output: Contribution to conferencePaper

  220. Binaural transformation coding with simulated head tracking

    Shoji, S. & Tew, A. I., 1 Nov 2006, p. 3214.

    Research output: Contribution to conferenceAbstract

  221. Multi-cultural visualization: how functional programming can enrich visualization (and vice versa)

    Borgo, R., Duke, D., Wallace, M. & Runciman, C., 1 Nov 2006.

    Research output: Contribution to conferencePaper

  222. Novel method for the efficient individualization of binaural audio signals

    Shoji, S. & Tew, A. I., 1 Nov 2006, p. 3214.

    Research output: Contribution to conferenceOther

  223. Remote psychoacoustic testing using the internet

    Disley, A., Howard, D. M. & Hunt, A. D., 1 Nov 2006, p. 3125.

    Research output: Contribution to conferenceOther

  224. Capacity Enhancement through Efficient Constellation Planning for Multiple HAPs

    Chen, G., Grace, D. & Tozer, T. C., 1 Oct 2006.

    Research output: Contribution to conferenceOther

  225. Optimizing Downlink Coexistence Performance of WiMax Services in HAP and Terrestrial Deployments

    Yang, Z., Mohammed, A., Grace, D. & Hult, T., 1 Oct 2006.

    Research output: Contribution to conferenceOther

  226. The Optimization of Antenna Power Roll-off for High Altitude Platform WCDMA Systems

    Holis, J., Grace, D. & Pechac, P., 1 Oct 2006.

    Research output: Contribution to conferenceOther

  227. Proton Beam Source Suitable for Fast Ignition Targets

    Stephens, R. B., Mauldin, M. P., Akli, K., Gu, P., Hey, D., King, J., Patel, N., Zhang, B., Beg, F., Chen, S., Pasley, J. R., Wei, M., Clark, D., Freeman, R. R., Highbarger, K., Hill, J., Krauter, K., Van Woerkom, L., Weber, R., Green, J. & 5 others, Lancaster, K., Murphy, C., Norreys, P., Gregori, G. & Hatchett, S., Oct 2006. 1 p.

    Research output: Contribution to conferenceAbstract

  228. A novel contact-less shielding effectiveness measurement technique for planar material samples

    Marvin, A. C., Dawson, L. & Flintoft, I. D., 4 Sep 2006, p. 584-595.

    Research output: Contribution to conferenceOther

  229. Techniques for determination of Q factors for EMC applications

    Robinson, M. P., Marvin, A. C. & Cui, Y., 4 Sep 2006, p. 999-1004.

    Research output: Contribution to conferenceOther

  230. Achieving Spatial Diversity via Per Antenna Rate Control for Future Wireless Communication Systems

    Song, L., Burr, A. & Roberts, K., 1 Sep 2006.

    Research output: Contribution to conferenceOther

  231. Archaeological Acoustic Space Measurement For Convolution Reverberation And Auralization Applications

    Murphy, D. T., 1 Sep 2006, p. 221-226.

    Research output: Contribution to conferenceOther

  232. Capacity evaluation of a multi-hop wireless ad hoc network using minimum impact routing

    Lu, Y. -M., Grace, D. & Mitchell, P. D., 1 Sep 2006.

    Research output: Contribution to conferenceOther

  233. Designing a professional development programme: a process of change management

    Hanley, P., Ratcliffe, M. & Maringe, F., 1 Sep 2006, p. 1-13.

    Research output: Contribution to conferencePaper

  234. Finding the representative contents for the measurement of shielding effectiveness

    Marvin, A. C. & Cui, Y., 1 Sep 2006, p. 64-76.

    Research output: Contribution to conferenceOther

  235. Full correlation matrix of a time-variant wideband spatial channel model

    Xiao, H. & Burr, A. G., 1 Sep 2006.

    Research output: Contribution to conferenceOther

  236. High Accuracy Frame-By-Frame Non-Stationary Sinusoidal Modelling

    Wells, J. J. & Murphy, D. T., 1 Sep 2006.

    Research output: Contribution to conferenceOther

  237. Joint box-constraint and deregularization in multiuser detection

    Zakharov, Y., Luo, J. & Kasparis, C., 1 Sep 2006.

    Research output: Contribution to conferenceOther

  238. Performance of a Multiple HAP System Employing Multiple Polarization

    Hult, T., Mohammed, A., Yang, Z. & Grace, D., 1 Sep 2006.

    Research output: Contribution to conferenceOther

  239. Phoneme segmentation of speech

    Ziólko, B., Manandhar, S. & Wilson, R. C., 1 Sep 2006, p. 282-285. 4 p.

    Research output: Contribution to conferencePaper

  240. Radiated interference measurements in the radiating near-field

    Marvin, A. C. & Cui, Y., 1 Sep 2006.

    Research output: Contribution to conferenceOther

  241. Global Register Allocation, Register Allocation for Stack Machines

    Crispin-Bailey, C. & Shannon, M., Sep 2006. 8 p.

    Research output: Contribution to conferencePaper

  242. Robust Diffusion of Structural Flows for Volumetric Image Interpolation

    Doshi, A. & Bors, A. G., Sep 2006, p. 1225-1228. 4 p.

    Research output: Contribution to conferencePaper

  243. The Paradox of Women's Participation in Doctoral Study: an Examination of Four European Nations

    Gutierrez Esteban, P. & Wakeling, P., 25 Aug 2006.

    Research output: Contribution to conferencePaper

  244. Anechoic and Reverberation Chamber Shielding Measurement at Frequencies above 1 GHz

    Marvin, A. C. & Cui, Y., 1 Aug 2006, p. CD.

    Research output: Contribution to conferenceOther

  245. The new eu emc directive 2004/108/EC

    Marshman, C. A. & Marvin, A. C., 1 Aug 2006, p. CD.

    Research output: Contribution to conferenceOther

  246. Separating Sources from Single-Channel Musical Material: A Review And Future Directions

    Siamantas, G., Every, M. R. & Szymanski, J. E., 22 Jul 2006. 4 p.

    Research output: Contribution to conferencePaper

  247. On the Investigation of Artificial Immune Systems on Imbalanced Data Classification for Power Distrubution System Fault Cause Identification

    Xu, L., Chow, M-Y., Timmis, J., Taylor, L. & Watkins, A., 1 Jul 2006, p. 1629-1634.

    Research output: Contribution to conferenceOther

  248. The Application of Evolutionary Algorithms towards the Diagnosis of Parkinson's Disease

    Smith, S. L., Gaughan, P., Halliday, D. M., Ju, Q., Aly, N. M. & Playfer, J. R., 1 Jul 2006.

    Research output: Contribution to conferenceOther

  249. Variable Length Genetic Algorithm with Multiple Chromosomes on a Variant of the One-max Problem

    Cavill, R., Smith, S. L. & Tyrrell, A. M., 1 Jul 2006, p. 1405-1406.

    Research output: Contribution to conferenceOther

  250. One size fits all? Issues in Information-giving for antenatal chromosomal screening for Down's syndrome in the UK: A qualitative analysis of clinical consultants

    Tsouroufli, M., Hundt-Lewando, G., Sandall, J., Williams, C., Heyman, B., Spencer, K., Grellier, R. & Pitson, L., Jul 2006.

    Research output: Contribution to conferencePaper

  251. Ethnicity and postgraduate study in Sociology, Anthropology and Politics

    Wakeling, P. & Johnson, J., 28 Jun 2006.

    Research output: Contribution to conferencePoster

  252. A Honeycomb Development Architecture for Robust Fault-Tolerant Design

    Tyrrell, A. M. & Sun, H., 1 Jun 2006, p. 281-287.

    Research output: Contribution to conferenceOther

  253. A Modular Framework for the Evolution of Circuits on Configurable Transistor Array Architectures

    Trefzer, M., Langeheine, J., Schemmel, J. & Meier, K., 1 Jun 2006.

    Research output: Contribution to conferenceOther

  254. Combined multiuser detection with improved complexity-detection performance

    Quan, Z. & Zakharov, Y., 1 Jun 2006.

    Research output: Contribution to conferenceOther

  255. Developing self-efficacy and entrepreneurial intent for technology entrepreneurship: the influence of role models

    Cave, FD., Cooper, SY., Good, D. & Ward, AE., 1 Jun 2006.

    Research output: Contribution to conferenceOther

  256. Inspiration from nature for voice synthesis and spectral analysis

    Howard, D. M., 1 Jun 2006, p. 9-16.

    Research output: Contribution to conferenceOther

  257. Onset transient significance in listener identification of pipe organ stops

    Disley, A. & Howard, D. M., 1 Jun 2006, p. 3333.

    Research output: Contribution to conferenceOther

  258. SPACE-Net: The Spatial Audio Creative Engineering Network

    Murphy, D. T., Brereton, J. & Brookes, T. S., 1 Jun 2006, p. 279-282.

    Research output: Contribution to conferenceOther

  259. Spatial Encoding in the Room Weaver Digital Waveguide Mesh Room Modeling Application

    Southern, A. & Murphy, D. T., 1 Jun 2006, p. 196-202.

    Research output: Contribution to conferenceOther

  260. Spectral correlation of timbral adjectives used by musicians

    Disley, A., Howard, D. M. & Hunt, A. D., 1 Jun 2006, p. 3333.

    Research output: Contribution to conferenceOther

  261. Ultra-Low Phase Noise Ceramic based Dielectric Resonator Oscillators

    Everard, J. K. A. & Theodoropoulos, K., 1 Jun 2006, p. 869-874.

    Research output: Contribution to conferenceOther

  262. Absenteeism in the Public Sector: A Qualitative Analysis from UK Local Government

    Royle, T. & Dunne, M., Jun 2006.

    Research output: Contribution to conferencePaper

  263. Emotional Labour in the Irish Airline Industry

    Royle, T. & Curley, C., Jun 2006.

    Research output: Contribution to conferencePaper

  264. Same sex partnerships in Iceland

    Einarsdottir, A., Jun 2006.

    Research output: Contribution to conferencePaper

  265. A Business Modelling Approach for Broadband Services from High Altitude Platforms

    Grace, D. & Likitthanasate, P., 1 May 2006.

    Research output: Contribution to conferenceOther

  266. A baseline study on male chorister vocal behaviour and development in an intensive professional context

    Williams, J., Welch, G. F. & Howard, D. M., 1 May 2006, p. 25.

    Research output: Contribution to conferenceOther

  267. A mirror for sound: introduction and practical exploration of the WinSingad software for teaching singing

    Howard, D. M., Williams, J., Brereton, J., Welch, G. F., Himonides, E., Howard, A. & DeCosta, M., 1 May 2006, p. 33.

    Research output: Contribution to conferenceOther

  268. Dependability in an Evolving World

    Tyrrell, A. M., 1 May 2006, p. 207-220.

    Research output: Contribution to conferenceOther

  269. On the stationary Gaussian assumption in MIMO channel models

    Burr, A. G., 1 May 2006.

    Research output: Contribution to conferenceOther

  270. Pilot study of the effects of period instruments on the voice

    Daffern, H., Howard, D. M. & Seymour, P., 1 May 2006, p. 43.

    Research output: Contribution to conferenceOther

  271. Polarization switching in VCSELs induced by optical injection

    Panajotov, K., Ryvkin, B., Avrutin, E., Gatare, I., Triginer, M., Buesa, J., Veretennicoff, I., Thienpont, H. & Sciamanna, M., 1 May 2006, p. 25501-25501.

    Research output: Contribution to conferenceOther

  272. Towards a model of understanding the voice of adolescent singers

    Barlow, C. & Howard, D. M., 1 May 2006, p. 41.

    Research output: Contribution to conferenceOther

  273. When is a union not a union? 'Yellow unions' and 'social partnership' in the Spanish supermarket sector

    Royle, T. & Ortiz, L., May 2006.

    Research output: Contribution to conferencePaper

  274. A Business Model for Broadband Services from High Altitude Platforms

    Grace, D. & Likitthanasate, P., 1 Apr 2006.

    Research output: Contribution to conferenceOther

  275. Establishing Private Communications in Open Systems using Multicapabilities

    Udzir, N. I. & Wood, A., 1 Apr 2006.

    Research output: Contribution to conferencePaper

  276. FER bounds and estimates for bit-interleaved space-time turbo-codes

    Burr, A. G. & Hirst, S., 1 Apr 2006.

    Research output: Contribution to conferenceOther

  277. High Altitude Platforms for Broadband Services

    Tozer, T., 1 Apr 2006.

    Research output: Contribution to conferenceOther

  278. Positional Independence and Recombination in Cartesian Genetic Programming

    Cai, X., Smith, S. L. & Tyrrell, A. M., 1 Apr 2006, p. 351-360.

    Research output: Contribution to conferenceOther

  279. Achievement Effects of Embedded Multimedia in a Success for All Reading Program

    Chambers, B., Cheung, A., Madden, N., Slavin, R. & Gifford, R., Apr 2006.

    Research output: Contribution to conferencePaper

  280. Computer-assisted Tutoring in Success for All: Reading Outcomes for First Graders

    Chambers, B., Abrami, P. C., Tucker, B. J., Slavin, R., Madden, N., Cheung, A. & Gifford, R., Apr 2006, (Unpublished).

    Research output: Contribution to conferencePaper

  281. Effects of Success for All with Embedded Video on the Beginning Reading Achievement of Hispanic Children

    Chambers, B., Cheung, A., Gifford, R., Madden, N. & Slavin, R., Apr 2006.

    Research output: Contribution to conferencePaper

  282. Success for All: Third-year Results from the National Randomised Experiment

    Slavin, R., Borman, G. D., Cheung, A., Chamberlain, A., Madden, N. & Chambers, B., Apr 2006, (Unpublished).

    Research output: Contribution to conferencePaper

  283. Technology Infusion in Success for All: Reading Outcomes for First Graders

    Chambers, B., Slavin, R., Madden, N., Abrami, P. C., Tucker, B. J., Cheung, A. & Gifford, R., Apr 2006, (Unpublished).

    Research output: Contribution to conferencePaper

  284. Total Body Water measured by Electromagnetic Resonant Cavity Perturbation

    Stone, D. A., Robinson, M. P., Oldroyd, B., Truscott, J. G. & Wright, A., 26 Mar 2006.

    Research output: Contribution to conferenceOther

  285. Developing self-efficacy and entrepreneurial intent for technology entrepreneurship: the role of work placement

    Cooper, SY., Ward, AE., Lucas, WA. & F, C., 1 Feb 2006.

    Research output: Contribution to conferenceOther

  286. 'Going Dutch': doing comparative research

    Davidson, J., 2006.

    Research output: Contribution to conferencePaper

  287. A Canonical Scheme for Model Composition

    Bézivin, J., Bouzitouna, S., Fabro, M. D. D., Gervais, M-P., Jouault, F., Kolovos, D. S., Kurtev, I. & Paige, R. F., 2006, p. 346-360.

    Research output: Contribution to conferencePaper

  288. A Computational Model of Degeneracy in a Lymph Node

    Andrews, P. & Timmis, J., 2006, p. 164-177.

    Research output: Contribution to conferenceOther

  289. A Dynamically Constrained Genetic Algorithm for Hardware/Software Partitioning

    Mudry, P. A., Zufferey, G. & Tempesti, G., 2006.

    Research output: Contribution to conferenceOther

  290. A Formal Template Language Enabling Metaproof

    Amálio, N., Stepney, S. & Polack, F., 2006, p. 252-267.

    Research output: Contribution to conferencePaper

  291. A Hybrid Genetic Algorithm for Constrained Hardware-Software Partitioning

    Mudry, P. A., Zufferey, G. & Tempesti, G., 2006, p. 3-8.

    Research output: Contribution to conferenceOther

  292. A Layered Behavioural Model of Platelets

    Schneider, S., Treharne, H., Cavalcanti, A. & Woodcock, J., 2006, p. 98-106.

    Research output: Contribution to conferencePaper

  293. A Multi-chromosome Approach to Standard and Embedded Cartesian Genetic Programming

    Walker, J. A., Miller, J. F. & Cavill, R., 2006, p. 903-910.

    Research output: Contribution to conferenceOther

  294. A framework to assess the effectiveness of collaborative supplier relationships

    Kerr, M. & Huaccho Huatuco, L. D., 2006, p. 995-1004.

    Research output: Contribution to conferencePaper

  295. Adaptivity in Question Answering with User Modelling and a Dialogue Interface

    Quarteroni, S. & Manandhar, S., 2006.

    Research output: Contribution to conferencePaper

  296. Agile development of secure web applications

    Ge, X., Paige, R. F., Polack, F., Chivers, H. & Brooke, P. J., 2006, p. 305-312. 7 p.

    Research output: Contribution to conferencePaper

  297. An Operational Semantics in UTP for a Language of Reactive Designs

    Woodcock, J., 2006, p. 84-84.

    Research output: Contribution to conferenceAbstract

  298. An action semantics for MOF 2.0

    Paige, R. F., Kolovos, D. S., Polack, F. & Haddad, H., 2006, p. 1304-1305.

    Research output: Contribution to conferencePaper

  299. Approximating 3D facial shape from photographs using coupled statistical models

    Castelan, M., Smith, W. A. P. & Hancock, E. R., 2006, p. 89-98. 10 p.

    Research output: Contribution to conferencePaper

  300. Automatic Translation from it ircus to Java

    Freitas, A. & Cavalcanti, A., 2006, p. 115-130.

    Research output: Contribution to conferencePaper

  301. Boosting earnings of people with health problems and impairments

    Corden, A. & Nice, K., 2006.

    Research output: Contribution to conferencePaper

  302. Can we Remove the Human from Hazard Analysis?

    Alexander, R. & Kelly, T., 2006.

    Research output: Contribution to conferencePaper

  303. Challenges in partnership research from the perspectives of older people

    Glendinning, C., 2006.

    Research output: Contribution to conferencePaper

  304. Children in Grandparent Households

    Hampden-Thompson, G. & Bielick, S., 2006, (Unpublished).

    Research output: Contribution to conferencePaper

  305. Choice and change: Extending choice and control over the life-course

    Heaton, J., Mitchell, W. & Sloper, P., 2006.

    Research output: Contribution to conferencePaper

  306. Choice and change: a qualitative longitudinal panel study

    Baxter, K. & Glendinning, C., 2006.

    Research output: Contribution to conferencePaper

  307. Choice and independence across the lifecourse: a research agenda

    Glendinning, C., 2006.

    Research output: Contribution to conferencePaper

  308. Collecting information about parents' desired outcomes

    Sloper, P., 2006.

    Research output: Contribution to conferencePaper

  309. Collecting information about parents' desired outcomes

    Beresford, B., Thomas, G., Mansfield, J., Spadbury, J. & Pickering, J., 2006.

    Research output: Contribution to conferencePaper

  310. Combining Simulation with Machine Learning to Build Accident Models

    Alexander, R. & Kelly, T., 2006.

    Research output: Contribution to conferencePaper

  311. Communicating Complex Systems

    Welch, P. H., Barnes, F. R. M. & Polack, F., 2006, p. 107-120.

    Research output: Contribution to conferencePaper

  312. Computer-Driven Persuasive Dialogue: A Multi-Layer Reasoning Framework

    Andrews, P., Manandhar, S. & Boni, M. D., 2006, p. 787-788.

    Research output: Contribution to conferencePaper

  313. Contextual web accessibility: maximizing the benefit of accessibility guidelines

    Sloan, D., Heath, A., Hamilton, F., Kelly, B., Petrie, H. & Phipps, L., 2006, p. 121-131.

    Research output: Contribution to conferencePaper

  314. Developing user requirements for visualizations of literature knowledge domains

    Faisal, S., Cairns, P. & Blandford, A., 2006, p. 264-269.

    Research output: Contribution to conferencePaper

  315. Deviational Analyses for Validating Regulations on Real Systems

    Polack, F., Srivatanakul, T., Kelly, T., Clark, J. A., Laleau, R. & Lemoine, M., 2006.

    Research output: Contribution to conferencePaper

  316. Differential Turbo Bell-Lab Layered Space-Time Architectures

    Song, L. & Burr, A. G., 2006, p. 483 - 487.

    Research output: Contribution to conferenceOther

  317. Engineering Emergence

    Stepney, S., Polack, F. & Turner, H. R., 2006, p. 89-97.

    Research output: Contribution to conferencePaper

  318. Ethnicity and postgraduate study in Politics: A Look at the Evidence

    Johnson, J. & Wakeling, P., 2006.

    Research output: Contribution to conferencePaper

  319. Evaluation of Pathways to Work: a qualitative panel of incapacity benefits recipients

    Corden, A. & Nice, K., 2006.

    Research output: Contribution to conferencePaper

  320. Evidence on characteristics of effective key worker services

    Sloper, P., 2006.

    Research output: Contribution to conferencePaper

  321. Experiencing BLISS when becoming a bus passenger

    Reed, D. J. & Wright, P., 2006, p. 291-300.

    Research output: Contribution to conferenceOther

  322. Explaining the Surge in Cross-border Mergers and Acquisitions: Evidence from UK

    Uddin, M. & Boateng, A., 2006.

    Research output: Contribution to conferencePaper

  323. FSF: A Real-Time Scheduling Architecture Framework

    Aldea, M., Bernat, G., Broster, I., Burns, A., Dobrin, R., Drake, J. M., Fohler, G., Gai, P., Harbour, M. G., Guidi, G., Gutiérrez, J. J., Lennvall, T., Lipari, G., Martínez, J. M., Medina, J. L. & Trimarchi, M., 2006, p. 113-124.

    Research output: Contribution to conferencePaper

  324. Facial Shape Estimation in the Presence of Cast Shadows

    Smith, W. A. P. & Hancock, E. R., 2006, p. 779-788.

    Research output: Contribution to conferencePaper

  325. First Steps in the Verified Software Grand Challenge

    Woodcock, J., 2006, p. 203-206.

    Research output: Contribution to conferencePaper

  326. Five Poems on Experiencing Organisation

    Linstead, S. A., 2006.

    Research output: Contribution to conferencePaper

  327. Flexibility and Manageability of IMS Projects

    Stephenson, Z., Nicholson, M. & McDermid, J. A., 2006.

    Research output: Contribution to conferencePaper

  328. From Emotional Labour to Immaterial Labour: Commodification and Change in a Budget Airline

    Linstead, S. A. & Ward, J., 2006.

    Research output: Contribution to conferencePaper

  329. Further investigations into post-completion error: the effects of interruption position and duration

    Li, S. Y. W., Cox, A. L., Blandford, A., Cairns, P., Young, R. M. & Abeles, A., 2006.

    Research output: Contribution to conferencePaper

  330. Gender, Medical Training and Careers: Tipping the balance?

    Tsouroufli, M., Payne, H. & Smith, M., 2006.

    Research output: Contribution to conferencePaper

  331. Generalization Regions in Hamming Negative Selection

    Stibor, T., Timmis, J. & Eckert, C., 2006, p. 447-456.

    Research output: Contribution to conferenceOther

  332. Generic component lookup

    Bay, T., Eugster, P. & Oriol, M., 2006, p. 182-197. 15 p.

    Research output: Contribution to conferencePaper

  333. Gloss Overlap Extensions for a Semantic Network Algorithm: Building a Better Semantic Distance Measure

    Jayasooriya, T. & Manandhar, S., 2006, p. 74-79.

    Research output: Contribution to conferencePaper

  334. Grid Enabling Data De-Duplication

    Austin, J., Turner, A. & Alwis, S., 2006, p. 2.

    Research output: Contribution to conferencePaper

  335. Hardware/Software Coevolution of Genome Programs and Cellular Processors

    Tempesti, G., Mudry, P. A. & Zufferey, G., 2006, p. 129-136.

    Research output: Contribution to conferenceOther

  336. Health Modelling for Agility in Safety Critical Systems Development

    Stephenson, Z. R., McDermid, J. A. & Ward, A. G., 2006.

    Research output: Contribution to conferencePaper

  337. How can social services deliver the services that older people want?

    Glendinning, C., 2006.

    Research output: Contribution to conferencePaper

  338. How can we collect disabled children's views about outcomes?

    Rabiee, P., 2006.

    Research output: Contribution to conferencePaper

  339. How can we collect disabled children's views about outcomes?

    Rabiee, P., 2006.

    Research output: Contribution to conferencePaper

  340. Human Action Classification Using SVM_2K Classifier on Motion Features

    Meng, H., Pears, N. & Bailey, C., 2006, p. 458-465.

    Research output: Contribution to conferencePaper

  341. Human competitive security protocols synthesis

    Chen, H., Clark, J. A. & Jacob, J., 2006, p. 1855-1856.

    Research output: Contribution to conferencePaper

  342. Hypercomputation and the Grand Challenge in Non-Classical Computation

    Stepney, S., 2006.

    Research output: Contribution to conferencePaper

  343. Inductive Mercury Programming

    Fisher, B. & Cussens, J., 2006, p. 199-213.

    Research output: Contribution to conferencePaper

  344. Infinite Justice, Selves and Humans

    Linstead, S. A., 2006.

    Research output: Contribution to conferencePaper

  345. Interactions Between Stereotypes

    Lock, Z. P. & Kudenko, D., 2006, p. 172-181.

    Research output: Contribution to conferencePaper

  346. Involving children in quality assurance

    Beresford, B., 2006.

    Research output: Contribution to conferencePaper

  347. Isoradius Contours: New Representations and Techniques for 3D Face Registration and Matching

    Pears, N. & Heseltine, T., 2006, p. 176-183.

    Research output: Contribution to conferencePaper

  348. Knowledge Engineering Using the UML Profile - Adopting the Model-Driven Architecture for Knowledge-Based System Development

    Abdullah, M. S., Paige, R. F., Benest, I. D. & Kimble, C., 2006, p. 74-81.

    Research output: Contribution to conferencePaper

  349. Knowledge Modelling Using The UML Profile

    Abdullah, M. S., Paige, R. F., Benest, I. D. & Kimble, C., 2006, p. 70-77. 7 p.

    Research output: Contribution to conferencePaper

  350. Linear and nonlinear microrheology of dense colloidal suspensions

    Wilson, L., Besseling, R., Arlt, J. & Poon, W. C. K., 2006.

    Research output: Contribution to conferenceOther

  351. Lubricant degradation, transport and the effect of extended oil drain intervals on piston assembly tribology

    Stark, M. S., Wilkinson, J. J., Lee, P. M., Priest, M., Lindsay-Smith, J. R., Taylor, R. I. & Chung, S., 2006.

    Research output: Contribution to conferencePaper

  352. MOVE Processors that Self-Replicate and Differentiate

    Rossier, J., Thoma, Y., Mudry, P. A. & Tempesti, G., 2006, p. 328-343.

    Research output: Contribution to conferenceOther

  353. Managing Architectural Design Decisions for Safety-Critical Software Systems

    Wu, W. & Kelly, T., 2006, p. 59-77.

    Research output: Contribution to conferencePaper

  354. Managing Automatically Formed Mathematical Theories

    Colton, S., Torres, P., Cairns, P. A. & Sorge, V., 2006, p. 237-250.

    Research output: Contribution to conferencePaper

  355. Mechanising a Unifying Theory

    Nuka, G. & Woodcock, J., 2006, p. 217-235.

    Research output: Contribution to conferencePaper

  356. Merging Models with the Epsilon Merging Language (EML)

    Kolovos, D. S., Paige, R. F. & Polack, F., 2006, p. 215-229.

    Research output: Contribution to conferencePaper

  357. Models of financial support for informal carers: an evaluation

    Glendinning, C., 2006.

    Research output: Contribution to conferencePaper

  358. Models of funding long-term care: lessons from other countries

    Glendinning, C., 2006.

    Research output: Contribution to conferencePaper

  359. Object distance and its application to adaptive random testing of object-oriented programs

    Ciupa, I., Leitner, A., Oriol, M. & Meyer, B., 2006, p. 63.

    Research output: Contribution to conferencePaper

  360. Object-Orientation in the UTP

    Santos, T. L. V. L., Cavalcanti, A. & Sampaio, A., 2006, p. 18-37.

    Research output: Contribution to conferencePaper

  361. On Diversity and Artificial Immune Systems: Incorporating a Diversity Operator into aiNET.

    Andrews, P. & Timmis, J., 2006, p. 293-306.

    Research output: Contribution to conferenceOther

  362. On Permutation Masks in Hamming Negative Selection

    Stibor, T., Timmis, J. & Eckert, C., 2006, p. 122-135.

    Research output: Contribution to conferenceOther

  363. On posture as a modality for expressing and recognizing emotions

    Bianchi-Berthouze, N., Cairns, P., Cox, A., Jennett, C. & Kim, W. W., 2006.

    Research output: Contribution to conferencePaper

  364. On the Accuracy of Tactile Displays

    Power, C., 2006, p. 1155-1162.

    Research output: Contribution to conferencePaper

  365. On the Use of Hyperspheres in Artificial Immune Systems as Antibody Recognition Regions

    Stibor, T., Timmis, J. & Eckert, C., 2006, p. 215-228.

    Research output: Contribution to conferenceOther

  366. On the road to nowhere? Young people and transition

    Beresford, B., 2006.

    Research output: Contribution to conferencePaper

  367. Origins of the Grid Architectural Style

    Cakic, J. & Paige, R. F., 2006, p. 227-235. 8 p.

    Research output: Contribution to conferencePaper

  368. Outcomes for children with degenerative conditions

    Beresford, B., 2006.

    Research output: Contribution to conferencePaper

  369. Outcomes for disabled children: what does the research tell us?

    Sloper, P., 2006.

    Research output: Contribution to conferencePaper

  370. Outcomes for disabled children: what does the research tell us?

    Sloper, P., 2006.

    Research output: Contribution to conferencePaper

  371. Parental outcomes

    Beresford, B., 2006.

    Research output: Contribution to conferencePaper

  372. People with Disabilities: Automatic and Manual Evaluation of Web Sites

    Petrie, H. & Weber, G., 2006, p. 152-155.

    Research output: Contribution to conferencePaper

  373. Perspectives on risk research

    Linsley, P. M., 2006.

    Research output: Contribution to conferencePaper

  374. Persuasive Technology for Leisure and Health: Development of a Personal Navigation Tool

    McCreadie, C., Raper, J., Gunesh, A., Wood, J., Carey, K., Petrie, H., Wood, L., Survey, O., Tyler, S. & Biggs, S., 2006, p. 187-190.

    Research output: Contribution to conferencePaper

  375. Physical modelling and vocal synthesis

    Howard, D. M., Mullen, J. & Murphy, D. M., 2006.

    Research output: Contribution to conferenceOther

  376. Pointers and Records in the Unifying Theories of Programming

    Cavalcanti, A., Harwood, W. & Woodcock, J., 2006, p. 200-216.

    Research output: Contribution to conferencePaper

  377. Qualitative longitudinal analysis for policy

    Nice, K., 2006.

    Research output: Contribution to conferencePaper

  378. Quantifying the experience of immersion in games

    Cairns, P., Cox, A., Berthouze, N., Dhoparee, S. & Jennett, C., 2006.

    Research output: Contribution to conferencePaper

  379. Qubus computation - art. no. 63050D

    Munro, W. J., Nemoto, K., Spiller, T. P., van Loock, P., Braunstein, S. L. & Milburn, G. J., 2006, p. D3050.

    Research output: Contribution to conferencePaper

  380. Recognising regular human activity through a learning context memory

    Mohr, P., Ryan, N. & Timmis, J., 2006.

    Research output: Contribution to conferenceOther

  381. Resisting The Frame: Conversations in Organisation and Management Theory

    Linstead, S. A., 2006.

    Research output: Contribution to conferencePaper

  382. Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties

    Banach, R., Poppleton, M., Jeske, C. & Stepney, S., 2006, p. 82-90.

    Research output: Contribution to conferencePaper

  383. Retrenching the Purse: Finite Exception Logs, and Validating the Small

    Banach, R., Poppleton, M. & Stepney, S., 2006, p. 234-248.

    Research output: Contribution to conferencePaper

  384. Self-Replication for Reliability: Bio-Inspired Hardware and the Embryonics Project

    Tempesti, G., Mange, D., Mudry, P. A., Rossier, J. & Stauffer, A., 2006.

    Research output: Contribution to conferenceOther

  385. Single-trial multi-wavelet coherence in locomotion studies.

    Brittain, J., Halliday, D. M., Conway, B. A. & Nielsen, J. B., 2006.

    Research output: Contribution to conferenceOther

  386. Structuring Safety Policy Decomposition

    Hall-May, M. & Kelly, T., 2006.

    Research output: Contribution to conferencePaper

  387. Sustainable Scheduling Analysis

    Baruah, S. K. & Burns, A., 2006, p. 159-168.

    Research output: Contribution to conferencePaper

  388. THE COMMUNICATIVE ORDER OF SPONTANEOUS PSI: AN OVERVIEW OF SCHEGLOFF’S ‘ON ESP PUNS’

    Wooffitt, R., 2006, p. 355.

    Research output: Contribution to conferenceOther

  389. Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking

    Freitas, L., Cavalcanti, A. & Woodcock, J., 2006, p. 697-716.

    Research output: Contribution to conferencePaper

  390. Technology reminiscences of older people

    Reed, DJ., 2006.

    Research output: Contribution to conferenceOther

  391. Tensor MRI Regularization via Graph Diffusion

    Zhang, F. & Hancock, E. R., 2006, p. 589-598.

    Research output: Contribution to conferencePaper

  392. Test Case Management Tools for Accessibility Testing

    Herramhof, S., Petrie, H., Strobbe, C., Vlachogiannis, E., Weimann, K., Weber, G. & Velasco, C. A., 2006, p. 215-222.

    Research output: Contribution to conferencePaper

  393. The Epsilon Object Language (EOL)

    Kolovos, D. S., Paige, R. F. & Polack, F., 2006, p. 128-142.

    Research output: Contribution to conferencePaper

  394. The Fading Concept in Tuple-Space Systems

    Menezes, R. & Wood, A. M., 2006, p. 440--444.

    Research output: Contribution to conferencePaper

  395. The Link between r-contiguous Detectors and k-CNF Satisfiability

    Stibor, T., Timmis, J. & Eckert, C., 2006.

    Research output: Contribution to conferenceOther

  396. The Outcomes framework and the evaluation of individual budgets in Coventry

    Glendinning, C., 2006.

    Research output: Contribution to conferencePaper

  397. The Return of the Symbol: Common Sensibility and Political Aethetics

    Linstead, S. A., 2006.

    Research output: Contribution to conferencePaper

  398. The Standardisation of Advertising in the Mercosur: A Process Oriented Perspective

    J, Whitelock, 2006.

    Research output: Contribution to conferencePaper

  399. The View Glue

    Radjenovic, A. & Paige, R. F., 2006, p. 66-88. 22 p.

    Research output: Contribution to conferencePaper

  400. The evaluation of the Individual Budgets Pilot Projects (IBSEN)

    Glendinning, C., 2006.

    Research output: Contribution to conferencePaper

  401. The financial and economic consequences of the death of a partner

    Nice, K., 2006.

    Research output: Contribution to conferencePaper

  402. The identification and extraction of itemset support defined by the weight matrix of a Self-Organising Map

    Baez-Monroy, V. O. & O'Keefe, S., 2006, p. 3518-3525.

    Research output: Contribution to conferencePaper

  403. The national evaluation of the Individual Budget pilot projects

    Glendinning, C., 2006.

    Research output: Contribution to conferencePaper

  404. Towards Evidence-Based Architectural Design for Safety-Critical Software Applications

    Wu, W. & Kelly, T., 2006, p. 383-408.

    Research output: Contribution to conferencePaper

  405. Towards a Practical Process for Automated Safety Analysis

    Lisagor, O., McDermid, J. A. & Pumfrey, D. J., 2006.

    Research output: Contribution to conferencePaper

  406. Towards an Agile Process for Building Software Product Lines

    Paige, R. F., Wang, X., Stephenson, Z. R., Brooke, P. J., Abrahamsson, P., Marchesi, M. & Succi, G., 2006, p. 198-199. 11 p.

    Research output: Contribution to conferencePaper

  407. Uncovering the Organisation of Gendercide

    Linstead, S. A., 2006.

    Research output: Contribution to conferencePaper

  408. Unifying Theories in ProofPower-Z

    Oliveira, M., Cavalcanti, A. & Woodcock, J., 2006, p. 123-140.

    Research output: Contribution to conferencePaper

  409. University of York Spin-out company

    Coverley, D. A., 2006.

    Research output: Contribution to conferenceOther

  410. Unsupervised Word Sense Disambiguation Using The WWW

    Klapaftis, I. P. & Manandhar, S., 2006, p. 174-183.

    Research output: Contribution to conferencePaper

  411. User Modeling for Adaptive Question Answering and Information Retrieval

    Quarteroni, S. & Manandhar, S., 2006, p. 776-781.

    Research output: Contribution to conferencePaper

  412. Using Agent-Based Modelling Approaches to Support the Development of Safety Policy for Systems of Systems

    Hall-May, M. & Kelly, T., 2006, p. 330-343.

    Research output: Contribution to conferencePaper

  413. Using a Model Merging Language for Reconciling Model Versions

    Engel, K-D., Paige, R. F. & Kolovos, D. S., 2006, p. 143-157.

    Research output: Contribution to conferencePaper

  414. Using evidence from research to support funding applications

    Beresford, B., 2006.

    Research output: Contribution to conferencePaper

  415. Using mixed methods to investigate effectiveness and costs of key worker services for disabled children

    Sloper, P. & Beecham, J., 2006.

    Research output: Contribution to conferencePaper

  416. Verification of Control Systems using Circus

    Cavalcanti, A. & Clayton, P., 2006, p. 269-278.

    Research output: Contribution to conferencePaper

  417. Verified Software Grand Challenge

    Woodcock, J., 2006, p. 617-617.

    Research output: Contribution to conferencePaper

  418. Voronoi diagrams, vectors and the visually impaired

    Power, C., Gill, D. & Daley, M., 2006, p. 1247-1252.

    Research output: Contribution to conferencePaper

  419. What do we mean by outcomes?

    Beresford, B., 2006.

    Research output: Contribution to conferencePaper

  420. Z/Eves and the Mondex Electronic Purse

    Woodcock, J. & Freitas, L., 2006, p. 15-34.

    Research output: Contribution to conferencePaper

  421. 2005
  422. Interaction of Emerging Mobile Telecommunication Systems with the Human Body

    Flintoft, I. D., Faraci, F. D., Porter, S. J., Capstick, M. H. & Marvin, A., 12 Dec 2005.

    Research output: Contribution to conferenceOther

  423. An Improved Development Model for Robust Fault-Tolerant Design

    Sun, H. & Tyrrell, A. M., 1 Dec 2005.

    Research output: Contribution to conferenceOther

  424. Automated Description of Shot Compositional Characteristics

    Day, M. G., Mateer, J. W. & Robinson, J. A., 1 Dec 2005, p. 172-180.

    Research output: Contribution to conferencePaper

  425. High-integrity extreme programming

    Paige, R. F., Chivers, H., McDermid, J. A. & Stephenson, Z. R., 1 Dec 2005, p. 1518-1523. 6 p.

    Research output: Contribution to conferencePaper

  426. Iconic versus Naturalistic Motion Cues in Automated Reverse Storyboarding

    Dony, R. D., Mateer, J. W., Robinson, J. A. & Day, M. G., 1 Dec 2005, p. 17-25.

    Research output: Contribution to conferencePaper

  427. Electromagnetic measurements and modelling

    Dawson, J. F., Dawson, L., Flintoft, I. D., Marvin, A. & Porter, S. J., 22 Nov 2005.

    Research output: Contribution to conferenceOther

  428. Ethnicity and postgraduate study in sociology, anthropology and politics a look at the evidence

    Wakeling, P. & Johnson, J., 8 Nov 2005.

    Research output: Contribution to conferencePaper

  429. On the development of singing real-time visual displays for voice therapy

    Howard, D. M., Jackson, A. & Howard, A. W., 1 Nov 2005, p. 141-146.

    Research output: Contribution to conferenceOther

  430. Designing an Ubiquitous Computing Development Kit

    Crispin-Bailey, C. & Freeman, M. J., 25 Oct 2005, p. 99-105. 7 p.

    Research output: Contribution to conferencePaper