Cancer treatment planning: Formal methods to the rescue

机译：癌症治疗计划：挽救的正式方法

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

This paper describes the ongoing development of ATTENTION, a new kind of clinical decision support system for synthesizing and managing longitudinal treatment plans, such as cancer treatment plans. ATTENTION combines stateof- the-art formal modeling and constraint solving with clinical information systems to synthesize complex cancer treatment plans that are also executable.

机译：本文介绍了ATTENTION的持续开发情况，这是一种用于综合和管理纵向治疗计划（例如癌症治疗计划）的新型临床决策支持系统。注意将最先进的形式化建模和约束解决方案与临床信息系统相结合，以综合执行复杂的癌症治疗计划。

著录项

来源
《Software Engineering in Health Care (SEHC), 2012 4th International Workshop on》|2012年|p.19- 25|共7页
会议地点 Zurich(CH)
作者
Mathe Janos; Sztipanovits Janos; Levy Mia; Jackson Ethan K.; Schulte Wolfram;
展开▼
作者单位

Institute for Software Integrated Systems, Vanderbilt University, TN, USA;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类软件工程;
关键词

相似文献

外文文献
中文文献
专利

1. Formal methods for prostate cancer Gleason score and treatment prediction using radiomic biomarkers [J] . Brunese Luca, Mercaldo Francesco, Reginelli Alfonso, Magnetic resonance imaging: An International journal of basic research and clinical applications . 2020,第1期

机译：前列腺癌的正式方法，使用射致生物标志物进行Glose Acen评分和治疗预测
2. Security Issues in the 5G Standard and How Formal Methods Come to the Rescue [J] . Lucca Hirschi, Ralf Sasse, Jannik Dreier ERCIM News . 2019,第1期

机译：5G标准中的安全性问题以及如何挽救正式方法
3. Security Issues in the 5G Standard and How Formal Methods Come to the Rescue [J] . Lucca Hirschi, Ralf Sasse, Jannik Dreier ERCIM News . 2019,第1期

机译：5G标准中的安全性问题以及如何挽救正式方法
4. Cancer treatment planning: Formal methods to the rescue [C] . Mathe Janos, Sztipanovits Janos, Levy Mia, International Workshop on Software Engineering in Health Care;International Conference on Software Engineering . 2012

机译：癌症治疗计划：救援的正式方法
5. Developing Conditional Protein Rescue for Synthetic Proten-Based Logic Circuits Towards the Detection and Treatment of Cancer [D] . Gaynor, Andrew S. 2020

机译：开发条件蛋白拯救用于合成蛋白基逻辑电路朝向癌症的检测和治疗
6. Real-time adaptive planning method for radiotherapy treatment delivery for prostate cancer patients based on a library of plans accounting for possible anatomy configuration changes [O] . Maria Antico, Peter Prinsen, Francesco Cellini, -1

机译：基于说明可能的解剖结构变化的计划库针对前列腺癌患者进行放射治疗的实时自适应计划方法
7. Cancer Treatment Planning: Formal Methods to the Rescue [O] . Janos Mathe, Janos Sztipanovits, Mia Levy, 2013

机译：癌症治疗计划：救援的正式方法
8. AKT Rescue in Cardiomyocytes but not Breast Cancer Cells after Doxorubicin and Anti-erbB2 Treatment [R] . Gabrielson, K. 2007

机译：阿霉素和抗erbB2治疗后aKT拯救心肌细胞而非乳腺癌细胞

Cancer treatment planning: Formal methods to the rescue

摘要

著录项

相似文献

相关主题

期刊订阅