Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. 2014
  2. The Playtime Principle: Large/scale cross-games interest modeling

    Sifa, R., bauckhage, C. & Drachen, A., 23 Dec 2014, Proceedings of the IEEE Computational Intelligence in Games. IEEE, 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Pathways beyond graduation: exploring the characteristics of those who progress to postgraduate study, and the barriers perceived by those who don’t

    Hancock, S., Wakeling, P. & Hampden-Thompson, G., 12 Dec 2014, SRHE Annual Research Conference 2014.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. A Wormhole NoC Protocol for Mixed Criticality Systems

    Burns, A., Harbin, J. & Indrusiak, L. S., 1 Dec 2014, Real-Time Systems Symposium (RTSS), 2014 IEEE. IEEE, p. 184-195 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Fearsquare: hacking open crime data to critique, jam and subvert the 'aesthetic of danger'

    Garbett, A., Wardman, J., Kirman, B., Linehan, C. & Lawson, S., 1 Dec 2014, CHI 2015. ACM, p. 145-152 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Adaptive Mixed Criticality Scheduling with Deferred Preemption

    Burns, A. & Davis, R. I., Dec 2014, Proceedings: 2014 IEEE Real-Time Systems Symposium (RTSS 2014). IEEE, p. 21-30 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. Effects of short-term exposure to unfamiliar regional accents: Australians' categorization of London and York English consonants

    Shaw, J., Best, C., Mulak, K., Docherty, G., Evans, B., Foulkes, P., Hay, J., Al-Tamimi, J., Mair, K., Peek, M. & Wood, S., Dec 2014, Proceedings of the 15th Australasian International Conference on Speech Science and Technology. Hay, J. & Parnell, E. (eds.). University of Canterbury, New Zealand, 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Improvements to vowel categorization in non-native regional accents resulting from multiple- versus single-talker training: a computational approach

    Wright, S., Shaw, J., Best, C., Docherty, G., Evans, B., Foulkes, P., Hay, J. & Mulak, K., Dec 2014, Proceedings of SST 2014. University of Canterbury, New Zealand, 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. Integrating Cache-Related Pre-emption Delays into Analysis of Fixed Priority Scheduling with Pre-emption Thresholds

    Bril, R., Altmeyer, S., van den Heuvel, M., Davis, R. I. & Behnam, M., Dec 2014, Proceedings Real-Time Systems Symposium (RTSS 2014). IEEE, p. 161-172 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. Optimising Ring Oscillator Frequency on a Novel FPGA Device via Partial Reconfiguration

    Burmester Campos, P., Trefzer, M. A., Walker, J. A., Bale, S. J. & Tyrrell, A., Dec 2014, 11th IEEE International Conference on Evolvable Systems. IEEE, p. 93-100 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. Regional variation and the definition of the relevant population in likelihood ratio-based forensic voice comparison using cepstral coefficients

    Hughes, V. & Foulkes, P., Dec 2014, Proceedings of the 15th Australasian International Conference on Speech Science and Technology . Hay, J. & Parnell, E. (eds.). University of Canterbury, New Zealand, p. 24-27 (Proceedings of the Australasian International Conference on Speech Science and Technology; vol. 15).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  12. Statistical Hypothesis Testing for Chemical Detection in Changing Environments

    Ladi, A., Timmis, J., Tyrrell, A. & Hickey, P., Dec 2014, IEEE Symposium Series on Computational Intelligence: Computational Intelligence in Dynamic and Uncertain Environments (CIDUE), 2014 IEEE Symposium on . IEEE, p. 77-84 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. Models for decision making in video mediated communication

    Weiss, W., Falelakis, M., Kaiser, R. & Ursu, M. F., 16 Nov 2014, UM3I 2014 - Proceedings of the 2014 ACM Workshop on Understanding and Modeling Multiparty, Multimodal Interactions, Co-located with ICMI 2014. Association for Computing Machinery, Inc, p. 45-50 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  14. Iterative non-coherent detected DPSK systems in fast fading channels

    Zhu, K. & Burr, A. G., 10 Nov 2014, Wireless Communications and Networking Conference (WCNC), 2014 IEEE. Institute of Electrical and Electronics Engineers Inc., p. 660-665 6 p. 6952126

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. Predictability enhancement in non-preemptive NoCs using selective packet splitting

    Sudev, B. & Indrusiak, L. S., 3 Nov 2014, Proceedings - 2014 12th IEEE International Conference on Industrial Informatics, INDIN 2014. Institute of Electrical and Electronics Engineers Inc., p. 195-200 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  16. Electromagnetic Compatibility and Electromagnetic Field issues for FEVs

    Dawson, L., Armstrong, R., Marshman, C. A., Rowel, A. & Ruddle, A., Nov 2014, 5th IET Hybrid and Electric Vehicles Conference (HEVC 2014). London: IET, 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  17. Interpreting the von Neumann entropy of graph Laplacians, and coentropic graphs

    de Beaudrap, N., Giovannetti, V., Severini, S. & Wilson, R. C., Nov 2014, Contemporary Mathematics: A Panorama of Mathematics: Pure and Applied. American Mathematical Society, Vol. 658. p. 227-236

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  18. Investigation of human exposure to magnetic fields from electrical powertrains: measured exposure levels and simulated impact on human body

    Dawson, L., Armstrong, R., Ruddle, A., Low, L. & Rowel, A., Nov 2014, 5th Hybrid and Electric Vehicles Conference (HEVC 2014). London: IET, p. 118-124 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  19. Linear physical-layer network coding for 5G radio access networks: Invited paper

    Burr, A. G. & Fang, D., Nov 2014, 2014 1st International Conference on 5G for Ubiquitous Connectivity, Levi, Finland. Akaslompolo: IEEE, p. 116-121 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  20. Real-Time Big Data: the JUNIPER Approach

    Audsley, N. C., Gray, I., Chan, Y. & Wellings, A. J., Nov 2014, 3rd IEEE International Workshop on Real-time and distributed computing in emerging applications. p. 9-14

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  21. Exploring incentivisation in design

    Speed, C., Magee, S., Maxwell, D. & Hartswood, M., 26 Oct 2014, Proceedings of the NordiCHI 2014: : The 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational. Association for Computing Machinery, Inc, p. 845-848 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  22. Nuclear Energy Density Optimization: UNEDF2

    Kortelainen, M., McDonnell, J., Nazarewicz, W., Olsen, E., Reinhard, P-G., Sarich, J., Schunck, N., Wild, S. M., Davesne, D., Erler, J. & Pastore, A., 15 Oct 2014, JPS Conf.Proc.. Vol. 6. p. 1-6 6 p. 020018

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  23. On the locality of Java 8 streams in real-time big data applications

    Chan, Y., Gray, I., Wellings, A. & Audsley, N., 13 Oct 2014, JTRES '14: Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery (ACM), p. 20-28 9 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  24. Exploring user expertise and descriptive ability in community question answering

    Yang, B. & Manandhar, S., 10 Oct 2014, ASONAM 2014 - Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining. IEEE, p. 320-327 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  25. Tag-based expert recommendation in community question answering

    Yang, B. & Manandhar, S., 10 Oct 2014, ASONAM 2014 - Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining. IEEE, p. 960-963 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  26. Predictability and utilisation trade-off in the dynamic management of multiple video stream decoding on Network-on-Chip based homogeneous embedded multi-cores

    Mendis, H. R., Indrusiak, L. S. & Audsley, N. C., 8 Oct 2014, RTNS '14: Proceedings of the 22nd International Conference on Real-Time Networks and Systems. Association for Computing Machinery (ACM), p. 161-170 10 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  27. WCET preserving hardware prefetch for Many-Core real-time systems

    Garside, J. & Audsley, N. C., 8 Oct 2014, ACM International Conference Proceeding Series. Association for Computing Machinery (ACM), p. 193-202 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  28. Learning curves: analysing pace and challenge in four successful puzzle games

    Linehan, C., Bellord, G., Kirman, B., Morford, Z. H. & Roche, B., 1 Oct 2014, ACM SIGCHI Symposium on Play in Computer Human Interaction. p. 181-190 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  29. Correcting 3D scenes estimated from sets of multi-view images using shape-from-contours

    Grum, M. & Bors, A. G., Oct 2014, Proc. 2014 IEEE International Confereence on Image Processing, Paris, France. IEEE, p. 2888-2892 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  30. Fault Attack on AES via Hardware Trojan Insertion by Dynamic Partial Reconfiguration of FPGA over Ethernet

    Johnson, A. P., Saha, S., Chakraborty, R. S., Mukhopadhyay, D. & Gören, S., Oct 2014, Workshop on Embedded Systems Security (WESS, part of ACM ESWEEK) 2014, New Delhi, India. ACM

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  31. Lossy Compression for Static Probabilistic Timing Analysis of Random Replacement Caches

    Griffin, D. J., Lesage, B. M. J-R., Burns, A. & Davis, R. I., Oct 2014, RTNS '14: Proceedings of the 22nd International Conference on Real-Time Networks and Systems. ACM, p. 289-298 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  32. Schedulability Analysis for Fixed Priority Real-Time Systems with Energy-Harvesting

    Abdeddaïm, Y., Chanderli, Y., Masson, D. & Davis, R. I., Oct 2014, Proceedings of the 22nd International Conference on Real-Time Networks and Systems. p. 311-320 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  33. Authority and judgement in the digital archive

    Dix, A., Cowgill, R., Bashford, C., McVeigh, S. & Ridgewell, R., 12 Sep 2014, Proceedings of the 1st International Workshop on Digital Libraries for Musicology. Association for Computing Machinery (ACM), p. 1-8 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  34. Architecture-awareness for real-time big data systems

    Gray, I., Audsley, N. C., Chan, Y. & Wellings, A., 9 Sep 2014, ACM International Conference Proceeding Series. Association for Computing Machinery (ACM), p. 151-156 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  35. On Demand Data Analysis and Filtering for Inaccurate Flight Trajectories

    Zanin, M., Perez, D., Chatterjee, K., Kolovos, D. S., Paige, R. F., Horst, A. & Rumpe, B., 8 Sep 2014, Proceedings of the SESAR Innovation Days (2011) EUROCONTROL. Toulouse

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  36. A Dynamic Embedding Algorithm for Wireless Network Virtualization

    Belt, J. V. D., Ahmadi, H. & Doyle, L. E., 1 Sep 2014, 2014 IEEE 80th Vehicular Technology Conference (VTC2014-Fall). p. 1-6 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  37. Does a social pedagogy perspective underpin the views of university students in England, Greece and Norway regarding bullying in schools?

    Kyriacou, C., Stephens, P. & Mylonakou-Keke, I., 1 Sep 2014, (Unpublished) ECER 2014 Conference Programme.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  38. Semi-Blind Audio Source Separation of Linearly Mixed Two-Channel Recordings via Guided Matching Pursuit

    Zantalis, D. & Wells, J., 1 Sep 2014, (Accepted/In press) Proceedings of the 17th International Conference on Digital Audio Effects (DAFx-14).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  39. Does corporate diversification influence the debt financing constraints faced by UK overleveraged firms?

    Agyei-Boapeah, H., Sep 2014, The 18th International Academy of Management and Business (IAMB) Conference Proceedings.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  40. On Linear Physical Layer Network Coding for multihop wireless networks

    Burr, A. G. & Fang, D., Sep 2014, Signal Processing Conference, EUSIPCO 2014: Proceedings. Lisbon: IEEE, p. 1153-1157 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  41. Assessing the Plausibility of Non-Individualised Dynamic Binaural Synthesis in a Small Room

    Pike, C., Melchior, F. & Tew, A. I., 26 Aug 2014, Audio Engineering Society, 55th International Conference: Spatial Audio. Helsinki, Finland, 6-1

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  42. Directed Depth-Based Complexity Traces of Hypergraphs from Directed Line Graphs

    Bai, L., Hancock, E. R., Ren, P. & Escolano, F., 1 Aug 2014, Pattern Recognition (ICPR), 2014 22nd International Conference on. IEEE, p. 3874-3879 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  43. Accounting for Cache Related Pre-emption Delays in Hierarchical Scheduling with Local EDF Scheduler

    Lunniss, W., Altmeyer, S. & Davis, R. I., Aug 2014, Junior Researcher Workshop on Real-Time Computing (JRWRTC). p. 13-16 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  44. Community discovery using social links and author-based sentiment topics

    Yang, B. & Manandhar, S., Aug 2014, Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, ASONAM 2014: Workshops held in conjunction with ASONAM 2014. IEEE, p. 580-587 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  45. Methods and Algorithms for Unsupervised Learning of Morphology

    Can, B. & Manandhar, S., Aug 2014, Computational Linguistics and Intelligent Text Processing: 15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part I. Gelbukh, A. (ed.). SPRINGER, p. 177-205 29 p. (Lecture Notes in Computer Science; vol. 8403).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  46. Flexibility of cosine impedance function in 2-D digital waveguide mesh for plosive synthesis

    Rugchatjaroen, A. & Howard, D. M., 9 Jul 2014, Proceedings of the 2014 2nd IEEE China Summit & International Conference on Signal and Information Processing. IEEE, p. 32-26 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  47. Evaluation of Cache Partitioning for Hard Real-Time Systems

    Altmeyer, S., Douma, R., Lunniss, W. & Davis, R. I., Jul 2014, Real-Time Systems (ECRTS): 2014 26th Euromicro Conference on. IEEE, p. 15-26 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  48. On the application of Static Probabilistic Timing Analysis to Memory Hierarchies

    Lesage, B. M. J-R., Griffin, D. J., Davis, R. I. & Altmeyer, S., Jul 2014, Real-Time Scheduling Open Problems Seminar (RTSOPS). p. 5-6 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  49. Progress on Static Probabilistic Timing Analysis for Systems with Random Cache Replacement Policies

    Altmeyer, S., Cucu-Grosjean, L., Davis, R. I. & Lesage, B. M. J-R., Jul 2014, Real-Time Scheduling Open Problems Seminar (RTSOPS). p. 7-8 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  50. Towards exogenous fault detection in swarm robotic systems

    Millard, A. G., Timmis, J. & Winfield, A. F. T., 28 Jun 2014, Towards Autonomous Robotic Systems. Springer-Verlag, Vol. 8069 LNAI. p. 429-430 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8069 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  51. Virtual 5.1 Surround Sound Localization using Head-Tracking Devices

    O'Toole, B., Gorzel, M., Kelly, I., O' Sullivan, L., Kearney, G. & Boland, F., 26 Jun 2014, Irish Signals and Systems Conference/ China-Ireland International Conference on Information and Communications Technologies. IET

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  52. Multi-user MIMO across Small Cells

    Finn, D., Ahmadi, H., Cattoni, A. & DaSilva, L. A., 1 Jun 2014, 2014 IEEE International Conference on Communications (ICC). p. 5318-5324 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  53. Rapid calculation of scattering factors for partially ionized plasmas in the EUV

    Rossall, A. & Tallents, G. J., 30 May 2014, (Accepted/In press) International Conference in X-Ray Lasers 2014. Springer

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  54. Towards Verification of Constituent Systems through Automated Proof

    Foster, S. D., 7 May 2014, Workshop on Engineering Dependable Systems of Systems. ACM CoRR

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  55. Institutional models supporting students with disabilities

    Welzer, T., Ward, T. & Grout, I., May 2014, ERASMUS congress and exhibition 2014. Nicosia, Cyprus

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  56. Plenopticon: video playback for dynamically adaptive depth-of-field

    Green, D., Smith, T. & Schofield, G. P., 26 Apr 2014, CHI '14 Extended Abstracts on Human Factors in Computing Systems. New York: Association for Computing Machinery (ACM), p. 163-164

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  57. The influence of emotion on number entry errors

    Cairns, P. A., Pandab, P. & Power, C. D., 26 Apr 2014, CHI '14 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. ACM, p. 2293-2296 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  58. Never mind the bollocks, I wanna be anarCHI: a manifesto for punk HCI

    Linehan, C. & Kirman, B., 1 Apr 2014, ACM SIGCHI Conference on Human Factors in Computer Systems. Seoul, Republic of Korea. ACM, p. 741-748 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  59. Extending Hypervisor Architecture to Allow One Way Data Transfers from VMs to Hypervisors

    Jacob, J. L. & Aydin, M. M., Apr 2014, Proceedings of the 4th International Conference on Cloud Computing and Services Science (CLOSER 2014). Helfert, M. (ed.). SciTePress, p. 604-609 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  60. Leverage Deviation, Mergers and Acquisitions, and Corporate Diversification

    Agyei-Boapeah, H., Apr 2014, The 50th British Accounting and Finance Association (BAFA) Conference. 45 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  61. Quantum fields in curved space-time, semiclassical gravity, quantum gravity phenomenology, and analogue models: parallel session D4

    Liberati, S. & Fewster, C., Apr 2014, GR20 Proceedings issue of General Relativity and Gravitation. 1707 ed. Springer US, Vol. 46. 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  62. Schedulability Tests for Tasks with Variable Rate-Dependent Behaviour under Fixed Priority Scheduling

    Davis, R. I., Feld, T., Pollex, V. & Slomka, F., Apr 2014, Real-Time and embedded technology and Applications Symposium (RTAS), 2014. IEEE, p. 51-62 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  63. Interlopers 3D: experiences designing a stereoscopic game

    Weaver, J. & Holliman, N. S., 6 Mar 2014, Stereoscopic Displays and Applications XXV. San Francisco: SPIE--The International Society for Optical Engineering, Vol. 9011. 12 p. 90110F

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  64. An audit of documented referral information for children referred to a UK paediatric and young person's hospice

    McKeating, C., Koodiyedath, B., Nicholson, J. & Miller, M., 1 Mar 2014, BMJ Supportive & Palliative Care. Vol. 4(Suppl_1):A109. p. 273 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  65. Additive Archaeology: The Spirit of Virtual Archaeology Reprinted

    Beale, G. & Reilly, P., Mar 2014, Archaeological Research in the Digital Age. : Proceedings of the 1st Conference on Computer Applications and Quantitative Methods in Archaeology Greek Chapter (CAA-GR) Rethymno, Crete, 6-8 March 2014. Papadopulos, C., Paliou, E., Chrysanthi, A., Kotoula, E. & Sarris, A. (eds.). Rethymno: Rethymno: Institute for Mediterranean Studies – Foundation of Research and Technology (IMS-Forth), p. 120-128 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  66. On the Correctness, Optimality and Precision of Static Probabilistic Timing Analysis

    Altmeyer, S. & Davis, R. I., Mar 2014, Design Automation and Test Europe (DATE 2014). IEEE, p. 117-122 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  67. 3D sound and 3D image interactions: a review of audio-visual depth perception

    Berry, J., Roberts, D. & Holliman, N. S., 25 Feb 2014, Human Vision and Electronic Imaging XIX. Rogowitz, B. E., Pappas, T. N. & de Ridder, H. (eds.). San Francisco: SPIE--The International Society for Optical Engineering, Vol. 9014. 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  68. Sparsity-aware pseudo affine projection algorithm for active noise control

    Albu, F., Gully, A. & de Lamare, R. C., 12 Feb 2014, 2014 Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, APSIPA 2014. Institute of Electrical and Electronics Engineers Inc., 7041652

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  69. Circuit Design Optimisation Using a Modified Genetic Algorithm and Device Layout Motifs

    Xiao, Y., Walker, J. A., Bale, S. J., Trefzer, M. A. & Tyrrell, A., 13 Jan 2014, 2014 IEEE International Conference on Evolvable Systems. IEEE, 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  70. A digital front-end electronics for the neutron detector NEDA

    Egea, F. J., Houarner, C., Boujrad, A., Gonzalez, V., Tripon, M., Jastrzab, M., Triossi, A., De France, G., Gadea, A., Valiente-Dobon, J. J., Sanchis, E., Barrientos, D., Blaizot, M., Bourgault, P., De Angelis, G., Erduran, M. N., Erturk, S., Huyuk, T., Jaworski, G., Luo, X. L. & 7 others, Modamio, V., Moszynski, M., Di Nitto, A., Nyberg, J., Soderstrom, P. A., Palacz, M. & Wadsworth, R., 1 Jan 2014, 2014 19th IEEE-NPSS Real Time Conference, RT 2014: Conference Records. Institute of Electrical and Electronics Engineers Inc., 2 p. 7097536

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  71. A graph kernel from the depth-based representation

    Bai, L., Ren, P., Bai, X. & Hancock, E. R., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Franti, P., Brown, G., Loog, M., Escolano, F. & Pelillo, M. (eds.). Springer-Verlag, Vol. 8621. p. 1-11 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8621 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  72. A modelling study of limonene oxidation products following cleaning activities

    Carslaw, N., 1 Jan 2014, Indoor Air 2014: 13th International Conference on Indoor Air Quality and Climate. International Society of Indoor Air Quality and Climate, p. 9-13 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  73. A new front-end high-resolution sampling board for the new-generation electronics of EXOGAM2 and NEDA detectors

    Egea, F. J., Gonzalez, V., Tripon, M., Jastrzab, M., Triossi, A., Gadea, A., De France, G., Valiente-Dobon, J. J., Blasco, J. M., Barrientos, D., Sanchis, E., Boujrad, A., Houarner, C., Blaizot, M., Bourgault, P., De Angelis, G., Erduran, M. N., Erturk, S., Huyuk, T., Jaworski, G. & 8 others, Luo, X. L., Modamio, V., Moszynski, M., Di Nitto, A., Nyberg, J., Soderstrom, P. A., Palacz, M. & Wadsworth, R., 1 Jan 2014, 2014 19th IEEE-NPSS Real Time Conference, RT 2014: Conference Records. Institute of Electrical and Electronics Engineers Inc., 3 p. 7097539

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  74. Adaptive model learning for continual verification of non-functional properties

    Calinescu, R., Rafiq, Y., Johnson, K. & Bakir, M. E., 1 Jan 2014, ICPE 2014: Proceedings of the 5th ACM/SPEC International Conference on Performance Engineering. Association for Computing Machinery (ACM), p. 87-98 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  75. Automated enzyme classification by formal concept analysis

    Coste, F., Garet, G., Groisillier, A., Nicolas, J. & Tonon, T., 1 Jan 2014, Formal Concept Analysis - 12th International Conference, ICFCA 2014, Proceedings. Springer-Verlag, p. 235-250 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8478 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  76. Diversity performance of physical layer network coding based on Reed-Solomon codes

    Fang, D. & Burr, A., 1 Jan 2014, 20th European Wireless Conference, EW 2014. VDE VERLAG GMBH, p. 763-767 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  77. Effect of high temperature ageing on electromagnetic emissions from a PIC microcontroller

    Dawson, J. F., Flintoft, I. D., Duffy, A. P., Marvin, A. C. & Robinson, M. P., 1 Jan 2014, Electromagnetic Compatibility (EMC Europe), 2014 International Symposium on. Institute of Electrical and Electronics Engineers Inc., p. 1139-1143 5 p. 6931074

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  78. Efficient re-resolution of SMT specifications for evolving software architectures

    Johnson, K. & Calinescu, R., 1 Jan 2014, QoSA 2014: Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (Part of CompArch 2014). Association for Computing Machinery (ACM), p. 93-102 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  79. Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration

    Gerasimou, S., Calinescu, R. & Banks, A., 1 Jan 2014, 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014 - Proceedings. Association for Computing Machinery (ACM), p. 115-124 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  80. Eisenstein integer based multi-dimensional coded modulation for physical-layer network coding over F4 in the two-way relay channels

    Fang, D., Burr, A. & Wang, Y., 1 Jan 2014, EuCNC 2014: European Conference on Networks and Communications. IEEE Computer Society Press, 5 p. 6882643

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  81. Electron diffraction on VELA at Daresbury

    Surman, M., Aden, P., Cash, R. J., Clarke, J. A., Holland, D. M. P., McKenzie, J. W., Roper, M. D., Bryan, W. A., Lane, P. D., Wann, D. A. & Underwood, J. G., 1 Jan 2014, IPAC 2014: Proceedings of the 5th International Particle Accelerator Conference. Joint Accelerator Conferences Website (JACoW), p. 2218-2220 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  82. Equivocation performance of linear wireless physical layer network coding

    Burr, A. & Fang, D., 1 Jan 2014, 2014 31st URSI General Assembly and Scientific Symposium, URSI GASS 2014. Institute of Electrical and Electronics Engineers Inc., p. 1132-1135 4 p. 6929284

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  83. Harmonic generation and Soft-X-Ray laser with LASERIX: Source development, applications and advanced diagnosis

    Guilbaud, O., Kazamias, S., Cassou, K., Pittman, M., Daboussi, S., Delmas, O., Demailly, J., Neveu, O., Pouhe, C., Vodungbo, B., Zeitoun, P., Wilson, L., Tallents, G., Dusseix, A., Richet, G., Gense, A., Nghiem, B. L., Cros, B., Maynard, G. & Ros, D., 1 Jan 2014, X-Ray Lasers 2012: Proceedings of the 13th International Conference on X-Ray Lasers, 11–15 June 2012, Paris, France. Sebban, S., Gautier, J., Ros, D. & Zeitoun, P. (eds.). Springer Science and Business Media, LLC, Vol. 147. p. 109-116 8 p. (Springer Proceedings in Physics; vol. 147).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  84. High Performance Computing Systems: Performance Modeling, Benchmarking and Simulation: 4th International Workshop, PMBS 2013 Denver, CO, USA, November 18, 2013 Revised Selected Papers

    Jarvis, S. A., Wright, S. & Hammond, S., 1 Jan 2014, High Performance Computing Systems: Performance Modeling, Benchmarking and Simulation - 4th International Workshop, PMBS 2013, Revised Selected Papers. Springer-Verlag, Vol. 8551. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8551).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  85. ICRF-enhanced plasma potentials in the SOL of Alcator C-Mod

    Ochoukov, R., Whyte, D. G., Brunner, D., D'Ippolito, D. A., Labombard, B., Lipschultz, B., Myra, J. R., Terry, J. L. & Wukitch, S. J., 1 Jan 2014, AIP Conference Proceedings: 20th Topical Conference of Radio Frequency Power in Plasmas. American Institute of Physics Inc., Vol. 1580. p. 267-270 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  86. Impacts of heatwaves on the indoor air quality of offices and their occupants: A glimpse of the future?

    Carslaw, N., Terry, A. & Ashmore, M., 1 Jan 2014, Indoor Air 2014: 13th International Conference on Indoor Air Quality and Climate. International Society of Indoor Air Quality and Climate, Vol. 1. p. 14-19 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  87. Linear block physical-layer network coding for multiple-user multiple-relay wireless networks

    Fang, D. & Burr, A., 1 Jan 2014, 2014 31th URSI General Assembly and Scientific Symposium, URSI GASS 2014. Institute of Electrical and Electronics Engineers Inc., 6929288

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  88. Linear physical layer network coding based on rings

    Burr, A. & Fang, D., 1 Jan 2014, IEEE Wireless Communications and Networking Conference, WCNC. Institute of Electrical and Electronics Engineers Inc., p. 370-375 6 p. 6952036

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  89. Linear wireless physical-layer network coding based on binary matrices for multilayer relay networks

    Burr, A., Fang, D. & Mortazawi Molu, M., 1 Jan 2014, 2014 11th International Symposium on Wireless Communications Systems, ISWCS 2014 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 982-986 5 p. 6933496

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  90. Switchable liquid crystal contact lenses: Dynamic vision for the ageing eye

    Milton, H. E., Gleeson, H. F., Morgan, P. B., Goodby, J. W., Cowling, S. & Clamp, J. H., 1 Jan 2014, Proceedings of SPIE: The International Society for Optical Engineering. SPIE, Vol. 9004. 6 p. 90040H

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  91. Unconventional arithmetic: A system for computation using action potentials

    Edwards, J., O'Keefe, S. & Henderson, W. D., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, Vol. 8553 LNCS. p. 155-163 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8553 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  92. 3DMIN - Challenges and Interventions for the Design, Development and Dissemination of New Musical Instruments.

    Bovermann, T., Egermann, H., Foerstel, A., Hardjowirogo, S-I., Hinrichsen, A., Hildebrand Marques Lopes, D., Pysiewicz, A., Weinzierl, S. & de Campo, A., 2014, Proceedings of the 40th International Computer Music Conference. International Computer Music Association, Vol. 2014. 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  93. A Candid Industrial Evaluation of Formal Software Verification using Model Checking

    Bennion, M. & Habli, I., 2014, ICSE Companion 2014: Companion Proceedings of the 36th International Conference on Software Engineering. ACM, p. 175-184 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  94. A Characterisation of the Workload on an Engineering Design Grid

    Burkimsher, A., Bate, I. J. & Indrusiak, L. S., 2014, Proceedings of the 22nd High Performance Computing Symposium (HPC). San Diego: Society for Computer Simulation International, p. 639-646 8 p. 8

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  95. A Formal Model for Natural-Language Timed Requirements of Reactive Systems

    Carvalho, G., Carvalho, A., Rocha, E., Cavalcanti, A. L. C. & Sampaio, A. C. A., 2014, Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings. Merz, S. & Pang, J. (eds.). SPRINGER, p. 43-58 16 p. (Lecture Notes in Computer Science; vol. 8829).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  96. A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence

    Shah, S. M. A., Wei, R., Kolovos, D., Rose, L. M., Paige, R. F. & Barmpis, K., 2014, Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings. SPRINGER, p. 586-601 16 p. (LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  97. A Hypergraph Kernel from Isomorphism Tests

    Bai, L., Ren, P. & Hancock, E. R., 2014, (Accepted/In press) Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  98. A Low-cost Real-time Tracking Infrastructure for Ground-based Robot Swarms

    Millard, A. G., Hilder, J. A., Winfield, A. F. T. & Timmis, J., 2014, Swarm Intelligence: 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings. Dorigo, M., Birattari, M., Garnier, S., Hamann, H., Montes de Oca, M., Solnon, C. & Stützle, T. (eds.). Springer, p. 278-289 2 p. (Lecture Notes in Computer Science; vol. 8667).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  99. A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes.

    Antonino, P., Sampaio, A. & Woodcock, J., 2014, FM 2014: Formal Methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Jones, C., Pihlajasaari, P. & Sun, J. (eds.). SPRINGER, Vol. 8442. p. 62-77 (Lecture Notes in Computer Science; vol. 8442).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  100. A Unification Algorithm for GP

    Plump, D. & Hristakiev, I., 2014, Proceedings 5th International Workshop Graph Computation Models (GCM 2014). Echahed, R., Habel, A. & Mosbah, M. (eds.). GCM, p. 60-75 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  101. A modular theory of object orientation in higher-order UTP

    Zeyda, F., Santos, T. L. V. L., Cavalcanti, A. L. C. & Sampaio, A. C. A., 2014, FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. SPRINGER, p. 627-642 16 p. (Lecture Notes in Computer Science; vol. 8442).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Previous 1 2 3 4 5 6 7 8 ...33 Next