Zobrazeno 1 - 10
of 180
pro vyhledávání: '"Shang Wei Lin"'
Autor:
Po-Chun Han, Chia-Hui Chuang, Shang-Wei Lin, Xiangmei Xiang, Zaoming Wang, Mako Kuzumoto, Shun Tokuda, Tomoki Tateishi, Alexandre Legrand, Min Ying Tsang, Hsiao-Ching Yang, Kevin C.-W. Wu, Kenji Urayama, Dun-Yen Kang, Shuhei Furukawa
Publikováno v:
Nature Communications, Vol 15, Iss 1, Pp 1-12 (2024)
Abstract The capability of materials to interconvert between different phases provides more possibilities for controlling materials’ properties without additional chemical modification. The study of state-changing microporous materials just emerged
Externí odkaz:
https://doaj.org/article/a91ad3e5bd054df590763aee92c43ab2
Publikováno v:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 42:2055-2068
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::549130055f244a7c6e5e63bddd46029f
https://doi.org/10.1109/tcad.2022.3209550
https://doi.org/10.1109/tcad.2022.3209550
Publikováno v:
In Clinical Neurology and Neurosurgery April 2016 143:90-94
Publikováno v:
IEEE Transactions on Dependable and Secure Computing. 19:1795-1809
Despite the high stakes involved in smart contracts, they are often developed in an undisciplined manner, leaving the security and reliability of blockchain transactions at risk. In this paper, we introduce ContraMaster an oracle-supported dynamic ex
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8a75eb70898772557f2476ed951dde84
https://doi.org/10.1109/tdsc.2020.3037332
https://doi.org/10.1109/tdsc.2020.3037332
Publikováno v:
ACI Structural Journal; Nov2023, Vol. 120 Issue 6, p113-122, 10p
Publikováno v:
In Clinical Neurology and Neurosurgery June 2015 133:40-45
Publikováno v:
Proceedings of the ACM on Programming Languages. 6:1-27
It is well-known that quantum programs are not only complicated to design but also challenging to verify because the quantum states can have exponential size and require sophisticated mathematics to encode and manipulate. To tackle the state-space ex
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3fa9f50d15f87efad27c2584f91b2017
https://doi.org/10.1145/3498697
https://doi.org/10.1145/3498697
Publikováno v:
IEEE Transactions on Multimedia. 24:3807-3822
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b60b43d6847652c138b6001934557a03
https://doi.org/10.1109/tmm.2021.3108009
https://doi.org/10.1109/tmm.2021.3108009
Publikováno v:
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::436fdef7b1374425939c8ef50847e1d5
https://doi.org/10.1145/3540250.3558923
https://doi.org/10.1145/3540250.3558923
Publikováno v:
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ee95dccbd01877a3b41b6c771c1813f2
https://doi.org/10.1145/3551349.3559560
https://doi.org/10.1145/3551349.3559560