刷新
{{item.name}}会员
A Partition Analysis Method to Demonstrate Program Reliability
一种证明程序可靠性的分区分析方法
基本信息
- 批准号：8104202
- 负责人：
- 金额：$ 8.19万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Continuing Grant
- 财政年份：1981
- 资助国家：美国
- 起止时间：1981-07-01 至 1983-11-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 }}
Lori Clarke其他文献
In Adult Daystay Patients Undergoing Gynecological Surgery With General Anesthesia, Does A Greater Length Of NPO Status Increase Post Operative Nausea And Vomiting?
- DOI：
10.1016/j.jopan.2016.04.126 - 发表时间：
2016-08-01 - 期刊：
- 影响因子：
- 作者：
Nancy Falvey;Lori Clarke;Ann Marie Culver;Alison Colburn - 通讯作者：
Alison Colburn
Lori Clarke的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Lori Clarke', 18)}}的其他基金
SHB: Collaborative Research:Context-aware, dynamic, smart checklists: key cyber-infrastructure for systems delivering quality health care
SHB：协作研究：情境感知、动态、智能清单：提供优质医疗保健系统的关键网络基础设施
- 批准号：
1239334 - 财政年份：2012
- 资助金额：
$ 8.19万 - 项目类别：
Standard Grant
Collaborative Research: Process-Centered, Analysis-driven System Development Applied to Human-Intensive Medical Processes
协作研究：以流程为中心、分析驱动的系统开发应用于人力密集型医疗流程
- 批准号：
0820198 - 财政年份：2008
- 资助金额：
$ 8.19万 - 项目类别：
Standard Grant
BPC-A: Widening the Research Pipeline
BPC-A：拓宽研究渠道
- 批准号：
0540631 - 财政年份：2006
- 资助金额：
$ 8.19万 - 项目类别：
Standard Grant
Special Projects: Student Travel Support for the International Conference on Software Engineering 2005 Doctoral Symposium
特别项目：2005年软件工程国际会议博士生研讨会的学生旅行支持
- 批准号：
0508019 - 财政年份：2005
- 资助金额：
$ 8.19万 - 项目类别：
Standard Grant
ITR-(EVS+ASE+NHS)-(int+dmc+soc)-Improving the Safety and Efficiency of Medical Processes
ITR-(EVS ASE NHS)-(int dmc soc)-提高医疗流程的安全性和效率
- 批准号：
0427071 - 财政年份：2004
- 资助金额：
$ 8.19万 - 项目类别：
Continuing Grant
International Travel Grant for International Conference on Software Engineering; Melbourne, Australia, May 11-15, 1992
国际软件工程会议国际旅费补助金；
- 批准号：
9121410 - 财政年份：1992
- 资助金额：
$ 8.19万 - 项目类别：
Standard Grant
Software Environment Architecture and Analysis Tools
软件环境架构和分析工具
- 批准号：
8704478 - 财政年份：1987
- 资助金额：
$ 8.19万 - 项目类别：
Continuing Grant
A Systematic Treatment of Interface Control
界面控制的系统化处理
- 批准号：
8408143 - 财政年份：1984
- 资助金额：
$ 8.19万 - 项目类别：
Standard Grant
The Development of a Scientific Testing Method
科学测试方法的发展
- 批准号：
8404217 - 财政年份：1984
- 资助金额：
$ 8.19万 - 项目类别：
Continuing Grant
Toward the Development of Scientific Testing (Computer Science)
迈向科学测试的发展（计算机科学）
- 批准号：
8303320 - 财政年份：1983
- 资助金额：
$ 8.19万 - 项目类别：
Standard Grant
相似国自然基金
Scalable Learning and Optimization: High-dimensional Models and Online Decision-Making Strategies for Big Data Analysis
- 批准号：
- 批准年份：2024
- 资助金额：万元
- 项目类别：合作创新研究团队
Intelligent Patent Analysis for Optimized Technology Stack Selection:Blockchain BusinessRegistry Case Demonstration
- 批准号：
- 批准年份：2024
- 资助金额：万元
- 项目类别：外国学者研究基金项目
基于Meta-analysis的新疆棉花灌水增产模型研究
- 批准号：41601604
- 批准年份：2016
- 资助金额：22.0 万元
- 项目类别：青年科学基金项目
大规模微阵列数据组的meta-analysis方法研究
- 批准号：31100958
- 批准年份：2011
- 资助金额：20.0 万元
- 项目类别：青年科学基金项目
用“后合成核磁共振分析”（retrobiosynthetic NMR analysis）技术阐明青蒿素生物合成途径
- 批准号：30470153
- 批准年份：2004
- 资助金额：22.0 万元
- 项目类别：面上项目
相似海外基金
A novel whole-process analysis method for fractured rock slopes
裂隙岩质边坡全过程分析新方法
- 批准号：
DP230100126 - 财政年份：2023
- 资助金额：
$ 8.19万 - 项目类别：
Discovery Projects
Development of urodynamics analysis method using three-dimensional images
利用三维图像的尿动力学分析方法的开发
- 批准号：
23K08782 - 财政年份：2023
- 资助金额：
$ 8.19万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Development of on-chip membrane protein preparation method and structure/function analysis of giant membrane proteins
片上膜蛋白制备方法开发及巨膜蛋白结构/功能分析
- 批准号：
23K04926 - 财政年份：2023
- 资助金额：
$ 8.19万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Development of a new EBSD analysis method combining dynamical scattering theory and machine learning
结合动态散射理论和机器学习开发新的 EBSD 分析方法
- 批准号：
23H01276 - 财政年份：2023
- 资助金额：
$ 8.19万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
New perspective of moving-boundary flow analysis by the stress tensor discontinuity-based immersed boundary method
基于应力张量不连续性的浸没边界法进行动边界流分析的新视角
- 批准号：
23H01341 - 财政年份：2023
- 资助金额：
$ 8.19万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Development of a Causality Analysis Method for Point Processes Based on Nonlinear Dynamical Systems Theory and Elucidation of the Representation of Information Processing in the Brain
基于非线性动力系统理论的点过程因果分析方法的发展及大脑信息处理表征的阐明
- 批准号：
22KJ2815 - 财政年份：2023
- 资助金额：
$ 8.19万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Establishment of an objective evaluation method for itching and analysis of neural transmission mechanisms
瘙痒客观评价方法的建立及神经传递机制分析
- 批准号：
23K18561 - 财政年份：2023
- 资助金额：
$ 8.19万 - 项目类别：
Grant-in-Aid for Challenging Research (Exploratory)
Development of Power System Stability Analysis Method Using Physics-Informed Machine Learning
利用物理信息机器学习开发电力系统稳定性分析方法
- 批准号：
23K13326 - 财政年份：2023
- 资助金额：
$ 8.19万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Development of an efficient method combining quantum chemistry and machine learning to evolve PCR technology and gene mutation analysis
开发一种结合量子化学和机器学习的有效方法来发展 PCR 技术和基因突变分析
- 批准号：
22KJ2450 - 财政年份：2023
- 资助金额：
$ 8.19万 - 项目类别：
Grant-in-Aid for JSPS Fellows
Analysis of IgE response mechanisms by a novel method for developing allergy vaccine.
通过开发过敏疫苗的新方法分析 IgE 反应机制。
- 批准号：
23K10844 - 财政年份：2023
- 资助金额：
$ 8.19万 - 项目类别：
Grant-in-Aid for Scientific Research (C)