Maximal clique enumeration. (c2007) by Barghout, Hamed

Get full text
Get full text

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

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

“…The widespread use of drilled shafts and the large and critical nature of loads they carry make post-construction quality control a rather important aspect of inspections. For this reason, states have implemented specific procedures to follow when performing inspections of deep foundations. …”
Get full text
Get full text
Get full text
Get full text

Solution of Fractional Differential Equations: Transform and Iterative Methods Approach by Alchikh, Razan Abdul Satar

Get full text

Digital Image Watermarking Using Balanced Multiwavelets by Ghouti, L.

“…In this paper, a robust watermarking algorithm using balanced multiwavelet transform is proposed. …”
Get full text

Inertial Navigation system of In-pipe Inspection Robot by Al-Masri, Wasim

Get full text

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

Modeling and Bias-Robust Estimation of the Acoustic Release of Chemotherapeutics from Liposomes by Wadi, Ali

“…The identified covariance magnitudes are then utilized to estimate the dynamics of drug release as well as the bias term. The identified a priori knowledge is used to implement an optimal Kalman filter, which was initially tested in a simulation environment. …”
Get full text

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

“…Moreover, we propose a constrained version of the minimum spanning tree algorithm with bounds on the height of the tree and the maximum degree per node, in order to capture practical operational constraints for device-to-device cooperation in wireless networks. …”
Get full text
Get full text
Get full text
Get full text

An easy-to-use scalable framework for parallel recursive backtracking by Abu-Khzam, Faisal N.

“…Unfortunately, getting serial algorithms to run in parallel to take advantage of these computational resources remains a challenge for several application domains. …”
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

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

“…Cognitive radios are expected to play a major role towards meeting the exploding traffic demand over wireless systems. …”
Get full text
Get full text
Get full text
Get full text

Mobile clinics routing in response to covid-19 outbreak: an intelligent hyperheuristic approach by Danach, Kassem

“…This paper implements and tests an intelligent variable neighbourhood search algorithm for MCRP.…”
Get full text
Get full text
Get full text
Get full text

On scalable parallel recursive backtracking by Abu-Khzam, Faisal N.

“…Unfortunately, getting serial algorithms to run in parallel to take advantage of these computational resources remains a challenge for several application domains. …”
Get full text
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)

“…The proposed analytical approach, along with the simulation, are implemented in a real case study of a steel manufacturing setup. …”

Diagnostic structure of visual robotic inundated systems with fuzzy clustering membership correlation by Hariprasath Manoharan (14157966)

“…In the predicted model, an analytical framework is created to operate the robot within predetermined areas while maximizing communication ranges. Additionally, a clustering algorithm with a fuzzy membership function is implemented, allowing the robots to advance in accordance with predefined clusters and arrive at their starting place within a predetermined amount of time. …”

Secure Storage of Crypto Wallet Seed Phrase Using ECC and Splitting Technique by Syeda Tayyaba Bukhari (21842078)

“…To mitigate these risks, it is important to conduct thorough security evaluations of wallets and implement strong protective measures. In recent years, there have been several incidents involving significant losses of cryptocurrency in crypto-wallets, and in this research, a comprehensive evaluation of seed phrase and password attack methods found in the published literature was conducted, and the topic was advanced by addressing the question of whether seed phrases are hackable. …”

Multi-Agent Learning of Strategies in Abstract Argumentation Mechanisms by Nemer, Rama

“…I extended an existing simulation tool to implement argumentation games and used it to run repeated game experiments using combinations of characteristic argumentation games, adapted from literature, and types of adaptive agents under different conditions.The theme used was that of a court setting whereby there is a judge listening to arguments from different agents. …”
Get full text

Low Cost Autopilot Design Using Fuzzy Supervisory Control by Hadi, Mahmoud

Get full text