Proof Search and Certificates for Evidential Transactions حسب Vivek Nigam (23276146)

"…Our final contribution is a proof certificate format for Cyberlogic programs inspired by Foundational Proof Certificates as a means to communicate evidence and check its validity.…"

Modal disparity and its experimental verification حسب Issa, Jimmy

"…For a given structure, the concept of modal disparity describes the structure's ability to generate significant changes in the mode shapes by some type of on-the-fly structural modification. In the present study we consider a vibrating beam that experiences a controlled stiffness change, induced by the activation and deactivation of an electromagnetic brake that causes a spatially localized change in the bending stiffness. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

A speaker verification system for Arabic حسب Al-Telmisani,, Essam Abed

"…In this thesis a new Speaker Verification System (SVS) methodology is developed. The objective is to develop a SVS system that achieves high identification accuracy with low storage requirements for the use in smart card-based systems. …"
احصل على النص الكامل

Accelerating Blockchain Transaction Verification With Parallel Computing حسب Zhou, Huangjin

"…Soft copy is available (Thesis, Completion Certificate, Approval Signatures, and AUS Archives Consent Form).…"
احصل على النص الكامل

Experimental verification of null steering by element positionperturbations حسب Dawoud, M.M.

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

Experimenting with evolutionary meta-heuristics for state justification in sequential ATPG حسب Shazli, Syed Zafar

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

Formal Verification of a Security Protocol in Vehicular Communication حسب Almaazmi, Mohamed Adel

الموضوعات: احصل على النص الكامل

Quantification of Friction Regimes in Elastohydrodynamic Lubrication حسب Habchi, W.

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

Evolutionary algorithms for state justification in sequential automatic test pattern generation حسب El-Maleh, Aiman H.

"…In this work, a hybrid approach which uses a combination of evolutionary and deterministic algorithms for state justification is proposed. A General Algorithm is employed, to engineer state justification sequences vector by vector. …"
احصل على النص الكامل

CERTIFICATION OF PRACTICING CIVIL ENGINEERS IN SAUDI ARABIA: AN OPINION SURVEY حسب Azad, A.K.

"…As the demographic composition of the engineering body in Saudi Arabia comprises a multinational work force who have different academic backgrounds and professional preparedness and who can practice their professions without a license or certificate, it focuses a need for adopting a policy on certification of professional engineers working in Saudi Arabia. …"
احصل على النص الكامل

Who can verify this? Finding authorities for rumor verification in Twitter حسب Fatima Haouari (17100181)

"…<p>A large body of research work has proposed verification techniques for rumors spreading in social media that mainly relied on subjective evidence, e.g., propagation networks or user interactions. …"

An Evolutionary Meta-Heuristic for State Justification in Sequential Automatic Test Pattern Generation حسب El-Maleh, Aiman H.

"…In this work, we propose a hybrid approach which uses a combination of evolutionary and deterministic algorithms for state justification. A new method based on Genetic algorithms is proposed, in which we engineer state justification sequences vector by vector. …"
احصل على النص الكامل

An evolutionary meta-heuristic for state justification insequential automatic test pattern generation حسب El-Maleh, A.H.

"…In this work, we propose a hybrid approach which uses a combination of evolutionary and deterministic algorithms for state justification. A new method based on Genetic Algorithms is proposed, in which we engineer state justification sequences vector by vector. …"
احصل على النص الكامل
احصل على النص الكامل

FORMATION DAMAGE QUANTIFICATION BY NUCLEAR MAGNETIC RESONANCE حسب unknown

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

Quantification of Rock Wettability Using Dielectric Measurements حسب unknown

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

Neck localization and geometry quantification of intracranial aneurysms حسب Sgouritsa, E.

"…We present an approach for accurate localization of the neck of intracranial aneurysms and quantification of their geometry that is useful for their treatment through endovascular embolization. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

Total Damages Quantification Method for Float Allocation حسب Jadallah, Khaled M. S.

"…Jadallah entitled, "Total Damages Quantification Method for Float Allocation," submitted in July 2016. …"
احصل على النص الكامل

Death certification status in Eastern Mediterranean Region: A systematic review حسب Muna Abed Alah (14779534)

"…<p dir="ltr">A death certificate is an important public health surveillance tool that affects the quality of morbidity and mortality statistics. …"

GM-Ledger: Blockchain-Based Certificate Authentication for International Food Trade حسب William George (18767725)

الموضوعات:

Groundnut spread likability, sensory properties, and intent to pay for quality certification حسب Kaya, Ozgur

الموضوعات: احصل على النص الكامل