School of Information Technology and Electrical Engineering Publications

Browse Results (7365 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
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 12 times in Scopus12 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 56   1 Cited 0 times in Scopus0 0
Malmberg, Filip, Nyström, Ingela, Mehnert, Andrew, Engstrom, Craig and Bengtsson, Ewert (2011). Relaxed image foresting transforms for interactive volume image segmentation. In: Benoit M. Dawant and David R. Haynor, Proceedings of SPIE. Medical Imaging 2010: Image Processing, San Diego, California, USA, (1-11). 14 February 2010. doi:10.1117/12.840019 116   0 Cited 2 times in Scopus2 0
Hasan, Kazi N. and Saha, Tapan K. (2013). Reliability and economic study of multi-terminal HVDC with LCC & VSC converter for connecting remote renewable generators to the grid. In: 2013 IEEE Power and Energy Society General Meeting (PES): Proceedings. PES-GM 2013: IEEE Power and Energy Society General Meeting, Vancouver, BC, Canada, (1-5). 21-25 July, 2013. doi:10.1109/PESMG.2013.6672236 58 297 0 Cited 0 times in Scopus0 0
Saket, R.K. (2006). Reliability evaluation of interconnected composite electrical power system considering voltage stability at continuation power flow PhD Thesis, Allahabad Agricultural Institute-Deemed University, Allahabad (U.P.), India, The University of Queensland. 38  
Saket, R. K. and Bansal, R. C. (2006). Reliability evaluation of interconnected composite power system considering voltage stability at continuation power flow. In: R. K. Pandey and C. S. Malik, International Conference on Power System Operation in Deregulated Regime (ICPSODR 2006). International Conference on Power System Operation in Deregulated Regime (ICPSODR 2006), Varanasi, India, (339-348). 6-7 March 2006. 41  
Saket, R. K. and Bansal, R. C. (2006). Reliability evaluation of interconnected composite power system considering voltage stability at continuation power flow. In: International Conference on Power System Operation in Deregulated Regime, Banaras, India, (339-348). 6-7 March 2006. 228  
Saket, R. K., Bansal, R. C. and Kumar, K. S. Anand (2007) Reliability evaluation of micro hydro-photo-voltaic hybrid power generation using municipal waste water. GMSARN International Journal, 1 1: 13-20. 163  
Saket, R. K., Bansal, R. C. and Singh, Gurmit (2007) Reliability evaluation of power system considering voltage stability and continuation power flow. Journal of Electrical Systems, 3 2: 48-60. 93  
Mosadeghy, Mehdi, Saha, Tapan Kumar, Yan, Ruifeng and Bartlett, Simon (2014). Reliability evaluation of wind farms considering generation and transmission systems. In: Proceedings of the IEEE Power and Energy Society General Meeting (PES), 2014. PES-GM 2014: IEEE Power and Energy Society General Meeting 2014, National Harbor, MD, United States, (). 27 -31 July 2014. doi:10.1109/PESGM.2014.6939156 71   0 0
Recalde, Angel Andrés, Saha, Tapan Kumar and Mosadeghy, Mehdi (2014). Reliability evaluation with wind turbines and photovoltaic panels. In: Paola Beltran and Andres Aldana, 2014 IEEE PES Transmission and Distribution Conference and Exposition. 2014 IEEE/PES Transmission and Distribution Conference and Exposition (T&D-LA 2014), Medellin, Colombia, (). 10-13 September 2014. doi:10.1109/TDC-LA.2014.6955214 35   0
Ekanayake, Chandima, Saha, Tapan, Thomas, Andrew and Ma, Hui (2009). Reliability of dielectric response measurements for estimating moisture in oil impregnated paper insulation. In: Energy 21C: The 10th International Transmission and Distribution Conference & Exhibition (Electricity and Gas Networks), Melbourne, VIC, Australia, (1-26). 6-9 September 2009. 71  
Mason, David Glen, Hilton, Andrew K. and Salamonsen, Robert F. (2008) Reliable suction detection for patients with rotary blood pumps.. ASAIO Journal, 54 4: 359-356. doi:10.1097/MAT.0b013e31817b5b0e 56   12 Cited 11 times in Scopus11 1

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 »