Formal synthesis of VLSI layouts from algorithmic specifications حسب Sait, Sadiq M.

"…These algorithms can be mathematically verified for correctness before begin subjected to the task of translation. …"
احصل على النص الكامل

A smart decentralized identifiable distributed ledger technology‐based blockchain (DIDLT‐BC) model for cloud‐IoT security حسب Shitharth Selvarajan (14157976)

"…<p dir="ltr">The most important and difficult challenge the digital society has recently faced is ensuring data privacy and security in cloud‐based Internet of Things (IoT) technologies. As a result, many researchers believe that the blockchain's Distributed Ledger Technology (DLT) is a good choice for various clever applications. …"

A localized navigation algorithm for radiation evasion for nuclear facilities: Optimizing the "Radiation Evasion" criterion: Part I حسب Khasawneh, Mohammad

"…It is also tested for the case when more information, beyond nearest neighbors, is made available; here, we test its operation for different numbers of step look-ahead. We verify algorithm performance by means of simulations, whereby navigational paths are calculated for different radiation fields.…"
احصل على النص الكامل

A Neuro-Heuristic Approach for Segmenting Handwritten Arabic Text حسب Haraty, Ramzi

احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

Leveraging UAVs for Coverage in Cell-Free Vehicular Networks حسب Samir, Moataz

"…The success in transitioning towards smart cities relies on the availability of information and communication technologies that meet the demands of this transformation. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

Multi-Agent Variational Approach for Robotics: A Bio-Inspired Perspective حسب Mir, Imran

"…This study proposes an adaptable, bio-inspired optimization algorithm for Multi-Agent Space Exploration. The recommended approach combines a parameterized Aquila Optimizer, a bio-inspired technology, with deterministic Multi-Agent Exploration. …"
احصل على النص الكامل

Enhancement of blocking performance in all-optical WDM networks. (c2012) حسب Joun, Carla J.

احصل على النص الكامل
احصل على النص الكامل

Automatic keyword extraction from a real estate classifieds data set حسب Devassy, Dibin

"…We begin with designing data cleansing algorithms to verify different attributes of the real estate classified. …"
احصل على النص الكامل

Optimal Routing and Scheduling in E-commerce Logistics using Crowdsourcing Strategies حسب Mohamed, Eman

احصل على النص الكامل

AUS-UAV HILS Setup of Dynamic Flight Path Planning حسب Hasan, Mohammed Mahedi

احصل على النص الكامل

Active distribution network type identification method of high proportion new energy power system based on source-load matching حسب Qinlin, Shi

احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

Exposure of Botnets in Cloud Environment by Expending Trust Model with CANFES Classification Approach حسب 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. …"

Video Streaming over Cognitive Radio Networks حسب Helmy, Maram Wahed R.

احصل على النص الكامل

Identity and Aggregate Signature-Based Authentication Protocol for IoD Deployment Military Drone حسب Saeed Ullah Jan (9079260)

"…Nonetheless, the performance analysis section will be executed using the algorithmic big-O notation. The results show that these protocols are verifiably protected in the ROM and ROR model using the CDHP.…"

Real-Time Implementation of GPS Aided Low Cost Strapdown Inertial Navigation System حسب Sahawneh, Laith Rasmi

احصل على النص الكامل

Accelerating Blockchain Transaction Verification With Parallel Computing حسب Zhou, Huangjin

احصل على النص الكامل