Find Research outputs

Search results

• 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
  141 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)

  3 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
  24 Citations (SciVal)

  22 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
  2 Citations (SciVal)

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

  117 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
  197 Citations (SciVal)

  289 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
  102 Citations (SciVal)

  124 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
  333 Citations (SciVal)

  1443 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
  235 Citations (SciVal)

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

  146 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
  13 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)

  75 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
  22 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
  12 Citations (SciVal)

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

  81 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
  44 Citations (SciVal)

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