US - France Cooperative Science Research: Compiler Prototyping using Logic Programming.

美国-法国合作科学研究:使用逻辑编程的编译器原型。

基本信息

  • 批准号:
    8613202
  • 负责人:
  • 金额:
    $ 1.22万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    1987
  • 资助国家:
    美国
  • 起止时间:
    1987-03-01 至 1990-08-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
Non-Deterministic Algorithms
非确定性算法
  • DOI:
    10.1145/356770.356773
  • 发表时间:
    1979
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Jacques Cohen
  • 通讯作者:
    Jacques Cohen
Computer-assisted microanalysis of programs
计算机辅助程序微观分析
  • DOI:
    10.1145/358656.358674
  • 发表时间:
    1982
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Jacques Cohen
  • 通讯作者:
    Jacques Cohen

Jacques Cohen的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Jacques Cohen', 18)}}的其他基金

Parallel Parsing of DNA Sequences
DNA 序列的并行解析
  • 批准号:
    9505537
  • 财政年份:
    1995
  • 资助金额:
    $ 1.22万
  • 项目类别:
    Standard Grant
Parallel Processors for Constraint Languages
约束语言的并行处理器
  • 批准号:
    9403427
  • 财政年份:
    1994
  • 资助金额:
    $ 1.22万
  • 项目类别:
    Continuing Grant
Parallel Computing and Complex Systems
并行计算和复杂系统
  • 批准号:
    9303150
  • 财政年份:
    1993
  • 资助金额:
    $ 1.22万
  • 项目类别:
    Continuing Grant
Microanalysis and Design of Parallel Programs
并行程序的微观分析与设计
  • 批准号:
    9207964
  • 财政年份:
    1993
  • 资助金额:
    $ 1.22万
  • 项目类别:
    Continuing Grant
Compiler Development Using Logic Programming
使用逻辑编程进行编译器开发
  • 批准号:
    9115326
  • 财政年份:
    1991
  • 资助金额:
    $ 1.22万
  • 项目类别:
    Continuing Grant
A Parallel Computation Laboratory
并行计算实验室
  • 批准号:
    8715228
  • 财政年份:
    1988
  • 资助金额:
    $ 1.22万
  • 项目类别:
    Standard Grant
Software Tools for the Analysis of Parallel Programs
用于分析并行程序的软件工具
  • 批准号:
    8814261
  • 财政年份:
    1988
  • 资助金额:
    $ 1.22万
  • 项目类别:
    Continuing Grant
Compiler Prototyping Using Logic Programming
使用逻辑编程进行编译器原型设计
  • 批准号:
    8718989
  • 财政年份:
    1988
  • 资助金额:
    $ 1.22万
  • 项目类别:
    Standard Grant
Computer Research Equipment
计算机研究设备
  • 批准号:
    8612722
  • 财政年份:
    1987
  • 资助金额:
    $ 1.22万
  • 项目类别:
    Standard Grant
Software Tools for the Analysis of Programs
用于程序分析的软件工具
  • 批准号:
    8519783
  • 财政年份:
    1986
  • 资助金额:
    $ 1.22万
  • 项目类别:
    Continuing Grant

相似海外基金

US-France Cooperative Research: Carbon Nanotube Reinforced Metal Matrix Composites Experimental and Computational Approaches
美法合作研究:碳纳米管增强金属基复合材料实验和计算方法
  • 批准号:
    0738103
  • 财政年份:
    2007
  • 资助金额:
    $ 1.22万
  • 项目类别:
    Standard Grant
US-France Cooperative Research: Cell Adhesion and Innate Immunity in C. Elegans
美法合作研究:线虫的细胞粘附和先天免疫
  • 批准号:
    0726131
  • 财政年份:
    2007
  • 资助金额:
    $ 1.22万
  • 项目类别:
    Standard Grant
US-France Cooperative Research: Electrophysiological Studies of Dopamine in the Dorsal and Ventral Striatum
美法合作研究:背侧和腹侧纹状体多巴胺的电生理学研究
  • 批准号:
    0642290
  • 财政年份:
    2006
  • 资助金额:
    $ 1.22万
  • 项目类别:
    Standard Grant
US-France Cooperative Research: Carbon Nanotube Reinforced Metal Matrix Composites Experimental and Computational Approaches
美法合作研究:碳纳米管增强金属基复合材料实验和计算方法
  • 批准号:
    0436642
  • 财政年份:
    2004
  • 资助金额:
    $ 1.22万
  • 项目类别:
    Standard Grant
US-France Cooperative Research: Algebraic and Homological Methods in Low Dimensional Topology
美法合作研究:低维拓扑中的代数和同调方法
  • 批准号:
    0340575
  • 财政年份:
    2004
  • 资助金额:
    $ 1.22万
  • 项目类别:
    Standard Grant
US-France Cooperative Research: Offline and Online Algorithms for Job Scheduling Problems
美法合作研究:作业调度问题的离线和在线算法
  • 批准号:
    0340752
  • 财政年份:
    2004
  • 资助金额:
    $ 1.22万
  • 项目类别:
    Standard Grant
US-France Cooperative Research: The Effect of Nutrient Limitation on Response of Marine Bacterioplankton to Solar Ultraviolet Radiation
美法合作研究:营养限制对海洋浮游细菌对太阳紫外线辐射响应的影响
  • 批准号:
    0340764
  • 财政年份:
    2004
  • 资助金额:
    $ 1.22万
  • 项目类别:
    Standard Grant
US-France Cooperative Research: Nanoscopic Probing of Amphiphilic Polysaccharide Drug Carriers
美法合作研究:两亲多糖药物载体的纳米探测
  • 批准号:
    0339097
  • 财政年份:
    2004
  • 资助金额:
    $ 1.22万
  • 项目类别:
    Standard Grant
US-France Cooperative Research: Computational Investigation of the Mechanisms of Nanoparticles Generation in Laser Ablation
美法合作研究:激光烧蚀中纳米颗粒生成机制的计算研究
  • 批准号:
    0340614
  • 财政年份:
    2004
  • 资助金额:
    $ 1.22万
  • 项目类别:
    Standard Grant
US-France Cooperative Research: Spectroscopy of Carbon Nanotubes in High Magnetic Fields
美法合作研究:高磁场中碳纳米管的光谱学
  • 批准号:
    0437342
  • 财政年份:
    2004
  • 资助金额:
    $ 1.22万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了