Zobrazeno 1 - 10
of 51
pro vyhledávání: '"Yan Zehui"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
BMC Medical Genetics, Vol 13, Iss 1, p 49 (2012)
Abstract Background The sexual dimorphism of hepatitis B virus (HBV) -related liver diseases is related with estrogen and its receptors. Recent reports indicate that abnormal expression of estrogen receptor alpha (ESR1) may be a hallmark for the prog
Externí odkaz:
https://doaj.org/article/7c601b832aed4cd6a647f6909c9e9826
Publikováno v:
In Journal of Materials Research and Technology March-April 2023 23:2440-2453
In this report, we have studied exceptional spectra of the two-qubit quantum Rabi model in two situations. Firstly, an exceptional spectra is achieved in resonant condition, in which the frequencies of two qubit and photon field satisfy resonant rela
Externí odkaz:
http://arxiv.org/abs/1609.01847
Autor:
Wang, Yanding1,2 (AUTHOR), Yan, Zehui1 (AUTHOR), Wang, Ding3 (AUTHOR), Yang, Meitao1,2 (AUTHOR), Li, Zhiqiang1,2 (AUTHOR), Gong, Xinran1,2 (AUTHOR), Wu, Di1,2 (AUTHOR), Zhai, Lingling1 (AUTHOR), Zhang, Wenyi2 (AUTHOR) zwy0419@126.com, Wang, Yong1,2 (AUTHOR) ywang7508@sina.com
Publikováno v:
BMC Infectious Diseases. 5/25/2022, Vol. 22 Issue 1, p1-12. 12p.
Autor:
Wu, Quanxin, Huang, Hongfei, Sun, Xiaowen, Pan, Meimin, He, Yun, Tan, Shun, Zeng, Yi, Li, Li, Deng, Guohong, Yan, Zehui, He, Dengming, Li, Junnan, Wang, Yuming
Publikováno v:
In Clinical Gastroenterology and Hepatology June 2015 13(6):1170-1176
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
CSAE
The formal memory model is one of the most critical components for program verification tools development. Theoretically, the record datatype based formal memory model is a type of intuitive and efficient formalization scheme. However, practical appl
Publikováno v:
Communications in Computer and Information Science ISBN: 9789811581007
As the software scale continues to increase, the software development cycle becomes more and more compact, which takes more time to the software test. How to test the software and ensure its safety efficiently and accurately is an urgent problem to b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bceafa142bcf425b6ac5ad9b5b578393
https://doi.org/10.1007/978-981-15-8101-4_59
https://doi.org/10.1007/978-981-15-8101-4_59
Publikováno v:
Communications in Computer and Information Science ISBN: 9789811581007
In order to realize the formal verification of EOS smart contract and improve the universal processing of input, this paper divides the lexical units based on EOS smart contract, and uses the binary list to store the contents of each node of abstract
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ec2e61abf86da969af9fc05d24a06382
https://doi.org/10.1007/978-981-15-8101-4_58
https://doi.org/10.1007/978-981-15-8101-4_58