课题基金 / 基金详情

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

Concur '92--Third International Conference on Concurrency Theory in Stony Brook, NY on August 24-27, 1992
Concur 92——1992 年 8 月 24-27 日在纽约州石溪举行的第三届并发理论国际会议
批准号:
9201450
负责人:
Scott Smolka
金额:
$1.17万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1992
资助国家:
美国
项目状态:
已结题
起止时间:
1992-01-15 至 1992-12-31

项目摘要

项目成果

Scott Smolka的其他基金

相似基金

相关文献

中文摘要
翻译
CONCUR '92代表了并发理论的第一次会议 自1984年以来在美国举行(NSF赞助的CMU研讨会)。 目前,麻省理工学院在这一领域有一些主要的研究小组, 斯坦福大学、卡内基梅隆大学、北卡罗来纳州立大学、斯托尼布鲁克、贝尔实验室、博尔德等 在美国其他地方。 CONCUR代表了真实的机会,因为 84年,这些研究人员相互交流, 在类似会议的环境中,与欧洲共同体的对应方进行磋商。
英文摘要
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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
CPS: Frontier: Collaborative Research: Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems
  • 批准号:
    1446832
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $91.53万
  • 财政年份:
    2015
  • 负责人:
    Scott Smolka
  • 依托单位:
2014 CPS Medical Devices Workshop Travel Support
  • 批准号:
    1430010
  • 项目类别:
    Standard Grant
  • 资助金额:
    $4.99万
  • 财政年份:
    2014
  • 负责人:
    Scott Smolka
  • 依托单位:
Closed-Loop Formal Verification of ICDs Using Cardiac Electrophysiological Models
  • 批准号:
    1445770
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $16.21万
  • 财政年份:
    2014
  • 负责人:
    Scott Smolka
  • 依托单位:
Collaborative Research: Next-Generation Model Checking and Abstract Interpretation With a Focus on Embedded Control and Systems Biology
  • 批准号:
    0926190
  • 项目类别:
    Standard Grant
  • 资助金额:
    $185.83万
  • 财政年份:
    2009
  • 负责人:
    Scott Smolka
  • 依托单位:
国内基金
海外基金
梅毒螺旋体外膜蛋白Tp92经由宿主膜蛋白互作调控MYC诱导CD4⁺ T细胞衰老的分子机制
  • 批准号:
    2026JJ60545
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2026
  • 负责人:
    刘兆平
  • 依托单位:
miR-92a-3p靶向调控Kruppel样因子4影响冠状动脉搭桥术后静脉桥再狭窄的分子机制研究
MALAT1与hsa-mir-92a-3p共表达作用细胞黏附相关基因IBSP促进甲状腺癌发生发展的机制研究
  • 批准号:
    2026JJ82644
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2026
  • 负责人:
    黎蒙
  • 依托单位:
梅毒螺旋体感染依赖性抗原Tp0971及外膜蛋白Tp92优势抗原表位联合VLP在梅毒疫苗中的联合应用
  • 批准号:
    2026JJ81977
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2026
  • 负责人:
    段君霞
  • 依托单位: