Software Tools for the Analysis of Programs
用于程序分析的软件工具
基本信息
- 批准号:8519783
- 负责人:
- 金额:$ 17.45万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:1986
- 资助国家:美国
- 起止时间:1986-07-01 至 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 }}
Jacques Cohen其他文献
From strength to strength: a new journal launched this year.
不断壮大:今年推出的新期刊。
- DOI:
10.1016/j.rbmo.2014.11.002 - 发表时间:
2015 - 期刊:
- 影响因子:4
- 作者:
Jacques Cohen;S. Franklin;G. Grudzinskas;Martin H Johnson - 通讯作者:
Martin H Johnson
Endings and beginnings.
结束和开始。
- DOI:
10.1016/j.rbmo.2013.11.008 - 发表时间:
2014 - 期刊:
- 影响因子:4
- 作者:
Jacques Cohen;G. Grudzinskas;Martin H Johnson - 通讯作者:
Martin H Johnson
Regulation of assisted reproduction in the USA--a just target or a target of unfair criticism?
美国辅助生殖监管——公正的目标还是不公平批评的目标?
- DOI:
10.1016/j.rbmo.2014.08.002 - 发表时间:
2014 - 期刊:
- 影响因子:4
- 作者:
Jacques Cohen - 通讯作者:
Jacques Cohen
Reprint of: Embryo morphology, developmental rates, and maternal age are correlated with chromosome abnormalities.
转载:胚胎形态、发育速度和母亲年龄与染色体异常相关。
- DOI:
- 发表时间:
2019 - 期刊:
- 影响因子:6.7
- 作者:
S. Munné;M. Alikani;G. Tomkin;J. Grifo;Jacques Cohen - 通讯作者:
Jacques Cohen
for Micro-analvsis of Programs
用于程序的微观分析
- DOI:
- 发表时间:
1997 - 期刊:
- 影响因子:0
- 作者:
Jacques Cohen;Aline Weitzman - 通讯作者:
Aline Weitzman
Jacques Cohen的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Jacques Cohen', 18)}}的其他基金
Parallel Processors for Constraint Languages
约束语言的并行处理器
- 批准号:
9403427 - 财政年份:1994
- 资助金额:
$ 17.45万 - 项目类别:
Continuing Grant
Parallel Computing and Complex Systems
并行计算和复杂系统
- 批准号:
9303150 - 财政年份:1993
- 资助金额:
$ 17.45万 - 项目类别:
Continuing Grant
Microanalysis and Design of Parallel Programs
并行程序的微观分析与设计
- 批准号:
9207964 - 财政年份:1993
- 资助金额:
$ 17.45万 - 项目类别:
Continuing Grant
Compiler Development Using Logic Programming
使用逻辑编程进行编译器开发
- 批准号:
9115326 - 财政年份:1991
- 资助金额:
$ 17.45万 - 项目类别:
Continuing Grant
Software Tools for the Analysis of Parallel Programs
用于分析并行程序的软件工具
- 批准号:
8814261 - 财政年份:1988
- 资助金额:
$ 17.45万 - 项目类别:
Continuing Grant
Compiler Prototyping Using Logic Programming
使用逻辑编程进行编译器原型设计
- 批准号:
8718989 - 财政年份:1988
- 资助金额:
$ 17.45万 - 项目类别:
Standard Grant
US - France Cooperative Science Research: Compiler Prototyping using Logic Programming.
美国-法国合作科学研究:使用逻辑编程的编译器原型。
- 批准号:
8613202 - 财政年份:1987
- 资助金额:
$ 17.45万 - 项目类别:
Standard Grant
相似海外基金
New software tools for differential analysis of single-cell genomics perturbation experiments
用于单细胞基因组扰动实验差异分析的新软件工具
- 批准号:
10735033 - 财政年份:2023
- 资助金额:
$ 17.45万 - 项目类别:
Robust approaches for the analysis of agreement between clinical measurements: development of guidance and software tools for researchers
分析临床测量之间一致性的稳健方法:为研究人员开发指南和软件工具
- 批准号:
MR/X029301/1 - 财政年份:2023
- 资助金额:
$ 17.45万 - 项目类别:
Research Grant
Open source software tools: improving accessibility, usability and versatility for bone and joint computed tomography image analysis
开源软件工具:提高骨和关节计算机断层扫描图像分析的可访问性、可用性和多功能性
- 批准号:
485107 - 财政年份:2023
- 资助金额:
$ 17.45万 - 项目类别:
Operating Grants
Sociolinguistics Tools in the Analysis of Language Use in Software Development
软件开发中语言使用分析的社会语言学工具
- 批准号:
RGPIN-2017-03847 - 财政年份:2022
- 资助金额:
$ 17.45万 - 项目类别:
Discovery Grants Program - Individual
Algorithms and software tools for analysis of mass spectrometry data
用于分析质谱数据的算法和软件工具
- 批准号:
RGPIN-2018-05939 - 财政年份:2022
- 资助金额:
$ 17.45万 - 项目类别:
Discovery Grants Program - Individual
NOSI to Support Enhancement of Software Tools for Multilevel Mediation Analysis for Investigating Effects of Environmental and Individual Risk Factors on Respiratory Diseases
NOSI 支持增强多级中介分析软件工具,以调查环境和个人风险因素对呼吸道疾病的影响
- 批准号:
10403859 - 财政年份:2021
- 资助金额:
$ 17.45万 - 项目类别:
IRIS Digital Assets - FAST-HEP: Faster Analysis Software Tools for HEP
IRIS Digital Assets - FAST-HEP:更快的 HEP 分析软件工具
- 批准号:
ST/W00495X/1 - 财政年份:2021
- 资助金额:
$ 17.45万 - 项目类别:
Research Grant
Algorithms and software tools for analysis of mass spectrometry data
用于分析质谱数据的算法和软件工具
- 批准号:
RGPIN-2018-05939 - 财政年份:2021
- 资助金额:
$ 17.45万 - 项目类别:
Discovery Grants Program - Individual
Sociolinguistics Tools in the Analysis of Language Use in Software Development
软件开发中语言使用分析的社会语言学工具
- 批准号:
RGPIN-2017-03847 - 财政年份:2021
- 资助金额:
$ 17.45万 - 项目类别:
Discovery Grants Program - Individual
Testing Software Tools for DNA-Based Biodiversity Analysis
基于 DNA 的生物多样性分析测试软件工具
- 批准号:
551425-2020 - 财政年份:2020
- 资助金额:
$ 17.45万 - 项目类别:
University Undergraduate Student Research Awards














{{item.name}}会员




