×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
兰州大学 [8]
华南理工大学 [4]
清华大学 [3]
西安交通大学 [3]
兰州理工大学 [2]
广西民族大学 [2]
更多...
内容类型
会议论文 [14]
期刊论文 [12]
专著章节 [1]
学位论文 [1]
发表日期
2021 [1]
2019 [2]
2017 [1]
2016 [1]
2015 [2]
2011 [3]
更多...
学科主题
computer p... [1]
computer p... [1]
computer s... [1]
digital co... [1]
digital co... [1]
industrial... [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共28条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Pointed Drinfeld Center Functor
期刊论文
COMMUNICATIONS IN MATHEMATICAL PHYSICS, 2021, 页码: 35
作者:
Kong, Liang
;
Yuan, Wei
;
Zheng, Hao
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2021/04/26
Clifford algebra approach of 3D Ising model
期刊论文
ADVANCES IN APPLIED CLIFFORD ALGEBRAS, 2019, 卷号: 29, 期号: 1, 页码: 28
作者:
Zhang, Zhidong
;
Suzuki, Osamu
;
March, Norman H.
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2021/02/02
Three-dimensional Ising model
Exact solution
Clifford algebra
Clifford algebra approach of 3D Ising model
期刊论文
ADVANCES IN APPLIED CLIFFORD ALGEBRAS, 2019, 卷号: 29, 期号: 1, 页码: 28
作者:
Zhang, Zhidong
;
Suzuki, Osamu
;
March, Norman H.
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2021/02/02
Three-dimensional Ising model
Exact solution
Clifford algebra
On Sufficiently-Diffused Information in Bayesian Games: A Dialectical Formalization
专著章节
出自: ADVANCES IN MATHEMATICAL ECONOMICS, VOL 21, 233 SPRING STREET, NEW YORK, NY 10013, UNITED STATES:SPRINGER, 2017, 页码: 47-73
作者:
Khan, M. Ali
;
Zhang, Yongchao
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2019/08/22
Bayesian games
d-property
Saturation property
KRS-like games
Lebesgue extension
Nowhere equivalent sigma-algebras
PAFSV: A FORMAL FRAMEWORK FOR SPECIFICATION AND ANALYSIS OF SYSTEMVERILOG
期刊论文
COMPUTING AND INFORMATICS, 2016, 卷号: 35, 页码: 143-176
作者:
Man, Ka Lok
;
Lei, Chi-Un
;
Kapoor, Hemangee K.
;
Krilavicius, Tomas
;
Ma, Jieming
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2019/11/26
circuit verification
process algebras
formal specification and analysis
SystemVerilog
PAFSV
formal semantics
Stochastic Process Algebra with Value-Passing and Weak Time Restrictions
期刊论文
2015, 2015
Guang Zheng
;
Jinzhao Wu
;
Aiping Lu
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2017/06/19
stochastic process algebra
value passing
equivalence
bisimulation
weak time restriction
Real Time Process Algebra with Urgency Executing Policy
期刊论文
2015, 2015
Wenbo Chen
;
Guang Zheng
;
Lian Li
;
Jinzhao Wu
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2017/06/19
process algebra
executing policy
real time
urgency
Stochastic process algebra with value-passing and weak time restrictions
期刊论文
Journal of Software, 2011, 卷号: 6, 期号: 5, 页码: 769-782
作者:
Zheng, Guang
;
Wu, Jinzhao
;
Lu, Aiping
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2016/07/15
Bisimulations
Equivalence
Stochastic process algebras
Time restriction
Value passing
Process algebra with timed-priority executing policy
期刊论文
Journal of Software, 2011, 卷号: 6, 期号: 9, 页码: 1688-1695
作者:
Li, Zhongxian
;
Jiang, Miao
;
Chen, Gao
;
Zha, Qinglin
;
Zheng, Guang
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2016/07/15
Executing policy
Priority
Process algebras
Time limitation
Web servers
Towards a language based synthesis of NCL circuits
会议论文
作者:
Kapoor, Hemangee K.
;
Asthana, Abhinav
;
Krilavicius, Tomas
;
Zeng, Wenjie
;
Ma, Jieming
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/12/10
Alternative synthesis
Asynchronous control
Asynchronous control circuits
Front end
Language expressions
Process algebras
Sequential process
©版权所有 ©2017 CSpace - Powered by
CSpace