科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
C
Centrum Wiskunde & Informatica (Cwi)
学者数
17
论文数
12
被引数
0
关联论文
(12)
发表时间
发表时间
IF
被引数
History-based reasoning about behavioral subtyping (extended paper)
基于历史的推理关于行为子类型(扩展论文)
Theoretical Computer Science
IF
1
2026-05-02
0
PRE
AI
Bian, Jinting; Hiep, Hans-Dieter A.; de Boer, Frank S.
分享
收藏
Dynamic Dimensioning of Frequency Containment Reserves: The Case of the Nordic Grid
频率调节备用容量的动态维度划分:以北欧电网为例
IEEE Transactions on Power Systems
IF
7.2
2026-05-01
0
PRE
AI
Janssen, Jobke; Zocca, Alessandro; Zwart, Bert; Kazempour, Jalal
分享
收藏
Faster Algorithms for Longest Common Substring
更快的最长公共子串算法
ACM Transactions on Algorithms
IF
1.4
2026-04-01
0
PRE
AI
Charalampopoulos, Panagiotis; Kociumaka, Tomasz; Radoszewski, Jakub; Pissis, Solon P.
分享
收藏
Space-Efficient Quantum Error Reduction without log Factors
空间高效的无对数因子量子错误减少
Quantum
IF
5.4
2026-03-23
1
PRE
AI
Belovs, Aleksandrs; Jeffery, Stacey
分享
收藏
The Fiat-Shamir Transformation of (Γ1,⋯,Γμ)-Special-Sound Interactive Proofs
(Γ1,⋯,Γμ)-特殊一致性交互证明的 Fiat-Shamir 变换
Journal of Cryptology
IF
2.2
2026-03-06
0
PRE
AI
Attema, Thomas; Fehr, Serge; Klooss, Michael; Resch, Nicolas
分享
收藏
PREFACE: RECENT ADVANCES IN POLYNOMIAL OPTIMIZATION THEORY AND METHODS
前言:多项式优化理论与方法的最新进展
Numerical Algebra Control and Optimization
IF
1.1
2026-03-01
0
PRE
AI
Henrion, Didier; Laurent, Monique; Magron, Victor; Nie, Jiawang; Pauwels, Edouard
分享
收藏
Learning with the Minimum Description Length Principle
基于最小描述长度原则的学习
Journal of the American Statistical Association
IF
3
2026-01-01
0
PRE
AI
Grunwald, Peter D.
分享
收藏
MOMENT-SOS AND SPECTRAL HIERARCHIES FOR POLYNOMIAL OPTIMIZATION ON THE SPHERE AND QUANTUM DE FINETTI THEOREMS
球面上的多项式优化与量子De Finetti定理的矩-SOS方法及谱层次结构
SIAM Journal on Optimization
IF
2.3
2026-01-01
0
PRE
AI
Blomenhofer, Alexander Taveira; Laurent, Monique
分享
收藏
Optimal Verification of a Minimum-Weight Basis in an Uncertainty Matroid
在不确定性拟阵中优化最小权重基的验证
43RD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, STACS 2026
IF
0
2026-01-01
0
PRE
AI
Diwan, Haya; Hellerstein, Lisa; Megow, Nicole; Schloter, Jens
分享
收藏
A Biologically Inspired Filter Significance Assessment Method for Model Explanation
一种受生物启发的滤波器显著性评估方法用于模型解释
EXPLAINABLE ARTIFICIAL INTELLIGENCE, XAI 2025, PT II
IF
0
2026-01-01
0
OA
AI
Boge, Emirhan; Gunindi, Yasemin; Ertan, Murat Bilgehan; Aptoula, Erchan; Alp, Nihan; Ozkan, Huseyin
分享
收藏
Testing Quasiperiodicity
测试拟周期性
STRING PROCESSING AND INFORMATION RETRIEVAL, SPIRE 2025
IF
0
2026-01-01
0
PRE
AI
Awofeso, Christine; Bals, Ben; Lachish, Oded; Pissis, Solon P.
分享
收藏
After-Service Blocking in Tandem Queues
串联队列中的售后服务阻塞
PERFORMANCE EVALUATION METHODOLOGIES AND TOOLS, VALUETOOLS 2024
IF
0
2026-01-01
0
PRE
AI
de Boer, Tim Rens; Bekker, Rene; van der Mei, Robert D.
分享
收藏