Semantics-based approach for detecting flaws, conflicts and redundancies in XACML policies by Jebbaoui, Hussein

“…Second, it allows to detect flaws, conflicts and redundancies between rules by offering new mechanisms to analyze the meaning of policy rules through semantics verification by inference rule structure and deductive logic. …”
Get full text
Get full text
Get full text

GenDE: A CRF-Based Data Extractor by Kayed, Mohammed

“…Although, few researches have focused on the more challenging jobs: wrapper verification or extractor generation. A wrapper verifier would check whether a new page from a site complies with the detected schema, and so the extractor will use the wrapper to get instances of the schema types. …”
Get full text
Get full text

Ion-imprinted membranes for lithium recovery: A review by Sifani, Zavahir

“…The review thoroughly investigates the application of IIMs in Li extraction, covering extensive sections on 12-crown-4 ether (a fundamental crown ether for Li), its modifications, calixarenes, and other materials for creating imprinting sites. …”
Get full text
Get full text
Get full text

Indirect tool-wear maps for tool condition monitoring in dry metal drilling operations by Ammouri, A.H.

“…Based on these tool-wear maps, a novel wear criterion is developed that rely on the % increase in motor (spindle and feed drive motors) RMS current values and is dubbed the Current Rise Index (CRI). For verification, this index is found to positively track the corresponding increase in cutting forces. …”
Get full text
Get full text
Get full text

Current rise index (CRI) maps of machine tool motors for tool-wear prognostic by Ammouri, A.H.

“…These tool-wear maps are based a novel wear criterion developed here that relies on the % increase in motor (spindle and feed drive motors) RMS current values and is dubbed the Current Rise Index (CRI). For verification in a drilling operation application, this index is found to positively track the progressive increase in tool-wear. …”
Get full text
Get full text
Get full text
Get full text

An all-digital fast tracking switching converter with a programmable order loop controller for envelope tracking RF power amplifiers by Harmanani, Haidar M.

“…The proposed converter is entirely digital and is implemented in 14nm bulk CMOS process for post layout verification. For an input voltage of 3.3V, the converter's output can be regulated to any voltage level from 0.5V to 2.5V, at a nominal switching frequency of 150MHz. …”
Get full text
Get full text
Get full text
Get full text

Advancing polymeric membranes for produced water treatment: From fouling mitigations to machine-learning driven design by Rawia Mohammed (23739993)

“…This review critically discusses recent advances in PM design, emphasizing mixed matrix membranes, surface modification strategies, and smart responsive systems. …”

Towards a knowledge-hub destination: analysis and recommendation for implementing TOD for Qatar national library metro station by Nur Alah Abdelzayed Valdeolmillos (17714307)

“…The methodological approach is based on the analytical concepts obtained from the Integrated Modification Methodology as a sustainable urban design process. …”

Adsorption of ammonia on ZrO_<em>x</em>-modified graphene nanoribbon: a first-principle investigation by Ahmad I. Ayesh (10188469)

“…The findings of the investigation illustrate great improvement of NH₃ adsorption on AGNR due to its modification. Although the adsorption energy is enhanced in general upon modification, AGNR structures where ZrO_x substitute carbon atoms exhibit greater adsorption energy as compared with the decoration scheme. …”

Removal of Heavy Metals from Wastewater Using Multiwalled Carbon Nanotubes by Suliman, Malaz

Get full text

Fluoroscopic 3D Images Generation Using A GAN Method by Alshrbaji, Mohammad Nabeel Mohammad

“…Soft copy is available (Thesis, Completion Certificate, Approval Signatures, and AUS Archives Consent Form).…”
Get full text

Timing influenced general-cell genetic floorplanner by Sait, Sadiq M.

“…The second phase of floorplanner allows modification to the aspect ratios of individual modules to further reduce the area of the overall bounding box. …”
Get full text
Get full text

Modified algorithm for hard decision decoding of product codes by Al-Shaikhi, A.A.

“…The conventional row-column decoding algorithm of the product code does not exploit its full power of correcting random errors and proposes a modification to the conventional decoding algorithm, which makes it capable of reaching the theoretical error correction capability of the code. …”
Get full text
Get full text

Analysis of a Recent Biofilter Model for Toluene Biodegradation by Qasim, Muhammad

“…Three different model variations are considered: model with no substrate inhibition, with substrate inhibition, and with air flow rate modification. A sensitivity analysis has been performed on model to study the effect of important parameters on the removal efficiency. …”
Get full text

An Efficient Iris Segmentation Technique based on a Multiscale Approach by Ghouti, L.

“…The use of biometric signatures, instead of tokens such as identification cards or computer passwords, continues to gain increasing attention as an efficient means of identification and verification of individuals for controlling access to secured areas, materials, or systems and a wide variety of biometrics has been considered over the years in support of these challenges. …”
Get full text

The Role of Media Literacy in Countering Misinformation by Hamzeh, Dana

“…Unexpectedly, the results also show that a portion of the participants still engage in information verification despite trusting media.…”
Get full text
Get full text
Get full text

Enhancement of Frequency Control for Stand-Alone Multi-Microgrids by Kavita Singh (182141)

“…The proposed investigation is conducted in single-area and two-area microgrid systems through MATLAB simulation verification. The obtained results prove the effectiveness of the proposed methodology.…”

Studying effectiveness of Web search for fact checking by Maram Hasanain (14777068)

“…<p>Web search is commonly used by fact checking systems as a source of evidence for claim verification. In this work, we demonstrate that the task of retrieving pages <em>useful</em> for fact checking, called <em>evidential pages</em>, is indeed <em>different</em> from the task of retrieving topically relevant pages that are typically optimized by search engines; thus, it should be handled differently. …”

Food Quality, Drug Safety, and Increasing Public Health Measures in Supply Chain Management by Mona Haji (18526764)

“…The objectives of the review were to (1) identify the factors affecting food quality and possible solutions to improve results, (2) analyze the factors that affect drug safety and identify ways to mitigate them through proper management; and (3) establish integrated supply chains for food and drugs by implementing modern technologies, followed by one another to ensure a multi-layered cross-verification cascade and resource management at the different phases to ensure quality, safety, and sustainability for the benefit of public health. …”

A near-real-time global landslide incident reporting tool demonstrator using social media and artificial intelligence by Catherine V.L. Pennington (18426939)

“…The preliminary model was developed by training a convolutional neural network on the dataset. Quantitative verification of the system's performance during a real-world deployment shows that the system can detect landslide reports with Precision = 76%. …”