School of Information Technology and Electrical Engineering Publications

Browse Results (7659 results found)

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

Page 115 of 154

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
Proceedings of the seventh Australian workshop conference on Safety critical systems and software 2002 (2003) . Edited by Peter Lindsay. Seventh Annual Workshop on Safety Critical Systems & Software, 17-18 October, 2003, Adelaide, Australia. 37  
Proceedings of the Tenth Annual Workshop on Information Technologies and Systems (2000) . Edited by Bowen, P. L. and Mookerjee, V.. WITS 2000, 9-10 December, 2000, Brisbane. 43  
Proceedings of the Twelfth International Seaweed Symposium. Edited by Mark Ragan and Carolyn J. Bird Dordrecht, Netherlands: Springer Netherlands, 1987. doi:10.1007/978-94-009-4057-4 24   0
Proceedings of the Twenty-First Australasian Conference on Database Technologies (2010) . Edited by Shen, Heng Tao and Bouguettaya, Athman. Twenty-First Australasian Conference on Database Technologies (ADC 2010), 18-20 January 2010, Brisbane, Australia. 34  
Proceedings Seventh IEEE International Conference on Engineering of Complex Computer Systems (2001) . Edited by Sten F. Andler, Michael G. Hinchey and Jeff Offutt. Seventh IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 11-13 June 2001, Skovde, Sweden. 57  
Cerone, A. (2000). Process algebra versus axiomatic specification of a real-time protocol. In: T. Rus, Lecture Notes in Computer Science: Algebraic Methodology and Software Technology: 8th International Conference AMAST 2000. 8th International Conference AMAST 2000, Iowa City, Iowa, USA, (57-72). 20-27 May 2000. doi:10.1007/3-540-45499-3_7 31   0
Grunske, L. and Neumann, R. (2004). Process components for quality evaluation and quality improvement. In: M. Serour, Proceedings of the Second Workshop on Method Engineering for Object-Oriented and Component-Based Development. The Second Workshop on Method Engineering for Object-Oriented and Component-Based Development, Vancouver, (51-63). 24-28 October, 2004. 66  
Durantin, Gautier, Scannella, Sébastien, Gateau, Thibault, Delorme, Arnaud and Dehais, Frédéric (2016) Processing functional near infrared spectroscopy signal with a kalman filter to assess working memory during simulated flight. Frontiers in Human Neuroscience, 9 e707.1-e707.9. doi:10.3389/fnhum.2015.00707     0 0 1
Deng, Ke, Xu, Hu, Sadiq, Shazia, Lu, Yansheng, Fung, Pui Cheong Gabriel and Shen, Heng Tao (2009). Processing group nearest group query. In: Loannidis, Yannis, Dik Lee and Raymond Ng, Proceedings of 25th International Conference on Data Engineering. 25th International Conference on Data Engineering (ICDE 2009), Shanghai, China, (1144-1147). 29 March - 2 April 2009. doi:10.1109/ICDE.2009.186 67   2 Cited 5 times in Scopus5 0
Abeyratne, UR, Nabet, B and Krebs, WK (1994). Processing Ultrasound and Night-Vision Images by the Boundary Contour - Feature Contour Model of Biological Vision. In: World congress on neural networks : 1994 International Network Society Annual Meeting. 1994 International Network Society Annual Meeting, San Diego CA, United States, (IV-307-IV-313). 05-09 June 1994. 42   0
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  
Bialkowski, K. S. and Abbosh, A. M. (2015). Propagation modelling of RFID systems for road monitoring applications. In: 2015 International Symposium on Antennas and Propagation (ISAP). International Symposium on Antennas and Propagation (ISAP), Hobart, TAS, Australia, (). 9-12 November 2015.    
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  

Page 115 of 154

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 »