Statistics for slice time of WP-Slice, weiser’s slice, thin slice and prio-slice in seconds.

Statistics for slice time of WP-Slice, weiser’s slice, thin slice and prio-slice in seconds.</p

The constraint logic fact of the illustrative program.

The constraint logic fact of the illustrative program.</p

Box-plot for slice time of all slice methods on different projects.

Box-plot for slice time of all slice methods on different projects.</p

Illustrative program: SCircle.

Illustrative program: SCircle.</p

Rules to extract control and data dependences from facts.

Rules to extract control and data dependences from facts.</p

Additional file 1 of Ginger inhibits the invasion of ovarian cancer cells SKOV3 through CLDN7, CLDN11 and CD274 m6A methylation modifications

Supplementary Material

Some definitions of constraint logic facts.

Some definitions of constraint logic facts.</p

Effect of TGA on the distribution of cortical granules (CGs) of <i>in vivo</i> matured oocytes (laser scanning confocal microscopic images, ×600).

<p>The oocytes were stained with fluorescein isothiocyanate-Lens culinaris agglutinin. The green fluorescence shows the CG distributions.</p

Comparison of slice fact(<i>μ</i>_<i>fact</i>) or slice size(<i>μ</i>_<i>slice</i>) and localization effort(<i>ν</i>_{<i>effort</i>}) among WP-Slice, weiser’s slice, thin slice and prio-slice.

Comparison of slice fact(μfact) or slice size(μslice) and localization effort(νeffort) among WP-Slice, weiser’s slice, thin slice and prio-slice.</p

Subject programs detail and faults settings.

Subject programs detail and faults settings.</p