SHF: Small: Collaborative Research: Designing a Programming Language for Patient-Oriented Prescriptions
SHF: Small: Collaborative Research: Designing a Programming Language for Patient-Oriented Prescriptions
批准号:
1526324
负责人:
Matthew Flatt
金额:
$12.0万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2015
资助国家:
美国
项目状态:
已结题
起止时间:
2015-09-01 至 2018-08-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Title: SHF: Small: Collaborative Research: Designing a Programming Language for Patient-Oriented PrescriptionsMedical errors in hospitals cause 2 to 4 million patient injuries and 440,000 deaths in US hospitals annually; this amounts to one-sixth of annual US deaths. Despite the expenditure of billions of dollars, computerization has failed to solve this problem. This failure can be attributed to a pervasive misunderstanding of the nature of healthcare prescriptions. This project conceptualizes prescriptions as programs and uses this essential insight to make significant progress in reducing medical error. The intellectual merits of this project include new insights regarding the building and maintenance of domain-specific languages and new general methods for developing high-reliability software that facilitates collaboration between machines and humans. The project's broader significance and importance is the development of powerful tools for improving the efficacy and safety of healthcare in the US. The main upshots are to give clinicians a public-domain, open-source framework for designing, creating, debugging, and tackling a broad array of prescriptions for managing medical problems; give researchers tools for acquiring data about the effect of healthcare interventions; and eventually to provide a simple, inexpensive means for conducting cohort studies, statistical process control trials, and randomized controlled trials.The project is designing and building the Patient-Oriented Prescription Programming Language (POP-PL) with the goal of using software engineering techniques to implement and maintain highly reliable electronic prescriptions. The research leads to new approaches to event-based programming, new type systems and analyses to find medical error, new debugging and iterative refinement techniques to improve reliability of prescriptions and programs generally, and new ways to conceptualize staged programming based on the staging that already occurs in medical care.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: HNDS-I:SweetPea: Automating the Implementation and Documentation of Unbiased Experimental Designs
-
批准号:2318550
-
项目类别:Standard Grant
-
资助金额:$31.99万
-
财政年份:2023
-
负责人:Matthew Flatt
-
依托单位:
SHF:Small:A Domain-Specific Language for Designing Cognitive-Science Experiments
-
批准号:1813123
-
项目类别:Standard Grant
-
资助金额:$42.36万
-
财政年份:2018
-
负责人:Matthew Flatt
-
依托单位:
CI-EN: Collaborative: Run Your Research with Redex
-
批准号:1405961
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:2014
-
负责人:Matthew Flatt
-
依托单位:
SHF: Small: Collaborative Research: Designing a Patient-Oriented Prescription Language: An Executable Medical Algorithm for Gestational Diabetes Mellitus
-
批准号:1218103
-
项目类别:Standard Grant
-
资助金额:$2.49万
-
财政年份:2012
-
负责人:Matthew Flatt
-
依托单位:
SHF: Small: An Extensible Gradual Type System via Compile-Time Meta-Programming
-
批准号:0914759
-
项目类别:Standard Grant
-
资助金额:$41.86万
-
财政年份:2009
-
负责人:Matthew Flatt
-
依托单位:
SoD: Language Towers as Design Frameworks
-
批准号:0438847
-
项目类别:Standard Grant
-
资助金额:$18.0万
-
财政年份:2005
-
负责人:Matthew Flatt
-
依托单位:
PDOS: Experimenting with Garbage Collection in an Otherwise Conventional OS
-
批准号:0509526
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2005
-
负责人:Matthew Flatt
-
依托单位:
Collaborative Research: EHS: Components and Aspects for Embedded Middleware
-
批准号:0410285
-
项目类别:Continuing Grant
-
资助金额:$36.0万
-
财政年份:2004
-
负责人:Matthew Flatt
-
依托单位:
Collaborative: Exploiting Component Contracts for Static Analysis and Testing
-
批准号:0306286
-
项目类别:Standard Grant
-
资助金额:$16.0万
-
财政年份:2003
-
负责人:Matthew Flatt
-
依托单位:
国内基金
海外基金
登录
查看更多内容
昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:
-
依托单位:
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:10.0万元
-
批准年份:2022
-
负责人:张祥忠
-
依托单位:
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
-
批准号:32000033
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:林平
-
依托单位:
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
-
批准号:31972324
-
项目类别:面上项目
-
资助金额:58.0万元
-
批准年份:2019
-
负责人:高学文
-
依托单位:
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
-
批准号:81900988
-
项目类别:青年科学基金项目
-
资助金额:21.0万元
-
批准年份:2019
-
负责人:毛梦莹
-
依托单位:
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
-
批准号:31870821
-
项目类别:面上项目
-
资助金额:56.0万元
-
批准年份:2018
-
负责人:陈江宁
-
依托单位:
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
-
批准号:31802058
-
项目类别:青年科学基金项目
-
资助金额:26.0万元
-
批准年份:2018
-
负责人:麻慧
-
依托单位:
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
-
批准号:31772128
-
项目类别:面上项目
-
资助金额:60.0万元
-
批准年份:2017
-
负责人:吴建国
-
依托单位:
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
-
批准号:81704176
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2017
-
负责人:赵继梦
-
依托单位:
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
-
批准号:91640114
-
项目类别:重大研究计划
-
资助金额:85.0万元
-
批准年份:2016
-
负责人:何祖华
-
依托单位: