An Interactive System For Studying Semantic Models of Computer Programs

研究计算机程序语义模型的交互式系统

基本信息

  • 批准号:
    7424546
  • 负责人:
  • 金额:
    $ 5.6万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    1975
  • 资助国家:
    美国
  • 起止时间:
    1975-01-30 至 1976-04-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 }}

Richard Fairley其他文献

Richard Fairley的其他文献

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

{{ truncateString('Richard Fairley', 18)}}的其他基金

A Conference on Software Development Tools to Be Held in Pingree Park, Colorado, May 21-24, 1979
软件开发工具会议将于 1979 年 5 月 21 日至 24 日在科罗拉多州 Pingree Park 举行
  • 批准号:
    7825543
  • 财政年份:
    1979
  • 资助金额:
    $ 5.6万
  • 项目类别:
    Standard Grant
Regional Conference on Computational Complexity of Feasible Computations, Texas a & M University, College Station, Texas; January 3-8, 1977
可行计算的计算复杂性区域会议,德克萨斯州
  • 批准号:
    7609287
  • 财政年份:
    1976
  • 资助金额:
    $ 5.6万
  • 项目类别:
    Standard Grant

相似国自然基金

Data-driven Recommendation System Construction of an Online Medical Platform Based on the Fusion of Information
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    万元
  • 项目类别:
    外国青年学者研究基金项目
TBX1/LKB1轴阻断system Xc活性调控AML细胞铁死亡的机制研究
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    15.0 万元
  • 项目类别:
    省市级项目
TET2通过调控BAP1-System Xc-轴促进紫拉非尼诱导的肝细胞癌铁死亡的机制研究
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    0 万元
  • 项目类别:
    青年科学基金项目
P3H1通过ATF4/System Xc-轴抑制肾癌铁死亡和抗肿瘤免疫反应的作用及机制研究
  • 批准号:
    82372704
  • 批准年份:
    2023
  • 资助金额:
    49 万元
  • 项目类别:
    面上项目
基于PNO1介导system Xc-/GSH途径调控肠上皮细胞自噬依赖性铁死亡探讨加味胶七散治疗溃疡性结肠炎的机制
  • 批准号:
    82304982
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
基于单细胞测序探讨淫羊藿苷对Erastin诱导髓核细胞铁死亡相关system-Xc/GSH/GPX4分子轴线的调控作用
  • 批准号:
    82360947
  • 批准年份:
    2023
  • 资助金额:
    33 万元
  • 项目类别:
    地区科学基金项目
miR-198 靶向 Nrf2 抑制 System Xc-通路调控滋养细胞铁死亡在子痫前期中的机制
  • 批准号:
    2022JJ70123
  • 批准年份:
    2022
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
BAP1介导H2B去泛素化抑制System Xc-在蛛网膜下腔出血神经元铁死亡中的作用和机制研究
  • 批准号:
  • 批准年份:
    2021
  • 资助金额:
    55 万元
  • 项目类别:
    面上项目

相似海外基金

Excellence in Research: Developing a Model System for Studying the Determinants of Flower Morphology in Tropical Dioecious Trees
卓越的研究:开发用于研究热带雌雄异株树木花形态决定因素的模型系统
  • 批准号:
    2401525
  • 财政年份:
    2024
  • 资助金额:
    $ 5.6万
  • 项目类别:
    Standard Grant
Establishing a lineage tracing system for studying thymus-derived innate lymphoid cells
建立研究胸腺源性先天淋巴细胞谱系追踪系统
  • 批准号:
    10644626
  • 财政年份:
    2023
  • 资助金额:
    $ 5.6万
  • 项目类别:
Developing a next generation in vitro 3D immune organoids system for studying vaccine-induced immune response and immune-ageing across the life-course
开发下一代体外 3D 免疫类器官系统,用于研究疫苗诱导的免疫反应和整个生命过程中的免疫衰老
  • 批准号:
    NC/X002349/1
  • 财政年份:
    2023
  • 资助金额:
    $ 5.6万
  • 项目类别:
    Research Grant
Studying the cellular ecology of organ formation using a novel tissue reconstitution system
使用新型组织重建系统研究器官形成的细胞生态学
  • 批准号:
    10686610
  • 财政年份:
    2023
  • 资助金额:
    $ 5.6万
  • 项目类别:
A novel microfluidic system for studying brain chemistry and application to study of enkephalin-degrading enzymes in pain perception
一种用于研究脑化学的新型微流体系统及其在疼痛感知中脑啡肽降解酶研究中的应用
  • 批准号:
    10504385
  • 财政年份:
    2022
  • 资助金额:
    $ 5.6万
  • 项目类别:
A UK-based internally heated pressure vessel (IHPV) system for studying geological and environmental processes at crustal pressures
英国的内热压力容器 (IHPV) 系统,用于研究地壳压力下的地质和环境过程
  • 批准号:
    NE/X005933/1
  • 财政年份:
    2022
  • 资助金额:
    $ 5.6万
  • 项目类别:
    Research Grant
Studying mechanisms for the evolution of synaptic and electrical signaling in the nervous system
研究神经系统突触和电信号的进化机制
  • 批准号:
    RGPAS-2021-00002
  • 财政年份:
    2022
  • 资助金额:
    $ 5.6万
  • 项目类别:
    Discovery Grants Program - Accelerator Supplements
Studying the role of the human habenular system in social hierarchy
研究人类缰核系统在社会等级中的作用
  • 批准号:
    RGPIN-2018-05698
  • 财政年份:
    2022
  • 资助金额:
    $ 5.6万
  • 项目类别:
    Discovery Grants Program - Individual
Studying the immune system effects of INSL5 using cell co-culture techniques
使用细胞共培养技术研究 INSL5 对免疫系统的影响
  • 批准号:
    573866-2022
  • 财政年份:
    2022
  • 资助金额:
    $ 5.6万
  • 项目类别:
    University Undergraduate Student Research Awards
Studying mechanisms for the evolution of synaptic and electrical signaling in the nervous system
研究神经系统突触和电信号的进化机制
  • 批准号:
    RGPIN-2021-03557
  • 财政年份:
    2022
  • 资助金额:
    $ 5.6万
  • 项目类别:
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了