×

找到1106个文档(结果1–100)

近似函数的多项式形式验证。 (英语) Zbl 07761099号

最佳大师威斯巴登:Springer Vieweg;不来梅:不来梅大学(硕士论文)(ISBN 978-3-658-41887-8/pbk;978-3-558-41888-5/电子书)。x、 第79页。(2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在某些情况下,对带有两个附加输入的电路进行简短完整的诊断测试。 (英语。俄文原件) Zbl 1530.94073号

离散数学。申请。 33,编号4,219-230(2023); 从Diskretn翻译。材料34,编号2,67-82(2022)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

优化线性层量子实现的深度。 (英语) Zbl 1530.81060号

邓毅(编辑)等,《信息安全与密码学》。2022年12月11日至13日,第18届国际会议,Inscrypt 2022,中国北京。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。13837, 129-147 (2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

高级布尔技术。2022年9月22日至23日,德国不来梅IWSBP第15届布尔问题国际研讨会论文集。 (英语) Zbl 1530.94004号

查姆:施普林格(ISBN 978-3-031-28915-6/hbk;978-3-0.31-28918-7/pbk;978-1-031-28916-3/电子书)。viii,172页。(2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

单调(q)-多线性布尔电路的下界。 (英语) Zbl 1528.94128号

Gąsieniec,Leszek(编辑),SOFSEM 2023:计算机科学的理论与实践。第48届计算机科学理论与实践当前趋势国际会议,SOFSEM 2023,斯洛伐克斯莫科维奇,2023年1月15日至18日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13878, 301-312 (2023).
MSC公司:94C11号机组
PDF格式BibTeX公司 XML格式引用
全文: 内政部

(k)值逻辑函数非单调复杂度估计的改进。 (英语。俄文原件) Zbl 1527.94097号

数学。笔记 113,编号6,794-803(2023); 翻译自Mat.Zametki 113,No.6,849-862(2023)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于分离接触电路类中一些基本连词系统的实现。 (英语。俄文原件) Zbl 07659647号

离散数学。申请。 33,编号1,19-29(2023); 从Diskretn翻译。材料33,编号4,47-60(2021)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在Zhegalkin基础上的一些易于测试的电路类。 (英语。俄文原件) Zbl 1517.94212号

离散数学。申请。 33,编号1,1-6(2023); 从Diskretn翻译。材料33,编号4,3-10(2021)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

伪随机函数的精确复杂性和用于引导的黑盒自然证明屏障导致了计算复杂性。 (英语) Zbl 07774392号

Leonardi,Stefano(ed.)等人,《第54届ACM SIGACT计算理论研讨会论文集》,STOC’22,罗马,意大利,2022年6月20日至24日。纽约州纽约市:计算机协会(ACM)。962-975 (2022).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

推导TMR技术的近似逻辑电路。 (英语。俄文原件) Zbl 1520.81039号

俄罗斯物理。J。 65,编号4,751-760(2022); Izv的翻译。维什。Uchebn。扎维德。,菲兹。65,第4期,第150-159页(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在一个无限基础上对逻辑电路进行简短完整的诊断测试。 (英语。俄文原件) Zbl 1517.94213号

莫斯科。大学数学。牛市。 77,第5号,250-253(2022); 维斯特翻译。莫斯科。州立大学。I 77,第5期,第51-54页(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

收缩:由NOT、CNOT和2-CNOT门组成的可逆电路的合成,带有少量附加输入。 (英语。俄文原件) Zbl 1509.94179号

离散数学。申请。 32,第6号,439-444(2022); 从Diskretn翻译。材料33,编号3,46-54(2021);收回注释离散数学。申请。32,第6期,第418页(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于由NOT、CNOT、2-CNOT门和少量附加输入组成的可逆电路的综合。 (英语。俄文原件) Zbl 1509.94177号

离散数学。申请。 32,编号4,279-284(2022); 从Diskretn翻译。材料33,编号3,46-53(2021)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

针对功能元件电路的复杂性,对香农函数的边界进行了细化。 (英语。俄文原件) Zbl 1511.68120号

莫斯科。大学数学。牛市。 77,第3期,144-153(2022); 维斯特翻译。莫斯科。州立大学。I 77,第3期,32-40(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用无记忆程序实现单调布尔函数。 (英语。俄文原件) Zbl 1511.68119号

莫斯科。大学数学。牛市。 77,第3期,136-143(2022); 维斯特翻译。莫斯科。州立大学。I 77,第3期,25-32(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于通过功能元件电路实现球体特征功能的复杂性。 (英语。俄文原件) Zbl 1507.94076号

莫斯科。大学数学。牛市。 77,第3期,127-130(2022年); 维斯特翻译。莫斯科。州立大学。I 77,第3期,第18-20页(2022年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

任意基上电路中门反转故障的单一诊断测试。 (英语。俄文原件) Zbl 1492.94228号

离散数学。申请。 32,编号1,1-9(2022); 从Diskretn翻译。材料33,编号1,20-30(2021)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

逻辑函数和方程。使用XBOOLE-monitor的基本原理和应用程序。第三次扩展和更新版本。 (英语) Zbl 1487.94002号

查姆:施普林格(ISBN 978-3-030-88944-9/hbk;978-3-0.30-88945-6/电子书)。十六、810页。(2022).
MSC公司:94-01 94D10号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

深度为4的受限算术电路的函数下界。 (英语) Zbl 07799592号

Bojañczyk,Mikołaj(编辑)等人,第41届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2021,虚拟会议,2021年12月15日至17日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。213,第14条,第15页(2021年)。
MSC公司:68号30 68季度xx
PDF格式BibTeX公司 XML格式引用

在树的宽度上,分隔符和姚明的乱码。 (英语) Zbl 1520.94059号

Nissim,Kobbi(编辑)等人,《密码学理论》。第19届国际会议,TCC 2021,罗利,北卡罗来纳州,美国,2021年11月8-11日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。13043,486-517(2021)。
MSC公司:94A60型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用ZX演算简化混合量子经典电路。 (英语) Zbl 1507.68114号

哦,Hakjoo(编辑),编程语言和系统。第19届亚洲研讨会,APLAS 2021,美国伊利诺伊州芝加哥,2021年10月17日至18日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13008, 121-139 (2021).
PDF格式BibTeX公司 XML格式引用

关于插入模2加法器的单个故障诊断测试长度的下限。 (英语。俄文原件) Zbl 1504.94250号

计算。数学。模型。 32,编号4,500-504(2021); Prikl的翻译。材料信息68,88-96(2021)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

人工神经网络和逻辑电路综合。 (英语。俄文原件) Zbl 1499.68328号

计算。数学。模型。 32,编号4,490-499(2021); Prikl的翻译。材料信息68,75-87(2021)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一类开关电路中标准多路复用器功能的复杂性。 (英语。俄文原件) Zbl 1519.94255号

计算。数学。模型。 32,第4号,478-489(2021); Prikl的翻译。材料信息68,59-74(2021)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在某些基础上,关于用逆变器替代组合元件的单一故障检测试验的长度。 (英语。俄文原件) Zbl 1492.94230号

计算。数学。模型。 32,编号3,356-363(2021); Prikl的翻译。材料信息67,89-100(2021)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

奇偶函数在无界扇入基础上的电路复杂度下限。 (英语。俄文原件) Zbl 1497.94199号

莫斯科。大学数学。牛市。 76,第6号,266-270(2021); 维斯特翻译。莫斯科。州立大学。I 76,编号6,48-51(2021)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

正则语言的电路复杂性。 (英语) Zbl 1510.68037号

Pin,Jean-Eric(编辑),《自动机理论手册》。第一卷理论基础。柏林:欧洲数学学会(EMS)。493-523 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

构造一种序列检测时序电路中鲁棒可测路径延迟故障的方法。 (英语。俄文原件) Zbl 1497.94207号

自动化。远程控制 82,第11期,1949-1965(2021); Avtom翻译。Telemekh公司。2021年,第11期,148-168(2021)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于布尔补全的容错电子设备体系结构。 (英语。俄文原件) Zbl 1484.94037号

自动化。远程控制 82,第8期,1403-1417(2021); Avtom翻译。Telemekh公司。2021,编号8140-158(2021)。
MSC公司:94C11号机组
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Genmul:生成架构上复杂的乘数,以挑战正式的验证工具。 (英语) Zbl 07410746号

Drechsler,Rolf(编辑)等人,布尔技术的最新发现。第14届布尔问题国际研讨会论文集,IWSBP,虚拟,2020年9月24日至25日。查姆:斯普林格。177-191 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Toffoli和Peres闸门的混合控制。 (英语) Zbl 07410745号

Drechsler,Rolf(编辑)等人,布尔技术的最新发现。第14届布尔问题国际研讨会论文集,IWSBP,虚拟,2020年9月24日至25日。查姆:斯普林格。167-175 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有正负控制的可逆电路合成的转换技术。 (英语) Zbl 07410744号

Drechsler,Rolf(编辑)等人,布尔技术的最新发现。第14届布尔问题国际研讨会论文集,IWSBP,虚拟,2020年9月24日至25日。查姆:斯普林格。143-165(2021年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

接触电路接触闭合试验长度香农函数的界。 (英语。俄文原件) Zbl 1483.94079号

离散数学。申请。 第31165-178号(2021); 从Diskretn翻译。材料32,第3号,49-67(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

布尔函数序列的最小接触电路。 (英语。俄文原件) 兹比尔1497.94202

数学。笔记 110,第1期,156-158(2021); 翻译自Mat.Zametki 110,No.1,155-157(2021)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

布尔技术的最新发现。第14届布尔问题国际研讨会论文集,IWSBP,虚拟,2020年9月24日至25日。 (英语) 兹比尔1470.94002

查姆:施普林格(ISBN 978-3-030-68070-1/hbk;978-3-0.30-68073-2/pbk;988-3-030-268071-8/电子书)。vii,197页。(2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

指数量子通信从布尔隐匹配问题的推广中减少。 (英语) Zbl 1507.81058号

Steven T.弗拉米亚(编辑),第十五届量子计算、通信和密码学理论会议,2020年TQC,拉脱维亚里加,2020年6月9日至12日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。158,第1条,第16页(2020年)。
PDF格式BibTeX公司 XML格式引用

RAM程序的渐进GRAM和安全计算。 (英语) Zbl 1506.94046号

Galdi,Clemente(编辑)等人,《网络安全与加密》。第十二届国际会议,SCN 2020,意大利阿马尔菲,2020年9月14-16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12238, 233-252 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

标准假设下布尔电路的知识签名。 (英语) Zbl 1501.94065号

Nitaj,Abderrahmane(编辑)等人,《密码学进展——非洲密码2020》。第十二届非洲密码学国际会议,埃及开罗,2020年7月20日至22日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12174,24-44(2020)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

多输出函数电路最小化的NP特性。 (英语) Zbl 07561750号

Saraf,Shubhangi(编辑),第35届计算复杂性会议,CCC 2020,2020年7月28日至31日,德国萨尔布吕肯,虚拟会议。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。169,第22条,第36页(2020)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种用于布尔电路的基于秘密共享的MPC协议,具有良好的摊销复杂性。 (英语) Zbl 1485.94133号

Pass,Rafael(编辑)等人,《密码学理论》。第18届国际会议,TCC 2020,美国北卡罗来纳州达勒姆,2020年11月16日至19日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12551, 652-682 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

通过具有恒定均匀宽度的接触电路实现布尔函数。 (英语。俄文原件) Zbl 1490.94084号

多克。数学。 102、3号、502-504(2020); Dokl翻译。罗斯。阿卡德。恶心,Mat.Inform。Protsessy升级。495,65-68(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

交换自动机网络。 (英语) Zbl 1530.68141号

Zenil,Hector(编辑),细胞自动机和离散复杂系统。2020年8月10日至12日,第26届IFIP WG 1.5国际研讨会,AUTOMATA 2020,瑞典斯德哥尔摩。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12286, 43-58 (2020).
PDF格式BibTeX公司 XML格式引用

无界扇入门电路的多级表示和复杂性。 (英语。俄文原件) Zbl 1495.94166号

莫斯科。大学数学。牛市。 75,第3期,121-125(2020年); 维斯特翻译。莫斯科。州立大学。I 75,第3号,(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

对电路输入进行卡住和移位故障测试。 (英语。俄文原件) 1460.94095兹罗提

计算。数学。模型。 31,第4期,494-500(2020年); Prikl的翻译。材料信息64,79-85(2020)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于包含一些函数对的完整有限基中元件输出处0类故障下电路的可靠性。 (英语。俄文原件) 兹比尔1466.94069

俄罗斯数学。 64,第7期,7-12(2020年); Izv的翻译。维什。Uchebn。扎维德。,材料2020,第7期,10-17(2020)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

AEON:参数化布尔网络的吸引子分支分析。 (英语) Zbl 1478.68085号

Lahiri、Shuvendu Kumar(编辑)等人,《计算机辅助验证》。第32届国际会议,CAV 2020,美国加利福尼亚州洛杉矶,2020年7月21日至24日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12224, 569-581 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

QBF分辨率的硬度特征和尺寸宽度下限。 (英语) Zbl 1498.03149号

2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8日至11日。纽约州纽约市:计算机协会(ACM)。209-223 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于唯一电路SAT的复杂性。 (英语。俄文原件) Zbl 1442.68053号

数学杂志。科学。,纽约 247,第3期,457-466(2020年); Zap的翻译。诺什。塞明。POMI 475122-136(2018)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于触点电路触点断开的诊断测试。 (英语。俄文原件) Zbl 1465.94149号

离散数学。申请。 30,第2期,103-116(2020年); 从Diskretn翻译。材料31,编号2,123-142(2019年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份