CAREER: Controlling Space Properties of Higher-Order Typed Programs

职业:控制高阶类型程序的空间属性

基本信息

  • 批准号:
    0196063
  • 负责人:
  • 金额:
    $ 20万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Continuing Grant
  • 财政年份:
    2000
  • 资助国家:
    美国
  • 起止时间:
    2000-08-01 至 2003-05-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 }}

Amr Sabry其他文献

Edinburgh Research Explorer With a Few Square Roots, Quantum Computing Is as Easy as Pi
爱丁堡研究探索者只需几个平方根,量子计算就像 Pi 一样简单
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Jacques Carette;McMaster University;R. Kaarsgaard;Jacques Carette;C. Heunen;Amr Sabry
  • 通讯作者:
    Amr Sabry
How to remove a dynamic prompt: static and dynamic delimited continuation operators are equally expressible
如何删除动态提示:静态和动态分隔延续运算符同样可表达
  • DOI:
  • 发表时间:
    2005
  • 期刊:
  • 影响因子:
    0
  • 作者:
    O. Kiselyov;Daniel P. Friedman;Amr Sabry
  • 通讯作者:
    Amr Sabry
Not by equations alone
不能仅通过方程
Quantum omputation of Hydrogen Bond Dynamics and Vibrational Spectra
氢键动力学和振动光谱的量子计算
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Philip Ri;M. Revelle;Christopher Yale;D. Lobser;Ashlyn D. Bur;Susan M. Clark;Debadrita Saha;M. A. Lopez;Anurag Dwivedi;Jeremy M. Smith;Sam A. Norrell;Amr Sabry;S. Iyengar;Sriniva an;Philip Richerme
  • 通讯作者:
    Philip Richerme
With a Few Square Roots, Quantum Computing Is as Easy as Pi
只需几个平方根,量子计算就像圆周率一样简单

Amr Sabry的其他文献

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

{{ truncateString('Amr Sabry', 18)}}的其他基金

SHF: Small: Information Effects
SHF:小:信息效应
  • 批准号:
    1217454
  • 财政年份:
    2012
  • 资助金额:
    $ 20万
  • 项目类别:
    Standard Grant
SHF: Small: Reversible Concurrency
SHF:小:可逆并发
  • 批准号:
    1116725
  • 财政年份:
    2011
  • 资助金额:
    $ 20万
  • 项目类别:
    Standard Grant
CAREER: Controlling Space Properties of Higher-Order Typed Programs
职业:控制高阶类型程序的空间属性
  • 批准号:
    9733088
  • 财政年份:
    1998
  • 资助金额:
    $ 20万
  • 项目类别:
    Continuing Grant

相似海外基金

Controlling Transcritical Thermoacoustic Interactions for Space Propulsion and Novel Energy Systems
控制空间推进和新型能源系统的跨临界热声相互作用
  • 批准号:
    RGPIN-2016-04143
  • 财政年份:
    2021
  • 资助金额:
    $ 20万
  • 项目类别:
    Discovery Grants Program - Individual
Selling Space, Controlling Land: A Political Economy of Cartography in Early Modern England
出售空间,控制土地:现代早期英国地图学的政治经济学
  • 批准号:
    2573370
  • 财政年份:
    2021
  • 资助金额:
    $ 20万
  • 项目类别:
    Studentship
IN-ORBIT ASSEMBLY:ROBUST AUTONOMOUS METHODSFOR CONTROLLING ROBOT MANIPULATORS IN SPACE
在轨组装:用于控制太空机器人操纵器的鲁棒自主方法
  • 批准号:
    2605103
  • 财政年份:
    2021
  • 资助金额:
    $ 20万
  • 项目类别:
    Studentship
Controlling Transcritical Thermoacoustic Interactions for Space Propulsion and Novel Energy Systems
控制空间推进和新型能源系统的跨临界热声相互作用
  • 批准号:
    RGPIN-2016-04143
  • 财政年份:
    2020
  • 资助金额:
    $ 20万
  • 项目类别:
    Discovery Grants Program - Individual
New formation of controlling power over urban space in contemporary Japan
当代日本城市空间控制力的新形成
  • 批准号:
    20K01156
  • 财政年份:
    2020
  • 资助金额:
    $ 20万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Controlling Transcritical Thermoacoustic Interactions for Space Propulsion and Novel Energy Systems
控制空间推进和新型能源系统的跨临界热声相互作用
  • 批准号:
    RGPIN-2016-04143
  • 财政年份:
    2019
  • 资助金额:
    $ 20万
  • 项目类别:
    Discovery Grants Program - Individual
Development of catalytic dearomative functionalization of arenes by ligand-controlling reaction space of catalysts
通过配体控制催化剂反应空间开发芳烃催化脱芳功能化
  • 批准号:
    19K15573
  • 财政年份:
    2019
  • 资助金额:
    $ 20万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
Controlling Transcritical Thermoacoustic Interactions for Space Propulsion and Novel Energy Systems
控制空间推进和新型能源系统的跨临界热声相互作用
  • 批准号:
    RGPIN-2016-04143
  • 财政年份:
    2018
  • 资助金额:
    $ 20万
  • 项目类别:
    Discovery Grants Program - Individual
Development of a new class of zeolite catalyst with ultra-high selective reaction space by controlling the location of active sites with atomic-scale
通过原子尺度控制活性位点的位置开发具有超高选择性反应空间的新型沸石催化剂
  • 批准号:
    18KK0136
  • 财政年份:
    2018
  • 资助金额:
    $ 20万
  • 项目类别:
    Fund for the Promotion of Joint International Research (Fostering Joint International Research (B))
Controlling molecular orientation of Stilbene-derivatives by utilizing one-dimensional nano space: Toward constructing novel wavelength-conversion devices
利用一维纳米空间控制二苯乙烯衍生物的分子取向:构建新型波长转换器件
  • 批准号:
    18K04864
  • 财政年份:
    2018
  • 资助金额:
    $ 20万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了