On the Generation of Quantified Lemmas by Gabriel Ebner (23277217)

“…<p dir="ltr">In this paper we present an algorithmic method of lemma introduction. Given a proof in predicate logic with equality the algorithm is capable of introducing several universal lemmas. …”

Guidance, Control and Trajectory Tracking of Small Fixed Wing Unmanned Aerial Vehicles (UAV's) by Al-Radaideh, Amer

Get full text

Applications of fast fourier transform in the integrity evaluation of deep foundations by Abi Shdid, Caesar

“…This paper reports on an innovative and comprehensive method proposed for the quality control of drilled shafts that overcomes several limitations of conventional methods. The method is developed and validated using experimental data, and is based on applying the fast Fourier transform mapping algorithm on data obtained from cross-hole sonic logging. …”
Get full text
Get full text
Get full text
Get full text

Impact of birth weight to placental weight ratio and other perinatal risk factors on left ventricular dimensions in newborns: a prospective cohort analysis by Ashraf Gad (17040114)

“…Chi-squared and one-way analysis of variance were used to compare BW/PW groups and the best regression model was selected using a genetic and backward stepwise algorithm.…”

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

Get full text

Protein glycation – biomarkers of metabolic dysfunction and early-stage decline in health in the era of precision medicine by Naila, Rabbani

“…They are thereby likely to find continued and expanding clinical use, including in the current era of developing precision medicine, reporting on multiple pathogenic processes and supporting a precision medicine approach.…”
Get full text
Get full text
Get full text

Big Data Energy Management, Analytics and Visualization for Residential Areas by Gupta, Ragini

“…With the rapid development of IoT based home appliances, it has become a possibility that home owners share with Utilities in the management of home appliances energy consumption. …”
Get full text

Hybrid Deep Learning-based Models for Crop Yield Prediction by Alexandros Oikonomidis (12050497)

“…In this study, we developed deep learning-based models to evaluate how the underlying algorithms perform with respect to different performance criteria. …”

Definition and selection of fuzzy sets in genetic‐fuzzy systems using the concept of fuzzimetric arcs by Kouatli, Issam

“…An irregular shape may be required by some systems. Hence, a genetic algorithm was proposed as a methodology to optimize the performance of fuzzy systems by mutating different regular shapes. …”
Get full text
Get full text
Get full text
Get full text

Modeling, testing, and regression testing of web applications. (c2006) by Al Shaar, Hamzeh K.

Get full text
Get full text

Fleet sizing of trucks for an inter-facility material handling system using closed queueing networks by Mohamed Amjath (17542512)

“…Furthermore, a discrete event simulation (DES) model is developed to validate the optimisation of non-dominant solutions. …”

Performance comparison of variable-stepsize IMEX SBDF methods on advection-diffusion-reaction models by Raed Ali Mara'Beh (17337892)

“…We develop an adaptive time-stepping and error control algorithm for VSSBDF methods up to fourth order based on a step-doubling refinement technique using estimates of the local truncation errors. …”

Performance comparison of variable-stepsize IMEX SBDF methods on advection-diffusion-reaction models by Raed Ali Ayesh Marabeh (21142247)

“…We develop an adaptive time-stepping and error control algorithm for VSSBDF methods up to fourth order based on a step-doubling refinement technique using estimates of the local truncation errors. …”

Stochastic Geometry-Based Model for Dynamic Allocation of Metering Equipment in Spatio-Temporal Expanding Power Grids by Atat, Rachad

“…Using the developed model, a multi-year algorithm for the allocation of metering equipment is proposed based on finite horizon dynamic programming, given budgetary and technical constraints on system observability. …”
Get full text

Adaptive cooperative control of nonlinear multi-agent systems with uncertain time-varying control directions and dead-zone nonlinearity by Maryam Shahriari-kahkeshi (17269051)

“…Simulation and comparison results demonstrate the effectiveness of the proposed algorithm.</p><h2>Other Information</h2><p dir="ltr">Published in: Neurocomputing<br>License: <a href="http://creativecommons.org/licenses/by/4.0/" target="_blank">http://creativecommons.org/licenses/by/4.0/</a><br>See article on publisher's website: <a href="https://dx.doi.org/10.1016/j.neucom.2021.08.065" target="_blank">https://dx.doi.org/10.1016/j.neucom.2021.08.065</a></p>…”

An Efficient Prediction System for Diabetes Disease Based on Deep Neural Network by Tawfik Beghriche (19563184)

“…The deaths by diabetes are increasing each year, so the need to develop a system that can effectively diagnose diabetes patients becomes inevitable. …”

Land Use/Land Cover Changes Impact on Groundwater Level and Quality in the Northern Part of the United Arab Emirates by Elmahdy, Samy

“…This study aims to develop an integrated approach for mapping and monitoring land use/land cover (LULC) changes and to investigate the impacts of LULC changes and population growth on groundwater level and quality using Landsat images and hydrological information in a Geographic information system (GIS) environment. …”
Get full text

Blockchain-Based Decentralized Architecture for Software Version Control by Muhammad Hammad (17541570)

“…The proof of authority (PoA) consensus algorithm will be used to approve the developer communicating modifications to the private blockchain network; the authority will only provide permission and will not be able to add, edit, or delete code files. …”

LNCRI: Long Non-Coding RNA Identifier in Multiple Species by Saleh Musleh (15279190)

“…To overcome these challenges we developed LNCRI (Long Non-Coding RNA Identifier), a novel machine learning (ML)-based tool for the identification of lncRNA transcripts. …”

Spatiotemporal Mapping and Monitoring of Mangrove Forests Changes From 1990 to 2019 in the Northern Emirates, UAE Using Random Forest, Kernel Logistic Regression and Naive Bayes Tr... by Elmahdy, Samy

“…This study aims to develop a novel low-cost remote sensing approach for spatiotemporal mapping and monitoring mangrove forest extent in the northern part of the United Arab Emirates. …”
Get full text