Maximal clique enumeration. (c2007) حسب Barghout, Hamed

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

On the Generation of Quantified Lemmas حسب 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 حسب 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. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

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

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

Digital Image Watermarking Using Balanced Multiwavelets حسب Ghouti, L.

"…In this paper, a robust watermarking algorithm using balanced multiwavelet transform is proposed. …"
احصل على النص الكامل

Inertial Navigation system of In-pipe Inspection Robot حسب Al-Masri, Wasim

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

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

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

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

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

Modeling and Bias-Robust Estimation of the Acoustic Release of Chemotherapeutics from Liposomes حسب 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. …"
احصل على النص الكامل

Failure recovery in wireless content distribution networks with device-to-device cooperation حسب 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. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

An easy-to-use scalable framework for parallel recursive backtracking حسب 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. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

On the disk dimension of planar graphs حسب 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. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

Recent advances on artificial intelligence and learning techniques in cognitive radio networks حسب Abbas, Nadine

"…Cognitive radios are expected to play a major role towards meeting the exploding traffic demand over wireless systems. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

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

"…This paper implements and tests an intelligent variable neighbourhood search algorithm for MCRP.…"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

On scalable parallel recursive backtracking حسب 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. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

Fleet sizing of trucks for an inter-facility material handling system using closed queueing networks حسب 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 حسب 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 حسب 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 حسب 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. …"
احصل على النص الكامل

Low Cost Autopilot Design Using Fuzzy Supervisory Control حسب Hadi, Mahmoud

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