×

找到21个软件包(结果1–21)

CP逻辑

20篇文献引用(2009–2023)
软件作者: Joost Vennekens;马克·德内克(Marc Denecker);莫里斯·布吕诺格
相关软件: ProbLog;PITA;棱镜…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)

MB基础

17篇文献引用(1999–2006)
软件作者: 安德烈亚斯·弗兰克;迈克尔·科尔哈斯
相关软件: TPS;欧米茄;数字(amp;N)…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);数学教育(97-XX)

夸特达

1份文件引用(2020)
软件作者: Benoit K、Watanabe K、Wang H、Nulty P、Obeng A、Müller S、Matsuo A
相关软件: R;stm;data.table…
主要字段: 统计学(62-XX);计算机科学(68-XX)

TRX公司

8份文件引用(2010–2020)
软件作者: 亚当·科普罗夫斯基(Adam Koprowski);亨利·宾兹托克
相关软件: 辅酶q;阿格达;HOL…
主要字段: 计算机科学(68-XX)

基因芯片通路分析

3份文件引用(2006–2011)
软件作者: Dahlquist,K.D.,Salomonis,N.,Vranizan,K.,Lawlor,S.C.,Conklin,B.R。
相关软件: MAPPFinder;KEGG;大卫…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…

百万毫升

6篇文献引用(2001–2004)
软件作者: 米塔科斯、西奥多罗斯;格尔加特苏利斯(Gergatsoulis),马诺利斯(Manolis);斯塔夫拉科斯、亚尼斯;伊奥安尼迪斯,埃夫斯塔提奥斯五世。
相关软件:
主要字段: 计算机科学(68-XX)

GRM公司

4份文件引用(2001–2005)
软件作者: 梅赫里亚·莫赫里
相关软件: BoosTexter;SRILM公司
主要字段: 计算机科学(68-XX)

IGTools(IG工具)

3份文件引用(2017–2021)
软件作者: Bonnici,V;V.曼卡
相关软件:
主要字段: 生物学和其他自然科学(92-XX)

MedScan公司

2份文件引用(2008–2017)
软件作者: Novichkova S、Egorov S、Daraselia N
相关软件: OpenDMAP;NoFold;卡纳…
主要字段: 总体主题;藏品(00-XX);生物学和其他自然科学(92-XX)

肌动蛋白分割

2份文件引用(2015–2021)
软件作者: 亚历山大·里格特、大卫·古特、雷内尔·赫格尔、丹尼尔·鲍姆、布里塔·韦伯、斯特芬·普罗哈斯卡、奥哈德·梅达拉、沃尔夫冈·鲍迈斯特、汉斯·克里斯蒂安·赫格
相关软件: nlpdegm公司
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);生物学和其他自然科学(92-XX)…

校对小工具

2份文件引用(2021–2022)
软件作者: 爱德华·艾尔斯(Edward W.Ayers)。;贾姆尼克,马泰贾;W.T.Gowers。
相关软件: 精益;mathlib;岩浆…
主要字段: 计算机科学(68-XX)

简单

2份文件引用(2013-2017)
软件作者: 玛格斯·弗洛伊登塔尔
相关软件: Xtext;ANTLR;MetaEdit+…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

上下文+

1份文件引用(2009)
软件作者: Zhou,K。
相关软件: 斯特拉
主要字段: 系统论;控制(93-XX)

达尔文SPL

1份文件引用(2018)
软件作者: Nieke,M.、Engel,G.、Seidl,C。
相关软件: VerCors;酯类;毒蛇…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

多米诺

1份文件引用(2022)
软件作者: 李维,H。;Elkon,R。;沙米尔,R。
相关软件: 树突;模块发现器;SigMod…
主要字段: 生物学和其他自然科学(92-XX)

强制读取器

在0个文档中引用
软件作者:
相关软件: HILDIF;QANet;欧尼…
主要字段:

图形IE

1份文件引用(2023)
软件作者: 钱玉洁、恩里科·桑特斯、金志静、郭江、里贾娜·巴兹雷
相关软件: KGPT;图2Seq;GPT-3…
主要字段: 计算机科学(68-XX)

像素

在0个文档中引用
软件作者: 杨斌、罗文杰、拉奎尔·乌尔塔森
相关软件: 更快的R-CNN;VoxelNet;HDNET…
主要字段:

UniVerMec大学

1份文件引用(2017)
软件作者: 基尔,S。
相关软件: fminsearch;Ipopt;VODE(旁白)
主要字段: 经典热力学,传热(80-XX)

X加密

1份文件引用(2021)
软件作者: 马歇尔,B.,佩奇,D.,范,T。
相关软件: 乌苏巴;GitHub;位片屏蔽乘法…
主要字段: 信息与通信理论,电路(94-XX)

分数

在0个文档中引用
软件作者: Yu,T.、R.Zhang、A.Polozov、C.Meek、A.H.Awadallah
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件