中国开放科研知识云: 检索

Barrier certificates revisited 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2017, 卷号: 80, 页码: 62-86
作者: Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun

收藏 | 浏览/下载：34/0 | 提交时间：2017/02/16

收藏 | 浏览/下载：20/0 | 提交时间：2016/12/09

Structural Information and Dynamical Complexity of Networks 期刊论文
IEEE TRANSACTIONS ON INFORMATION THEORY, 2016, 卷号: 62, 期号: 6, 页码: 3290-3339
Li, AS; Pan, YC

收藏 | 浏览/下载：42/0 | 提交时间：2016/12/09

Counting K-4-subdivisions 期刊论文
DISCRETE MATHEMATICS, 2015, 卷号: 338, 期号: 12, 页码: 2387-2392
Miltzow, T; Schmidt, JM; Xia, MJ

收藏 | 浏览/下载：16/0 | 提交时间：2016/12/13

异构环境下的P2P流媒体节点选择算法 期刊论文
中南大学学报. 自然科学版, 2015, 卷号: 46, 期号: 9, 页码: 3287-3294
唐朝伟; 肖俊; 王恒; 胡佩; 刘倩男; 宋俊平; 李晓辉

收藏 | 浏览/下载：34/0 | 提交时间：2016/12/09

应用微表面模型进行衍射效果物理绘制 期刊论文
计算机辅助设计与图形学学报, 2014, 卷号: 26, 期号: 1, 页码: 1-9
吴付坤; 吴佳泽; 郑昌文

收藏 | 浏览/下载：9/0 | 提交时间：2014/12/16

收藏 | 浏览/下载：14/0 | 提交时间：2014/12/16

收藏 | 浏览/下载：16/0 | 提交时间：2013/09/17

ALGORITHMIC RANDOMNESS AND MEASURES OF COMPLEXITY 期刊论文
BULLETIN OF SYMBOLIC LOGIC, 2013, 卷号: 19, 期号: 3, 页码: 318-350
Barmpalias, George

收藏 | 浏览/下载：10/0 | 提交时间：2014/12/16

An Improved KM Algorithm for Computing Structural Index of DAE System 会议论文
12th International Symposium on Distributed Computing and Applications to Business, Engineering and Science (DCABES), London, ENGLAND, SEP 02-04, 2012
Zeng, Yan; Wu, Xuesong; Cao, Jianwen

收藏 | 浏览/下载：13/0 | 提交时间：2014/12/16

在结果中检索