Subscribe to this collection to receive daily e-mail notification of new additions

	Title	Author(s)	Issue Date
	Pure iso-type systems Journal:Journal of Functional Programming	YANG, YDos Santos Oliveira, BCDS	2019
	A mechanical formalization of higher-ranked polymorphic type inference Journal:Proceedings of the ACM on Programming Languages	ZHAO, JDos Santos Oliveira, BCDSSchrijvers, T	2019
	Separating Use and Reuse to Improve Both Journal:The Art, Science, and Engineering of Programming	Arora, HServetto, MDos Santos Oliveira, BCDS	2019
	Learning Spatial Attention for Face Super-Resolution Journal:IEEE Transactions on Image Processing	Chen, CGong, DWang, HLi, ZWong, KYK	2021
	An integrated smart home energy management model based on a pyramid taxonomy for residential houses with photovoltaic-battery systems Journal:Applied Energy	Zheng, ZSun, ZPan, JLuo, X	2021
	Optimization-Based Framework for Excavation Trajectory Generation Journal:IEEE Robotics and Automation Letters	Yang, YLong, PSong, XPan, JZhang, L	2021
	Autonomous Social Distancing in Urban Environments Using a Quadruped Robot Journal:IEEE Access	Chen, ZFAN, TZhao, XLiang, JShen, CChen, HManocha, DPan, JZhang, W	2021
	Learning-based Optoelectronically Innervated Tactile Finger for Rigid-Soft Interactive Grasping Journal:IEEE Robotics and Automation Letters	YANG, LHan, XGuo, WWan, FPan, JSong, C	2021
	A multi-year two-stage stochastic programming model for optimal design and operation of residential photovoltaic-battery systems Journal:Energy and Buildings	Zheng, ZLi, XPan, JLuo, X	2021
	Failure Handling of Robotic Pick and Place Tasks With Multimodal Cues Under Partial Object Occlusion Journal:Frontiers in Neurorobotics	ZHU, FWANG, LWEN, YYang, LPan, JWang, ZWang, W	2021
	Highly anisotropic and flexible piezoceramic kirigami for preventing joint disorders Journal:Science Advances	Hong, YWang, BLin, WJin, LLiu, SLuo, XPan, JWang, WYang, Z	2021
	Living Object Grasping Using Two-Stage Graph Reinforcement Learning Journal:IEEE Robotics and Automation Letters	Hu, ZZheng, YPan, J	2021
	An Efficient and Responsive Robot Motion Controller for Safe Human-Robot Collaboration Journal:IEEE Robotics and Automation Letters	Zhao, XFAN, TLI, YZheng, YPan, J	2021
	Soft magnetic skin for super-resolution tactile sensing with force self-decoupling Journal:Science Robotics	Yan, YCHU, ZYang, ZYuan, WSong, CPan, JShen, Y	2021
	Fast Localization and Segmentation of Tissue Abnormalities by Autonomous Robotic Palpation Journal:IEEE Robotics and Automation Letters	Yan, YPan, J	2021
	Learning-Based Coronal Spine Alignment Prediction Using Smartphone-Acquired Scoliosis Radiograph Images Journal:IEEE Access	Zhang, TLi, YCheung, JPYDokos, SWong, KKY	2021
	Clinical analysis and pluripotent stem cells-based model reveal possible impacts of ACE2 and lung progenitor cells on infants vulnerable to COVID-19 Journal:Theranostics	Zhang, ZGuo, LLu, XZhang, CHuang, LWang, XDuan, FLiang, HChen, PZeng, LShao, JLi, HFLi, LLiu, LLi, CZhang, JMa, CYKwan, KYLiu, WXu, YGu, XJiang, HDu, HZhang, TWu, YYu, GChen, JLuo, RLiao, CTse, HFChen, ZChen, HHXia, HLian, Q	2021
	Distinct disease severity between children and older adults with COVID-19: Impacts of ACE2 expression, distribution, and lung progenitor cells Journal:Clinical Infectious Diseases	Zhang, ZGuo, LHuang, LZhang, CLuo, RZeng, LLiang, HLi, QLu, XWang, XMa, CYShao, JLuo, WLi, LLiu, LLi, ZZhou, XZhang, XLiu, JYang, JKwan, KYLiu, WXu, YJiang, HLiu, HDu, HWu, YYu, GChen, JWu, JZhang, JLiao, CChen, HJChen, ZTse, HFXia, HLian, Q	2021
	Adult mesenchymal stem cell ageing interplays with depressed mitochondrial Ndufs6 Journal:Cell Death & Disease	Zhang, YGuo, LHan, SChen, LLi, CZhang, ZHong, YZhang, XZhou, XJiang, DLiang, XQiu, JZhang, JLi, XZhong, SLiao, CYan, BTse, HFLian, Q	2020
	End-to-End Neural Segmental Models for Speech Recognition Journal:IEEE Journal on Selected Topics in Signal Processing	Tang, HaoLu, LiangKong, LingpengGimpel, KevinLivescu, KarenDyer, ChrisSmith, Noah A.Renals, Steve	2017