Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. Very extended shapes in Cd-108: Evidence for the occupation of "hyper-intruder" orbitals

    Gorgen, A., Clark, RM., Fallon, P., Cromaz, M., Deleplanque, MA., Diamond, RM., Lane, GJ., Lee, IY., Macchiavelli, AO., Ramos, RG., Stephens, FS., Svensson, CE., Vetter, K., Ward, D., Carpenters, MP., Janssens, RVF. & Wadsworth, R., 2003, FRONTIERS OF NUCLEAR STRUCTURE. Fallon, P. & Clark, R. (eds.). MELVILLE: AMER INST PHYSICS, p. 17-24 8 p. (AIP CONFERENCE PROCEEDINGS; vol. 656).

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

  2. Verifying the CICS file control API with Z/Eves: An experiment in the verified software repository

    Freitas, L., Mokos, K. & Woodcock, J., 2007, 12TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 290-298 9 p.

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

  3. Verifying fault-tolerant distributed systems using Object-Based Graph Grammars

    Dotti, F. L., Mendizabal, O. M. & dos Santos, O. M., 2005, DEPENDABLE COMPUTING, PROCEEDINGS. Maziero, CA., Silva, JG., SantosAndrade, AM. & Silva, FMD. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 80-100 21 p.

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

  4. Verifying a Copying Garbage Collector in GP 2

    Plump, D. & Wulandari, G., 6 Dec 2018, Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Revised Selected Papers. Mazzara, M., Ober, L. & Salaün, G. (eds.). Springer, p. 479--494 16 p. (Lecture Notes in Computer Science).

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

  5. Verifying Total Correctness of Graph Programs

    Poskitt, C. & Plump, D., 2012, Proceedings 4th International Workshop on Graph Computation Models (GCM 2012). Echahed, R., Habel, A. & Mosbah, M. (eds.). p. 1-15

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

  6. Verifying Monadic Second-Order Properties of Graph Programs

    Poskitt, C. & Plump, D., 2014, Proceedings 7th International Conference on Graph Transformation (ICGT 2014). Giese, H. & Koenig, B. (eds.). Springer, p. 33-48 16 p. (Lecture Notes in Computer Science; vol. 8571).

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

  7. Verification of control systems using Circus

    Cavalcanti, A. & Clayton, P., 2006, ICECCS 2006: 11TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS. Kawada, S. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 269-278 10 p.

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

  8. Verification of a behavioural model to define RF interference effects in integrated circuits

    Whyman, N. L., Dawson, J. F. & Centeno, A., 1 Jul 2000, York EMC 2000, York, 10-11 July 2000.

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

  9. Variational expectation-maximization training for Gaussian networks

    Nasios, N. & Bors, A. G., 2003, 2003 IEEE XIII WORKSHOP ON NEURAL NETWORKS FOR SIGNAL PROCESSING - NNSP'03. NEW YORK: IEEE, p. 339-348 10 p.

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

  10. Variational Gaussian mixtures for blind source detection

    Nasios, N. & Bors, A. G., 2003, 2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS. NEW YORK: IEEE, p. 474-479 6 p.

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

  11. Variational Bayesian inference for partially observed stochastic dynamical systems - art. no. 012022

    Wang, B. & Titterington, D. M., 2009, INTERNATIONAL WORKSHOP ON STATISTICAL-MECHANICAL INFORMATICS 2008 (IW-SMI 2008). Hayashi, M., Inoue, JI., Kabashima, Y. & Tanaka, K. (eds.). BRISTOL: IOP PUBLISHING LTD, p. 12022-12022 11 p.

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

  12. Variable stiffness actuators embedded with soft-bodied polycaprolactone and shape memory alloy wires

    Liao, T., Tse, Z. T. H. & Ren, H., 17 Oct 2019, Proceedings of the 2019 IEEE/ASME International Conference on Advanced Intelligent Mechatronics, AIM 2019. Institute of Electrical and Electronics Engineers Inc., p. 108-113 6 p. 8868905. (IEEE/ASME International Conference on Advanced Intelligent Mechatronics, AIM; vol. 2019-July).

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

  13. Variability Management in Safety-Critical Software Product Line Engineering

    De Oliveira, A. L., Braga, R. T. V., Masiero, P. C., Papadopoulos, Y., Habli, I. & Kelly, T. P., 2018, International Conference on Software Reuse.

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

  14. Value-based software traceability workshop (VALSOT 2011)

    Espinoza, A., Paige, R. & Garbajosa, J., 1 Jan 2011, Agile Processes in Software Engineering and Extreme Programming - 12th International Conference, XP 2011, Proceedings. Springer-Verlag, 1 p. (Lecture Notes in Business Information Processing; vol. 77 LNBIP).

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

  15. Value-based scheduling of flexible real-time systems for intelligent autonomous vehicle control

    Burns, A. & Prasad, D., 1998, INTELLIGENT AUTONOMOUS VECHICLES 1998 (IAV'98). Salichs, MA. & Halme, A. (eds.). OXFORD: PERGAMON PRESS LTD, p. 33-38 6 p.

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

  16. Value-Based Allocation of Docker Containers

    Dziurzanski, P., 21 Mar 2018, 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP). IEEE, p. 358-362

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

  17. Value and energy optimizing dynamic resource allocation in many-core HPC systems

    Singh, A. K., Dziurzanski, P. & Indrusiak, L. S., 1 Feb 2016, 2015 IEEE 7th International Conference on Cloud Computing Technology and Science (CloudCom). Institute of Electrical and Electronics Engineers Inc., p. 180-185 6 p. 7396154

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

  18. Value and energy aware adaptive resource allocation of soft real-time jobs on many-core HPC data centers

    Singh, A. K., Dziurzanski, P. & Indrusiak, L. S., 18 Jul 2016, Proceedings - 2016 IEEE 19th International Symposium on Real-Time Distributed Computing, ISORC 2016. Institute of Electrical and Electronics Engineers Inc., p. 190-197 8 p. 7515628

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

  19. Validation of intermediate level circuit models (ILCM) of a generic system through measurement

    Watkins, S. P., Hoad, R., Chirwa, L. C., Dawson, J. F. & Robinson, M. P., 1 Mar 2004, IEE Seminar on 'Validation of Computational Electromagnetics, Farnborough, 29 March. p. 65-69

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

  20. Validation of Performance Data using Experimental Verification Process in Wireless Sensor Networks

    Lim, T. H., Timmis, J. & Bate, I. J., 2012, 17th IEEE International Conference on Emerging Technologies & Factory Automation.

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

  21. Validation of Performance Data using Experimental Verification Process in Wireless Sensor Network

    Lim, T. H., Bate, I. & Timmis, J., 2012, Proceedings of the IEEE 17th International Conference on Emerging Technologies and Factory Automation (ETFA 2012).

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

  22. Validation of Executable Application Models Mapped onto Network-on-Chip Platforms

    Määttä, S., Indrusiak, L. S., Ost, L., Moller, L., Nurmi, J., Glesner, M. & Moraes, F., 2008, Int Symposium on Industrial Embedded Systems. New York: IEEE, p. 118-125 8 p.

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

  23. Vadim Borisovich Kuznetsov - 1963-2005

    Sklyanin, E. & Sleeman, B. D., 2006, Jack, Hall-Littlewood and Macdonald Polynomials. Kuznetsov, VB. & Sahi, S. (eds.). PROVIDENCE: AMER MATHEMATICAL SOC, p. 357-360 4 p.

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

  24. VRML and Microelectronics Education

    Reis, R. A. D. L. & Indrusiak, L. S., 1999, IEEE International Conference on Microelectronic Systems Education, MSE 1999, July 19-21, 1999, Arlington, Virginia, USA. IEEE Computer Society, p. 84-85 2 p.

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

  25. VOXed: Technology as a meaningful teaching aid in the singing studio

    Welch, G. F., Himonides, E., Howard, D. M. & Brereton, J., 2004, Conference on Interdisciplinary Musicology, CIM04.

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