KINDI Center for Computing Research: Recent submissions
Now showing items 41-60 of 163
-
Adopting formal verification and model-based testing techniques for validating a blockchain-based healthcare records sharing system
( SciTePress , 2020 , Conference Paper)The Electronic Health Records (EHR) sharing system is the modern tool for delivering efficient healthcare to patients. Its functions include tracking of therapies, monitoring of the treatment effectiveness, prediction of ... -
Blockchain technology for healthcare: Enhancing shared electronic health record interoperability and integrity
( Institute of Electrical and Electronics Engineers Inc. , 2020 , Conference Paper)The Electronic Health Records (EHR) sharing system is the state of art for delivering healthcare. The tools within the system can predict outcomes during the patient's lifetime, monitor how effective are treatments, track ... -
Virtual reality for ambulance simulation environment
( Springer , 2022 , Article)Simulations are beneficial in evaluating clinicians' empirical competencies through practical skills, prioritizing, and decision-making as part of patient care scenarios generally run in a full-scale physical context. ... -
Exploration of Carbonate Aggregates in Road Construction using Ultrasonic and Artificial Intelligence Approaches
( Qatar University Press , 2023 , Conference Paper)The COVID-19 pandemic has significantly impacted the construction sector, which is highly sensitive to economic cycles. In order to boost value and efficiency in this sector, the use of innovative exploration technologies ... -
Secure Bluetooth Communication in Smart Healthcare Systems: A Novel Community Dataset and Intrusion Detection System
( MDPI , 2022 , Article)Smart health presents an ever-expanding attack surface due to the continuous adoption of a broad variety of Internet of Medical Things (IoMT) devices and applications. IoMT is a common approach to smart city solutions that ... -
An enhanced ensemble deep random vector functional link network for driver fatigue recognition
( Elsevier , 2023 , Article)This work investigated the use of an ensemble deep random vector functional link (edRVFL) network for electroencephalogram (EEG)-based driver fatigue recognition. Against the low feature learning capability of the edRVFL ... -
Paillier's encryption: Implementation and cloud applications
( Institute of Electrical and Electronics Engineers Inc. , 2015 , Conference Paper)Paillier's additive homomorphic encryption is increasingly used in recent research in the field of cloud secure outsourcing and privacy-preserving computation in addition to other cryptographic tools such as garbled circuits. ... -
A Domain Specific Language for Secure Outsourcing of Computation to the Cloud
( Institute of Electrical and Electronics Engineers Inc. , 2015 , Conference Paper)Secure outsourcing of computation has gained importance with the proliferation of cloud services. However, existing outsourcing protocol specification languages are mainly suitable for secure multi-party computation. They ... -
A model driven framework for secure outsourcing of computation to the cloud
( IEEE Computer Society , 2014 , Conference Paper)This paper presents a model driven approach to define then coordinate the execution of protocols for secure outsourcing of computation of large datasets in cloud computing environments. First we present our Outsourcing ... -
Reasoning about security policies of services using answer set programming
( Institute of Electrical and Electronics Engineers Inc. , 2014 , Conference Paper)In this paper, we propose a formal framework for checking the consistency of security policies of services using Answer Set Programming (ASP). We illustrate that the formalisation of security policies of the service providers ... -
Automatic generation of optimized workflow for distributed computations on large-scale matrices
( Springer Verlag , 2014 , Conference Paper)Efficient evaluation of distributed computation on large-scale data is prominent in modern scientific computation; especially analysis of big data, image processing and data mining applications. This problem is particularly ... -
Integration of federated machine learning and blockchain for the provision of secure big data analytics for Internet of Things
( Elsevier , 2021 , Article)Big data enables the optimization of complex supply chains through Machine Learning (ML)-based data analytics. However, data analytics comes with challenges such as the loss of control and privacy leading to increased risk ... -
Automatic variable reduction
( Institute of Electrical and Electronics Engineers Inc. , 2022 , Article)A variable reduction strategy (VRS) is an effective method to accelerate the optimization process of evolutionary algorithms (EAs) by simplifying the corresponding optimization problems. Unfortunately, the VRS is manually ... -
An Enhanced Multi-Phase Stochastic Differential Evolution Framework for Numerical Optimization
( Institute of Electrical and Electronics Engineers Inc. , 2022 , Conference Paper)Real-life problems can be expressed as optimization problems. These problems pose a challenge for researchers to design efficient algorithms that are capable of finding optimal solutions with the least budget. Stochastic ... -
Deep Reservoir Computing Based Random Vector Functional Link for Non-sequential Classification
( Institute of Electrical and Electronics Engineers Inc. , 2022 , Conference Paper)Reservoir Computing (RC) is well-suited for simpler sequential tasks which require inexpensive, rapid training, and the Echo State Network (ESN) plays a significant role in RC. In this article, we proposed variations of ... -
Situation Awareness Recognition Using EEG and Eye-Tracking data: a pilot study
( Institute of Electrical and Electronics Engineers Inc. , 2022 , Conference Paper)Since situation awareness (SA) plays an important role in many fields, the measure of SA is one of the most concerning problems. Using physiological signals to evaluate SA is becoming a popular research topic because of ... -
Interpretability and accessibility of machine learning in selected food processing, agriculture and health applications
( National Science Foundation , 2022 , Other)Artificial Intelligence (Al) and its data-centric branch of machine learning (ML) have greatly evolved over the last few decades. However, as Al is used increasingly in real world use cases, the importance of the ... -
A Voting-Mechanism-Based Ensemble Framework for Constraint Handling Techniques
( Institute of Electrical and Electronics Engineers Inc. , 2022 , Article)Effective constraint handling techniques (CHTs) are of great significance for evolutionary algorithms (EAs) dealing with constrained optimization problems (COPs). To date, many CHTs, such as penalty function, superiority ... -
Sample-Based Data Augmentation Based on Electroencephalogram Intrinsic Characteristics
( Institute of Electrical and Electronics Engineers Inc. , 2022 , Article)Deep learning for electroencephalogram-based classification is confronted with data scarcity, due to the time-consuming and expensive data collection procedure. Data augmentation has been shown as an effective way to improve ... -
Hybrid Multi-Objective Optimization Approach With Pareto Local Search for Collaborative Truck-Drone Routing Problems Considering Flexible Time Windows
( Institute of Electrical and Electronics Engineers Inc. , 2022 , Article)The collaboration of drones and trucks for last-mile delivery has attracted much attention. In this paper, we address a collaborative routing problem of the truck-drone system, in which a truck collaborates with multiple ...