Efficient O(n) BIST algorithms for DDNPS faults in dual portmemories by Amin, A.A.

“…The testability problem of dual port memories is investigated. Architectural modifications which enhance testability with minimal overhead on both silicon area and device performance are described. …”
Get full text
Get full text

Complexity metrics for small business software applications in ACCESS environment. (c1999) by Abiad, Sana F.

Get full text
Get full text

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

On the verge of colistin resistance. (c2019) by Alousi, Sahar

“…Through whole-genome sequencing and lipidomic approaches, genetic alterations and lipid A modifications responsible for colistin resistance can be detected with high precision. …”
Get full text
Get full text
Get full text

Regular, Intense Exercise Training as a Healthy Aging Lifestyle Strategy: Preventing DNA Damage, Telomere Shortening and Adverse DNA Methylation Changes Over a Lifetime by Maha Sellami (4351159)

“…Methylation and histone acetylation are two of the most well-studied examples of the epigenetic modifications that occur on histone proteins. DNA methylation is the type of epigenetic modification that alters gene expression without modifying gene sequence. …”

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

Hardening the ElGamal cryptosystem in the setting of the second group of units. (c2011) by Fanous, Suzan Mohamad

Get full text
Get full text

Intelligent Control of Cable-Driven Parallel Robot for Rehabilitation by Khattab, Omar

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

Recognizing Plastic Threats in Baggage X-Rays Using Deep Networks by Alawar, Mohammad Suhail Abdulwahid Abdulrahman

“…Soft copy is available (Thesis, Approval Signatures, Completion Certificate, and AUS Archives Consent Form).…”
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%. …”

Example study for granular bioreactor stratification: Three-dimensional evaluation of a sulfate-reducing granular bioreactor by Tian-wei Hao (19737922)

“…A comprehensive investigation followed by a verification trial was therefore conducted in the present work. …”

Mazari UAV Adaptive Autopilot System Design and Implementation by Adiansyah, Sonny

Get full text