Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Chao-Hong Chen"'
Autor:
Chao-Hong Chen, 陳朝弘
98
The multicellular organisms evolved endocrine system to adapt to inherent and external constant change of environments, which guarantee they can survive. Individual cells in one tissue sense a change in the organism’s circumstances and resp
The multicellular organisms evolved endocrine system to adapt to inherent and external constant change of environments, which guarantee they can survive. Individual cells in one tissue sense a change in the organism’s circumstances and resp
Externí odkaz:
http://ndltd.ncl.edu.tw/handle/91266816516305773376
Autor:
Chao-hong Chen, 陳昭宏
92
Signaling plays an important role in communication network. The signaling transmission can be divided into CAS (Channel-associated signaling) and CCS（Common-channel signaling. CAS uses the same circuit to carry signaling and data (PCM or 64
Signaling plays an important role in communication network. The signaling transmission can be divided into CAS (Channel-associated signaling) and CCS（Common-channel signaling. CAS uses the same circuit to carry signaling and data (PCM or 64
Externí odkaz:
http://ndltd.ncl.edu.tw/handle/52910112869150984899
Publikováno v:
Saudi Medical Journal; Aug2023, Vol. 44 Issue 8, p788-794, 7p
Autor:
Chao-Hong Chen, Amr Sabry
Publikováno v:
Proceedings of the ACM on Programming Languages. 5:1-29
Compact closed categories include objects representing higher-order functions and are well-established as models of linear logic, concurrency, and quantum computing. We show that it is possible to construct such compact closed categories for conventi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::58a7a919e5c0e27aa25901f089e6606b
https://doi.org/10.1145/3434290
https://doi.org/10.1145/3434290
Autor:
Sihan Yang, Xian-Wen Yang, Renzhi Chen, Chao-Hong Chen, Yandong Zhang, Jin-Mei Xia, Gai-Yun Zhang, Chun-Lan Xie
Publikováno v:
Organic Letters. 21:8174-8177
An intriguing cage-like polyhemiketal, nesteretal A (1), was isolated from the coral-derived actinomycete Nesterenkonia halobia. Its structure was established by extensive spectroscopic and computational methods. Nesteretal A is a highly oxygenated c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b6a7055f594766321ba7adc50ed2441a
https://doi.org/10.1021/acs.orglett.9b02634
https://doi.org/10.1021/acs.orglett.9b02634
Publikováno v:
CEC
In this paper, genetic algorithms are proposed to shrink counterexamples found by QuickChick, a property-based testing framework for Coq. In order to make the outcome of property-based testing humanly understandable and inspectable, genetic algorithm
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3deecbfbcf6200ad723b082904ccfbf1
https://doi.org/10.1109/cec48606.2020.9185807
https://doi.org/10.1109/cec48606.2020.9185807
Publikováno v:
Reversible Computation ISBN: 9783030524814
In reversible computing, the management of space is subject to two broad classes of constraints. First, as with general-purpose computation, every allocation must be paired with a matching de-allocation. Second, space can only be safely de-allocated
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::89464db0eecf40a13ecc2f1608555213
https://doi.org/10.1007/978-3-030-52482-1_10
https://doi.org/10.1007/978-3-030-52482-1_10
Autor:
Chun-Lan, Xie, Renzhi, Chen, Sihan, Yang, Jin-Mei, Xia, Gai-Yun, Zhang, Chao-Hong, Chen, Yandong, Zhang, Xian-Wen, Yang
Publikováno v:
Organic letters. 21(20)
An intriguing cage-like polyhemiketal, nesteretal A (
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmid________::1cecebc67bf4e92488210b1be0ddecca
https://pubmed.ncbi.nlm.nih.gov/31423796
https://pubmed.ncbi.nlm.nih.gov/31423796
Publikováno v:
GECCO (Companion)
This paper proposes the use of genetic algorithms as shrinkers for shrinking the counterexamples generated by QuickChick, a property-based testing framework for Coq. The present study incorporates the flexibility and versatility of evolutionary algor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e3bf7889ddce229fadc01282bd760144
https://doi.org/10.1145/3319619.3322004
https://doi.org/10.1145/3319619.3322004
Publikováno v:
MFPS
We establish a close connection between a reversible programming language based on type isomorphisms and a formally presented univalent universe. The correspondence relates combinators witnessing type isomorphisms in the programming language to paths
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2dc1d3a772b2fa15024a9edbc5e12294
http://arxiv.org/abs/1708.02710
http://arxiv.org/abs/1708.02710