刷新
{{item.name}}会员
Establishing Circuit Complexity Theory of Nondeterministic Circuits
建立非确定性电路的电路复杂性理论
基本信息
- 批准号：15K11986
- 负责人：
- 金额：$ 1.75万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Challenging Exploratory Research
- 财政年份：2015
- 资助国家：日本
- 起止时间：2015-04-01 至 2019-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（5）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Some Results on the Power of Nondeterministic Computation
关于非确定性计算能力的一些结果
- DOI：
- 发表时间：2019
- 期刊：
- 影响因子：0
- 作者：Hiroki Morizumi;Hiroki Morizumi;Hiroki Morizumi
- 通讯作者：Hiroki Morizumi
Zero-Suppression and Computation Models
零抑制和计算模型
- DOI：10.1007/978-3-319-94667-2_22
- 发表时间：2018
- 期刊：
- 影响因子：0
- 作者：Hiroki Morizumi
- 通讯作者：Hiroki Morizumi
Lower Bounds and Satisfiability Algorithms for Bounded Width Circuits
有界宽度电路的下界和可满足性算法
- DOI：
- 发表时间：2019
- 期刊：
- 影响因子：0
- 作者：Hiroki Morizumi;Hiroki Morizumi;Hiroki Morizumi;Hiroki Morizumi
- 通讯作者：Hiroki Morizumi
Lower Bounds for the Size of Nondeterministic Circuits
非确定性电路尺寸的下界
- DOI：10.1007/978-3-319-21398-9_23
- 发表时间：2015
- 期刊：
- 影响因子：0
- 作者：Hiroki Morizumi;Hiroki Morizumi
- 通讯作者：Hiroki Morizumi
ZDDと論理式に関する一考察
ZDD与逻辑表达式的研究
- DOI：
- 发表时间：2018
- 期刊：
- 影响因子：0
- 作者：Hiroki Morizumi;Hiroki Morizumi;Hiroki Morizumi;Hiroki Morizumi;森住 大樹
- 通讯作者：森住 大樹
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Morizumi Hiroki其他文献
Morizumi Hiroki的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
相似海外基金
回路計算量理論に基づく視覚探索を実現するニューラルネットワークの計算原理の解明
基于电路复杂性理论阐明实现视觉搜索的神经网络计算原理
- 批准号：
22K11897 - 财政年份：2022
- 资助金额：
$ 1.75万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
回路計算量理論に基づいた脳の計算原理の解明
基于电路复杂性理论阐明大脑计算原理
- 批准号：
12J03660 - 财政年份：2012
- 资助金额：
$ 1.75万 - 项目类别：
Grant-in-Aid for JSPS Fellows
回路計算量の下限の研究とその応用
电路复杂度下限及其应用研究
- 批准号：
16092225 - 财政年份：2004
- 资助金额：
$ 1.75万 - 项目类别：
Grant-in-Aid for Scientific Research on Priority Areas
素子数と段数に基づく回路計算量の階層性の証明と論理合成システムの評価への応用
基于元件和级数的电路复杂度层次证明及其在逻辑综合系统评估中的应用
- 批准号：
09780297 - 财政年份：1997
- 资助金额：
$ 1.75万 - 项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)