刷新
{{item.name}}会员
Applications of Proof Theory to Computational Complexity
证明理论在计算复杂性中的应用
基本信息
- 批准号：8606165
- 负责人：
- 金额：$ 4.95万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1986
- 资助国家：美国
- 起止时间：1986-07-15 至 1988-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
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 }}
Peter Clote其他文献
Peter Clote的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Peter Clote', 18)}}的其他基金
ABI Innovation: Engineering molecular scissors by computational design with experimental validation
ABI Innovation：通过计算设计和实验验证设计分子剪刀
- 批准号：
1262439 - 财政年份：2013
- 资助金额：
$ 4.95万 - 项目类别：
Standard Grant
Energy parameters and novel algorithms for an extended nearest neighbor energy model of RNA
RNA扩展最近邻能量模型的能量参数和新算法
- 批准号：
1016618 - 财政年份：2010
- 资助金额：
$ 4.95万 - 项目类别：
Standard Grant
Physically modeling cross-hybridization error in gene expression microarrays by a novel Boltzmann partition function algorithm for probe-specific position-dependent free energy
通过针对探针特异性位置依赖自由能的新型玻尔兹曼分配函数算法对基因表达微阵列中的交叉杂交误差进行物理建模
- 批准号：
0817971 - 财政年份：2008
- 资助金额：
$ 4.95万 - 项目类别：
Standard Grant
RNA-Parafold: Algorithms and Web Server for Parametric Aspects of RNA Secondary Structure
RNA-Parafold：RNA 二级结构参数方面的算法和 Web 服务器
- 批准号：
0543506 - 财政年份：2006
- 资助金额：
$ 4.95万 - 项目类别：
Continuing Grant
Propositional Logic, Invariance Groups for Boolean Functions, and Parallel Higher Type Functionals
命题逻辑、布尔函数的不变群和并行更高类型泛函
- 批准号：
9408090 - 财政年份：1994
- 资助金额：
$ 4.95万 - 项目类别：
Continuing Grant
"Parallel Computation and Boolean Circuits - lambda calculus, equational theories, modular counting and permutation groups"
“并行计算和布尔电路 - lambda 演算、方程理论、模计数和置换群”
- 批准号：
9102896 - 财政年份：1991
- 资助金额：
$ 4.95万 - 项目类别：
Standard Grant
Parallel Pascal compiler for PRAM
PRAM 的并行 Pascal 编译器
- 批准号：
9001248 - 财政年份：1990
- 资助金额：
$ 4.95万 - 项目类别：
Standard Grant
相似海外基金
Recursive Inequalities in Applied Proof Theory
应用证明理论中的递归不等式
- 批准号：
2889781 - 财政年份：2023
- 资助金额：
$ 4.95万 - 项目类别：
Studentship
Towards a Unified Theory of Proof and Circuit Complexity
走向证明和电路复杂性的统一理论
- 批准号：
RGPIN-2021-03036 - 财政年份：2022
- 资助金额：
$ 4.95万 - 项目类别：
Discovery Grants Program - Individual
Towards a Unified Theory of Proof and Circuit Complexity
走向证明和电路复杂性的统一理论
- 批准号：
RGPAS-2021-00032 - 财政年份：2022
- 资助金额：
$ 4.95万 - 项目类别：
Discovery Grants Program - Accelerator Supplements
Towards a Unified Theory of Proof and Circuit Complexity
走向证明和电路复杂性的统一理论
- 批准号：
RGPAS-2021-00032 - 财政年份：2021
- 资助金额：
$ 4.95万 - 项目类别：
Discovery Grants Program - Accelerator Supplements
Development and Proof-of-Concept Trial of a Meaning and Theory-Based Physical Activity Intervention
基于意义和理论的身体活动干预的开发和概念验证试验
- 批准号：
10302143 - 财政年份：2021
- 资助金额：
$ 4.95万 - 项目类别：
Towards a Unified Theory of Proof and Circuit Complexity
走向证明和电路复杂性的统一理论
- 批准号：
RGPIN-2021-03036 - 财政年份：2021
- 资助金额：
$ 4.95万 - 项目类别：
Discovery Grants Program - Individual
Proof theory, higher order theories of reverse mathematics, and semi-intuitionism
证明论、逆向数学的高阶理论和半直觉主义
- 批准号：
2595035 - 财政年份：2021
- 资助金额：
$ 4.95万 - 项目类别：
Studentship
New foundations of proof theory from a novel notion of substitution
来自新颖替代概念的证明理论的新基础
- 批准号：
2601979 - 财政年份：2021
- 资助金额：
$ 4.95万 - 项目类别：
Studentship
Revisiting ordinal notation systems in proof theory: from the viewpoint of linear logic
重新审视证明论中的序数符号系统：从线性逻辑的角度来看
- 批准号：
21K12822 - 财政年份：2021
- 资助金额：
$ 4.95万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Development and Proof-of-Concept Trial of a Meaning and Theory-Based Physical Activity Intervention
基于意义和理论的身体活动干预的开发和概念验证试验
- 批准号：
10483166 - 财政年份：2021
- 资助金额：
$ 4.95万 - 项目类别：