• 不明飞行物

  • 在39篇文章中引用[sw04719]
  • 通用函数优化(不明飞行物)该系统是一个交互式的模块化系统,可同时解决重介质问题。。。稀疏大规模优化问题。这个不明飞行物系统可用于以下应用。。。设计和测试新的优化方法。这个不明飞行物系统是一个非常有用的工具。。。优化算法。不明飞行物在随后的文本中描述的系统使。。。
  • 不明飞行物

  • 引用21篇文章[sw09570]
  • 不明飞行物:基于抽象和插值的软件验证框架。在本文中,我们。。。不明飞行物,一个框架和一个工具,用于验证(并发现)顺序C程序中的错误。。。
  • 阿罗哈

  • 引用5篇文章[sw02877]
  • 并获取通用FeynRules输出(不明飞行物)作为输入。从这个输入。。。
  • 不明飞行物

  • 引用2篇文章[sw25556]
  • 不明飞行物固定轮廓平面规划的统一凸优化算法。在本文中,我们应用。。。凸优化方法,命名为不明飞行物,用于固定轮廓的平面布置。我们的方法包括两个阶段。。。并通过Matlab进行了实验验证不明飞行物明显优于报告的结果。。。
  • SmeftFR公司

  • 引用4篇文章[sw31392]
  • FeynRules支持的各种格式,例如不明飞行物,FeynArts等。初始化数值。。。
  • NLOCT公司

  • 引用3篇文章[sw14667]
  • 生成的顶点可以导出到不明飞行物格式化为事件生成器,如MadGraph5。。。
  • 弗兰肯比特

  • 引用3篇文章[sw25253]
  • 现有的验证工具和技术,包括LLBMC,不明飞行物Z3,Boolector,miniat。。。
  • 轻量级

  • 1条引用[sw28235]
  • 通用FeynRules输出中的模型(不明飞行物)格式假设标准模型费米子内容。。。
  • 忍者

  • 参考7篇文章[sw24723]
  • 忍者:通过劳伦特展开自动减少被积函数。。。