Securing IoMT Systems via Probabilistic Trust-Epistemic Logic by Sultan, Khalid

“…A verification procedure tailored to this logic and implementation using the PRISM model checker are also described. …”
Get full text
Get full text

Avoidance of Priority Inversion in Real Time Systems Based on Resource Restoration by Helmy, Tarek

“…The approach has been implemented in Java and the experimental results are fetched which verify that the approach is very suitable for real time systems where high-priority threads must be served on time.…”
Get full text

Editorial on the Special Section on Algorithms, Circuits, and Systems for Signal Processing at the Edge by Leonel Sousa (19645372)

“…This special Section is exactly focused on addressing challenges raised by moving computation to the edge in a holistic way, by examining not only challenges related to algorithmic consideration and computational requirements but also circuits and systems and hardware platforms suitable for such implementation. …”

Hybrid Truck-Drone Delivery Systems: A Systematic Literature Review by Madani, Batool

“…First, a brief overview of the potential implementation of drone delivery systems is presented, including their integration with other vehicles. …”
Get full text

Sustainable solutions for healthcare facilities: examining the viability of solar energy systems by Omar F. Al-Rawi (19420573)

“…It promotes the adoption of solar systems in GCC and Middle East healthcare facilities and identifies research gaps related to solar systems implementation in healthcare facilities in the GCC. …”

Robust Control of Elastic Drive Systems Using The Immersion and Invariance Methodology by Khan, Irfan Ullah

Get full text

Mobile Energy Storage Systems for Benefit Maximization in Resilient Smart Grids by Alshaal, Dima

Get full text

Back-end design of a formal high level synthesis system by Ul-Hasan, Masud

Get full text

SysMART Indoor Services: A System of Connected and Smart Supermarkets by Raad, Omar

“…SysMART aims at making supermarkets smart, productive, and with a touch of modern lifestyle. While similar implementations to improve the shopping experience exists, they tend mainly to replace the shopping activity at the store with online shopping. …”
Get full text

A standalone RFID indoor positioning system using passive tags by Saab, Samer S.

“…Indoor positioning systems (IPSs) locate objects in closed structures such as office buildings, hospitals, stores, factories, and warehouses, where Global Positioning System devices generally do not work. …”
Get full text
Get full text
Get full text

Educational System Resilience during the COVID-19 Pandemic—Review and Perspective by Noof AlQashouti (19437988)

“…Opportunities to ensure the continuity and quality of learning are highlighted, and a framework is derived from the literature to achieve enhanced and more resilient online educational systems. By including multiple educational levels, potential research gaps can be identified, highlighting the need for further investigation and exploration in specific educational domains—e.g., addressing behavioral, procedural, and technological challenges requires a thorough examination to achieve optimal solutions and implement reforms.…”

An Artificial Intelligence Approach for Predictive Maintenance in Electronic Toll Collection System by Alkhatib, Osama

“…Two types of machine learning models namely classification and regression model were developed and implemented to predict the failure and abnormal behavior of the system. …”
Get full text

In-Vehicle Performance Validation of the Semi-Active Hybrid Energy Storage System by Rehman, Habib-ur

“…A hybrid energy storage system (HESS) consisting of high-energy-density batteries and high-power-density Ultra-capacitors (UCs) can perform better than a battery alone powering an Electric Vehicle. …”
Get full text

A decision support system for automating document retrieval and citation screening by Raymon van Dinter (10521952)

“…A Multi-Channel CNN architecture is implemented to support the citation screening process. …”

An Intelligent and Low-Cost Eye-Tracking System for Motorized Wheelchair Control by Mahmoud Dahmani (18810247)

“…To accomplish such a feat, four user-specific methods were developed, implemented, and tested; all of which were based on a benchmark database created by the authors. …”

A Stackelberg Game Theory Model for Integrated Community Energy Storage Systems by Sobhan Dorahaki (20545670)

“…The results indicate that implementing flexibility constraints can effectively smooth energy exchanges with the upstream grid. …”

A Water-Energy Nexus Approach for the Co-optimization of the Electrical and Water Systems by Elbalki, Mennatalla Ahmed

Get full text

Evaluating the Web Accessibility of University Online Registration System: case study Jordan by Abu Doush, Iyad

“…The results of accessibility evaluation indicate significant weaknesses in understanding and implementing web accessibility guidelines in the online registration websites in both universities. …”
Get full text
Get full text

Fault Coverage and Diagnosis of Protocols and Systems Modeled As Extended Finite State Machines by Hassoun, Mark Habib

Get full text

Design and Testing of LCC-Compensated Dynamic Wireless Electric Vehicle Charging System by Abdulhameed, Mustafa Faeq

Get full text