Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Cheng-Yin Wu"'
Publikováno v:
Terrestrial, Atmospheric and Oceanic Sciences, Vol 31, Iss 4, Pp 369-381 (2020)
The northeast region of Taiwan has experienced a stress transition from the compressive collision to the extension induced from the Ryukyu subduction system in a post-collisional orogenic belt. In order to clarify when the extensional stage began and
Externí odkaz:
https://doaj.org/article/6d49753b9fe84d4c967d5391a6a7a0c0
Autor:
Cheng-Yin Wu, 吳政穎
102
Model checking, or property checking, is a classic methodology for formally verifying a hardware system. More specifically, given a system and a set of properties, model checkers judge whether the system satisfies a property or not. However,
Model checking, or property checking, is a classic methodology for formally verifying a hardware system. More specifically, given a system and a set of properties, model checkers judge whether the system satisfies a property or not. However,
Externí odkaz:
http://ndltd.ncl.edu.tw/handle/76601859990180165600
Autor:
Cheng-Yin Wu, 吳政穎
98
Verification on modern VLSI designs has encountered a tremendous challenge for large design complexity issue, especially for verifying expected behavior from designer’s intent. Safety property checking is one of the most important problems
Verification on modern VLSI designs has encountered a tremendous challenge for large design complexity issue, especially for verifying expected behavior from designer’s intent. Safety property checking is one of the most important problems
Externí odkaz:
http://ndltd.ncl.edu.tw/handle/36416614907912840489
Autor:
Cheng-Yin Wu, 吳承穎
97
Taiwan is located in a remarkable tectonic setting at the convergence between the Luzon arc and Eurasian plate. In order to understand the thermal history of the northern Tananao Schist of East. Taiwan, since the Penglai Orogeny, a total of n
Taiwan is located in a remarkable tectonic setting at the convergence between the Luzon arc and Eurasian plate. In order to understand the thermal history of the northern Tananao Schist of East. Taiwan, since the Penglai Orogeny, a total of n
Externí odkaz:
http://ndltd.ncl.edu.tw/handle/28090862141975998846
Autor:
Cheng-Yin Wu, 吳承穎
91
With the fast development of internet and computer technologies, the demand of multimedia and images are more and more. We prefer to digitize and store them for query and retrieval another day. Traditional information retrieval research, such
With the fast development of internet and computer technologies, the demand of multimedia and images are more and more. We prefer to digitize and store them for query and retrieval another day. Traditional information retrieval research, such
Externí odkaz:
http://ndltd.ncl.edu.tw/handle/82720007087451374692
Publikováno v:
Journal of the Science of Food and Agriculture. 102:5750-5758
The maturity of honey has a great impact on its quality and contents. Additionally, stingless bee honey contains high moisture, which allows microorganisms to survive and ferment, contributing to honey's variable flavor and physicochemical properties
Autor:
Wen Sun, Jin-Di Xu, Wei Zhang, Meng-Fei Guo, Ming Kong, He Zhu, Shan-Shan Zhou, Cheng-Yin Wu, Song-Lin Li, Qian Mao
Publikováno v:
Journal of Pharmaceutical and Biomedical Analysis. 227:115282
Autor:
Robert M. Love, Giampiero Rossi-Fedele, Fabrizio Damiani, Lara T. Friedlander, Roy George, Paul V. Abbott, Alex J. Moule, Peter Parashos, Morgan Cheng Yin Wu, Ove A. Peters
Publikováno v:
Australian endodontic journal : the journal of the Australian Society of Endodontology Inc. 46(3)
These revised guidelines developed by the Australian Society of Endodontology Inc. and the Australian and New Zealand Academy of Endodontists for educational requirements for specialisation in endodontics in Australia and New Zealand (version 2020) p
Autor:
He Zhu, Yi-Sheng He, Jing Zhou, Jiang Ma, Cheng-Yin Wu, Ming Kong, Qian Mao, Ge Lin, SongLin Li
Background: Ginsenosides has been reported to facilitate the chemotherapy of cyclophosphamide (CTX), but the underlying mechanism is still elusive. Here, ICR mice bearing subcutaneous 4T1 tumor (mouse mammary carcinoma cells) were used to investigate
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::80864910faa8f2012570515cdb2de5a5
https://doi.org/10.21203/rs.2.17649/v1
https://doi.org/10.21203/rs.2.17649/v1