QQ客服 官方微博 反馈留言

浏览/检索结果: 共3条，第1-3条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Special algorithm for stability analysis of multistable biological regulatory systems 其他 2015-01-01 Hong, Hoon; Tang, Xiaoxian; Xia, Bican 收藏  |  浏览/下载：8/0  |  提交时间：2017/12/03 Quantifier elimination  Root classification  Biological regulation system  Stability  CYLINDRICAL ALGEBRAIC DECOMPOSITION  APPLYING QUANTIFIER ELIMINATION  COMPUTATIONAL-COMPLEXITY  1ST-ORDER THEORY  3-DIMENSIONAL SPACE  IMPROVED PROJECTION  DECISION PROBLEM  GEOMETRY  REALS  PRELIMINARIES   差分和线性分析的代数自动化方法 学位论文 博士, 北京: 中国科学院研究生院, 2014 吴生宝 收藏  |  浏览/下载：43/0  |  提交时间：2014/05/29 分组密码  差分分析  线性分析  代数自动化   COMPARISON AND ANALYSIS OF TWO FRACTAL DIMENSION COMPUTING ALGORITHMS FOR UPSCALING REMOTE SENSING LEAF AREA INDEX MAP 会议论文 2012 Ieee International Geoscience and Remote Sensing Symposium, New York Liu, Yan; Xue, Huazhu; Wang, Jindi; Zhou, Hongmin 收藏  |  浏览/下载：17/0  |  提交时间：2014/12/07 LAI  upscaling  fractal dimension  Differential Box Counting algorithm  Triangular Prism Surface Area method