Centre for Digital Innovation

Filter
Conference contribution

Search results

  • 2019

    A Storytelling Smart-City Approach to Further Cross-Regional Tourism

    Fischöder, N., Iurgel, I. A., Sezen, T. I. & van Turnhout, K., 31 Jan 2019, Interactivity, Game Creation, Design, Learning, and Innovation: ArtsIT 2018, DLI 2018, Proceedings. Brooks, A. L., Brooks, E. & Sylla, C. (eds.). Springer, p. 266-275

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • A survey on RFID security and privacy in smart medical: Threats and protections

    Shi, X., Cao, J., Lu, T. & Chang, V., 2 May 2019, IoTBDS 2019 - Proceedings of the 4th International Conference on Internet of Things, Big Data and Security. Chang, V., Ramachandran, M., Walters, R., Munoz, V. M. & Wills, G. (eds.). SciTePress, p. 278-285 8 p. (IoTBDS 2019 - Proceedings of the 4th International Conference on Internet of Things, Big Data and Security).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Automated Game-Theoretic Verification of Security Systems

    Mu, C., 4 Sept 2019, Quantitative Evaluation of Systems. QEST 2019. Parker, D. & Wolf, V. (eds.). Springer, p. 239-256 (Lecture Notes in Computer Science; vol. 11785).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    276 Downloads (Pure)

  • Bi-Abductive Inference for Shape and Ordering Properties

    Curry, C., Le, Q. L. & Qin, S., 26 Aug 2019, the 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019). IEEE

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    247 Downloads (Pure)

  • Blending into the white box of the art museum

    Lange, V., Van Beuzekom, M., Hansma, M., Jeurens, J., Van Den Oever, W., Regterschot, M., Treffers, J., Van Turnhout, K., Sezen, T. I., Iurgel, I. & Bakker, R., Nov 2019, HTTF 2019: Proceedings of the Halfway to the Future Symposium 2019. Fischer, J. E., Martindale, S., Porcheron, M., Reeves, S. & Spence, J. (eds.). Association for Computing Machinery (ACM), 25

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Clustering and Classification of a Qualitative Colorimetric Test

    Hoque Tania, M., Lwin, K. T., Shabut, A. M. & Hossain, A., 7 Mar 2019, Proceedings - 2018 International Conference on Computing, Electronics and Communications Engineering, iCCECE 2018. Excell, P. S., Ali, M., Jones, A., Soomro, S. & Miraz, M. H. (eds.). Institute of Electrical and Electronics Engineers Inc., 5 p. 8658480. (Proceedings - 2018 International Conference on Computing, Electronics and Communications Engineering, iCCECE 2018).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Concolic Testing Heap-Manipulating Programs

    Pham, L. H., Le, Q. L., Phan, Q.-S. & Sun, J., 12 Jun 2019, (Accepted/In press) 23rd International Symposium on Formal Methods (FM 2019). Springer, 21 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    167 Downloads (Pure)

  • Ethical problems of smart wearable devices

    Chang, V., Xu, X., Wong, B. & Mendez, V., 2 May 2019, COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk. Firouzi, F., Estrada, E., Munoz, V. M. & Chang, V. (eds.). SciTePress, p. 121-129 9 p. (COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    11829 Downloads (Pure)

  • Exogenous Rewards for Promoting Cooperation in Scale-Free Networks

    Cimpeanu, T., Han, T. A. & Santos, F. C., 15 Jul 2019, ALIFE 2019: The 2019 Conference on Artificial Life. Fellermann, H., Bacardit, J., Goñi-Moreno, Á. & Füchslin, R. M. (eds.). 31 ed. MIT Press, p. 316-323 (Artificial Life Conference Proceedings; no. 31).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    175 Downloads (Pure)

  • Locating Vulnerabilities in Binaries via Memory Layout Recovering

    Wang, H., Xie, X., Lin, S.-W., Lin, Y., Li, Y., Qin, S., Liu, Y. & Liu, T., 26 Aug 2019, The 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. ACM, 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    795 Downloads (Pure)

  • Modelling and influencing the AI bidding war: A research agenda

    Han, T. A., Pereira, L. M. & Lenaerts, T., 27 Jan 2019, AIES 2019 - Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society. Association for Computing Machinery, Inc, p. 5-11 7 p. (AIES 2019 - Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    434 Downloads (Pure)

  • Modelling and Influencing the AI Bidding War: A Research Agenda

    Han, T. A., Jan 2019, Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society - AIES '19. p. 5-11

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Multiple Fake Classes GAN for Data Augmentation in Face Image Dataset

    Ali-Gombe, A., Elyan, E. & Jayne, C., 30 Sept 2019, 2019 International Joint Conference on Neural Networks, IJCNN 2019. Institute of Electrical and Electronics Engineers Inc., 8851953. (Proceedings of the International Joint Conference on Neural Networks; vol. 2019-July).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    3 Citations (Scopus)
    259 Downloads (Pure)

  • ODE-Driven Sketch-Based Organic Modelling

    Li, O., Deng, Z., Bian, S., Noreika, A., Jin, X., Kazmi, I. K., You, L. & Zhang, J. J., 12 Jun 2019, Advances in Computer Graphics - 36th Computer Graphics International Conference, CGI 2019, Proceedings: 36th Computer Graphics International Conference, CGI 2019, Calgary, AB, Canada, June 17–20, 2019, Proceedings. Gavrilova, M., Thalmann, N. M., Ishikawa, H., Chang, J., Thalmann, N. M. & Hitzer, E. (eds.). p. 453-460 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11542 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    194 Downloads (Pure)

  • Pathways to Good Healthcare Services and Patient Satisfaction: An Evolutionary Game Theoretical Approach

    Alalawi, Z., Han, T. A., Zeng, Y. & Elragig, A. (Editor), 29 Jul 2019, Proceedings of the 2019 Conference on Artificial Life : Alife 2019. MIT Press, Vol. 31. 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    109 Downloads (Pure)

  • Privacy and ethical issues of big data in the airline industry

    Chang, V., Ji, Z. & Arami, M., 2 May 2019, COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk. Firouzi, F., Estrada, E., Munoz, V. M. & Chang, V. (eds.). SciTePress, p. 139-148 10 p. (COMPLEXIS 2019 - Proceedings of the 4th International Conference on Complexity, Future Information Systems and Risk).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    6895 Downloads (Pure)

  • Promoting Cooperation through External Interference

    Han, T. A., Tran-Thanh, L., Lynch, S., Cimpeanu, T.-I. & Santos, F. C., 15 Jul 2019, ALIFE 2019: The 2019 Conference on Artificial Life. Fellermann, H., Bacardit, J., Goñi-Moreno, Á. & Füchslin, R. M. (eds.). 31 ed. MIT Press, p. 331-332 2 p. (Artificial Life Conference Proceedings; no. 31).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    216 Downloads (Pure)

  • Random Decision DAG: An Entropy Based Compression Approach for Random Forest

    Liu, X., Liu, X., Lai, Y., Yang, F. & Zeng, Y., 24 Apr 2019, Database Systems for Advanced Applications - DASFAA 2019 International Workshops: BDMS, BDQM, and GDMA, Proceedings. Li, G., Gama, J., Tong, Y., Yang, J. & Natwichai, J. (eds.). Springer Verlag, p. 319-323 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11448 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Self-Improving Generative Adversarial Reinforcement Learning

    Liu, Y., Zeng, Y., Chen, Y. & Tang, J., 15 May 2019, Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS. IFAAMAS, Vol. 1. p. 52-60 ( ACM International Conference on Autonomous Agents and Multiagent Systems. Proceedings ).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Smart healthcare and ethical issues

    Chang, V., Cao, Y., Li, T., Shi, Y. & Baudier, P., 5 May 2019, FEMIB 2019 - 1st International Conference on Finance, Economics, Management and IT Business. Baudier, P., Arami, M., Bu, R. & Chang, V. (eds.). SciTePress, p. 53-59 7 p. (FEMIB 2019 - 1st International Conference on Finance, Economics, Management and IT Business).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    1769 Downloads (Pure)

  • Using automated state space planning for effective management of visual information and learner’s attention in virtual reality

    Ladeinde, O., Razzaque, M. A. & Han, T. A., 24 Aug 2019, (E-pub ahead of print) Intelligent Systems and Applications - Proceedings of the 2019 Intelligent Systems Conference IntelliSys Volume 2. Bi, Y., Bhatia, R. & Kapoor, S. (eds.). Springer-Verlag, Vol. 1038. p. 24-40 17 p. 231009. (Advances in Intelligent Systems and Computing; vol. 1038).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    167 Downloads (Pure)

  • Word Segmentation for Chinese Judicial Documents

    Yao, L., Ge, J., Li, C., Yao, Y., Li, Z., Zeng, J., Luo, B. & Chang, V., 13 Sept 2019, Data Science - 5th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2019, Proceedings. Cheng, X., Jing, W., Song, X. & Lu, Z. (eds.). Springer-Verlag, p. 466-478 13 p. (Communications in Computer and Information Science; vol. 1058).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2018

    A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints

    Le, Q. L. & He, M., 23 Oct 2018, Programming Languages and Systems. APLAS 2018. Ryu, S. (ed.). Springer, ( Lecture Notes in Computer Science; vol. 11275).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    279 Downloads (Pure)

  • A Top-Down Narrative Design Approach for Networked Cultural Institutions

    Sezen, T. I., Iurgel, I., Fischöder, N., Bakker, R., Turnhout, K. V. & Sezen, D., 21 Nov 2018, Interactive Storytelling. Rouse, R., Koenitz, H. & Haahr, M. (eds.). Springer, p. 627-632 ( Lecture Notes in Computer Science; vol. 11318).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Benchmark framework for virtual students' behaviours

    Lugrin, J. L., Charles, F., Habel, M., Matthews, J., Porteous, J., Dudaczy, H., Oberdörfer, S., Wittmann, A., Seufert, C., Grafe, S. & Latoschik, M. E., 16 Jul 2018, 17th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2018. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 2236-2238 3 p. (AAMAS Electronic Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    108 Downloads (Pure)

  • Card-Based Methods in Interactive Narrative Prototyping

    Koenitz, H., Dubbelman, T., Knoller, N., Roth, C., Haahr, M., Sezen, D. & Sezen, T. I., 21 Nov 2018, Interactive Storytelling: 11th International Conference on Interactive Digital Storytelling, ICIDS 2018, Dublin, Ireland, December 5–8, 2018, Proceedings. Rouse, R., Koenitz, H. & Haahr, M. (eds.). Springer, Vol. 11318. p. 552-555 4 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Fostering Cooperation in Structured Populations Through Local and Global Interference Strategies

    Han, T. A., Lynch, S., Tran-Thanh, L. & Santos, F. C., 20 Jul 2018, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. IJCAI, p. 289-295 7 p. (Proceedings (IITA International Joint Conference on Artificial Intelligence)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    272 Downloads (Pure)

  • Frame inference for inductive entailment proofs in separation logic

    Le, Q. L., Sun, J. & Qin, S., 12 Apr 2018, Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 Thessaloniki, Greece, April 14 – 20, 2018 Proceedings, Part I. Springer Open, p. 41-60 20 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    169 Downloads (Pure)

  • Overlap-Based Undersampling for Improving Imbalanced Data Classification

    Vuttipittayamongkol, P., Elyan, E., Petrovski, A. & Jayne, C., 2018, Intelligent Data Engineering and Automated Learning – IDEAL 2018 - 19th International Conference, Proceedings. Yin, H., Novais, P., Camacho, D. & Tallón-Ballesteros, A. J. (eds.). Springer-Verlag, p. 689-697 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11314 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    8 Citations (Scopus)

  • Spatial Effects of Video Compression on Classification in Convolutional Neural Networks

    Johnston, P., Elyan, E. & Jayne, C., 10 Oct 2018, 2018 International Joint Conference on Neural Networks, IJCNN 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8489370. (Proceedings of the International Joint Conference on Neural Networks; vol. 2018-July).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Citations (Scopus)

  • Testing heap-based programs with Java StarFinder

    Pham, L. H., Le, Q. L., Phan, Q. S., Sun, J. & Qin, S., 27 May 2018, Proceedings - International Conference on Software Engineering. IEEE Computer Society, p. 268-269 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Towards a program logic for C11 release-sequences

    He, M., Qin, S. & Ferreira, J., 4 Dec 2018, Proceedings - 2018 12th International Symposium on Theoretical Aspects of Software Engineering, TASE 2018. Institute of Electrical and Electronics Engineers Inc., 8560730. (Proceedings - 2018 12th International Symposium on Theoretical Aspects of Software Engineering, TASE 2018; vol. 2018-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Towards ‘verifying’ a water treatment system

    Wang, J., Sun, J., Jia, Y., Qin, S. & Xu, Z., 12 Jul 2018, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Havelund, K., Roscoe, B., de Vink, E. & Peleska, J. (eds.). Springer Verlag, p. 73-92 20 p. (Lecture Notes in Computer Science; vol. 10951 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2017

    Implementing heterogeneous, autonomous, and resilient services in IoT: An experience report

    Cabrera, C., Li, F., Nallur, V., Palade, A., Razzaque, M. A., White, G. & Clarke, S., 10 Jul 2017, 2017 IEEE 18th International Symposium on A World of Wireless, Mobile and Multimedia Networks (WoWMoM) . Institute of Electrical and Electronics Engineers Inc., 7974341. (IEEE International Symposium on A World of Wireless, Mobile and Multimedia Networks).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Citations (Scopus)

  • Middleware for Internet of Things: A quantitative evaluation in small scale

    Palade, A., Cabrera, C., White, G., Razzaque, M. A. & Clarke, S., 13 Jul 2017, 2017 IEEE 18th International Symposium on A World of Wireless, Mobile and Multimedia Networks (WoWMoM) . Institute of Electrical and Electronics Engineers Inc., 7974340. (IEEE International Symposium on A World of Wireless, Mobile and Multimedia Networks).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    7 Citations (Scopus)

  • On Markov Games Played by Bayesian and Boundedly-Rational Players

    Chandrasekaran, M., Chen, Y. & Doshi, P., 13 Feb 2017, Proceedings of 31st AAAI Conference on Artificial Intelligence. AAAI, 7 p. ( Proceedings of the AAAI conference on artificial intelligence).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    69 Downloads (Pure)
  • 2016

    A novel cuckoo search based clustering algorithm for wireless sensor networks

    Adnan, M. A., Razzaque, M. A., Abedin, M. A., Salim Reza, S. M. & Hussein, M. R., 1 Jan 2016, Advanced Computer and Communication Engineering Technology - Proceedings of ICOCOE 2015. Sulaiman, H. A., Othman, M. A., Othman, M. F. I., Rahim, Y. A. & Pee, N. C. (eds.). Springer Verlag, p. 621-634 14 p. (Lecture Notes in Electrical Engineering; vol. 362).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    6 Citations (Scopus)

  • Compression-based energy efficient sensor data gathering framework for smartphones

    Razzaque, M. A. & Clarke, S., 26 Sept 2016, 2016 International Wireless Communications and Mobile Computing Conference, IWCMC 2016. Institute of Electrical and Electronics Engineers Inc., p. 126-132 7 p. 7577045. (2016 International Wireless Communications and Mobile Computing Conference, IWCMC 2016).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Citations (Scopus)

  • Decision procedure for separation logic with inductive predicates and Presburger arithmetic

    Tatsuta, M., Le, Q. L. & Chin, W.-N., 9 Oct 2016, Programming Languages and Systems.: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings. Vol. 10017. ( Lecture Notes in Computer Science book series ; vol. 10017).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    171 Downloads (Pure)

  • Efficient high-rate key management technique for wireless body area networks

    Salehi, S. A., Razzaque, M. A., Tomeo-Reyes, I., Hussain, N. & Kaviani, V., 3 Oct 2016, 2016 22nd Asia-Pacific Conference on Communications (APCC) . Institute of Electrical and Electronics Engineers Inc., p. 529-534 6 p. 7581513. (Proceedings - Asia-Pacific Conference on Communications).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    7 Citations (Scopus)

  • Emergence of social punishment and cooperation through prior commitments

    Han, T. A., 17 Feb 2016, 30th AAAI Conference on Artificial Intelligence, AAAI 2016. AAAI press, p. 2494-2500 7 p. (30th AAAI Conference on Artificial Intelligence, AAAI 2016).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    7 Citations (Scopus)

  • IEEE 802.15.6 standard in wireless body area networks from a healthcare point of view

    Salehi, S. A., Razzaque, M. A., Tomeo-Reyes, I. & Hussain, N., 3 Oct 2016, Proceedings - Asia-Pacific Conference on Communications, APCC 2016. Institute of Electrical and Electronics Engineers Inc., p. 523-528 6 p. 7581523. (Proceedings - Asia-Pacific Conference on Communications, APCC 2016).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    12 Citations (Scopus)

  • Isolated Adversary Zone for source location privacy in Wireless Sensor Networks

    Nassiri, A., Razzaque, M. A. & Abdullah, A. H., 26 Sept 2016, 2016 International Wireless Communications and Mobile Computing Conference, IWCMC 2016. Institute of Electrical and Electronics Engineers Inc., p. 108-113 6 p. 7577042. (2016 International Wireless Communications and Mobile Computing Conference, IWCMC 2016).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    6 Citations (Scopus)

  • Probabilistic Denotational Semantics for an Interrupt Modelling Language

    Huang, Y., Zhao, Y., Qin, S. & He, J., 18 Jan 2016, 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015. IEEE, (Engineering of Complex Computer Systems, IEEE International Conference on).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Selective dropout for deep neural networks

    Barrow, E., Eastwood, M. & Jayne, C., 2016, Neural Information Processing - 23rd International Conference, ICONIP 2016, Proceedings. Hirose, A., Lee, M., Liu, D., Doya, K., Ikeda, K. & Ozawa, S. (eds.). Springer-Verlag, p. 519-528 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9949 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Citations (Scopus)
  • 2015

    Applications of network-based survival analysis methods for pathways detection in cancer

    Iuliano, A., Occhipinti, A., Angelini, C., De Feis, I. & Lió, P., 18 Nov 2015, Computational Intelligence Methods for Bioinformatics and Biostatistics - 11th International Meeting, CIBB 2014, Revised Selected Papers. Lio, P., di Serio, C., Nonis, A. & Tagliaferri, R. (eds.). Cambridge : Springer Verlag, p. 76-88 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8623).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Citations (Scopus)

  • A security-aware safety management framework for IoT-integrated bikes

    Razzaque, M. A. & Clarke, S., 1 Jan 2015, IEEE World Forum on Internet of Things, WF-IoT 2015 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 92-97 6 p. 7389033. (IEEE World Forum on Internet of Things, WF-IoT 2015 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Citations (Scopus)

  • Deep Dropout Artificial Neural Networks for Recognising Digits and Characters in Natural Images

    Barrow, E., Jayne, C. & Eastwood, M., 15 Nov 2015, Neural Information Processing: ICONIP 2015. Springer-Verlag, Vol. 9492. p. 29-37 9 p. ( Lecture Notes in Computer Science; vol. 9492).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • GPU Accelerated On-the-Fly Reachability Checking

    Qin, S., 2015, 20th International Conference on Engineering of Complex Computer Systems, ICECCS 2015, Gold Coast, Australia, December 9-12, 2015. IEEE

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Recommendations and best practices for cloud enterprise security

    Ramachandran, M. & Chang, V., 9 Feb 2015, Proceedings - 2014 IEEE 6th International Conference on Cloud Computing Technology and Science, CloudCom 2014. February ed. IEEE Computer Society, p. 983-988 6 p. 7037794. (Proceedings of the International Conference on Cloud Computing Technology and Science, CloudCom; vol. 2015-February, no. February).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    6 Citations (Scopus)