• 卡帕拉布

  • 引用42篇文章[sw06086]
  • 著名的Moebius转型,以及其他相等的函数的表示也可以。。。
  • 盖尔达

  • 参考第33条[sw00331]
  • 局部不变量变换系统(1)变成相等的没有奇怪的DAE。。。
  • CFSF公司

  • 参考7篇文章[sw13927]
  • 连续分数尾数,表演等价 转换宫缩等等。开发的包。。。
  • 纳24

  • 在14篇文章中引用[sw11485]
  • 几个一维Moreau包络变换然后减少暴力平方最坏。。。使用等价以快速的勒让德转换算法,计算。。。
  • 猫鼬

  • 参考6篇文章[sw14840]
  • 理想的程度,对吧-等价那个变换给定的展开成它的正常形式。。。
  • 塔克++

  • 引用3篇文章[sw01438]
  • 介绍了软件工具的开发转化在C++(TAC++)中的自动。。。从其成熟的Fortran中得到的算法相等的,转化Fortran(TAF)中的算法。TAC++功能。。。
  • 翻转

  • 参考7篇文章[sw00299]
  • 第一反问题转变它变成了一个相等的(超定)最小二乘问题。。。
  • 快速

  • 引用3篇文章[sw31729]
  • FastMMD的核心思想是等价地 转型具有移位不变核的MMD。。。
  • 王牌

  • 引用8篇文章[sw22675号]
  • 功能程序。这个函数是转化变成非递归的相等的根据Carthy的递归。。。复杂性不是一个可判定的属性,这转型不可能在所有情况下。。。
  • SQEMA公司

  • 在38篇文章中引用[sw03056]
  • 一阶计算的SQEMA算法等价物并证明了模态公式的正则性,从而。。。正则完全性结果。SQEMA基于转型规则,其中最重要的是。。。
  • 科瓦茨

  • 参考7篇文章[sw21472]
  • 证明程序等价及其在自动检定中的应用转换通过优化编译器来执行。。。
  • 放帆!

  • 引用2篇文章[sw06371]
  • 学生学习的在线学习应用程序转型集合代数中的术语。有几个。。。证明等价. 在每个步骤中,首先要选择一个规则。。。学习者不是被迫的转型这个等价从右到右。。。甚至可能转换在两个方向平行,可以看到。。。
  • 进化

  • 引用4篇文章[sw02677]
  • 文中我们用转变它变成了一个相等的正常逻辑程序结束。。。实施。然后我们证明转型是健全的和完整的和检查。。。
  • 详图2

  • 参考第5条[sw05102]
  • 建模工具DET2STO是一种变换一个模型的随机版本。。。MathProg转化为确定性相等的以完全自动化的方式。它输出一个模型文件。。。这个转型结果产生了一个新的数学规划问题,命名为确定性相等的,这。。。
  • TVOC公司

  • 引用19篇文章[sw02521]
  • 给定源程序,TVOC证明等价目标代码和目标代码。。。验证过程:第一阶段验证回路变换使用证明规则置换;第二个。。。
  • 庚醇

  • 引用3篇文章[sw30615]
  • 在(chi{mathrm{o}})内-等价类可以是转化通过彼此的能量场。。。生成矩阵数(赞美诗)并介绍赞美诗等价类。这些发现已经被总结。。。
  • 证书加密

  • 参考6篇文章[sw09443]
  • 语言工具(观察等价关系霍尔逻辑,语义保持程序转换)协助建造。。。
  • XYZ/SE公司

  • 引用2篇文章[sw03027]
  • 每个XYZ/BE程序都可以转化变成一个相等的XYZ/SE程序。所以我们开发了。。。
  • 比希德

  • 引用9篇文章[sw12667]
  • 程序定义了文档和变换一份文件交给另一份。。。相等的表达式,和(3)允许非线性模式变量来表示非平凡的转换那个。。。
  • 引用15篇文章[sw02075]
  • 应用程序。一个自动变换介绍了SystemC的PLC软件。综合流程。。。应用于PLC程序的验证。等价应用检查和属性检查。。。