Search alternatives:
verification » purification (Expand Search), diversification (Expand Search)
justifications » justification (Expand Search), qualifications (Expand Search), notifications (Expand Search)
verification » purification (Expand Search), diversification (Expand Search)
justifications » justification (Expand Search), qualifications (Expand Search), notifications (Expand Search)
-
121
-
122
-
123
SRP: An Efficient Runtime Protection Framework for Blockchain-based Smart Contracts
Published 2023Subjects: -
124
A Comparative Analysis of Green Financing Strategies for achieving Net Zero Energy in UAE
Published 2023Subjects: “…net zero energy building, green bonds, property assessed clean energy program, energy performance certificate…”
Get full text
-
125
-
126
Empirical Evaluation of Extended Finite State Machine Test Suites
Published 2022Subjects: “…Software engineering/software/program verification…”
Get full text
doctoralThesis -
127
Certifying quantum state and dimension via phase-space Bell tests for continuous variable systems
Published 2023Subjects: -
128
Dickson polynomial-based secure group authentication scheme for Internet of Things
Published 2024Subjects: -
129
A Hybrid Control Approach for Autonomous Vehicles Based on Model Predictive Control
Published 2026Subjects: Get full text
doctoralThesis -
130
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 -
131
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 -
132
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 -
133
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 -
134
Using ID-Based Authentication and Key Agreement Mechanism for Securing Communication in Advanced Metering Infrastructure
Published 2020“…But it incurs more computational delay as it involves intensive processes such as certificate management, revocation, and verification. …”
-
135
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. …”
-
136
Incremental & classical genetic algorithm. (c2001)
Published 2001Get full text
Get full text
masterThesis -
137
Ion-imprinted membranes for lithium recovery: A review
Published 2024“…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. …”
Get full text
Get full text
Get full text
article -
138
A Procedure for Optimizing the Location of Electric Vehicle Charging Stations
Published 2021“…Soft copy is available (Thesis, Completion Certificate, Approval Signatures, and AUS Archives Consent Form).…”
Get full text
doctoralThesis -
139
A hybrid graph representation for recursive backtracking algorithms
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 -
140
Incremental Genetic Algorithm
Published 2006“…In many cases, problems undergo frequent minor modifications, each producing a new problem version. …”
Get full text
Get full text
article