QQ客服 官方微博 反馈留言

浏览/检索结果: 共7条，第1-7条 帮助 限定条件 发表日期：2015    内容类型：其他     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 THE HEEGAARD DISTANCES COVER ALL NONNEGATIVE INTEGERS 其他 2015-01-01 Qiu, Ruifeng; Zou, Yanqing; Guo, Qilong 收藏  |  浏览/下载：4/0  |  提交时间：2017/12/03 attaching handlebody  Heegaard distance  subsurface projection  CURVE COMPLEX  AMALGAMATED 3-MANIFOLDS  MEASURED LAMINATIONS  HAKEN 3-MANIFOLDS  SPLITTINGS  SURFACES  GEOMETRY  BOUNDS  GENUS   Convergence analysis on multigrid methods for elliptic problems with large jumps in coefficients 其他 2015-01-01 Zheng, Hui; Wu, Jinbiao 收藏  |  浏览/下载：4/0  |  提交时间：2017/12/03 multigrid method  jump coefficient problem  discrete harmonic extension  nearly singular problem  preconditioned conjugate gradient method  DOMAIN DECOMPOSITION PRECONDITIONERS  WEIGHTED L2 PROJECTION  HIGH-CONTRAST MEDIA  DISCONTINUOUS COEFFICIENTS  SCHWARZ METHODS  FINITE-ELEMENT  SUBSPACE CORRECTIONS  MULTILEVEL METHODS  SINGULAR SYSTEMS  MULTISCALE FLOWS   Proving inequalities and solving global optimization problems via simplified CAD projection 其他 2015-01-01 Han, Jingjun; Jin, Zhi; Xia, Bican 收藏  |  浏览/下载：7/0  |  提交时间：2017/12/03 CAD projection  Global optimization  Semi-definiteness  Polynomials  CYLINDRICAL ALGEBRAIC DECOMPOSITION  POLYNOMIAL INEQUALITIES  QUANTIFIER ELIMINATION  EXISTENTIAL THEORY  SETS  COEFFICIENTS  COMPLEXITY  SYSTEMS  THEOREM  SQUARES   Special algorithm for stability analysis of multistable biological regulatory systems 其他 2015-01-01 Hong, Hoon; Tang, Xiaoxian; Xia, Bican 收藏  |  浏览/下载：9/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   Decidability of the Reachability for a Family of Linear Vector Fields 其他 2015-01-01 Gan, Ting; Chen, Mingshuai; Dai, Liyun; Xia, Bican; Zhan, Naijun 收藏  |  浏览/下载：7/0  |  提交时间：2017/12/03 Tarski&apos  Polynomial-exponential function  Reachability  Real root isolation  Cylindrical Algebraic Decomposition (CAD)  CYLINDRICAL ALGEBRAIC DECOMPOSITION  QUANTIFIER ELIMINATION  HYBRID SYSTEMS  IMPROVED PROJECTION  AUTOMATA  s algebra   The Energy Distribution of the Imaging Spot in the Ultra-wide Field-of-View Fisheye Lens Acquisition System 其他 2015-01-01 Liu, Yueying; Tu, Bo; Liu, Lu 收藏  |  浏览/下载：8/0  |  提交时间：2017/12/03 imaging spot  fisheye lens  inverse polynomial projection model  elliptical energy distribution model  EYE LENS  CALIBRATION  ALGORITHM  TRACKING  CAMERA   Adaptive Local Nonparametric Regression for Fast Single Image Super-Resolution 其他 2015-01-01 Zhang, Yulun; Zhang, Yongbing; Zhang, Jian; Wang, Haogian; Wang, Xingzheng; Dai, Qionghai 收藏  |  浏览/下载：6/0  |  提交时间：2017/12/03 Adaptive local linear regression  dictionary learning  mutual coherence  projection matrix  super-resolution  QUALITY