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

验证码:

换一张

忘记密码？记住我

取消登录

CORC

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

在结果中检索

科研机构

上海大学 [13]

华南理工大学 [2]

复旦大学上海医学院 [2]

北京大学 [1]

南京地质古生物研究所 [1]

中国科学院大学 [1]

内容类型

期刊论文 [17]

会议论文 [4]

发表日期

学科主题

Computer S... [1]

知识图谱

CORC

已提交作品

待认领作品

已认领作品

未提交全文

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

帮助

已选(0)清除条数/页：排序方式：
	Variations in lunar regolith properties with depth as revealed by Chang'e-5 samples 期刊论文 ICARUS, 2023, 卷号: 406, 页码: 11 作者: Zhao, Siyuan; Xiao, Long; Qian, Yuqi; Zhao, Jiawei; She, Zhenbing 收藏 \| 浏览/下载：62/0 \| 提交时间：2024/05/15 Chang'e-5 Lunar soils Granulometry Mineralogy Shock metamorphism
	Computing Sparse GCD of Multivariate Polynomials via Polynomial Interpolation 期刊论文 JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2018, 卷号: 31, 页码: 552-568 作者: Tang, Min[1]; Li, Bingyu[2]; Zeng, Zhenbing[3] 收藏 \| 浏览/下载：5/0 \| 提交时间：2019/04/24 Ben-Or/Tiwari algorithm multivariate polynomial interpolation sparse GCD Zippel's algorithm
	Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation 期刊论文 SCIENCE CHINA-INFORMATION SCIENCES, 2017, 卷号: 60 作者: Zeng, Xia[1]; Lin, Wang[2]; Yang, Zhengfeng[3]; Zeng, Zhenbing[4] 收藏 \| 浏览/下载：3/0 \| 提交时间：2019/04/24
	Searching approximate global optimal Heilbronn configurations of nine points in the unit square via GPGPU computing 期刊论文 JOURNAL OF GLOBAL OPTIMIZATION, 2017, 卷号: 68, 页码: 147-167 作者: Chen, Liangyu[1]; Xu, Yaochen[2]; Zeng, Zhenbing[3] 收藏 \| 浏览/下载：8/0 \| 提交时间：2019/04/24 Heilbronn problem Rectangle partition Branch and bound method Combinatorial geometry GPGPU technology
	Some inequalities for radial Blaschke-Minkowski homomorphisms 期刊论文 CZECHOSLOVAK MATHEMATICAL JOURNAL, 2017, 卷号: 67, 页码: 779-793 作者: Ji, Lewen[1]; Zeng, Zhenbing[2] 收藏 \| 浏览/下载：3/0 \| 提交时间：2019/04/24 radial Blaschke-Minkowski homomorphism Orlicz radial sum
	Verification for Non-polynomial Hybrid Systems Using Rational Invariants 期刊论文 COMPUTER JOURNAL, 2017, 卷号: 60, 页码: 675-689 作者: Lin, Wang[1]; Wu, Min[2]; Yang, Zhengfeng[3]; Zeng, Zhenbing[4] 收藏 \| 浏览/下载：3/0 \| 提交时间：2019/04/24 non-polynomial hybrid systems safety verification rational invariant Symbolic-numeric method formal verification
	Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation 期刊论文中国科学. 信息科学, 2017, 卷号: 60, 页码: 039102 作者: Zeng Xia[1]; Lin Wang[2]; Yang Zhengfeng[3]; Zeng Zhenbing[4] 收藏 \| 浏览/下载：3/0 \| 提交时间：2019/04/24
	Resultant Elimination via Implicit Equation Interpolation 期刊论文 JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2016, 卷号: 29, 页码: 1411-1435 作者: Tang Min[1]; Yang Zhengfeng[2]; Zeng Zhenbing[3] 收藏 \| 浏览/下载：8/0 \| 提交时间：2019/04/26 Elimination implicit equations interpolation resultants
	A cognitive network for oracle bone characters related to animals 期刊论文 INTERNATIONAL JOURNAL OF MODERN PHYSICS B, 2016, 卷号: 30 作者: Dress, Andreas[1]; Gruenewald, Stefan[2]; Zeng, Zhenbing[3] 收藏 \| 浏览/下载：5/0 \| 提交时间：2019/04/26 Oracle bone scripts oracle bone characters (ancient) Chinese pictographs (ancient) Chinese characters animal characters ancient animal classification the Er Ya Aristoteles Krauterbucher similarity dissimilarity cognitive networks phylogenetic analysis phylogenetic trees phylogenetic networks split networks SplitsTree algorithm NeighborNet algorithm
	Analyzing ultimate positivity for solvable systems 期刊论文 THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 609, 页码: 395-412 作者: Xu, Ming[1]; Huang, Cheng-Chao[2]; Li, Zhi-Bin[3]; Zeng, Zhenbing[4] 收藏 \| 浏览/下载：2/0 \| 提交时间：2019/04/26 Positivity problem Dynamical system Decision procedure Computational algebraic geometry Number theory

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

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

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

中文简体

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