King's College London

Research portal

Research Outputs

  1. 2017
  2. A Process for Integrating Agile Software Development and Model-driven Development

    Alfraihi, H. A. A. & Lano, K. C. 10 Dec 2017 3rd Flexible MDE workshop: ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017). Austin, USA, Vol. 2019, p. 412-417

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

  3. Practical Aspects of the Integration of Agile Development and Model-driven Development: An Exploratory

    Alfraihi, H. A. A. & Lano, K. C. 10 Dec 2017 3rd Flexible MDE wrokshop: ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017). Austin, USA, Vol. 2019, p. 399-404

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

  4. Massive MIMO-enabled HetNets with Full Duplex Small Cells

    Akbar, S., Deng, Y., Nallanathan, A., Elkashlan, M. & Karagiannidis, G. K. 4 Dec 2017 IEEE Global Communication Conference 2017 (GLOBECOM).

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

  5. A Note on the Sense and Scope of 'Autonomy' in Emerging Military Weapon Systems

    Homayounnejad, M. 13 Nov 2017 Autonomy in Future Military and Security Technologies: Implications for Law, Peace, and Conflict: Research Article Compendium. Hughes, J. (ed.). Lancaster: Richardson Institute, p. 55-72 18 p.

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

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

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

  8. Conversations on living and dying: facilitating advance care planning for older people with frailty

    Combes, S., Nicholson, C., Gillett, K. & Norton, C. Nov 2017 BMJ Supportive & Palliative Care. UK: BMJ and BMJ Publishing, Vol. 7, p. A16 1 p.

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

  9. Modelling Textuality: A Material Culture Framework

    Ciula, A. Nov 2017 Advances in Digital Scholarly Editing: Papers presented at the DiXiT conferences in The Hague, Cologne, and Antwerp. Boot, P., Cappellotto, A., Dillen, W., Fischer, F., Kelly, . A., Mertgens, A., Sichani, A-M., Spadini, E. & Van Hulle, D. (eds.). Sidestone Press

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

  10. Simulating and Reconstructing Neurodynamics with Epsilon-Automata Applied To Electroencephalography (EEG) Microstate Sequences

    Nehaniv, C. & Antonova, E. Nov 2017 Simulating and Reconstructing Neurodynamics with Epsilon-Automata Applied to Electroencephalography (EEG) Microstate Sequences.. Proceedings of the IEEE Symposium on Computational Intelligence, Cognitive Algorithms, Mind, and Brain (IEEE CCMB'17) : I E E E, Vol. 2017, p. 1753-1761 (IEEE Symposium Series on Computational Intelligence, 27 November - 1 December 2017, Honolulu, Hawaii, U.S.A.)

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

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

  12. Overcoming material limitations of nonlinear dynamics using metamaterial resonances

    Nicholls, L. H., Rodriguez Fortuno, F. J., Nasir, M. E., Olivier, N. A. H., Wurtz, G. A. & Zayats, A. 30 Oct 2017 Lasers and Electro-Optics Europe & European Quantum Electronics Conference (CLEO/Europe-EQEC, 2017 Conference on). IEEE

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

  13. European newspaper reports of non-communicable disease research, 2002-13

    Pallari, E. 23 Oct 2017 ISSI-International Conference on Scientometrics & Informetrics. p. 602-613

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

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

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

  16. Virtual Machine Warmup Blows Hot and Cold

    Barrett, E., Bolz, C. F., Mount, S., Killick, R. & Tratt, L. R. 12 Oct 2017 OOPSLA.

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

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

  18. Most common fixes students use to improve the correctness of their programs

    de Souza, D., Kölling, M. & Barbosa, E. F. 1 Oct 2017 2017 IEEE Frontiers in Education Conference Proceedings (FIE). IEEE, 9 p.

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

  19. A Formal Approach to Cyber-Physical Attacks

    Lanotte, R., Merro, M., Muradore, R. & Vigano, L. 28 Sep 2017 Proceedings - IEEE 30th Computer Security Foundations Symposium, CSF 2017. IEEE Computer Society Press, p. 436-450 15 p. 8049737

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

  20. Data Painter: A Tool for Colormap Interaction.

    Borgo, R., Jones, M. W. & Nagoor, O. H. 16 Sep 2017 Proceedings Computer Graphics and Visual Computing (CGVC) 2017. The Eurographics Association, p. 69-76 8 p.

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

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

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

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

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

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

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

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

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

  29. The role of presentation order and orientation on information search evaluations: An eye-tracking study

    Heard, C. L., Rakow, T. & Foulsham, T. 29 Jul 2017 Proceedings of the 39th Annual Conference of the Cognitive Science Society. p. 2174-2179 6 p.

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

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

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

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

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

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

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

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

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

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

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

  39. 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, p. 1343-1348 6 p. 8009435

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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