Search Results - "Alasmari, Naif"

Autonomous Short-Term Traffic Flow Prediction Using Pelican Optimization with Hybrid Deep Belief Network in Smart Cities by Mohammed, Gouse Pasha, Alasmari, Naif, Alsolai, Hadeel, Alotaibi, Saud S., Alotaibi, Najm, Mohsen, Heba

“…Accurate and timely traffic flow prediction not just allows traffic controllers to evade traffic congestion and guarantee standard traffic functioning, it even…”
Get full text

Risk Assessment of Repeated Suicide Attempts Among Youth in Saudi Arabia by Ahmed, Anwar E, Alaqeel, Mody, Alasmari, Naif A, Jradi, Hoda, Al Otaibi, Hazza, A Abbas, Oraynab, Alyabsi, Mesnad, Almutairi, Adel F, Al-Qunaibet, Ada, Al-Jahdali, Hamdan

“…Although the incidence of suicide attempts continues to increase among youth in Saudi Arabia, no risk assessment tool has been established for suicide attempt…”
Get full text

Quantitative verification with adaptive uncertainty reduction by Alasmari, Naif, Calinescu, Radu, Paterson, Colin, Mirandola, Raffaela

“…Stochastic models are widely used to verify whether systems satisfy their reliability, performance and other nonfunctional requirements. However, the validity…”
Get full text

Probabilistic Model Checking Techniques for the Verification and Synthesis of Software Systems by Alasmari, Naif

“…Probabilistic model checking is a mathematically based technique widely used to verify whether systems with stochastic behaviour satisfy their nonfunctional…”
Get full text

Improved metaheuristics with deep learning based object detector for intelligent control in autonomous vehicles by Alasmari, Naif, Alohali, Manal Abdullah, Khalid, Majdi, Almalki, Nabil, Motwakel, Abdelwahed, Alsaid, Mohamed Ibrahim, Osman, Azza Elneil, Alneil, Amani A

“…•Develop an object detector for intelligent control in autonomous vehicles.•Propose a nadam optimizer with retinanet for object detection.•Apply improved…”
Get full text

Textual emotion analysis using improved metaheuristics with deep learning model for intelligent systems by Alohali, Manal Abdullah, Alasmari, Naif, Almalki, Nabil Sharaf, Khalid, Majdi, Alnfiai, Mrim M., Assiri, Mohammed, Abdelbagi, Sitelbanat

“…Complex, intelligent systems, namely social network services (SNS), internet‐of‐things (IoT), augmented reality (AR), virtual reality (VR), and so on have…”
Get full text

Sustainable residential building energy consumption forecasting for smart cities using optimal weighted voting ensemble learning by Alymani, Mofadal, Mengash, Hanan Abdullah, Aljebreen, Mohammed, Alasmari, Naif, Allafi, Randa, Alshahrani, Hussain, Elfaki, Mohamed Ahmed, Hamza, Manar Ahmed, Abdelmageed, Amgad Atta

“…In recent times, smart-built environments have gone through an incessant transformation, becoming more independent and sensitive ecosystems which can balance…”
Get full text

Evolutionary-Guided Synthesis of Verified Pareto-Optimal MDP Policies by Gerasimou, Simos, Camara, Javier, Calinescu, Radu, Alasmari, Naif, Alhwikem, Faisal, Fang, Xinwei

“…We present a new approach for synthesising Paretooptimal Markov decision process (MDP) policies that satisfy complex combinations of quality-of-service (QoS)…”
Get full text

Metaheuristics with deep learning driven phishing detection for sustainable and secure environment by Abdullah Alohali, Manal, Alasmari, Naif, Maashi, Mashael, Nouri, Amal M., Rizwanullah, Mohammed, Yaseen, Ishfaq, Elneil Osman, Azza, Alneil, Amani A.

“…Information technologies have intervened in every aspect of human life. This growth of connectivity, however, has radically changed the phishing attack…”
Get full text

Improved Bald Eagle Search Optimization with Synergic Deep Learning-Based Classification on Breast Cancer Imaging by Hamza, Manar Ahmed, Mengash, Hanan Abdullah, Nour, Mohamed K, Alasmari, Naif, Aziz, Amira Sayed A, Mohammed, Gouse Pasha, Zamani, Abu Sarwar, Abdelmageed, Amgad Atta

“…Medical imaging has attracted growing interest in the field of healthcare regarding breast cancer (BC). Globally, BC is a major cause of mortality amongst…”
Get full text

Synthesis of Pareto-optimal Policies for Continuous-Time Markov Decision Processes by Alasmari, Naif, Calinescu, Radu

“…We present a work-in-progress method for the synthesis of continuous-time Markov decision process (CTMDP) policies-an important problem not handled by current…”
Get full text

Maintaining driver attentiveness in shared-control autonomous driving by Calinescu, Radu, Alasmari, Naif, Gleirscher, Mario

“…We present a work-in-progress approach to improving driver attentiveness in cars provided with automated driving systems. The approach is based on a control…”
Get full text

Optimising Cloud-Based Hadoop 2.x Applications by Alasmari, Naif

“…Hadoop is an open-source MapReduce implementation widely adopted in industry and academia. However, achieving effective trade-offs between the cost and…”
Get full text

Towards Multi-Objective Optimisation of Hadoop 2.x Application Deployment on Public Clouds by Alasmari, Naif, Calinescu, Radu

“…Hadoop is a widely-used software platform for the development, deployment and execution of Big Data applications. Leading technology companies such as Yahoo…”
Get full text

Maintaining driver attentiveness in shared-control autonomous driving by Calinescu, Radu, Alasmari, Naif, Gleirscher, Mario

“…We present a work-in-progress approach to improving driver attentiveness in cars provided with automated driving systems. The approach is based on a control…”
Get full text

Quantitative Verification with Adaptive Uncertainty Reduction by Alasmari, Naif, Calinescu, Radu, Paterson, Colin, Mirandola, Raffaela

“…Stochastic models are widely used to verify whether systems satisfy their reliability, performance and other nonfunctional requirements. However, the validity…”
Get full text