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

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

Get full text

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

Get full text

A method for efficient mapping and reliable routing for NoC architectures with minimum bandwidth and area by Harmanani, Haidar M.

“…The method is implemented and various benchmarks are attempted.…”
Get full text
Get full text
Get full text
Get full text

A survey and comparison of wormhole routing techniques in a meshnetworks by Al-Tawil, K.M.

“…These multiprocessing systems consist of processing elements or nodes which are connected together by interconnection networks in various topologies. …”
Get full text
Get full text

Reinforcement R-learning model for time scheduling of on-demand fog placement by Farhat, Peter

“…Therefore, there is a need for an intelligent model capable of scheduling fog placement based on the user’s requests. In this paper, we propose a Fog Scheduling Decision model based on reinforcement R-learning, which focuses on studying the behavior of service requesters and produces a suitable fog placement schedule based on the concept of average reward. …”
Get full text
Get full text
Get full text
Get full text

Recent advances on artificial intelligence and learning techniques in cognitive radio networks by Abbas, Nadine

“…The literature survey is organized based on different artificial intelligence techniques such as fuzzy logic, genetic algorithms, neural networks, game theory, reinforcement learning, support vector machine, case-based reasoning, entropy, Bayesian, Markov model, multi-agent systems, and artificial bee colony algorithm. …”
Get full text
Get full text
Get full text
Get full text

FAST FUZZY FORCE-DIRECTED/SIMULATED EVOLUTION METAHEURISTIC FOR MULTIOBJECTIVE VLSI CELL PLACEMENT by Sait, Sadiq M.

“…SE is hybridized with force directed algorithm to speed-up the search. The proposed schemes are compared with previously presented SE based heuristics. …”
Get full text

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

Automated skills assessment in open surgery: A scoping review by Hawa Hamza (17707224)

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

Indoor Localization Schemes for Mobile Robots by Al-Jarrah, Islam Mohammad-Amin

Get full text

A New Hamiltonian Semi-Analytical Approach to Vibration Analysis of Piezoelectric Multi-Layered Plates by Andrianarison, O.

“…The whole piezoelectric multilayered plate’s dynamic stiffness is then built, from which its circular frequencies are computed with the help of the Wittrick-Williams algorithm. A detailed discussion is provided on the implementation aspects, followed by some numerical examples to assess the robustness, accuracy and effectiveness of the proposed method. …”
Get full text

Synthesis with VHDL. (c2001) by Halawi, Hatem

Get full text
Get full text

Platoon Transitional Maneuver Control System: A Review by Sareh Badnava (16891374)

“…The most recent articles on platoon control maneuvers have been analyzed based on the proposed control algorithm, homogeneously or heterogeneously of platoon members, type of platoon maneuver, the aim of control problem, type of implementation, and used simulation tools. …”

ANT-colony optimization-direct torque control for a doubly fed induction motor : An experimental validation by Said Mahfoud (17150968)

“…The best solutions adopted in this situation are often based on optimization algorithms that generate the controller’s gains in each period where there is an internal or external perturbation, adapting the behaviors of the PID against the system’s nonlinearity. …”

A machine learning approach for localization in cellular environments by Abdallah, Ali A.

“…A machine learning approach is developed for localization based on received signal strength (RSS) from cellular towers. …”
Get full text
Get full text
Get full text
Get full text

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

“…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

Failure recovery in wireless content distribution networks with device-to-device cooperation by Sharafeddine, Sanaa

“…We present results for various network scenarios using simulations and experimental test bed to demonstrate the effectiveness of the proposed algorithms in terms of performance efficiency, computational complexity, and practical implementation feasibility.…”
Get full text
Get full text
Get full text
Get full text

On the disk dimension of planar graphs by Abu-khzam, Faisal

“…More significantly, we devise a direct and highly practical linear-time algorithm to decide whether an arbitrary graph has fixed disk dimension k or less. …”
Get full text
Get full text
Get full text

Assessment of static pile design methods and non-linear analysis of pile driving by Abou-Jaoude, Grace G.

“…Scientific advances in pile analysis have been made in recent decades but their implementation in the estimation of axial capacity has been slow. …”
Get full text
Get full text
Get full text