المؤلفون: Kun Hao, Yongchao Huang, Bang Hou, Junli Yu

المصدر: Journal of Computer Science & Technology Studies; Jan-Mar2024, Vol. 6 Issue 1, p131-140, 10p

مصطلحات موضوعية: TIME management, INFORMATION technology, INCOME

المؤلفون: Reed Mullanix, Kuen-Bang Hou, Carlo Angiuli

المصدر: Proceedings of the ACM on Programming Languages. 7:1659-1685

مصطلحات موضوعية: Safety, Risk, Reliability and Quality, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ecde68c1702f6978bec95b617455c581
https://doi.org/10.1145/3571250

المؤلفون: Hong Jiang, Wenqiang Zhang, Bang Hou, Yan Liu, Yong Cui

المصدر: CCS Chemistry. :1-9

مصطلحات موضوعية: General Chemistry

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b19550dc547e420a400751aadda2b9cd
https://doi.org/10.31635/ccschem.022.202202285

المؤلفون: Ulrik Buchholtz, Kuen-Bang Hou

المصدر: Logical Methods in Computer Science, Vol Volume 16, Issue 2 (2020)

مصطلحات موضوعية: computer science - logic in computer science, mathematics - algebraic topology, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/5274/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/4e73c752d3ff49c0990b45f72ff8fe40

المؤلفون: Carlo Angiuli, Evan Cavallo, Kuen-Bang Hou (Favonia), Robert Harper, Jonathan Sterling

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 274, Iss Proc. LFMTP 2018, Pp 1-10 (2018)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1807.01869v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/86dcd954605c4cb2ac77f3daa3801932

المؤلفون: Bang Hou, Ziping Li, Xing Kang, Hong Jiang, Yong Cui

المصدر: Chemical Research in Chinese Universities. 38:350-355

مصطلحات موضوعية: General Chemistry

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2afb1f7c4642ae80f64a7d4df20ca39f
https://doi.org/10.1007/s40242-022-1490-6

المؤلفون: Kuen-Bang Hou, Zhuyang Wang

المصدر: Proceedings of the ACM on Programming Languages. 6:1-26

مصطلحات موضوعية: TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Safety, Risk, Reliability and Quality, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d598c59b8dfef4a980f322ab8d8f3b12
https://doi.org/10.1145/3498726

المؤلفون: Carlo Angiuli, Guillaume Brunerie, Thierry Coquand, Robert Harper, Kuen-Bang Hou (Favonia), Daniel R. Licata

المصدر: Mathematical Structures in Computer Science. 31:424-468

مصطلحات موضوعية: Mathematics (miscellaneous), Computer Science Applications

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5ed2b2c96ba07fa76e844ad793228f2e
https://doi.org/10.1017/s0960129521000347

المؤلفون: Shi Yang, Yong Cui, Kuiwei Yang, Bang Hou, Jianwen Jiang, Yan Liu, Xianhui Tang, Xing Han

المصدر: Angewandte Chemie. 133:6151-6158

مصطلحات موضوعية: 010405 organic chemistry, Chemistry, Enantioselective synthesis, General Chemistry, General Medicine, 010402 general chemistry, Crystal engineering, 01 natural sciences, Combinatorial chemistry, Catalysis, 0104 chemical sciences, Enantiopure drug, Covalent bond, Brønsted–Lowry acid–base theory, Chirality (chemistry), Covalent organic framework

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8d4a7be45d5b5291709fde2e619e81e4
https://doi.org/10.1002/ange.202013926

المؤلفون: Wan-Bang Hou, Xia Yu, Xiu-Jie Wen, Yong-Quan Zhou, Ping-Zhu Yang, Rui Liu, Lin Zhu

المصدر: World Journal of Clinical Cases

مصطلحات موضوعية: Orthodontics, Teeth, Self-made four-curvature torquing auxiliary, business.industry, Bimaxillary protrusion, macromolecular substances, General Medicine, Curvature, Micro-implants, 03 medical and health sciences, 0302 clinical medicine, 030220 oncology & carcinogenesis, Case report, Medicine, 030211 gastroenterology & hepatology, business

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2b32364aa36d247ef355f2182425cee3
http://europepmc.org/articles/PMC7829714