-
161
-
162
Multiplication factors for the modification of parameters in the hypertensive scenario.
Veröffentlicht 2025“… <p>Multiplication factors for the modification of parameters in the hypertensive scenario. …”
-
163
Supplementary material for "MutDafny: A Mutation-Based Approach to Assess Dafny Specifications"
Veröffentlicht 2025Schlagworte: -
164
Mean verification accuracy of different methods with varying degree of label noise.
Veröffentlicht 2025Schlagworte: -
165
Verification of the model from equations (12-14) using WLS method.
Veröffentlicht 2025“… <p>Verification of the model from equations (12-14) using WLS method. …”
-
166
Complex Eigenvalues, Orthogonality, and QR Factorization: Analytical Proofs and Numerical Verification
Veröffentlicht 2025Schlagworte: “… Complex Eigenvalues Hermitian Matrices Eigenvectors Orthogonality Inner Products Gram–Schmidt Process QR Factorization Least-Squares Solutions Numerical Linear Algebra Python SciPy Matrix Computations Computational Mathematics Numerical Verification Machine Precision …”
-
167
-
168
Experimental results verification, illustrating the comparison between predicted and actual outcomes.
Veröffentlicht 2025“… <p>Experimental results verification, illustrating the comparison between predicted and actual outcomes. …”
-
169
-
170
The verification model has successfully passed through the validation process [33].
Veröffentlicht 2025“… <p>The verification model has successfully passed through the validation process [<a href="http://www.plosone.org/article/info:doi/10.1371/journal.pone.0327416#pone.0327416.ref033" target="_blank">33</a>]. …”
-
171
Access control verification time: Kyber-inspired authorization vs RBAC.
Veröffentlicht 2025Schlagworte: -
172
-
173
-
174
Glass dosimeter dose verification results for gated-SBRT with different amplitudes.
Veröffentlicht 2025“… <p>Glass dosimeter dose verification results for gated-SBRT with different amplitudes. …”
-
175
Signal verification tool for MVD used by MOH Tanzania, March 2023.
Veröffentlicht 2025“… <p>Signal verification tool for MVD used by MOH Tanzania, March 2023. …”
-
176
Demand scenarios from 17:00 to 18:00 in simulation verification.
Veröffentlicht 2025“… <p>Demand scenarios from 17:00 to 18:00 in simulation verification.</p> …”
-
177
Performance comparison of YOLOv5n with various modifications.
Veröffentlicht 2025“… <p>Performance comparison of YOLOv5n with various modifications.</p> …”
-
178
-
179
KC equation and its modifications for different porous media.
Veröffentlicht 2025“… <p>KC equation and its modifications for different porous media.</p> …”
-
180
Anterior and posterior view of the modification maps of four participants.
Veröffentlicht 2025Schlagworte: