King's College London

Research portal

Research Outputs

  1. 2017
  2. Corner-based geometric calibration of multi-focus plenoptic cameras

    Nousias, S., Chadebecq, F., Pichat, J., Keane, P., Ourselin, S. & Bergeles, C., 25 Dec 2017, In : 2017 IEEE International Conference on Computer Vision (ICCV). 2017-October, p. 957-965 9 p.

    Research output: Contribution to journalConference paper

  3. Physics reach of MoEDAL at LHC: Magnetic monopoles, supersymmetry and beyond

    Mavromatos, N. E. & Mitsou, V. A., 5 Dec 2017, In : EPJ Web of Conferences. 164, 04001.

    Research output: Contribution to journalConference paper

  4. Virtual Machine Warmup Blows Hot and Cold

    Barrett, E., Bolz-Tereick, C. F., Mount, S., Killick, R. & Tratt, L., Oct 2017, In : Proceedings of the ACM on Programming Languages. 1, OOPSLA, 52.

    Research output: Contribution to journalConference paper

  5. A Formal Approach to Cyber-Physical Attacks

    Lanotte, R., Merro, M., Muradore, R. & Vigano, L., 28 Sep 2017, In : 2017 IEEE 30th Computer Security Foundations Symposium (CSF). p. 436-450 15 p.

    Research output: Contribution to journalConference paper

  6. Intraoperative Organ Motion Models with an Ensemble of Conditional Generative Adversarial Networks

    Hu, Y., Gibson, E., Vercauteren, T., Ahmed, H. U., Emberton, M., Moore, C. M., Noble, J. A. & Barratt, D. C., 4 Sep 2017, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10434 LNCS, p. 368-376 9 p.

    Research output: Contribution to journalConference paper

  7. Exploring and Understanding Multicore Interference from Observable Factors

    Lesage, B., Griffin, D., Bate, I. & Soboczenski, F., 16 Jun 2017, In : Lecture Notes in Informatics. p. 75-88 13 p.

    Research output: Contribution to journalConference paper

  8. Modelling Homogeneous Generative Meta-programming

    Berger, M., Tratt, L. R. & Urban, C., 16 Jun 2017, In : Leibniz International Proceedings in Informatics, LIPIcs. 74, 23 p.

    Research output: Contribution to journalConference paper

  9. Approximately Efficient Two-Sided Combinatorial Auctions

    Colini-Baldeschi, R., Goldberg, P. W., Keijzer, B. D., Leonardi, S., Roughgarden, T. & Turchetta, S., Jun 2017, In : EC '17 Proceedings of the 2017 ACM Conference on Economics and Computation. p. 591-608

    Research output: Contribution to journalConference paper

  10. Dido & Belinda

    Leech-Wilkinson, D., Geyer, L. & Marchment, E., 28 Mar 2017

    Research output: Non-textual formPerformance

  11. Modulation of effective refractory period at the infarct border-zone provides a mechanism for focal arrhythmogenesis

    Connolly, A., Gawenda, P., Plank, G. & Bishop, M. J., 1 Mar 2017, In : Computing in Cardiology. 43, p. 929-932 4 p.

    Research output: Contribution to journalConference paper

  12. A predictive personalised model for the left atrium

    Corrado, C., Williams, S., Planck, G., O'Neill, M. & Niederer, S., 1 Jan 2017, In : Computing in Cardiology. 44, p. 1-4 4 p.

    Research output: Contribution to journalConference paper

  13. Axions, majorana neutrino masses and implications for the dark sector of the universe

    Mavromatos, N. E., 1 Jan 2017, In : Proceedings of Science. 318

    Research output: Contribution to journalConference paper

  14. Individual analysis of molecular brain imaging data through automatic identification of abnormality patterns

    Burgos, N., Samper-González, J., Bertrand, A., Habert, M. O., Ourselin, S., Durrleman, S., Cardoso, M. J. & Colliot, O., 1 Jan 2017, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10555 LNCS, p. 13-22 10 p.

    Research output: Contribution to journalConference paper

  15. On pattern selection for laparoscope calibration

    Thompson, S., Meurer, Y., Edwards, E., Ramalhinho, J., Robu, M. R., Stoyanov, D., Ourselin, S., Davidson, B., Hawkes, D. & Clarkson, M. J., 1 Jan 2017, In : PROCEEDINGS- SPIE THE INTERNATIONAL SOCIETY FOR OPTICAL ENGINEERING. 10135

    Research output: Contribution to journalConference paper

  16. Probabilistic models for integration error in the assessment of functional cardiac models

    Oates, C. J., Niederer, S., Lee, A., Briol, F. X. & Girolami, M., 1 Jan 2017, In : ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS. 2017-December, p. 110-118 9 p.

    Research output: Contribution to journalConference paper

  17. Short acquisition time PET quantification using MRI-based pharmacokinetic parameter synthesis

    Scott, C. J., Jiao, J., Cardoso, M. J., Melbourne, A., De Vita, E., Thomas, D. L., Burgos, N., Markiewicz, P., Schott, J. M., Hutton, B. F. & Ourselin, S., 1 Jan 2017, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10434 LNCS, p. 737-744 8 p.

    Research output: Contribution to journalConference paper

  18. Ultrasonic needle tracking with a fibre-optic ultrasound transmitter for guidance of minimally invasive fetal surgery

    Xia, W., Noimark, S., Ourselin, S., West, S. J., Finlay, M. C., David, A. L. & Desjardins, A. E., 1 Jan 2017, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10434 LNCS, p. 637-645 9 p.

    Research output: Contribution to journalConference paper

  19. A platform for quantifying atrial structural remodelling

    Razeghi, O., Karim, R., Whitaker, J., Tobon-Gomez, C. & Niederer, S., 2017, In : Computing in Cardiology. 44, p. 1-4 4 p.

    Research output: Contribution to journalConference paper

  20. Demonstration: Multi-agent system for distributed cache maintenance

    Kuppili Venkata, S., Musial, K., Mahmoud, S. & Keppens, J., 2017, In : Lecture Notes in Computer Science. 10349 LNCS, p. 364-368 5 p.

    Research output: Contribution to journalConference paper

  21. GTS Families for the Flexible Composition of Graph Transformation Systems

    Zschaler, S. & Durán, F., 2017, In : Lecture Notes in Computer Science. 10202, p. 208-225

    Research output: Contribution to journalConference paper

  22. The efficacy of class III anti-arrhythmic drugs in 3D canine atrial models: Is the blockade of IKCa pro- or anti-arrhythmic?

    Varela, M., Dar, P., Hancox, J. C. & Aslanidi, O. V., 2017, In : Computing in Cardiology. 44, p. 1-4 4 p.

    Research output: Contribution to journalConference paper

  23. Weakly Supervised Object Localization Using Things and Stuff Transfer

    Shi, M., Caesar, H. & Ferrari, V., 2017, In : 2017 IEEE International Conference on Computer Vision (ICCV). 1, p. 3401-3410

    Research output: Contribution to journalConference paper

  24. 2016
  25. Determining the feasibility of a physiotherapist-led pain management programme for Arab patients with low back pain in Bahrain

    Maki, D. M. A. K. E., Rajab, E., Watson, P. & Critchley, D. J., Dec 2016, In : PHYSIOTHERAPY. 102, Supplement 1, p. e190-e191

    Research output: Contribution to journalConference paper

  26. Real options theory in strategic management

    Trigeorgis, L. & Reuer, J. J., 15 Nov 2016, In : STRATEGIC MANAGEMENT JOURNAL. 38, 1, p. 42-63 22 p.

    Research output: Contribution to journalConference paper

  27. Rationale-Augmented Convolutional Neural Networks for Text Classification

    Zhang, Y., Marshall, I. J. & Wallace, B. C., Nov 2016, In : Proceedings of the Conference on Empirical Methods in Natural Language Processing (EMNLP). 2016, p. 795-804

    Research output: Contribution to journalConference paper

  28. A DCE-MRI imaging-based model for simulation of vascular tumour growth

    Roque, T., Kersemans, V., Smart, S., Allen, D., Schnabel, J. A. & Chappell, M., 13 Oct 2016, In : Conference proceedings : ... Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Conference. 2016-October, p. 5949-5952 4 p.

    Research output: Contribution to journalConference paper

  29. Longitudinal analysis of the preterm cortex using multi-modal spectral matching

    Orasanu, E., Bazin, P. L., Melbourne, A., Lorenzi, M., Lombaert, H., Robertson, N. J., Kendall, G., Weiskopf, N., Marlow, N. & Ourselin, S., 2 Oct 2016, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9900 LNCS, p. 255-263 9 p.

    Research output: Contribution to journalConference paper

  30. Optimisation of arterial spin labelling using bayesian experimental design

    Owen, D., Melbourne, A., Thomas, D., de Vita, E., Rohrer, J. & Ourselin, S., 2 Oct 2016, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9902 LNCS, p. 511-518 8 p.

    Research output: Contribution to journalConference paper

  31. Verified bidirectional transformations by construction

    Lano, K. & Yassipour-Tehrani, S., 2 Oct 2016, In : CEUR Workshop Proceedings. 1693, p. 28-37 10 p.

    Research output: Contribution to journalConference paper

  32. MeTMapS-Medical terminology mapping system

    Liang, S. F., Ethier, J-F., Porat, T., Tapuria, A., Delaney, B. C. & Curcin, V., 29 Sep 2016, In : CEUR Workshop Proceedings. 1692, 2 p., J.

    Research output: Contribution to journalConference paper

  33. Formal Analysis of Vulnerabilities of Web Applications Based on SQL Injection

    De Meo, F., Rocchetto, M. & Vigano, L., 17 Sep 2016, In : Lecture Notes in Computer Science. 9871, p. 179-195 16 p.

    Research output: Contribution to journalConference paper

  34. An empirical investigation of adaptive traffic control parameters

    Raphael, J., Sklar, E. I. & Maskell, S., 6 Sep 2016, In : CEUR Workshop Proceedings. 1678, 8 p.

    Research output: Contribution to journalConference paper

  35. Nonlinear dynamics and cavity cooling of levitated nanoparticles

    Aranas, E. B., Millen, J., Monteiro, T. S. & Barker, P. F., 1 Sep 2016, In : PROCEEDINGS- SPIE THE INTERNATIONAL SOCIETY FOR OPTICAL ENGINEERING.

    Research output: Contribution to journalConference paper

  36. Introducing EqArgSolver: An argumentation solver using equational semantics

    Rodrigues, O., 31 Aug 2016, In : CEUR Workshop Proceedings. 1672, p. 22-33 12 p.

    Research output: Contribution to journalConference paper

  37. Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory

    Copello, E., Tasistro, Á., Szasz, N., Bove, A. & Fernández, M., 14 Jul 2016, In : Electronic Notes in Theoretical Computer Science. 323, p. 109-124 16 p.

    Research output: Contribution to journalConference paper

  38. Strategic voting with incomplete information

    Endriss, U., Obraztsova, S., Polukarov, M. & Rosenschein, J. S., 9 Jul 2016, In : AAAI Press / International Joint Conferences on Artificial Intelligence.

    Research output: Contribution to journalConference paper

  39. Early life stress in bipolar patients: HPA axis response to GR and MR challenges

    Juruena, M. F., Jul 2016, In : Bipolar Disorders. 18, p. 94-94

    Research output: Contribution to journalConference paper

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

Export:RIS BibTex Word PDF - will at most contain 500 items

Refine results Clear filters

Language

Language

Publication year

Full text

Full text

Meeting and poster abstracts

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454