×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
清华大学 [14]
数学与系统科学研究院 [8]
中国石油大学(北京) [6]
北京大学 [4]
北京航空航天大学 [4]
山东大学 [4]
更多...
内容类型
期刊论文 [57]
会议论文 [8]
学位论文 [4]
其他 [3]
SCI/SSCI论文 [2]
项目 [1]
更多...
发表日期
2016 [75]
学科主题
Engineerin... [1]
临床与咨询心理学 [1]
基础心理学 [1]
应用心理学 [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共75条,第1-10条
帮助
限定条件
发表日期:2016
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
面向任务的群机器人系统分层自组织规划研究
学位论文
博士: 中国科学院沈阳自动化研究所, 2016
作者:
冷雨泉
收藏
  |  
浏览/下载:118/0
  |  
提交时间:2016/12/15
面向任务
群机器人
分层自组织
任务分解
任务分配
Composite similarity measure algorithm
会议论文
Changsha, China, August 13, 2016 - August 15, 2016
作者:
Wang, Yan
;
An, Yunjie
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2020/11/15
Data mining
Fuzzy systems
Morphology
Time series
Composite representations
General information
Representation method
Similarity measure
Statistical features
symbol
Symbolic aggregate approximation (SAX)
Time series data mining
时间序列相似性度量方法
期刊论文
计算机工程与设计, 2016, 期号: 2016年09期, 页码: 2520-2525
作者:
王燕
;
安云杰
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/11/13
时间序列
相似性度量
关键点对等
算术编码技术
符号化
分层欧式距离
符号语言诠释下“女性自己的声音”——读《流动中的爱恋与婚育》
其他
2016-09-01
严静
;
Yan Jing
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2017/03/07
符号语言
symbolic language
女性自己的声音
the voice of women
爱恋
love
婚育
marriage and procreation
Social Complexification and Pig (Sus scrofa) Husbandry in Ancient China: A Combined Geometric Morphometric and Isotopic Approach
期刊论文
PLOS ONE, 2016, 卷号: 11, 期号: 7
作者:
Cucchi, Thomas
;
Dai, Lingling
;
Balasse, Marie
;
Zhao, Chunqing
;
Gao, Jiangtao
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2016/12/06
Controllable Discrete Rogue Wave Solutions of the Ablowitz-Ladik Equation in Optics
期刊论文
COMMUNICATIONS IN THEORETICAL PHYSICS, 2016, 卷号: 66, 期号: 1, 页码: 29-34
作者:
Wen, Xiao-Yong
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2018/07/30
symbolic computation Maple
Ablowitz-Ladik equation
rational solutions
discrete rogue wave solutions
Quantifier elimination by cylindrical algebraic decomposition based on regular chains
期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2016, 卷号: 75, 页码: 74-93
作者:
Chen, Changbo
;
Maza, Marc Moreno
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2018/03/15
Quantifier elimination
Cylindrical algebraic decomposition
Regular chains
Triangular decomposition
On Implementing the Symbolic Preprocessing Function over Boolean Polynomial Rings in Grobner Basis Algorithms Using Linear Algebra
期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2016, 卷号: 29, 期号: 3, 页码: 789-804
作者:
Sun Yao
;
Huang Zhenyu
;
Lin Dongdai
;
Wang Dingkang
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2018/07/30
Boolean polynomial rings
Grobner basis
implementation
linear algebra
Functional Test Generation for Hard-to-Reach States Using Path Constraint Solving
期刊论文
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2016, 卷号: 35, 期号: 6, 页码: 999-1011
作者:
Zhou, Yanhong
;
Wang, Tiancheng
;
Li, Huawei
;
Lv, Tao
;
Li, Xiaowei
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2019/12/13
Abstraction-guided simulation
functional test generation
hard-to-reach states
path constraint solving
Desingularization of Ore operators
期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2016, 卷号: 74, 页码: 617-626
作者:
Chen, Shaoshi
;
Kauers, Manuel
;
Singer, Michael F.
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2018/07/30
D-finite functions
Apparent singularities
Computer algebra
Ore operators
©版权所有 ©2017 CSpace - Powered by
CSpace