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
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
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
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
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