Find Research outputs

Search results

• Automatic fish classification for underwater species behavior understanding

  Spampinato, C., Giordano, D., Di Salvo, R., Chen-Burger, Y-H., Fisher, R. B. & Nadarajan, G., 2010, Proceedings of the first ACM International Workshop on Analysis and Retrieval of Tracked Events and Motion in Imagery Streams. Association for Computing Machinery, p. 45-50 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  173 Citations (SciVal)

• Automatic dissociation between microvasculature and larger vessels for ultrasound contrast imaging

  Perperidis, A., Thomas, D., Averkiou, M., Duncan, C., McNeilly, A., Butler, M. & Sboros, V., 2014, 2014 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). New York: IEEE, p. 5076-5079 4 p. (IEEE Engineering in Medicine and Biology Society Conference Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  5 Citations (Scopus)

• Automatic decomposition and refinement of oversized components for rapid prototyping

  Medellin, H., Lim, T., Corney, J., Ritchie, J. M. & Davies, J. B. C., 2005, Proceedings of the ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conferences - DETC2005: 31st Design Automation Conference. Vol. 2 B. p. 1283-1293 11 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  4 Citations (SciVal)

• Automatic Construction of 3D Basic-Semantic Models of Inhabited Interiors Using Laser Scanners and RFID Sensors

  Valero, E., Adán, A. & Cerrada, C., May 2012, In: Sensors. 12, 5, p. 5705-5724 20 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access
  36 Citations (SciVal)

• Automatic Basic Indoor Model Generation with RFID and 3D Scanner

  Valero, E., Adán, A. & Cerrada, C., 2011.

  Research output: Contribution to conference › Paper › peer-review

• Automatically Correcting Semantic Errors in Programming Assignments

  Trevett, B., Reay, D. & Taylor, N., 18 Sep 2017. 4 p.

  Research output: Contribution to conference › Paper › peer-review

  Open Access

  File
  134 Downloads (Pure)

• Automath Type Inclusion in Barendregt’s Cube

  Kamareddine, F. D., Wells, J. B. & Ventura, D. L., 23 Jun 2015, Computer Science -- Theory and Applications: 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings. Springer International Publishing, p. 262-282 21 p. (Lecture Notes in Computer Science; vol. 9139).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Automath and pure type systems

  Kamareddine, F., Laan, T. & Nederpelt, R., Sep 2003, In: Electronic Notes in Theoretical Computer Science. 85, 7, p. 33-52 20 p.

  Research output: Contribution to journal › Article › peer-review

• Automated Verification of LV Network Topologies

  Mokhtar, M., Robu, V., Flynn, D., Higgins, C., Whyte, J. & Fulton, F., 13 Dec 2018, 2018 IEEE PES Innovative Smart Grid Technologies Conference Europe (ISGT-Europe). IEEE, 8571892

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  2 Citations (Scopus)

  1 Downloads (Pure)

• Automated unbounded verification of stateful cryptographic protocols with exclusive OR

  Dreier, J., Hirschi, L., Radomirovic, S. & Sasse, R., 9 Aug 2018, 2018 IEEE 31st Computer Security Foundations Symposium (CSF). IEEE, p. 359-373 15 p. (IEEE Computer Security Foundations Symposium).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  23 Citations (SciVal)

  21 Downloads (Pure)

• Automated targeting for green supply chain planning considering inventory storage losses, production and set-up time

  Andiappan, V., Foo, D. C. Y. & Tan, R. R., 23 Oct 2021, (E-pub ahead of print) In: Journal of Industrial and Production Engineering.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  1 Citation (Scopus)

  16 Downloads (Pure)

• Automated single particle detection and tracking for large microscopy datasets

  Wilson, R. S., Yang, L., Dun, A., Smyth, A. M., Duncan, R. R., Rickman, C. & Lu, W., 1 May 2016, In: Royal Society Open Science. 3, 5, 160225.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  17 Citations (Scopus)

  61 Downloads (Pure)

• Automated retrieval of project three-dimensional CAD objects in range point clouds to support automated dimensional QA/QC

  Bosche, F. N. & Haas, C., 2008, In: Journal of Information Technology in Construction . 13, p. 71-85

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  19 Citations (Scopus)

  115 Downloads (Pure)

• Automated retrieval of 3D CAD model objects in construction range images

  Bosche, F. & Haas, C. T., May 2008, In: Automation in Construction. 17, 4, p. 499-512 14 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  195 Citations (SciVal)

  275 Downloads (Pure)

• Automated recognition of 3D CAD objects in site laser scans for project 3D status visualization and performance control

  Bosché, F., Haas, C. T. & Akinci, B., 2009, In: Journal of Computing in Civil Engineering. 23, 6, p. 311-318 8 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  101 Citations (SciVal)

  121 Downloads (Pure)

• Automated recognition of 3D CAD model objects in laser scans and calculation of as-built dimensions for dimensional compliance control in construction

  Bosché, F., Jan 2010, In: Advanced Engineering Informatics. 24, 1, p. 107-118 12 p.

  Research output: Contribution to journal › Article › peer-review

  File
  331 Citations (SciVal)

  1440 Downloads (Pure)

• Automated progress tracking using 4D schedule and 3D sensing technologies

  Turkan, Y., Bosché, F., Haas, C. & Haas, R., 2012, In: Automation in Construction. 22, p. 414–421

  Research output: Contribution to journal › Article › peer-review

  File
  233 Citations (SciVal)

  1985 Downloads (Pure)

• Automated Progress Tracking of Erection of Concrete Structures

  Turkan, Y., Bosché, F., Haas, C. & Haas, R., 2011, Annual Conference of the Canadian Society for Civil Engineering. p. 2746-2756 11 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  7 Citations (Scopus)

  145 Downloads (Pure)

• Automated Particle and Cell Phenotyping Using Object Recognition and Tracking Based on Machine Learning Algorithms

  Hantos, G., Simon, G., Hejda, M., Bernassau, A. & Desmulliez, M. P. Y., 13 Nov 2021, 2021 IEEE International Ultrasonics Symposium (IUS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  12 Downloads (Pure)

• Automated novelty detection using a modified Kohonen self organizing map

  Jack, L. B., Nandi, A. K. & Wong, M. L. D., 2004, In: IMechE Transactions Series, 6th National Heat Transfer Conference. 2004, 2, p. 313-322 10 p.

  Research output: Contribution to journal › Article › peer-review

  1 Citation (Scopus)

• Automated Negotiation for Peer-To-Peer Trading of Renewable Energy in Off-Grid Communities

  Etukudor, C., Robu, V., Couraud, B., Kocher, G., Fruh, W-G., Flynn, D. & Okereke, C., 9 Dec 2019, 2019 IEEE PES/IAS PowerAfrica. IEEE, p. 243-248 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  4 Citations (SciVal)

• Automated Negotiation for Peer-to-Peer Electricity Trading in Local Energy Markets

  Etukudor, C., Couraud, B., Robu, V., Fruh, W-G., Flynn, D. & Okereke, C., 19 Feb 2020, In: Energies. 13, 4, 920.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  29 Citations (SciVal)

  70 Downloads (Pure)

• Automated monitoring and analysis of marine mammal vocalizations in coastal habitats

  Hendricks, B., Keen, E. M., Wray, J. L., Alidina, H. M., McWhinnie, L., Meuter, H., Picard, C. R. & Gulliver, T. A., 6 Dec 2018, 2018 OCEANS - MTS/IEEE Kobe Techno-Oceans (OTO). IEEE, 8559432

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  4 Citations (Scopus)

• Automated Measurement of Visual Acuity in Pediatric Ophthalmic Patients Using Principles of Game Design and Tablet Computers

  Aslam, T. M., Tahir, H. J., Parry, N. R. A., Murray, I. J., Kwak, K., Heyes, R., Saleh, M. M., Czanner, G. & Ashworth, J., Oct 2016, In: American Journal of Ophthalmology. 170, p. 223–227 5 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  8 Citations (SciVal)

  24 Downloads (Pure)

• Automated Masonry crack detection with Faster R-CNN

  Marin, B., Brown, K. E. & Erden, M. S., 5 Oct 2021, 17th IEEE International Conference on Automation Science and Engineering 2021. IEEE, p. 333-340 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  19 Downloads (Pure)