2014 CPS Medical Devices Workshop Travel Support
2014 CPS Medical Devices Workshop Travel Support
批准号:
1430010
负责人:
Scott Smolka
金额:
$4.99万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2014
资助国家:
美国
项目状态:
已结题
起止时间:
2014-03-15 至 2017-02-28
中文摘要
点击翻译按钮获取中文摘要
英文摘要
This proposal provides for travel of participants of the 2014 CPS Workshop on Medical Frontiers in Research. The workshop is bringing together multi-disciplinary experts from industry, academia, and government to discuss future CPS research challenges in this space. The participants are expert in the foundational science, engineering, and technology underlying next-generation cyber-physical systems, particularly in the context of the application domain of medicine, including medical devices. Through sessions on CPS research in sensing, diagnosis, and prosthetics, the attendees are defining a compelling research agenda in an area of scientific, technical, and engineering exploration that has tremendous societal impact.
期刊论文(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
-
依托单位:
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
-
依托单位:
Concur '92--Third International Conference on Concurrency Theory in Stony Brook, NY on August 24-27, 1992
-
批准号:9201450
-
项目类别:Standard Grant
-
资助金额:$1.17万
-
财政年份:1992
-
负责人:Scott Smolka
-
依托单位:
Livelock, Lockout, and Liveness in Networks of CommunicatingFinite-State Processes
-
批准号:8505873
-
项目类别:Continuing Grant
-
资助金额:$8.09万
-
财政年份:1985
-
负责人:Scott Smolka
-
依托单位:
国内基金
海外基金
登录
查看更多内容
生物炭粒子电极协同3D电化学体系活化PS的调控机制及氧化降解CPs的机理
-
批准号:2026JJ50483
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:秦蕾
-
依托单位:
面向CPS的混杂时空系统数据建模及其在机器人中的应用
-
批准号:JCZRMS202600637
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:
-
依托单位:
细梗香草活性成分CPS-B靶向MARCHF3/NEU4/CDH11通路抑制宫颈癌侵袭转移的作用机制研究
-
批准号:HDMZ25H280006
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:胡兴江
-
依托单位:
肺炎克雷伯菌WaaLCPS连接酶相关的CPS-LPS合成通路及致病机制的研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:何平
-
依托单位:
基于自动深度学习的电力CPS入侵检测及安全性提升方法研究
-
批准号:Z25F030003
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:曾国强
-
依托单位:
先锋转录因子FOXA2调控CPS1介导尿素循环在急性肝衰竭肝性脑病中的机制研究
-
批准号:82300699
-
项目类别:青年科学基金项目
-
资助金额:30.00万元
-
批准年份:2023
-
负责人:冯日露
-
依托单位:
代谢酶CPS1调控PD-L1表达重塑肝癌免疫微环境的作用及机制研究
-
批准号:82303340
-
项目类别:青年科学基金项目
-
资助金额:30.00万元
-
批准年份:2023
-
负责人:吴彤
-
依托单位:
CPs/MOFs介导多烯衍生物拓扑光聚合的高立体选择性构建策略研究
-
批准号:22361004
-
项目类别:地区科学基金项目
-
资助金额:32万元
-
批准年份:2023
-
负责人:胡飞龙
-
依托单位:
尿素循环关键酶CPS1表达异常在肺癌转移中的作用和机制研究
-
批准号:82273390
-
项目类别:面上项目
-
资助金额:52万元
-
批准年份:2022
-
负责人:廖鲁剑
-
依托单位:
CPS 仿真中离散事件模型与连续时间模型的分布式协同运行问题研究
-
批准号:2022JJ40559
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2022
-
负责人:王鹏
-
依托单位: