INTEGRATING UAHPL-DA SYSTEMS WITH VLSI DESIGN TOOLS TO SUPPORT VLSI DA COURSES by Sait, Sadiq M.

“…In this paper, we explain the establishment of such an environment, which is accomplished with the integration of two systems: 1) a DA system which automatically produces VLSI layouts of digital systems modeled in universal hardware programming language (UAHPL); and 2)A set of VLSI tools, which in addition to several other functions can be used for simulation and verification of layout design. COmpared with other approaches, the integrated DA system provides a very simple user interface, fast turnaround time, no restriction on the final structure of the layout, and simulation and verification of all phases of design. …”
Get full text

Regression testing web services-based applications by Tarhini, Abbas

“…Such applications are usually modified to fix errors or to enhance their functionality. After modifications, regression testing is essential to ensure that modifications do not lead to adverse effects. …”
Get full text
Get full text
Get full text
Get full text

INTEGRATING UAHPL-DA SYSTEMS WITH VLSI DESIGN TOOLS TO SUPPORT VLSI DA COURSES by Sait, Sadiq M.

“…In this paper, we explain the establishment of such an environment, which is accomplished with the integration of two systems: 1) a DA system which automatically produces VLSI layouts of digital systems modeled in Universal Hardware Programming Language (UAHPL); and 2) a set of VLSI tools, which in addition to several other functions can be used for simulation and verification of layout designs. Compared with other approaches, the integrated DA system provides a very simple user interface, fast turnaround time, no restriction on the final structure of the layout, and simulation and verification of all phases of design. …”
Get full text

Kinship recognition from faces using deep learning with imbalanced data by Hadid, Abdenour

“…Kinship verification from faces aims to determine whether two person share some family relationship based only on the visual facial patterns. …”
Get full text

Incorporating Uncertainty into the Estimation of the Passing Sight Distance Requirements by El Khoury, John

“…The means and standard deviations of the PSD using both models are compared for verification purposes. Both models use the same PSD formulation. …”
Get full text
Get full text
Get full text

Context-aware and model-driven approach for embedding and verifying security into composed web services. (c2013) by Tout, Hanine Ahmad

“…Moreover, we extend our approach by adopting security licenses in BPEL and provide process level license verification that replaces the monopolization of such validation at the Web services side. …”
Get full text
Get full text

An empirical approach to understanding users' fake news identification on social media by Aoun Barakat, Karine

“…Findings The findings show that expertise in social media use and verification behavior have a positive impact on fake news identification, while trust in social media as an information channel decreases this identification behavior. …”
Get full text
Get full text
Get full text
Get full text

Are authorities denying or supporting? Detecting stance of authorities towards rumors in Twitter by Fatima Haouari (17100181)

“…<p dir="ltr">Several studies examined the leverage of the stance in conversational threads or news articles as a signal for rumor verification. However, none of these studies leveraged the stance of <i>trusted authorities</i>. …”

The Analysis of Project Governance and Cultural Intelligence in the Successful Delivery of Complex Construction Projects: The Case of the UAE Construction Sector by ALEID, ALJAZZY BINT MOHAMED

“…The research rigour was attained by focusing on verification and validation, which include aspects of methodological coherence and data analysis. …”
Get full text

Generic DFT approach for pattern sensitive faults in word-orientedmemories by Amin, A.A.

“…The inputs of the column decoders are modified to allow parallel writing into multiple words, and coincidence comparators are added to allow parallel verification of row data with minimal effect on chip area and performance…”
Get full text
Get full text

Preserving History in a Digital Age: What Transforms Information into Trusted Knowledge? by Arif Shaon (13761784)

“…<br><br>This discussion also explores blockchain-based integrity verification as an emerging digital preservation method. …”

An approach to offline Arabic character recognition using neural networks by Nawaz, S.N.

“…Character recognition system can contribute tremendously towards the advancement of automation process and can be useful in many other applications such as Data Entry, Check Verification etc. This paper presents a technique for the automatic recognition of Arabic Characters. …”
Get full text
Get full text

A Study of Project Managers’ Competence Standards in the UAE by Al Ameemi, Hessa Tarish

“…The combination of techniques enabled the researcher to verify that the various elements of the project manger leadership competencies do impact project performance. Following this verification a clear set of recommendations to Bank X project managers were explained along with suggestions for future research.…”
Get full text

INSPECT: A graphical user interface software package for IDARC-2D by AlHamaydeh, Mohammad

“…Extensive testing and verification demonstrated successful and high-fidelity re-creation of several existing IDARC-2D input files. …”
Get full text

Estimating the reliability of the inspection system employed for detecting defects in rail track using ultrasonic guided waves by Khalil, Abdelgalil

“…The guided wave responses as a function of varying severity of defects are obtained through a simulation study after the verification of the obtained guided wave responses with the help of an experimental study. …”
Get full text

Supersonic laminar boundary layer separation near a compression corner by Sfeir, A.A.

“…The results permitted verification of the hypothesis of zero normal pressure gradients when the compression angle is small and the boundary layer is laminar. …”
Get full text
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

Combining Saliency with Prediction for Endoscopic Diagnosis by Rezk, Mahmoud

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