刷新
{{item.name}}会员
CAREER: Tractable Formal Methods for the Synthesis of Concurrent Programs
职业：用于综合并发程序的易于处理的形式方法
基本信息
- 批准号：0096356
- 负责人：
- 金额：$ 20万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Continuing Grant
- 财政年份：2000
- 资助国家：美国
- 起止时间：2000-07-01 至 2001-04-30
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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 }}
Paul Attie其他文献
Paul Attie的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Paul Attie', 18)}}的其他基金
Constructing Large Complex Systems via Tractable Pairwise Composition of Software Components
通过软件组件的易处理的成对组合构建大型复杂系统
- 批准号：
0204432 - 财政年份：2002
- 资助金额：
$ 20万 - 项目类别：
Standard Grant
CAREER: Tractable Formal Methods for the Synthesis of Concurrent Programs
职业：用于综合并发程序的易于处理的形式方法
- 批准号：
9702616 - 财政年份：1997
- 资助金额：
$ 20万 - 项目类别：
Continuing Grant
相似海外基金
CAREER: Binucleating Bis(pyrazolyl)alkanes for Tractable Bimetallic Polymerization
职业：双核双（吡唑基）烷烃用于易处理的双金属聚合
- 批准号：
2337696 - 财政年份：2024
- 资助金额：
$ 20万 - 项目类别：
Continuing Grant
Tractable human distal lung organoid model as a new efficient tool to study mesenchymal-epithelial interactions in COPD
易处理的人远端肺类器官模型作为研究慢性阻塞性肺病间充质-上皮相互作用的新有效工具
- 批准号：
NC/Y500641/1 - 财政年份：2024
- 资助金额：
$ 20万 - 项目类别：
Training Grant
Tractable NAT-Modeled Bayesian Networks and Privacy Sensitive Construction of Agent Organizations
易处理的 NAT 模型贝叶斯网络和代理组织的隐私敏感构建
- 批准号：
RGPIN-2017-03715 - 财政年份：2022
- 资助金额：
$ 20万 - 项目类别：
Discovery Grants Program - Individual
Computationally Tractable Inference for Multi-Messenger Astrophysics
多信使天体物理学的计算易于处理的推理
- 批准号：
2152746 - 财政年份：2022
- 资助金额：
$ 20万 - 项目类别：
Continuing Grant
Integrating environment-by-epigenome interactions into a tractable model of epigenetic aging
将环境与表观基因组的相互作用整合到易于处理的表观遗传衰老模型中
- 批准号：
10674255 - 财政年份：2022
- 资助金额：
$ 20万 - 项目类别：
EDGE FGT: Creation of a Genetically Tractable Cephalopod Model using the Hummingbird Bobtail Squid
EDGE FGT：使用蜂鸟短尾鱿鱼创建基因可处理的头足类动物模型
- 批准号：
2220587 - 财政年份：2022
- 资助金额：
$ 20万 - 项目类别：
Continuing Grant
Developing tractable model systems for filamentous bacteria in wastewater treatment
开发废水处理中丝状细菌的易处理模型系统
- 批准号：
2823290 - 财政年份：2022
- 资助金额：
$ 20万 - 项目类别：
Studentship
Tractable Big Data and Big Models in Machine Learning
机器学习中易于处理的大数据和大模型
- 批准号：
RGPIN-2015-06068 - 财政年份：2021
- 资助金额：
$ 20万 - 项目类别：
Discovery Grants Program - Individual
EAGER: Toward a tractable genetic model of DNA virus - Drosophila interaction
EAGER：建立 DNA 病毒与果蝇相互作用的易处理遗传模型
- 批准号：
2135167 - 财政年份：2021
- 资助金额：
$ 20万 - 项目类别：
Standard Grant
Tractable Tandem Ion Mobility Technology using Structures for Lossless Ion Manipulations and Photodissociation
使用无损离子操作和光解离结构的易处理串联离子淌度技术
- 批准号：
10386669 - 财政年份：2021
- 资助金额：
$ 20万 - 项目类别：