• 麦考莱2

  • 1502篇参考文献[SW05337 ]
  • 基底和分级或多级自由决议案分数阶商环上的模
  • 奇异的

  • 1277篇参考文献[SW08666 ]
  • 计算、合与自由分辨率计算,以及更多相关的功能。基于一个简单的…
  • 可可

  • 585篇参考文献[SW0143]
  • 计算Grobner基、辛和最小自由数分辨率,交叉,分裂,理想的根基…
  • 水獭

  • 306篇参考文献[SW02904]
  • 水獭推理规则建立在分辨率和参数化,它包括设施…
  • 吸血鬼

  • 208篇参考文献[SW0918]
  • 内核实现有序二进制的计算分辨率和叠加处理平等。分裂…包容、重言式删除(可选地模交换性)、包容分辨率按有序单位重写…
  • 水蝇

  • 238篇参考文献[SW034 1]
  • 浅水方程自适应网格细化:分辨率动态适应的特点…
  • 伯克明

  • 158篇参考文献[SW06917]
  • 伯克明与糠秕比较分辨率基于SAT求解器。实验表明…
  • 爪包

  • 121篇参考文献[SW01069]
  • 法律,重点是实施高-分辨率使用限制器的戈杜诺夫型方法…
  • 瓦多

  • 112篇参考文献[SW0698]
  • 直接面向对象逼近分辨率. Vasov方程描述了演化过程。
  • OpenCV

  • 83篇参考文献[SW11376]
  • 将图像拼接在一起产生高分辨率整个场景的图像,找到类似的…
  • 巴别塔

  • 71篇参考文献[SW03018]
  • 包含重写和SLD的语义分辨率并支持计算潜在的无限数据…
  • 温诺

  • 49篇参考文献[SW12694]
  • 非常粗糙的网格得到满意的分辨率从而使开发……成为可能。解析器包括更快的速度,无噪音分辨率和任意时刻评估的简易性。
  • 证明者

  • 42篇参考文献[SW09707]
  • 除了实例化外,iExpor实现了有序化。分辨率微积分和实例化和有序的组合…分辨率. 本文讨论了IDEPROMER的设计和相关的实现问题。
  • 羊蹄

  • 56篇参考文献[SW1548]
  • 高瓦斯动力学方程分辨率波传播算法在一个更一般的…
  • FRGC

  • 46篇参考文献[SW13805]
  • FRGC将由三种模式组成:高分辨率静止图像、3D图像和多幅图像…
  • 利奥二世

  • 44篇参考文献[SW0512]
  • 独立的,分辨率基于高阶定理证明器的设计,与专家学者进行卓有成效的合作。
  • 梅蒂尔茨基

  • 44篇参考文献[SW0533]
  • 由MeTaTaSkyA自动证明:A分辨率定理证明器(METIS)被修改来调用决策过程…
  • GHC

  • 42篇参考文献[SW23 765 ]
  • 语言GHC是A的限制分辨率基于HON子句的定理证明器…
  • 拉美西斯

  • 23篇参考文献[SW18064 ]
  • 自适应网格细化。新高分辨率叫做拉姆西斯的代码。一个新的N体…高空间宇宙的形成分辨率. 该代码是基于自适应网格…网格,达到正式分辨率81923。不同数量的收敛性分析,例如…结果正在收敛到实际。分辨率代码的限制,很好…
  • 吉塞拉

  • 40篇参考文献[SW17825]
  • 模式),包括高的病例分辨率网格(δR 0·1拉莫尔半径…