Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Cui, Bohan"'
In this paper, we investigate the property verification problem for partially-observed DES from a new perspective. Specifically, we consider the problem setting where the system is observed by two agents independently, each with its own observation.
Externí odkaz:
http://arxiv.org/abs/2409.06588
In this paper, we investigate a class of information-flow security properties called opacity in partial-observed discrete-event systems. Roughly speaking, a system is said to be opaque if the intruder, which is modeled by a passive observer, can neve
Externí odkaz:
http://arxiv.org/abs/2203.17051
Publikováno v:
In IFAC PapersOnLine 2024 58(1):174-179
Publikováno v:
VLDB Journal International Journal on Very Large Data Bases; Sep2024, Vol. 33 Issue 5, p1283-1306, 24p
Autor:
Cui, Bohan
Micythus torquentus sp.nov. Type material: Holotype male, Chengmai, Hainan Province, China, April 2020, leg. Xinghui Chen. Paratype: 1m, Chengmai, Hainan Province, China, April 2020, leg. Xinghui Chen; 2f, Chengmai, Hainan Province, China, March 5 th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2147c7d19bff6276225a1ad3ced75d2a
Autor:
Cui, Bohan
Cui, Bohan (2023): A new species of genus Micythus Thorell, 1897 (Araneae:Gnaphosidae) from Hainan, China. Zootaxa 5301 (3): 397-400, DOI: 10.11646/zootaxa.5301.3.5, URL: http://dx.doi.org/10.11646/zootaxa.5301.3.5
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2659::86f7b2b66848e857764e09c0b7ff4f37
https://zenodo.org/record/8030536
https://zenodo.org/record/8030536
Autor:
Cui Bohan, Hongliu Yang
Publikováno v:
Journal of Physics: Conference Series. 1952:032055
Detection and Recognition of a human’s continuous states in real time plays an important role in wearable devices. We present an approach for heart rhythm recognition and human status detection through the analysis of ECG signal. The algorithm is c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5bc5270113ff69fdcbd8491da7a10347
https://doi.org/10.1088/1742-6596/1952/3/032055
https://doi.org/10.1088/1742-6596/1952/3/032055
Autor:
Cui B; College of Life Science and Technology; China Pharmaceutical University; Nanjing; Jiangsu; China. cbh1459619978@163.com.
Publikováno v:
Zootaxa [Zootaxa] 2023 Jun 12; Vol. 5301 (3), pp. 397-400. Date of Electronic Publication: 2023 Jun 12.