• 绿洲

  • 引用94篇文章[sw30082]
  • 地震勘探合成.oase是一个通用计算机代码建模地震声传播。。。
  • 鲁棒控制工具箱

  • 引用156篇文章[sw07907]
  • 分析工厂的影响模型控制系统性能的不确定性,并识别最坏情况…不确定因素。H-无穷和mu-合成技术可以让你设计控制器,最大限度地提高控制器的鲁棒性模型。您还可以调整增益调度控制器。。。
  • 棱镜游戏

  • 参考22篇文章[sw12934]
  • 玩家游戏,支持建模,自动验证和策略合成对于具有竞争性的概率系统。。。
  • 发光

  • 参考22篇文章[sw34245]
  • 具有可逆的1x1卷积。基于流的生成模型(Dinh et al.,2014)在概念上具有吸引力……推理,以及训练和合成在这篇论文中,我们提出了发光…最引人注目的是,我们证明了模型针对普通对数可能性目标进行优化…看起来很逼真合成以及对大图像的操作。我们的代码模型是可用的。。。
  • MCGP公司

  • 引用15篇文章[sw00562]
  • 修正代码,基于合成结合深度的方法模型检查和遗传编程。给…从深层的结果构造模型检查一个适应度函数…它们对合成进程。。。
  • 违反

  • 在26篇文章中引用【sw20822】
  • Breach,验证和参数的工具箱合成混合动力系统。我们描述了破解……旨在分析确定性的技术模型混合动力系统。主要特征…执行近似可达性分析和参数合成一个主要的新特性是对复杂非线性的鲁棒监控分析模型从系统生物学。。。
  • LPV工具

  • 引用5篇文章[sw38669]
  • LPVTools:一个用于建模、分析和合成变参数控制系统。本文…的功能和工具模型还原,分析,合成以及LPV系统的仿真。最后。。。
  • 刮匙

  • 引用48篇文章【sw13762】
  • 近期BRDF模型:奥伦纳亚尔模型以及Koenderink等人的陈述。这些BRDF…用于图像分析和图像处理合成.3)BTF(双向纹理函数)数据库。。。
  • 苏格兰人

  • 引用了20篇文章[sw20172]
  • 自动控制器合成基于符号的非线性控制系统模型,也称为离散。。。
  • 上云母

  • 引用19篇文章[sw18546]
  • 验证,合成并对离散事件系统进行了仿真。基本的模型在Supremica。。。
  • NL控制

  • 参考7篇文章[sw15154]
  • 协助解决不同的建模、分析和合成非线性控制系统的问题。。。
  • LTSA-MSC公司

  • 引用2篇文章[sw02369]
  • 通过提供场景编辑、行为规范模型 合成,和模型正在检查隐含的方案。。。
  • 粗壮的

  • 引用5篇文章[sw36937]
  • StocHy:自动验证和合成随机过程。StocHy是一个软件工具…接受对随机性的高级描述模型并构造了一个等效的SHS模型…控制(策略、策略)合成.StocHy允许模块化建模,并有单独的模拟,验证。。。合成引擎,作为独立的库实现。这使得图书馆很容易。。。
  • GME公司

  • 引用5篇文章[sw33604]
  • 用于创建特定于域的工具箱建模和程序合成环境。配置是通过。。。
  • 弗莱奇克

  • 参考6篇文章【sw20582】
  • 使用Dirac–Hartree–Slater模型对于光谱合成.进行了大量的实验和计算比较。。。
  • E电池

  • 引用23条[sw07917]
  • 手机。利用这个软件,我们构建了一个模型一个只有…转录,翻译,能量生产和磷脂的假设细胞合成大多数基因都来自支原体…发育细胞的规则列表模型用动力学参数可以得到。。。
  • 枸杞

  • 在14篇文章中引用[sw02888]
  • 合成比如诱拐、类比、计划和模型在一个给定的。。。
  • 心理医生

  • 引用2篇文章[sw30319]
  • PSyHCoS:参数合成对于分层并发实时系统。实时系统通常是硬的…使用层次结构指定的实时系统建模语言PSTCSP…PSyHCoS支持多种参数算法合成模型正在检查状态空间。。。