Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Hai-yan Qiao"'
Autor:
Xiong Zhang, Hai-Yan Qiao
Publikováno v:
Journal of Hainan Medical University, Vol 23, Iss 15, Pp 82-85 (2017)
Objective: To study the stress response and immune response after percutaneous transhepatic gallbladder puncture combined with laparoscopic surgery for acute severe cholecystitis. Methods: A total of 86 patients with severe acute cholecystitis who re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doajarticles::8494129153716f72144b0ba7f9f95f3e
http://www.hnykdxxb.com/PDF/201715/20.pdf
http://www.hnykdxxb.com/PDF/201715/20.pdf
Publikováno v:
2019 Far East NDT New Technology & Application Forum (FENDT).
GH4169 alloy turbine disk is one of the critical components in hot end of the aeroengine. It is prone to cracks, especially surface cracks which can significantly undermine the quality of disk, resulting in fatigue fracture and thereby catastrophic f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b4544559a9e4109e10226b3866901a05
https://doi.org/10.1109/fendt47723.2019.8962842
https://doi.org/10.1109/fendt47723.2019.8962842
Publikováno v:
Mathematical Structures in Computer Science. 25:765-804
What reasoning rules can be used for the deduction of bisimulation formulas in coalgebraic specifications is problematic because those rules used in algebraic specifications possibly cannot be applied to bisimulation formulas. Although some categoric
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a7c16e73d3a30ff632ddd0c0367a3d65
https://doi.org/10.1017/s0960129513000030
https://doi.org/10.1017/s0960129513000030
Publikováno v:
Materials Science Forum. :1135-1138
The PZT-based electro-mechanical (E/M) method was utilized to measure the impedance of a 1-D steel beam with cracks introducing and developing. Quantitatively assessment of cracks was made by using damage metrics Root Mean Square Deviation (RMSD) and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f67302eebce59f44f6062eb3a7109560
https://doi.org/10.4028/www.scientific.net/msf.675-677.1135
https://doi.org/10.4028/www.scientific.net/msf.675-677.1135
Publikováno v:
Oil Shale; 2018, Vol. 35 Issue 2, p183-194, 12p
Publikováno v:
Programming Languages and Systems ISBN: 9783642171635
APLAS
APLAS
Bisimulation is one of the fundamental concepts of the theory of coalgebras. However, it is difficult to verify whether a relation is a bisimulation. Although some categorical bisimulation proof methods for coalgebras have been proposed, they are not
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::737f9fc804f5b37911891f397a5ef7c5
https://doi.org/10.1007/978-3-642-17164-2_17
https://doi.org/10.1007/978-3-642-17164-2_17
