School of Information Technology and Electrical Engineering Publications

Browse Results (7530 results found)

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

Page 10 of 151

Result Pages:    « first ‹ previous  1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19  next › last »

Refine

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Meinicke, Larissa and Hayes, Ian J. (2006) Algebraic Reasoning for Probabilistic Action Systems and While-Loops. Technical Report SSE-2006-05, Division of Systems and Software Engineering Research, School of Information Technology and Electrical Engineering, The University of Queensland. 447 208
Meinicke, Larissa and Hayes, Ian J. (2008) Algebraic reasoning for probabilistic action systems and while-loops. Acta Informatica, 45 5: 321-382. doi:10.1007/s00236-008-0073-4 101   2 Cited 3 times in Scopus3 0
Krause, Olav and Lehnhoff, Sebastian (2012). Algorithm for the determination of loadability boundaries of distribution. In: 2012 IEEE Power and Energy Society General Meeting. 2012 IEEE Power and Energy Society General Meeting, San Diego, CA, USA, (1-8). 22 - 27 July 2012. doi:10.1109/PESGM.2012.6345172 98 1 0 0 0
Sharaf, Mohamed A., Chrysanthis, Panos K., Labrinidis, Alexandros and Pruhs, Kirk (2008) Algorithms and metrics for processing multiple heterogeneous continuous queries. ACM Transactions On Database Systems, 33 1: 5:1-5:44. doi:10.1145/1331904.1331909 69 4 7 Cited 26 times in Scopus26 0
Yang, Yang., Liu, Feng., Jin Z. and Crozier S. (2015) Aliasing Artefact Suppression in Compressed Sensing MRI for Random Phase-Encode Undersampling. IEEE Transactions on Biomedical Engineering, 62 9: 2215-2223. doi:10.1109/TBME.2015.2419372 73   0 0 0
Wishart, R., Pirzada, A. A. and Portmann, M. (2007). A light-weight client mobility approach for infrastructure mesh networks. In: A. Jayasuriya, Networks 2007 (ICON 2007). 15th IEEE International Conference on Networks 2007 (ICON 2007), Adelaide, Australia, (252-258). 19-21 November 2007. doi:10.1109/ICON.2007.4444095 87   Cited 1 times in Scopus1 0
Liu, Zeng, Li, Xue and Dong, Zhaoyang (2004). A lightweight encryption algorithm for mobile online multimedia devices. In: Xiaofang Zhou, Stanley Su, Mike P. Papazoglou, Maria E. Orlowska and Keith G. Jeffery, Web Information Systems - WISE 2004: Proceedings of the 5th International Conference on Web Information Systems Engineering. The Fifth International Conference on Web Information Systems Engineering (WISE 2004), Brisbane, Australia, (653-658). 22-24 November 2004. 231   1
Wishart, Ryan, Pirzada, Asad Amir, Portmann, Marius and Indulska, Jadwiga (2008). A light-weight internet gateway discovery scheme for infrastructure mesh networks. In: D. Westhoff, Proceeding of the 6th International Symposium on Modeling and Optimization: Wiopt 2008. 6th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks and Workshops, 2008: WiOPT 2008, Berlin, Germany, (301-306). 31 March-4 April 2008. doi:10.1109/WIOPT.2008.4586082 129 1 0 0 0
Bialkowski, M. E. and Davis, P. W. (2000) A linearly polarized radial-line slot-array antenna with a broadened beam. Microwave and Optical Technology Letters, 27 2: 98-101. doi:10.1002/1098-2760(20001020)27:2<98::AID-MOP5>3.0.CO;2-Y 151   2 0
McKilliam, R. G., Clarkson, I. V. L., Smith, W. D. and Quinn, B. G. (2008). A linear-time nearest point algorithm for the lattice A(n)*. In: IEEE, 2008 International symposium on information theory and its applications (ISITA 2008). International Symposium on Information Theory and Its Applications (ISITA 2008), Auckland, New Zealand, (1239-1243). 7-10 December 2008. doi:10.1109/ISITA.2008.4895596 73 2 0 0 0
Willadsen, K. and Wiles, J. H. (2002). All binary representations are equal: But some or more equal than others. In: X. Yao, Proceedings of the 2002 Congress on Evolutionary Computation. 2002 IEEE Congress on Evolutionary Computation, Hawaii, (570-575). 12-17 May, 2002. 57   0
Wang, Y., Wang, Z. and Bialkowski, M. E. (2000) All-optical logic devices with cascaded nonlinear couplers. Applied Optics, 39 23: 4143-4152. doi:10.1364/AO.39.004143 68   4 0
Campbell, C. M., Havas, G., Ramsay, C. and Robertson, E. F. (2014) All simple groups with order from 1 million to 5 million are efficient. International Journal of Group Theory, 3 1: 17-30. 59 9 0
Sher, Anna A., Wang, Ken, Wathen, Andrew, Maybank, Philip John, Mirams, Gary R., Abramson, David, Noble, Denis and Gavaghan, David J. (2013) A local sensitivity analysis method for developing biological models with identifiable parameters: Application to cardiac ionic channel modelling. Future Generation Computer Systems-The International Journal of Grid Computing and Escience, 29 2: 591-598. doi:10.1016/j.future.2011.09.006 56   1 Cited 1 times in Scopus1 0
Wang, Miao and Governatori, Guido (2007). A Logic Framework of Normative-based Contract Management. In: Formal Methods in Electronic Commerce 2007 Workshop, Stanford University, Palo Alto, CA, (). 4 June, 2007. 169 1500
Reddy, Vikas, Sanderson, Conrad and Lovell, Brian C. (2011) A low-complexity algorithm for static background estimation from cluttered image sequences in surveillance contexts. EURASIP Journal on Image and Video Processing, 2011 164956: 1-14. doi:10.1155/2011/164956 80   5 Cited 1 times in Scopus1 0
Collings, I. B. and Clarkson, I. V. L. (2004) A low-complexity lattice-based low-PAR transmission scheme for DSL channels. Ieee Transactions on Communications, 52 5: 755-764. doi:10.1109/TCOMM.2004.826261 75   8 Cited 9 times in Scopus9 0
Memisevic, R., Sanderson, P. M., Choudhury, S. and Wong, W. (2004). A low-cost, easy-to-use, real-time power system simulator. In: A. Domijan Jr., Proceedings of the Seventh IASTED International Conference on Power and Energy Systems. Power and Energy Systems 2004 (PES 2004), Clearwater, Florida, U.S.A., (272-277). 28 November-1 December 2004. 96   0
Thanigaivelan, Balavelan, Wiles, Janet and Hamilton, Tara Julia (2012). A low power neural recording amplifier with programmable gain and bandwidth. In: 2012 IEEE International Symposium on Circuits and Systems, ISCAS 2012: Proceedings. 2012 IEEE International Symposium on Circuits and Systems, ISCAS 2012, Seoul, Korea, (2219-2222). 20 - 23 May 2012. doi:10.1109/ISCAS.2012.6271732 79   1 Cited 1 times in Scopus1 0
Bialkowski, K., Zagriatski, S., Postula, A. J. and Bialkowski, M. E. (2004) A low-profile dual-band antenna for a wireless LAN access point. Electronics and Telecommunications Quarterly, 50 4: 617-628. 197  
Hung, Duong Quoc and Mithulananthan, Nadarajah (2012). Alternative analytical approaches for renewable DG allocation for energy loss minimization. In: 2012 IEEE Power and Energy Society General Meeting. 2012 IEEE Power and Energy Society General Meeting, San Diego, United States, (1-8). 22-26 July 2012. doi:10.1109/PESGM.2012.6344863 180 6 0 Cited 1 times in Scopus1 0
Hui, HT (2004) Alternative expression of the electric field in the source region without the source dayadic term. Journal of Electromagnetic Waves And Applications, 18 11: 1523-1531. doi:10.1163/1569393042954848 83   0 0 0
Hryshko, Andrei and Downs, Tom (2005). A machine learning approach to intraday trading on foreign exchange markets. In: M. Gallagher, J. Hogan and F. Maire, Intelligent Data Engineering and Automated Learning - IDEAL 2005. 6th Intelligent Data Engineering and Automated Learning - IDEAL 2005, Brisbane, QLD, Australia, (588-595). 6-8 July 2005. doi:10.1007/11508069_76 526   1 0 0
Smith, Graeme, Sanders, J. W. and Li, Qin (2015). A macro-level model for investigating the effect of directional bias on network coverage. In: David Parry, Proceedings of the 38th Australasian Computer Science Conference (ACSC 2015). 38th Australasian Computer Science Conference (ACSC 2015), Sydney, Australia, (73-81). 27-30 January 2015. 36  
Sanchez Lopez, H, Liu, F, Trakic, A. and Crozier, S (2006). A magnetization mapping approach for passive shim design in MRI. In: A. Dhawan, Proceedings of the 28th Annual IEEE Engineering in Medicine and Biology Society Annual International Conference. 28th Annual International Conference IEEE Engineering in Medicine and Biology Society, New York, USA, (1893-1896). 30 August - 3 September, 2006. doi:10.1109/IEMBS.2006.259480 115   Cited 2 times in Scopus2 0
Fonseka, P.A.J., Dong, Z. Y. and Saha, T. K. (2008). A market simulation model for long-term power system planning studies. In: Sen, K, 2008 IEEE Power and Energy Society General Meeting - Conversion and Delivery of Electrical Energy in 21st Century. 2008 IEEE Power and Energy Society General Meeting - Conversion and Delivery of Electrical Energy in 21st Century, Pittsburgh, USA, (1-8). 20-24 July, 2008. doi:10.1109/PES.2008.4596613 124   0 0 0
El-Mahassni, E. D., Howard, S.D. and Clarkson, I.V.L. (2004). A Markov-chain model for sensor scheduling in electronic support. In: K. Teague and S. Acton, Proceedings of the Thirty-Eighth Asilomar Conference on Signals, Systems and Computing. The Thirty-Eighth Asilomar Conference on Signals, Systems and Computing, Pacific Grove, California, (2183-2187). 7-10 November, 2004. 73  
Tucker, John R., Lim, Yah Leng, Zvyagin, Andrei V. and Rakic, Aleksandar D. (2006). A Massively Parallel Imaging System Based on the Self-Mixing Effect in a Vertical-Cavity Surface-Emitting Laser Array. In: Sudbo, A. S. and Arisholm, G., 2006 Northern Optics Conference Proceedings. Northern Optics 2006, Hotel Norge, Bergen, Norway, (41-46). 14-16 June, 2006. doi:10.1109/NO.2006.348370 274 776 0 0 0
Gallagher, M. R. and Yuan, B. (2006). A mathematical modelling technique for the analysis of the dynamics of a simple continuous EDA. In: G. G. Yen and S. M. Lucas, 2006 IEEE Congress on Evolutionary Computation. 2006 IEEE Congress on Evolutionary Computation (CEC 2006), Vancouver, Canada, (1585-1591). 16-21 July 2006. doi:10.1109/CEC.2006.1688497 117 2 0
Sode-Yome, Arthit, Mithulananthan, Nadarajah and Lee, Kwang Y. (2006) A maximum loading margin method for static voltage stability in power systems. IEEE Transactions on Power Systems, 21 2: 799-808. doi:10.1109/TPWRS.2006.873125 93   24 Cited 59 times in Scopus59 0
Sutton, P. R., Brereton, M. F., Heyer, C. M. and MacColl, I. D. (2002). Ambient interaction framework: Software infrastructure for the rapid development of pervasive computing environments. In: Ubiquitous Computing Trends: Tricks and Traps. Inaugural Asia Pacific Forum on Pervasive Computing, Adelaide, (1-8). 31 October - 1 November, 2002. 186  
Liu, Jing, Li, Xue and Zhong, Weicai (2009) Ambiguous decision trees for mining concept-drifting data streams. Pattern Recognition Letters, 30 15: 1347-1355. doi:10.1016/j.patrec.2009.07.017 218 4 12 Cited 21 times in Scopus21 0
Kabacik, P., Byndas, A., Hossa, R. and Bialkowski, M. E. (2006). A measurement system for determining radiation efficiency of a small antenna. In: H. Lacoste and L.Ouwehand, Proceedings of the European Conference on Antennas and Propagation (EuCAP 2006). The European Conference on Antennas and Propagation (EuCAP 2006), Nice, France, (). 6-10 November, 2006. 98   0
Trakic, Adnan, Li, Bing Keong, Weber, Ewald, Liu, Feng, Wilson, Stephen and Crozier, Stuart (2009). A mechanically rotating RF transceive system and method for applications in magnetic resonance. In: 2009 Proceedings of the 17th ISMRM Scientific Meeting & Exhibition. 17th ISMRM Scientific Meeting & Exhibition, Honolulu, Hawaii, (505-505). 18-24 April 2009. 96  
Whitty, Stephen Jonathan (2005) A Memetic Paradigm of Project Management. International Journal of Project Management, 23 8: 575-583. doi:10.1016/j.ijproman.2005.06.005 1110 17893 Cited 15 times in Scopus15 3
Antoniades, Marco A. and Eleftheriades, George V. (2006). A metamaterial series-fed linear dipole array with reduced beam squinting. In: IEEE Antennas and Propagation Society International Symposium 2006, Albuquerque NM, (4125-4128). 9-14 July 2006. doi:10.1109/APS.2006.1711536 158   0
Kim, S., Carrington, D. A. and Duke, R. W. (2001). A metamodel-based transformation between UML and object-z. In: S. Levialdi, Proceedings of the IEEE Symposia on Human-Centric Computing Languages and Environments. IEEE Symposia on Human-Centric Computing Languages and Environments, Stresa, Italy, (112-119). 5-7 September, 2001. 79   0
Abeyratne, Udantha R. and Swarnkar, Vinayak (2010). A method and apparatus for determining sleep states. WO 2010060153. 84  
Lim, Einly, Alomari, Abdul-Hakeem H., Savkin, Andrey V., Dokos, Socrates, Fraser, John F., Timms, Daniel L., Mason, David G. and Lovell, Nigel H. (2011) A method for control of an implantable rotary blood pump for heart failure patients using noninvasive measurements. Artificial Organs, 35 8: E174-E180. doi:10.1111/j.1525-1594.2011.01268.x 69   6 Cited 8 times in Scopus8 1
While, Peter, Poole, Michael, Forbes, Larry and Crozier, Stuart (2012). A method for designing gradient coils with minimum maximum temperature: theoretical considerations. In: ISMRM 20th Annual Meeting and Exhibition, Melbourne Australia, (). 5-11 May 2012. 53  
Ahmed, Rihab Eltayeb, Colomb, Robert M. and Ahmed, Abdelgaffar Hamed (2013). A method for mapping state machine behavior models in MDA: issues and challenges. In: Proceedings - 2013 International Conference on Computer, Electrical and Electronics Engineering: 'Research Makes a Difference', ICCEEE 2013. 2013 1st IEEE International Conference on Computing, Electrical and Electronics Engineering, ICCEEE 2013, Khartoum, Sudan, (404-409). 26-28 August 2013. doi:10.1109/ICCEEE.2013.6633971 33 5 0 0
Fan, Yilun and Bradley, Andrew P. (2016) A method for quantitative analysis of clump thickness in cervical cytology slides. Micron, 80 73-82. doi:10.1016/j.micron.2015.09.002     0 0 0
Yau, D., Lawrence, B. and Crozier, S. (2002) A method for the design of MRI radiofrequency coils based on triangular and pulse basis functions. Magnetic Resonance Materials In Physics Biology And Medicine, 13 3: 145-151. doi:10.1016/S1352-8661(01)00141-7 98   4 Cited 6 times in Scopus6 0
Crozier, S., Snape-Jenkinson, C. and Forbes, L. K. (2000). A method for the rapid calculation of magnetic forces in superconducting MR magnets. In: ISMRM. ISMRM Eighth Meeeting, Denver, (1375). 1-7 April 2000. 109  
Long, Brad, Strooper, Paul and Wildman, Luke (2007) A method for verifying concurrent Java components based on an analysis of concurrency failures. Concurrency and Computation, 19 3: 281-294. doi:10.1002/cpe.1063 113 1 4 Cited 9 times in Scopus9 0
Hua, KeQian, Dong, ZhaoYang, Bansal, Ramesh, Zhao, Junhua, Chen, Guo and Su, Yu (2010). A method for wind farm planning in a market environment. In: Proceedings of the IEEE Power and Energy Society General Meeting. IEEE Power and Energy Society (PES) 2010 General Meeting, Minneapolis, Minnesota, USA, (1-7). 25 - 29 July, 2010. doi:10.1109/PES.2010.5589492 147 2 0
Finn, D. A. and Walker, G. R. (2001). A method of switch selection for an electric vehicle drive. In: W.W.L. Keerthipala, Australasian University Power Engineering Conference (AUPEC '01). Australasian University Power Engineering Conference, Perth, (287-291). September 23-26, 2001. 52  
Sadiq, Shazia and Governatori, Guido (2010). A methodological framework for aligning business processes and regulatory compliance. In Jan Brocke and Michael Rosemann (Ed.), Handbook of business process management: 2. Strategic alignment, governance, people and culture (pp. 159-176) Berlin & Heidelberg: Springer-Verlag Berlin Heidelberg. 154  
Crozier, S, Forbes, LK, Roffmann, WU, Luescher, K and Doddrell, DM (1997) A methodology for current density calculations in high-frequency RF resonators. Concepts In Magnetic Resonance, 9 4: 195-210. doi:10.1002/(SICI)1099-0534(1997)9:4<195::AID-CMR1>3.0.CO;2-U 138   17 0
Bamford, Pascal and Lovell, Brian C. (1999). A methodology for quality control in cell nucleus segmentation. In: Proceedings of the Digital Image Computing: Techniques & Applications. Digital Image Computing: Techniques and Applications, Perth, Australia, (21-25). 7th - 8th December, 1999. 1178 6740

Page 10 of 151

Result Pages:    « first ‹ previous  1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19  next › last »