Crystalline C-C and C=C Bond-Linked Chiral Covalent Organic Frameworks
Yuan, Chen, Fu, Shiguo, Yang, Kuiwei, Hou, Bang, Liu, Yan, Jiang, Jianwen, Cui, Yong
Published in Journal of the American Chemical Society (13.01.2021)
Published in Journal of the American Chemical Society (13.01.2021)
Get full text
Journal Article
Chiral covalent organic frameworks: design, synthesis and property
Han, Xing, Yuan, Chen, Hou, Bang, Liu, Lujia, Li, Haiyang, Liu, Yan, Cui, Yong
Published in Chemical Society reviews (01.09.2020)
Published in Chemical Society reviews (01.09.2020)
Get full text
Journal Article
Ab initio study revealing remarkable oscillatory effects and negative differential resistance in the molecular device of silicon carbide chains
Mu, Yi, Yu, Jie, Hu, Rui, Wang, Cui-Hong, Cheng, Cai, Hou, Bang-Pin
Published in Physical chemistry chemical physics : PCCP (17.05.2023)
Published in Physical chemistry chemical physics : PCCP (17.05.2023)
Get full text
Journal Article
Chiral metal-organic frameworks with tunable catalytic selectivity in asymmetric transfer hydrogenation reactions
Chen, Xu, Qiao, Zhiwei, Hou, Bang, Jiang, Hong, Gong, Wei, Dong, Jinqiao, Li, Hai-Yang, Cui, Yong, Liu, Yan
Published in Nano research (01.02.2021)
Published in Nano research (01.02.2021)
Get full text
Journal Article
Tunable double optomechanically induced transparency in photonically and phononically coupled optomechanical systems
Qian, Zhuo, Zhao, Miao-Miao, Hou, Bang-Pin, Zhao, Yong-Hong
Published in Optics express (25.12.2017)
Published in Optics express (25.12.2017)
Get full text
Journal Article
Recent Advances of Covalent Organic Frameworks for Chiral Separation
Hou, Bang, Li, Ziping, Kang, Xing, Jiang, Hong, Cui, Yong
Published in Chemical research in Chinese universities (2022)
Published in Chemical research in Chinese universities (2022)
Get full text
Journal Article
Logarithm and program testing
Hou (Favonia), Kuen-Bang, Wang, Zhuyang
Published in Proceedings of ACM on programming languages (01.01.2022)
Published in Proceedings of ACM on programming languages (01.01.2022)
Get full text
Journal Article
Syntax and models of Cartesian cubical type theory
Angiuli, Carlo, Brunerie, Guillaume, Coquand, Thierry, Harper, Robert, Hou (Favonia), Kuen-Bang, Licata, Daniel R.
Published in Mathematical structures in computer science (01.04.2021)
Published in Mathematical structures in computer science (01.04.2021)
Get full text
Journal Article
The RedPRL Proof Assistant (Invited Paper)
Angiuli, Carlo, Cavallo, Evan, Hou (Favonia), Kuen-Bang, Harper, Robert, Sterling, Jonathan
Published in Electronic proceedings in theoretical computer science (03.07.2018)
Published in Electronic proceedings in theoretical computer science (03.07.2018)
Get full text
Journal Article
A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory
Hou (Favonia), Kuen-Bang, Finster, Eric, Licata, Daniel R., Lumsdaine, Peter LeFanu
Published in LICS '16 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Published in LICS '16 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (05.07.2016)
Get full text
Conference Proceeding
Effects of early energy and protein restriction on growth performance, clinical blood parameters, carcass yield, and tibia parameters of broilers
YANG, Hai-ming, WANG, Wei, WANG, Zhi-yue, YANG, Zhi, WAN, Yan, HOU, Bang-hong, HUANG, Kai-hua, LU, Hao
Published in Journal of Integrative Agriculture (01.08.2016)
Published in Journal of Integrative Agriculture (01.08.2016)
Get full text
Journal Article
Optomechanical properties of a degenerate nonperiodic cavity chain
Zhao, Miao-Miao, Qian, Zhuo, Hou, Bang-Pin, Liu, Yong, Zhao, Yong-Hong
Published in Frontiers of physics (01.04.2019)
Published in Frontiers of physics (01.04.2019)
Get full text
Journal Article
Optimization of dispersive liquid–liquid microextraction based on the solidification of floating organic droplets using an orthogonal array design and its application for the determination of fungicide concentrations in environmental water samples
Yang, Xiaoling, Yang, Miyi, Hou, Bang, Li, Songqing, Zhang, Ying, Lu, Runhua, Zhang, Sanbing
Published in Journal of separation science (01.08.2014)
Published in Journal of separation science (01.08.2014)
Get full text
Journal Article
Microwave-induced coherence effects in refractive index of a V-type three-level atom
Zeng, Zhi-Qiang, Hou, Bang-Pin, Liu, Fu-Ti, Gao, Zeng-Hui
Published in Optics communications (15.03.2014)
Published in Optics communications (15.03.2014)
Get full text
Journal Article
High Refractive Index without Absorption in a Ladder-Type System
Zeng, Zhi-Qiang, Hou, Bang-Pin, Liu, Fu-Ti, Shao, Ju-Xiang
Published in Chinese physics letters (01.03.2014)
Published in Chinese physics letters (01.03.2014)
Get full text
Journal Article