Bashar Igried
YOU?
Author Swipe
View article: An Intelligent and Precise Agriculture Model in Sustainable Cities Based on Visualized Symptoms
An Intelligent and Precise Agriculture Model in Sustainable Cities Based on Visualized Symptoms Open
Plant diseases represent one of the critical issues which lead to a major decrease in the quantity and quality of crops. Therefore, the early detection of plant diseases can avoid any losses or damage to these crops. This paper presents an…
View article: Machine Learning Failure-Aware Scheme for Profit Maximization in the Cloud Market
Machine Learning Failure-Aware Scheme for Profit Maximization in the Cloud Market Open
A successful cloud trading system requires suitable financial incentives for all parties involved. Cloud providers in the cloud market provide computing services to clients in order to perform their tasks and earn extra money. Unfortunatel…
View article: Table of Content
Table of Content Open
Design and development of an IoT-based solar
View article: A Novel Fuzzy Logic-Based Scheme for Malicious Node Eviction in a Vehicular Ad Hoc Network
A Novel Fuzzy Logic-Based Scheme for Malicious Node Eviction in a Vehicular Ad Hoc Network Open
Securing communication in vehicular ad hoc networks (VANETs) is hampered by numerous constraints, making it more difficult. First, traditional security schemes cannot be directly applied in VANET because they consider fixed topology. Secon…
View article: A New Scheme for Detecting Malicious Nodes in Vehicular Ad Hoc Networks Based on Monitoring Node Behavior
A New Scheme for Detecting Malicious Nodes in Vehicular Ad Hoc Networks Based on Monitoring Node Behavior Open
Vehicular ad hoc networks have played a key role in intelligent transportation systems that considerably improve road safety and management. This new technology allows vehicles to communicate and share road information. However, malicious …
View article: Hybrid features for object detection in RGB-D scenes
Hybrid features for object detection in RGB-D scenes Open
Object detection is considered a hot research topic in applications of artificial intel-ligence and computer vision. Historically, object detection was widely used in var-ious fields like surveillance, fine-grained activities and robotics.…
View article: Defining Trace Semantics for CSP-Agda
Defining Trace Semantics for CSP-Agda Open
This article is based on the library CSP-Agda, which represents the process algebra CSP coinductively in the interactive theorem prover Agda. The intended application area of CSP-Agda is the proof of properties of safety critical systems (…
View article: Trace and Stable Failures Semantics for CSP-Agda
Trace and Stable Failures Semantics for CSP-Agda Open
CSP-Agda is a library, which formalises the process algebra CSP in the interactive theorem prover Agda using coinductive data types. In CSP-Agda, CSP processes are in monadic form, which sup- ports a modular development of processes. In th…
View article: Trace and Stable Failures Semantics for CSP-Agda
Trace and Stable Failures Semantics for CSP-Agda Open
CSP-Agda is a library, which formalises the process algebra CSP in the\ninteractive theorem prover Agda using coinductive data types. In CSP-Agda, CSP\nprocesses are in monadic form, which sup- ports a modular development of\nprocesses. In…