Stable Results and Relative Normalization

JOHN GLAUERT; RICHARD KENNAWAY; ZURAB KHASIDASHVILI

首页> 外文期刊>Journal of logic and computation >Stable Results and Relative Normalization

【24h】

Stable Results and Relative Normalization

机译：稳定的结果和相对标准化

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

In orthogonal expression reduction systems, a common generalization of term rewriting and λ-calculus, we extend the concepts of normalization and needed reduction by considering, instead of the set of normal forms, a set S of 'results'. When S satisfies some simple axioms which we call stability, we prove the corresponding generalizations of some fundamental theorems: the existence of needed reduction, that needed reduction is normalizing, the existence of minimal normalizing reductions, and the optimality theorem.

机译：在正交表达式归约系统（术语重写和λ演算的通用概括）中，我们通过考虑“结果”的集合S（而不是正规集）来扩展归一化和需要归约的概念。当S满足一些我们称为稳定性的简单公理时，我们证明了一些基本定理的对应推广：所需约简的存在，所需约简的归一化，最小归一化约简的存在以及最优性定理。

著录项

来源
《Journal of logic and computation》 |2000年第3期|p.323-348|共26页
作者
JOHN GLAUERT; RICHARD KENNAWAY; ZURAB KHASIDASHVILI;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词
Rewrite systems; normalizing strtegy; needed reduction;

机译：重写系统;规范化策略;需要减少;

相似文献

外文文献
中文文献
专利

1. Performance of Standardized Relative CBV for Quantifying Regional Histologic Tumor Burden in Recurrent High-Grade Glioma: Comparison against Normalized Relative CBV Using Image-Localized Stereotactic Biopsies [J] . Hoxworth J. M., Eschbacher J. M., Gonzales A. C., AJNR. American journal of neuroradiology . 2020,第3期

机译：用于量化高等胶质瘤中的区域组织学肿瘤负担的标准化相对CBV的性能：使用图像局部化立体传递活组织检查对归一化相对CBV的比较
2. Intensity normalization in the analysis of functional DaTSCAN SPECT images: The alpha-stable distribution-based normalization method vs other approaches [J] . Padilla P., Gorriz J. M., Ramirez J., Neurocomputing . 2015,第feba20ptaa期

机译：功能性DaTSCAN SPECT图像分析中的强度归一化：基于alpha稳定分布的归一化方法与其他方法
3. A Novel Radiometric Control Set Sample Selection Strategy for Relative Radiometric Normalization of Multitemporal Satellite Images [J] . Moghimi Armin, Mohammadzadeh Ali, Celik Turgay, IEEE Transactions on Geoscience and Remote Sensing . 2021,第3期

机译：多型卫星图像相对辐射归尺度的一种新型辐射测量控制集样策略
4. Relative performance of two-dimensional speckle-tracking techniques: normalized correlation, non-normalized correlation and sum-absolute-difference [C] . Friemel, B.H., Bohs, . 1995

机译：二维散斑跟踪技术的相对性能：归一化相关，非归一化相关和绝对和差
5. Quantifying burn severity in a heterogeneous landscape: A comparison of the differenced Normalized Burn Ratio and the Relative differenced Normalized Burn Ratio in the Grand Canyon National Park, Arizona [D] . Pabst, Kari Lee. 2010

机译：量化异质景观中的燃烧严重程度：比较亚利桑那州大峡谷国家公园的标准化归一化比率与相对差异化归一化比率
6. Performance of Standardized Relative CBV for Quantifying Regional Histologic Tumor Burden in Recurrent High-Grade Glioma: Comparison against Normalized Relative CBV Using Image-Localized Stereotactic Biopsies [O] . J.M. Hoxworth, J.M. Eschbacher, A.C. Gonzales, 2020

机译：标准化相对CBV的性能用于定量复发性高等胶质瘤中的区域组织学肿瘤负荷：使用图像局部化立体定向活组织检查对归一化相对CBV的比较
7. Figure 6: Relative expression levels of GI under different experimental conditions normalized by the most stable RG combination, the most stable gene and the most unstable gene. [O] . -1

机译：图6：通过最稳定的RG组合，最稳定的基因和最不稳定的基因标准化不同的实验条件下的相对表达水平。

Stable Results and Relative Normalization

摘要

著录项

相似文献

相关主题

期刊订阅