School of Information Technology and Electrical Engineering Publications

Browse Results (7644 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
Padmanabhan, Vineet, Governatori, Guido, Sadiq, Shazia, Colomb, Robert M. and Rotolo, Antonino (2006). Process Modelling: The Deontic Way. In: Marcus Stumptner, Sven Hartmann and Yasushi Kiyoki, Conceptual Modelling 2006: Proceedings of the 3rd Asia-Pacific Conference on Conceptual Modelling. The 3rd Asia Pacific Conference on Conceptual Modelling (APCCM 2006), Hobart, Tasmania, (1-10). 16-19 January, 2006. 328 1297
Sanderson, P. M., Pipingas, A., Danieli, F. and Silberstein, R. (2003) Process monitoring and configural display design: a neuroimaging study. Theoretical Issues in Ergonomics Science, 4 1-2: 151-174. 51  
Crosthwaite, Peter, Williams, John and Sutton, Peter (2009). Profile driven data-dependency analysis for improved high level language hardware synthesis. In: Neil Bergmann, Oliver Diessel and Lesley Shannon, Proceedings of the 2009 International Conference on Field-Programmable Technology. 2009 International Conference on Field-Programmable Technology, Sydney , Australia, (207-214). 9-11 December 2009. doi:10.1109/FPT.2009.5377672 121 7 0 0
Ross-Conley, F., Bertling, K., Lim, Y. L., Bradley, A. P. and Rakic, A. (2012). Profiling the change in refractive index using the self-mixing effect in lasers. In: COMMAD 2012 Proceedings. 2012 Conference on Optoelectronic and Microelectronic Materials & Devices (COMMAD 2012), Melbourne, Australia, (85-86). 12-14 December 2012. doi:10.1109/COMMAD.2012.6472372 89   0 0 0
Program and proceedings (1999) . Edited by Kubik, K. K. T.. The 4th International Symposium on Satellite Navigation, July 20-23, 1999, Brisbane. 34  
Williams, John A. and Bergmann, Neil W. (2004). Programmable Parallel Coprocessor Architectures for Reconfigurable System-on-Chip. In: Oliver Diessel, and John A. Williams,, Programmable parallel coprocessor architectures for reconfigurable system-on-chip. 2004 International Conference on Field-Programmable Technology, Brisbane, Australia, (193-200). 6-8 December, 2004. doi:10.1109/FPT.2004.1393268 2696 1580 1 0
Dastani, M., Governatori, G., Rotolo, A. and van der Torre, L. (2005). Programming Cognitive Agents in Defeasible Logic. In: Sutcliffe, G. and Voronkov, A., Logic For Programming, Artificial Intelligence, And Reasoning, Proceedings. 12th International Conference Logic for Programming, Artificifial Intelligence and Reasoning (LPAR), Montego Bay, Jamaica, (621-636). 2-6 December, 2005. doi:10.1007/11591191_43 155 800 11 Cited 13 times in Scopus13 0
Clark, K, Robinson, PJ and Hagen, R (1998) Programming internet based DAI applications in Qu-Prolog. Multi-agent Systems, 1544 137-151. 74   2
Thomas, Dave (2007) Programming the world in a browser: real men don't do JavaScript do they?!. Journal of Object Technology, 6 10: 25-29. 20 1 0
Wyeth, Peta and Purchase, Helen C. (2000). Programming without a computer: A new interface for children under eight. In: B Thomas and J Warren, Proceedings of IEEE: First Australasian User Interface Conference: AUIC 2000. AUIC 2000, Canberra, (141-148). 31 January - 3 February 2000. doi:10.1109/AUIC.2000.822080 28   Cited 6 times in Scopus6 0
Bailes, P.A.C. (2001). Programming without data: Towards a totally functional programming style. In: D. Smavatkul, Proceedings of the Fifth National Computer Science and Engineering Conference. The Fifth National Computer Science and Engineering Conference, Chiang Mai, Thailand, (5-12). 7-9 November, 2001. 86  
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

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 »