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

A New Dispatching Rule For The Stochastic Single-Machine Scheduling Problem by Al-Turki, Umar

“…Different variations of the rule are tested to select the best implementing policy of the rule. Extensive experimentation is conducted to determine the best parameter values in terms of problem parameters.…”
Get full text

Reliability Centered Maintenance Concepts And Applications: A Case Study by Duffuaa, S. O.

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. …”

An Efficient Tabu Search Algorithm For The Single-Machine Mean Tardiness Problem by Bendaya, M.

Get full text

EVALUATION OF OPTIMIZATION METHODS FOR MACHINING ECONOMICS MODELS by Duffuaa, S. O.

Get full text

Stochastic Simulation Model For Maintenance Manpower Planning by Duffuaa, S. O.

“…The results indicated that that the simulation model is realistic and a valuable tool for planning manpower in maintenance system systems.…”
Get full text