King's College London

Research portal

Research Outputs

  1. 2017
  2. Computing Teachers’ Perspectives on Threshold Concepts: Functions and Procedural Abstraction

    Kallia, M. & Sentance, S. 10 Nov 2017 Proceedings of the 12th Workshop in Primary and Secondary Computing Education: WIPSCE '17.

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

  3. Teaching with physical computing devices: the BBC micro:bit initiative

    Sentance, S., Waite, J., MacLeod, E. & Yeomans, L. E. 8 Nov 2017 Proceedings of 12th Workshop in Primary and Secondary Computing Education: WIPSCE '17.

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

  4. Uplink Sum-Rate Analysis of C-RAN With Interconnected Radio Units

    Park, S-H., Simeone, O. & Shamai, S. Nov 2017 2017 IEEE Information Theory Workshop (ITW). 5 p.

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

  5. Fast plurality consensus in regular expanders

    Cooper, C., Radzik, T., Rivera, N. & Shiraga, T. 17 Oct 2017 31st International Symposium on Distributed Computing, DISC 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 91

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

  6. ‘The Abolishment of the British Admiralty and Its Correlation with Reform of the United States Department of the Navy 1945-1964.’

    Smith, J. W. E. 15 Oct 2017 McMullen Naval History Symposium 2017..

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

  7. Dynamic field mapping and motion correction using interleaved double spin-echo diffusion MRI

    Hutter, J., Christiaens, D., Kuklisova-Murgasova, M., Cordero-Grande, L., Slator, P., Price, A., Rutherford, M. & Hajnal, J. V. 1 Oct 2017 Lecture Notes in Computer Science - MICCAI 2017. Vol. 10433 LNCS, p. 523-531 8 p.

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

  8. On the links between argumentation-based reasoning and nonmonotonic reasoning

    Li, Z., Oren, N. & Parsons, S. 19 Aug 2017 The 2017 International Workshop on Theory and Applications of Formal Argument. Springer‐Verlag Berlin Heidelberg

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

  9. Invisible Security

    Bella, G., Christianson, B. & Vigano, L. 17 Aug 2017 Security Protocols XXIV : 24th International Workshop, Brno, Czech Republic, April 7-8, 2016, Revised Selected Papers. Springer‐Verlag Berlin Heidelberg, Vol. Lecture Notes in Computer Science 10368, p. 1-9 9 p.

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

  10. Theory Refinement for Program Verification

    Hyyvarinen, A., Asadi, S., Even Mendoza, K., Fedyukovich, G., Chockler, H. & Sharygina, N. 9 Aug 2017 20th International Conference on Theory and Applications of Satisfiability Testing (SAT). Springer, Vol. 10491, p. 347-363

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

  11. A novel reliable routing scheme for Tactile-oriented Internet traffic

    Farhoudi, M. H., Palantas, P., Abrishamchi, B., Mihailovic, A. & Aghvami, A-H. 3 Aug 2017 International Conference on Telecommunications : ICT 2017, Limassol, Cyprus. IEEE, 7 p.

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

  12. Deconvolution of the Glottal Pulse Using a Finite-Difference Solution of the Acoustical Klein-Gordon Equation

    Kalsi, H. S., Pike, E. R. & Cvetkovic, Z. Aug 2017 22nd International Conference on Digital Signal Processing. p. 1-5 5 p.

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

  13. Network slicing in 5G: An auction-based model

    Jiang, M., Condoluci, M. & Mahmoodi, T. 31 Jul 2017 2017 IEEE International Conference on Communications. IEEE, 7996490

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

  14. QoS-driven function placement reducing expenditures in NFV deployments

    Vozarreta, P., Condoluci, M., Mas Machuca, C., Mahmoodi, T. & Kellerer, W. 31 Jul 2017 2017 IEEE International Conference on Communications. IEEE, 7996513

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

  15. Robust beamforming for secrecy rate in cooperative cognitive radio multicast communications

    Nguyen, V-D., Duong, T. Q., Shin, O-S., Nallanathan, A. & Karagiannidis, G. K. 31 Jul 2017 IEEE Proceeding of ICC'2017. IEEE, 6 p.

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

  16. Improved Cover Time Bounds for the Coalescing-Branching Random Walk on Graphs

    Cooper, C. D., Radzik, T. & Rivera Aburto, N. A. 24 Jul 2017 Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures. ACM New York, NY, USA, p. 305-312 8 p.

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

  17. Learning task constraints in operational space formulation

    Lin, H. C., Ray, P. & Howard, M. 24 Jul 2017 2017 IEEE International Conference on Robotics and Automation (ICRA). IEEE, p. 309-315 7 p. 7989039

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

  18. Variable Stiffness Link (VSL): Toward inherently safe robotic manipulators

    Stilli, A., Grattarola, L., Feldmann, H., Wurdemann, H. A. & Althoefer, K. 24 Jul 2017 2017 IEEE International Conference on Robotics and Automation (ICRA). IEEE, Vol. 2017, p. 4971-4976 6 p.

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

  19. Measuring the Effects of Communication Quality on Multi-robot Team Performance

    Zhivkov, T., Schneider, E. & Sklar, E. 20 Jul 2017 Towards Autonomous Robotic Systems - 18th Annual Conference, TAROS 2017, Proceedings. Springer Verlag, Vol. 10454 LNAI, p. 408-420 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10454 LNAI)

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

  20. Mechanics of Continuum Manipulators, A Comparative Study of Five Methods with Experiments

    Sadati, S. M. H., Naghibi, S. E., Shiva, A., Walker, I. D., Althoefer, K. & Nanayakkara, T. 20 Jul 2017 Conference Towards Autonomous Robotic Systems. Surrey, UK: SPRINGER, Vol. 10454, p. 689-702

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

  21. Mechanism Selection for Multi-Robot Task Allocation

    Schneider, E., Sklar, E. I. & Parsons, S. 20 Jul 2017 Towards Autonomous Robotic Systems. Springer‐Verlag Berlin Heidelberg, Vol. 10454, p. 421-435

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

  22. Towards Automated Strawberry Harvesting: Identifying the Picking Point

    Huang, Z., Wane, S. & Parsons, S. 20 Jul 2017 Towards Autonomous Robotic Systems. Springer‐Verlag Berlin Heidelberg, p. 222-236

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

  23. 5G Case Study of Internet of Skills: Slicing the Human Senses

    Lema Rosas, M. A., Antonakoglou, K., Sardis, F., Sornkarn, N., Condoluci, M., Mahmoodi, T. & Dohler, M. 17 Jul 2017 European Conference on Networks and Communications (EuCNC).

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

  24. A stochastic geometry approach for analysing secrecy rate of multi-power level CRNs

    Khomejani, S., Nguyen, H. X., Nallanathan, A. & Aghvami, H. 17 Jul 2017 2017 14th IEEE Annual Consumer Communications and Networking Conference, CCNC 2017. Institute of Electrical and Electronics Engineers Inc., p. 916-921 6 p. 7983255. ( Consumer Communications & Networking Conference (CCNC), 2017 14th IEEE Annual)

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

  25. Embroidered archimedean spiral electrodes for contactless prosthetic control

    Mangezi, A., Rosendo, A., Howard, M. J. W. & Stopforth, R. 17 Jul 2017 The 15th IEEE Conference on Rehabilitation Robotics (ICORR 2017). London: IEEE

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

  26. Improving RNN with Attention and Embedding for Adverse Drug Reactions

    Pandey, C., Ibrahim, Z., Wu, H., Iqbal, E. & Dobson, R. 2 Jul 2017 Proceedings of the ACM International Conference on Digital Health. Association for Computing Machinery, Vol. Part F128634, p. 67-71 5 p.

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

  27. Cortico-muscular coherence enhancement via coherent Wavelet enhanced Independent Component Analysis

    Xu, Y., McClelland, V. M., Cvetkovic, Z. & Mills, K. R. Jul 2017 2017 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). IEEE, p. 2786-2789

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

  28. Where eagles dare

    Roueche, C. M. Jul 2017 Digital and Traditional Epigraphy in Context: Proceedings of the EAGLE 2016 International Conference. Orlandi, S., Santucci, R., Mambrini, F. & Liuzzo, P. (eds.). Rome: DIGILAB Sapienza University TEI Consortium, Vol. 36, p. 12-16 5 p. (Antichistica; vol. 36)

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

  29. A Formal Approach to Exploiting Multi-Stage Attacks based on File-System Vulnerabilities of Web Applications

    De Meo, F. & Vigano, L. 24 Jun 2017 International Symposium on Engineering Secure Software and Systems. Springer‐Verlag Berlin Heidelberg, p. 196-212

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

  30. A Topological Categorization of Agents for the Definition of Attack States in Multi-Agent Systems

    Santacà, K., Cristani, M., Rocchetto, M. & Vigano, L. 23 Jun 2017 Proceedings of EUMAS 2016. Vol. 10207, p. 261-276

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

  31. ERGO: A FRAMEWORK FOR THE DEVELOPMENT OF AUTONOMOUS ROBOTS

    Ocón, J., Delfa, J. M., Medina, A., Lachat, D., Marc, R., Woods, M., Wallace, I., Coles, A. I., Coles, A. J., Long, D., Keller, T., Helmert, M. & Bensalem, S. 20 Jun 2017 Proceedings of the 14th Symposium on Advanced Space Technologies in Robotics and Automation (ASTRA).

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

  32. A Temporal Relaxed Planning Graph Heuristic for Planning With Envelopes

    Coles, A. & Coles, A. 18 Jun 2017 Proceedings of the 27th International Conference on Automated Planning and Scheduling, ICAPS 2017. AAAI Press, p. 47-55 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS)

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

  33. Enhanced sparse Bayesian learning-based channel estimation for massive MIMO-OFDM systems

    Al-Salihi, H. Q. K., Nakhai, M. R. & Le, T. A. 15 Jun 2017 2017 European Conference on Networks and Communications (EuCNC): EuCNC 2017 Travel Grant Support. Oulu, Finland

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

  34. The challenges of hydrogen and metals

    Paxton, A. T., Sutton, A. & Finnis, M. 12 Jun 2017 Philosophical Transactions of the Royal Society A. 2098 ed. London: Royal Society, Vol. 375, 8 p.

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

  35. A survey of model transformation design pattern usage

    Lano, K., Kolahdouz-Rahimi, S., Yassipour-Tehrani, S. & Sharbaf, M. 1 Jun 2017 Theory and Practice of Model Transformation - 10th International Conference, ICMT 2017 Held as Part of STAF 2017, Proceedings. Springer Verlag, Vol. 10374 LNCS, p. 108-118 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10374 LNCS)

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

  36. Feasibility of enhancing PET-MR atlas-based attenuation correction using joint reconstruction of activity and attenuation

    Mehranian, A., Zaidi, H., Hammers, A. & Reader, A. J. 30 May 2017 PSMR conference.

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

  37. MR-assisted low dose PET image reconstruction

    Mehranian, A., McGinnity, C. J., Prieto Vasquez, C., Hammers, A. & Reader, A. J. 29 May 2017 PSMR Conference.

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

  38. Sparse bayesian non-linear regression for multiple onsets estimation in non-invasive cardiac electrophysiology

    Giffard-Roisin, S., Delingette, H., Jackson, T., Fovargue, L., Lee, J., Rinaldi, A., Ayache, N., Razavi, R. & Sermesant, M. 23 May 2017 Functional Imaging and Modelling of the Heart - 9th International Conference, FIMH 2017, Proceedings. Springer Verlag, Vol. 10263 LNCS, p. 230-238 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10263 LNCS)

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

  39. Downlink Data Rate Analysis of 5G-U (5G on Unlicensed Band): Coexistence for 3GPP 5G and IEEE802.11ad WiGig

    Lu, X., Lema Rosas, M. A., Mahmoodi, T. & Dohler, M. 22 May 2017 European Wireless 2017. 1 ed. Berlin: VDE VERLAG GMBH, Vol. 23, p. 149-154 417 p. 6

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

  40. On the feasibility of MAC and PHY split in Cloud RAN

    Mountaser, G., Lema Rosas, M. A., Mahmoodi, T. & Dohler, M. 11 May 2017 IEEE Wireless Communications and Networking Conference. IEEE, 7925770

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

  41. A predictive patient specific model for the human atrium

    Corrado, C., Williams, S., Plank, G., O'Neill, M. & Niederer, S. May 2017 CMBE 2017 Proceedings. Nithiarasu, P. & Robertson, A. (eds.). Vol. 2, p. 972-975 4 p. (CMBE series; vol. 2017, no. 2)

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

  42. Photo Privacy Conflicts in Social Media: A Large-scale Empirical Study

    Such, J. M., Porter, J., Preibusch, S. & Joinson, A. May 2017 ACM Conference on Human Factors in Computing Systems (CHI). p. 3821-3832

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

  43. HiFrog: SMT-based Function Summarization for Software Verification

    Alt, L., Asadi, S., Chockler, H., Even Mendoza, K., Fedyukovich, G., Hyvärinen, A. E. J. & Sharygina, N. 24 Apr 2017 Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II. Springer, Vol. 10206, p. 207-213 7 p.

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

  44. A simple optimisation approach to making time efficient VERSE-multiband pulses feasible on non-ideal gradients

    Abo Seada, S., Hajnal, J. V. & Malik, S. J. 20 Apr 2017 A simple optimisation approach to making time efficient VERSE-multiband pulses feasible on non-ideal gradients. 5059

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

  45. Root-flipped multiband pulses with inherently aligned echoes

    Abo Seada, S., Hajnal, J. V. & Malik, S. J. 20 Apr 2017 Root-flipped multiband pulses with inherently aligned echoes. 3955

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

  46. Development of a computational model to understand the mechanistic link between midwall fibrosis and arrhythmic risk in non-ischemic dilated cardiomyopathy

    Balaban, G., Bishop, M., Plank, G., Rinaldi, C. A., Halliday, B. & Prasad, S. K. 10 Apr 2017 CMBE 2017 Proceedings Vol. 2.

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

  47. Development of a Solution for OLED Display Smartphones for Pilot Training in Low-Visibility Flight Scenarios

    Russomano, T., Maiate, F., Meira da Silva Schirmer, N., S G da Rosa, M., de Carvalho Castro, J. & César Marques de Lima, J. 5 Apr 2017 Journal of the International Society for Telemedicine and eHealth: Global Telemedicine and eHealth Updates. Knowledge Resources. Vol. 5, 3 p.

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

  48. Telemedicine as a Health Promotion Tool: A Multidisciplinary Vision

    S G da Rosa, M., Russomano, T., Araújo dos Santos, M., Escobal, F. C., Lamadrid, I. G., M da Rosa, . M. & OLIVEIRA, H. W. 5 Apr 2017 JOURNAL OF THE INTERNATIONAL SOCIETY FOR TELEMEDICINE AND EHEALTH: Global Telemedicine and eHealth Updates. Knowledge Resources. Vol. 5, 4 p.

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

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

    Zschaler, S. & Durán, F. 22 Mar 2017 20th International Conference on Fundamental Approaches to Software Engineering (FASE). Springer‐Verlag Berlin Heidelberg, Vol. 10202, p. 208-225 (Lecture Notes in Computer Science)

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

  50. Asynchronous full-duplex cognitive radio

    Towhidlou, V. & Bahaei, M. S. 17 Mar 2017 IEEE Vehicular Technology Conference. Institute of Electrical and Electronics Engineers Inc., 7880911

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

  51. Bio-Inspired Resource Allocation for Relay-Aided Device-to-Device Communications

    Vlachos, C., Elshaer, H., Chen, J., Friderikos, V. & Dohler, M. 17 Mar 2017 IEEE Vehicular Technology Conference (VTC Fall). IEEE, 6 p.

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

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

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

Refine results Clear filters

Language

Language

Publication year

Publication year

Full text

Full text

Meeting and poster abstracts

Meeting and poster abstracts

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