King's College London

Research portal

Research Outputs

  1. 2020
  2. Ceylan, II, Lukasiewicz, T, Malizia, E & Vaicenavičius, A 2020, Explanations for Ontology-Mediated Query Answering in Description Logics. in G De Giacomo (ed.), Proceedings of the 24th European Conference on Artificial Intelligence (ECAI 2020).
  3. Sun, Y, Chockler, H, Huang, X & Kroening, D 2020, Explaining Image Classifiers Using Statistical Fault Localization. in 16TH EUROPEAN CONFERENCE ON COMPUTER VISION. Springer.
  4. Walker, JC, Thuermer, G, Simperl, E & Carr, L 2020, Smart Rural: The Open Data Gap. in Data for Policy Conference 2020.
  5. Zhang, Y, Wu, Q & Shikh-Bahaei, M 2020, Ensemble Learning Based Robust Cooperative Sensing in Full-Duplex Cognitive Radio Networks. in 2020 IEEE International Conference on Communications Workshops (ICC Workshops). Institute of Electrical and Electronics Engineers Inc.
  6. Schaeper, J & Robert, G 2020, Radically self-organized care: what can designers learn from the evolutionary dynamics of cooperation. in K Crister, C Craig & P Chamberlain (eds), Proceedings of the 6th European Conference on Design4Health. Sheffield Hallam University, Amsterdam, pp. 589-596.
  7. Dickson, PE, Brown, NCC & Becker, BA 2020, Engage Against the Machine: Rise of the Notional Machines as Effective Pedagogical Devices. in ITiCSE 2020 - Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education. Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE, Association for Computing Machinery, pp. 159-165, 25th ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2020, Trondheim, Norway, 15/06/2020. https://doi.org/10.1145/3341525.3387404
  8. Fernández, M, Tapia, AF, Jaimunk, J, Chamorro, MM & Thuraisingham, B 2020, A data access model for privacy-preserving cloud-iot architectures. in SACMAT 2020 - Proceedings of the 25th ACM Symposium on Access Control Models and Technologies. Proceedings of ACM Symposium on Access Control Models and Technologies, SACMAT, Association for Computing Machinery, pp. 191-202, 25th ACM Symposium on Access Control Models and Technologies, SACMAT 2020, Barcelona, Spain, 10/06/2020. https://doi.org/10.1145/3381991.3395610
  9. Viganò, L & Magazzeni, D 2020, Explainable Security. in Proceedings of the 6th Workshop on Hot Issues in Security Principles and Trust (HotSpot 2020).
  10. Crochemore, M, Iliopoulos, CS, Radoszewski, J, Rytter, W, Straszyński, J, Waleń, T & Zuba, W 2020, Shortest covers of all cyclic shifts of a string. in MS Rahman, K Sadakane & W-K Sung (eds), WALCOM: Algorithms and Computation - 14th International Conference, WALCOM 2020, Proceedings., 69, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12049 LNCS, SPRINGER, pp. 69-80, 14th International Conference and Workshops on Algorithms and Computation, WALCOM 2020, Singapore, Singapore, 31/03/2020. https://doi.org/10.1007/978-3-030-39881-1_7
  11. Karl, D, Hobbs, C, Foster, G & Tzinieris, S 2020, Reconceptualising Nuclear Security as a Business Enabler: Opportunities and Challenges. in IAEA International Conference on Nuclear Security (ICONS 2020).
  12. Lukasiewicz, T, Malizia, E & Molinaro, C 2020, Explanations for Inconsistency-Tolerant Query Answering under Existential Rules. in V Conitzer & F Sha (eds), Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI-20). https://doi.org/10.1609/aaai.v34i03.5682
  13. Modgil, S & D'Agostino, M 2020, A Fully Rational Account of Structured Argumentation Under Resource Bounds. in C Bessiere (ed.), Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence Main track.. 29th edn, International Joint Conferences on Artificial Intelligence, pp. 1841-1847. https://doi.org/10.24963/ijcai.2020/255
  14. Puyol-Antón, E, Ruijsink, B, Clough, JR, Oksuz, I, Rueckert, D, Razavi, R & King, AP 2020, Assessing the Impact of Blood Pressure on Cardiac Function Using Interpretable Biomarkers and Variational Autoencoders. in M Pop, M Sermesant, O Camara, X Zhuang, S Li, A Young, T Mansi & A Suinesiaputra (eds), Statistical Atlases and Computational Models of the Heart. Multi-Sequence CMR Segmentation, CRT-EPiggy and LV Full Quantification Challenges - 10th International Workshop, STACOM 2019, Held in Conjunction with MICCAI 2019, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12009 LNCS, SPRINGER, pp. 22-30, 10th International Workshop on Statistical Atlases and Computational Models of the Heart, STACOM 2019, held in conjunction with the 22nd International Conference on Medical Image Computing and Computer Assisted Intervention, MICCAI 2019, Shenzhen, China, 13/10/2019. https://doi.org/10.1007/978-3-030-39074-7_3
  15. Meng, A, Lam, H-K, Hu, L & Liu, F 2020, L1-Induced Static Output Feedback Controller Design and Stability Analysis for Positive Polynomial Fuzzy Systems. in Z Ju, L Yang, C Yang, D Zhou & A Gegov (eds), Advances in Computational Intelligence Systems: UKCI 2019. Contributions Presented at the 19th UK Workshop on Computational Intelligence, September 4-6, 2019, Portsmouth, UK. vol. 1043, Advances in Intelligent Systems and Computing, vol. 1043, Springer, Cham, pp. 41-52, 19th Annual UK Workshop on Computational Intelligence, UKCI 2019, Portsmouth, United Kingdom, 4/09/2019. https://doi.org/10.1007/978-3-030-29933-0_4
  16. Dorent, R, Joutard, S, Shapey, J, Bisdas, S, Kitchen, N, Bradford, R, Saeed, SR, Modat, M, Ourselin, S & Vercauteren, T 2020, Scribble-based Domain Adaptation via Co-segmentation. in Medical Image Computing and Computer Assisted Intervention – MICCAI 2020.
  17. 2019
  18. Ray, KM & Szabo, B 2019, Debiased Bayesian inference for average treatment effects. in Advances in Neural Information Processing Systems. 33rd Conference on Neural Information Processing Systems, Vancouver, Canada, 9/12/2019.
  19. Suhling, K, Hirvonen, LM, Becker, W, Smietana, S, Netz, H, Milnes, J, Conneely, T, Le Marois, AM, Jagutzki, O, Fred, F, Petrášek, Z & Beeby, A 2019, Wide-field Time-correlated Single Photon Counting-based Fluorescence Lifetime Imaging Microscopy. in Nuclear Instruments and Methods A. vol. 942, 162365, Nuclear Instruments and Methods in Physics Research, Section A: Accelerators, Spectrometers, Detectors and Associated Equipment, Elsevier. https://doi.org/10.1016/j.nima.2019.162365
  20. Suarez-Tangil, G & Pastrana, S 2019, A First Look at the Crypto-Mining Malware Ecosystem: A Decade of Unrestricted Wealth. in IMC '19: Proceedings of the Internet Measurement Conference. pp. 73-86. https://doi.org/10.1145/3355369.3355576
  21. Febro, A, Xiao, H & Spring, J 2019, SIPchain: SIP Defense Cluster with Blockchain. in 2019 Principles, Systems and Applications of IP Telecommunications, IPTComm 2019., 8920874, 2019 Principles, Systems and Applications of IP Telecommunications, IPTComm 2019, Institute of Electrical and Electronics Engineers Inc., 2019 Principles, Systems and Applications of IP Telecommunications, IPTComm 2019, Chicago, United States, 14/10/2019. https://doi.org/10.1109/IPTCOMM.2019.8920874
  22. Smith, JWE 2019, Two Steps from Abolition: The U.S Navy and U.S Defence Unification 1945-1964. in USNA: McMullen Naval History Symposium 2019 . McMullen Naval History Symposium 2019 : U.S. Naval Academy
    , Annapolis, MD, United States, 18/09/2019.
  23. Burdusel, A & Zschaler, S 2019, Towards scalable search-based model engineering with MDEOptimiser scale. in L Burgueno, L Burgueno, A Pretschner, S Voss, M Chaudron, J Kienzle, M Volter, S Gerard, M Zahedi, E Bousse, A Rensink, F Polack, G Engels & G Kappel (eds), Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019., 8904488, Institute of Electrical and Electronics Engineers Inc., pp. 189-195, 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019, Munich, Germany, 15/09/2019. https://doi.org/10.1109/MODELS-C.2019.00032
  24. Razzicchia, E, Koutsoupidou, M, Cano Garcia, H, Sotiriou, I, Kallos, E, Palikaras, G & Kosmas, P 2019, Metamaterial Designs to Enhance Microwave Imaging Applications. in International Conference on Electromagnetics in Advanced Applications (ICEAA 2019), Granada, Spain, 9-13 September 2019.
  25. Viani, N, Kam, J, Yin, L, Verma, S, Stewart, RJ, Patel, R & Velupillai, SU 2019, Annotating Temporal Relations to Determine the Onset of Psychosis Symptoms. in B Seroussi, L Ohno-Machado, L Ohno-Machado & B Seroussi (eds), MEDINFO 2019: Health and Wellbeing e-Networks for All - Proceedings of the 17th World Congress on Medical and Health Informatics. Studies in Health Technology and Informatics, vol. 264, pp. 418-422. https://doi.org/10.3233/SHTI190255
  26. Fernando, OA, Xiao, H & Che, X 2019, Evaluation of Underlying Switching Mechanism for Future Networks with P4 and SDN (Workshop Paper). in X Wang, H Gao, M Iqbal & G Min (eds), Collaborative Computing: Networking, Applications and Worksharing - 15th EAI International Conference, CollaborateCom 2019, Proceedings. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, vol. 292, SPRINGER, pp. 549-568, 15th EAI International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2019, London, United Kingdom, 19/08/2019. https://doi.org/10.1007/978-3-030-30146-0_38
  27. Kandwal, P, Spring, WJ & Xiao, H 2019, Quantum Based Networks: Analysis of Quantum Teleportation Protocol and Entanglement Swapping (Workshop Paper). in X Wang, H Gao, M Iqbal & G Min (eds), Collaborative Computing: Networking, Applications and Worksharing - 15th EAI International Conference, CollaborateCom 2019, Proceedings. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, vol. 292, SPRINGER, pp. 569-582, 15th EAI International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2019, London, United Kingdom, 19/08/2019. https://doi.org/10.1007/978-3-030-30146-0_39
  28. Kaffee, L-A, Endris, KM & Simperl, E 2019, When humans and machines collaborate: cross-lingual label editing in Wikidata. in OpenSym '19 Proceedings of the 15th International Symposium on Open Collaboration. ACM, pp. 1–9. https://doi.org/10.1145/3306446.3340826
  29. Scannell, CM, van den Bosch, P, Chiribiri, A, Lee, CJ, Breeuwer, M & Veta, M 2019, Deep learning-based prediction of kinetic parameters from myocardial perfusion MRI. in Medical Imaging with Deep Learning: MIDL 2019.
  30. Berenbrink, P, Kaaser, D & Radzik, T 2019, On Counting the Population Size. in PODC '19 Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing. ACM, pp. 43-52. https://doi.org/10.1145/3293611.3331631
  31. Magazzeni, D, Cashmore, M, Cimatti, A, Micheli, A & Zehtabi, P 2019, Robustness Envelopes for Temporal Plans. in Proceedings of AAAI Conference on Artificial Intelligence (AAAI 2019). https://doi.org/10.1609/aaai.v33i01.33017538
  32. Coles, AI, Shperberg, S, Karpas, E, Shimony, S & Ruml, W 2019, Beyond Cost-to-go Estimates in Situated Temporal Planning. in Proceedings of the Heuristic Search in Domain Independent Planning (HSDIP) Workshop.
  33. Alaboud, FK & Coles, AI 2019, Personalized Medication and Activity Planning in PDDL+. in Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling (ICAPS). vol. 29, AAAI Press.
  34. Cashmore, M, Coles, AI, Cserna, B, Karpas, E, Magazzeni, D & Ruml, W 2019, Replanning for Situated Robots. in Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press.
  35. Domínguez, J & Fernández, M 2019, Nominal Syntax with Atom Substitutions: Matching, Unification, Rewriting. in LA Gąsieniec, J Jansson & C Levcopoulos (eds), Fundamentals of Computation Theory - 22nd International Symposium, FCT 2019, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11651 LNCS, Springer Verlag, pp. 64-79, 22nd International Symposium on Fundamentals of Computation Theory, FCT 2019, Copenhagen, Denmark, 12/08/2019. https://doi.org/10.1007/978-3-030-25027-0_5
  36. Coles, AJ, Coles, AI, Martinez Munoz, M, Savas, OE, Keller, T, Pommerening, F & Helmert, M 2019, On-board Planning for Robotic Space Missions using Temporal PDDL. in 11th International Workshop on Planning and Scheduling for Space (IWPSS).
  37. Zhang, T & Wang, Y 2019, Deep learning algorithms for structural condition identification with limited monitoring data. in International Conference on Smart Infrastructure and Construction 2019. https://doi.org/10.1680/icsic.64669.421
  38. Drukker, N 2019, Ceramics Inspired by String Theory. in S Goldstine, D McKenna & K Fenyvesi (eds), Proceedings of Bridges 2019: Mathematics, Art, Music, Architecture, Education, Culture. vol. 2019, Tessellations Publishing, Phoenix, pp. 311-318, Bridges Linz 2019, Linz, Austria, 16/07/2019.
  39. Mu, J, Yannakoudakis, H & Shutova, E 2019, Learning Outside the Box: Discourse-level Features Improve Metaphor Identification. in J Burstein, C Doran & T Solorio (eds), Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. vol. 1, Association for Computational Linguistics (ACL), pp. 596–601. https://doi.org/10.18653/v1/N19-1059
  40. Holmes, M, Benson, AP, Aslanidi, OV & Colman, MA 2019, Investigating Calcium-Mediated Arrhythmias via a Computational Model of a Rabbit Atrial Myocyte. in Computing in Cardiology, CinC 2018. vol. 45, 8744056, IEEE Computer Society, 45th Computing in Cardiology Conference, CinC 2018, Maastricht, Netherlands, 23/09/2018. https://doi.org/10.22489/CinC.2018.188
  41. Nousias, S, Lourakis, M & Bergeles, C 2019, Large-Scale, Metric Structure from Motion for Unordered Light Fields. in IEEE Conf. Computer Vision and Pattern Recognition . IEEE.
  42. John, S, Burdusel, A, Bill, R, Struber, D, Taentzer, G, Zschaler, S & Wimmer, M 2019, Searching for Optimal Models: Comparing Two Encoding Approaches. in 12th International Conference on Model Transformations ICMT 2019. 3 edn, vol. 18, Journal of Object Technology, pp. 1-22. https://doi.org/10.5381/jot.2019.18.3.a6
  43. Agarwal, P, Sastry, NR & Wood, E 2019, Tweeting MPs: Digital Engagement between Citizens and Members of Parliament in the UK. in The International AAAI Conference on Web and Social Media (ICWSM) 2019.
  44. Chabiniok, R, Bureau, G, Groth, A, Tintera, J, Weese, J, Chapelle, D & Moireau, P 2019, Cardiac displacement tracking with data assimilation combining a biomechanical model and an automatic contour detection. in N Zemzemi, V Ozenne, E Vigmond & Y Coudière (eds), Functional Imaging and Modeling of the Heart - 10th International Conference, FIMH 2019, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11504 LNCS, pp. 405-414, Functional Imaging and Modeling of Heart 2019, Bordeaux, France, 6/06/2019. https://doi.org/10.1007/978-3-030-21949-9_44
  45. Le Gall, A, Vallee, F, Chapelle, D & Chabiniok, R 2019, Minimally-invasive estimation of patient-specific end-systolic elastance using a biomechanical heart model. in Y Coudière, V Ozenne, E Vigmond & N Zemzemi (eds), Functional Imaging and Modeling of the Heart - 10th International Conference, FIMH 2019, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11504 LNCS, Springer, pp. 266-275. https://doi.org/10.1007/978-3-030-21949-9_29
  46. Ruijsink, B, Zugaj, K, Pushparajah, K & Chabiniok, R 2019, Model-based indices of early-stage cardiovascular failure and its therapeutic management in Fontan patients. in V Ozenne, E Vigmond, Y Coudière & N Zemzemi (eds), Functional Imaging and Modeling of the Heart - 10th International Conference, FIMH 2019, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11504 LNCS, pp. 379-387, Functional Imaging and Modeling of Heart 2019, Bordeaux, France, 6/06/2019. https://doi.org/10.1007/978-3-030-21949-9_41
  47. Viani, N, Patel, R, Stewart, R & Velupillai, S 2019, Generating Positive Psychosis Symptom Keywords from Electronic Health Records. in D Riaño, S Wilk & A ten Teije (eds), Artificial Intelligence in Medicine: 17th Conference on Artificial Intelligence in Medicine, AIME 2019, Poznan, Poland, June 26–29, 2019, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11526 LNAI, pp. 298-303. https://doi.org/10.1007/978-3-030-21642-9_38
  48. Corral Acero, J, Zacur, E, Xu, H, Ariga, R, Bueno-Orovio, A, Lamata, P & Grau, V 2019, SMOD - Data Augmentation Based on Statistical Models of Deformation to Enhance Segmentation in 2D Cine Cardiac MRI. in Y Coudière, N Zemzemi, V Ozenne & E Vigmond (eds), Functional Imaging and Modeling of the Heart - 10th International Conference, FIMH 2019, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11504 LNCS, Springer Verlag, pp. 361-369, 10th International Conference on Functional Imaging and Modeling of the Heart, FIMH 2019, Bordeaux, France, 6/06/2019. https://doi.org/10.1007/978-3-030-21949-9_39
  49. Nasopoulou, A, Nordsletten, DA, Niederer, SA & Lamata, P 2019, Solution to the Unknown Boundary Tractions in Myocardial Material Parameter Estimations. in V Ozenne, E Vigmond, Y Coudière & N Zemzemi (eds), Functional Imaging and Modeling of the Heart - 10th International Conference, FIMH 2019, Proceedings. Lecture Notes in Computer Science, vol. 11504, pp. 313-322. https://doi.org/10.1007/978-3-030-21949-9_34
Previous 1 2 3 4 5 6 7 8 ...12 Next

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

Refine results Clear filters

Language

Language

Publication year

Publication year

Full text

Meeting and poster abstracts

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