A comparison of two different model checking techniques by Bull, J. J. D

Subjects: “…Automated model extraction…”
Get full text

Development of a tool to test computer protocols by Myburgh, W. D.

Subjects: “…Automated protocol testing…”
Get full text

Optimal estimation and sensor selection for autonomous landing of a helicopter on a ship deck by Irwin, Shaun George

Subjects: “…Automated landing…”
Get full text

Artificial intelligence tools in legal work automation: The use and perception of tools for document discovery and privilege classification processes in Southern African legal fir... by Kufakwababa, Collen Zvandasara

Subjects: “…Workflow automation (Workflow management systems)…”
Get full text

Staff assessment of the success of the integrated library system : the case of the University of Ghana Library System

Subjects: “…Library automation…”
Get full text

Assessing the Impact of Digital Transformation on Regulatory Processes and Systems Compared to Traditional Paper-Based Processes at the Egyptian Drug Authority by Soliman, Rania AA

Subjects: “…Digitilization Regulatory bodies Artificial intelligence Trust in digital transformation (TiA) Automated systems Regulatory framework' within the healthcare industry…”
Get full text
Get full text

Automated design of the deep neural network pipeline

Subjects: “…Automated design…”
Get full text

Evaluating the effect of environmental parameters on the dynamics of the wine yeast consortium by Bagheri, Bahareh

Subjects: “…Automated ribosomal intergenic spacer analysis (ARISA)…”
Get full text

Partial end-to-end reinforcement learning for robustness towards model-mismatch in autonomous racing’ by Murdoch, Andrew

Subjects: “…Automated vehicles…”
Get full text

Symbolic string execution by Redelinghuys, Gideon

Subjects: “…Automated test generation…”
Get full text

To IOT or not IOT : a critical analysis of the key legal considerations applicable in internet of things of implementations in the mining industry

Subjects: “…Mining automation…”
Get full text

Validation of automated threshold audiometry : a systematic review and meta-analysis

Subjects: “…Automated threshold audiometry…”
Get full text

INSPECT: Intelligent Node-based System for IFC Processing and Evaluation, with Conversational Tool Support —LLMassisted natural language IFC querying by Abdelshaheid, Basel

Subjects: “…Automated Compliance Checks…”
Get full text
Get full text

Development of novel surveillance tools for rapid detection of citrus psyllids

Subjects: “…Automated pest identification…”
Get full text

A Framework for Automated Quantity Extraction from .ifc Models and Normalized Bid Comparison by Farouk, Asmaa Mohamed

Subjects: “…Automated Quantity Extraction…”
Get full text
Get full text

Modelling and simulation framework incorporating redundancy and failure probabilities for evaluation of a modular automated main distribution frame

Subjects: “…Automated main distribution frame…”
Get full text

Towards the development of a new technique for mastectomy‐scar electron beam treatment using a variable collimator and computer‐automated treatment table control

Subjects: “…Automated treatment table…”
Get full text

Building an Institutional Repository at the University of Health and Allied Sciences in Ghana

Subjects: “…Library Automation…”
Get full text

Automated payment fraud detection using logistic regression and support vector machines by Thetard, Heinrich Mathias

Subjects: “…Automated tellers…”
Get full text

Maternal alcohol consumption and socio-demographic determinants of neurocognitive function of school children in the rural Western Cape by Viglietti, Paola

Subjects: “…Cambridge Automated Neuropsychological Battery (CANTAB)…”
Get full text