School of Computing, Engineering & Digital Technologies

Filter
Conference contribution

Search results

  • 2012

    Predictive PID controller for DC-DC converters using an adaptive prediction error filter

    Algreer, M., Armstrong, M. & Giaouris, D., 13 Aug 2012, 6th IET International Conference on Power Electronics, Machines and Drives, PEMD 2012. 592 CP ed. Vol. 2012.

    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 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 management materials for electronic control unit: Trends, processing technology and R&D challenges

    Otiaba, K. C., Ekere, N. N., Amalu, E. H., Bhatti, R. S. & Mallik, S., 1 Jan 2012, Advances in Materials and Systems Technologies III. p. 301-307 7 p. (Advanced Materials Research; vol. 367).

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

  • Transformability in post-earthquake houses: towards a more sustainable design approach in Iran

    Parva, M., Dola, K. & Rahimian, F., 2012, 2nd International Conference on Socio-Political and Technological Dimensions of Climate Change, Hotel-Marriott Putrajaya.

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

    Open Access
    File
    50 Downloads (Pure)

  • Virtual reality based enhanced visualization of epidural insertion

    Vaughan, N., Dubey, V. N., Wee, M. Y. K. & Isaacs, R., 2012, Proceedings of the ASME Design Engineering Technical Conference. American Society of Mechanical Engineers(ASME), Vol. 2. p. 1413-1418 6 p.

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

  • Where's the story? Forms of interactive narrative in current digital games and other digital forms

    Koenitz, H., Haahr, M., Ferri, G., Sezen, T. I. & Sezen, D., 2012, Interactive Storytelling: ICIDS 2012. Oyarzun, D., Peinado, F., Young, R. M., Elizalde, A. & Méndez, G. (eds.). Springer, p. 214-215 2 p. (Lecture Notes in Computer Science; vol. 7648).

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

  • 2011

    A specialization calculus for pruning disjunctive predicates to support verification

    Chin, W. N., Gherghina, C., Voicu, R., Le, Q. L., Craciun, F. & Qin, S., 20 Jul 2011, Computer aided verification: Lecture Notes in Computer Science. Gopalakrishnan, G. & Qadeer, S. (eds.). Berlin: Springer, p. 293-309 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6806 LNCS).

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

    Open Access
    File
    5 Citations (Scopus)
    114 Downloads (Pure)

  • A system to support accurate transcription of information systems lectures for disabled students

    Papadopoulos, M. & Pearson, E., 1 Dec 2011, ACIS 2011 Proceedings - 22nd Australasian Conference on Information Systems.

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

    1 Citation (Scopus)

  • Automatically refining partial specifications for Program Verification

    Qin, S., Luo, C., Chin, W.-N. & He, G., 2011, FM 2011: Formal Methods: Lecture notes in computer science, 6664. Butler, M. & Schulte, W. (eds.). Berlin: Springer Berlin, p. 369-385 ( Lecture Notes in Computer Science; vol. 6664).

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

    Open Access
    File
    207 Downloads (Pure)

  • Deflection damage criteria for concrete elements under blast loading

    Syed, Z. I., Mendis, P. A., Ngo, T. & Lam, N. T. K., 1 Dec 2011, Incorporating Sustainable Practice in Mechanics of Structures and Materials - Proceedings of the 21st Australian Conference on the Mechanics of Structures and Materials. p. 609-614 6 p. (Incorporating Sustainable Practice in Mechanics of Structures and Materials - Proceedings of the 21st Australian Conference on the Mechanics of Structures and Materials).

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

    2 Citations (Scopus)

  • Development and trial of an educational tool to support the accessibility evaluation process

    Bailey, C. & Pearson, E., 2011, W4A '11 Proceedings of the International Cross-Disciplinary Conference on Web Accessibility. Andra Pradesh India: ACM

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

    Open Access

  • Effects of inter-metallic compound on high temperature reliability of flip chip interconnects for fine pitch applications

    Amalu, E. H., Ekere, N. N. & Aminu, G., 1 Dec 2011, 3rd IEEE International Conference on Adaptive Science and Technology, ICAST 2011, Proceedings. p. 208-213 6 p. 6145173

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

  • Elder care via intention recognition and evolution prospection

    Pereira, L. M. & Han, T. A., 1 Jan 2011, Applications of Declarative Programming and Knowledge Management - 18th International Conference, INAP 2009, Revised Selected Papers. Springer Verlag, p. 170-187 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6547 LNAI).

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

    8 Citations (Scopus)

  • Emerging nanotechnology-based thermal interface materials for automotive electronic control unit application

    Otiaba, K. C., Ekere, N. N., Bhatti, R. S., Mallik, S. & Amalu, E. H., 1 Dec 2011, EMPC-2011 - 18th European Microelectronics and Packaging Conference, Proceedings. 6142405

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

  • Evidence-based information systems: a decade later

    Oates, B. J., 2011, ECIS 2011 Proceedings. Association for Information Systems

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

  • Exploring a standards-based approach to the design and delivery of adaptable learning content. A case study

    Gkatzidou, V. & Pearson, E., 19 Sept 2011, Proceedings of the 2011 11th IEEE International Conference on Advanced Learning Technologies, ICALT 2011. p. 267-271 5 p. 5992245

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

    2 Citations (Scopus)

  • Feeding the Beast: Can Computational Demographic Models Free Us from the Tyranny of Data?

    Silverman, E., Bijak, J. & Noble, J., 12 Aug 2011, Artificial Life Conference Proceedings. MIT Press Journals, 8 p.

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

    Open Access
    File
    123 Downloads (Pure)

  • Games and Education: Reward Mechanisms, Framing Mechanisms, and Identities

    Sturrock, I., Grout, V., Picking, R., Gossman, P. & MacCallum-Stewart, E., 2011, SEIN2011: Proceedings of the Seventh Collaborative Research Symposium on Security, E-learning, Internet and Networking. University of Plymouth Press

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

  • Generating story variants with constrained video recombination

    Piacenza, A., Guerrini, F., Adami, N., Leonardi, R., Porteous, J., Teutenberg, J. & Cavazza, M., 28 Nov 2011, MM '11: Proceedings of the 19th ACM international conference on Multimedia. ACM, p. 223-232

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

    Open Access
    File
    175 Downloads (Pure)

  • Intention-based decision making with evolution prospection

    Han, T. A. & Pereira, L. M., 26 Oct 2011, Progress in Artificial Intelligence - 15th Portuguese Conference on Artificial Intelligence, EPIA 2011, Proceedings. p. 254-267 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7026 LNAI).

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

    5 Citations (Scopus)

  • Investigation of effects of heat sinks on thermal performance of microelectronic package

    Ekere, N. & Amalu, E., 1 Dec 2011, 3rd IEEE International Conference on Adaptive Science and Technology, ICAST 2011, Proceedings. p. 127-132 6 p. 6145164

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

    4 Citations (Scopus)

  • Multi-level 3D caricatures with relative feature displacement and head shapes

    Noble, P., Tang, W. & Oates, B., 12 Jun 2011, Proceedings of Computer Graphics International 2011.

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

    Open Access

  • New framework for policy support for Mobile Grid Services

    Alwada'n, T., Janicke, H., Aldabbas, O. & Alfawair, M., 2011, 6th International Conference on Risks and Security of Internet and Systems, CRiSIS 2011. IEEE

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

  • Real-time HIL simulation: A powerful visualisation technique to support the development of safety-critical control systems

    Short, M., Denaï, M. & Cao, W., 2011, iVERG 2010 Proceedings - International Conference on Immersive Technologies for Learning: A multi-disciplinary approach. Martin, S. (ed.). Iverg Publishing

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

  • Reliable system design for small devices

    Schwartz, M., Short, M. & Börcsök, J., 2011, Proceedings: Advances in industrial asset integrity management. Singh, M., Rao, R. & Liyanage, J. P. (eds.). COMADEM International

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

  • 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
    269 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
    31 Downloads (Pure)

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

  • The role of intention recognition in the evolution of cooperative behavior

    Han, T. A., Pereira, L. M. & Santos, F. C., 1 Dec 2011, IJCAI 2011 - 22nd International Joint Conference on Artificial Intelligence. p. 1684-1689 6 p.

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

    18 Citations (Scopus)

  • Towards an Axiomatic Verification System for JavaScript

    Qin, S., Chawdhary, A., Xiong, W., Munro, M., Qiu, Z. & Zhu, H., 2011, 2011 Fifth International Conference on Theoretical Aspects of Software Engineering. IEEE

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

  • Towards a unified theory for interactive digital storytelling - Classifying artifacts: A workshop at ICIDS 2011

    Koenitz, H., Haahr, M., Ferri, G. & Sezen, T. I., 2011, Interactive Storytelling: ICIDS 2011. Si, M., Thue, D., André, E., Lester, J. C., Tanenbaum, J. & Zammitto, V. (eds.). Springer, p. 360-361 2 p. (Lecture Notes in Computer Science; vol. 7069).

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

  • Tutor accessibility support kit (TASK): A suite of staff development resources for inclusive online learning design

    Papadopoulos, G., Pearson, E. & Green, S., 1 Dec 2011, Proceedings of the Annual Conference of the Australasian Society for Computers in Learning in Tertiary Education, ASCILITE 2011. p. 974-988 15 p.

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

    1 Citation (Scopus)

  • Using meta-agents to build MAS middleware

    Lynch, S., 14 Jul 2011, ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence. Vol. 2. p. 385-388 4 p.

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

  • Verification and validation testing of a real-time fault-detection system for mission-critical rotating equipment

    Short, M., Twiddle, J. & Schwartz, M., 2011, Proceedings: Advances in industrial asset integrity management.

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

  • Verifying SeVeCom using set-based abstraction

    Mödersheim, S. & Modesti, P., 12 Aug 2011, IEEE International Wireless Communications and Mobile Computing Conference, IWCMC 2011, Istanbul, Turkey, 4-8 July, 2011. IEEE, p. 1164-1169 6 p.

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

    File
    155 Downloads (Pure)

  • Widgets to support disabled learners: A challenge to participatory inclusive design

    Gkatzidou, V., Pearson, E., Green, S. & Perrin, F. O., 1 Dec 2011, Proceedings of the 23rd Australian Computer-Human Interaction Conference, OzCHI 2011. p. 130-139 10 p.

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

    2 Citations (Scopus)
  • 2010

    2PDA: Two-phase data approximation in wireless sensor network

    Kamal, A. R. M., Razzaque, M. A. A. & Nixon, P., 20 Dec 2010, PE-WASUN'10 - Proceedings of the 7th ACM Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, Co-located with MSWiM'10. p. 1-8 8 p. 1868591. (PE-WASUN'10 - Proceedings of the 7th ACM Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, Co-located with MSWiM'10).

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

    4 Citations (Scopus)

  • A categorisation of cloud computing business models

    Chang, V., Bacigalupo, D., Wills, G. & De Roure, D., 1 May 2010, CCGrid 2010 - 10th IEEE/ACM International Conference on Cluster, Cloud, and Grid Computing. IEEE

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

  • Accidents in Pressure Vessels: Hazard Awareness

    Ladokun, T., Nabhani, F. & Zarei, S., 2 Jul 2010, Lecture Notes in Engineering and Computer Science: Proceedings of the World Congress on Engineering 2010. International Association of Engineers, Vol. II. 4 p.

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

    Open Access
    File
    258 Downloads (Pure)

  • Adaptive control of a switch mode DC-DC power converter using a Recursive FIR predictor

    Algreer, M., Armstrong, M. & Giaouris, D., 2 Sept 2010, 5th IET International Conference on Power Electronics, Machines and Drives, PEMD 2010. 563 CP ed. Vol. 2010.

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

    3 Citations (Scopus)

  • AnBx - Security Protocols Design and Verification

    Bugliesi, M. & Modesti, P., 2010, Revised Selected Papers, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010: Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop. Armando, A. & Lowe, G. (eds.). Springer, Vol. 6186. p. 164-184 21 p. (Lecture Notes in Computer Science).

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

    File
    101 Downloads (Pure)

  • An educational tool to support the accessibility evaluation process

    Bailey, C. & Pearson, E., 16 Jul 2010, W4A 2010 - International Cross Disciplinary Conference on Web Accessibility Raleigh 2010. 1806003

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

    10 Citations (Scopus)

  • An innovative approach to integrate H&S issues in the construction project planning using serious game engine technologies

    Chavada, R. & Dawood, N., 2010, Proceedings of the 10th international conference on construction applications of virtual reality. Makanae, K., Yabuli, N. & Kashiyama, K. (eds.). CONVR2010 Organizing Committee, p. 209-218

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

    Open Access
    File
    128 Downloads (Pure)

  • Anytime intention recognition via incremental bayesian network reconstruction

    Han, T. A. & Pereira, L. M., 1 Dec 2010, Proactive Assistant Agents - Papers from the AAAI Fall Symposium, Technical Report. Vol. FS-10-07. p. 20-25 6 p.

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

    2 Citations (Scopus)

  • A review of cloud business models and sustainability

    Chang, V., Wills, G. & De Roure, D., 4 Jul 2010, Proceedings - 2010 IEEE 3rd International Conference on Cloud Computing, CLOUD 2010. IEEE, (IEEE explore).

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

  • Assessing the readability of clinical documents in a document engineering environment

    Truran, M., Georg, G., Cavazza, M. O. & Zhou, D., 2010, Proceedings of the 10th ACM symposium on Document engineering. ACM, p. 125-134

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

  • Biomechanical evaluation of optimal humeral fracture fixation devices

    Hughes, D., Nabhani, F. & Hodgson, S. N. B., 3 Sept 2010, Proceedings of IMC 27. Galway-Mayo Institute of Technology, 7 p.

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

    Open Access
    File
    57 Downloads (Pure)

  • Building information modelling (BIM): A visual & whole life cycle approach

    Dawood, N. & Iqbal, N., 2010, Proceedings of the 10th international conference on construction applications of virtual reality. Makanae, K., Yabuki, N. & Kashiyama, K. (eds.). CONVR2010 Organizing Committee, p. 7-14

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

    Open Access
    File
    586 Downloads (Pure)

  • Changing Characters’ Point of View in Interactive Storytelling

    Charles, F., Porteous, J. & Cavazza, M., 29 Oct 2010, Proceedings of the international conference on Multimedia. ACM, 4 p.

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

    Open Access
    File
    260 Downloads (Pure)