Computational Aspects of Randomness and Their Structural Analysis via Nonstandard Methods
Computational Aspects of Randomness and Their Structural Analysis via Nonstandard Methods
批准号:
23340020
负责人:
TANAKA Kazuyuki
金额:
$11.48万
依托单位:
依托单位国家:
日本
项目类别:
Grant-in-Aid for Scientific Research (B)
财政年份:
2011
资助国家:
日本
项目状态:
已结题
起止时间:
2011-04-01 至 2015-03-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
A statistical mechanical interpretation of algorithmic information theory III: Composite systems and fixed points
算法信息论的统计力学解释 III:复合系统和不动点
DOI:
10.1017/s096012951100051x
发表时间:
2012
期刊:
Mathematical Structures in Computer Science
影响因子:
0.5
作者:
[Yamamoto, K., Murakami, K., and Tomizawa, S., K. Tadaki]
通讯作者:
K. Tadaki
Spectral representation of some computably enumerable sets with an application to quantum provability
一些可计算可枚举集的谱表示及其在量子可证明性中的应用
DOI:
10.1007/978-3-642-39074-6_6
发表时间:
2013
期刊:
Lecture Notes in Computer Science
影响因子:
--
作者:
[Morisada N., et al.,, C. S. Calude and K. Tadaki]
通讯作者:
C. S. Calude and K. Tadaki
ゲーデルに挑む
挑战哥德尔
DOI:
--
发表时间:
2012
期刊:
影响因子:
--
作者:
[M. Yasuda, T. Shimoyama, J. Kogure, K. Yokoyama, T. Koshiba, 小玉 正太, 田中一之]
通讯作者:
田中一之
DOI:
10.1007/978-3-642-27654-5_16
发表时间:
2011-07
期刊:
ArXiv
影响因子:
--
作者:
[K. Tadaki]
通讯作者:
K. Tadaki
Infinite games recognized by 2-stack visibly pushdown automata
2 堆栈可见下推自动机识别的无限游戏
DOI:
--
发表时间:
2015
期刊:
数理解析研究所講究録
影响因子:
--
作者:
[Wenjuan Li, Shohei Okisaka, Kazuyuki Tanaka]
通讯作者:
Kazuyuki Tanaka
共 21 条
Investigation of a novel host-microbial interaction focusing on the recognition of bacterial derived molecules by intestinal epithelial integrin.
-
批准号:15K19307
-
项目类别:Grant-in-Aid for Young Scientists (B)
-
资助金额:$2.5万
-
财政年份:2015
-
负责人:TANAKA Kazuyuki
-
依托单位:
Design Theory of Probabilistic Computational Models for Community Detections based on Non-Additive Volume and Entropy
-
批准号:25280089
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$10.98万
-
财政年份:2013
-
负责人:TANAKA Kazuyuki
-
依托单位:
Generation of fundamental design theory of Bayesian ad-hoc network systems based on Markov random fields
-
批准号:24650115
-
项目类别:Grant-in-Aid for Challenging Exploratory Research
-
资助金额:$2.41万
-
财政年份:2012
-
负责人:TANAKA Kazuyuki
-
依托单位:
Towards construction of a new computation model based on quantum mechanics
-
批准号:23650001
-
项目类别:Grant-in-Aid for Challenging Exploratory Research
-
资助金额:$2.33万
-
财政年份:2011
-
负责人:TANAKA Kazuyuki
-
依托单位:
Creative extensions of data mining theory by means of quantum-mechanical labeling
-
批准号:22300078
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$11.48万
-
财政年份:2010
-
负责人:TANAKA Kazuyuki
-
依托单位:
Marriage of non-standard analysis and computability theory toward the light of algorithmic randomness
-
批准号:19340019
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$11.23万
-
财政年份:2007
-
负责人:TANAKA Kazuyuki
-
依托单位:
Design of sophisticated Bayesian network systems based on large-scale random fields
-
批准号:18079002
-
项目类别:Grant-in-Aid for Scientific Research on Priority Areas
-
资助金额:$41.79万
-
财政年份:2006
-
负责人:TANAKA Kazuyuki
-
依托单位:
Fundamental Study for Bayesian Network Systems based on Quantum-Mechanical Fluctuation
-
批准号:17500134
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$2.18万
-
财政年份:2005
-
负责人:TANAKA Kazuyuki
-
依托单位:
Design of adaptive image processing filter based on Markov random field models
-
批准号:14084203
-
项目类别:Grant-in-Aid for Scientific Research on Priority Areas
-
资助金额:$22.78万
-
财政年份:2002
-
负责人:TANAKA Kazuyuki
-
依托单位:
Application of Tunneling Effect in Quantized Probabilistic Model to Intelligent Information Processing
-
批准号:13680384
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$2.3万
-
财政年份:2001
-
负责人:TANAKA Kazuyuki
-
依托单位:
An Interdisciplinary study on choice of tax base for land-holding tax and on its assessment methods
-
批准号:09630098
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$1.98万
-
财政年份:1997
-
负责人:TANAKA Kazuyuki
-
依托单位:
Studies on logical structures of arithmetic and computation
-
批准号:09440072
-
项目类别:Grant-in-Aid for Scientific Research (B)
-
资助金额:$8.9万
-
财政年份:1997
-
负责人:TANAKA Kazuyuki
-
依托单位:
海外基金