نتائج لـ algorithm verifying technologies يعرض 1 - 16 نتائج من 16 Laminas_Feed_Writer 2 (https://getlaminas.org) https://asren-aggregator.asren.net/Search/Results?sort=last_indexed+desc&limit=50&lookfor=algorithm+verifying+technologies&type=AllFields&lng=ar 16 0 50 Formal synthesis of VLSI layouts from algorithmic specifications Wed, 01 Jan 2020 06:07:56 -0500 https://asren-aggregator.asren.net/Record/KFUPM_546883b1e537d2bec3010d675a696495 https://asren-aggregator.asren.net/Record/KFUPM_546883b1e537d2bec3010d675a696495 Sait, Sadiq M. article 2020 Sait, Sadiq M. 0 Enhancement of blocking performance in all-optical WDM networks. (c2012) Sun, 01 Jan 2012 06:07:56 -0500 https://asren-aggregator.asren.net/Record/LAURepo_690924e43e8fdadca8ace4bef2c8425e https://asren-aggregator.asren.net/Record/LAURepo_690924e43e8fdadca8ace4bef2c8425e Joun, Carla J. masterThesis 2012 Joun, Carla J. 0 A Neuro-Heuristic Approach for Segmenting Handwritten Arabic Text Mon, 01 Jan 2001 06:07:56 -0500 https://asren-aggregator.asren.net/Record/LAURepo_d0b5015657018fc3544957714cd60d37 https://asren-aggregator.asren.net/Record/LAURepo_d0b5015657018fc3544957714cd60d37 Haraty, Ramzi conferenceObject 2001 Haraty, Ramzi 0 Leveraging UAVs for Coverage in Cell-Free Vehicular Networks Wed, 01 Jan 2020 06:07:56 -0500 https://asren-aggregator.asren.net/Record/LAURepo_e9591d4aa7ef8be68415252023b101a2 https://asren-aggregator.asren.net/Record/LAURepo_e9591d4aa7ef8be68415252023b101a2 Samir, Moataz article 2020 Samir, Moataz 0 A smart decentralized identifiable distributed ledger technology‐based blockchain (DIDLT‐BC) model for cloud‐IoT security Mon, 01 Jan 2024 06:07:56 -0500 https://asren-aggregator.asren.net/Record/Manara2_2df7c9819a62629e8c513b4347acfd78 https://asren-aggregator.asren.net/Record/Manara2_2df7c9819a62629e8c513b4347acfd78 Shitharth Selvarajan (14157976) 2024 Shitharth Selvarajan (14157976) 0 Identity and Aggregate Signature-Based Authentication Protocol for IoD Deployment Military Drone Fri, 01 Jan 2021 06:07:56 -0500 https://asren-aggregator.asren.net/Record/Manara2_3238a79679eb637fc5628afdf27b6df7 https://asren-aggregator.asren.net/Record/Manara2_3238a79679eb637fc5628afdf27b6df7 Saeed Ullah Jan (9079260) 2021 Saeed Ullah Jan (9079260) 0 Exposure of Botnets in Cloud Environment by Expending Trust Model with CANFES Classification Approach Sat, 01 Jan 2022 06:07:56 -0500 https://asren-aggregator.asren.net/Record/Manara2_7ca450f749d60b32c02e386738a6a16b https://asren-aggregator.asren.net/Record/Manara2_7ca450f749d60b32c02e386738a6a16b Nagendra Prabhu Selvaraj (17542041) 2022 Nagendra Prabhu Selvaraj (17542041) 0 Video Streaming over Cognitive Radio Networks Wed, 01 Jan 2020 06:07:56 -0500 https://asren-aggregator.asren.net/Record/aus_2d5efe0127c1eda5b46f9f2b6fcda833 https://asren-aggregator.asren.net/Record/aus_2d5efe0127c1eda5b46f9f2b6fcda833 Helmy, Maram Wahed R. doctoralThesis 2020 Helmy, Maram Wahed R. 0 Optimal Routing and Scheduling in E-commerce Logistics using Crowdsourcing Strategies Sun, 01 Jan 2017 06:07:56 -0500 https://asren-aggregator.asren.net/Record/aus_2d880030050cffb65c22c9259c8fb92e https://asren-aggregator.asren.net/Record/aus_2d880030050cffb65c22c9259c8fb92e Mohamed, Eman doctoralThesis 2017 Mohamed, Eman 0 Accelerating Blockchain Transaction Verification With Parallel Computing Mon, 01 Jan 2024 06:07:56 -0500 https://asren-aggregator.asren.net/Record/aus_99b32651b69e1af3721fb5983ffe3ffb https://asren-aggregator.asren.net/Record/aus_99b32651b69e1af3721fb5983ffe3ffb Zhou, Huangjin doctoralThesis 2024 Zhou, Huangjin 0 A localized navigation algorithm for radiation evasion for nuclear facilities: Optimizing the "Radiation Evasion" criterion: Part I Tue, 01 Jan 2013 06:07:56 -0500 https://asren-aggregator.asren.net/Record/aus_9a61b49a53f54fcca13f0ad0d834b22d https://asren-aggregator.asren.net/Record/aus_9a61b49a53f54fcca13f0ad0d834b22d Khasawneh, Mohammad article 2013 Khasawneh, Mohammad 0 AUS-UAV HILS Setup of Dynamic Flight Path Planning Sun, 01 Jan 2006 06:07:56 -0500 https://asren-aggregator.asren.net/Record/aus_e4e541273112a059ba893d5f20955d33 https://asren-aggregator.asren.net/Record/aus_e4e541273112a059ba893d5f20955d33 Hasan, Mohammed Mahedi doctoralThesis 2006 Hasan, Mohammed Mahedi 0 Real-Time Implementation of GPS Aided Low Cost Strapdown Inertial Navigation System Thu, 01 Jan 2009 06:07:56 -0500 https://asren-aggregator.asren.net/Record/aus_e62ec97c0aff70efc9b767ba908cc64a https://asren-aggregator.asren.net/Record/aus_e62ec97c0aff70efc9b767ba908cc64a Sahawneh, Laith Rasmi doctoralThesis 2009 Sahawneh, Laith Rasmi 0 Automatic keyword extraction from a real estate classifieds data set Sat, 01 Jan 2011 06:07:56 -0500 https://asren-aggregator.asren.net/Record/budr_f645d62ee908cfd43f0934f1742c9d6b https://asren-aggregator.asren.net/Record/budr_f645d62ee908cfd43f0934f1742c9d6b Devassy, Dibin 2011 Devassy, Dibin 0 Active distribution network type identification method of high proportion new energy power system based on source-load matching Sun, 01 Jan 2023 06:07:56 -0500 https://asren-aggregator.asren.net/Record/qu_69c473adc2385604b1d138c95cf7f647 https://asren-aggregator.asren.net/Record/qu_69c473adc2385604b1d138c95cf7f647 Qinlin, Shi article 2023 Qinlin, Shi 0 Multi-Agent Variational Approach for Robotics: A Bio-Inspired Perspective Sun, 01 Jan 2023 06:07:56 -0500 https://asren-aggregator.asren.net/Record/sorbonner_070233847426fb0a8a613d1bb49c261e https://asren-aggregator.asren.net/Record/sorbonner_070233847426fb0a8a613d1bb49c261e Mir, Imran 2023 Mir, Imran 0