King's College London

Research portal

Research Outputs

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Pandey, C., Ibrahim, Z., Wu, H., Iqbal, E. & Dobson, R. J. B. 3 Jul 2017 Proceedings of the ACM International Conference on Digital Health. p. 67-71 4 p.

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

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

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

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

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

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

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

  24. Modelling Homogeneous Generative Meta-programming

    Berger, M., Tratt, L. R. & Urban, C. Jun 2017 European Conference on Object-Oriented Programming. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Vol. 74

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  37. Naval History and Naval Leaders

    Smith, J. W. E. 17 Mar 2017 US NAVAL WAR COLLEGE: EMC Chair Symposium: Sea Control and Foreign Policy . United States, 2 p. 1

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

  38. "Creating Cool Stuff" - Pupils' experience of the BBC micro:bit

    Sentance, S., Waite, J., Hodges, S., MacLeod, E. & Yeomans, L. E. 8 Mar 2017 Proceedings of the 48th ACM Technical Symposium on Computer Science Education: SIGCSE 2017.

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

  39. Optimizing Availability in CoMP and CA-enabled HetNets

    Jia, J., Deng, Y., Chen, J., Aghvami, A-H., Nallanathan, A. & Wang, X. 8 Mar 2017 IEEE Proceeding of ICC'2017. IEEE

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

  40. Professional Recognition Matters: Certification for In-service Computer Science Teachers

    Sentance, S. & Csizmadia, A. 8 Mar 2017 The 48th ACM Technical Symposium on Computing Science Education: SIGCSE 2017. Association for Computing Machinery, 6 p.

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

  41. Threads of Culture, Threads of Discourse: Keynote

    Tanner, S. G. 3 Mar 2017 Copyright and Cultural Memory: Digital Conference Proceedings.. Deazley, R. & Wallace, A. (eds.). Zenodo, p. 77-90

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

  42. Personalised biophysical model to optimize left ventricle pacing location for Cardiac Resynchronisation Therapy over time

    Lee, A., Sohal, M., Behar, J., Claridge, S., Shetty, A., Jackson, T., Hyde, E., Plank, G., Razavi, R., Lamata, P., Rinaldi, C. A. & Niederer, S. 1 Mar 2017 Computing in Cardiology. IEEE Computer Society Press, Vol. 43, p. 757-759 3 p. 7868853

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

  43. Ethnicité et maladies neurodégénératives: Journées de Neurologie de langue française 2017

    Marin, B. & Guerchet, M. Mar 2017 Revue Neurologique. Vol. 173, Supplement 2, p. S196-S197

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

  44. Prévalence des troubles du comportement chez les sujets âgés dépistes avec un trouble cognitif en Afrique centrale: Journées de Neurologie de langue française 2017

    Zohoun, I. Y., Nubukpo, P., Mbelesso, P., Bandzouzi, B., Dartigues, J-F., Preux, P-M. & Guerchet, M. Mar 2017 Revue Neurologique. Vol. 173, Supplement 2, p. S37

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

  45. Probe tracking and its application in automatic acquisition using a trans-esophageal ultrasound robot

    Wang, S., Singh, D., Lau, D., Reddy, K., Althoefer, K., Rhode, K. & Housden, R. J. 22 Feb 2017 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer‐Verlag Berlin Heidelberg, Vol. 10170 LNCS, p. 14-23 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10170 LNCS)

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

  46. Detection of Hidden Encrypted URL in Image Steganography

    Aljamea, M. M., Iliopoulos, C., Athar, T. & Samir Uzzaman, M. 19 Feb 2017 PATTERNS 2017. Athens, Greece: IARIA, p. 3-8 6 p.

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

  47. Is longer life really related to higher health care costs?: Cohort study using electronic health records in the UK.

    Hazra, N. C. 16 Feb 2017 London School of Economics (LSE) International Health Policy Conference.

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

  48. Deterministic versus Probabilistic Methods for Searching for an Evasive Target

    Bernardini, S., Fox, M., Long, D. & Piacentini, C. 13 Feb 2017 Proceedings of the Thirty-First AAI Conference on Artificial Intelligence. AAAI Press, p. 3709-3715 7 p.

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

  49. Nonlinear propagation of surface plasmon-polaritons in gold stripe waveguides

    Lavrinenko, A. V., Lysenko, O., Bache, M., Olivier, N. & Zayats, A. V. 10 Feb 2017 Proceedings of the International Conference on Advanced Optoelectronics and Lasers, CAOL. IEEE Computer Society Press, p. 179-180 2 p. 7851419

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

  50. A novel stabilization condition for T-S polynomial fuzzy system with time-delay: A sum-of-squares approach

    Tsai, S. H., Chen, Y. A., Chen, Y. W., Lo, J. C. & Lam, H. K. 9 Feb 2017 2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016 - Conference Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 1555-1560 6 p. 7844460

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

  51. Active and healthy ageing for Parkinson's disease patients' support: A user's perspective within the i-PROGNOSIS framework

    Hadjidimitriou, S. , Charisis, V. , Kyritsis, K. , Konstantinidis, E. , Delopoulos, A. , Bamidis, P. , Bostantjopoulou, S. , Rizos, A. , Trivedi, D. , Ray Chaudhuri, K. , Klingelhoefer, L. , Reichmann, H. , Wadoux, J. , De Craecker, N. , Karayiannis, F. , Fagerberg, P. , Ioakeimidis, I. , Stadtschnitzer, M. , Esser, A. , Grammalidis, N. & 7 others Dimitropoulos, K., Dias, S. B., Diniz, J. A., Da Silva, H. P., Lyberopoulos, G., Theodoropoulou, E. & Hadjileontiadis, L. J. 8 Feb 2017 TISHW 2016 - 1st International Conference on Technology and Innovation in Sports, Health and Wellbeing, Proceedings. Institute of Electrical and Electronics Engineers Inc., 7847785

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

Previous 1 2 3 4 5 6 7 8 ...87 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