A Practical Multi-Stage Grasp Detection Method for Kinova Robot in Stacked Environments
Dong, Xuefeng, Jiang, Yang, Zhao, Fengyu, Xia, Jingtao
Published in Micromachines (Basel) (31.12.2022)
Published in Micromachines (Basel) (31.12.2022)
Get full text
Journal Article
Non-linear complementary filter based upper limb motion tracking using wearable sensors
Chieh Chien, Jingtao Xia, Santana, Oscar, Yan Wang, Pottie, Greg J.
Published in 2013 IEEE International Conference on Acoustics, Speech and Signal Processing (01.05.2013)
Published in 2013 IEEE International Conference on Acoustics, Speech and Signal Processing (01.05.2013)
Get full text
Conference Proceeding
Performance simulation and energy efficiency analysis of multi-energy complementary HVAC system based on TRNSYS
Wang, Xing, Li, Tao, Yu, Yingying, Liu, Qingxia, Shi, Lei, Xia, Jingtao, Mao, Qianjun
Published in Applied thermal engineering (01.12.2024)
Published in Applied thermal engineering (01.12.2024)
Get full text
Journal Article
Generalizable synthesis through unification
Ji, Ruyi, Xia, Jingtao, Xiong, Yingfei, Hu, Zhenjiang
Published in Proceedings of ACM on programming languages (01.10.2021)
Published in Proceedings of ACM on programming languages (01.10.2021)
Get full text
Journal Article
Design and realization of remote real-time data acquisition for a linear CCD camera
Jingtao Xia, Gang Li, Shaohua Yang, Ming'an Guo, Tongding Luo
Published in 2011 International Conference on Electric Information and Control Engineering (01.04.2011)
Published in 2011 International Conference on Electric Information and Control Engineering (01.04.2011)
Get full text
Conference Proceeding
Design of High Resolution High Sensitivity EMCCD Camera
Yang Shaohua, Guo Ming'an, Li Binkang, Xia Jingtao, Wang Qunshu, Sun Fengrong
Published in 2012 Second International Conference on Intelligent System Design and Engineering Application (01.01.2012)
Published in 2012 Second International Conference on Intelligent System Design and Engineering Application (01.01.2012)
Get full text
Conference Proceeding
Design and realization of four-channel image data acquisition for framing gated camera
Jingtao Xia, Binkang Li, Ming'an Guo, Fengrong Sun, Shaohua Yang, Tongding Luo, Yanli Chen
Published in 2011 International Conference on Multimedia Technology (01.07.2011)
Published in 2011 International Conference on Multimedia Technology (01.07.2011)
Get full text
Conference Proceeding
Application of Quality Control Circle in Reducing Incidence of Leakage in Digestive Endoscopy
Chen, Hongwen, Liao, Weiguang, Wang, Tingting, Xia, Jingtao, Cui, Feiyi, Chen, Zhenyu, Xing, Tongyin, Huang, Ying, Feng, Xicheng, Xiang, Ping
Published in Zhongguo yi liao qi xie za zhi (30.09.2018)
Published in Zhongguo yi liao qi xie za zhi (30.09.2018)
Get more information
Journal Article
ALGO: Synthesizing Algorithmic Programs with LLM-Generated Oracle Verifiers
Zhang, Kexun, Wang, Danqing, Xia, Jingtao, Wang, William Yang, Li, Lei
Year of Publication 23.05.2023
Year of Publication 23.05.2023
Get full text
Journal Article
There and Back Again: A Netlist's Tale with Much Egraphin'
Smith, Gus Henry, Sisco, Zachary D, Techaumnuaiwit, Thanawat, Xia, Jingtao, Canumalla, Vishal, Cheung, Andrew, Tatlock, Zachary, Nandi, Chandrakana, Balkind, Jonathan
Year of Publication 31.03.2024
Year of Publication 31.03.2024
Get full text
Journal Article
ALGO: Synthesizing Algorithmic Programs with LLM-Generated Oracle Verifiers
Zhang, Kexun, Wang, Danqing, Xia, Jingtao, William Yang Wang, Li, Lei
Published in arXiv.org (08.12.2023)
Get full text
Published in arXiv.org (08.12.2023)
Paper
Double-color injection mold and injection molding machine
HUANG HAI, YANG SUQIN, BI JINQI, ZHOU ZHONG, GONG LEIGANG, XIA JINGTAO
Year of Publication 19.03.2024
Get full text
Year of Publication 19.03.2024
Patent