Search alternatives:
verifying technologies » purifying technologies (Expand Search), emerging technologies (Expand Search)
Showing 1 - 16 results of 16 for search 'algorithm verifying technologies', query time: 0.06s Refine Results
  1. 1
    Formal synthesis of VLSI layouts from algorithmic specifications

    Formal synthesis of VLSI layouts from algorithmic specifications by Sait, Sadiq M.

    Published 2020
    “…These algorithms can be mathematically verified for correctness before begin subjected to the task of translation. …”
    Get full text
    article
    Save to List
    Saved in:
  2. 2
    A smart decentralized identifiable distributed ledger technology‐based blockchain (DIDLT‐BC) model for cloud‐IoT security

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

    Published 2024
    “…<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. …”
    Save to List
    Saved in:
  3. 3
    A localized navigation algorithm for radiation evasion for nuclear facilities: Optimizing the "Radiation Evasion" criterion: Part I

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

    Published 2013
    “…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.…”
    Get full text
    article
    Save to List
    Saved in:
  4. 4
    A Neuro-Heuristic Approach for Segmenting Handwritten Arabic Text

    A Neuro-Heuristic Approach for Segmenting Handwritten Arabic Text by Haraty, Ramzi

    Published 2001
    Get full text
    Get full text
    Get full text
    conferenceObject
    Save to List
    Saved in:
  5. 5
    Leveraging UAVs for Coverage in Cell-Free Vehicular Networks

    Leveraging UAVs for Coverage in Cell-Free Vehicular Networks by Samir, Moataz

    Published 2020
    “…The success in transitioning towards smart cities relies on the availability of information and communication technologies that meet the demands of this transformation. …”
    Get full text
    Get full text
    Get full text
    Get full text
    article
    Save to List
    Saved in:
  6. 6
    Multi-Agent Variational Approach for Robotics: A Bio-Inspired Perspective

    Multi-Agent Variational Approach for Robotics: A Bio-Inspired Perspective by Mir, Imran

    Published 2023
    “…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. …”
    Get full text
    Save to List
    Saved in:
  7. 7
    Enhancement of blocking performance in all-optical WDM networks. (c2012)

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

    Published 2012
    Get full text
    Get full text
    masterThesis
    Save to List
    Saved in:
  8. 8
    Automatic keyword extraction from a real estate classifieds data set

    Automatic keyword extraction from a real estate classifieds data set by Devassy, Dibin

    Published 2011
    “…We begin with designing data cleansing algorithms to verify different attributes of the real estate classified. …”
    Get full text
    Save to List
    Saved in:
  9. 9
    Optimal Routing and Scheduling in E-commerce Logistics using Crowdsourcing Strategies

    Optimal Routing and Scheduling in E-commerce Logistics using Crowdsourcing Strategies by Mohamed, Eman

    Published 2017
    Get full text
    doctoralThesis
    Save to List
    Saved in:
  10. 10
    AUS-UAV HILS Setup of Dynamic Flight Path Planning

    AUS-UAV HILS Setup of Dynamic Flight Path Planning by Hasan, Mohammed Mahedi

    Published 2006
    Get full text
    doctoralThesis
    Save to List
    Saved in:
  11. 11
    Active distribution network type identification method of high proportion new energy power system based on source-load matching

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

    Published 2023
    Get full text
    Get full text
    Get full text
    article
    Save to List
    Saved in:
  12. 12
    Exposure of Botnets in Cloud Environment by Expending Trust Model with CANFES Classification Approach

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

    Published 2022
    “…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. …”
    Save to List
    Saved in:
  13. 13
    Video Streaming over Cognitive Radio Networks

    Video Streaming over Cognitive Radio Networks by Helmy, Maram Wahed R.

    Published 2020
    Get full text
    doctoralThesis
    Save to List
    Saved in:
  14. 14
    Identity and Aggregate Signature-Based Authentication Protocol for IoD Deployment Military Drone

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

    Published 2021
    “…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.…”
    Save to List
    Saved in:
  15. 15
    Real-Time Implementation of GPS Aided Low Cost Strapdown Inertial Navigation System

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

    Published 2009
    Get full text
    doctoralThesis
    Save to List
    Saved in:
  16. 16
    Accelerating Blockchain Transaction Verification With Parallel Computing

    Accelerating Blockchain Transaction Verification With Parallel Computing by Zhou, Huangjin

    Published 2024
    Get full text
    doctoralThesis
    Save to List
    Saved in:

Search Tools: