变量

线性预测函数在统计学和机器学习中，线性预测函数是一组系数和解释变量（自变量）的线性函数（线性组合），其值用于预测因变量的结果。这类函数通常出现在线...

简介机器学习中的公平性指的是在基于机器学习模型的自动化决策过程中纠正算法偏差的各种尝试。如果计算机在机器学习过程后做出的决定是基于被认为是敏感的变...

基于能量的模型基于能量的模型（EBM）是一种直接从统计物理学中导入学习的生成模型（GM）形式。GM通过分析一个样本数据集来学习一个基础数据分布。一旦经过训...

EM算法和GMM模型在统计学中，EM（期望最大化）算法处理潜变量，而GMM是高斯混合模型。背景在下面的图片中，显示了两组人的红细胞血红蛋白浓度和红细胞体积数...

条件随机场条件随机场（CRF）是一类统计建模方法，经常应用于模式识别和机器学习，并用于结构化预测。分类器预测单个样本的标签而不考虑相邻的样本，而CRF可...

算法推理算法推理收集了统计推理方法的新发展，这些方法因任何数据分析者广泛使用的强大计算设备而变得可行。这个领域的基石是计算学习理论、颗粒计算、生物...

简介一个数据集的内在维度可以被认为是数据的最小表示中所需要的变量数量。同样地，在多维信号的处理中，信号的内在维度描述了需要多少变量来产生信号的良好...

图形切割优化图形切割优化是一种适用于离散变量函数系列的组合优化方法，以流动网络理论中的切割概念命名。由于xxx流量最小切割定理，确定代表流量网络的图形...

替换（逻辑）替换是逻辑学中的一个基本概念。替换是形式表达式上的一种句法转换。对一个表达式应用替换意味着用其他表达式持续替换其变量或占位符。由此产生...

变量（计算机科学）在计算机编程中，变量是一个抽象的存储位置，与一个相关的符号名称配对，它包含一些被称为值的已知或未知的信息量；或者用更简单的话说，...

次结构类型系统次结构类型系统是一个类似于次结构逻辑的类型系统家族，其中一个或多个结构规则不存在或只在受控情况下允许存在。这类系统通过跟踪发生的状态...

ST类型理论下面的系统是门德尔森(1997,289-293)的ST类型理论。ST相当于罗素的夯实理论加上还原性公理。量化的领域被划分为类型的升序层次，所有的个体都被赋...

可空类型可空类型是一些编程语言的特点，它允许一个值被设置为特殊值NULL，而不是数据类型的通常可能的值。在静态类型的语言中，可空类型是一个选项类型，而...

枚举类型在计算机编程中，枚举类型（在R编程语言中也称为枚举、枚举或因子，在统计学中称为分类变量）是一种数据类型，由一组被称为该类型的元素、成员、枚举...

共变和反变（计算机科学）许多编程语言类型系统支持子类型化。差异是指更复杂的类型之间的子类型与它们的组成部分之间的子类型的关系。根据类型构造函数的不...

简介流图是一种与一组线性代数或微分方程相关的数字图的形式。信号流图是一个由有向分支相互连接的节点（或点）的网络，代表一组线性代数方程。流图中的节点...

简介在统计学中，不确定度的传播（或误差的传播）是指变量的不确定度（或误差，更具体地说是随机误差）对基于它们的函数的不确定度的影响。当变量是实验测量...

什么是离散化在应用数学中，离散化是将连续函数、模型、变量和方程转变成离散对应物的过程。这个过程通常是作为使它们适合数字评估和在数字计算机上实现的xxx...

统一（计算机科学）在逻辑学和计算机科学中，统一是解决符号表达式之间方程的一个算法过程。根据哪些表达式（也叫术语）允许出现在方程组中（也叫统一问题）...

简介Tseytin变换，也可以写成Tseitin变换，把一个任意的组合逻辑电路作为输入，产生一个共轭正常形式（CNF）的布尔公式，可以用CNF-SAT求解器来解决。公式的...

Q0（数学逻辑）Q0是彼得-安德鲁斯（PeterAndrews）对简单类型的羔羊皮微积分的表述，为数学提供了一个可与一阶逻辑加集合论相媲美的基础。它是高阶逻辑的一种...

纠缠的一元性在量子物理学中，量子纠缠的一元性指的是它不能在任意多的一方之间自由分享的基本属性。为了使两个量子比特A和Bxxx限度地纠缠在一起，它们必须不...

什么是图的属性在图论中，图的属性或图的不变性是图的一种属性，它只取决于抽象结构，而不取决于图的表示，如特定的标记或图的画法。图的属性的定义虽然图画...

Lustre（编程语言）Lustre是一种正式定义的、声明性的、同步的数据流编程语言，用于为反应式系统编程。它在20世纪80年代初作为一个研究项目开始。该语言的正...

循环不变量在计算机科学中，循环不变量是程序循环的一个属性，在每次迭代之前（和之后）都是真的。它是一个逻辑断言，有时在代码中通过断言调用来检查。知道...

字面运动语法在语言学和理论计算机科学中，字面运动语法（LMG）是一种语法形式主义，旨在描述自然语言的某些外置现象，如主题化和跨序列依赖。LMG通过引入模...

XOR交换算法在计算机编程中，独占或交换（有时简称为XOR交换）是一种使用独占或位操作来交换两个变量的值的算法，而不使用通常需要的临时变量。该算法主要是...

耦合DEVS的仿真算法给定一个耦合DEVS模型，仿真算法是产生模型合法行为的方法，它是一组不会达到非法状态的轨迹。(见耦合DEVS模型的行为。)[Zeigler84]最初介...

模式语言（形式语言）在理论计算机科学中，模式语言是一种形式语言，可以定义为一串常量和变量的所有特定实例的集合。模式语言是由DanaAngluin在机器学习的背...

颗粒计算颗粒计算(GrC)是一种新兴的信息处理计算范式，涉及被称为信息颗粒的复杂信息实体的处理，这些实体在数据抽象和从信息或数据推导知识的过程中出现。一...