Find Research outputs

Search results

• Automatically Correcting Semantic Errors in Programming Assignments

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

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

  Open Access

  File
  159 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, 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., Sept 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)

  13 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
  32 Citations (Scopus)

  29 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
  4 Citations (Scopus)

  29 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
  18 Citations (Scopus)

  63 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)

  120 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
  204 Citations (Scopus)

  320 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
  108 Citations (Scopus)

  130 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
  354 Citations (Scopus)

  1455 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
  253 Citations (Scopus)

  2047 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
  8 Citations (Scopus)

  158 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
  16 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 (Scopus)

• 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
  39 Citations (Scopus)

  84 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
  5 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
  9 Citations (Scopus)

  25 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
  1 Citation (Scopus)

  33 Downloads (Pure)

• Automated Image Analysis of Mud and Mudrock Microstructure and Characteristics of Hemipelagic Sediments: IODP Expedition 339

  Bankole, S. A., Buckman, J., Stow, D. & Lever, H., Apr 2019, In: Journal of Earth Science. 30, 2, p. 407-421 15 p.

  Research output: Contribution to journal › Article › peer-review
  13 Citations (Scopus)

• Automated identification system for ships data as a proxy for marine vessel related stressors

  O'Hara, P. D., Serra-Sogas, N., McWhinnie, L., Pearce, K., Le Baron, N., O'Hagan, G., Nesdoly, A., Marques, T. & Canessa, R., 20 Mar 2023, In: Science of the Total Environment. 865, 160987.

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

  Open Access

  File
  19 Downloads (Pure)

• Automated detection of uninformative frames in pulmonary optical endomicroscopy (OEM)

  Perperidis, A., Akram, A., Altmann, Y., McCool, P., Westerfeld, J., Wilson, D., Dhaliwal, K. & McLaughlin, S., Jan 2017, In: IEEE Transactions on Biomedical Engineering. 64, 1, p. 87-98 12 p.

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

  Open Access

  File
  16 Citations (Scopus)

  85 Downloads (Pure)

• Automated defect detection and classification in ashlar masonry walls using machine learning

  Valero, E., Forster, A., Bosché, F., Hyslop, E., Wilson, L. & Turmel, A., Oct 2019, In: Automation in Construction. 106, 102846.

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

  Open Access

  File
  66 Citations (Scopus)

  173 Downloads (Pure)

• AUTOMATED DATA ACQUISITION SYSTEM FOR MONITORING CEMENT HYDRATION.

  McCarter, W. J. & Afshar, A. B., Jan 1987, In: Journal of Computing in Civil Engineering. 1, 1, p. 50-60 11 p.

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

  6 Citations (Scopus)