A near-real-time global landslide incident reporting tool demonstrator using social media and artificial intelligence by Catherine V.L. Pennington (18426939)

“…The preliminary model was developed by training a convolutional neural network on the dataset. Quantitative verification of the system's performance during a real-world deployment shows that the system can detect landslide reports with Precision = 76%. …”

Example study for granular bioreactor stratification: Three-dimensional evaluation of a sulfate-reducing granular bioreactor by Tian-wei Hao (19737922)

“…A comprehensive investigation followed by a verification trial was therefore conducted in the present work. …”

Mazari UAV Adaptive Autopilot System Design and Implementation by Adiansyah, Sonny

Get full text

Combining Saliency with Prediction for Endoscopic Diagnosis by Rezk, Mahmoud

Get full text

Micropolitics. (c2010) by Qatami, Nasser al-

Get full text
Get full text

NFTs for the Unassailable Authentication of IoT Devices in Cyber-Physical Systems: An Implementation Study by Usman Khalil (7820876)

“…The deployment process culminates in the generation of NonFungible Tokens (NFTs) for user authentication, with transaction verification on the Goerli testnet confirming successful DSCoT edge system implementation. …”

A Novel Encryption Method for Dorsal Hand Vein Images on a Microcomputer by M. Z. Yildiz (16855476)

“…The results of the analysis have shown that the proposed encryption algorithm can be used in identification and verification systems. The encrypted images were analyzed with histogram, correlation, entropy, pixel change rate (NPCR), initial condition sensitivity, data loss, and noise attacks which are frequently used for security analyses in the literature. …”

Design of Secure and Efficient Framework for Vehicular Digital Twin Networks Using ECC by Vinod Kumar (48743)

“…In addition, the paper discusses formal and informal security analysis based on the random oracle model, Burrows-Abadi Needham (BAN) logic, and Scyther verification tool. The proposed protocol ensures security, privacy, and other related security attacks and attributes in VDT networks. …”

LNCRI: Long Non-Coding RNA Identifier in Multiple Species by Saleh Musleh (15279190)

“…However, the cost and time-consuming nature of transcriptomics verification techniques barred the research community from focusing on lncRNA identification. …”

Using ID-Based Authentication and Key Agreement Mechanism for Securing Communication in Advanced Metering Infrastructure by Shaik Mullapathi Farooq (16869909)

“…But it incurs more computational delay as it involves intensive processes such as certificate management, revocation, and verification. ID-based authentication eliminates the risks associated with certificate management. …”

A Robust Approach for Enhanced Autonomous Robot Navigation by Ismail, Sherif Khaled Mohamed Issa

Get full text

An Iterative Heuristic for State Justi�cation in Sequential Automatic Test Pattern Generation by El-Maleh, Aiman H.

“…In this work, we adopt a hybrid approach for state justification. A new method based on Genetic Algorithms is proposed, in which we engineer state justifcation sequences vector by vector. …”
Get full text

BUEVA by Ammouri, Ali H.

“…Compared with these reference models, our refined calculations show improvements in describing chip geometry based on corrected tool motion and which, consequently, resulted in improved estimates of both surface roughness and cutting forces. Verification cutting tests in two different materials (Al2024 and Plexiglas) show good surface integrity and dimensional definition with roughness measurements in reasonable correlation to the refined model calculations.…”
Get full text
Get full text
Get full text
Get full text

Modelling of pollutant transport in compound open channels by Chatila, Jean Georges

“…Therefore, as far as reliability of the results is concerned, selection of the numerical scheme is critical. Data for the verification and validation of the developed mathematical model was obtained through dye-tracer experiments performed in a large concrete channel of the Hydraulics Laboratory, University of Ottawa. …”
Get full text
Get full text

Kalman Filtering and Bipartite Matching Based Super-Chained Tracker Model for Online Multi Object Tracking in Video Sequences by Shahzad Ahmad Qureshi (19517416)

“…Attention is made by object attention, which is in paired box regression branch, caused by the module of object detection, and a module of ID verification creates identity attention. The detections from these branches are linked together by IoU matching, Kalman filtering, and bipartite matching. …”

Small-Signal Stability Analysis and Parameters Optimization of Virtual Synchronous Generator for Low-Inertia Power System by Alaa Altawallbeh (22565837)

“…Through systematic eigenvalue analysis and parameter sensitivity studies, complemented by time-domain verification in MATLAB/SIMULINK, we demonstrate the decisive influence of VSG control parameters on low-frequency oscillation (LFO) damping characteristics, transient frequency stability metrics, including the rate of change of frequency (ROCOF), maximum frequency deviation (<i>fnadir</i>), overshoot, and settling time. …”

A Testing Framework for Blockchain-Based Energy Trade Microgrids Applications by Ameni Boumaiza (19160734)

“…Blockchain technology automates peer-to-peer energy trades in a distributed database architecture that achieves security and cost-effectiveness using cryptographic hashing and consensus-based verification. Before its deployment, an energy blockchain trading application needs to be tested in a virtual environment that is analogous to the real-world setting to ensure correct implementation and identify potential obstacles and opportunities. …”

Exposure of Botnets in Cloud Environment by Expending Trust Model with CANFES Classification Approach by Nagendra Prabhu Selvaraj (17542041)

“…On this work, the port access verification in trust model is achieved by a Heuristic factorizing algorithm which verifies the port accessibility between client-end-user and client server. …”

Groundwater Quality Evaluation of Fractured Aquifers Using Machine Learning Models and Hydrogeochemical Approaches to Sustainable Water-Irrigation Security in Arid Climate (Central... by Mohamed Haythem Msaddek (19239565)

“…<p dir="ltr">The primary aims of this research paper involve the creation and verification of machine learning-based quality models that utilize Integrated Irrigation Water Quality Indices (IIGWQIs) through an integrated GIS approach. …”

Fluoroscopic 3D Images Generation Using A GAN Method by Alshrbaji, Mohammad Nabeel Mohammad

Get full text