Search research publications and outputs

  1. 3D Imaging, Analysis and Applications

    Pears, N. E. (ed.), Liu, Y. (ed.) & Bunting, P. (ed.), 2012, Springer. 500 p.

    Research output: Book/ReportBook

  2. 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

  3. 3D Shape Classification Using Commute Time

    Haseeb, M. & Hancock, E., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings. Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K. (eds.). Springer Berlin/Heidelberg, Vol. 7626. p. 208-215 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  4. A Binary Neural Network Framework for Attribute Selection and Prediction

    Hodge, V. J., Jackson, T. & Austin, J., 5 Oct 2012, p. 510-515. 5 p.

    Research output: Contribution to conferencePaperpeer-review

  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 Jensen-Shannon Kernel for Hypergraphs

    Bai, L., Hancock, E. & Ren, P., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings. Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K. (eds.). Springer Berlin/Heidelberg, Vol. 7626. p. 181-189 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  7. 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

  8. 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

  9. A Model of Computing as a Service for Cost Analysis

    Johnson, K. H. A. & Tucker, J. V., 2012, (Unpublished) 10 p.

    Research output: Other contribution

  10. 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

  11. A Rule Chaining Architecture Using a Correlation Matrix Memory

    Austin, J., Hobson, S. J., Burles, N. J. & O'Keefe, S., 2012, Artificial Neural Networks and Machine Learning – ICANN 2012: 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part I. PART 1 ed. SPRINGER-VERLAG BERLIN, Vol. 7552. p. 49-56 (Lecture Notes in Computer Science; vol. 7552).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  12. A Statistical Operator for Detecting Weak Edges in Low Contrast Images

    Mittal, A., Sofat, S., Hancock, E. R. & Mousset, S., 2012, Image Analysis and Recognition - 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part I. Campilho, A. J. C. & Kamel, M. S. (eds.). PART 1 ed. Springer Berlin/Heidelberg, Vol. 7324. p. 89-96 8 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  13. 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

  14. 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

  15. 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

  16. 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

  17. 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

  18. 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

  19. 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

  20. 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

  21. A survey of monte carlo tree search methods

    Browne, C. B., Powley, E., Whitehouse, D., Lucas, S. M., Cowling, P. I., Rohlfshagen, P., Tavener, S., Perez, D., Samothrakis, S. & Colton, S., 2012

    Article in IEEE Transactions on Computational Intelligence and AI in Games

  22. Abashian-Booth-Crowe resonance structure in the double pionic fusion to 4He

    Adlarson, P., Augustyniak, W., Bardan, W., Bashkanov, M., Bednarski, T., Bergmann, F. S., Berłowski, M., Bhatt, H., Brinkmann, K. T., Büscher, M., Calén, H., Clement, H., Coderre, D., Czerwiński, E., Demmich, K., Doroshkevich, E., Engels, R., Erven, W., Eyrich, W., Fedorets, P. & 87 others, Föhl, K., Fransson, K., Goldenbaum, F., Goslawski, P., Grigoryev, K., Gullström, C. O., Hauenstein, F., Heijkenskjöld, L., Hejny, V., Hinterberger, F., Hodana, M., Höistad, B., Husmann, C., Jany, A., Jany, B. R., Jarczyk, L., Johansson, T., Kamys, B., Kemmerling, G., Khoukaz, A., Kistryn, S., Klaja, J., Kleines, H., Kłos, B., Krzemień, W., Kulessa, P., Kupć, A., Lalwani, K., Lersch, D., Lorentz, B., Magiera, A., Maier, R., Marciniewski, P., Mariański, B., Mikirtychiants, M., Morsch, H. P., Moskal, P., Nandi, B. K., Niedwiecki, S., Ohm, H., Ozerianska, I., Pauly, C., Perez Del Rio, E., Petukhov, Y., Pluciński, P., Podkopał, P., Prasuhn, D., Pricking, A., Pszczel, D., Pysz, K., Pyszniak, A., Redmer, C. F., Ritman, J., Rudy, Z., Sawant, S., Schadmand, S., Schmidt, A., Serdyuk, V., Siudak, R., Skorodko, T., Skurzok, M., Smyrski, J., Sopov, V., Stassen, R., Stepaniak, J., Sterzenbach, G., Stockhorst, H., Ströher, H., Szczurek, A., Tolba, T., Trzciński, A., Varma, R., Vlasov, P., Wagner, G. J., Wȩglorz, W., Wolke, M., Wrońska, A., Wüstner, P., Wurm, P., Yamamoto, A., Yuan, X., Yurev, L., Zabierowski, J., Zieliński, M. J., Zipper, W., Złomańczuk, J. & Zuprański, P., 7 Sep 2012

    Article in Physical Review C - Nuclear Physics

  23. 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

  24. 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

  25. 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

  26. An Efficient Scheme for Color Edge Detection in Uniform Color Space

    Mittal, A., Sofat, S. & Hancock, E. R., 2012, Autonomous and Intelligent Systems - Third International Conference, AIS 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings. Kamel, M., Karray, F. & Hagras, H. (eds.). Springer, Vol. 7326. p. 260-267 8 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  27. 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

  28. 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

  29. 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

  30. Approximate Axial Symmetries from Continuous Time Quantum Walks

    Rossi, L., Torsello, A. & Hancock, E., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings. Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K. (eds.). Springer Berlin/Heidelberg, Vol. 7626. p. 144-152 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  31. Assessing Software Interference Management When Modifying Safety-Related Software: Computer Safety, Reliability, and Security

    Graydon, P. J. & Kelly, T., 2012, Computer Safety, Reliability, and Security. Ortmeier, F. & Daniel, P. (eds.). Springer Berlin / Heidelberg, Vol. 7613. p. 132-145 14 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  32. Automated Heap Sizing in the Poly/ML Runtime

    White, D. R., Singer, J., Aitken, J. M. & Matthews, D., 2012, p. 1-9.

    Research output: Contribution to conferencePaperpeer-review

  33. 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

  34. 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

  35. Capacities of linear quantum optical systems

    Lupo, C., Giovannetti, V., Pirandola, S., Mancini, S. & Lloyd, S., 19 Jun 2012

    Article in Physical Review A

  36. 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

  37. 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

  38. 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

  39. CoSMoS in the Context of Social Ecological Research

    Forrester, J. M., Greaves, R. B. & Polack, F. A. C., 2012, p. 47-76.

    Research output: Contribution to conferencePaperpeer-review

  40. 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

  41. 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

  42. 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

  43. 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

  44. Computing gender difference using Fisher-Rao metric from facial surface normals

    Ceolin, S. & Hancock, E. R., 1 Aug 2012, SIBGRAPI 2012 (XXV Conference on Graphics, Patterns and Images). C. Freitas L. Silva, R. S. & Sarkar, S. (eds.). p. 336-343 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  45. Contracting for Assurance of Military Aviation Software Systems

    Reinhardt, D. W. & McDermid, J. A., 2012, Proceedings of the Australian System Safety Conference 2012.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  46. 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

  47. 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

  48. Detection of Edges in Color Images: A Review and Evaluative Comparison of State-of-the-Art Techniques

    Mittal, A., Sofat, S. & Hancock, E. R., 2012, Autonomous and Intelligent Systems - Third International Conference, AIS 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings. Kamel, M., Karray, F. & Hagras, H. (eds.). Springer, Vol. 7326. p. 250-259 10 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  49. Developing Predictable Real-Time Embedded Systems using AnvilJ

    Gray, I. & Audsley, N. C., 2012, IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).

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

  50. Developing a semantic user and device modeling framework that supports UI adaptability of web 2.0 applications for people with special needs

    Ackermann, P., Velasco, C. A. & Power, C. D., 16 Apr 2012, W4A '12 Proceedings of the International Cross-Disciplinary Conference on Web Accessibility. ACM, 12

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

  51. Differential RET Signaling Pathways Drive Development of the Enteric Lymphoid and Nervous Systems

    Patel, A., Harker, N., Moreira-Santos, L., Alden, K. J., Timmis, J., Foster, K., Andrews, PAUL. S., Pachnis, P., Garefalaki, A., Coles, M. C., Enomoto, H., Milbrandt, J., Pachnis, V., Kioussis, D. & Veiga-Fernandes, H., 31 Jul 2012

    Article in Science Signaling

  52. Discretisation of Data in a Binary Neural k-Nearest Neighbour Algorithm

    Hodge, V. J. & Austin, J., 1 Jun 2012, Department of Computer Science, University of York, UK

    Research output: Other contribution

  53. Distributed, embedded and real-time java systems

    Higuera-Toledano, M. T. & Wellings, A. J., 2012, SPRINGER-VERLAG BERLIN. 378 p.

    Research output: Book/ReportBook

  54. Dynamic Potential-Based Reward Shaping

    Devlin, S. M. & Kudenko, D., Jun 2012, Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems. IFAAMAS, p. 433-440 8 p.

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

  55. Dynamic adaptive search based software engineering

    Harman, M., Burke, E. K., Clark, J. A. & Yao, X., 2012, International Symposium on Empirical Software Engineering and Measurement. ACM, p. 1-8

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

  56. Efficient Constraint Handling During Designing Reliable Automotive Real-time Systems

    Polzlbauer, F., Bate, I. & Brenner, E., 2012, Proceedings of the 17th International Conference on Reliable Software Technologies (Ada-Europe 2012). p. 207-220 14 p.

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

  57. Enabling Adaptive Techniques in Heterogeneous MPSoCs Based on Virtualization

    Ost, L., Varyani, S., Indrusiak, L. S., Mandelli, M., Almeida, G. M., Wachter, E., Moraes, F. & Sassatelli, G., Oct 2012

    Article in ACM Transactions on Reconfigurable Technology and Systems (TRETS)

  58. Energy and Environment

    Emberson, L., Rockström, J., He, K., Amann, M., Barron, J., Feresu, S., Hicks, K., Johanson, F. X., Karlqvist, A., Klimont, Z., Mylvakanam, I., Offutt, M., Song, W. W., Vallack, H. & Zhang, Q., 2012, The Global Energy Assessment: Toward a Sustainable Future : key findings summary for policymakers technical summary. IIASA, Laxenburg, Austria and Cambridge University Press, UK, p. 191-254

    Research output: Chapter in Book/Report/Conference proceedingChapter

  59. Engineering simulations for cancer systems biology

    Bown, J. L., Andrews, PAUL. S., Deeni, Y., Goltsov, A., Idowu, M., Polack, F. A. C., Sampson, A. T., Shovman, M. & Stepney, S., Nov 2012

    Article in Current Drug Targets

  60. Enhancing YouShare: the online collaboration research environment for sharing data and services.

    Hodge, V., Turner, A., Fletcher, M., Jessop, M., Weeks, M., Jackson, T. & Austin, J., 2012.

    Research output: Contribution to conferencePaperpeer-review

  61. Estimating Surface Characteristics and Extracting Features from Polarisation

    Zhang, L. & Hancock, E., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings. Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K. (eds.). Springer Berlin/Heidelberg, Vol. 7626. p. 400-408 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  62. EuGENia live: a flexible graphical modelling tool

    Rose, L. M., Kolovos, D. & Paige, R. F., 1 Oct 2012, XM '12 Proceedings of the 2012 Extreme Modeling Workshop. ACM, p. 15-20 6 p.

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

  63. Evolved Artificial Signaling Networks for the Control of a Conservative Complex Dynamical System

    Fuente, L. A., Lones, M. A., Turner, A. P., Stepney, S., Caves, L. & Tyrrell, A., Mar 2012, p. -. 8 p.

    Research output: Contribution to conferencePaperpeer-review

  64. Evolving Robust Networks for Systems-of-Systems

    Aitken, J. M., Alexander, R., Kelly, T. & Poulding, S. M., 2012, Search Based Software Engineering: 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings. Springer-Verlag, p. 30-44 15 p. (Lecture Notes in Computer Science; vol. 7515).

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

  65. Exclusive measurement of the η→π +π -γ decay

    Adlarson, P., Adolph, C., Augustyniak, W., Bardan, W., Bashkanov, M., Bednarski, T., Bergmann, F. S., Berłowski, M., Bhatt, H., Brinkmann, K. T., Büscher, M., Calén, H., Clement, H., Coderre, D., Czerwiński, E., Doroshkevich, E., Engels, R., Erven, W., Eyrich, W., Fedorets, P. & 100 others, Föhl, K., Fransson, K., Goldenbaum, F., Goslawski, P., Grigoryev, K., Gullström, C. O., Hanhart, C., Heijkenskjöld, L., Heimlich, J., Hejny, V., Hinterberger, F., Hodana, M., Höistad, B., Jacewicz, M., Jany, A., Jany, B. R., Jarczyk, L., Johansson, T., Kamys, B., Kemmerling, G., Khakimova, O., Khoukaz, A., Kistryn, S., Klaja, J., Kleines, H., Kłos, B., Kren, F., Krzemień, W., Kulessa, P., Kupść, A., Lalwani, K., Leupold, S., Lorentz, B., Magiera, A., Maier, R., Mariański, B., Marciniewski, P., Meißner, U. G., Mikirtychiants, M., Morsch, H. P., Moskal, P., Nandi, B. K., Niedźwiecki, S., Ohm, H., Passfeld, A., Pauly, C., Perez del Rio, E., Petri, T., Petukhov, Y., Piskunov, N., Pluciński, P., Podkopał, P., Povtoreyko, A., Prasuhn, D., Pricking, A., Pysz, K., Pyszniak, A., Rausmann, T., Redmer, C. F., Ritman, J., Rudy, Z., Sawant, S., Schadmand, S., Schmidt, A., Sefzick, T., Serdyuk, V., Siemaszko, M., Siudak, R., Skorodko, T., Skurzok, M., Smyrski, J., Sopov, V., Stassen, R., Stepaniak, J., Sterzenbach, G., Stockhorst, H., Stollenwerk, F., Ströher, H., Szczurek, A., Täschner, A., Terschlüsen, C., Tolba, T., Trzciński, A., Varma, R., Vlasov, P., Wagner, G. J., Weglorz, W., Winnemöller, A., Wirzba, A., Wolke, M., Wrońska, A., Wüstner, P., Wurm, P., Yuan, X., Yurev, L., Zabierowski, J., Zieliński, M. J., Zipper, W., Złomańczuk, J. & Zuprański, P., 20 Jan 2012

    Article in Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics

  66. Explicit reservation of local memory in a predictable, preemptive multitasking real-time system

    Whitham, J. & Audsley, N. C., 14 Jun 2012, Proceedings - 18th IEEE Real Time and Embedded Technology and Applications Symposium, RTAS 2012. p. 3-12 10 p. 6200073

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

  67. Extending an estabished simulation: exploration of the possible effects using a case study in Experimental Autoimmune Encephalomyelitis

    Greaves, R. B., Read, M. N., Timmis, J., Andrews, PAUL. S. & Kumar, V., 2012, Information processing in cells and tissues. Lecture Notes in Computer Science, Vol. 7223. p. 150-161

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

  68. Face Recognition Using Semi-Supervised Spectral Feature Selection

    Zhang, Z. H. & Hancock, E. R., 2012, Proceedings 21st International Conference on Pattern Recognition. IEEE Computer Society Press, p. 1294-1297 6460376

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

  69. Face recognition using ortho-diffusion bases

    Gudivada, S. & Bors, A. G., Aug 2012, p. 1578-1582.

    Research output: Contribution to conferencePaperpeer-review

  70. Features of CML: a formal modelling language for systems of systems

    Woodcock, J., Cavalcanti, A. L. C., Fitzgerald, J., Larsen, P. G., Miyazawa, A. H. & Perry, S., 2012, 7th International Conference on System of System Engineering. IEEE, p. 445-450

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

  71. Form follows function: Model-driven engineering for clinical trials

    Davies, J., Gibbons, J., Calinescu, R., Crichton, C., Harris, S. & Tsui, A., 20 Aug 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7151 LNCS. p. 21-38 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7151 LNCS).

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

  72. Formal Methods for the Development and Verification of Autonomic IT Systems

    Calinescu, R., Kikuchi, S. & Kwiatkowska, M., 2012, Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification. Cong-Vinh, P. (ed.). IGI Global, p. 1-37

    Research output: Chapter in Book/Report/Conference proceedingChapter

  73. From Fault Injection to Mutant Injection: the Next Step for Safety Analysis?

    Rodriguez-Navas, G., Graydon, P. & Bate, I., 2012, Lecture Notes in Computer Science no. 7857. p. 276-277 2 p.

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

  74. Gaussian quantum information

    Weedbrook, C., Pirandola, S., Garcia-Patron, R., Cerf, N. J., Ralph, T. C., Shapiro, J. H. & Lloyd, S., 1 May 2012

    Article in Reviews of Modern Physics

  75. Goal-Based Safety Standards: Promises and Pitfalls

    McDermid, J. A. & Rae, A., Feb 2012, Achieving Systems Safety: Proceedings of the 20th Safety-critical Systems Symposium, Bristol, UK.. Dale, C. & Anderson, T. (eds.). Springer, p. 257-270 14 p.

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

  76. Graph Clustering Using Graph Entropy Complexity Traces

    Bai, L., Hancock, E. R., Han, L. & Ren, P., 2012, Proceedings 21st International Conference on Pattern Recognition . IEEE Computer Society Press, p. 2881-2884 6460767

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

Previous 1 2 3 Next