School of Information Technology and Electrical Engineering Publications

Browse Results (7380 results found)

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

Page 115 of 148

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
Smith, G. P. (2000). Recursive schema definitions in Object-Z. In: J. P. owen, S. Dunne, A. Galloway and S. King, Lecture notes in computer science: ZB 2000 - Formal Specification and Development in Z and B. International Conference of B and Z Users (ZB 2000), York, UK, (42-58). 29 August - 2 September 2000. 33  
Cheung, C. H., Djurisic, A. B., Kwong, C. Y., Tam, H. L., Cheah, K. W., Lui, Z. T., Chan, W. K., Chui, P. C., Chan, J. and Rakic, A. D. (2005) Reduced angular dependence of the emission from tris(8-hydroxyquinoline) aluminum based microcavity. Optics Communications, 248 1-3: 287-293. doi:10.1016/j.optcom.2004.12.006 186 543 4 Cited 4 times in Scopus4 0
Wang, Yifan, Bakar, Aslina and Bialkowski, Marek (2011) Reduced-size uwb uniplanar tapered slot antennas without and with corrugations. Microwave and Optical Technology Letters, 53 4: 830-836. doi:10.1002/mop.25878 60   3 Cited 6 times in Scopus6 0
Ma, J., Han, D., He, R., Dong, Z.Y. and Hill, D.J. (2008) Reducing Identified Parameters of Measurement-Based Composite Load Model. IEEE Transactions on Power Systems, 23 1: 76-83. doi:10.1109/TPWRS.2007.913206 48   33 Cited 71 times in Scopus71 0
Wolfs, P. J., Hargreaves, D. and Saha, T.K. (2007). Reducing the engineering skills shortage in the generation sector. In: S. Islam, Conference Proceedings of the 2007 Australasian Universities Power Engineering Conference. 2007 Australasian Universities Power Engineering Conference, Perth, WA, Australia, (844-848). 9-12 December 2007. doi:10.1109/AUPEC.2007.4548127 76   0 Cited 0 times in Scopus0 0
Bialkowski, M. E., Janapsatya, J. and Piper, B. R. (2002). Reducing the height of a circular array of monopoles using top hats. In: K. Honjo, 2002 Asia-Pacific Microwave Conference Proceedings: Microwave Renaissance Launced from Kyoto. 2002 Asia-Pacific Microwave Conference, Kyoto, Japan, (1241-1244). 19-22 November, 2002. 85  
Janapsatya, J. and Bialkowski, M. E. (2004) Reducing the height of a circular array of monopoles using top hats and dielectric coatings. Radio Science, 39 3: RS3004-1-RS3004-10. doi:10.1029/2002RS002774 55   2 Cited 2 times in Scopus2 0
Hui, HT (2002) Reducing the mutual coupling effect in adaptive nulling using a re-defined mutual impedance. Ieee Microwave And Wireless Components Letters, 12 5: 178-180. 94   28
Dufton, L. and Boden, M. (2007). Reducing the number of support vectors to allay inefficiency of large-scale models in computational biology. In: Pham, T.D. and Zhou, X., Proceedings of the 2007 International Symposium on Computational Models for Life Sciences (CMLS'07). Computational Models for Life Sciences - CMLS'07, Queensland, Australia, (340-348). 17-19 December, 2007. doi:10.1063/1.2816639 75   0 Cited 0 times in Scopus0 0
Arnott, Shane D. and Lindsay, Peter A. (2010). Reducing uncertainty in Systems Engineering through Defence Experimentation. In: Angela Tuffley, Proceedings of the Improving Systems and Software Engineering Conference (ISSEC): Rising to the Challenge. Improving Systems and Software Engineering Conference 2010 (ISSEC 2010), Brisbane, Australia, (13-24). 23-26 August 2010. 73 1
Zheng, Kai, Zheng, Yu, Xie, Xing and Zhou, Xiaofang (2012). Reducing uncertainty of low-sampling-rate trajectories. In: ICDE 2012 IEEE 28th International Conference on Data Engineering. 28th IEEE International Conference on Data Engineering (ICDE), Washington, DC, United States, (1144-1155). 1-5 April 2012. doi:10.1109/ICDE.2012.42 57 8 9 Cited 13 times in Scopus13 0
Kayed, A. and Colomb, R. M. (2001). Re-engineering approach to building domain ontologies. In: J.G. Carbondell and J. Siekmann, Web intelligence: Research and development. First Asia Pacific Conference on Web Intelligence, Maebashi City, Japan, (464-472). 23-26 October 2001. 38  
McComb, Tim and Smith, Graeme (2006) Refactoring Object-Oriented Specifications: A Process for Deriving Designs. Technical Report SSE-2006-01, School of Information Technology and Electrical Engineering, The University of Queensland. 387 394
Smith, Graeme and Helke, Steffen (2011). Refactoring object-oriented specifications with inheritance-based polymorphism. In: 2011 Fifth International Symposium on Theoretical Aspects of Software Engineering (TASE). 5th International Conference on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, Shaanxi, China, (35-41). 29-31 August 2011. doi:10.1109/TASE.2011.31 30   Cited 1 times in Scopus1 0
Smith, Greame and McComb, Tim (2008). Refactoring real-time specifications. In: J. Derrick, E. Boiten and G. Schellhorn, Proceedings of the 13th BAC-FACS Refinement Workshop (Refine 2008). International Refinement Workshop (Refine 2008), Turku, Finland, (359-380). 27 May, 2008. doi:10.1016/j.entcs.2008.06.016 46   Cited 1 times in Scopus1 0
Groza, Tudor, Grimnes, Gunnar AAstrand and Handschuh, Siegfried (2012) Reference information extraction and processing using conditional random fields. Information Technology and Libraries, 31 2: 6-20. 18 7 0 Cited 0 times in Scopus0
Meinicke, Larissa and Solin, Kim (2010) Refinement algebra for probabilistic programs. Formal Aspects of Computing, 22 1: 3-31. doi:10.1007/s00165-009-0111-1 61 17 4 Cited 5 times in Scopus5 0
Lermer, Karl and Strooper, Paul (2000) Refinement and State Machine Abstraction. Technical Report 00-01, Software Verification Research Centre, School of Information Technology, The University of Queensland. 342 403
Lermer, K. R. C. and Strooper, P. A. (2001) Refinement and state machine abstraction. Theoretical Computer Science, 266 1-2: 195-235. doi:10.1016/S0304-3975(00)00169-9 27   0 0
Fidge, C. J., Robinson, P. J. and Dunne, S. (2005). Refinement laws for verifying library subroutine adaptation. In: P. Strooper, 2005 Australian Software Engineering Conference Proceedings. 2005 Australian Software Engineering Conference, Brisbane, Australia, (224-232). 29 March - 1 April, 2005. doi:10.1109/ASWEC.2005.40 46   0 Cited 0 times in Scopus0 0
Wabenhorst, A. K. (2001). Refinement of atomicity in real-time concurrent systems. In: Hossam ElGindy and Colin Fidge, Proceedings of the 7th Australasian Conference on Parallel and Real-Time Systems. PART 2000, Sydney, Australia, (149-160). 29-30 November 2000. 29  
Colvin, Robert, Hayes, Ian J., Hemer, David G. and Strooper, Paul A. (2003). Refinement of higher-order logic programs. In: M. Leuschel, Lecture Notes in Computer Science. Logic Based Program Synthesis and Transformation. Proceedings of the Twelfth International Workshop. The Twelfth International Symposium on Logic-based Program Synthesis and Transformation, Madrid, Spain, (126-143). 17-20 September 2002. doi:10.1007/3-540-45013-0_11 111 112 1 Cited 1 times in Scopus1 0
Völzer, Hagen (2002). Refinement-robust fairness. In: Luboš Brim, Mojmír Kretínský, Antonín Kucera and Petr Jancar, Lecture Notes In Computer Science. Concur 2002 - Concurrency Theory 13th International Conference Proceedings. Concur 2002, Brno, Czech Republic, (547-561). 20-23 August, 2002. doi:10.1007/3-540-45694-5 14   0
Sanders, J. W. and Smith, Graeme (2009). Refining emergent properties. In: Eerke Boiten, John Derrick and Steve Reeves, Proceedings of the 14th BAC-FACS International Refinement Workshop (Refine 2009). International Refinement Workshop (Refine 2009), Eindhoven, The Netherlands, (207-233). 3 November 2009. 42   Cited 2 times in Scopus2
Watson, G. N. (2002). Refining exceptions using King and Morgan's exit construct. In: P. Strooper and P. Muenchaisri, 9th Asia-Pacific Software Engineering Conference (APSEC 2002): Proceedings. APSEC 2002: Ninth Asia-Pacific Software Engineering Conference, 2002, Gold Coast, Australia, (43-51). 4-6 December 2002. doi:10.1109/APSEC.2002.1182974 41   0
Colvin, Robert, Hayes, Ian J. and Strooper, Paul A. (2000). Refining logic programs using types. In: Jenny Edwards, Proceedings 23rd Australasian Computer Science Conference: ACSC 2000. ACSC 2000, Canberra, ACT, Australia, (43-50). 31 January - 3 February, 2000. doi:10.1109/ACSC.2000.824379 42   0
Colvin, Rob, Hayes, Ian and Strooper, Paul (1999) Refining logic programs using types and invariants. SVRC Technical Report 99-25, Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland. 27 1
Shield, J. and Hayes, I. J. (2002). Refining object-orientated invariants and dynamic constraints. In: P. Strooper and P. Muenchaisri, Asia-Pacific Software Engineering Conference. Ninth Asia-Pacific Software Engineering Conference, The Gold Coast, (52-61). 4-6 December, 2002. 54   0
Hayes, I. J., Nickson, R. G. and Strooper, P. A. (1996). Refining specifications to logic programs. In: Lecture Notes in Computer Science: Logic Program Synthesis and Transformation. Logic Program Synthesis and Transformation 6th International Workshop, LOPSTR'96, Stockholm, Sweden, (1-19). August 28–30, 1996. doi:10.1007/3-540-62718-9_1 47   2 0
Bialkowski, M.E. and Encinar, J. (2007). Reflectarrays: Potentials and Challenges. In: Uslenghi, P.L.E., International Conference on Electromagnetics in Advanced Applications, 2007 ICEAA 2007. ICEAA'07, International Conference on Electromagnetics in Advanced Applications, Torino, Italy, (1050-1053). 17-21 September, 2007. doi:10.1109/ICEAA.2007.4387490 28   Cited 7 times in Scopus7 0
Gibbons, C, Wyeld, T G, Leavy, B and Hills, J (2006). Reflecting on the Creation of an Authentic Aural Experience in the Digital Songlines Game Engine: Part of a Contextualised Cultural Heritage Knowledge Toolkit. In: M Loannides, D Arnold, F Niccolucci and K Mania, The 7th International Symposium on Virtual Reality, Archaeology and Cultural Heritage VAST (2006). VAST 2006, Nicosia, Cyprus, (237-242). October 30 - November 4, 2006. 70  
Mcgarry, B., Matthews, B. and Brereton, M. (2000). Reflections on a candidate user-interface for a wireless vital signs monitor. In: Proceedings of DARE 2000 Designing Augmented Reality Environements. DARE 2000, Elsinore, Denmark, (33-40). 12-14 April 2000. doi:10.1145/354666.354670 40   0
MacColl, I. D., Morrison, A. J., Muhlberger, R. M., Simpson, M. R., Viller, S. A. and Wyeld, T. G. (2005). Reflections on reflection: Blogging in undergraduate design studios. In: Anne Bartlett-Bragg, Blogtalk Downunder. Blogtalk Downunder, Sydney, Australia, (). 19-22 May 2005. 107  
Green, Brian Robert (2005). Reflections on the circle of life : interactions in a pathology environment (medical) : a 'wicked problem Master's Thesis, School of Information Technology and Electrical Engineering, The University of Queensland. 18 2
Li, Xue (2004). Reflective web interface agent. In: J. Yu, X. Lin, H. Lu and Y. Zhang, Advanced Web Technologies and Applications: Proceedings of the 6th Asia-Pacific Web Conference, APWeb 2004. The Sixth Asia Pacific Web Conference (APWEB'04), Hangzhou, China, (146-151). 14-17 April 2004. doi:10.1007/b96838 76   0 0
Villain, Nicolas, Chetelat, Gael, Grassiot, Blandine, Bourgeat, Pierrick, Jones, Gareth, Ellis, Kathryn A., Ames, David, Martins, Ralph N., Eustache, Francis, Salvado, Olivier, Masters, Colin L., Rowe, Christopher C. and Villemagne, Victor L. (2012) Regional dynamics of amyloid-beta deposition in healthy elderly, mild cognitive impairment and Alzheimer's disease: a voxelwise PiB-PET longitudinal study. Brain, 135 7: 2126-2139. doi:10.1093/brain/aws125 34   51 Cited 52 times in Scopus52 2
Zhang, Teng, Wiliem, Arnold and Lovell, Brian C. (2013). Region-based anomaly localisation in crowded scenes via trajectory analysis and path prediction. In: 2013 International Conference on Digital Image Computing: Techniques and Applications, DICTA 2013. 2013 International Conference on Digital Image Computing: Techniques and Applications, DICTA 2013, Hobart, TAS, Australia, (208-214). November 26, 2013-November 28, 2013. doi:10.1109/DICTA.2013.6691519 50   0 Cited 0 times in Scopus0 0
Mehnert, Andrew J. H., Bamford, Pascal C., Bradley, Andrew P., Wilson, Stephen, Appleton, Ben, Crozier, Stuart, McMahon, Kerry and Kennedy, Dominic (2005). Registration evaluation of dynamic breast MR images. In: Brian C. Lovell and Anthony J. Maeder, Proceedings of the APRS Workshop on Digital Image Computing (WDIC2005). APRS Workshop on Digital Image Computing, Griffith University, Southbank, Brisbane, Australia, (21-26). 21 February, 2005. 445 465
Wong, Yong, Sanderson, Conrad and Lovell, Brian C. (2009). Regression based non-frontal face synthesis for improved identity verification. In: Xiaoyi Jiang and Nicolai Petkov, Computer Analysis of Images and Patterns. 13th International Conference, CAIP 2009, Munster, Germany, (116-124). 2-4 September, 2009. doi:10.1007/978-3-642-03767-2_14 231 2 Cited 1 times in Scopus1 0
Liu, XiaoFang, Ye, Xiuzi, Zhang, Sanyuan and Liu, Feng (2011) Regularized least squares estimating sensitivity for self-calibrating parallel imaging. Journal of Computers, 6 5: 857-864. doi:10.4304/jcp.6.5.857-864 24   Cited 4 times in Scopus4 0
Zillmann, Matthew, Yan, Ruifeng and Saha, Tapan Kumar (2011). Regulation of distribution network voltage using dispersed battery storage systems: A case study of a rural network. In: 2011 IEEE Power and Energy Society General Meeting Proceedings. 2011 IEEE Power and Energy Society General Meeting (IEEE PES-GM), Detroit, MI, United States, (1-8). 24-28 July 2011. doi:10.1109/PES.2011.6039094 98 48 0 Cited 0 times in Scopus0 0
McPartland, Michelle and Gallagher, Marcus (2011) Reinforcement learning in first person shooter games. Ieee Transactions On Computational Intelligence and Ai in Games, 3 1: 43-56. doi:10.1109/TCIAIG.2010.2100395 72   5 Cited 13 times in Scopus13 1
Alavi, Azadeh, Harandi, Mehrtash and Sanderson, Conrad (2013). Relational divergence based classification on Riemannian manifolds. In: Proceedings of IEEE Workshop on Applications of Computer Vision. 2013 IEEE Workshop on Applications of Computer Vision, Tampa, FL, United States, (111-116). 15-17 January 2013. doi:10.1109/WACV.2013.6475007 31 1 Cited 2 times in Scopus2 0
Foo, J. Y. A., Parsley, C. L., Wilson, S. J., Williams, G. R, Harris, M. and Cooper, D. M (2005). Relations between physiologic parameters and pulse transit time during loaded breathing. In: Y. T. Shang and L. X. Xu, Proceedings of the 2005 IEEE Engineering in Medicine and Biology 27th Annual Conference. 27th Annual IEEE Engineering in Medicine and Biology Society, Shanghai, China, (7521-7524). 1-4 September 2005. doi:10.1109/IEMBS.2005.1616252 59   0 Cited 2 times in Scopus2 0
Henderson, James A. and Robinson, Peter A. (2014) Relations Between the Geometry of Cortical Gyrification and White-Matter Network Architecture. Brain Connectivity, 4 2: 112-130. doi:10.1089/brain.2013.0183 16   3
Chetelat, Gael, Villemagne, Victor L., Bourgeat, Pierrick, Pike, Kerryn E., Jones, Gareth, Ames, David, Ellis, Kathryn A., Szoeke, Cassandra, Martins, Ralph N., O'Keefe, Graeme J., Salvado, Olivier, Masters, Colin L., Rowe, Christopher C. and Australian Imaging Biomarkers and Lifestyle Research Group (2010) Relationship between atrophy and beta-amyloid deposition in Alzheimer disease. Annals of Neurology, 67 3: 317-324. doi:10.1002/ana.21955 45   151 Cited 153 times in Scopus153 1
Roxbury, T., McMahon, K., Read, S., Henderson, R., Wong, A., Coulthard, A., Farrell, A., Burfein, P., Taubert, S., Buckley, R., McHenery, C. and Copland, D. (2014). Relationship between subacute brain activity and aphasia recovery. In: Aphasiology: past, present and future. 15th International Science of Aphasia Conference, Venice, Italy, (188-188). 19 - 24 September 2014. 40 1 Cited 0 times in Scopus0
Abramson, David, Chu, Clement, Kurniawan, Donny and Searle, Aaron (2009) Relative debugging in an integrated development environment. Software: Practice and Experience, 39 14: 1157-1183. doi:10.1002/spe.932 21   0 Cited 1 times in Scopus1 0
Shi, H.X., Cohen, D. A., Barton, J., Majewski, M. L., Coldren, L.A., Larson, M. and Fish, G.A. (2002) Relative intensity noise measurements of a widely tunable sampled-grating DBR laser. IEEE Photonics Technology Letters, 14 6: 759-761. 73   7
Vuckovic, Anita, Sanderson, Penelope, Neal, Andrew, Gaukrodger, Stephen and Wong, B. L. William (2013) Relative position vectors: an alternative approach to conflict detection in air traffic control. Human Factors, 55 5: 946-964. doi:10.1177/0018720813481803 57   1 Cited 0 times in Scopus0 0

Page 115 of 148

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 »