Enhancement of Frequency Control for Stand-Alone Multi-Microgrids by Kavita Singh (182141)

“…The proposed investigation is conducted in single-area and two-area microgrid systems through MATLAB simulation verification. The obtained results prove the effectiveness of the proposed methodology.…”

Studying effectiveness of Web search for fact checking by Maram Hasanain (14777068)

“…<p>Web search is commonly used by fact checking systems as a source of evidence for claim verification. In this work, we demonstrate that the task of retrieving pages <em>useful</em> for fact checking, called <em>evidential pages</em>, is indeed <em>different</em> from the task of retrieving topically relevant pages that are typically optimized by search engines; thus, it should be handled differently. …”

Food Quality, Drug Safety, and Increasing Public Health Measures in Supply Chain Management by Mona Haji (18526764)

“…The objectives of the review were to (1) identify the factors affecting food quality and possible solutions to improve results, (2) analyze the factors that affect drug safety and identify ways to mitigate them through proper management; and (3) establish integrated supply chains for food and drugs by implementing modern technologies, followed by one another to ensure a multi-layered cross-verification cascade and resource management at the different phases to ensure quality, safety, and sustainability for the benefit of public health. …”

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

Incremental & classical genetic algorithm. (c2001) by Awad, Mohamad M.

Get full text
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. …”