Search concepts
|
Selected filters
|
- 18,275 - 18,300 out of 20,906 results
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 AccessFile141 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, 8571892Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile2 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 AccessFile24 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 AccessFile2 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 AccessFile17 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-85Research output: Contribution to journal › Article › peer-review
Open AccessFile19 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 AccessFile197 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 AccessFile102 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
File333 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–421Research output: Contribution to journal › Article › peer-review
File235 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 AccessFile7 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 AccessFile13 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 AccessFile29 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, 8559432Research 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 AccessFile8 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 AccessFile22 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 AccessFile15 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 AccessFile44 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)