[CITATION][C] CertiQ: A mostly-automated verification of a realistic quantum compiler (2019)

Y Shi, R Tao, X Li, A Javadi-Abhari, AW Cross… - arXiv preprint arXiv …, 2019

[HTML][HTML] Hypomethylated gene NRP1 is co-expressed with PDGFRB and associated with poor overall survival in gastric cancer patients

G Wang, B Shi, Y Fu, S Zhao, K Qu, Q Guo, K Li… - Biomedicine & …, 2019 - Elsevier
Gastric cancer (GC) has been an increasingly serious problem in public health. However,
there is still a lack of efficient approach to diagnosis and treatment in time, especially in the …

Advances in physics and applications of 3D magnetic perturbations on the J-TEXT tokamak

…, N Cai, Y Shi, Y Zhang, W Guo, X Zhang, P Shi… - Nuclear …, 2022 - iopscience.iop.org
In the last two years, three major technical improvements have been made on J-TEXT in
supporting of the expanded operation regions and diagnostic capabilities.(1) The successful …

Microstructure and electrical property of composite Co-W/CuO multilayered oxide coating for solid oxide fuel cell interconnector

Y Lei, G Tang, Z Shi, H Gu, L Gan - Surfaces and Interfaces, 2024 - Elsevier
To overcome the challenges related to the electrical resistance owing to the growth of the Cr-containing
oxide layer in the SOFC system at high temperature, a composite coating of Co-…

Replacement of fish meal by hydrolysate stickwater meal, hydrolysate shrimp paste meal and hydrolysate squid viscera meal in diet of yellow catfish (Pelteobagrus …

B Lyu, F Sun, H Lyu, H Yi, Y Shi, N Yu, Y Ye, C Cai… - 2021 - cabidigitallibrary.org
This experiment was conducted to study the effects of dietary hydrolysate stickwater meal (SHM),
total hydrolysate stickwater meal with superfine grinding (TSHM), hydrolysate shrimp …

Towards Large-scale Quantum Computing

A Wu - 2024 - escholarship.org
With the rapid advancements in quantum hardware, we stand on the brink of the large-scale
quantum computing (LSQC) era, poised to harness the power of thousands of even millions …

Common nature of learning between BP and hopfield-type neural networks for convex quadratic minimization with simplified network models

Y Zhang, Y Shi, B Cai, Z Li, C Yi… - … on Mechatronics and …, 2009 - ieeexplore.ieee.org
In this paper, two different types of neural networks are investigated and employed for the
online solution of strictly-convex quadratic minimization; ie, a two-layer back-propagation …

[CITATION][C] Software-hardware co-optimization for computational chemistry on superconducting quantum processors, in 2021 ACM

G Li, Y Shi, A Javadi-Abhari - IEEE 48th Annual International Symposium on …

Comprehensive evaluation of low phosphorus tolerance of different wheat varieties (lines) and screening of representative evaluation indexes

Z CHEN, H SHI, D DONG, Y WANG… - Journal of Henan …, 2023 - hnnykx.org.cn
Abstract: Eleven wheat varieties (lines) from the Huang⁃ Huai wheat region were treated
with normal and phosphorus deficiency in hydroponic and pond soil culture experiments. The …

[CITATION][C] Chong Frederic T.. 2020

G Pranav, JA Ali, E Nathan, S Yunong - Optimized quantum compilation for near-term …