• S2S网络

  • 引用2篇文章[sw26347]
  • S2SNet:一个用于转变角色和数字 序列星型网络拓扑指数。。。
  • RcppGSL公司

  • 参考7篇文章[sw10617]
  • 科学图书馆(GSL)是数字的科学计算程序。尤其是。。。快速傅里叶变换变换,本征系统,随机数,正交,随机分布,准随机序列,蒙特卡罗积分。。。元组,微分方程,模拟退火,数字的微分,插值,级数加速,切比雪夫近似,求根,离散。。。汉克尔变换物理常数,基样条和小波。总共有1000多个函数。。。
  • iPPI Esml公司

  • 在26篇文章中引用[sw22413]
  • 药物开发。伴随着大量的蛋白质序列产生于后基因组。。。蛋白质;和(2)小波变换源于数字的一系列的蛋白质链。。。
  • 数字allplaceinversion.m

  • 引用2篇文章[sw34538]
  • NumericallplaceInversion.m:数字的拉普拉斯反转转换多精度使用复域。这个包裹。。。拉普拉斯转型在指定的时间点。拉普拉斯转型应该提供。。。比较序列Gaver方法的加速器数字的拉普拉斯转换反演,计算机和数学。。。
  • 重复

  • 引用2篇文章[sw35299]
  • 蛋白质螺线管重复离散傅里叶变换转型. 动机:具有螺线管重复序列的蛋白质进化得更快。。。它们的周期性可能很快被隐藏在序列水平,虽然在结构上仍然很明显。。。以前派生的数字的功能。结果:候选者的5个光谱序列结构编码。。。重复次数,由离散傅里叶获得转换(DFT),显示了允许确定重复周期的共同特征。。。
  • SFAPS公司

  • 引用2篇文章[sw22490]
  • 作为数字的代表蛋白质序列并得到了其频率特性。。。离散Fourier计算后的蛋白质相互作用转换对于蛋白质序列. 信息频谱法。。。
  • 液化石油气

  • 参考12篇文章[sw20690]
  • 搜索步骤是某些图形修改转变一个动作图变成另一个动作图。液化石油气开采。。。实现(可能数字)先决条件。动作持续时间和数字的数量(例如燃油消耗量)表示为。。。通过产生序列每一个计划。。。
  • 永久性

  • 引用4篇文章[sw16718]
  • 包括以下内容序列行动:QP问题规范;执行QP变换,重新制定。。。软件包扩展了PETSc软件框架数字的计算。因此,它是可用的。。。
  • 围裙

  • 引用67篇文章[sw00045]
  • 围裙:图书馆数字的抽象域。。。
  • ACL2

  • 引用277篇文章[sw00060]
  • ACL2是一种编程语言,其中。。。
  • 公理

  • 参考170篇文章[sw00063]
  • 公理是一个通用的计算机代数系统。。。
  • 引用96篇文章[sw00108]
  • CASA是一个专门用于计算。。。
  • 达夫尼

  • 引用66篇文章[sw00183]
  • Dafny是一种命令式的基于对象的语言。。。