| |
|
|
|
|
Kim, S. and Carrington, D. A. (2000). An integrated framework with UML and object-Z for developing a precise and understandable specification: The light control case study. In: , Proceedings of the Seventh Asia-Pacific Software Engineering Conference: APSEC 2000. APSEC 2000, Singapore, (240-248). 5-8 December 2000.
|
13 |
|
3
|
|
Smith, G. P. (2002). An integration of real-time object-Z and CSP for specifying concurrent real-time systems. In: M. Butler, L. Petre and K. Sere, Integrated Formal Methods Third International Conference, IFM 2002. IFM 2002, Turku, Finland, (267-285). 15-18 May, 2002.
|
12 |
|
|
|
Song, Insu, Governatori, Guido and Colomb, Robert (2004). An Interaction Model for Affect Monitoring. In: Geoff Webb and Xinghuo Yu, Lecture Notes in Computer Science: AI 2004: Advances in Artificial Intelligence. The Seventeenth Australian Joint Conference on Artificial Intelligence, Cairns, (979-984). 4-6 December, 2004.
|
113 |
272 |
|
|
Lee, T.-L. and Bergmann, N. W. (2003). An Interface Methodology for Retargettable FPGA Peripherals. In: T. Plaks, Proceedings of the International Conference on Engineering of Reconfigurable Systems and Algorithms. Engineering of Reconfigurable Systems and Algorithms, Las Vegas, Nevada, (1-7). 23-26 June, 2003.
|
1786 |
2307 |
|
|
Zhu, Y., Ye, M., Liu, N., Zhao, X. and Li, X. (2008). An Intrinsic Subsequence Decomposition Algorithm for Network Intrusion Detection. In: Guo, M., Zhao, L. and Wang, L., Proceedings of the Fourth International Conference on Natural Computation, 2008. ICNC '08.. Fourth International Conference on Natural Computation, 2008, Jinan, PR China, (240-244). 18-20 Oct 2008.
|
11 |
|
|
|
Smith, G. P. and Hayes, I. J. (2002) An introduction to real-time Object-Z. Formal Aspects of computing, 13 2: 128-141.
|
9 |
|
|
|
Zhao, H. and Crozier, S. (2001) An inverse design method for elliptical MRI magnets. Measurement Science & Technology, 12 5: 566-574.
|
20 |
|
1
|
|
Lawrence, B. G., Crozier, S., Cowin, G. and Yau, D. D. (2002) An inverse design of an open, head/neck RF coil for MRI. Ieee Transactions On Biomedical Engineering, 49 9: 1024-1030.
|
46 |
|
7
|
|
While, P. T., Forbes, L. K. and Crozier, S. (2006) An inverse method for designing loaded RF coils in MRI. Measurement Science & Technology, 17 9: 2506-2518.
|
22 |
|
1
|
|
Xu, Bin, Wei, Qing, Liu, Feng and Crozier, Stuart (2005) An inverse methodology for high-frequency RF coil design for MRI with de-emphasized B-1 fields. Ieee Transactions on Biomedical Engineering, 52 9: 1582-1587.
|
61 |
|
6
|
|
Xu, Bin, Li, Bing Keong, Crozier, Stuart, Liu, Feng and Wei, Qing (2005). An Inverse Methodology for High Frequency RF Coil Design with De-emphasized B1 field. In 13th International Society for Magnetic Resonance in Medicine (ISMRM-2005), 7-13 May 2005, (889-889), Miami Beach, Florida, USA.
|
34 |
|
|
|
Xu, B., Crozier, S., Li, B. K. J., Wei, Q. and Liu, F. (2004). An inverse methodology for high frequency RF head coil design with pre-emphasized B1 field in MRI. In: Z. Liang, Proceedings of the Twenty-Sixth Annual International Conference of the IEEE Engineering in Medicine and Biology Society. The Twenty-Sixth Annual International Conference of the IEEE Engineering in Medicine and Biology Society, San Francisco, (1128-1131). 1-5 September, 2004.
|
19 |
|
|
|
Janapsatya, J. and Bialkowski, M. E. (2004). An investigation into channel prediction algorithms for a switched-beam smart antenna system. In: J. Modelski, Proceedings of the Fifteenth International Conference on Microwaves, Radar and Wireless Communications. The Fifteenth International Conference on Microwaves, Radar and Wireless Communications, Warsaw, Poland, (641-644). 17-19 May, 2004.
|
16 |
|
|
|
Uthansakul, M. and Bialkowski, M. E. (2004). An investigation into smart antenna configurations for wideband communication. In: J. Modelski, Proceedings of the Fifteenth International Conference on Microwaves, Radar and Wireless Communications. The Fifteenth International Conference on Microwaves, Radar and Wireless Communications, Warsaw, Poland, (505-508). 17-19 May, 2004.
|
93 |
|
|
|
Durrani, S. and Bialkowski, M. E. (2002) An investigation into the interference rejection capability of a linear array in a wireless communications system. Microwave And Optical Technology Letters, 35 6: 445-449.
|
19 |
|
4
|
|
Thapar, Alok, Saha, Tapan K. and McDonald, John D. F. (2005). An Investigation of Composite System Reliability in Meshed and Extended Networks. In: Tseng, K. J. and Devotta, J. B. X., Proceedings of the 7th International Power Engineering Conference. 7th International Power Engineering Conference, Singapore, (). 29 November - 2 December, 2005.
|
143 |
209 |
|
|
James, Julian G. and Saha, Tapan K. (2003). An Investigation of Harmonic Content in a Remote Mine Site. In: C. Teo and B. Devotta, Proceedings of the Sixth International Power Engineering Conference. International Power Engineering Conference, Singapore, (169-174). 27-29 November, 2003.
|
246 |
442 |
|
|
Hemetsberger, F. A. and Saha, Tapan K. (2004). An Investigation of Power Quality Problems in a Remote Mine Site in Papua New Guinea. In: , Proceedings of the Australasian Universities Power Engineering Conference 2004. Australasian Universities Power Engineering Conference, Brisbane, Australia, (). 26-29 September, 2004.
|
298 |
343 |
|
|
Wojcicki, M. and Strooper, P.A. (2007). An iterative empirical strategy for the systematic selection of a combination of verification and validation technologies. In: Boehm, B, Chulani, S., Verner, J. and Wong, B., Proceedings of the Fifth International Workshop on Software Quality (WoSQ 2007). Fifth International Workshop on Software Quality (WoSQ 2007), Minnesota, USSA, (1-6). 21 May, 2007.
|
19 |
|
|
|
Karmakar, N. and Bialkowski, M. E. (1999) An L-band 90o hybrid-coupled phase shifter using UHF band p-i-n diodes. Microwave and Optical Technology Letters, 21 1: 51-54.
|
60 |
|
4
|
|
Kim, S. K., Burger, D. and Carrington, D. A. (2005). An MDA approach towards integrating formal and informal modeling languages. In: J. Fitzgerald, I. Hayes and A. Tarlecki, FM2005: Formal Methods. International Symposium of Formal Methods Europe, Newcastle, UK, (448-464). 18-22 July, 2005.
|
37 |
26 |
4
|
|
Wei, Q., Crozier, S, Appleton, B. C., Xia, , Liu, F, Wilson, S J, Strugnell, W., Slaughter, R. and Riley, R (2006). An MRI-based beating heart model. In: , Proceedigns of the 14th Annual Meeting of International Society for Magnetic Resonance in Medicine. International Society for Magnetic Resonance in Medicine, 14th Scientific Meeting & Exhibition, Washington, USA, (1645-1645). 6-12 May, 2006.
|
27 |
|
|
|
Wang, Hua, Trakic, Adnan, Xia, Ling, Lui, Feng and Crozier, Stuart (2007) An MRI-dedicated parallel FDTD scheme. Concepts In Magnetic Resonance Part B-magnetic Resonance Engineering, 31B 3: 147-161.
|
24 |
|
1
|
|
Schroeter, Ronald, Hunter, Jane and Newman, Andrew (2007). Annotating Relationships between Multiple Mixed-media Digital Objects by Extending Annotea. In: , The Semantic Web: Research and Applications: Proceedings of the 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007. The 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, (533-548). 3-7 June, 2007.
|
55 |
7 |
|
|
Wei, Qing, Crozier, Stuart, Xu, Bin, Trakic, Adnan, Li, Bing Keong and Liu, Feng (2005). An Object-Orient Designed FDTD simulator - Applications to High Field Systems. In 13th International Society for Magnetic Resonance in Medicine (ISMRM-2005), 7-13 May 2005, (817-817), Miami Beach, Florida, USA.
|
37 |
|
|
|
Wei, Q., Crozier, S., Xia, L. and Liu, F. (2004). An object-oriented designed finite-difference time-domain simulator for electromagnetic analysis and design in MRI. In: Z. Liang, Proceedings of the Twenty-Sixth Annual International Conference of the IEEE Engineering in Medicine and Biology Society. The Twenty-Sixth Annual International Conference of the IEEE Engineering in Medicine and Biology Society, San Francisco, (1116-1119). 1-5 September, 2004.
|
22 |
|
|
|
Wei, Q., Liu, F. and Crozier, S. (2005) An object-oriented designed finite-difference time-domain simulator for electromagnetic analysis and design in MRI - application to high field analyses. Journal of Magnetic Resonance, 172 2: 222-230.
|
40 |
|
15
|
|
Brereton, M. F. and Mcgarry, B. (2000). An observation study of how objects support engineering design thinking and communication: Implications for the design of tangible media. In: T. Turner, G. Szwillus, M. Czerwinski and F. Paterno, Proceedings of the CHI 2000 Conference on Computer Human Factors in Computing Systems. CHI 2000, The Hague, Netherlands, (217-224). 1-6 April 2000.
|
23 |
|
|
|
Botev, Zdravko I. (2005) A Non-Asymptotic Bandwidth Selection Method for Kernel Density Estimation of Discrete Data.
|
244 |
221 |
|
|
Crozier, Stuart, Roffmann, Wolfgang U., Luescher, Kurt, Snape-Jenkinson, Christopher, Forbes, Lawrence K. and Doddrell, David M. (1999) An "openable," high-strength gradient set for orthopedic MRI. Journal of Magnetic Resonance, 139 1: 81-89.
|
24 |
|
12
|
|
Indulska, J., Loke, S. W., Rakotonirainy, A., Witana, V. and Zaslavsky, A. (2001). An open architecture for pervasive systems. In: K. Zielinski, K. Geihs and A.Laurentowski, New Developments in Distributed Applications and Interoperable Systems. Third International Working Conference on Distributed Applications and Interoperable Systems, Krakow, Poland, (175-187). 17-19 September, 2001.
|
31 |
|
|
|
Pothipruk, P. and Governatori, G (2005). An Optimization for Query Answering on ALC Database. In: G. Dobbie and J. Bailey, Proceedings of 17th Australasian Database Conference (ADC2006). 17th Australasian Database Conference (ADC2006), Hobart, Tasmania, Australia, (129-137). 16-19 January, 2006.
|
174 |
91 |
|
|
Li, H., Orlowska, M. E. and Liu, C. (1999). A normal form on functional dependencies in object-oriented data models. In: J. Roddick, Proceedings of the 10th Australasian Database Conference. ADC'99, Auckland, NZ, (77-88). 18-21 January 1999.
|
14 |
|
|
|
Grunske, L., Lindsay, P. A., Bondarev, E., Papadopoulos, Y. and Parker, D. (2007). An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems. In de Lemos, R., Gacek, C. and Romanovsky, A. (Ed.), Lecture Notes in Computer Science Architecting Dependable Systems IV (pp. 188-209) Heidelberg, Germany: Springer.
|
36 |
|
|
|
Lu, M., Lu, Z., Dong, Z Y and Saha, T K (2006). A novel approach to evaluate congestion for composite power system planning in a competitive electricity market. In: , Proceedings of the 2006 IEEE Power Engineering Society General Meeting. 2006 IEEE Power Engineering Society General Meeting, Montreal, Canada, (). 18-22 June, 2006.
|
30 |
|
|
|
Liu, Nianjun, Trakic, Adnan, Liu, Feng, Appleton, Ben, Wilson, Stephen, Slaughter, Richard, Strugnell, Wendy and Crozier, Stuart (2005). A Novel Automated Left Ventricle Segmentation Routine. In 13th International Society for Magnetic Resonance in Medicine (ISMRM-2005), 7-13 May 2005, (1636-1636), Miami Beach, Florida, USA.
|
27 |
|
|
|
Liu, X, Bialkowski, M.E., Lu, S. and Hui, H.T. (2008). A novel blind channel estimation algorithm for a MIMO system. In: Srinivasan, V., 2008 IEEE 67th Vehicular Technology Conference. 2008 IEEE 67th Vehicular Technology Conference, Singapore, (1113-1117). 11-14 May, 2008.
|
12 |
|
|
|
Weber, E., Li, B.K, Liu, F, Li, Y, Ullmann, P., Sanchez Lopez, H. and Crozier, S. (2008). A novel 8-channel transceive volume-array for a 9.4T animal scanner. In: Pauly, K Butts, Proceedings of the 16th Annual Meeting of the International Society for Magnetic Resonance in Medicine. International Society for Magnetic Resonance in Medicine - 16th Scientific Meeting and Exhibition, Toronto, Canada, (151-151). 3 - 9 May, 2008.
|
28 |
|
|
|
Xu, Z., Ali, M, Dong, Z Y and Li, X (2006). A novel grid computing approach for probabilistic small signal analysis. In: , Proceedings of the 2006 IEEE Power Engineering Society General Meeting. 2006 IEEE Power Engineering Society General Meeting, Montreal, Canada, (1-8). 18-22 June, 2006.
|
13 |
|
|
|
Li, B.K.J., Xu, B., Crozier, S. and Liu, F. (2005). A novel method in ameliorating signal voids for 11T brain imaging using transmission phase cycled, transceiver array coils. In: M.O. Leach, International Society for Magnetic Resonance in Medicine, 13th Scientific Meeting and Exhibition. international Society for Magnetic Resonance in Medicine, Miami Beach, Florida, (2753-2753). 7-13 May 2005.
|
11 |
|
|
|
Djurisic, A. B., Chan, J. T., Rakic, A., Majewski, M. L. and Li, E. H. (2000). A novel model for functions of GaSb. In: L. Broekman, B. Usher and J. Riley, COMMAD 2000 Proceedings. Conference on Optoelectronic and Microelectronic Materials and Devices, Melbourne, (161-164). 6-8 December, 2000.
|
8 |
|
|
|
Crozier, S, Forbes, LK and Doddrell, DM (1998) A novel, open access, elliptical cross-section magnet for paediatric MRI. Measurement Science & Technology, 9 : 113-119.
|
32 |
|
8
|
|
Forbes, Larry K. and Crozier, Stuart (2001) A novel target-field method for finite-length magnetic resonance shim coils: I. Zonal shims. Journal of Physics D-Applied Physics, 34 24: 3447-3455.
|
20 |
|
12
|
|
Forbes, Lawrence K. and Crozier, Stuart (2003) A novel target-field method for magnetic resonance shim coils: III. Shielded zonal and tesseral coils. Journal of Physics D-Applied Physics, 36 2: 68-80.
|
43 |
|
11
|
|
Yang, G.Y, Hovland, G., Majumder, R. and Dong, Z.Y. (2007). A novel TCSC planning model based on line flow equations via MILP. In: Kirshen, D., IEEE Power Engineering Society General Meeting. 2007 IEEE Power Engineering Society General Meeting, Tampa, Florida, USA, (1-7). 24-28 June, 2007.
|
20 |
|
|
|
Schmidt, D. and Wyeld, T. G. (2005). A novel user interface for online literary documents. In: T. Bently and S. Balbo, ACM International Conference Proceeding Series. Proceedings of the 19th Conference of the Computer-Human Interaction Special Interest Group (CHISIG) of Australia on Computer-human interaction: citizens online: considerations for today and the future. 19th conference of the computer-human interaction special interest group (CHISIG) of Australia on Computer-human interaction: citizens online: considerations for today and the future, Canberra, Australia, (1-4). 21-25 November 2005.
|
19 |
|
|
|
Bialkowski, M. E. (1999). An overview of research into L- and Ku-band array antennas at the University of Queensland. In: , Proceedings of the Progress in Electromagnetics Research Symposium 1999. PIERS'99, Taipei, Taiwan, (831). 22-26 March 1999.
|
7 |
|
|
|
Hunter, J (2001) An overview of the MPEG-7 description definition language (DDL). Ieee Transactions On Circuits And Systems For Video Technology, 11 6: 765-772.
|
23 |
|
13
|
|
Hunter, Jane and Nack, Frank (2000) An Overview of the MPEG-7 Description Definition Language (DDL) Proposals. Signal Processing: Image Communication, 16 1-2: 271-293.
|
217 |
102 |
5
|
|
Cendrillon, Raphael, Moonen, Marc, Yu, Wei, Verlinden, J. and Bostoen, T. (2003). ANSI Standard Contribution 2003-325: On the Optimality of Iterative Waterfilling in DSL.
|
220 |
299 |
|
