-
101
-
102
Observed variability in physical and biogeochemical parameters in the central Arabian Gulf
Published 2021Subjects: Get full text
Get full text
Get full text
article -
103
-
104
-
105
Chemically reactive species in the flow of a Maxwell fluid
Published 2017Subjects: Get full text
Get full text
Get full text
article -
106
Formal Verification- and AI/ML-Assisted Radio Resource Allocation for Open RAN Compliant 5G/6G Networks
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. …”
-
107
-
108
Seasonal variability of hydrography off the east coast of Qatar, central Arabian Gulf
Published 2022Subjects: -
109
On Single Source Reachability Improvement
Published 2022Subjects: “…Computer systems -- Verification…”
Get full text
Get full text
Get full text
masterThesis -
110
-
111
-
112
-
113
SRP: An Efficient Runtime Protection Framework for Blockchain-based Smart Contracts
Published 2023Subjects: -
114
Empirical Evaluation of Extended Finite State Machine Test Suites
Published 2022Subjects: “…Software engineering/software/program verification…”
Get full text
doctoralThesis -
115
-
116
Regression testing web services-based applications
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 -
117
Reduction-based methods and metrics for selective regression testing
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 -
118
Effect of fiber-fiber interaction on the strength properties of short fiber reinforced cements
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 -
119
An improved wall-distance-free version of the Baldwin-Barth turbulence model
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 -
120
Regular, Intense Exercise Training as a Healthy Aging Lifestyle Strategy: Preventing DNA Damage, Telomere Shortening and Adverse DNA Methylation Changes Over a Lifetime
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. …”