Showing 101 - 120 results of 620 for search '((((modifications OR modification) OR qualifications) OR clarification) OR verifications)', query time: 0.14s Refine Results
  1. 101

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

    Published 2025
    “…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. …”
  2. 102
  3. 103
  4. 104
  5. 105

    On Single Source Reachability Improvement by Alkak, Hashem

    Published 2022
    Subjects: “…Computer systems -- Verification…”
    Get full text
    Get full text
    Get full text
    masterThesis
  6. 106
  7. 107
  8. 108
  9. 109
  10. 110
  11. 111

    Empirical Evaluation of Extended Finite State Machine Test Suites by Hasan, Faiz Mohammed

    Published 2022
    Subjects: “…Software engineering/software/program verification…”
    Get full text
    doctoralThesis
  12. 112

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

    Published 1994
    “…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. …”
    Get full text
    Get full text
    Get full text
    Get full text
    article
  13. 113
  14. 114

    Regression testing web services-based applications by Tarhini, Abbas

    Published 2006
    “…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
    conferenceObject
  15. 115

    Reduction-based methods and metrics for selective regression testing by Mansour, Nashat

    Published 2002
    “…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. …”
    Get full text
    Get full text
    Get full text
    article
  16. 116

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

    Published 2017
    “…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. …”
    Get full text
    Get full text
    Get full text
    Get full text
    conferenceObject
  17. 117

    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)

    Published 2021
    “…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. …”
  18. 118
  19. 119

    A hybrid graph representation for recursive backtracking algorithms by Abu-Khzam, Faisal N.

    Published 2017
    “…The use of efficient data structures is necessary for fast graph modification modules as well as fast take-back procedures. …”
    Get full text
    Get full text
    Get full text
    Get full text
    conferenceObject
  20. 120

    Incremental Genetic Algorithm by Mansour, Nashat

    Published 2006
    “…In many cases, problems undergo frequent minor modifications, each producing a new problem version. …”
    Get full text
    Get full text
    article