中国开放科研知识云: 检索

验证码:

换一张

忘记密码？记住我

取消登录

CORC

首页
科研机构
检索
知识图谱
申请加入
托管服务

在结果中检索

科研机构

北京大学 [9]

内容类型

发表日期

知识图谱

CORC

已提交作品

待认领作品

已认领作品

未提交全文

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

帮助

限定条件	专题：北京大学第一署名单位第一作者单位通讯作者单位

已选(0)清除条数/页：排序方式：
	Open weak CAD and its applications 其他 2017-01-01 Han, Jingjun; Dai, Liyun; Hong, Hoon; Xia, Bican 收藏 \| 浏览/下载：8/0 \| 提交时间：2017/12/03 Open weak CAD Open weak delineable CAD projection Semi-definiteness Copositivity CYLINDRICAL ALGEBRAIC DECOMPOSITION QUANTIFIER ELIMINATION COPOSITIVE MATRICES IMPROVED PROJECTION INEQUALITIES COMPLEXITY
	Computing Reachable Sets of Linear Vector Fields Revisited 其他 2016-01-01 Gan, Ting; Chen, Mingshuai; Li, Yangjia; Xia, Bican; Zhan, Naijun 收藏 \| 浏览/下载：3/0 \| 提交时间：2017/12/03 CYLINDRICAL ALGEBRAIC DECOMPOSITION HYBRID SYSTEMS QUANTIFIER ELIMINATION IMPROVED PROJECTION VERIFICATION
	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
	Discovering polynomial Lyapunov functions for continuous dynamical systems 其他 2013-01-01 She, Zhikun; Li, Haoyang; Xue, Bai; Zheng, Zhiming; Xia, Bican 收藏 \| 浏览/下载：7/0 \| 提交时间：2015/11/11 Lyapunov function Semi-algebraic system Real root classification HYBRID SYSTEMS QUANTIFIER ELIMINATION TARGET REGION STABILITY REACHABILITY ATTRACTION BASIN
	Termination of linear programs with nonlinear constraints 其他 2010-01-01 Xia, Bican; Zhang, Zhihai 收藏 \| 浏览/下载：2/0 \| 提交时间：2015/11/10 Termination Quantifier elimination Semi-algebraic system Rationally independent group Cyclotomic polynomial ALGEBRAIC-NUMBERS SYSTEMS
	Recent advances in program verification through computer algebra 其他 2010-01-01 Yang, Lu; Zhou, Chaochen; Zhan, Naijun; Xia, Bican 收藏 \| 浏览/下载：2/0 \| 提交时间：2015/11/16 program verification computer algebra semi-algebraic systems solving embedded systems invariants ranking functions termination QUANTIFIER ELIMINATION SYSTEMS LOOPS
	Program Verification by Reduction to Semi-algebraic Systems Solving 其他 2008-01-01 Xia, Bican; Yang, Lu; Zhan, Naijun 收藏 \| 浏览/下载：2/0 \| 提交时间：2015/11/16 Program Verification Ranking Functions Invariants Polynomial Programs Semi-Algebraic Systems Quantifier Elimination POLYNOMIAL INVARIANTS QUANTIFIER ELIMINATION RANKING FUNCTIONS LINEAR-PROGRAMS TERMINATION GENERATION

相关链接
欧盟学术资源开放存取平台
CALIS高校机构知识库
台湾学术机构典藏
香港机构知识库整合系统
中国科学院机构知识库网格系统

CORC
关于我们
服务条款
隐私条款

联系我们
0931-8270076
cspace@llas.ac.cn
China-OR

中文简体

©版权所有 ©2017 CSpace - Powered by CSpace