• CVX

  • 606篇参考文献[SW0494]
  • 建模系统建设求解有约束凸规划(DCPS)。CVX支持一个数字…SDPs)CVX还可以解决更多问题复杂的凸优化问题,包括许多涉及不可微的问题。
  • 谦虚

  • 30篇参考文献[ SW01544 ]
  • 离散事件的行为系统. 这种语言结合了传统的程序设计。建构-如迭代,替代品…异常处理-用描述方法复杂的 系统以组合的方式。此外,谦虚…提供现代灵活的规格建构
  • 里欧

  • 80篇参考文献[SW06353]
  • 定义设计者如何构建的模型复杂的协调者,称为连接器,从简单的…胶合代码“组成成分的语言”施工用于协调实例的协作行为的连接器…基于组件的组件或服务系统或面向服务的应用程序…
  • 格林斯潘

  • 56篇参考文献[SW038 4]
  • 分布式建模、验证和性能评估系统使用广义随机Petri网及其…允许使用它的算法复杂的应用,不仅仅是玩具的例子。伟大的SPN2.0…施工通过共享文件对PN模型进行分析。使用网络文件系统能力,不同…
  • 超低频

  • 37篇参考文献[SW11183]
  • 毫不费力地表达有限元方法复杂的 系统偏微分方程的近似数学…这项工作的语言及其施工. UFL的实现是免费提供的…
  • 103篇参考文献[SW1277]
  • 名称:算法工程师建造快速路径规划方法:数据库与信息系统研究人员调查物质化…平面图等实际意义复杂的网络
  • 莫尔根

  • 25篇参考文献[SW0586]
  • 允许建造具有相当大尺寸和给定性质的分子图复杂性有一位新的成功专家。系统对于化合物的结构分析…
  • 群组工具包

  • 24篇参考文献[SW10570]
  • 分布式的基于计算机的会议。GroupKit是构建从我们的信念,编程群件应该…单用户系统. 我们已经能够大大减少实施。复杂性群件…
  • 促进剂

  • 5篇参考文献[ SW072007 ]
  • 软件施工操纵复杂的技术生物学系统. 促进…进一步分析。适用于系统生物学的关键特征是发展。动态模型,但也为视觉施工可以分析的布尔模型…
  • 臀部

  • 22篇参考文献[SW0988]
  • 基于分离逻辑的自动验证系统对于一个简单的命令语言,能够模块化验证…用于模型的用户定义归纳谓词复杂的数据结构。规范可以包含堆…给定每个方法/循环的注释,HIP将建造一组分离逻辑证明义务…
  • 椰子树

  • 0篇参考文献[SW1959]
  • ToSy-工具箱复合物 系统建设年龄模型(COPRA)的代理记录。可靠的年龄模型…
  • E细胞

  • 18篇参考文献[SW07917]
  • 过程,已经开发出来。电子小区系统允许用户定义函数…蛋白复合体以及细胞中的其他化学成分。使用这个软件,我们构建浅谈电子小区的未来应用系统特别是基因组工程。可用性
  • RZ

  • 6篇参考文献[ SW08944 ]
  • 规格在建设性的逻辑到目标CAML中注释的接口代码。这个系统支持…丰富的输入语言允许描述复杂的数学结构。RZ不从……中提取代码。
  • 桌面

  • 17篇参考文献[SW11674]
  • 被称为桌面。的主要特点系统是它的普遍性,因为它提供…基本一美元L(平方,菱形)$通过复杂的包括多个算子族的多模态语言…逻辑,因为我们相信模型施工他们提供的可能是最有吸引力的…应用于计算机科学和人工智能。这个系统已在Prolog中实现,并出现…
  • 迅捷

  • 3篇参考文献[SW28 72]
  • 减少这些复杂性通过制作文件系统通过语言访问的结构建构并且允许…
  • 法多

  • 13篇参考文献[SW10335]
  • 复杂的数据结构、算法的简单原型化和可移植性(用于计算机网格)系统也在考虑施工自动机理论教学工具…
  • GHC

  • 42篇参考文献[SW23 765 ]
  • 包括A的预期应用程序系统与外界互动。具有什么特征的…唯一附加句法的语义建造守卫。虽然守卫角条款…同时实施-复杂性随着时间的推移复杂性多对一的沟通…
  • 仿真软件

  • 15篇参考文献[SW0647]
  • 建设具有结构稳定双曲混沌的实际电子器件,适用于系统密码学保密通信噪声雷达系统对于随机数发生器。发展的方法…设计与分析系统复杂的动力学实例的基础上…
  • 马吕科普

  • 19篇参考文献[SW07197]
  • 解决大量问题复杂的理论,学习成功的解决方案,然后使用…MaLARea精神的尝试系统. 而在马拉雷学习的公理中…更精细。这带来了有趣的可能性。施工自学AI数学的训练…
  • 脑网观察器

  • 5篇参考文献[SW26512]
  • 连接组学。人脑是复杂的 系统其拓扑结构可以用…表示。已经表明人类连接可以是构建使用各种神经成像技术,并进一步表征…各种病理条件。然而,鉴于巨大复杂性这种方法,工具箱的图形为基础的…