King's College London

Research portal

Research Outputs

  1. 2018
  2. Haptic Information Gain in Remote Soft Tissue Examination Using a Controllable Stiffness Robotic Probe

    Weheliye, A., Sornkarn, N., Dasgupta, P. & Nanayakkara, T., 1 Dec 2018, 2018 IEEE 9th International Conference on Information and Automation for Sustainability, ICIAfS 2018. Institute of Electrical and Electronics Engineers Inc., 8913340

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

  3. Bottleneck patterns in provenance

    Boutamina, S., Millington, J. D. A. & Miles, S., 6 Sep 2018, Provenance and Annotation of Data and Processes - 7th International Provenance and Annotation Workshop, IPAW 2018, Proceedings. Springer Verlag, p. 212-216 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11017 LNCS).

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

  4. 2016
  5. Towards safer obstacle avoidance for continuum-style manipulator in dynamic environments

    Rizqi, A., Qi, P., Shiva, A., Shafti, A., Wurdemann, H., Dasgupta, P. & Althoefer, K., 28 Jul 2016, Proceedings of the IEEE RAS and EMBS International Conference on Biomedical Robotics and Biomechatronics. IEEE Computer Society Press, Vol. 2016-July. p. 600-605 6 p. 7523691

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

  6. Cooperation emergence under resource-constrained peer punishment

    Mahmoud, S., Miles, S. & Luck, M., 2016, Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2016. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 900-908 9 p.

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

  7. Reputation-based Provider Incentivisation for Provenance Provision

    Barakat, L., Mahmoud, S., Taylor, P., Griffiths, N. & Miles, S., 2016, AAMAS 2016 - Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 1429-1430 2 p.

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

  8. 2015
  9. Incorporating Mitigating Circumstances into Reputation Assessment

    Miles, S. & Griffiths, N., 15 Nov 2015, Advances in Social Computing and Multiagent Systems. Vol. 541. p. 77-93

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

  10. Quantitative analysis of Multiagent systems through statistical model checking

    Herd, B., Miles, S., McBurney, P. & Luck, M., 15 Nov 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag Berlin Heidelberg, Vol. 9318. p. 109-130 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9318).

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

  11. A Context-aware Approach for Personalised and Adaptive QoS Assessments

    Barakat, L., Taweel, A., Luck, M. & Miles, S., Nov 2015, Proceeding of the 13th International Conference on Service Oriented Computing: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 9435. p. 362-370 9 p.

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

  12. Norm establishment constrained by limited resources

    Mahmoud, S., Miles, S., Taweel, A., Delaney, B. & Luck, M., May 2015, Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 3. p. 1819-1820 2 p.

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

  13. Modelling and Analysing Provenance Awareness Infrastructure for SOC systems

    Zerva, P., Zschaler, S. & Miles, S., Apr 2015, Service-Oriented System Engineering (SOSE), 2015 IEEE Symposium on. IEEE, Vol. 1. p. 40-49 10 p.

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

  14. Reliability-Aware marketplace for food services

    Barakat, L., Barrera, J. C., Charvill, J., Rivas, S., Sanchez, V., Taweel, A. & Miles, S., 10 Mar 2015, eChallenges e-2014 Conference. Institute of Electrical and Electronics Engineers Inc., 7058149

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

  15. Approximate verification of swarm-based systems: a vision and preliminary results

    Herd, B. C., Miles, S., McBurney, P. J. & Luck, M. M., 2015, Engineering Systems for Safety: Proceedings of the 23rd Safety-critical Systems Symposium. Createspace

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

  16. Context-driven Assessment of Provider Reputation in Composite Provision Scenarios

    Barakat, L., Taylor, P., Griffiths, N. & Miles, S., 2015, Proceeding of the 13th International Conference on Service Oriented Computing. Springer, p. 53-67 15 p.

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

  17. MC2MABS: A Monte Carlo Model Checker for Multiagent-based Simulations

    Herd, B. C., Miles, S., McBurney, P. J. & Luck, M. M., 2015, Multi-Agent-Based Simulation XVI: Proceedings of the Sixteenth International Workshop on Multi-Agent-Based Simulation (MABS 2015). Springer, Vol. 9586. (Lecture Notes in Computer Science).

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

  18. Monitoring hierarchical agent-based simulation traces

    Herd, B., Miles, S., McBurney, P. & Luck, M., 2015, Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 1. p. 463-471 9 p.

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

  19. 2014
  20. An Industrial Case Study on Provenance Awareness of Composite Services

    Zerva, P., Hamadache, K., Angouras, G., Zschaler, S. & Miles, S., Aug 2014, Semantics, Knowledge and Grids (SKG), 2014 10th International Conference on. Institute of Electrical and Electronics Engineers Inc., Vol. 1. 14761190

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

  21. Monitoring the Impact of Norms upon Organisational Performance: A Simulation Approach

    Haynes, C., Miles, S. & Luck, M., 4 Jun 2014, Coordination, Organizations, Institutions and Norms in Agent Systems IX. Balke, T., Chopra, A., Dignum, F. & van Riemsdijk, B. (eds.). Springer, p. 103-119 17 p.

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

  22. Verification and validation of agent-based simulations using approximate model checking

    Herd, B., Miles, S., McBurney, P. & Luck, M., 1 Apr 2014, Multi-Agent-Based Simulation XIV: International Workshop, MABS 2013, Saint Paul, MN, USA, May 6-7, 2013, Revised Selected Papers. Alam, S. J. & Parunak, H. V. D. (eds.). Springer-Verlag Berlin Heidelberg, Vol. 8235 LNAI. p. 53-70 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8235 LNAI).

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

  23. A distributed service-based system for homecare self-management

    Taweel, A., Barakat, L. & Miles, S., 1 Jan 2014, On the Move to Meaningful Internet Systems: OTM 2014 Workshops: Confederated International Workshops: OTM Academy, OTM Industry Studies Program, C&TC, EI2N, INBAST, ISDE, META4eS, MSC and OnToContent 2014, Amantea, Italy, October 27-31, 2014. Proceedings. Meersman, R., Panetto, H., Mishra, A., Valencia-Garcia, R., Lucas Soares, A., Ciuciu, I., Ferri, F., Weichhart, G., Moser, T., Bezzi, M. & Chan, H. (eds.). Springer Berlin Heidelberg, p. 361-366 6 p. (Lecture Notes in Computer Science; vol. 8842).

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

  24. An agent-based service marketplace for dynamic and unreliable settings

    Barakat, L., Mahmoud, S., Miles, S., Taweel, A. & Luck, M., 1 Jan 2014, Service-Oriented Computing: 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014. Proceedings. Franch, X., Ghose, A. K., Lewis, G. A. & Bhiri, S. (eds.). Springer Berlin Heidelberg, p. 169-183 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8831).

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

  25. Multi-agent system for recruiting patients for clinical trials

    Mahmoud, S., Tyson, G., Miles, S., Taweel, A., Vanstaa, T., Luck, M. & Delaney, B., 1 Jan 2014, AAMAS '14: Proceedings of the 2014 International Conference on Autonomous Agents and Multiagent Systems. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 2. p. 981-988 8 p.

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

  26. A Provenance Model of Composite Services in Service-Oriented Environments

    Zerva, P., Zschaler, S. & Miles, S., 2014, Proc. 8th IEEE Int'l Symposium on Service-Oriented System Engineering (SOSE 2014).

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

  27. Information-based Incentivisation when Rewards are Inadequate

    Mahmoud, S., Barakat, L., Miles, S., Taweel, A., Delaney, B. & Luck, M., 2014, Frontiers in Artificial Intelligence and Applications. IOS Press, Vol. 263. p. 591-596 6 p. (Frontiers in Artificial Intelligence and Applications; vol. 263).

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

  28. Negotiation to execute continuous long-term tasks

    Haberland, V., Miles, S. & Luck, M., 2014, Frontiers in Artificial Intelligence and Applications. IOS Press, Vol. 263. p. 1019-1020 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 263).

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

  29. Pattern-based explanation for automated decisions

    Nunes, I., Miles, S., Luck, M., Barbosa, S. & Lucena, C., 2014, Frontiers in Artificial Intelligence and Applications. IOS Press, Vol. 263. p. 669-674 6 p. (Frontiers in Artificial Intelligence and Applications; vol. 263).

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

  30. The granular jamming integrated actuator

    Jiang, A., Adejokun, S., Faragasso, A., Althoefer, K., Nanayakkara, T. & Dasgupta, P., 2014, 2014 International Conference on Advanced Robotics and Intelligent Systems, ARIS 2014. IEEE Computer Society Press, p. 12-17 6 p.

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

  31. 2013
  32. Provenance-aware pervasive computing in clinical applications

    Kovalchuk, Y., Chen, Y., Miles, S., Liang, S. F. & Taweel, A., 1 Dec 2013, 2013 IEEE 9th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob). IEEE, p. 297-302 6 p. 6673376

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

  33. Agent-oriented software engineering of distributed ehealth systems

    Taweel, A., Garcia, E., Miles, S. & Luck, M., 5 Nov 2013, On the Move to Meaningful Internet Systems: OTM 2013 Workshops: Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS, and SOMOCO 2013, Graz, Austria, September 9 - 13, 2013, Proceedings. Demey, Y. T. & Panetto, H. (eds.). Springer Berlin Heidelberg, p. 332-341 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8186 LNCS).

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

  34. A Two Party Haptic Guidance Controller Via a Hard Rein

    Dissanayake Mudiyanselage, A., Penders, J., Dasgupta, P., Althoefer, K. & Nanayakkara, T., 4 Nov 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) . Tokyo, Japan, p. 116 122 p.

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

  35. An optimal state dependent haptic guidance controller via a hard rein

    Ranasinghe, A., Althoefer, K., Nanayakkara, T., Penders, J. & Dasgupta, P., Oct 2013, Proceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013. IEEE, p. 2322-2327 6 p. 6722150

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

  36. Evaluating manual palpation trajectory patterns in tele-manipulation for soft tissue examination

    Konstantinova, J., Li, M., Aminzadeh, V., Althoefer, K., Nanayakkara, T. & Dasgupta, P., Oct 2013, Proceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013. IEEE, p. 4190-4195 6 p. 6722467

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

  37. Analysing the suitability of multiagent methodologies for e-health systems

    Garcia, E., Tyson, G., Miles, S., Luck, M., Taweel, A., Van Staa, T. & Delaney, B., 5 Sep 2013, Agent-Oriented Software Engineering XIII : 13th International Workshop, AOSE 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers. Muller, J. P. & Cossentino, M. (eds.). Springer Berlin Heidelberg, p. 134-150 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7852 LNCS).

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

  38. Granular jamming with hydraulic control

    Jiang, A., Aste, T., Dasgupta, P., Althoefer, K. & Nanayakkara, T., 8 Aug 2013, Proceedings of the ASME Design Engineering Technical Conference. American Society of Mechanical Engineers, Vol. 6 A. 7 p. V06AT07A021

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

  39. An SOA-based Platform for Automating Clinical Trial Feasibility Study

    Chen, Y., Bache, R., Miles, S., Cuggia, M., Soto-Rey, I. & Taweel, A., Jul 2013, Proceedings of the IADIS International conference e-Health 2013. Macedo, M. (ed.). Prague: IADIS, p. 84-94 8 p.

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

  40. An Architecture for Justified Assessments of Service Provider Reputation

    Griffiths, N. & Miles, S., 2013, 2013 IEEE 10th International Conference on e-Business Engineering (ICEBE). N/A ed. N/A: IEEE, Vol. N/A. p. 345-352 11 p.

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

  41. Granular Jamming Transitions for a Robotic Mechanism

    Jiang, A., Aste, T., Dasgupta, P., Althoefer, K. & Nanayakkara, T., 2013, POWDERS AND GRAINS 2013: Proceedings of the 7th International Conference on Micromechanics of Granular Media. Yu, A., Dong, K., Yang, R. & Luding, S. (eds.). MELVILLE: Amer Inst Physics, p. 385-388 4 p. (AIP Conference Proceedings; vol. 1542).

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

  42. Towards Design Support for Provenance Awareness: A Classification of Provenance Questions

    Zerva, P., Zschaler, S. & Miles, S., 2013, Proc. Int'l Workshop on Managing and Querying Provenance Data at Scale (BIGProv'13).

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

  43. Towards a general model for adapting structure while maintaining topology: Pipelines

    Shaw, M., Keppens, J., Luck, M. & Miles, S., 2013, Coordination, Organizations, Institutions, and Norms in Agent Systems VIII: 14th International Workshop, COIN 2012, Held Co-located with AAMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers. Aldewereld, H. & Sichman, J. S. (eds.). Springer Berlin Heidelberg, Vol. 7756 LNAI. p. 174-191 18 p. (Lecture Notes in Computer Science ; vol. 7756 LNAI).

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

  44. 2012
  45. Efficient correlation-aware service selection

    Barakat, L., Miles, S. & Luck, M., 24 Sep 2012, 2012 IEEE 19th International Conference on Web Services. Goble, C., Chen, P. & Zhang, J. (eds.). IEEE, p. 1-8 8 p.

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

  46. Reactive service selection in dynamic service environments

    Barakat, L., Miles, S. & Luck, M., 14 Sep 2012, Service-Oriented and Cloud Computing: First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings. De Paoli, F., Pimentel, E. & Zavattaro, G. (eds.). Springer Berlin Heidelberg, p. 17-31 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7592 LNCS).

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

  47. A Trace-Driven Analysis of Caching in Content-Centric Networks

    Tyson, G., Kaune, S., Miles, S., El-khatib, Y., Mauthe, A. & Taweel, A., 2012, 2012 21st International Conference on Computer Communications and Networks (ICCCN). Piscataway, N.J.: IEEE, 7 p.

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

  48. Design of a Variable Stiffness Flexible Manipulator with Composite Granular Jamming and Membrane Coupling

    Jiang, A., Xynogalas, G., Dasgupta, P., Althoefer, K. & Nanayakkara, T., 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE, p. 2922-2927 6 p.

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

  49. Dynamically Adapting BDI Agents Based on High-Level User Specifications

    Nunes, I., Luck, M., Junqueira Barbosa, S. D., Miles, S. & de Lucena, C. J. P., 2012, Advanced Agent Technology: AAMAS 2011 Workshops, AMPLE, AOSE, ARMS, DOCM3AS, ITMAS, Taipei, Taiwan, May 2-6, 2011. Revised Selected Papers. Dechesne, F., Hattori, H., TerMors, A., Such, JM., Weyns, D. & Dignum, F. (eds.). Berlin: Springer Berlin Heidelberg, p. 139-163 25 p. (Lecture Notes in Computer Science; vol. 7068).

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

  50. Transparent Provenance Derivation for User Decisions

    Nunes, I., Chen, Y., Miles, S., Luck, M. & de Lucena, C. J. P., 2012, Provenance and Annotation of Data and Processes: 4th International Provenance and Annotation Workshop, IPAW 2012, Santa Barbara, CA, USA, June 19-21, 2012, Revised Selected Papers. Groth, P. & Frew, J. (eds.). N/A ed. Berlin and New York: Springer, Vol. N/A. p. 111-125 15 p. (Lecture Notes in Computer Science; vol. 7525).

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

  51. User-centric principles in automated decision making

    Nunes, I., Miles, S., Luck, M. & de Lucena, C. J. P., 2012, Advances in artificial intelligence - SBIA 2012 : 21st Brazilian Symposium on Artificial Intelligence, Curitiba, Brazil, October 20-25, 2012: proceedings. Barros, L. N. (ed.). N/A ed. Berlin: Springer, Vol. N/A. p. 42-51 10 p. (Lecture Notes in Artificial Intelligence; vol. 7589).

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

  52. 2011
  53. An Agent-Based Approach to Real-Time Patient Identification for Clinical Trials

    Tyson, G., Taweel, A., Miles, S., Luck, M., Van Sta, T. & Delaney, B., 2011, Electronic Healthcare: 4th International Conference, eHealth 2011, Málaga, Spain, November 21-23, 2011, Revised Selected Papers. Kostkova, P., Szomszor, M. & Fowler, D. (eds.). Springer Berlin Heidelberg, p. 138-145 (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; vol. 91).

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

  54. Flexible behaviour regulation in agent based systems

    Luck, M., Barakat, L., Keppens, J., Mahmoud, S., Miles, S., Oren, N., Shaw, M. & Taweel, A., 2011, Collaborative Agents - Research and Development: International Workshops, CARE@AI09 2009 / CARE@IAT10 2010, Melbourne Australia, December 1, 2009 and Toronto Canada, August 31, 2010, Revised Selected Papers. Guttmann, C., Dignum, F. & Georgeff, M. (eds.). BERLIN: Springer, p. 99-113 15 p. (Lecture Notes in Computer Science; vol. 6066).

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

  55. Reachability analysis for agent-based simulations

    Herd, B., Miles, S., McBurney, P. & Luck, M., 2011, Proceedings of the 1st Int. Workshop on Verification and Validation of Multi-agent Models for Complex Systems (V2CS).

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

  56. Research and Development in Intelligent Systems XXVII,

    Croitoru, M., Oren, N., Miles, S. & Luck, M., 2011, Proceedings of AI-2010: The Thirtieth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence. Springer, p. 48 - 55 8 p.

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

  57. 2010
  58. A Model of Normative Power

    Oren, N., Luck, M. & Miles, S., 2010, AAMAS '10 : Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, Vol. 1. p. 815 - 822 8 p.

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

Previous 1 2 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

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