首页> 外文OA文献 >Enhancement of automated static verification efficiency through manual quantifiers instantiation

【2h】

Enhancement of automated static verification efficiency through manual quantifiers instantiation

机译：通过手动量化实例化提高自动化静态验证效率

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Denis Buzdalov;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Fully automated whole-liver volume quantification on CT-image data: Comparison with manual volumetry using enhanced and unenhanced images as well as two different radiation dose levels and two reconstruction kernels [J] . Florian Hagen, Antonia Mair, Michael Bitzer, PLoS One . 2021,第8期

机译：CT图像数据完全自动化的全肝体积定量：与使用增强和未加素图像以及两种不同的辐射剂量水平和两个重建内核的手动体积比较
2. Reproducibility of manual and semi-automated late enhancement quantification in patients with Fabry disease. [J] . Wolfram Machann, Oliver Geier, Sabrina Koeppe, Acta Radiologica . 2014,第2期

机译：Fabry病患者手动和半自动后期增强定量的可重复性。
3. Fuzzy-logic, manual and semi-automated 2SD-based approaches for quantification of myocardial necrosis from late contrast enhancement magnetic resonance images: comparison with biochemical assessment of infarct size and left ventricular volumes and functio [J] . Nicolas Baron Journal of cardiovascular magnetic resonance : . 2011,第Suppla1期

机译：基于模糊逻辑，手动和半自动的基于2SD的方法从晚期对比增强磁共振图像中量化心肌坏死：与梗死面积，左心室容积和功能的生化评估比较
4. IMPROVEMENTS TO THE RIETVELD QUANTIFICATION OF TYPE Ⅰ/Ⅱ CLINKERS FOR MANUAL AND AUTOMATED ANALYSIS [C] . M. G. Ramnath, Anol Mukhopadhyay International conference on cement microscopy . 2018

机译：手工和自动分析的Ⅰ/Ⅱ型熟料的RIETVELD定量化的改进
5. Enhancing Patrol Management Strategy and Deployment Efficiency of Police Managers by Utilizing Automated Vehicle Locator (AVL) Technology [D] . Jones, Gregory J. 2018

机译：利用自动车辆定位器（AVL）技术提高警务人员的巡逻管理策略和部署效率
6. Fuzzy-logic manual and semi-automated 2SD-based approaches for quantification of myocardial necrosis from late contrast enhancement magnetic resonance images: comparison with biochemical assessment of infarct size and left ventricular volumes and function early after myocardial infarction [O] . Nicolas Baron 2011

机译：基于模糊逻辑手动和半自动基于2SD的方法从晚期对比增强磁共振图像中定量心肌坏死：与心肌梗塞后早期梗死面积左心室容积和功能的生化评估进行比较
7. Fuzzy-logic, manual and semi-automated 2SD-based approaches for quantification of myocardial necrosis from late contrast enhancement magnetic resonance images: comparison with biochemical assessment of infarct size and left ventricular volumes and function early after myocardial infarction [O] . Nicolas Baron 2011

机译：基于模糊逻辑，手动和半自动基于2SD的方法从晚期对比增强磁共振图像中定量心肌坏死：与心肌梗塞后早期梗死面积，左心室容积和功能的生化评估进行比较
8. Deciding Quantifier-Free Presburger Formulas using Finite Instantiation based on Parameterized Solution Bounds [R] . Seshia, S. A. , Bryant, R. E. 2003

机译：基于参数化解边界的有限实例确定无量词预分类公式

Enhancement of automated static verification efficiency through manual quantifiers instantiation

著录项

引文网络

相似文献

相关主题

期刊订阅