刷新
{{item.name}}会员
The Verification of Hierarchically Structured Programs
层次结构程序的验证
基本信息
- 批准号：7418661
- 负责人：
- 金额：$ 15万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1975
- 资助国家：美国
- 起止时间：1975-03-01 至 1978-02-28
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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 }}
Karl Levitt其他文献
Karl Levitt的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Karl Levitt', 18)}}的其他基金
TWC: Medium: Collaborative: Towards Securing Coupled Financial and Power Systems in the Next Generation Smart Grid
TWC：中：协作：确保下一代智能电网中耦合金融和电力系统的安全
- 批准号：
1229008 - 财政年份：2012
- 资助金额：
$ 15万 - 项目类别：
Standard Grant
TC: Small: Collaborative Research: An Argumentation-based Framework for Security Management
TC：小型：协作研究：基于论证的安全管理框架
- 批准号：
1118077 - 财政年份：2011
- 资助金额：
$ 15万 - 项目类别：
Standard Grant
GENI: EAGER: GENI Experiments to Explore Adoption of New Security Services
GENI：EAGER：GENI 实验探索新安全服务的采用
- 批准号：
1152664 - 财政年份：2011
- 资助金额：
$ 15万 - 项目类别：
Standard Grant
TC: Small: Collaborative Research: Symbiosis in Byzantine Fault Tolerance and Intrusion Detection
TC：小型：协作研究：拜占庭容错和入侵检测的共生
- 批准号：
1018871 - 财政年份：2010
- 资助金额：
$ 15万 - 项目类别：
Standard Grant
相似海外基金
Hierarchically-Structured Conduits with Programmed Release of Neurotrophic Factors for Repairing Large Defects in Thick Nerves
具有程序化释放神经营养因子的分层结构导管用于修复粗神经的大缺损
- 批准号：
10579569 - 财政年份：2023
- 资助金额：
$ 15万 - 项目类别：
Evolution of hierarchically structured ion conducting porous polymers with designable morphology for ionotronic sensors
用于离子电子传感器的具有可设计形态的分层结构离子导电多孔聚合物的演变
- 批准号：
22K14746 - 财政年份：2022
- 资助金额：
$ 15万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Hierarchically-structured electrodes for Li-air batteries
锂空气电池的分层结构电极
- 批准号：
2748670 - 财政年份：2022
- 资助金额：
$ 15万 - 项目类别：
Studentship
Theory of hierarchically structured soft matter
层次结构软物质理论
- 批准号：
RGPIN-2017-05351 - 财政年份：2021
- 资助金额：
$ 15万 - 项目类别：
Discovery Grants Program - Individual
Theory of hierarchically structured soft matter
层次结构软物质理论
- 批准号：
RGPIN-2017-05351 - 财政年份：2020
- 资助金额：
$ 15万 - 项目类别：
Discovery Grants Program - Individual
Theory of hierarchically structured soft matter
层次结构软物质理论
- 批准号：
RGPIN-2017-05351 - 财政年份：2019
- 资助金额：
$ 15万 - 项目类别：
Discovery Grants Program - Individual
Next generation biobased aerogels and hierarchically structured nanocomposites
下一代生物基气凝胶和分层结构纳米复合材料
- 批准号：
RTI-2020-00358 - 财政年份：2019
- 资助金额：
$ 15万 - 项目类别：
Research Tools and Instruments
CAREER: Synthesis of Hierarchically Structured Polymeric Materials Enabled by Polymerization-Induced Branching
职业：通过聚合诱导支化实现分级结构聚合物材料的合成
- 批准号：
1845184 - 财政年份：2019
- 资助金额：
$ 15万 - 项目类别：
Continuing Grant
Rheotactically structured and hierarchically organized materials
流变结构和分层组织的材料
- 批准号：
404401992 - 财政年份：2018
- 资助金额：
$ 15万 - 项目类别：
Research Grants
Reduction of residual stresses in CVD diamond layers on steel parts through creation of hierarchically structured surface topographies by applying cutting processes
通过应用切割工艺创建分层结构的表面形貌，减少钢部件上 CVD 金刚石层的残余应力
- 批准号：
407169265 - 财政年份：2018
- 资助金额：
$ 15万 - 项目类别：
Research Grants