Correlation plot of the ARI values between the identified domain boundaries on the bulk count, KR-normalized, and RWS-/RWR-smoothed matrices of the hESC data. Dahkki Yongqi Liu (5464067)

Fáttát:

Results based on the subsampling procedure to simulate single cell data. Dahkki Yongqi Liu (5464067)

Fáttát:

Violin plots for the ARI values of the results from CaTCH (row 1), HiCseg (row 2), and TopDom (row 3). Dahkki Yongqi Liu (5464067)

Fáttát:

Comparative Studies on the Structural, Optical, and Electrical Properties of Two [Co(II) and Ni(II)] Complexes: Insights through Theoretical Analysis Dahkki Subhajit Saha (1301595)

Fáttát: “…proper theoretical justification…”

Violin plots of the ARI values, based on 100 replications, from the results of three TAD detection algorithms. Dahkki Yongqi Liu (5464067)

Fáttát:

Multiplication factors for the modification of parameters in the hypertensive scenario. Dahkki Eduardo G. Zilves (22209247)

“…<p>Multiplication factors for the modification of parameters in the hypertensive scenario.…”

Supplementary material for "MutDafny: A Mutation-Based Approach to Assess Dafny Specifications" Dahkki Isabel Amaral (22620224)

Fáttát:

Mean verification accuracy of different methods with varying degree of label noise. Dahkki Xiaoqian Qin (22216608)

Fáttát:

Verification of the model from equations (12-14) using WLS method. Dahkki Aldona Kluczek (19174519)

“…<p>Verification of the model from equations (12-14) using WLS method.…”

Complex Eigenvalues, Orthogonality, and QR Factorization: Analytical Proofs and Numerical Verification Dahkki Umar Tabbsum (22058780)

Fáttát: “…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…”

Electrophoresis of colony PCR verification for different genetically engineered bacterial strains. Dahkki Junhui Ying (15372985)

Experimental results verification, illustrating the comparison between predicted and actual outcomes. Dahkki Hao Li (31608)

“…<p>Experimental results verification, illustrating the comparison between predicted and actual outcomes.…”

Verification of <i>RIM4</i> ortholog candidates by syntenic analysis. Dahkki Sang On Park (22311799)

The verification model has successfully passed through the validation process [33]. Dahkki Hamidreza Mortazavy Beni (22097365)

“…<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>].…”

Access control verification time: Kyber-inspired authorization vs RBAC. Dahkki Lulu Hao (10576560)

Fáttát:

Verification of I protein expression in J2.2-infected cells. Dahkki Chaminda D. Gunawardene (22794593)

Verification of SIAH2 knockdown efficiency Knockdown efficiency of siRNA. Dahkki Jiangli Zhao (2308330)

Glass dosimeter dose verification results for gated-SBRT with different amplitudes. Dahkki Bong Kyung Bae (8736945)

“…<p>Glass dosimeter dose verification results for gated-SBRT with different amplitudes.…”

Signal verification tool for MVD used by MOH Tanzania, March 2023. Dahkki Atuganile Musyani (21578432)

“…<p>Signal verification tool for MVD used by MOH Tanzania, March 2023.…”

Demand scenarios from 17:00 to 18:00 in simulation verification. Dahkki Bin Zhao (276445)

“…<p>Demand scenarios from 17:00 to 18:00 in simulation verification.</p>…”