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)

الموضوعات:

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. …"

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

Epigenetic Regulation of Cancer Stem Cells by the Aryl Hydrocarbon Receptor Pathway حسب Sabah Akhtar (5809925)

الموضوعات:

On Single Source Reachability Improvement حسب Alkak, Hashem

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

تحقّق القاضي من ادعاء الزوجة في دعوى التفريق للشقاق والنزاع – دراسة تحليلية في ضوء المادة 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)

الموضوعات:

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

الموضوعات:

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. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

Students and teachers' perceptions in EFL classes. (c2009) حسب Khoury, Manal

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

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. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

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. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

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. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

Regular, Intense Exercise Training as a Healthy Aging Lifestyle Strategy: Preventing DNA Damage, Telomere Shortening and Adverse DNA Methylation Changes Over a Lifetime حسب 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. …"

An Iterative Heuristic for State Justi�cation in Sequential Automatic Test Pattern Generation حسب El-Maleh, Aiman H.

"…In this work, we adopt a hybrid approach for state justification. A new method based on Genetic Algorithms is proposed, in which we engineer state justifcation sequences vector by vector. …"
احصل على النص الكامل

Incremental & classical genetic algorithm. (c2001) حسب Awad, Mohamad M.

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

Ion-imprinted membranes for lithium recovery: A review حسب 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. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل