CSpace

浏览/检索结果: 共4条,第1-4条 帮助

限定条件        
已选(0)清除 条数/页:   排序方式:
Image enhancement based on quotient space 会议论文
2nd International Conference on Rough Sets and Emerging Intelligent Systems Paradigms, RSEISP 2014 - Held as Part of 2014 Joint Rough Set Symposium, JRS 2014, Granada and Madrid, Spain, July 9, 2014 - July 13, 2014
作者:  Zhao, Tong;  Wang, Guoyin;  Xiao, Bin
Adobe PDF(1513Kb)  |  收藏  |  浏览/下载:36/0  |  提交时间:2018/03/16
A recursive decision method for termination of linear programs 会议论文
2014 Symposium on Symbolic-Numeric Computation, SNC 2014, Shanghai, China, July 28, 2014 - July 31, 2014
作者:  Li, Yi
Adobe PDF(409Kb)  |  收藏  |  浏览/下载:54/0  |  提交时间:2018/03/16
Fluorescent cyanine probe for DNA detection and cellular imaging 会议论文
Imaging, Manipulation, and Analysis of Biomolecules, Cells, and Tissues XII, San Francisco, CA, United states, February 3, 2014 - February 6, 2014
作者:  Zheng, Yong-Chao;  Zheng, Mei-Ling;  Zhao, Zhen-Sheng;  Duan, Xuan-Ming
Adobe PDF(445Kb)  |  收藏  |  浏览/下载:60/0  |  提交时间:2018/03/16
Real quantifier elimination in the RegularChains library 会议论文
4th International Congress on Mathematical Software, ICMS 2014, Seoul, Korea, Republic of, August 5, 2014 - August 9, 2014
作者:  Chen, Changbo;  Moreno Maza, Marc
Adobe PDF(1816Kb)  |  收藏  |  浏览/下载:38/0  |  提交时间:2018/03/16