• FEASPUMP泵

  • 参考文献124篇[sw04802]
  • 给定混合整数规划模型是一个非常重要的完全问题。。。被视为一系列分数解。。。
  • 维西姆

  • 引用13篇文章[sw13506]
  • 控制器、交通管理或排放模型. PTV Vissim是四舍五入提供全面的分析选项。。。
  • 罗德斯

  • 参考105篇文章[sw30194]
  • 计算是在有方向的区间算术中进行的舍入必要时。此功能由。。。有各种各样的太阳Sparc空间站模型从LX,Sparc 4到Ultra。。。
  • 动量2

  • 在10篇文章中引用[sw10025]
  • Eclipse中的时间和嵌入式系统建模框架使用图转换和重写逻辑。。。用一个简单的行程时间协议。。。
  • PDDE-续

  • 引用28篇文章[sw08419]
  • 布雷达和巴顿)。报纸是四舍五入通过几个复杂的例子:半导体激光器。。。高维连续交通流)模型,一个(正则化)非光滑模型因为喋喋不休。。。
  • 摊铺机

  • 引用了50篇文章[sw04401]
  • 求解和严格的全局优化。问题:Realpaver允许建模求解非线性非凸约束满足问题。。。肯定的。解决方法:Realpaver正确实施四舍五入在分支中基于间隔的计算。。。图书馆的扩展建模解决问题。数学建模语言。。。
  • ACRITH-XSC公司

  • 引用49篇文章[sw00015]
  • 力学,液晶光学,地下水建模以及振动力学,传统的浮点。。。数据转换和算术运算符舍入控制,区间和复区间算法,精确的向量/矩阵。。。
  • 克洛诺斯

  • 引用5篇文章[sw00125]
  • 一种叫做Chronos的工具模型处理器和C指令。克洛诺斯。。。发达的专门的基准。Chronos使用基于参数的模型以及机器的特征。。。
  • 极瘦的

  • 引用18条[sw17435]
  • 相关键或相关调整模型. 𝚂𝙺𝙸𝙽𝙽𝚈具有灵活的块/键/调整大小,还可以受益。。。优于所有已知的ASIC密码-基于实现,同时仍然达到一个非常小的。。。
  • 自同步

  • 引用2篇文章[sw10061]
  • 自我同步:动态圆形-Trip工程环境。模型-驱动工程(MDE)提倡代。。。由图形数据组成的设置建模视图和对象上的视图。。。MDE的上下文是圆形-Trip Engineering(RTE),其中两个元素。。。SelfSync,数据实体建模视图和相应的实现对象。。。
  • Q平均值

  • 参考7篇文章[sw17377]
  • 产生的,从中后来最准确模型必须选择。QMEAN服务器。。。评分功能在第八次测试成功全社区盲测实验。。。单体几何分析基础模型基于聚类的评分函数QMEANclust是一种有效的方法。。。
  • 烟熏

  • 引用了30篇文章[sw12571]
  • 标准ADABOST程序模型少数民族班通过提供学习者。。。少数民族,每个人都被介绍促进。增加打击的引入。。。
  • Bel-T公司

  • 1条引用[sw29704]
  • 分割属性。首先,我们提出两个2-利用混合整数的积分特性。。。生成MILP的开源代码模型可从网址{https://github.com下载。。。通过功能。然后,我们利用这些积分特性。。。攻击(3 rac{6}{7})子弹由于数据和时间的复杂性。。。
  • 乌代克

  • 17条引用[sw07904]
  • 通用不同元素代码)是一个数值建模土工高级土工分析规范。。。离散(凸或凹)多边形块四舍五入角点;不连续性被视为边界条件。。。
  • 三倍

  • 引用2篇文章[sw16006]
  • 三倍。社会关系模型(SRM)单个或多个分析-罗宾小组表演。。。
  • MISM公司

  • 引用2篇文章[sw01363]
  • 方向。我们考虑的主要运营商模型管理:merge、diff和modelgen。这些操作员。。。班级的主要代表-跳闸工程问题。。。
  • VDM工具

  • 引用2篇文章[sw18244]
  • 版本扩展VDM++的功能建模分析了分布式嵌入式实时系统。VDM工具。。。广泛的静态语义检查,自动代码生成,-到UML类图的行程映射,文档。。。具有成本效益的开发和开发模型在工业环境中。文章介绍了。。。
  • 深黄色斑点

  • 1条引用[sw34578]
  • 子弹并验证这在全球范围内产生了相当好的效果模型区别。。。数据,9号选择明文攻击子弹对于斑点,我们提出了基于深度。。。
  • DSI工具箱

  • 引用3篇文章[sw09588]
  • Dempster-Shafer理论(DST)建模传播的不确定性在最近的过去增长了。。。算法同时处理舍入错误。。。
  • 登塞卡

  • 引用3篇文章[sw27203]
  • 通过单一优化。建筑是由。。。定位层,递归神经网络语言模型生成标签序列。我们评估。。。