×

找到389个文档（结果1-100）

最新的 引文 关联
田佩尔科夫

Verbruge模型和Veltman模型之间的相互模拟。 （英语） Zbl 07810572号

Hansen，Helle Hvid（编辑）等人，《逻辑、语言、信息和计算》。2023年7月11日至14日，第29届国际研讨会，WoLLIC 2023，加拿大NS哈利法克斯。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13923, 305-317 (2023).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\发短信{T.Perkov}，Lect。票据计算。科学。13923305-317（2023；Zbl 07810572）
全文： 内政部
罗曼科夫，V.A。

秩足够大的类\（l\geqslant2\）的自由幂零群的次单体隶属度问题的不可解性。 （英语。俄文原件） 兹伯利07773487

伊兹夫。数学。 87，第4期，798-816（2023）; Izv的翻译。罗斯。阿卡德。Nauk，爵士。材料87，编号4，166-185（2023）。
审核人：Joshua Maglione（马格德堡）
MSC公司：20英尺18英寸 2016年1月20日 20F05型
PDF格式BibTeX公司 XML格式引用
\textit{V.A.Roman'kov}，伊兹夫。数学。87，编号4，798--816（2023；Zbl 07773487）；Izv的翻译。罗斯。阿卡德。Nauk，爵士。材料87，编号4，166--185（2023）
全文： 内政部 跨国公司
杜冰雪;徐毅;姚小明;于慧;史建宇

MTGL-ADMET：一种新的多任务图学习框架，用于ADMET预测，通过状态理论和最大流进行增强。 （英语） Zbl 1530.92088号

唐海旭（主编），《计算分子生物学研究》。第27届国际年会，RECOMB 2023，土耳其伊斯坦布尔，2023年4月16-19日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13976, 85-103 (2023).
MSC公司：92 C50 68T05年 92-10
PDF格式BibTeX公司 XML格式引用
\textit{B.-X.Du}等人，Lect。票据计算。科学。13976，85-103（2023；Zbl 1530.92088）
全文： 内政部
胡安·路易斯·加斯塔尔迪

布尔的谬误表：命题逻辑出现之前意义的形式条件。 （英语） Zbl 07740510号

Béziau，Jean-Yves（编辑）等人，《逻辑问题》。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会（2011-2019年）上的会谈。查姆：Birkhäuser。通用螺栓。日志。，119-149 (2022).
MSC公司：03A05号 03Bxx号 01A25号 01A55号 03克05 00A30型
PDF格式BibTeX公司 XML格式引用
\textit{J.L.Gastaldi}，in：逻辑问题。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会（2011-2019）上的会谈。查姆：Birkhäuser。119——149（2022；Zbl 07740510）
全文： 内政部
拉尔夫·弗里斯（Ralph S.Freese）。;拉尔夫·麦肯齐（Ralph N.McKenzie）。;乔治·麦克纳尔蒂。;沃尔特·泰勒。

代数、格、变体。第三卷。 （英语） Zbl 1511.08001号

数学调查和专著269.普罗维登斯，RI:美国数学学会（AMS）（ISBN 978-1-4704-6798-2/pbk；978-1-4740-7130-9/电子书）。十七、430页。(2022).
审核人：皮特·诺马克（塔林）
MSC公司：2001年8月 03-01 06-01 03C05号机组 06Bxx年 08轴 08Bxx年
PDF格式BibTeX公司 XML格式引用
\textit{R.S.Freese}等人，《代数、格、变种》。第三卷普罗维登斯，RI:美国数学学会（AMS）（2022；Zbl 1511.08001）
全文： 内政部
乌尔里奇艾伏特加;朱利安·费里;甘姆斯，塞巴斯蒂安;Marie-JoséHuguet;穆罕默德·西亚拉

利用整数线性规划学习最优公平规则列表。 （英语） Zbl 1502.68253号

Schaus，Pierre（编辑），约束编程、人工智能和运筹学的集成。第19届国际会议，CPAIOR 2022，美国加利福尼亚州洛杉矶，2022年6月20日至23日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13292, 103-119 (2022).
MSC公司：68T05年 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{U.Ai vodji}等人，Lect。票据计算。科学。13292，103-119（2022；Zbl 1502.68253）
全文： 内政部 哈尔
乔恩·克莱恩伯格;森德希尔·穆莱纳坦

简单导致不公平：对公平、刻板印象和可解释性的影响。 （英语） Zbl 07765142号

Khuller，Samir（编辑）等人，第53届ACM SIGACT计算理论年度研讨会论文集，STOC’21，虚拟，意大利，2021年6月21日至25日。纽约州纽约市：计算机协会（ACM）。7 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{J.Kleinberg}和\textit{S.Mullainathan}，in：第53届ACM SIGACT计算理论年度研讨会论文集，STOC’21，虚拟，意大利，2021年6月21日至25日。纽约州纽约市：计算机协会（ACM）。7（2021年；兹bl 07765142）
全文： 内政部 arXiv公司
休伯特·巴尼基;沃伊切赫·克雷托维茨;Piątyszek、Piotr;雅库布·维希涅夫斯基;Przemysław比塞克

dalex：在Python中具有交互式可解释性和公平性的负责任的机器学习。 （英语） Zbl 07626729号

J.马赫。学习。物件。 22，第214号文件，第7页（2021）.
MSC公司：68T05年
PDF格式BibTeX公司 XML格式引用
\textit{H.Baniecki}等人，J.Mach。学习。第22号决议，第214号论文，第7页（2021；Zbl 07626729）
全文： arXiv公司 链接
萨拉·穆罕默德·内贾德;Jyotirmoy V.德斯穆赫。;劳拉·内兹

挖掘空间分布式系统的可解释时空逻辑属性。 （英语） Zbl 1497.68433号

Hou，Zhe（编辑）等，验证和分析自动化技术。第19届国际研讨会，2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12971, 91-107 (2021).
MSC公司：68T05年 62H30型 68米14 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Mohammadinejad}等人，Lect。票据计算。科学。12971，91-107（2021；Zbl 1497.68433）
全文： 内政部 arXiv公司
格勒布·波古丁;张兴健

通过正数可解释的精确线性缩减。 （英语） Zbl 1489.92059号

Cinquemani，Eugenio（编辑）等人，《系统生物学中的计算方法》。第19届国际会议，CMSB 2021，波尔多，法国，2021年9月22日至24日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。第12881页，第91-107页（2021）。
MSC公司：92C45型 92立方厘米 92-08
PDF格式BibTeX公司 XML格式引用
\textit{G.Pogudin}和\textit{X.Zhang}，Lect。票据计算。科学。12881，91-107（2021；Zbl 1489.92059）
全文： 内政部 arXiv公司
苏斯米特·贾;布莱恩·贾莱安;阿尼尔班·罗伊;冈扬·维尔玛

三位一体：机器学习模型的信任、弹性和可解释性。 （英语） Zbl 07526410号

Charles A.Kamhoua（编辑）等人，《网络安全的博弈论和机器学习》。新泽西州皮斯卡塔韦：IEEE出版社；新泽西州霍博肯：John Wiley&Sons。317-333（2021年）。
MSC公司：68平方米5 68T05年 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{S.Jha}等人，in：网络安全的博弈论和机器学习。新泽西州皮斯卡塔韦：IEEE出版社；新泽西州霍博肯：约翰·威利父子公司。317--333（2021；Zbl 07526410）
全文： 内政部
伊恩·卡迈克尔;本杰明·C·卡尔霍恩。;凯瑟琳·霍德利。;梅丽莎·特洛伊斯特（Melissa A.Troester）。;约瑟夫·杰拉德;时装，Heather D。;林尼亚·奥尔森;查尔斯·佩罗。;马克·尼塔默尔;简·汉尼格;马龙，J.S。

乳腺癌组织学图像和基因组协变量的联合和个体分析。 （英语） Zbl 1498.62197号

附录申请。斯达。 1697-1722（2021）第4期第15页.
MSC公司：62页第10页 62H25个 68T07型
PDF格式BibTeX公司 XML格式引用
\textit{I.Carmichael}等人，Ann.Appl。Stat.15，No.4，1697--1722（2021；Zbl 1498.62197）
全文： 内政部 arXiv公司
萨姆比特·加代;Lee，Xian Yeow先生;阿迪蒂亚·巴鲁;苏米克·萨卡尔;阿达什·克里希纳穆尔西

多分辨率3D CNN，用于学习CAD模型中的多尺度空间特征。 （英语） Zbl 1480.65055号

计算。辅助Geom。设计。 91，文章ID 102038，13 p.（2021）.
MSC公司：65D18天 68T07型
PDF格式BibTeX公司 XML格式引用
\textit｛S.Ghadai｝等人，计算机。辅助Geom。设计。91，文章编号102038，13 p.（2021；Zbl 1480.65055）
全文： 内政部
阿德里安·贝纳米拉;大卫·杰劳特;托马斯·佩林;谭全全

深入了解基于机器学习的密码分析。 （英语） 兹比尔07440600

Canteaut，Anne（编辑）等人，《密码学进展–EUROCRYPT 2021》。第40届密码技术理论与应用国际年会，克罗地亚萨格勒布，2021年10月17日至21日。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。12696, 805-835 (2021).
MSC公司：68次发射 68第25页 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{A.Benamira}等人，Lect。票据计算。科学。12696、805--835（2021；Zbl 07440600）
全文： 内政部
阿隆索·莫拉利，何塞·玛丽亚;西罗·卡斯蒂略;路易斯·马格达莱纳;科拉多·门卡尔

可解释的模糊系统。为从可解释的模糊系统到可解释的人工智能系统铺平道路。 （英语） Zbl 1470.93089号

计算智能研究970.查姆：施普林格（ISBN 978-3-030-71097-2/hbk；978-3-0030-71098-9/电子书）。xxxi，232页。(2021).
审核人：维托尔德·佩德里茨（埃德蒙顿）
MSC公司：93立方厘米 03E72型 93亿B51
PDF格式BibTeX公司 XML格式引用
\textit{J.M.Alonso Moral}等人，可解释模糊系统。为从可解释的模糊系统到可解释的人工智能系统铺平道路。商会：施普林格（2021；兹比尔1470.93089）
全文： 内政部
阿尔伯特·维瑟

延伸和可解释性。 （英语） Zbl 1490.03019号

Mojtahedi、Mojtaba（编辑）等人，《数学、逻辑及其哲学》。纪念穆罕默德·阿尔德斯希尔的文章。查姆：斯普林格。日志。认识论。统一科学。49, 53-92 (2021).
审核人：Ellen Lehet（圣母院）
MSC公司：03C07号机组 03C40号
PDF格式BibTeX公司 XML格式引用
\textit{A.Visser}，日志。认识论。统一科学。49、53-92（2021年；Zbl 1490.03019）
全文： 内政部 链接
贝纳德，克莱门特;杰拉德·比亚;塞巴斯蒂安·达维加;二湾蝎子

SIRUS：用于分类的稳定且可解释的RUle集。 （英语） 兹比尔1458.62126

电子。J.统计。 第1期第15页，427-505（2021年）.
审核人：丹尼斯·西多罗夫（伊尔库茨克）
MSC公司：62H30型 62G05型 62G35型 6220国集团
PDF格式BibTeX公司 XML格式引用
\textit{C.Bénard}等人，《电子》。J.Stat.15，No.1，427--505（2021；Zbl 1458.62126）
全文： 内政部 arXiv公司 欧几里得
Hüllermeier，艾克

机器学习中基于类比的解释。 （英语） Zbl 1478.68272号

Torra，Vicenç（编辑）等人，《人工智能决策建模》。第17届国际会议，2020年MDAI，西班牙圣库加特，2020年9月2-4日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12256, 205-217 (2020).
MSC公司：68时01分 68T05年
PDF格式BibTeX公司 XML格式引用
\textit{E.Hüllermier}，莱克特。票据计算。科学。12256205-217（2020年；兹比尔1478.68272）
全文： 内政部 arXiv公司
萨拉·穆罕默德·内贾德;Jyotirmoy V.德斯穆赫。;阿尼鲁德·G·普兰克（Aniruddh G.Puranic）。;马塞尔·瓦兹奎兹·香拉特;亚历山大·唐泽

使用高效枚举技术对时间序列数据进行可解释的分类。 （英语） Zbl 07300850号

第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼，虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第9条，第10页（2020年）。
MSC公司：65年第68季度 第68季度第60季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{S.Mohammadinejad}等人，《第23届ACM混合系统国际会议论文集：计算与控制》，HSCC 2020，澳大利亚悉尼，虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第9条，第10页（2020；Zbl 07300850）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件