×

找到503个文档（结果1–100）

最新的 引文 关联
罗伊·T·福雷斯塔诺。;康斯坦丁·马切夫。;卡蒂亚·马切娃;亚历山大·罗曼;尤普·乌卢。;萨鲁纳斯州维纳

识别机器学习对称的群理论结构。 （英语） Zbl 07799157号

物理学。莱特。，B类 847，文章ID 138306，第7页（2023）.
MSC公司：81第68页 68T07型 35A30型 22E70型 08A30型 05第51页 81R40型 81-10
PDF格式BibTeX公司 XML格式引用
\textit{R.T.Forestano}等人，《物理学》。莱特。，B 847，文章编号138306，第7页（2023；Zbl 07799157）
全文： 内政部 arXiv公司
OA许可证
金圣明;Han、Yo-Sub;Ko、Sang-Ki;凯·萨洛马

关于西蒙语言的同余邻域。 （英语） Zbl 07766942号

Drewes，Frank（编辑）等人，《语言理论的发展》。第27届国际会议，DLT 2023，瑞典乌梅，2023年6月12-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13911, 168-181 (2023).
MSC公司：第68季度第45季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Kim}等人，Lect。注释计算。科学。13911、168--181（2023；Zbl 07766942）
全文： 内政部
丹尼尔·维多森;维塔利·库林

通过不含假阴性和假阳性的完全和连续等距不变量识别未标记点云的刚性模式。 arXiv:2303.15385

预印本，arXiv:2303.15385[cs.CV]（2023）。
MSC公司：51N20号 51K05美元 51层20 51楼30 68单位05
BibTeX公司 引用
\textit{D.Widdowson}和\textit{V.Kurlin}，“利用无假阴性和无假阳性的完整和连续等距不变量识别未标记点云的刚性模式”，预打印，arXiv:2303.15385[cs.CV]（2023）
全文： arXiv公司
OA许可证
大卫·詹森（David N.Jansen）。;刘新新

有根发散保持分支双相似性是一个同余：一个更简单的证明。 （英语） Zbl 1524.68218号

Jansen，Nils（编辑）等人，《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560, 358-370 (2022).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.N.Jansen}和\textit{X.Liu}，Lect。注释计算。科学。13560358--370（2022年；Zbl 1524.68218）
全文： 内政部
金圣明;Han、Yo-Sub;Ko、Sang-Ki;凯·萨洛马

关于字符串的Simon同余闭包。 （英语） Zbl 07643468号

Han，Yo-Sub（编辑）等，形式系统的描述复杂性。第24届IFIP工作组1.02国际会议，DCFS 2022，Debrecen，Hungary，2022年8月29日至31日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13439, 127-141 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{S.Kim}等人，Lect。注释计算。科学。13439，127--141（2022；Zbl 07643468）
全文： 内政部
罗伯特·阿拉贡（Roberto G.Aragón）。;杰苏斯·麦地那;埃洛萨·拉米雷斯·波萨

减少概念格的同余概念。 （英语） Zbl 1509.68249号

Cornejo，María Eugenia（编辑）等人，《解决复杂问题的计算智能和数学》2。根据2019年10月2日至5日在西班牙托莱多举行的第十一届欧洲计算智能和数学研讨会上的陈述，选出了一些论文。查姆：斯普林格。螺柱计算。智力。955, 139-145 (2022).
MSC公司：68立方英尺 06B10号
PDF格式BibTeX公司 XML格式引用
\textit{R.G.Aragón}等人，《研究与计算》。智力。955139——145（2022年；Zbl 1509.68249）
全文： 内政部
露西·哈姆;马塞尔·杰克逊

伪簇和泛代数的有限模型理论：保存性、可定义性和复杂性。 arXiv公司：2212.02653

预打印，arXiv:2212.02653[math.LO]（2022）。
MSC公司：03C13号机组 08B05号 08B26号 2015年第68季度 19年第68季度 08A30型 2007年7月20日
BibTeX公司 引用
\textit{L.Ham}和\textit{M.Jackson}，“伪变种和泛代数的有限模型理论：保存性、可定义性和复杂性”，预印本，arXiv:2212.02653[math.LO]（2022）
全文： arXiv公司
OA许可证
迪帕克·卡普尔

一种模结合交换（AC）同余闭包算法。 （英语） Zbl 07700620号

Naoki Kobayashi（编辑），第六届计算和演绎形式结构国际会议，FSCD 2021，阿根廷布宜诺斯艾利斯，虚拟会议，2021年7月17日至24日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。195，第15条，第21页（2021年）。
MSC公司：03B70号 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{D.Kapur}，LIPIcs——莱布尼茨国际程序。通知。195，第15条，第21页（2021；兹bl 07700620）
全文： 内政部
伊万·拉内斯;伊恩·菲利普斯

CCSK中的正向观测等效性。 （英语） Zbl 1476.68097号

Yamashita、Shigeru（编辑）等，《可逆计算》。第13届国际会议，RC 2021，虚拟活动，2021年7月7日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12805, 126-143 (2021).
MSC公司：2009年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{I.Lanese}和\textit{I.Phillips}，莱克特。注释计算。科学。12805、126--143（2021；Zbl 1476.68097）
全文： 内政部 链接
罗伯特·阿拉贡（Roberto G.Aragón）。;杰苏斯·麦地那;埃洛萨·拉米雷斯·波萨

局部同余对属性约简的影响。 （英语） Zbl 1512.68321号

Lesot，Marie-Jeanne（编辑）等人，《基于知识的系统中的信息处理和不确定性管理》。第18届国际会议，2020年IPMU，葡萄牙里斯本，2020年6月15日至19日。会议记录，第三部分。Cham:Springer。Commun公司。计算。信息科学。1239, 748-758 (2020).
MSC公司：68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{R.G.Aragón}等人，Commun。计算。信息科学。1239748-758（2020年；Zbl 1512.68321）
全文： 内政部
罗伯特·阿拉贡（Roberto G.Aragón）。;杰苏斯·麦地那;Ramírez Poussa，埃洛伊萨

关于由局部同余提供的等价类的层次结构。 （英语） Zbl 1509.68250号

Bello，Rafael（编辑）等人，《粗糙集》。2020年6月29日至7月3日在古巴哈瓦那举行的2020年国际JCRS国际联合会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12179, 298-307 (2020).
MSC公司：68立方英尺 06B10号
PDF格式BibTeX公司 XML格式引用
\textit{R.G.Aragón}等人，Lect。注释计算。科学。12179，298--307（2020；Zbl 1509.68250）
全文： 内政部
刘新新;于婷婷

递归方程的规范解和方程公理化的完备性。 （英语） Zbl 07559491号

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第35条，第17页（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{X.Liu}和\textit{T.Yu}，LIPIcs——莱布尼茨国际程序。通知。171，第35条，第17页（2020；Zbl 07559491）
全文： 内政部
尼尔斯·莫拉维茨;卡罗琳·雷赫斯;马蒂亚斯·韦勒

Timecop的工作比你想象的要难。 （英语） Zbl 07559442号

Esparza，Javier（ed.）等人，第45届计算机科学数学基础国际研讨会，MFCS 2020，2020年8月25日至26日，捷克共和国布拉格。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。170，第71条，第14页（2020年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{N.Morawietz}等人，LIPIcs——莱布尼茨国际程序。通知。170，第71条，第14页（2020；Zbl 07559442）
全文： 内政部
佩奥州博瑟尔;赫肖维茨，汤姆;安布罗斯·拉丰

细胞豪定理。 （英语） Zbl 07299475号

2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。273-286 (2020).
MSC公司：68倍
PDF格式BibTeX公司 XML格式引用
\textit{P.Borthelle}等人，in：2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8-11日。纽约州纽约市：计算机协会（ACM）。273-286（2020年；Zbl 07299475）
全文： 内政部 哈尔
罗布·范格拉贝克

奖励流程的同等测试。 （英语） Zbl 1534.68131号

Boreale，Michele（编辑）等人，并发和分布式编程的模型、语言和工具。在洛科·德·尼古拉65岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。11665, 45-70 (2019).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.van Glabbeek}，莱克特。注释计算。科学。11665、45-70（2019年；Zbl 1534.68131）
全文： 内政部 arXiv公司
Dariusz Biernacki;塞尔盖·伦格利特;彼得·波列修克

证明伸展正常形态双相似性的可靠性。 （英语） Zbl 1525.68023号

Silva，Alexandra（编辑），第33届编程语义数学基础会议论文集（MFPS XXXII），斯洛文尼亚卢布尔雅那，2017年6月12-15日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。336, 41-56 (2018).
MSC公司：68号30 03B40型 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{D.Biernacki}等人，《电子》。注释Theor。计算。科学。336、41-56（2018年；Zbl 1525.68023）
全文： 内政部
巴威·M·伊齐亚克。;雅切克·克扎茨科夫斯基

多值电路中的可满足性。 （英语） Zbl 1497.68358号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。550-558 (2018).
MSC公司：68兰特 08B10号 2006年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.M.Idziak}和\textit{J.Krzaczkowski}，摘自：2018年第33届ACM/IEEE年度计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。550-558（2018；Zbl 1497.68358）
全文： 内政部 arXiv公司
丹尼尔·辛森

正边二分图的Coxeter谱分类。一： Dynkin类型\（\mathcal{B} _n（n）\)，\（\mathcal{C} _n（n）\)，\（\mathcal{F} _4个\)，\（\mathcal{G} _2\)，\（\mathbb{E} _6个\)，\（\mathbb{E} 7个\)，\（\mathbb{E} _8个\)。 （英语） Zbl 1396.05049号

线性代数应用。 557, 105-133 (2018).
MSC公司：05C22号 05年5月50日 11欧元04 15A63型 68卢比 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{D.Simson}，线性代数应用。557105-133（2018；Zbl 1396.05049）
全文： 内政部
菲利波·邦奇;巴巴拉·科尼格;塞巴斯蒂安·库珀

达到加权系统的技术。 （英语） Zbl 1452.68100号

Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。10205, 535-552 (2017).
MSC公司：第68季度第45季度 第68季度第42季度 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛F.Bonchi｝等人，Lect。注释计算。科学。10205、535--552（2017；Zbl 1452.68100）
全文： 内政部 arXiv公司
Wan Fokkink公司;罗布·范·格拉贝克。

通过模态分解具有前瞻性的前同余格式。 （英语） Zbl 1440.68168号

Goranko，Valentin（编辑）等人，第26届EACSL计算机科学逻辑年会，CSL 2017，瑞典斯德哥尔摩，2017年8月20日至24日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。82，第25条，第20页（2017年）。
MSC公司：68问题55 03B45 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{W.Fokkink}和\textit{R.J.van Glabbeek}，LIPIcs——莱布尼茨国际程序。通知。82，第25条，第20页（2017；Zbl 1440.68168）
全文： 内政部
玛尔塔·卡丁

分配格上的基准测试。 （英语） Zbl 1452.68201号

Carvalho，Joao Paulo（编辑）等人，《基于知识的系统中的信息处理和不确定性管理》。第16届国际会议，2016年IPMU，荷兰埃因霍温，2016年6月20日至24日。诉讼程序。第一部分查姆：施普林格。Commun公司。计算。信息科学。610, 117-125 (2016).
MSC公司：68层37 06年06月06日 05年6月 28E10型
PDF格式BibTeX公司 XML格式引用
\textit{M.Cardin}，Commun（科姆·卡丹）。计算。信息科学。610117-125（2016；Zbl 1452.68201）
全文： 内政部
萨提安·德瓦多斯;齐夫·爱泼斯坦;德米特里·斯米尔诺夫

可视化剪刀一致性。 （英语） Zbl 1387.68253号

Fekete，Sándor（编辑）等人，第32届计算几何国际研讨会，SoCG’16，美国马萨诸塞州波士顿，2016年6月14-17日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-009-5）。LIPIcs–莱布尼茨国际信息学论文集51，第66条，第3页（2016年）。
MSC公司：68单位05 51-04
PDF格式BibTeX公司 XML格式引用
\textit{S.Devadoss}等人，LIPIcs——莱布尼茨国际程序。通知。51，第66条，第3页（2016年；Zbl 1387.68253）
全文： 内政部
金，希纳;格恩特·罗特

四空间中点集的同余检验。 （英语） 兹伯利1387.68264

Fekete，Sándor（编辑）等人，第32届计算几何国际研讨会，SoCG’16，美国马萨诸塞州波士顿，2016年6月14-17日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-009-5）。LIPIcs–莱布尼茨国际信息学论文集51，第48条，16页（2016）。
MSC公司：68单位05 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Kim}和\textit{G.Rote}，LIPIcs——莱布尼茨国际程序。通知。51，第48条，第16页（2016；Zbl 1387.68264）
全文： 内政部
丹尼尔·巴雷克;克里斯特尔·拜尔;Klüppelholz，萨沙

基于跨度和耦合的随机过渡系统的组成。 （英语） Zbl 1388.68196号

Chatzigiannakis，Ioannis（编辑）等人，第43届自动化、语言和编程国际学术讨论会，2016年ICALP，意大利罗马，2016年7月12-15日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-013-2）。LIPIcs–Leibniz International Proceedings in Informatics 55，Article 102，15 p.（2016）。
MSC公司：68问题85 第68季度第45季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Gburek}等人，LIPIcs——莱布尼茨国际程序。通知。55，第102条，第15页（2016年；Zbl 1388.68196）
全文： 内政部
孙翔;蒋彩贵;约翰·沃纳;赫尔穆特·波特曼

三角形网格的顶点法线和面曲率。 （英语） Zbl 1356.53015号

Bobenko，Alexander I.（编辑），《离散微分几何的进展》。柏林：施普林格出版社（ISBN 978-3-662-50446-8/hbk；978-3-562-50447-5/电子书）。267-286 (2016).
审核人：Hans-Peter Schröcker（因斯布鲁克）
MSC公司：53A25型 53A05型 52B70型 68单位05
PDF格式BibTeX公司 XML格式引用
\textit{X.Sun}等人，in：离散微分几何的进展。柏林：斯普林格。267--286（2016；Zbl 1356.53015）
全文： 内政部
OA许可证

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件