School of Information Technology and Electrical Engineering Publications

Browse Results (7630 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

Page 115 of 153

Result Pages:    « first ‹ previous  105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124  next › last »

Refine

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Hayes, I. J. (2003). Programs as paths: An approach to timing constraint analysis. In: J. Dong and J. Woodcock, Proceedings of the Fifth International Conference on Formal Engineering Methods. The Fifth International Conference on Formal Engineering Methods, Singapore, (1-15). 5-7 November, 2003. doi:10.1007/b94115 53   4 0
Brijesh Dongol (2009). Progress-based verification and derivation of concurrent programs PhD Thesis, School of Information Technol and Elec Engineering, The University of Queensland. 479 14
Progress in Artifical Life: Third Australian Conference, ACAL 2007 (2007) . Edited by Randall, M., Abbass, H.A. and Wiles, J.. Progress in Artifical Life: Third Australian Conference, ACAL 2007, 4-6 December, 2007, Gold Coast , Australia. 21  
Dongol, Brijesh and Mooij, Arjan J. (2006). Progress in deriving concurrent programs: Emphasizing the role of stable guards. In: T. Uustalu, Lecture Notes in Computer Science: Mathematics of Program Construction. 8th International Conference on Mathematics of Program Construction, MPC '06, Kuressaare, Estonia, (140-161). 3-5 July, 2006. doi:10.1007/11783596 60 2 9 Cited 4 times in Scopus4 3
Beck, B., Plant, D. H., Grant, S. C., Thelwall, P. E., Silver, X., Mareci, T. H., Benveniste, H., Smith, M. D., Collins, C., Crozier, S. and Blackband, S. J. (2002) Progress in high field MRI at the University of Florida. Magnetic Resonance Materials In Physics Biology And Medicine, 13 3: 152-157. doi:10.1016/S1352-8661(01)00140-5 54   26 Cited 25 times in Scopus25 0
Bamford, P. C., Jackway, P. T. and Lovell, Brian (1999). Progress in the robust automated segmentation of real cell images. In: Binh Pham, Michael Braun, Anthony J. Maeder and Michael P. Eckert, Proceedings of SPIE: New Approaches in Medical Image Analysis. New Approaches in Medical Image Analysis, Ballarat, Australia, (34-56). 31 July 1998. doi:10.1117/12.351626 113   2 0
De Visser, Hans, Watson, Marcus O., Salvado, Olivier and Passenger, Joshua D. (2011) Progress in virtual reality simulators for surgical training and certification. Medical Journal of Australia, 194 4: S38-S40. 58 3 6 0
Khan, Hina A. and Sharaf, Mohamed A. (2015). Progressive diversification for column-based data exploration platforms. In: 2015 IEEE 31st International Conference on Data Engineering, ICDE 2015. IEEE International Conference on Data Engineering, Seoul, South Korea, (327-338). 13-17 April 2015. doi:10.1109/ICDE.2015.7113295 170   0 0
Li, Guoliang, Zhou, Xiaofang, Feng, Jianhua and Wang, Jianyong (2009). Progressive keyword search in relational databases. In: Yannis Ioannidis, Dik Lee and Raymond Ng, Proceedings of 25th International Conference on Data Engineering (ICDE 2009). 25th International Conference on Data Engineering (ICDE 2009), Shanghai, China, (1183-1186). 29 March - 2 April 2009. doi:10.1109/ICDE.2009.196 39   8 Cited 11 times in Scopus11 0
Orlowska, M. E. (2000). Progress, obstacles and opportunities in development of database technology. In: X Zhou, J Fong, X Jia, Y Kambayashi and Y Zhang, Proceedings of the 1st International Conference on Web Information Systems Engineering: WISE 2000. WISE 2000, Hong Kong, (xiii-xiv). 19-21 June 2000. 30  
Ye, Mao, Li, Xue and Orlowska, Maria E. (2009) Projected outlier detection in high dimensional mixed-attributes data set. Expert Systems With Applications, 36 3: 7104-7113. doi:10.1016/j.eswa.2008.08.030 126   7 Cited 15 times in Scopus15 0
Zhou, Xiaofang (2012) Prolog to the Section on Mass Storage and Data Retrieval. Proceedings of the IEEE, 100 Special Centennial Issue: 1431-1432. doi:10.1109/JPROC.2012.2189914 64   0 0 0
Sadiq, Shazia (2013). Prologue: research and practice in data quality management. In Shazia Sadiq (Ed.), Handbook of data quality: research and practice (pp. 1-11) Berlin, Germany: Springer. doi:10.1007/978-3-642-36257-6 1 26   0
Antoniou, Grigoris, Bikakis, Antonis, Dimaresis, Nikos, Genetzakis, Manolis, Georgalis, Giannis, Governatori, Guido, Karouzaki, Efie, Kazepis, Nikolas, Kosmadakis, Dimitris, Kritsotakis, Manolis, Lilis, Giannis, Papadogiannakis, Antonis, Pediaditis, Panagiotis, Terzakis, Constantinos, Theodosaki, Rena and Zeginis, Dimitris (2008) Proof explanation for a nonmonotonic Semantic Web rules language. Data and Knowledge Engineering, 64 3: 662-687. doi:10.1016/j.datak.2007.10.006 57   11 Cited 15 times in Scopus15 0
Bassiliades, Nick, Antoniou, Grigoris and Governatori, Guido (2007). Proof Explanation in the DR-DEVICE System. In: Marchiori, Massimo, Pan, Jeff Z. and de Sainte Marie, Christian, Web Reasoning and Rule Systems (RR'2007), Innsbruck, Austria, (249-258). 7-8 June, 2007. doi:10.1007/978-3-540-72982-2_19 108 421 0 0
Watson, Geoffrey Norman (1998) Proof representations in Theorem Provers. SVRC Technical Report 98-13, Software Verification Research Centre, School of Information Technology, The University of Queensland. 16 1
Williamson, K. (2001). Propagating abominable knowledge: Zines on the tekno fringe. In G. St John (Ed.), FreeNRG: Notes from the Edge of the Dance Floor (pp. 37-54) Melbourne: Common Ground Publishing. 38  
Hannah, Bruce M., Kubik, Kurt K. T. and Walker, Rodney A. (1999) Propagation modelling of GPS signals. Schriftenreihe der Institute des Studiengangs Geodäsie und Geoinformatik [Technical Reports Department of Geodesy and GeoInformatics], 6: 137-150. 59  
Hannah, B., Kubik, K. K. T. and Walker, R. (2003). Propagation modelling of GPS signals. In E. Grafarend, F. Krumm and V. Schware (Ed.), Geodesy: The Challenge of the 3rd Millennium 1 ed. (pp. 69-78) Berlin: Springer. 64  
Fu, Zheng and Smith, Graeme (2011) Property transformation under specification change. Frontiers of Computer Science in China, 5 1: 1-13. doi:10.1007/s11704-010-0112-5 71 3 0 0 0
Cerone, A. and Milne, G. (2001) Property verification of asynchronous systems Brisbane: Software Verification Research Cen. Univ of Qld 34  
Cerone, Antonio and Milne, George (2000) Property Verification within a Process Algebra Framework. Technical Report 00-10, Software Verification Research Centre, School of Information Technology, The University of Queensland. 372 371
Hoffman, D. and Strooper, P. A. (2000). Prose + test cases = Specifications. In: Q Li, D Firesmith, R Riehle, G Pour and B Meyer, Proceedings 34th International Conference on Technology of Object-Oriented Languages and Systems: TOOLS 34. TOOLS 34, Santa Barbara, (239-250). 30 July - 4 August 2000. 30   1
Grundgeiger, Tobias, Sanderson, Penelope M. and Key Dismukes, R. (2014) Prospective memory in complex sociotechnical systems. Zeitschrift fur Psychologie / Journal of Psychology, 222 2: 100-109. doi:10.1027/2151-2604/a000171 95 3 2 Cited 3 times in Scopus3 0
Grundgeiger, Tobias, Venkatesh, Bala, Sanderson, Penelope, Beltran Orihuela, Christina, Thompson, Andrea and MacDougall, Hamish (2010). Prospective memory in intensive care nursing. In: International Conference on Prospective Memory (ICPM3), Vancouver, BC, Canada, (). 28-30 July 2010. 80 3
Portmann, M., Ardon, S., Senac, P. and Seneviratne, A. (2004). PROST: A programmable structured peer-to-peer overlay network. In: Germano Caronni, Nathalie Weiler and Nahid Shahmehri, Proceedings of the Fourth IEEE International Conference on Peer-to-Peer Computing. The Fourth IEEE International Conference on Peer-to-Peer Computing (P2P 2004), Zurich, Switzerland, (280-282). 25-27 August 2004. doi:10.1109/PTP.2004.1334965 53   Cited 1 times in Scopus1 0
Verlinden, Jan, Van den Bogaert, Etienne, Bostoen, Tom, Cendrillon, Raphael and Moonen, Marc (2004). Protecting The Robustness Of ADSL And VDSL DMT Modems When Applying DSM. In: International Zurich Seminar on Communications, Zurich, Switzerland, (). Febuary 2004. 401 1355
Hamilton, N., Burrage, K., Ragan, M. A. and Huber, T. (2004). Protein contact prediction using patterns of correlation. In: 29th Lorne Protein Conference. 29th Annual Lorne Conference on Protein Structure and Function, Lorne, Victoria, (). 8-12 February 2004. 46  
Pathak, Ranjana, Hu, Peizhao, Indulska, Jadwiga and Portmann, Marius (2013). Protocol for efficient opportunistic communication. In: Damla Turgut, Nils Aschenbruck and Jens Tölle, Proceedings of the 38th Annual IEEE Conference on Local Computer Networks (LCN 2013). 38th Annual IEEE Conference on Local Computer Networks (LCN 2013), Sydney, Australia, (244-247). 21-24 October 2013. doi:10.1109/LCN.2013.6761240 50   0 0
Oborn, B. M., Dowdell, S., Metcalfe, P. E., Crozier, S., Mohan, R. and Keall, P. J. (2015) Proton beam deflection in MRI fields: implications for MRI-guided proton therapy. Medical Physics, 42 5: 2113-2124. doi:10.1118/1.4916661 20   0 0 9
Xiao, Di, Ng, Wan S., Abeyratne, Udantha R. and Tsang, Charles B. (2002). Prototype of rectal wall ultrasound image analysis system. In: Milan Sonka and J. Michael Fitzpatrick, Medical Imaging 2002: Image Processing. Medical Imaging 2002 Conference, San Diego CA, United States, (1427-1438). 24-28 February 2002. doi:10.1117/12.467108 28   1 Cited 1 times in Scopus1 0
Wensveen, Stephan and Matthews, Ben (2015). Prototypes and prototyping in design research. In Paul A. Rodgers and Joyce Yee (Ed.), Routledge Companion to Design Research (pp. 262-276) London, United Kingdom: Routledge. 153 1 0
Hunter, J. and Cheung, K. (2007) Provenance explorer: A graphical interface for constructing scientific publication packages from provenance trails. International Journal on Digital Libraries, 7 1-2: 99-107. doi:10.1007/s00799-007-0018-5 51   Cited 12 times in Scopus12 17
Cheung, Kwok and Hunter, Jane (2006). Provenance Explorer: A Tool for Viewing Provenance Trails and Constructing Scientific Publication Packages. In: C. Niederee, T. Risse and R. Heery, Proceedings of the International Workshop on Digital Library Goes e-Science. ECDL2006 Workshop: Digital Library Goes e-Science (DLSci06), Alicante, Spain, (13-26). 17-22 September, 2006. 175 90
Cheung, Kwok and Hunter, Jane (2006). Provenance explorer: Customized provenance views using semantic inferencing. In: I. Cruz, S. Decker, D. Allemang, C. Priest, D. Schwabe, P. Mika, M. Uschold and L. Aroyo, Lecture Notes in Computer Science: 5th International Semantic Web Conference (ISWC2006). 5th International Semantic Web Conference, ISWC2006, Athens, GA, USA, (215-227). 5-9 November, 2006. doi:10.1007/11926078_16 187 172 9 0 0
Li, Guoliang, Feng, Jianhua, Zhou, Xiaofang and Wang, Jianyong (2011) Providing built-in keyword search capabilities in RDBMS. VLDB Journal, 20 1: 1-19. doi:10.1007/s00778-010-0188-4 96 4 8 Cited 13 times in Scopus13 0
Hunter, Jane and Odat, Suleiman (2013). Providing Decision Support Tools for Art Conservators through a Shared Knowledge Base. In: The Meaning of Materials in Modern and Contemporary Art. 2012 AICCM Paintings Group + The 20th Century in Paint symposium, Brisbane, Australia, (). 10 - 11 December 2012. 96  
Brooking, Charles and Hunter, Jane (2013) Providing online access to hydrological model simulations through interactive geospatial animations. Environmental Modelling and Software, 43 163-168. doi:10.1016/j.envsoft.2013.01.011 35   3 Cited 4 times in Scopus4 0
Cheng, A. S. K., Han, J., Welsh, J. and Wood, A. (1992) Providing user-oriented support for software development by formal methods. SVRC Technical Report 92-8, Software Verification Research Centre, Department of Computer Science, The University of Queensland. 20 2
Havas, George and Ramsay, Colin (2000) Proving a group trivial made easy: A case study in COSET enumeration. Bulletin of the Australian Mathematical Society, 62 2000: 105-118. 38   5 0
Smith, Graeme and Winter, Kirsten (2003). Proving Temporal Properties of Z Specifications Using Abstraction. In: D. Bert, J. P. Bowen, S. King and M. Waldén, ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings. ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users, Turku, Finland, (260-279). 4–6 June 2003. doi:10.1007/3-540-44880-2_17 71 113 8 0
Hides, J., Fan, T., Stanton, W., Stanton, P., McMahon, K. and Wilson, S. (2010) Psoas and quadratus lumborum muscle asymmetry among elite Australian Football League players. British Journal of Sports Medicine, 44 8: 563-567. doi:10.1136/bjsm.2008.048751 335   17 Cited 20 times in Scopus20 24
Carrington, D. A., Mceniery, B. and Johnston, D. B. (2001). PSP in the large class. In: D. Ramsay, P. Bourque and R. Dupuis, Proceeding: Fourteenth Conference on Software Engineering, Education and Training. Fourteenth Conference on Software Engineering, Education and Trainig, Charlotte, North Carolina, (81-88). 19-21 February, 2001. 62  
Kim, Paul, Kim, Flora Hisook and Karimi, Arafeh (2012) Public online charter school students: choices, perceptions, and traits. American Educational Research Journal, 49 3: 521-545. doi:10.3102/0002831212443078 31   0 Cited 3 times in Scopus3 2
Gao, Lianli and Hunter, Jane (2011). Publishing, Linking and Annotating Events via Interactive Timelines: an Earth Sciences Case Study. In: Marieke van Erp, Willem Robert van Hage, Laura Hollink, Anthony Jameson and Raphaël Troncy, Proceedings of the Workhop on Detection, Representation, and Exploitation of Events in the Semantic Web (DeRiVE 2011), Workshop in conjunction with the 10th International Semantic Web Conference 2011 (ISWC 2011). DeRIVE 2011 (Detection, Representation, and Exploitation of Events in the Semantic Web) Workshop in conjunction with ISWC 2011, Germany, (11-21). 23 October, 2011. 57   0
Foo, J. Y. A., Wilson, S. J., Williams, G., Harris, M. A. and Cooper, D. (2005) Pulse transit time as a derived noninvasive mean to monitor arterial distensibility changes in children. Journal of Human Hypertension, 19 9: 723-729. doi:10.1038/sj.jhh.1001891 110   14 Cited 15 times in Scopus15 0
Foo, J. Y. A., Wilson, S. J., Williams, G. R, Harris, M-A. and Cooper, D. M (2005). Pulse transit time as surrogate measure of blood pressure in children. In: Prof. K.P. Adlassnig and Prof. M. Bracale, 3rd International Association of Science and Technology for Development (IASTED) International Conference on Biomedical Engineering (BioMed 2005). 3rd IASTED International Conference on Biomedical Engineering, Innsbruck, Austria, (349-352). 16-18 February, 2005. 97  
Foo, Jong Yong A., Wilson, Stephen J., Williams, Gordon. R., Harris, Margaret-Anne and Cooper, David M. (2005) Pulse transit time changes observed with different limb positions. Physiological Measurement, 26 6: 1093-1102. doi:10.1088/0967-3334/26/6/018 84   13 Cited 18 times in Scopus18 0
Foo, J. Y. A., Lim, C. S., Wilson, S. J., Williams, G. R., Harris, M. A. and Cooper, D. M. (2007) Pulse transit time ratio as a potential marker for paediatric crural and brachial blood pressure index. Journal of Human Hypertension, 21 5: 415-417. doi:10.1038/sj.jhh.1002139 71   6 Cited 8 times in Scopus8 0
Foo, J. Y. A., Wilson, S. J., Williams, G. R, Coates, A., Harris, M-A. and Cooper, D. M (2005). Pulse transit time values and predictive models in children aged 5-12 years. In: K. P. Adlassnig and M. Bracale, 3rd International Association of Science and Technology for Development (IASTED) International Conference on Biomedical Engineering (BioMed 2005). 3rd IASTED International Conference on Biomedical Engineering, Innsbruck, Austria, (353-356). 16-18 February 2005. 42  

Page 115 of 153

Result Pages:    « first ‹ previous  105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124  next › last »