CONCUR '95 - Sixth International Conference on Concurrency Theory; University of Pennsylvania; Philadelphia, PA; August 21-24, 1995
CONCUR 95 - 第六届并发理论国际会议;
基本信息
- 批准号:9501225
- 负责人:
- 金额:$ 0.5万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:1995
- 资助国家:美国
- 起止时间:1995-09-01 至 1996-02-29
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
This award supported travel expenses for student participants in CONCUR '95 -- the Sixth International Conference on Concurrency Theory, held August 21-24, 1995, in Philadelphia on the campus of the University of Pennsylvania. The purpose of CONCUR '95 was to bring together researchers, developers, and students from academia, industry, and government so that the science of concurrency theories and the technology of their applications can be advanced. The conference spans all areas of semantics, models, logics, and verification techniques for concurrent systems. Particular topics include, but are not limited to, process algebras, Petri nets, true concurrency, shared-memory and message-passing formalisms, operational and denotational semantics, programming language semantics, concurrent logic and constraint programming, fairness, temporal logics, compositional analysis techniques, model checking, verification tools, and applications. The primary goal of holding CONCUR '95 in the U.S. was to increase participation by American researchers in the area, and to encourage interaction among the various schools, both European and American, that have worked towards formal approaches to concurrency.
该奖项为参加CONCUR '95(第六届并发理论国际会议,1995年8月21日至24日在费城宾夕法尼亚大学校园举行)的学生提供旅费。CONCUR '95的目的是将来自学术界、工业界和政府的研究人员、开发人员和学生聚集在一起,从而促进并发理论的科学及其应用技术的发展。会议涵盖了并发系统的语义、模型、逻辑和验证技术的所有领域。特定的主题包括,但不限于,过程代数,Petri网,真正的并发,共享内存和消息传递形式化,操作和表意语义,编程语言语义,并发逻辑和约束编程,公平性,时间逻辑,组合分析技术,模型检查,验证工具和应用。在美国举办CONCUR '95的主要目标是增加美国研究人员在该领域的参与,并鼓励欧洲和美国的各种学校之间的互动,这些学校致力于正式的并发方法。
项目成果
期刊论文数量(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 }}
Insup Lee其他文献
Evaluation and Enhancement of an Intraoperative Insulin Infusion Protocol via In-Silico Simulation
通过计算机模拟评估和增强术中胰岛素输注方案
- DOI:
- 发表时间:
2013 - 期刊:
- 影响因子:0
- 作者:
B. Kohl;Sanjian Chen;M. Mullen;Insup Lee - 通讯作者:
Insup Lee
Distributed spatial control, global monitoring and steering of mobile agents
移动代理的分布式空间控制、全局监控和引导
- DOI:
- 发表时间:
1999 - 期刊:
- 影响因子:0
- 作者:
D. Gordon;W. Spears;O. Sokolsky;Insup Lee - 通讯作者:
Insup Lee
State Consistencies for Cyber-Physical System Recovery
信息物理系统恢复的状态一致性
- DOI:
- 发表时间:
2019 - 期刊:
- 影响因子:0
- 作者:
O. Sokolsky;James Weimer;Insup Lee - 通讯作者:
Insup Lee
Exploring the twin peaks using probabilistic verification techniques
使用概率验证技术探索双峰
- DOI:
10.1145/2593861.2593865 - 发表时间:
2014 - 期刊:
- 影响因子:0
- 作者:
A. Murugesan;Lu Feng;M. Heimdahl;Sanjai Rayadurgam;M. Whalen;Insup Lee - 通讯作者:
Insup Lee
Code generation from hybrid systems models for distributed embedded systems
从分布式嵌入式系统的混合系统模型生成代码
- DOI:
10.1109/isorc.2005.20 - 发表时间:
2005 - 期刊:
- 影响因子:0
- 作者:
M. Anand;Jesung Kim;Insup Lee - 通讯作者:
Insup Lee
Insup Lee的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Insup Lee', 18)}}的其他基金
Collaborative Research: CPS: Medium: Sensor Attack Detection and Recovery in Cyber-Physical Systems
合作研究:CPS:中:网络物理系统中的传感器攻击检测和恢复
- 批准号:
2143274 - 财政年份:2022
- 资助金额:
$ 0.5万 - 项目类别:
Standard Grant
SCC-IRG JST: Active sensing and personalized interventions for pandemic-induced social isolation
SCC-IRG JST:针对大流行引起的社会隔离的主动感知和个性化干预
- 批准号:
2125561 - 财政年份:2021
- 资助金额:
$ 0.5万 - 项目类别:
Continuing Grant
SCH: INT: Collaborative Research: Smart Alarms 2.0: Foundations for Caregiver-in-the-loop Suppression of Non-Informative Alarms
SCH:INT:协作研究:智能警报 2.0:护理人员实时抑制非信息性警报的基础
- 批准号:
1915398 - 财政年份:2019
- 资助金额:
$ 0.5万 - 项目类别:
Standard Grant
Synergy: Collaborative: Security and Privacy-Aware Cyber-Physical Systems
协同:协作:安全和隐私意识的网络物理系统
- 批准号:
1505799 - 财政年份:2015
- 资助金额:
$ 0.5万 - 项目类别:
Continuing Grant
CPS: Synergy: Collaborative Research: Trustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms
CPS:协同:协作研究:医疗应用平台以应用程序为中心的动态架构的值得信赖的组合
- 批准号:
1239324 - 财政年份:2012
- 资助金额:
$ 0.5万 - 项目类别:
Standard Grant
Assurance Cases for a Physiologically Closed-Loop PCA Systems
生理闭环 PCA 系统的保证案例
- 批准号:
1042829 - 财政年份:2010
- 资助金额:
$ 0.5万 - 项目类别:
Standard Grant
CPS: Large: Assuring the Safety, Security and Reliability of Medical Device Cyber Physical Systems
CPS:大型:确保医疗器械信息物理系统的安全性、保密性和可靠性
- 批准号:
1035715 - 财政年份:2010
- 资助金额:
$ 0.5万 - 项目类别:
Continuing Grant
CPS:Medium:Collaborative Research: Infrastructure and Technology Innovations for Medical Device Coordination
CPS:中:协作研究:医疗设备协调的基础设施和技术创新
- 批准号:
0930647 - 财政年份:2009
- 资助金额:
$ 0.5万 - 项目类别:
Standard Grant
CSR-EHCS(CPS) TM: Robust Composition and Interoperability of CPS Components
CSR-EHCS(CPS) TM:CPS 组件的稳健组合和互操作性
- 批准号:
0834524 - 财政年份:2008
- 资助金额:
$ 0.5万 - 项目类别:
Standard Grant
CT-ISG: Collaborative Research: Massive Dataset Algorithmics for Network Security
CT-ISG:协作研究:网络安全的海量数据集算法
- 批准号:
0716172 - 财政年份:2007
- 资助金额:
$ 0.5万 - 项目类别:
Continuing Grant
相似国自然基金
A95氧化铝陶瓷冲击破坏的力学行为研究
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
肾间质成纤维细胞分泌CD95L诱发移行上皮失巢凋亡介导肾乳头钙斑裸露的机制研究
- 批准号:2025JJ60680
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于Kla乳酸化修饰调节Acr/PSD95-NMDA通路研究青阳参皂苷治疗抑郁症作用机制
- 批准号:2025JJ80121
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于NMDA/PSD-95/nNOS通路探究电针调控孤束核神经递质5-HT、NMDAR改善卒中后吞咽障碍的机制研究
- 批准号:2025JJ90095
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
RNA结合蛋白AKAP95调控MLL白血病发生的分子机制研究
- 批准号:32300444
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
星形胶质细胞通过PSD-95/NMDA通路促进难治性慢性咳嗽中枢高敏感的机制研究
- 批准号:82300127
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
NMDAR-PSD-95-nNOS信号轴调控氧化应激在脑梗死后脊髓神经元死亡的机制研究
- 批准号:82301502
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
miR-95-3p/GDF9/SMAD信号轴介导CXCR7抑制甲状腺癌谷氨酰胺代谢及肿瘤进展的机制研究
- 批准号:LQ23H160050
- 批准年份:2023
- 资助金额:0.0 万元
- 项目类别:省市级项目
小麦生物节律钟基因TaPRR95功能分析及遗传调控网络研究
- 批准号:
- 批准年份:2022
- 资助金额:54 万元
- 项目类别:面上项目
基于CD95L/Caspase-8/NLRP3途径探讨T细胞驱动主动脉内皮细胞焦亡促进腹主动脉瘤的机制
- 批准号:82260102
- 批准年份:2022
- 资助金额:33 万元
- 项目类别:地区科学基金项目
相似海外基金
An innovative, AI-driven prehabilitation platform that increases adherence, enhances post-treatment outcomes by at least 50%, and provides cost savings of 95%.
%20创新、%20AI驱动%20康复%20平台%20%20增加%20依从性、%20增强%20治疗后%20结果%20by%20at%20至少%2050%、%20和%20提供%20成本%20节省%20of%2095%
- 批准号:
10057526 - 财政年份:2023
- 资助金额:
$ 0.5万 - 项目类别:
Grant for R&D
An innovative AI-powered system to reduce the cost of monitoring IP portfolios for infringement and monetisation opportunities by approximately 95%
%20创新%20AI驱动的%20系统%20到%20减少%20%20成本%20的%20监控%20IP%20投资组合%20%20侵权%20和%20货币化%20机会%20by%20约%2095%
- 批准号:
10084091 - 财政年份:2023
- 资助金额:
$ 0.5万 - 项目类别:
Collaborative R&D
RAPID: Impact of Highway Infrastructure Failures on Transit Usage: The Case of the 11 June 2023 I-95 Bridge Collapse in Philadelphia, Pennsylvania
RAPID:高速公路基础设施故障对交通使用的影响:以 2023 年 6 月 11 日宾夕法尼亚州费城 I-95 大桥倒塌事件为例
- 批准号:
2333548 - 财政年份:2023
- 资助金额:
$ 0.5万 - 项目类别:
Standard Grant
Role of PSD-95-linked PDE4A5 in Regulation of AMPA Receptors
PSD-95 连接的 PDE4A5 在 AMPA 受体调节中的作用
- 批准号:
10829146 - 财政年份:2023
- 资助金额:
$ 0.5万 - 项目类别:
The Luma West Cardiac Detector - A First of Class Device to Diagnose/Exclude Cardiac Arrest with 95% Accuracy & within 5 Seconds, Saving up to 14,700 UK Lives Annually and 1.75m Worldwide.
%20Luma%20West%20Cardiac%20Detector%20-%20A%20First%20of%20Class%20Device%20to%20Diagnose/Exclusion%20Cardiac%20Arrest%20with%2095%%20Accuracy%20
- 批准号:
10056124 - 财政年份:2023
- 资助金额:
$ 0.5万 - 项目类别:
Collaborative R&D
Oligodendrocyte Lineage Cell Mechanisms of Axon Selection for Myelination
少突胶质细胞系髓鞘形成轴突选择的细胞机制
- 批准号:
10549724 - 财政年份:2022
- 资助金额:
$ 0.5万 - 项目类别:
抗てんかん作用の発揮を目指したLGI1-ADAM22複合体の形成制御機構の解明
阐明LGI1-ADAM22复合物的形成控制机制,旨在发挥抗癫痫作用
- 批准号:
22K06451 - 财政年份:2022
- 资助金额:
$ 0.5万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
PSD-95 Regulates HCN Channels and Neuronal Excitability in the Substantia Nigra
PSD-95 调节黑质中的 HCN 通道和神经元兴奋性
- 批准号:
574926-2022 - 财政年份:2022
- 资助金额:
$ 0.5万 - 项目类别:
University Undergraduate Student Research Awards
Investigating a novel pathway regulating dendritic spine pruning in Fmr1 knock out mice
研究调节 Fmr1 敲除小鼠树突棘修剪的新途径
- 批准号:
468160 - 财政年份:2022
- 资助金额:
$ 0.5万 - 项目类别:
Operating Grants
AI-based automatic inspection and rejection system for textile manufacturing reducing waste by 95% and increasing production line efficiency by up to 100%.
基于人工智能的%20自动%20检查%20和%20拒绝%20系统%20用于%20纺织%20制造%20减少%20浪费%20by%2095%%20和%20增加%20生产%20生产线%20效率%20by%20up%20至%20100%。
- 批准号:
10034943 - 财政年份:2022
- 资助金额:
$ 0.5万 - 项目类别:
Collaborative R&D