×

找到817份文件（结果1-100）

最新的 引文 关联
佩特·拉基塔；格雷戈里·莫尔斯；贾卡布·纳多里；Zita的Magnay-Takács；奥斯卡·门瑟；Zimborás，佐尔坦

通过数据流引擎合成的高度优化的量子电路。 （英语） Zbl 07811341号

J.计算。物理。 500，文章ID 112756，12 p.（2024）.
MSC公司：81件 11年xx月 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{P.Rakyta}等人，《计算杂志》。物理。500，文章ID 112756，12 p.（2024；Zbl 07811341）
全文： 内政部 arXiv公司
塔拉玛、大辅；Jean-Pierre弗朗索瓦塞

紧致李群上统计变换模型的α-连接的测地流。 （英语） Zbl 07789324号

尼尔森，弗兰克（编辑）等人，《信息几何科学》。第六届国际会议，GSI 2023，法国圣马洛，2023年8月30日至9月1日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。14072, 454-462 (2023).
MSC公司：53号B12
PDF格式BibTeX公司 XML格式引用
\textit{D.Tarama}和\textit{J.-P.Françoise}，莱克特。注释计算。科学。14072、454--462（2023；Zbl 07789324）
全文： 内政部
弗雷德里克·巴巴拉斯科

辛叶理横向结构和利伯曼叶理的热学理论和信息几何学。 （英语） Zbl 07789294号

尼尔森，弗兰克（编辑）等人，《信息几何科学》。第六届国际会议，GSI 2023，法国圣马洛，2023年8月30日至9月1日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。14072, 152-164 (2023).
MSC公司：第53页第17页 53号B12
PDF格式BibTeX公司 XML格式引用
\textit{F.Barbaresco}，莱克特。注释计算。科学。14072，152--164（2023；Zbl 07789294）
全文： 内政部
蒂恩·德沃斯

CONGEST模型中的最小成本流。 （英语） Zbl 07786529号

Rajsbaum，Sergio（编辑）等人，《结构信息和通信复杂性》。第30届国际学术讨论会，SIROCCO 2023，阿尔卡德赫纳雷斯，西班牙，2023年6月6日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13892, 406-426 (2023).
MSC公司：6800万 2011年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{T.de Vos}，莱克特。注释计算。科学。13892、406--426（2023；Zbl 07786529）
全文： 内政部 arXiv公司
巴亚斯，卢博米尔；马丁·昂德雷亚特

随机全变流概率弱解和强解的数值近似。 （英语） Zbl 07689066号

ESAIM，数学。模型。数字。分析。 57，编号2，785-815（2023）.
MSC公司：60年上半年 60甲15 60华氏35 65立方米 65平方米 94A08型 60A10英寸
PDF格式BibTeX公司 XML格式引用
\textit{L.Baňas}和\textit{M.Ondreját}，ESAIM，数学。模型。数字。分析。57，编号2，785--815（2023；Zbl 07689066）
全文： 内政部 arXiv公司
娜塔莎·费尔南德斯；Annabelle Mciver；摩根，卡罗尔

如何培养对风险和其他无形现象的直觉（受邀演讲）。 （英语） Zbl 07830358号

Manea，Florin（编辑）等人，第30届EACSL计算机科学逻辑年会，CSL 2022，德国哥廷根，虚拟会议，2022年2月14-19日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。216，第2条，第14页（2022年）。
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{N.Fernandes}等人，LIPIcs——莱布尼茨国际程序。通知。216，第2条，第14页（2022；兹bl 07830358）
全文： 内政部
托比亚斯·伦格；亚历山大·基特尔曼；马可·塞韦托；亚历克斯·波坦；伊娜·谢弗

面向对象语言的信息流控制结构。 （英语） Zbl 1525.68031号

Schlingloff，Bernd-Holger（编辑）等人，《软件工程和形式化方法》。第20届国际会议，SEFM 2022，德国柏林，2022年9月26-30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13550, 209-226 (2022).
MSC公司：68号30 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{T.Runge}等人，Lect。注释计算。科学。13550，209--226（2022；Zbl 1525.68031）
全文： 内政部 arXiv公司
普里塔姆·乔杜里；哈雷III伊德斯；斯蒂芬妮，威里奇

依赖关系演算。 （英语） Zbl 1528.68078号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 403-430 (2022).
MSC公司：68号30 03B70号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{P.Choudhury}等人，Lect。注释计算。科学。132403-430（2022年；Zbl 1528.68078）
全文： 内政部 arXiv公司
卡亚姆·萨利希；阿里·A·诺鲁齐。；阿米尔·穆罕默德（Amir-Mhammadian，Sepehr）；穆罕默德·穆罕默德·莫哈盖吉

一种用于并发程序的自动定量信息流分析。 （英语） Zbl 1522.68135号

布拉哈姆，埃里卡（编辑）等人，《系统的定量评估》。第19届国际会议，QEST 2022，波兰华沙，2022年9月12-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13479, 43-63 (2022).
MSC公司：68甲19
PDF格式BibTeX公司 XML格式引用
\textit{K.Salehi}等人，Lect。注释计算。科学。13479，43-63（2022；Zbl 1522.68135）
全文： 内政部
奥利弗·布兰斯多夫；斯特凡·塞辛豪斯；朱利安·霍尔奇

基于编译器的攻击源跟踪和动态污点分析。 （英语） Zbl 07628049号

Park，Jong Hwan（编辑）等人，《信息安全与密码学——ICISC 2021》。第24届国际会议，韩国首尔，2021年12月1日至3日。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13218, 175-191 (2022).
MSC公司：68平方米25 第68页第25页 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{O.Braunsdorf}等人，Lect。注释计算。科学。13218，175--191（2022；Zbl 07628049）
全文： 内政部
阿格拉姆，北卡罗来纳州。；Haadem，S。；Öksendal，B。；普洛斯克，F。

具有一般信息流的最优停止、随机停止和奇异控制。 （英语） Zbl 1480.60103号

理论问题。申请。 66，第4号，601-612（2022）和Teor。维罗亚特。底漆。66，第4期，760-773页（2021年）。
MSC公司：60克40 93E20型
PDF格式BibTeX公司 XML格式引用
\textit{N.Agram}等人，理论问题。申请。66，编号4，601--612（2022；Zbl 1480.60103）
全文： 内政部 arXiv公司
乌鸦·贝特纳；伯恩德·芬克贝纳

战略超属性的时间逻辑。 （英语） Zbl 07730626号

Haddad，Serge（编辑）等人，第32届并发理论国际会议，CONCUR 20212021年8月24日至27日，虚拟会议。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。203，第24条，第19页（2021年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Beutner}和\textit{B.Finkbeiner}，LIPIcs——莱布尼茨国际程序。通知。203，第24条，第19页（2021；Zbl 07730626）
全文： 内政部 arXiv公司
安德烈·波佩斯库；托马斯·鲍里斯；彼得·兰米奇

有界可推导性安全性（邀请论文）。 （英语） 兹比尔07699420

Cohen，Liron（ed.）等人，第十二届交互式定理证明国际会议，ITP 2021，意大利罗马，虚拟会议，2021年6月29日至7月1日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。193，第3条，第20页（2021年）。
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{A.Popescu}等人，LIPIcs——莱布尼茨国际程序。通知。193，第3条，20 p.（2021；Zbl 07699420）
全文： 内政部
Johannes Bechberger；亚历山大·维格尔

无界递归信息泄漏的上限计算。 （英语） Zbl 1522.68145号

Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13085, 160-177 (2021).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Bechberger}和\textit{A.Weigl}，莱克特。注释计算。科学。13085、160--177（2021；Zbl 1522.68145）
全文： 内政部
努尔·埃胡达·苏伊德；凯斯·克莱

一种新的监督合成方法，用于增强离散事件系统的不透明度。 （英语） Zbl 1496.68195号

Gao，Debin（编辑）等人，《信息和通信安全》。第23届国际会议，ICICS 2021，中国重庆，2021年11月19-21日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12919, 210-227 (2021).
MSC公司：60年第68季度 68平方米25 68问题85 93元65角
PDF格式BibTeX公司 XML格式引用
\textit{N.E.Souid}和\textit{K.Klai}，莱克特。注释计算。科学。12919，210-227（2021；Zbl 1496.68195）
全文： 内政部
哈桑·瓦卡斯；费萨尔·法里德·布哈里；塔西尔·穆罕默德；奥马尔·法鲁克

具有熵产生的混合纳米流体的热输运：数值模拟。 （英语） 兹比尔1490.76247

国际期刊修订版。物理。B类 35，第21号，文章ID 2150218，第15页（2021）.
MSC公司：76周05 82天80 80A21型 94甲17
PDF格式BibTeX公司 XML格式引用
\textit{H.Waqas}等人，国际期刊Mod。物理。B 35，第21号，文章ID 2150218，15页（2021；Zbl 1490.76247）
全文： 内政部
什亚姆·巴拉吉；迈克尔·斯潘诺夫斯基；卡洛斯·塔马里特

局部平衡中的宇宙学气泡摩擦。 （英语） Zbl 1484.83100号

J.Cosmol公司。Astropart。物理。 2021年，第3期，第51号论文，18页（2021年）.
MSC公司：83个F05 82B26型 81V22型 81V35型 83 C55 76T10型 62M15型 76×05 94甲17
PDF格式BibTeX公司 XML格式引用
\textit{S.Balaji}等人，J.Cosmol。Astropart。物理。2021年，第3期，第51号论文，18页（2021年；Zbl 1484.83100）
全文： 内政部 arXiv公司
伊多·科恩；汤姆·别科夫；吉尔博亚，盖伊

总变化模式分解。 （英语） 兹比尔1486.94010

Elmoataz，Abderrahim（编辑）等人，计算机视觉中的尺度空间和变分方法。第八届国际会议，SSVM 2021，虚拟活动，2021年5月16日至20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12679, 52-64 (2021).
MSC公司：94A08型 94甲12 68单位10
PDF格式BibTeX公司 XML格式引用
\textit{I.Cohen}等人，Lect。注释计算。科学。12679，52-64（2021；Zbl 1486.94010）
全文： 内政部 arXiv公司
阿克兰·奥尔德鲁比；格罗切尼格，卡尔海因茨；黄龙秀；菲利普·杰明；伊利亚·克里斯塔尔；何塞·路易斯·罗梅罗

对带限函数的流进行采样。 （英语） Zbl 1471.94017号

《几何杂志》。分析。 31，第9号，9241-9275（2021）.
MSC公司：94A20型 94甲12 42C05型 42立方 42立方厘米 65M99型 65T99型
PDF格式BibTeX公司 XML格式引用
\textit{A.Aldroubi}等人，J.Geom。分析。31，第9号，9241--9275（2021；Zbl 1471.94017）
全文： 内政部 arXiv公司
奥瓦尔·巴拉·阿布巴卡尔；Kanikar Muangchoo；易卜拉欣（Abdulkarim Hassan Ibrahim）；贾米卢·阿布巴卡尔；萨迪亚·阿里·拉诺

非线性单调算子方程近似解的FR-型算法。 （英语） Zbl 07384607号

阿拉伯的。数学杂志。 10，第2号，261-270（2021）.
MSC公司：65千5 90摄氏52度 90 C56 94A08型
PDF格式BibTeX公司 XML格式引用
\textit{A.B.Abubakar}等人，阿拉伯。数学杂志。10，编号2，261--270（2021；Zbl 07384607）
全文： 内政部
鲁本·Hühnerbein；法布里西奥·萨瓦里诺；斯特凡妮娅·佩特拉；克里斯托夫·施诺尔

使用几何赋值学习图像标记的自适应正则化。 （英语） Zbl 1516.68080号

数学杂志。成像视觉。 63，第2期，186-215（2021）.
MSC公司：68T05型 49公里40 62B11号机组 65D18天 65J22型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{R.Hühnerbein}等人，《数学杂志》。成像视觉。63，编号2，186--215（2021；Zbl 1516.68080）
全文： 内政部 arXiv公司
贝内吉，K.G。；M.K.古普塔。

在存储和修复成本之间权衡异构分布式存储系统。 （英语。俄文原件） Zbl 1459.68050号

问题。信息传输。 57，编号1，33-53（2021）; Probl的翻译。Peredachi Inf.57，No.1，40-63（2021）。
MSC公司：68第20页 68英里11 64岁以下 68页30
PDF格式BibTeX公司 XML格式引用
\textit｛K.G.Benerjee｝和\textit｛M.K.Gupta｝，问题。信息传输。57，编号1，33-53（2021；兹bl 1459.68050）；Probl的翻译。Peredachi Inf.57，No.1，40--63（2021）
全文： 内政部 arXiv公司
马诺托什·昆巴卡；Rajendra K·雷。；查克拉波蒂，苏夫拉·坎蒂；科利·戈沙尔；维杰·辛格。

使用Tsallis熵对明渠中的流向速度剖面进行数学建模。 （英语） Zbl 1458.94178号

Commun公司。非线性科学。数字。模拟。 94，文章ID 105581，21 p.（2021）.
MSC公司：94甲17 94A40型 41A21号机组
PDF格式BibTeX公司 XML格式引用
\textit{M.Kumbhakar}等人，Commun。非线性科学。数字。模拟。94，文章ID 105581，21 p.（2021；Zbl 1458.94178）
全文： 内政部 arXiv公司
马里奥·阿尔维姆。；娜塔莎·费尔南德斯；Annabelle Mciver；加布里埃尔·H·努斯。

关于数据发布中的隐私和准确性（特邀论文）。 （英语） Zbl 07559457号

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第1条，第18页（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.S.Alvim}等人，LIPIcs——莱布尼茨国际程序。通知。171，第1条，第18页（2020；Zbl 07559457）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件