Cerca anche:
justifications » justification (Espandi la ricerca), notifications (Espandi la ricerca)
verification » modification (Espandi la ricerca)
modifications » modification (Espandi la ricerca)
codification » modification (Espandi la ricerca), notification (Espandi la ricerca), certification (Espandi la ricerca)
justifications » justification (Espandi la ricerca), notifications (Espandi la ricerca)
verification » modification (Espandi la ricerca)
modifications » modification (Espandi la ricerca)
codification » modification (Espandi la ricerca), notification (Espandi la ricerca), certification (Espandi la ricerca)
-
141
-
142
-
143
-
144
-
145
A Benchmark Database for Spin-Flip Gap Calculations in Single- and Multireference Systems Using ΔDFT and Beyond
Pubblicazione 2025Soggetti: -
146
Comparative Studies on the Structural, Optical, and Electrical Properties of Two [Co(II) and Ni(II)] Complexes: Insights through Theoretical Analysis
Pubblicazione 2025Soggetti: “...proper theoretical justification...”
-
147
-
148
Results based on the subsampling procedure to simulate single cell data.
Pubblicazione 2025Soggetti: -
149
Violin plots for the ARI values of the results from CaTCH (row 1), HiCseg (row 2), and TopDom (row 3).
Pubblicazione 2025Soggetti: -
150
Comparative Studies on the Structural, Optical, and Electrical Properties of Two [Co(II) and Ni(II)] Complexes: Insights through Theoretical Analysis
Pubblicazione 2025Soggetti: “...proper theoretical justification...”
-
151
Violin plots of the ARI values, based on 100 replications, from the results of three TAD detection algorithms.
Pubblicazione 2025Soggetti: -
152
Multiplication factors for the modification of parameters in the hypertensive scenario.
Pubblicazione 2025“...<p>Multiplication factors for the modification of parameters in the hypertensive scenario....”
-
153
Supplementary material for "MutDafny: A Mutation-Based Approach to Assess Dafny Specifications"
Pubblicazione 2025Soggetti: -
154
Mean verification accuracy of different methods with varying degree of label noise.
Pubblicazione 2025Soggetti: -
155
Verification of the model from equations (12-14) using WLS method.
Pubblicazione 2025“...<p>Verification of the model from equations (12-14) using WLS method....”
-
156
Complex Eigenvalues, Orthogonality, and QR Factorization: Analytical Proofs and Numerical Verification
Pubblicazione 2025Soggetti: “...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...”
-
157
-
158
Experimental results verification, illustrating the comparison between predicted and actual outcomes.
Pubblicazione 2025“...<p>Experimental results verification, illustrating the comparison between predicted and actual outcomes....”
-
159
-
160
The verification model has successfully passed through the validation process [33].
Pubblicazione 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>]....”