A Unified Model-Based Framework for the Simplified Execution of Static and Dynamic Assertion-Based Verification حسب Muhammad Waseem Anwar (9316557)

الموضوعات:

On the Origins of the Hijrī Calendar: A Multi-Faceted Perspective Based on the Covenants of the Prophet and Specific Date Verification حسب Ibrahim Zein (14620036)

الموضوعات:

The histone H2B Arg95 residue efficiently recruits the transcription factor Spt16 to mediate Ste5 expression of the pheromone response pathway حسب Abdallah Alhaj Sulaiman (17777421)

الموضوعات:

One Dimensional Seismic Site Response Analysis of United Arab Emirates حسب Eltayeb, Ahmed Mohamed Zaroug

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

Local site effects on seismic ground response of major cities in UAE حسب El-Emam, Magdi

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

Virus Detection: A Review of the Current and Emerging Molecular and Immunological Methods حسب A. Cassedy (18459024)

الموضوعات:

Formal Verification- and AI/ML-Assisted Radio Resource Allocation for Open RAN Compliant 5G/6G Networks حسب Tariq Mumtaz (10861635)

"…The proposed RRM methodology incorporates formal verification capabilities to generate vast Pareto optimality datasets for specific RAN design parameters, establishing a foundation for rigorous RRM strategy selection. …"

Well-Differentiated Liposarcoma of the Hypopharynx Exhibiting Myxoid Liposarcoma-like Morphology with <i>MDM2</i> and <i>DDIT3</i> Co-Amplification حسب Khaled A. Murshed (14151927)

"…This is the first documentation of WDL with ML-like morphology harboring co-amplification of <i>MDM2</i> and <i>DDIT3</i> in the hypopharynx.…"

Experimental Verification of Low-Pressure Kinetics Model for Direct Synthesis of Dimethyl Carbonate Over CeO₂ Catalyst حسب G. Ibrahim (7601063)

On Single Source Reachability Improvement حسب Alkak, Hashem

الموضوعات: "…Computer systems -- Verification…"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

Disease-Associated α-Synuclein Aggregates as Biomarkers of Parkinson Disease Clinical Stage حسب Nour Majbour (3528548)

الموضوعات:

تحقّق القاضي من ادعاء الزوجة في دعوى التفريق للشقاق والنزاع – دراسة تحليلية في ضوء المادة 126 من قانون الأحوال الشخصية الأردني رقم (15) لسنة 2019م... حسب Arabyat, Khattab Ismail

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

Validation of the geometric equivalent field concept in total scatter factor calculations, for half‐, quarter‐ and off‐isocenter asymmetric square fields حسب Mohammad Samir Hmodi (17746776)

الموضوعات:

SRP: An Efficient Runtime Protection Framework for Blockchain-based Smart Contracts حسب Isra M. Ali (17869355)

الموضوعات:

Empirical Evaluation of Extended Finite State Machine Test Suites حسب Hasan, Faiz Mohammed

الموضوعات: "…Software engineering/software/program verification…"
احصل على النص الكامل

Regression testing web services-based applications حسب 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. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

Reduction-based methods and metrics for selective regression testing حسب Mansour, Nashat

"…The first method, referred to as modification-based reduction version 1 (MBR1), selects a reduced number of test cases based on the modification made and its effects in the software. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

Effect of fiber-fiber interaction on the strength properties of short fiber reinforced cements حسب Karam, G.N.

"…A general modification to the models used for the study of the effect of fiber volume on the strength properties of short fiber reinforced cements is presented. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

On the verge of colistin resistance. (c2019) حسب 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. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

An improved wall-distance-free version of the Baldwin-Barth turbulence model حسب Elkhoury, Michel

"…This paper presents a modified version of the Baldwin-Barth (BB) turbulence model. This modification accounts for the asymptotic boundary value of the pseudo eddy viscosity as the wall is approached. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل