School of Computing, Engineering & Digital Technologies

Filter
Conference contribution

Search results

  • Some complexity results concerning the non-preemptive 'thrift' cyclic scheduler

    Short, M., 1 Dec 2009, ICINCO 2009 - 6th International Conference on Informatics in Control, Automation and Robotics, Proceedings. p. 347-350 4 p.

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

    3 Citations (Scopus)

  • Sorting of Spent Electric Vehicle Batteries for Second Life Application

    Muhammad, M., Attidekou, P. S., Ahmeid, M., Milojevic, Z. & Lambert, S., 7 Oct 2019, Proceedings of 2019 the 7th International Conference on Smart Energy Grid Engineering, SEGE 2019. IEEE, p. 325-329 5 p. (Proceedings of 2019 the 7th International Conference on Smart Energy Grid Engineering, SEGE 2019).

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

    Open Access
    File
    127 Downloads (Pure)

  • Sparse feature extraction for activity detection using low-resolution IR streams

    Karayaneva, Y., Sharifzadeh, S., Jing, Y., Chetty, K. & Tan, B., 17 Feb 2020, 2019 18th IEEE International Conference On Machine Learning And Applications (ICMLA). IEEE

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

  • 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)

  • Spatial variability of London Clay using CPT and SPT data

    Wengui, H., Dijkstra, T., Loveridge, F., Hughes, P., Blake, A. P., Dobbs, M. & Gonzalez, Y. T., 14 Dec 2022, Proceedings of the 8th International Symposium on Geotechnical Safety and Risk (ISGSR). Huang, J., Griffiths, D. V., Jiang, S.-H., Giacomini, A. & Kelly, R. (eds.). Research Publishing, p. 228-234

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

    Open Access

  • Speech driven natural language understanding for hands-busy recording of clinical information

    Barker, D. J., Lynch, S., Simpson, D. S. & Corbett, W. A., 1 Jan 1999, Artificial Intelligence in Medicine - Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making, AIMDM 1999, Proceedings. Horn, W., Lindberg, G., Wyatt, J., Andreassen, S. & Shahar, Y. (eds.). Springer Verlag, p. 411-415 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1620).

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

    3 Citations (Scopus)

  • Spine flexion and extension model for epidural simulator

    Vaughan, N., Dubey, V. N., Wee, M. Y. K. & Isaacs, R., 2014, Proceedings of the ASME Design Engineering Technical Conference. American Society of Mechanical Engineers(ASME), Vol. 3.

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

  • Split-radix algorithm for the new Mersenne number transform

    Alshibami, O., Boussakta, S., Aziz, M. & Xu, D., Dec 2000, 7th IEEE international conference on electronics, circuits & systems, vols I and II. New York: IEEE, p. 583-586

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

    Open Access
    File
    292 Downloads (Pure)

  • Stack bound inference for abstract java bytecode

    Wang, S., Qiu, Z., Qin, S. & Chin, W.-N., 2010, 2010 fourth international symposium on theoretical aspects of software engineering. IEEE Computer Society

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

    Open Access
    File
    266 Downloads (Pure)

  • State of Health Estimation of Lithium-ion Batteries Based on Data-Driven Techniques

    El-Dalahmeh, M., Lillystone, J., Al-Greer, M. & El-Dalahmeh, M., 31 Aug 2021, 56th International Universities Power Engineering Conference : Powering Net Zero Emissions, UPEC 2021 - Proceedings. IEEE, (2021 56th International Universities Power Engineering Conference (UPEC)).

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

    1 Citation (Scopus)

  • State-Taint Analysis for Detecting Resource Bugs

    Xu, Z., Fan, D. & Qin, S., 17 Jul 2016, 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016, Shanghai, China, July 17-19, 2016.

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

  • Stationary Vehicles Detection on Smart Highways and Roads using Spatiotemporal Tracking

    Khan, W., Kelly, J., Al Kafri, A., Kleanthous, N., Khayam, U. & Khan, B., 21 Mar 2024, 16th International Conference on Developments in eSystems Engineering, DeSE 2023. IEEE, p. 73-78 7 p.

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

  • Steps towards dynamic descision making in industrial maintenance systems

    Adgar, A., Addison, D. & Yau, C.-Y., 2008, Proceedings of CM2008/MFPT2008. Oxford: Coxmoor Publishing Company

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

  • Stochastic Load-carrying Capacity Assessment of Brick Masonry Arch Bridges

    Muhit, I., Liu, B. & Sarhosis, V., Jul 2023, Eighth International Symposium on Life-Cycle Civil Engineering. Biondini, F. & Frangopol, D. M. (eds.). Taylor and Francis Group, p. 1392-1399

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

    Open Access
    File
    45 Downloads (Pure)

  • Strength Evaluation of Mortar by Inclusion of Stone Dust as a Cement and Sand Replacing Material

    Raihan, M. T. & Muhit, I. B., 28 Dec 2014, 2nd International Conference on Advances in Civil Engineering 2014.

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

  • Structural Reliability Assessment of Safety Factors for Unreinforced Masonry Veneer Walls Subjected to Out-of-plane Loading

    Muhit, I., Stewart, M. G. & Masia, M. J., Jun 2023, Proceedings of the 14th North American Masonry Conference. Nebraska, p. 249-258

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

    Open Access
    File
    61 Downloads (Pure)

  • Structural response of offshore blast walls under accidental explosion

    Rahman, S. A., Syed, Z. I., John, K. V. & Liew, M. S., 1 Jan 2014, Engineering and Innovative Materials III. Yahaya, M., Sikora, A., Su, S., Sikora, A., Su, S. & Yahaya, M. (eds.). Trans Tech Publications Ltd, p. 278-282 5 p. (Advanced Materials Research; vol. 1043).

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

    2 Citations (Scopus)

  • Structured specifications for better verification of heap-manipulating programs

    Gherghina, C., David, C., Qin, S. & Chin, W.-N., 2011, FM 2011: Formal Methods: Lecture notes in computer science, 6664. Butler, M. & Schulte, W. (eds.). Berlin: Springer, p. 386-401 (Lecture notes in computer science; 6664).

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

    Open Access
    File
    276 Downloads (Pure)

  • Structure Editing of Handwritten Mathematics: Improving the Computer Support for the Calculational Method

    Mendes, A., Backhouse, R. & Ferreira, J., 2014, Proceedings of the 9th ACM International Conference on Interactive Tabletops and Surfaces (ITS ’14). ACM, p. 139 148 p.

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

    Open Access
    File
    107 Downloads (Pure)

  • StyloAI: Distinguishing AI-Generated Content with Stylometric Analysis

    Opara, C., 2 Jul 2024, Proceedings of 25th International Conference on Artificial on Artificial Intelligence in Education(AIED 2024).

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

    Open Access

  • Superimposing Building Information Models in Augmented Reality

    Dudhee, V. & Vukovic, V., 1 Oct 2020, Proceedings of the 20th International Conference on Construction Applications of Virtual Reality. Dawood, N., Rahimian, F., Seyedzadeh, S. & Sheikhkhoshkar, M. (eds.). Middlesbrough, UK: Teesside University, p. 11-18

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

    Open Access
    File
    499 Downloads (Pure)

  • Supporting LV Distribution Network Voltage Using PV Inverters Under High EV Penetration

    Akakabota, E., Pillai, G. & Allison, M., 7 Nov 2019, 54th International Universities Power Engineering Conference: Proceedings. IEEE, 6 p. 8893498

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

    Open Access
    File
    213 Downloads (Pure)

  • Surface engineering - sol-gel alumina coatings for surface modification of stainless steel

    Adraider, Y., Pang, Y., Nabhani, F. & Hodgson, S., 2010, International science and technology conference 2010: proceedings book. p. 706-711

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

  • Swapping algorithm and meta-heuristic solutions for combinatorial optimization n-queens problem

    Vaughan, N., 2015, Proceedings of the 2015 Science and Information Conference, SAI 2015. IEEE, p. 102-104 3 p. 7237132

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

  • Swarm communication by evolutionary algorithms

    Vaughan, N., 27 May 2018, 2018 IEEE International Conference on Evolving and Adaptive Intelligent Systems, EAIS 2018.

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

    Open Access

  • System Reliability Analysis of Unsaturated Soil Slopes under Rainfall: Rotational or Translational Failure?

    Wengui, H., Liao, W.-W. & Ji, J., 14 Dec 2022, Proceedings of the 8th International Symposium on Geotechnical Safety and Risk (ISGSR). Huang, J., Griffiths, D. V., Jiang, S.-H., Giacomini, A. & Kelly, R. (eds.). Research Publishing

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

    Open Access

  • Taxi Services Revenue Optimization through Reinforcement Learning: A Deep Q Network Approach with Advanced Data Visualization

    B, B., Raaj A T, M., V, H., Pravin R R, S. A., C, R., G, A., Aggarwal, G. & Kumar M, R., 2 Jul 2024, 2024 3rd International Conference on Artificial Intelligence For Internet of Things (AIIoT). IEEE, 6 p.

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

  • Techno-Economic Analysis of a Commercial Factory’s Renewable Energy System Replacement Alternatives

    Stott, J., Pillai, G. & Winter, N., 30 Sept 2021, 2021 56th International Universities Power Engineering Conference: Powering Net Zero Emissions, UPEC 2021 - Proceedings. IEEE

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

    Open Access
    File
    158 Downloads (Pure)

  • Techno-economic Analysis of Deployment of Renewable Energy in Hotel Zone located at the West Coast of Myanmar with Limited Grid Access

    Lacey, G. & Tun, T. P., 18 Oct 2022, 2022 57th International Universities Power Engineering Conference (UPEC). IEEE, 6 p.

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

  • Telecommunication Infrastructure Sharing a Remedy for the Reduction of Network Operator Cost and Environmental Pollution

    Amadasun, K., Short, M. & Crosbie, T., Jun 2020, Proceedings - 2020 IEEE International Conference on Environment and Electrical Engineering and 2020 IEEE Industrial and Commercial Power Systems Europe, EEEIC / I and CPS Europe 2020. Leonowicz, Z. (ed.). Institute of Electrical and Electronics Engineers Inc., 9160661. (Proceedings - 2020 IEEE International Conference on Environment and Electrical Engineering and 2020 IEEE Industrial and Commercial Power Systems Europe, EEEIC / I and CPS Europe 2020).

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

    1 Citation (Scopus)

  • Temporary Earthquake Retrofit of the Land Walls in Istanbul

    Kirlangic, A., Kesti, M. G., Erdik, M. & Caktu, E., 30 Aug 2010, The 14th European Conference on Earthquake Engineering. Macedonian Association for Earthquake Engineering

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

  • Termination and non-termination specification inference

    Le, T. C., Qin, S. & Chin, W.-N., Jun 2015, PLDI '15 Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. 6 ed. New York, USA: ACM, Vol. 50. p. 489-498

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

    Open Access
    File
    382 Downloads (Pure)

  • 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

  • The CaveUT system: Immersive entertainment based on a game engine

    Jacobson, J., Le Renard, M., Lugrin, J.-L. & Cavazza, M., 2005, Proceedings of the 2005 ACM SIGCHI international conference on advances in computer entertainment technology. New York: ACM, p. 184-187

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

    Open Access
    File
    205 Downloads (Pure)

  • The CISNA model of accessible adaptive hypermedia

    Dodd, R., Green, S. & Pearson, E., 15 Dec 2008, W4A'08: Proceedings of the 2008 International Cross-Disciplinary Conference on Web Accessibility, W4A. p. 27-36 10 p.

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

    2 Citations (Scopus)

  • The design of a tool-supported graphical notation for timed CSP

    Brooke, P. J. & Paige, R. F., 2002, Integrated Formal Methods: IFM 2002. Butler , Petre & Sere (eds.). Berlin: Springer, p. 299-318 (Lecture Notes in Computer Science; vol. 2335).

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

  • The Development of an Arches Resource Model for Recording Radiocarbon Information

    Alsmadi, H., Petcher, F. J., Al-Jumeily, D., Hussain, A. J., Chalmers, C. & Jennings, R. P., 24 Feb 2019, 2018 11th International Conference on Developments in eSystems Engineering (DeSE). IEEE

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

  • The emergence of commitments and cooperation

    Han, T. A., Pereira, L. M. & Santos, F. C., 2012, Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems(AAMAS 2012. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 992-999 8 p.

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

    Open Access

  • The Energy Loss Due to Interconnections in Paralleled Cell Configurations of Lithium-Ion Batteries in Electric Vehicles

    Ahmeid, M., Muhammad, M., Milojevic, Z., Lambert, S. & Attidekou, P. S., 25 Nov 2019, 2019 IEEE 4th International Future Energy Electronics Conference (IFEEC). IEEE, p. 1-4 4 p.

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

    Open Access

  • The Equivalence of Statecharts

    Long, Q., Qiu, Z. & Qin, S., 2003, Formal Methods and Software Engineering. ICFEM 2003. Dong, J. S. & Woodcock, J. (eds.). Springer Berlin, p. 125-143 (Lecture Notes in Computer Science; vol. 2885).

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

  • The Ethical Issues of Location-Based Services on Big Data and IoT

    Chang, V., Mou, Y. & Xu, Q. A., 1 Apr 2021, Modern Industrial IoT, Big Data and Supply Chain - Proceedings of the IIoTBDSC 2020. Chang, V., Ramachandran, M. & Méndez Muñoz, V. (eds.). Springer Science and Business Media Deutschland GmbH, p. 195-205 11 p. (Smart Innovation, Systems and Technologies; vol. 218).

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

    Open Access
    File
    1 Citation (Scopus)
    784 Downloads (Pure)

  • The improved cloud computing adoption framework to deliver secure services

    Ramachandran, M., Chang, V. & Li, C. S., 1 Jan 2015, Proceedings of ESaaSA 2015 - 2nd International Workshop on Emerging Software as a Service and Analytics, In conjuction with the 5th International Conference on Cloud Computing and Services Science - CLOSER 2015. Chang, V., Kantere, V., Walters, R., Li, C.-S., Wills, G. & Ramachandran, M. (eds.). SciTePress, p. 73-79 7 p. (Proceedings of ESaaSA 2015 - 2nd International Workshop on Emerging Software as a Service and Analytics, In conjuction with the 5th International Conference on Cloud Computing and Services Science - CLOSER 2015).

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

    4 Citations (Scopus)

  • The Last One Standing? Recent Findings on the Feasibility of Indirect Reciprocity under Private Assessment

    Krellner, M. & Han, T. A., 18 Jul 2022, ALIFE 2022: The 2022 Conference on Artificial Life. MIT Press, 3 p. isal_a_00523, 40. (The 2022 Conference on Artificial Life).

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

    Open Access

  • The Last Planner System in view of Promise Theory

    Khanzadi, M., Shahbazi, M. M., Rahimian, F. & Sheikhkhoshkar, M., 18 Sept 2019, Construction and Management in Architecture, Engineering, Construction and Operations (AECO): 36th CIB W78 2019 Conference ICT in Design. University of Northumbria, Newcastle-upon-Tyne., p. 170 177 p.

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

    Open Access
    File
    166 Downloads (Pure)

  • The ontology project for interactive digital narrative

    Koenitz, H., Haahr, M., Ferri, G., Sezen, T. I. & Sezen, D., 30 Nov 2015, Interactive Storytelling: 8th International Conference on Interactive Digital Storytelling, ICIDS 2015, Proceedings. Schoenau-Fog, H., Bruni, L. E., Louchart, S. & Baceviciute, S. (eds.). Springer, p. 397-399

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

  • Theoretical and experimental studies of the spatial sensitivity of circular electrostatic PF meters

    Zhang, J., Coulthard, J. M., Cheng, R. & Armstrong, B., 2003, Proceedings of the 2003 5th International Symposium on Coal Combustion. p. 526-528

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

    Open Access
    File
    49 Downloads (Pure)

  • The origins of communication revisited.

    Arranz, J., Noble, J. & Silverman, E., 12 Aug 2011, Proceedings of the Eleventh European Conference on the Synthesis and Simulation of Living Systems. Advances in Artificial Life, ECAL 2011, Mon, 8 Aug 2011 to Fri, 12 Aug 2011. MIT Press Journals, 8 p.

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

    Open Access
    File
    36 Downloads (Pure)

  • The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs

    Zhu, H., Xu, Q., Ma, C., Qin, S. & Qiu, Z., 2012, Software Engineering and Formal Methods. SEFM 2012. Eleftherakis , G., Hinchey , M. & Holcombe , M. (eds.). Springer Berlin, (Lecture Notes in Computer Science; vol. 7504).

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

  • Thermal Analysis for Stator Slot of Permanent Magnet Machine

    Goh, S. Y., Wale, J. & Greenwood, D., 3 Nov 2016, 2016 XXII International Conference on Electrical Machines (ICEM). IEEE, p. 2093-2098 6 p.

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

  • Thermal effects of die-attach voids location and style on performance of chip level package

    Otiaba, K. C., Bhatti, R. S., Ekere, N. N., Mallik, S. & Amalu, E. H., 1 Dec 2011, 3rd IEEE International Conference on Adaptive Science and Technology, ICAST 2011, Proceedings. p. 231-236 6 p. 6145176

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

    6 Citations (Scopus)