On the Generation of Quantified Lemmas حسب Gabriel Ebner (23277217)

"…This solution yields a sequence of lemmas and, finally, a proof based on these lemmas. Various techniques are developed to simplify the canonical solution resulting in a reduction of proof complexity. …"

Modeling and Identification of Nonlinear DC Motor Drive Systems Using Recurrent Wavelet Networks حسب Zahidi, Sarah Hussain

احصل على النص الكامل

An Intelligent and Low-Cost Eye-Tracking System for Motorized Wheelchair Control حسب 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. …"

Autonomous Vehicles Delivery Systems: Analyzing Vehicle Routing Problems with a Moving Depot حسب Madani, Batool Mezar

احصل على النص الكامل

Nonlinear Friction Identification of A Linear Voice Coil DC Motor حسب Takrouri, Mohannad Hashem

احصل على النص الكامل

An Enhanced Approach for Solar PV Hosting Capacity Analysis in Distribution Networks حسب Mohammad Zain Ul Abideen (16904637)

"…The developed algorithms were tested on the IEEE 123 bus network, and their results were compared. …"

Common weaving approach in mainstream languages for software security hardening حسب Alhadidi, Dima

"…In this paper, we propose a novel aspect-oriented approach based on GIMPLE, a language-independent and a tree-based representation generated by the GNU Compiler Collection (GCC), for the systemization of application security hardening. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

Autopilot Design and Commercial Autopilot Evaluation Using Flybarless Helicopter حسب Alshoubaki, Ahmad

احصل على النص الكامل

Optimal Routing and Scheduling in E-commerce Logistics using Crowdsourcing Strategies حسب Mohamed, Eman

احصل على النص الكامل

Automated skills assessment in open surgery: A scoping review حسب Hawa Hamza (17707224)

"…An overview of its applications can inform the scientific community and facilitate further developments. In this scoping review, we present the open surgeries and clinical settings where AI-based skill assessment has been applied, the kind of surgical data acquired for the AI-based algorithms, and the types of AI-based models used for automated skills assessment. …"

From Collatz Conjecture to chaos and hash function حسب Masrat Rasool (17807813)

"…The primary goal of this research is to develop a robust and efficient chaos-based hash function that addresses the requirements of cryptographic systems. …"

Block constrained pressure residual preconditioning for two-phase flow in porous media by mixed hybrid finite elements حسب Stefano Nardean (14151900)

"…An original MHFE-based formulation of the two-phase flow model is taken as a reference for the development of the BCPR preconditioner, in which the set of system unknowns comprises both element and face pressures, in addition to the cell saturations, resulting in a $$3\times 3$$ 3 × 3 block-structured Jacobian matrix with a $$2\times 2$$ 2 × 2 inner pressure problem. …"

Modeling and Control of Nonlinear Systems Using Wavelet Networks حسب Hassouneh, Wissam

احصل على النص الكامل

Computer-aided detection of Melanoma using geometric features حسب Azar, Danielle

"…The k-Nearest Neighbors (k-NN) machine learning algorithm is used to classify 15 lesions based on their ABD features. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

Thermal convection of fluid in fractured media حسب Sfeir, Abdallah

"…Including this phenomenon in a modelling process led us to propose a development of the UDEC code. The computational algorithm is based on the differences between the rates of convective and conductive heat transfers. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

Prolonged ventricular pause associated with ticagrelor use: A case report حسب Alaa Rahhal (14150403)

"…Based on the Naranjo algorithm, the likelihood that our patient's prolonged ventricular pause was due to ticagrelor exposure was probable.…"

Parametric Design Optimization in Sustainable Urban Design: In Hot Climate حسب Musleh, Mousa A. M.

"…The suggested methodology is applied to real life urban scale to investigate the applicability of parametric design optimization tools on urban scale and their potentials. …"
احصل على النص الكامل

Data-driven robust model predictive control for greenhouse temperature control and energy utilisation assessment حسب Farhat Mahmood (15468854)

"…A robust model predictive control strategy, based on the minimax objective function and particle swarm optimisation algorithm, is developed to handle the uncertainties in the system. …"

Automated systems for diagnosis of dysgraphia in children: a survey and novel framework حسب Jayakanth Kunhoth (14158908)

"…The main focus of the work is to review artificial intelligence-based systems for dysgraphia diagnosis in children. …"

A Stochastic Approach To Solving The Weight Setting Problem in OSPF Networks حسب Shaik, Muzibur Rehman

"…OSPF calculates the shortest paths from each source to all destinations using the Dijkstra’s algorithm based on the weights assigned to the links. …"
احصل على النص الكامل