Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. Conference contribution › Research
  2. "Get lost, GetLostBot!" annoying people by offering recommendations when they are not wanted

    Kirman, B., 1 Sep 2012, Workshop on the Personalising the Local Mobile Experience at ACM Conference on Recommender Systems..

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

  3. 2D & 3D imaging of hydroxyapatite nanoparticles for pastes and gels

    W Guan, G Thirunavukkarasu, G Möbus, P Hatton, W Austin and E Lester, 2012, Royal Microscopical Society: Proceedings of the European Microscopy Congress (Proc. EMC 2012). Stokes, D. J. & Hutchison, J. (eds.). Oxford

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

  4. 3D Landmark Model Discovery from a Registered Set of Organic Shapes

    Creusot, C., Pears, N. & Austin, J., 16 Jun 2012, 2012 IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops (CVPRW) . p. 57-64 8 p.

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

  5. A Control Theoretic Approach for Workflow Management

    Ghazzawi, H. A., Bate, I. & Indrusiak, L. S., 1 Jul 2012, In Proceedings of 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems. p. 280-289 10 p.

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

  6. A Lightweight Approach for Managing XML Documents with MDE Languages

    Kolovos, D., Rose, L. M., Williams, J. R., Matragkas, N. & Paige, R. F., 2012, Modelling Foundations and Applications: 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings. Springer, Vol. 7349 LNCS. p. 118-132 15 p. (Lecture Notes in Computer Science; vol. 7349).

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

  7. A MARTE subset to enable application-platform co-simulation and schedulability analysis of NoC-based embedded systems

    Indrusiak, L. S., Quadri, I., Gray, I., Audsley, N. & Sadovykh, A., 2012, 2012 7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC). Indrusiak, LS., Gogniat, G. & Voros, N. (eds.). NEW YORK: IEEE, 6322898

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

  8. A Mathematical Approach To Structural Transitions In Viral Capsids

    Indelicato, G. & Twarock, R., Feb 2012, International Journal of Modern Physics: Conference Series . Vol. 9. p. 11-23 13 p.

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

  9. A Plug-in Based Approach for UML Model Simulation

    Radjenovic, A., Paige, R. F., Rose, L. M., Woodcock, J. & King, S., 2012, Modelling Foundations and Applications : 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings. Vallecillo, A., Tolvanen, J-P., Kindler, E., Störrle, H. & Kolovos, D. (eds.). SPRINGER, Vol. 7349. p. 328-339 12 p. (Lecture Notes in Computer Science).

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

  10. A Shadow, An Aura and Some Notes on Light: Re-defining the Sibelius Legacy

    Howell, T., 2012, (Accepted/In press) Proceedings of the Fifth International Sibelius Conference, Oxford 2010. Helsinki: http://sibeliusone.com/sibelius-reconsidered/

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

  11. A Statistical Response-Time Analysis of Real-Time Embedded Systems

    Lu, Y., Nolte, T., Bate, I. & Cucu-Grosjean, L., 2012, Proceedings of the 33rd Real-Time Systems Symposium. p. 351-362 12 p.

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

  12. A Systematic Analysis of the Wenzhou High Speed Train Accident Using STAMP

    Niu, R., Ge, X., McDermid, J. A. & Tang, T., Aug 2012, 30th International System Safety Conference : ISSC. The International System Safety Society

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

  13. A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams.

    Marriott, C., Zeyda, F. & Cavalcanti, A. L. C., 2012, Abstract State Machines, Alloy, B, VDM, and Z. Vol. 7316. p. 294-307

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

  14. A Tool for Development and Evaluation of Accessible Web 2.0 Applications

    Kervina, D., Pustisek, M., Ackermann, P., Velasco, C. A. & Power, C. D., 2012, 21st International Electrotechnical and Computer Science Conference. IEEE COMPUTER SOC, p. 89-92 4 p.

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

  15. A comprehensive polarisation model for surface orientation recovery

    Zhang, L. & Hancock, E. R., 2012, Proceedings 21st International Conference on Pattern Recognition . IEEE Computer Society Press, p. 3791-3794

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

  16. A contextualised curriculum for HCI

    Fincher, S., Cairns, P. & Blackwell, A., 2012, Conference on Human Factors in Computing Systems - Proceedings. p. 2707-2710 4 p.

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

  17. A feature model for model-to-text transformation languages

    Rose, L. M., Matragkas, N., Kolovos, D. & Paige, R. F., 2012, Modeling in Software Engineering (MISE), 2012 ICSE Workshop on. IEEE, p. 57-63 7 p.

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

  18. A learning adaptive Bollinger band system

    Butler, M. R. & Kazakov, D. L., 2012, 2012 IEEE Conference on Computational Intelligence for Financial Engineering and Economics (CIFEr 2012): New York City, New York, USA, 29-30 March 2012. New York: IEEE, p. 40-47 8 p.

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

  19. A review of the terminology of Work Experience in the UK

    Ward, T., Feb 2012, A review of the terminology of Work Experience in the UK”, 23rd EAEEIE Annual Conference on Innovation in Electrical and Information Engineering. Cagliari, Sardinia

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

  20. A study on dynamic vocal tract shaping for diphthong simulation using a 2D Digital Waveguide Mesh

    Rugchatjaroen, A. & Howard, D. M., 1 Dec 2012, 15th International Conference on Digital Audio Effects, DAFx 2012 Proceedings.

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

  21. ALTERATION OF THE SELF-RENEWAL AND DIFFERENTIATION BALANCE IN SINGLE MOUSE HEMATOPOIETIC STEM CELLS BY JAK2 V617F

    Kent, D., Li, J., Tanna, H., Simons, B. & Green, A. R., 1 Aug 2012, EXPERIMENTAL HEMATOLOGY. Vol. 40. p. S112-S112

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

  22. Absorption cross-section of the human body in a reverberant environment

    Melia, G. CR., Flintoft, I. D. & Robinson, M. P., Sep 2012, Electromagnetic Compatibility (EMC EUROPE), 2012 International Symposium on. IEEE, p. 1-6

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

  23. Acoustic Measurement Methods for Outdoor Sites: A Comparative Study

    Lopez, M. J. & Pauletto, S., 2012, Proceedings of the Digital Audio Effects Conference. 5 p.

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

  24. Adaptation aftereffects when seeing full-body actions: Do findings from traditional 2D presentation apply to 'real-world' stereoscopic presentation?

    Keefe, B. D., Wincenciak, J., Ward, J., Jellema, T. & Barraclough, N., 2012, Perception. PION, Vol. 41. p. 72 1 p.

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

  25. Agile requirements traceability using domain-specific modelling languages

    Taromirad, M. & Paige, R. F., 1 Dec 2012, 2012 Extreme Modeling Workshop, XM 2012 - Post-Proceedings, Satellite Event of the IEEE/ACM 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012. p. 45-50 6 p.

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

  26. Algebraic Specifications of Computing as a Service with Applications to Cost Analysis

    Johnson, K. H. A. & Tucker, J. V., 2012, (Accepted/In press) Proceedings of the 5th IEEE/ACM International Conference on Utility and Cloud Computing. p. 143-150 8 p.

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

  27. An Automated Approach to Generating Efficient Constraint Solvers

    Balasubramaniam, D., Jefferson, C. A., Kotthoff, L., Miguel, I. J. & Nightingale, P., 2012, 2012 34th international conference on software engineering (ICSE 2012). IEEE, p. 661-671 11 p.

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

  28. An exploratory review of the design literature: gaps and avenues for future research

    D'Ippolito, B., 2012, R&D Management Conference. Grenoble Ecole de Management, France

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

  29. An integrated framework for system/software requirements development aligning with business motivations

    Cui, X. & Paige, R., 25 Jul 2012, Proceedings - 2012 IEEE/ACIS 11th International Conference on Computer and Information Science, ICIS 2012. p. 547-552 6 p. 6211151

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

  30. An upper bound for BDeu local scores

    Cussens, J., 2012, Proc. ECAI-2012 workshop on algorithmic issues for inference in graphical models (AIGM 2012).

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

  31. Analysis of the shielding properties of metalized nonwoven materials

    Austin, A. N., Dawson, J. F. & Marvin, A., 2 Jul 2012, EuroEM 2012.

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

  32. Approaches to Modelling Security Scenarios with Domain-Specific Languages: 41-54

    Brooke, P. J., Paige, R. F. & Power, C. D., 2012, Security Protocols XX: 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised Selected Papers. Springer, Vol. 7622 LNCS. p. 41-54 14 p. (Lecture Notes in Computer Science; vol. 7622).

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

  33. Atomic nitrogen measurements in an atmospheric-pressure plasma jet

    Wagenaars, E., Gans, T., O'Connell, D. & Niemi, K., 2012, XXI Europhysics Conference on the Atomic and Molecular Physics of Ionized Gases. European Physical Society, Vol. ECA 36A.

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

  34. Automatic orchestration of video streams to enhance group communication

    Falelakis, M., Groen, M., Frantzis, M., Kaiser, R. & Ursu, M. F., 10 Dec 2012, SAM 2012 - Proceedings of the 2012 ACM Workshop on Socially-Aware Multimedia, Co-located with ACM Multimedia 2012. p. 25-29 5 p.

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

  35. Behavioural Sets and Operations in Treaty Systems

    Zhao, Y. & Wood, A. M., 2012, International Conference on Control Engineering and Communication Technology (ICCECT), 2012. p. 315-320 6 p.

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

  36. Better, Faster, Cheaper, and Safer Too Is This Really Possible?

    Bate, I., Hansson, H. & Punnekkat, S., 2012, Proceedings of the 17th IEEE International Conference on Emerging Technologies and Factory Automation.

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

  37. Carrier accumulation in the optical confinement layer, its effect on power limit in high power and brightness laser diodes, and laser design to overcome this limitation

    Avrutin, E. & Ryvkin, B., 2012, 2012 IEEE Photonics Society Summer Topical Meeting Series, PSST 2012. p. 53-54 2 p. 6280868

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

  38. Chaining model transformations

    Etien, A., Aranega, V., Blanc, X. & Paige, R. F., 1 Dec 2012, Proceedings of the 1st Workshop on the Analysis of Model Transformations, AMT 2012. p. 9-14 6 p.

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

  39. Challenges in Software Development for Multicore System-on-Chip Development

    Gray, I. & Audsley, N. C., 2012, 23rd IEEE International Symposium on Rapid System Prototyping (RSP).

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

  40. Characterization of InMnSb epitaxial films for spintronics

    Lari, L., Lea, S., Feeser, C., Wessels, B. W. & Lazarov, V. K., 2012, ELECTRON MICROSCOPY AND ANALYSIS GROUP CONFERENCE 2011 (EMAG 2011). BRISTOL: IOP PUBLISHING LTD, 012032

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

  41. Cheque Mates: Participatory Design of Digital Payments with Eighty Somethings

    Vines, J., Blythe, M., Dunphy, P., Vlachokyriakos, V., Teece, I., Monk, A. F. & Olivier, P., May 2012, Proceedings of the 2012 ACM SIGCHI Conference on Human Factors in Computing Systems, Austin, USA, 5-10 May 2012. New York: New York, NY: ACM Press, p. 1189-1198 9 p.

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

  42. Circus Time with Reactive Designs

    Woodcock, J., Wei, K. & Cavalcanti, A. L. C., 2012, Unifying Theories of Programming . Lecture Notes in Computer Science, Vol. 7681 . p. 68-87

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

  43. Clonal analysis of hematopoietic stem cell progeny in microfluidic cell culture arrays

    Lecault, V., Bowden, WJ., Knapp, DJHF., Viel, F., Kent, DG., Wohrer, S., Humphries, RK., Eaves, CJ., Hansen, CL. & Piret, JM., 25 Mar 2012, ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY. Vol. 243.

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

  44. Cold atmospheric pressure plasma jets: Interaction with plasmid DNA and tailored electron heating using dual-frequency excitation

    Niemi, K., O'Neill, C., Cox, L. J., Waskoenig, J., Hyland, W. B., McMahon, S. J., Reuter, S., Currell, F. J., Graham, W. G., O'Connell, D. & Gans, T., 2012, 17th International Conference on Atomic Processes in Plasmas (ICAPiP). Aggarwal, K. & Shearer, F. (eds.). MELVILLE: AMER INST PHYSICS, Vol. 1438. p. 23-28 (AIP Conference Proceedings; vol. 1438).

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

  45. Column generation for exact BN learning: Work in progress

    Cussens, J., 2012, Proc. ECAI-2012 workshop on COmbining COnstraint solving with MIning and LEarning (CoCoMile 2012). p. 21-22

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

  46. Comparative analysis of data persistence technologies for large-scale models

    Barmpis, K. & Kolovos, D., 1 Oct 2012, XM '12 Proceedings of the 2012 Extreme Modeling Workshop. ACM, p. 33-38 6 p.

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

  47. Comparative analysis of dynamic task mapping heuristics in heterogeneous NoC-based MPSoCs

    Moller, L., Soares Indrusiak, L., Ost, L., Moraes, F. G. & Glesner, M., 2012, Proceedings of the 2012 International Symposium onSystem on Chip (SoC). IEEE, p. 1-4

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

  48. Complex sphere decoding with a modified tree pruning and successive interference cancellation

    Li, L., Caiado De Lamare, R. & Burr, A. G., 24 Dec 2012, Proceedings of the International Symposium on Wireless Communication Systems. p. 226-230 5 p. 6328363

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

  49. Compositional reverification of probabilistic safety properties for large-scale complex IT systems

    Calinescu, R., Kikuchi, S. & Johnson, K., 9 Nov 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7539 LNCS. p. 303-329 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7539 LNCS).

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

  50. Controller Area Network (CAN): Response Time Analysis with Offsets

    Yomsi, P. M., Bertrand, D., Navet, N. & Davis, R., May 2012, 9th IEEE International Workshop on Factory Communication Systems. IEEE, p. 43-52

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

  51. Controller area network (CAN) schedulability analysis for messages with arbitrary deadlines in FIFO and work-conserving queues

    Davis, R. I. & Navet, N., May 2012, IEEE International Workshop on Factory Communication Systems. IEEE, p. 33-42 6242538

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

Previous 1 2 3 4 5 Next