中国科学院重庆绿色智能技术研究院机构知识库

浏览/检索结果: 共46条，第1-10条

帮助

限定条件	专题：自动推理与认知研究中心    第一作者的第一单位    第一作者单位    通讯作者单位

已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择期刊影响因子升序期刊影响因子降序作者升序作者降序题名升序题名降序WOS被引频次升序WOS被引频次降序发表日期升序发表日期降序提交时间升序提交时间降序
	Steerability detection of an arbitrary two-qubit state via machine learning 期刊论文 PHYSICAL REVIEW A, 2019, 卷号: 100, 期号: 2, 页码: 8 作者:  Ren, Changliang;  Chen, Changbo 收藏  |  浏览/下载：300/0  |  提交时间：2019/12/03
	SVM-based Method for Detecting Ranking Functions in Polynomial Loop Programs 期刊论文 Ruan Jian Xue Bao/Journal of Software, 2019, 卷号: 30, 期号: 7, 页码: 1903-1915 作者:  Li, Yi;  Cai, Tian-Xun;  Fan, Jian-Feng;  Wu, Wen-Yuan;  Feng, Yong 收藏  |  浏览/下载：259/0  |  提交时间：2020/02/18
	Self-evident Automated Proving Based on Point Geometry from the Perspective of Wu’s Method Identity 期刊论文 Journal of Systems Science and Complexity, 2019, 卷号: 32, 期号: 1, 页码: 78-94 作者:  Zhang, Jingzhong;  Peng, Xicheng;  Chen, Mao 收藏  |  浏览/下载：250/0  |  提交时间：2020/02/18
	Mapping criteria between nonlocality and steerability in qudit-qubit systems and between steerability and entanglement in qubit-qudit systems 期刊论文 PHYSICAL REVIEW A, 2018, 卷号: 98, 期号: 5, 页码: 6 作者:  Chen, Changbo;  Ren, Changliang;  Ye, Xiang-Jun;  Chen, Jing-Ling Adobe PDF(338Kb)  |  收藏  |  浏览/下载：122/0  |  提交时间：2018/12/13
	An Automatic Approach for Retinal Vessel Segmentation by Multi-Scale Morphology and Seed Point Tracking 期刊论文 JOURNAL OF MEDICAL IMAGING AND HEALTH INFORMATICS, 2018, 卷号: 8, 期号: 2, 页码: 262-274 作者:  Wang, Weihua;  Zhang, Jingzhong;  Wu, Wenyuan;  Zhou, Shuang 收藏  |  浏览/下载：188/0  |  提交时间：2018/06/04 Vessel Contrast  Medical Image Processing  Automatic Segmentation  Mathematical Morphology  Vessel Segmentation
	A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities 会议论文 20th International Workshop on Computer Algebra in Scientific Computing, CASC 2018, Lille, France, September 17, 2018 - September 21, 2018 作者:  Chen, Changbo;  Wu, Wenyuan Adobe PDF(1113Kb)  |  收藏  |  浏览/下载：101/0  |  提交时间：2019/06/25
	Early ending in homotopy path-tracking for real roots 会议论文 13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, Suzhou, China, September 16, 2018 - September 19, 2018 作者:  Wang, Yu;  Wu, Wenyuan;  Xia, Bican Adobe PDF(383Kb)  |  收藏  |  浏览/下载：110/0  |  提交时间：2019/06/25
	Revealing bistability in neurological disorder models by solving parametric polynomial systems geometrically 会议论文 13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, Suzhou, China, September 16, 2018 - September 19, 2018 作者:  Chen, Changbo;  Wu, Wenyuan Adobe PDF(535Kb)  |  收藏  |  浏览/下载：111/0  |  提交时间：2019/06/25
	Computing real witness points of positive dimensional polynomial systems 期刊论文 THEORETICAL COMPUTER SCIENCE, 2017, 卷号: 681, 页码: 217-231 作者:  Wu, Wenyuan;  Reid, Greg;  Feng, Yong 收藏  |  浏览/下载：162/0  |  提交时间：2018/03/05 Numerical algebraic geometry  Real algebraic geometry  Homotopy continuation  Singular critical points  Real witness points
	Witness to non-termination of linear programs 期刊论文 THEORETICAL COMPUTER SCIENCE, 2017, 卷号: 681, 页码: 75-100 作者:  Li, Yi 收藏  |  浏览/下载：114/0  |  提交时间：2018/03/05 Linear loops  Program termination  Semi-algebraic sets  Witness to non-termination