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
批准号:
9201450
负责人:
Scott Smolka
金额:
$1.17万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1992
资助国家:
美国
项目状态:
已结题
起止时间:
1992-01-15 至 1992-12-31
中文摘要
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
-
依托单位:
LMC: A System for the Specification and Evaluation of Logic-Based Model Checking
-
批准号:9705998
-
项目类别:Continuing Grant
-
资助金额:$122.37万
-
财政年份:1997
-
负责人:Scott Smolka
-
依托单位:
Practical Techniques for the Design, Specification, Verification, and Implementation of Concurrent Systems
-
批准号:9505562
-
项目类别:Standard Grant
-
资助金额:$30.8万
-
财政年份:1996
-
负责人:Scott Smolka
-
依托单位:
CONCUR '95 - Sixth International Conference on Concurrency Theory; University of Pennsylvania; Philadelphia, PA; August 21-24, 1995
-
批准号:9529068
-
项目类别:Standard Grant
-
资助金额:$0.25万
-
财政年份:1995
-
负责人:Scott Smolka
-
依托单位:
CONCUR '93 - Fourth International Conference on Concurrency Theory; August 23-26, 1993; Germany
-
批准号:9311650
-
项目类别:Standard Grant
-
资助金额:$1.26万
-
财政年份:1993
-
负责人:Scott Smolka
-
依托单位:
Algebraic Reasoning for Probabilistic and Real-Time Concurrent Systems
-
批准号:9208585
-
项目类别:Continuing Grant
-
资助金额:$17.79万
-
财政年份:1992
-
负责人:Scott Smolka
-
依托单位:
Livelock, Lockout, and Liveness in Networks of CommunicatingFinite-State Processes
-
批准号:8505873
-
项目类别:Continuing Grant
-
资助金额:$8.09万
-
财政年份:1985
-
负责人:Scott Smolka
-
依托单位:
国内基金
海外基金
登录
查看更多内容
梅毒螺旋体外膜蛋白Tp92经由宿主膜蛋白互作调控MYC诱导CD4⁺ T细胞衰老的分子机制
-
批准号:2026JJ60545
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:刘兆平
-
依托单位:
miR-92a-3p靶向调控Kruppel样因子4影响冠状动脉搭桥术后静脉桥再狭窄的分子机制研究
-
批准号:JCZRLH202601573
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:
-
依托单位:
MALAT1与hsa-mir-92a-3p共表达作用细胞黏附相关基因IBSP促进甲状腺癌发生发展的机制研究
-
批准号:2026JJ82644
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:黎蒙
-
依托单位:
梅毒螺旋体感染依赖性抗原Tp0971及外膜蛋白Tp92优势抗原表位联合VLP在梅毒疫苗中的联合应用
-
批准号:2026JJ81977
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:段君霞
-
依托单位:
非小细胞肺癌TMEM92激活cGAS-STING信号塑造炎性微环境促进免疫治疗响应的作用及机制研究
-
批准号:JCZRLH202600560
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:
-
依托单位:
光遗传学工程介导CAR-NK92细胞受控激活并靶向浸润胶质母细胞瘤免疫微环境的研究
-
批准号:82560528
-
项目类别:地区科学基金项目
-
资助金额:32.00万元
-
批准年份:2025
-
负责人:张红波
-
依托单位:
miRNA-92a-3p调控STAT3-THBS1信号通路促进氧化应激在职业性噪声暴露致血压异常中的作用机制研究
-
批准号:42507573
-
项目类别:青年科学基金项目(C类)
-
资助金额:30.00万元
-
批准年份:2025
-
负责人:李文祯
-
依托单位:
2型脱碘酶Thr92Ala多态性与DTC术后TSH抑制治疗患者脂质代谢紊乱的相关性研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:周力
-
依托单位:
FAM92A1通过参与突触内吞过程调控神经元突触可塑性机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:王亮
-
依托单位:
miR164d-HvNAC92模块调控大麦耐盐性的分子机理研究
-
批准号:32501854
-
项目类别:青年科学基金项目(C类)
-
资助金额:30.00万元
-
批准年份:2025
-
负责人:邝刘辉
-
依托单位: