CASIA OpenIR

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

限定条件                        
已选(0)清除 条数/页:   排序方式:
Automated short proof generation for projective geometric theorems with Cayley and bracket algebras - II. Conic geometry 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2003, 卷号: 36, 期号: 5, 页码: 763-809
作者:  Li, HB;  Wu, YH
收藏  |  浏览/下载:209/0  |  提交时间:2015/11/08
Bracket Algebra  Cayley Algebra  Automated Theorem Proving  Projective Conic Geometry  
Automated short proof generation for projective geometric theorems with Cayley and bracket algebras - I. Incidence geometry 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2003, 卷号: 36, 期号: 5, 页码: 717-762
作者:  Li, HB;  Wu, YH
收藏  |  浏览/下载:213/0  |  提交时间:2015/11/08
Cayley Algebra  Bracket Algebra  Automated Theorem Proving  Projective Incidence Geometry  
Optimal construction and control of flexible manipulators: a case study based on LQR output feedback 期刊论文
MECHATRONICS, 2001, 卷号: 11, 期号: 1, 页码: 59-77
作者:  Zhou, PX;  Wang, FY;  Chen, WN;  Lever, P
浏览  |  Adobe PDF(264Kb)  |  收藏  |  浏览/下载:255/76  |  提交时间:2015/11/08
Manipulators  Optimal Control  Design And Construction  Dynamic Modeling  
Multimodality molecular imaging - Improving image quality 期刊论文
IEEE ENGINEERING IN MEDICINE AND BIOLOGY MAGAZINE, 2008, 卷号: 27, 期号: 5, 页码: 48-57
作者:  Tian, Jie;  Bai, Jing;  Yan, Xiu-Ping;  Bao, Shanglian;  Li, Yinghui;  Liang, Wei;  Yang, Xin
浏览  |  Adobe PDF(1711Kb)  |  收藏  |  浏览/下载:368/95  |  提交时间:2015/11/08
Molecular Imaging  
A Novel Software Platform for Medical Image Processing and Analyzing 期刊论文
IEEE TRANSACTIONS ON INFORMATION TECHNOLOGY IN BIOMEDICINE, 2008, 卷号: 12, 期号: 6, 页码: 800-812
作者:  Tian, Jie;  Xue, Jian;  Dai, Yakang;  Chen, Jian;  Zheng, Jian
浏览  |  Adobe PDF(1314Kb)  |  收藏  |  浏览/下载:435/119  |  提交时间:2015/11/08
c Plus Plus Toolkit  Medical Imaging  Software Platform  Visualization  
A Novel Software Platform for Medical Image Processing and Analyzing 期刊论文
IEEE TRANSACTIONS ON INFORMATION TECHNOLOGY IN BIOMEDICINE, 2008, 卷号: 12, 期号: 6, 页码: 800-812
作者:  Tian, Jie;  Xue, Jian;  Dai, Yakang;  Chen, Jian;  Zheng, Jian
浏览  |  Adobe PDF(1314Kb)  |  收藏  |  浏览/下载:340/90  |  提交时间:2015/11/08
c Plus Plus Toolkit  Medical Imaging  Software Platform  Visualization  
The derivation of sink functions of wheat organs using the GREENLAB model 期刊论文
ANNALS OF BOTANY, 2008, 卷号: 101, 期号: 8, 页码: 1099-1108
作者:  Kang, Mengzhen;  Evers, Jochem B.;  Vos, Jan;  De Reffye, Philippe
浏览  |  Adobe PDF(598Kb)  |  收藏  |  浏览/下载:276/74  |  提交时间:2015/11/08
Wheat  Triticum Aestivum 'minaret'  Tiller  Greenlab  Organ Mass  Functional-structural Model  Model Calibration  Multi-fitting  Source-sink  
A new active visual system for humanoid robots 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2008, 卷号: 38, 期号: 2, 页码: 320-330
作者:  Xu, De;  Li, You Fu;  Tan, Min;  Shen, Yang
浏览  |  Adobe PDF(1507Kb)  |  收藏  |  浏览/下载:403/99  |  提交时间:2015/11/08
Active Vision  Bionic Vision  Humanoid Robot  Positioning  Visual System  
A new active visual system for humanoid robots 期刊论文
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2008, 卷号: 38, 期号: 2, 页码: 320-330
作者:  Xu, De;  Li, You Fu;  Tan, Min;  Shen, Yang
浏览  |  Adobe PDF(1507Kb)  |  收藏  |  浏览/下载:368/112  |  提交时间:2015/11/08
Active Vision  Bionic Vision  Humanoid Robot  Positioning  Visual System  
Spectrally resolved bioluminescence tomography with adaptive finite element analysis: methodology and simulation 期刊论文
PHYSICS IN MEDICINE AND BIOLOGY, 2007, 卷号: 52, 期号: 15, 页码: 4497-4512
作者:  Lv, Yujie;  Tian, Jie;  Cong, Wenxiang;  Wang, Ge;  Yang, Wei;  Qin, Chenghu;  Xu, Min
浏览  |  Adobe PDF(1351Kb)  |  收藏  |  浏览/下载:298/63  |  提交时间:2015/11/08
Bioluminescence