• 毫升

  • 引用516篇文章[sw01218]
  • 大多数表达式不需要显式类型注释,并确保类型安全-有一个正式的。。。
  • 电子稳定控制系统/Java

  • 引用文章135[sw07217]
  • 在JML中查找常见运行时错误-带注释的Java程序静态分析。。。程序代码及其形式化注释. 用户可以控制检查的数量和种类。。。ESC/Java2通过注释他们的程序带有特殊格式的注释,称为pragmas。。。
  • UniProt公司

  • 在129篇文章中引用[sw21320]
  • 蛋白质序列的重要集合及其注释,它的大小翻了一番。。。体验设计过程。我们引入了注释在UniProt中所有条目的分数。。。
  • 宾州树库

  • 参考101篇文章[sw08023]
  • 宾州树库项目注释语言结构中自然出现的文本。最值得注意的是,我们生产骨骼。。。语言树库。我们也注释带有词性标记的文本。。。电话交谈总机语料库,不流利注释. 我们位于林肯实验室。。。
  • 喀拉喀托

  • 引用86篇文章[sw03159]
  • 用于JAVA/JAVACARD程序认证的KRAKATOA工具带注释的在JML。我们描述了基本结构。。。证明JAVA程序的环境带注释的符合JML规范。我们的方法对于。。。核心命令式语言的证明义务带注释的有前后条件。。。
  • 图像网

  • 参考文献112篇[sw21105]
  • 每个概念都是质量控制和人性化的-带注释的. 在它的完成,我们希望ImageNet能。。。
  • VCC_公司_

  • 引用68篇文章[sw07220]
  • 程序。VCC采用C程序,带注释的函数规范,数据不变量,循环不变量。。。鬼代码,并试图证明这些注释对的。如果成功,VCC承诺。。。
  • 拉贝尔梅

  • 引用44篇文章[sw36633]
  • 基于数据库和Web的图像处理工具注释. 我们寻求建立一个庞大的收藏。。。基于工具,允许轻松图像注释即时分享注释. 使用这个。。。注释工具,我们收集了一个跨越许多对象类别的大型数据集,通常包含。。。
  • 欧盟MPOC

  • 引用42篇文章[sw26860]
  • 实验观察到亚细胞位置的条目注释,2715有多个地点,意味着。。。真核生物蛋白质总输入量(除了那些带注释的用“碎片”或那些小于。。。没有亚细胞定位的数据库注释或者是带注释的因为不确定。。。
  • 细胞景观

  • 引用72篇文章[sw09080]
  • 将网络连接到功能数据库注释. 核心是通过一个简单的。。。
  • 叮当声

  • 参考61篇文章[sw04581]
  • 对后续可视化的一些支持,注释结果的存储。。。
  • 大卫

  • 引用59篇文章[sw17292]
  • 在多个功能源中发现注释. 这是一个强大的方法来分组。。。
  • 常规数据库

  • 引用51篇文章【sw25948】
  • 大肠杆菌K-12超转录活性(实验性)带注释的促销员和Textpresso导航。RegulonDB(http://RegulonDB.ccg.una.mx。。。
  • 嗯mPLoc

  • 在26篇文章中引用【sw26862】
  • 实验观察到亚细胞位置的条目注释在瑞士Prot数据库(版本。。。人类蛋白质输入总量(除带注释的用“碎片”或那些小于。。。没有亚细胞定位的数据库注释或者是带注释的因为不确定。。。
  • 雅斯帕

  • 引用了40篇文章[sw18502]
  • JASPAR是一个开放存取数据库带注释的高质量,基于基质的转录因子结合。。。
  • 胡迪尼

  • 引用21篇文章【sw19490】
  • 胡迪尼,安注释ESC/Java助手。一个执行模块化检查的静态程序检查器。。。每个模块都需要注释指定模块的。帮助减少。。。编写说明书时,本文介绍了胡迪尼注释模块化检查器的助手ESC/Java。。。推断合适的ESC/Java注释对于一个给定的程序,胡迪尼产生了大量的候选。。。
  • 哼哼

  • 引用24篇文章[sw26863号]
  • 琐碎地利用围棋注释. 这是因为,对于那些“亚细胞定位”的蛋白质。。。未知“注释在瑞士Prot数据库中,大多数(超过99%)对应的围棋号码。。。数据库也是带注释的“细胞成分未知”。预测亚细胞的信息和线索。。。
  • 微基地

  • 引用23条[sw14367]
  • 已发表miRNA序列和注释. miRBase序列数据库中的每个条目。。。按名称、关键字、引用和注释. 所有序列和注释数据也可用。。。