Concur '92--Third International Conference on Concurrency Theory in Stony Brook, NY on August 24-27, 1992

Concur 92——1992 年 8 月 24-27 日在纽约州石溪举行的第三届并发理论国际会议

基本信息

  • 批准号:
    9201450
  • 负责人:
  • 金额:
    $ 1.17万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    1992
  • 资助国家:
    美国
  • 起止时间:
    1992-01-15 至 1992-12-31
  • 项目状态:
    已结题

项目摘要

CONCUR '92 represents the first conference on concurrency theory to take place in the US since 1984 (an NSF-sponsored workshop at CMU). At this time, there are major research groups in the field at MIT, Stanford, CMU, NC State, Stony Brook, Bell Labs, Boulder, and a number of other places in the US. CONCUR represents real opportunity since '84 for these researchers to interact with each other, as well as their European Community counterparts, in a conference-like setting.
CONCUR '92代表了自1984年以来在美国举行的第一次并发理论会议(在CMU由nsf赞助的研讨会)。目前,在麻省理工学院、斯坦福大学、CMU、北卡罗来纳州立大学、石溪分校、贝尔实验室、博尔德和美国其他一些地方都有该领域的主要研究小组。自1984年以来,CONCUR为这些研究人员以及他们的欧共体同行提供了在类似会议的环境中相互交流的真正机会。

项目成果

期刊论文数量(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 }}

Scott Smolka其他文献

Scott Smolka的其他文献

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

{{ truncateString('Scott Smolka', 18)}}的其他基金

CPS: Frontier: Collaborative Research: Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems
CPS:前沿:协作研究:医疗网络物理系统的组合、近似和定量推理
  • 批准号:
    1446832
  • 财政年份:
    2015
  • 资助金额:
    $ 1.17万
  • 项目类别:
    Continuing Grant
2014 CPS Medical Devices Workshop Travel Support
2014年CPS医疗器械研讨会差旅支持
  • 批准号:
    1430010
  • 财政年份:
    2014
  • 资助金额:
    $ 1.17万
  • 项目类别:
    Standard Grant
Closed-Loop Formal Verification of ICDs Using Cardiac Electrophysiological Models
使用心脏电生理模型对 ICD 进行闭环形式验证
  • 批准号:
    1445770
  • 财政年份:
    2014
  • 资助金额:
    $ 1.17万
  • 项目类别:
    Continuing Grant
Collaborative Research: Next-Generation Model Checking and Abstract Interpretation With a Focus on Embedded Control and Systems Biology
合作研究:以嵌入式控制和系统生物学为重点的下一代模型检查和摘要解释
  • 批准号:
    0926190
  • 财政年份:
    2009
  • 资助金额:
    $ 1.17万
  • 项目类别:
    Standard Grant
LMC: A System for the Specification and Evaluation of Logic-Based Model Checking
LMC:基于逻辑的模型检查的规范和评估系统
  • 批准号:
    9705998
  • 财政年份:
    1997
  • 资助金额:
    $ 1.17万
  • 项目类别:
    Continuing Grant
Practical Techniques for the Design, Specification, Verification, and Implementation of Concurrent Systems
并发系统设计、规范、验证和实现的实用技术
  • 批准号:
    9505562
  • 财政年份:
    1996
  • 资助金额:
    $ 1.17万
  • 项目类别:
    Standard Grant
CONCUR '95 - Sixth International Conference on Concurrency Theory; University of Pennsylvania; Philadelphia, PA; August 21-24, 1995
CONCUR 95 - 第六届并发理论国际会议;
  • 批准号:
    9529068
  • 财政年份:
    1995
  • 资助金额:
    $ 1.17万
  • 项目类别:
    Standard Grant
CONCUR '93 - Fourth International Conference on Concurrency Theory; August 23-26, 1993; Germany
CONCUR 93 - 第四届并发理论国际会议;
  • 批准号:
    9311650
  • 财政年份:
    1993
  • 资助金额:
    $ 1.17万
  • 项目类别:
    Standard Grant
Algebraic Reasoning for Probabilistic and Real-Time Concurrent Systems
概率和实时并发系统的代数推理
  • 批准号:
    9208585
  • 财政年份:
    1992
  • 资助金额:
    $ 1.17万
  • 项目类别:
    Continuing Grant
Livelock, Lockout, and Liveness in Networks of CommunicatingFinite-State Processes
通信有限状态过程网络中的活锁、锁定和活跃性
  • 批准号:
    8505873
  • 财政年份:
    1985
  • 资助金额:
    $ 1.17万
  • 项目类别:
    Continuing Grant

相似国自然基金

2型脱碘酶Thr92Ala多态性与DTC术后TSH抑制治疗患者脂质代谢紊乱的相关性研究
  • 批准号:
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
FAM92A1通过参与突触内吞过程调控神经元突触可塑性机制研究
  • 批准号:
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
CAFs 源性外泌体经 miR-92 调控 SOCS6/HIF-1α轴促进胰腺 癌干性影响 GEM耐药的机制研究
  • 批准号:
    2024JJ9506
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
FXR1 通过相分离介导外泌体装载 miR-17- 92 cluster 影响淋巴瘤免疫耐药的机制研究
  • 批准号:
    BY24H080014
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
梅毒螺旋体外膜蛋白Tp92通过BCRP/Nrf2/ROS 途径 破坏体外胎盘屏障机制初探
  • 批准号:
    2024JJ5342
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
补肾中药抑制WTAP介导的miR-92b/TIMP4 m6A修饰调控软骨细胞行为及功能延缓软骨退变的分子机制研究
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    15.0 万元
  • 项目类别:
    省市级项目
miR-92a调控自噬在肾脏缺血再灌注损伤中的作用研究
  • 批准号:
    82370753
  • 批准年份:
    2023
  • 资助金额:
    49 万元
  • 项目类别:
    面上项目
贵州民族药靶向miR-17-92/STAT3扩增造血干细胞的活性物质基础及作用机制研究
  • 批准号:
    82360035
  • 批准年份:
    2023
  • 资助金额:
    32 万元
  • 项目类别:
    地区科学基金项目
基于原位微米压入技术的P92钢蒸汽管道剩余寿命评估方法
  • 批准号:
    LZ23A020007
  • 批准年份:
    2023
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目

相似海外基金

Strategy to overcome the refractoriness of hematological malignancies through inhibition of intracellular signaling and immune enhancement
通过抑制细胞内信号传导和增强免疫来克服血液恶性肿瘤的难治性的策略
  • 批准号:
    20K08726
  • 财政年份:
    2020
  • 资助金额:
    $ 1.17万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
The birth environment of the solar system constrained by niobium-92 in the refractory inclusion CAI
难熔包裹体CAI中铌92约束的太阳系诞生环境
  • 批准号:
    20K14551
  • 财政年份:
    2020
  • 资助金额:
    $ 1.17万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
Endothelial miR-17~92 protects against acute kidney injury
内皮miR-17~92预防急性肾损伤
  • 批准号:
    10338136
  • 财政年份:
    2020
  • 资助金额:
    $ 1.17万
  • 项目类别:
Endothelial miR-17~92 protects against acute kidney injury
内皮miR-17~92预防急性肾损伤
  • 批准号:
    10550222
  • 财政年份:
    2020
  • 资助金额:
    $ 1.17万
  • 项目类别:
Endothelial miR-17~92 protects against acute kidney injury
内皮miR-17~92预防急性肾损伤
  • 批准号:
    10117251
  • 财政年份:
    2020
  • 资助金额:
    $ 1.17万
  • 项目类别:
mir-17~92 cluster in mantle cell lymphoma
套细胞淋巴瘤中的mir-17~92簇
  • 批准号:
    19K17867
  • 财政年份:
    2019
  • 资助金额:
    $ 1.17万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
Functional genomics of microRNA polycistrons
microRNA多顺反子的功能基因组学
  • 批准号:
    402572
  • 财政年份:
    2019
  • 资助金额:
    $ 1.17万
  • 项目类别:
    Operating Grants
miR-17~92 Haploinsufficiency Influences Alveolar and Vascular Endothelial Development
miR-17~92 单倍体不足影响肺泡和血管内皮发育
  • 批准号:
    10063017
  • 财政年份:
    2017
  • 资助金额:
    $ 1.17万
  • 项目类别:
MicroRNA-dependent cytokine production in group 2 innate lymphoid cell
第 2 组先天淋巴细胞中 MicroRNA 依赖性细胞因子的产生
  • 批准号:
    17J05293
  • 财政年份:
    2017
  • 资助金额:
    $ 1.17万
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
miR-17~92 Haploinsufficiency Influences Alveolar and Vascular Endothelial Development
miR-17~92 单倍体不足影响肺泡和血管内皮发育
  • 批准号:
    10310483
  • 财政年份:
    2017
  • 资助金额:
    $ 1.17万
  • 项目类别:
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了