课题基金 / 基金详情

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万
依托单位：
SUNY at Stony Brook
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
1992
资助国家：
美国
项目状态：
已结题
起止时间：
1992-01-15 至 1992-12-31
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=9201450&HistoricalAwards=false
关键词：
Concur92ThirdInternationalConference

项目摘要

项目成果

Scott Smolka的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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
  • 依托单位：
    SUNY at Stony Brook
2014 CPS Medical Devices Workshop Travel Support
  • 批准号：
    1430010
  • 项目类别：
    Standard Grant
  • 资助金额：
    $4.99万
  • 财政年份：
    2014
  • 负责人：
    Scott Smolka
  • 依托单位：
    SUNY at Stony Brook
Closed-Loop Formal Verification of ICDs Using Cardiac Electrophysiological Models
  • 批准号：
    1445770
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $16.21万
  • 财政年份：
    2014
  • 负责人：
    Scott Smolka
  • 依托单位：
    SUNY at Stony Brook
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
  • 依托单位：
    SUNY at Stony Brook
国内基金
海外基金
梅毒螺旋体外膜蛋白Tp92经由宿主膜蛋白互作调控MYC诱导CD4⁺ T细胞衰老的分子机制
  • 批准号：
    2026JJ60545
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2026
  • 负责人：
    刘兆平
  • 依托单位：
    南华大学附属第一医院
MALAT1与hsa-mir-92a-3p共表达作用细胞黏附相关基因IBSP促进甲状腺癌发生发展的机制研究
  • 批准号：
    2026JJ82644
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2026
  • 负责人：
    黎蒙
  • 依托单位：
    长沙市第三医院
miR-92a-3p靶向调控Kruppel样因子4影响冠状动脉搭桥术后静脉桥再狭窄的分子机制研究
梅毒螺旋体感染依赖性抗原Tp0971及外膜蛋白Tp92优势抗原表位联合VLP在梅毒疫苗中的联合应用
  • 批准号：
    2026JJ81977
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2026
  • 负责人：
    段君霞
  • 依托单位：
    邵阳市中心医院