School of Information Technology and Electrical Engineering Publications

Browse Results (7845 results found)

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

Page 7 of 157

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

Refine

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Le Nours, Sebastien, Postula, Adam and Bergmann, Neil W. (2014). A dynamic computation method for fast and accurate performance evaluation of multi-core architectures. In: Proceedings - Design, Automation and Test in Europe, DATE 2014. 17th Design, Automation and Test in Europe, DATE 2014, Dresden, Germany, (1483-1488). 24 - 28 March 2014. doi:10.7873/DATE2014.302 68   0 0 0
Lim, Einly, Cloherty, Shaun L., Reizes, John A., Mason, David G., Salamonsen, Robert F., Karantonis, Dean M. and Lovell, Nigel H. (2007). A dynamic lumped parameter model of the left ventricular assisted circulation. In: Proceedings of the 29th Annual International Conference of the IEEE EMBS. IEEE EMBC 2007: 29th Annual International Conference of the IEEE Engineering in Medicine and Biology Society in conjunction with the biennial Conference of the French Society of Biological and Medical Engineering (SFGBM), Lyon, France, (3990-3993). 23-26 August 2007. doi:10.1109/IEMBS.2007.4353208 49   5 Cited 2 times in Scopus2 0
Pounds, Paul and Dollar, Aaron (2010). Aerial Grasping from a Helicopter Platform. In: International Symposium on Experimental Robotics, Delhi, India, (). 18-21 December 2010.    
Pounds, Paul E. and Dollar, Aaron M. (2014). Aerial grasping from a helicopter UAV platform. In: Oussame Khatib, Vijay Kumar and Gaurav Sukhatme, Experimental Robotics: The 12th International Symposium on Experimental Robotics. 12th International Symposium on Experimental Robotics (ISER), New Delhi, India, (269-283). 18-21 2010. doi:10.1007/978-3-642-28572-1_19 142 2 Cited 1 times in Scopus1 0
Mau, Sandra, Dadgostar, Farhad, Cullinan, Ian, Bigdeli, Abbas and Lovell, Brian C. (2011). A face biometric benchmarking review and characterisation. In: IEEE International Conference on Computer Vision Workshops (ICCV Workshops). IEEE International Conference on Computer Vision Workshops (ICCV Workshops), Barcelona, Spain, (2120-2127). 6-13 November 2011. doi:10.1109/ICCVW.2011.6130510 114   0 0
Antoniou, Grigoris, Billington, David, Governatori, Guido, Maher, Michael J. and Rock, Andrew (2000). A Family of Defeasible Reasoning Logics and its Implementation. In: Werner Horn, 14th European Conference on Artificial Intelligence, *, (459-463). *. 284 824
Fang, XG, Havas, G and Wang, J (1999) A family of non-quasiprimitive graphs admitting a quasiprimitive 2-arc transitive group action. European Journal of Combinatorics, 20 6: 551-557. 62   5
Majewski, BS, Wormald, NC, Havas, G and Czech, ZJ (1996) A family of perfect hashing methods. Computer Journal, 39 6: 547-554. doi:10.1093/comjnl/39.6.547 122   23 0
Moore, Richard J. D., Thurrowgood, Saul, Bland, Daniel, Soccol, Dean and Srinivasan, Mandyam V. (2011). A fast and adaptive method for estimating UAV attitude from the visual horizon. In: Nancy M. Amato, 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems proceedings. 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, San Francisco, CA, United States, (4935-4940). 25-30 September 2011. doi:10.1109/IROS.2011.6048314 92   Cited 4 times in Scopus4 1
Li, M. Hugger, Weber, E., Jin, J., Liu, F., Ullman, P., Stark, S., Tesiram, Y., Yang, Y. and Junge, S. (2015). A Fast and Practical Imaging Scheme for a Rotating RF Coil at 9.4T by Using Ultra-Short TE Sequence in Radial Trajectory, Investigation of acoustic noise reduction method for MRI-LINAC hybrid system. In: Proceedings of the International Society for Magnetic Resonance in Medicine (ISMRM): 23rd Scientific Meeting and Exhibition. International Society for Magnetic Resonance in Medicine (ISMRM), Toronto, Canada, (). 30 May - 5 June 2015.    
Sode-Yome. Arthit, Kwang, Y. Lee and Mithulananthan, Nadarajah (2003). A fast computational neural network for economic load dispatch. In: Proceedings of 4th International Conference on Intelligent Technologies (Intech '03). 4th International Conference on Intelligent Technologies (Intech '03), Chiang Mai, Thailand, (117-122). December 17-19, 2003. 65  
Yang, Zhengyi, Vegh, Viktor and Reutens, David (2012). A fast multi-resolution differential evolution method for multimodal image registration. In: 2012 5th International Congress on Image and Signal Processing (CISP 2012): Proceedings. 2012 5th International Congress on Image and Signal Processing (CISP 2012), Chongqing, Sichuan, China, (804-809). 16 - 18 October 2012. doi:10.1109/CISP.2012.6469991 84   0 0 0
Chandra, S. and Svalbe, I. (2009). A fast number theoretic finite radon transform. In: Hao Shi, DICTA 2009 : 2009 digital image computing techniques and applications : proceedings. Digital Image Computing: Techniques and Applications, DICTA 2009, Melbourne, VIC Australia, (361-368). 1 - 3 December 2009. doi:10.1109/DICTA.2009.67 39   2 Cited 6 times in Scopus6 0
Weber, E., Li, B. K., Liu, F. and Crozier, S. (2007). A fast parallel imaging rotary phased array head coil with improved sensitivity profile deep in the center of the brain. In: A. Dittmar and J. Clark, Proceedings of the 29th Annual International Conference of the IEEE Engineering in Medicine and Biology Society. 29th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC 2007), Lyon, France, (504-507). 23-26 August 2007. doi:10.1109/IEMBS.2007.4352333 115   1 Cited 6 times in Scopus6 0
Hill, A., Mehnert, A. and Crozier, S. (2008). A fast, segmentation-free, method for constructing a biomechanical model of the breast from DCE-MRI data. In: Ceballos, S., DICTA 2008: Proceedings digital image computing: Technique and applications. Digital Image Computing : Techniques and Applications : DICTA 2008, Canberra, Australia, (386-391). 1-3 December, 2008. doi:10.1109/DICTA.2008.95 123   Cited 1 times in Scopus1 0
Wang, Hua, Bialkowski, Marek E., Liu, Feng and Crozier, Stuart (2006). A FDTD analysis to investigate capabilities of an UWB radar for breast tumor detection. In: D. McLemore, IEEE Antennas and Propagation Society International Symposium 2006. IEEE Antennas and Propagation Society International Symposium 2006, Albuquerque, USA, (1405-1408). 9-14 July, 2006. doi:10.1109/APS.2006.1710811 85   0 0
Liu, F. and Crozier, S. (2004). A FDTD model for the calculation of gradient-induced eddy currents in MRI magnets. In: J. Duerk, Proceedings of the International Society for Magnetic Resonance in Medicine's Twelfth Scientific Meeting and Exhibition. The International Society for Magnetic Resonance in Medicine's Twelfth Scientific Meeting and Exhibition, Tokyo, (479-479). 15-21 May, 2004. 65  
Iyer, K., Mason, D.G., Suresh, S., Terrill, P.I. and Wilson, S.J. (2010). A feasibility study to investigate the use of oximetry and dual RIP bands for pre-PSG screening of OSA in children. In: Sleep and Biological Rhythms. Sleep Down Under 2010 - Biodiversity of Sleep. Australian Sleep Association and Australian Sleep Technologists Association 22nd Annual Scientific Meeting, Christchurch, New Zealand, (A39-A39). 21-23 October 2010. doi:10.1111/j.1479-8425.2010.00457_2.x 84   0
Song, I. and Governatori, G. (2006). Affective Web Service Design. In: Yang, Qian and Webb, Geoff, PRICAI 2006: Trends In Artificial Intelligence, Proceedings of the 9th Pacific Rim International Conference on Artifical Intelligence. 9th Pacific Rim International Conference on Artificial Intelligence, Guilin, Guanxi, China, (71-80). 7-11 August, 2006. doi:10.1007/11801603_10 175 1196 3 0
Padmanabhan, Vineet and Governatori, Guido (2006). A Fibred Tableau Calculus for BDI Logics. In: Baldoni, Matteo and Endriss, Ulle, Declarative Agent Languages and Technologies (Dalt 2006), Hakodate, Hokkaido, Japan, (). 8 May, 2006. 224 375
Padmanabhan, V. and Governatori, G (2006). A Fibred Tableau Calculus for Modal Logics of Agents. In: Baldoni, Matteo and Endriss, Ulle, Declarative Agent Languages and Technologies IV, 4th International Workshop, DALT 2006. Declarative Agent Languages and Technologies IV, DALT 2006, Hakodate, Japan, (105-122). 8 May, 2006. doi:10.1007/11961536_8 166 428 1 0
Lelekakis, Nick, Guo, Wenyu, Martin, Daniel, Wijaya, Jaury and Susa, Dejan (2012) A field study of aging in paper-oil insulation systems. IEEE electrical insulation magazine, 28 1: 12-19. doi:10.1109/MEI.2012.6130527 40 1 15 Cited 24 times in Scopus24 0
Lelekakis, Nick, Martin, Daniel, Guo, Wenyu, Wijaya, Jaury and Lee, Meng (2012) A field study of two online dry-out methods for power transformers. ieee electrical insulation magazine, 28 3: 32-39. doi:10.1109/MEI.2012.6192365 30   7 Cited 9 times in Scopus9 0
Zhu, Minhua, Shou, Guofa, Xia, Ling, Li, Xia, Liu, Feng and Crozier, Stuart (2010). A finite-difference method for the design of biplanar transverse gradient coil in MRI. In: 2010 4th International Conference on Bioinformatics and Biomedical Engineering (iCBBE). 2010 4th International Conference on Bioinformatics and Biomedical Engineering (iCBBE), Chengdu, China, (5514706.1-5514706.4). 18-20 June 2010. doi:10.1109/ICBBE.2010.5514706 128 1 0 0
Zhu, Minhua, Xia, Ling, Liu, Feng, Zhu, Jianfeng, Kang, Liyi and Crozier, Stuart (2012) A finite difference method for the design of gradient coils in MRI-an initial framework. Ieee Transactions On Biomedical Engineering, 59 9 Article No.6153352: 2412-2421. doi:10.1109/TBME.2012.2188290 60   6 Cited 10 times in Scopus10 0
Wijaya, Jaury, Czaszejko, Tadeusz, Lelekakis, Nick, Martin, Daniel and Susa, Dejan (2012). A finite element model for the analysis of steady state heat transfer in disc coil transformer winding. In: 2012 22nd Australasian Universities Power Engineering Conference (AUPEC). 2012 22nd Australasian Universities Power Engineering Conference (AUPEC 2012), Bali, Indonesia, (1-6). 26-29 September 2012. 38 2 0
Robinson, M., Kubik, K. and Lovell, B. (2005) A First Order Predicate Logic Formulation of the 3D Reconstruction Problem and its Solution Space. International Journal of Pattern Recognition and Artificial Intelligence, 19 1: 45-62. doi:10.1142/S0218001405003910 247 55 1 Cited 1 times in Scopus1 0
Antoniou, Grigoris, Billington, David, Governatori, Guido and Maher, Michael J. (2000). A Flexible Framework For Defeasible Logics. In: American National Conference on Artificial Intelligence (AAAI-2000), *, (401-405). *. 184 907
Antoniou, Grigoris, Billington, David, Governatori, Guido and Maher, Michael J. (2000). A Flexible Framework For Defeasible Logics. In: 9th Workshop on Non-Monotonic Reasoning, Breckenridge, CO, United States, (). 9-11 April 2000. 194 565
Snape-Jenkinson, C. J., Crozier, S. and Forbes, L. K. (2001) A flexible method for rapid force computation in elliptical magnets. Measurement Science & Technology, 12 6: 716-722. doi:10.1088/0957-0233/12/6/310 93   0 Cited 1 times in Scopus1 0
Rajagopalan, K. and Sutton, P. R. (2001). A flexible multiplacation unit for an FPGA logic block. In: D. Skellern and G. Hellestrand, Proceedings of ISCAS 2001. The IEEE International Symposium on Circuits and Systems, Sydney, (546-549). 6-9 May, 2001. 106  
Antoniades, M. A. and Eleftheriades, G. V. (2008) A folded-monopole model for electrically small NRI-TL metamaterial antennas. IEEE Antennas and Wireless Propagation Letters, 7 Article # 2008773: 425-428. doi:10.1109/LAWP.2008.2008773 68   81 Cited 90 times in Scopus90 0
Bialkowski, Marek E., Razali, Ahmad Rashidy and Boldaji, Ashkan (2010). A folded quarter-elliptical wideband antenna for portable devices. In: Proceedings, 2010 IEEE International Symposium Antennas and Propagation and CNC-USNC/URSI. 2010 IEEE International Symposium Antennas and Propagation and CNC-USNC/URSI, Toronto, ON, Canada, (1-4). 11-17 July 2010. doi:10.1109/APS.2010.5562306 90 13 0 0
Governatori, Guido and Milosevic, Zoran (2006) A Formal Analysis of a Business Contract Language. International Journal of Cooperative Information Systems, 15 4: 659-685. doi:10.1142/S0218843006001529 819 9035 29 Cited 47 times in Scopus47 0
Dumas, Marlon, Governatori, Guido, ter Hofstede, Arthur H. M and Oaks, Philippa (2002) A Formal Approach to Negotiating Agents Development. Electronic Commerce Research and Applications, 1 2: 193-207. doi:10.1016/S1567-4223(02)00016-9 222 1523 Cited 40 times in Scopus40 0
Governatori, Guido, Dumas, Marlon, ter Hofstede, Arthur H. M and Oaks, Philippa (2001). A Formal Approach To Protocols And Strategies For (Legal) Negotiation. In: Henry Prakken, Proceedings of the 8th international conference on Artificial intelligence and law. 8th International Conference on Artificial Intelligence and Law (ICAIL-01), St. Louis, Missouri, USA, (168-177). 21 - 25 May, 2001. doi:10.1145/383535.383555 297 3476 Cited 42 times in Scopus42 0
Wildman, L. P. (2001) A formal basis for a program compilation proof tool Brisbane: Software Verification Research Cen. Univ of Qld 57  
Wildman, Luke (2002). A Formal Basis for a Program Compilation Proof Tool. In: L.-H. Eriksson and P. A. Lindsay, FME2002: Formal Methods - Getting IT Right. 11th International Symposium of Formal Methods Europe, Copenhagen, Denmark, (370-389). 22-24 July, 2002. doi:10.1007/3-540-45614-7_28 55 5 0
Kim, S. and Carrington, D. A. (2001) A formal denotational semantics of UML in object-z. L'Objet: Object Modelling with UML, 7 1: 323-362. 949  
Li, Q. and Smith, G. (2014). A formal development approach for self-organising systems. In: Theoretical Aspects of Software Engineering Conference (TASE), 2014. 8th International Symposium on Theoretical Aspects of Software Engineering, TASE 2014, Changsha, Hunan, China, (209-212). 1-3 September 2014. doi:10.1109/TASE.2014.11 48 1 Cited 1 times in Scopus1 0
Smith, G. P. (2004). A formal framework for modelling and analysing mobile systems. In: V. Estivill-Castro, Proceedings of the Twenty-Seventh Australasian Computer Science Conference (ACSC'04). The Twenty-Seventh Australasian Computer Science Conference (ACSC'04), Dunedin, New Zealand, (193-202). 18-22 January, 2004. doi:10.1145/980000/979946/p193-smith.pdf?key1=979946 63   0
Kim, Soon Kyeong and Carrington, David (2009) A formalism to describe design patterns based on role concepts. Formal Aspects of Computing, 21 5: 397-420. doi:10.1007/s00165-008-0090-7 109   8 Cited 14 times in Scopus14 0
Kim, S. and Carrington, D. A. (2000). A formal mapping between UML models and object-z specifications. In: J. P. Bowen, S. Dunne, A. Galloway and S. King, First International Conference of B and Z Users: ZB 2000. ZB 2000, York, UK, (2-21). 29 August - 2 September 2000. 509   0
Kim, Soon-Kyeong and Carrington, David (2002). A formal metamodeling approach to a transformation between the UML state machine and object-z. In: C. George and H. Miao, Formal Methods and Software Engineering. Fourth International Conference on Formal Engineering Methods, Shanghai, China, (548-560). 21-25 October, 2002. doi:10.1007/3-540-36103-0_55 137 216 3 0
Kim, Soon-Kyeong and Carrington, David (2002) A Formal Metamodeling Approach to a Transformation between Visual and Formal Modeling Techniques. Technical Report 02-23, Software Verification Research Centre, School of Information Technology, The University of Queensland. 464 493
Connelly, Simon, Lindsay, Peter, Neal, Andrew and Humphreys, Mike (2001) A Formal Model Of Cognitive Processes For An Air Traffic Control Task. SVRC Tech Report 01-31, Software Verification Research Centre, School of Information Technology, The University Of Queensland. 602 508
Lermer, K. and Fidge, C. (2002) A formal model of real-time program compilation. Theoretical Computer Science, 282 1: 151-190. doi:10.1016/S0304-3975(01)00047-0 52   5 Cited 8 times in Scopus8 0
Kim, S. and Carrington, D. A. (2002). A formal model of UML metamodel: The UML state machine and its integrity constraints. In: D. Bert, J. Bowen, M. Henderson and K. Robinson, ZB 2002: Formal Specification and Development in Z and B. Second International Conference of Z and B Users, Grenoble, France, (497-516). 23-25 January, 2002. 190  
Kim, S. and Carrington, D. A. (2004). A formal object-oriented approach to defining consistency constraints for UML models. In: P. Strooper, Proceedings of the 2004 Australian Software Engineering Conference (ASWEC 2004). The 2004 Australian Software Engineering Conference (ASWEC 2004), Melbourne, Australia, (87-94). 13-16 April 2004. doi:10.1109/ASWEC.2004.1290461 138   1 0
Pothipruk, Pakornpong and Governatori, Guido (2005). A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web. In: A. H. H. Ngu, M. Kitsuregawa, E. J. Neuhold, J. Y. Chung and Q. Z. Sheng, Proceedings of the 6th International Conference on Web Information Systems Engineering - WISE 2005. 6th International Conference on Web Information Systems Engineering - WISE 2005, New York, NY, USA, (119-132). 20-22 November 2005. doi:10.1007/11581062_10 333 1208 1 Cited 1 times in Scopus1 0

Page 7 of 157

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