中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 13)

Filters    
Items/Page:    Sort:
Multiphase until formulas over Markov reward models: An algebraic approach [期刊论文]
THEORETICAL COMPUTER SCIENCE, 2016-01-01, 卷号: 611, 页码: 116-135
Xu, M; Zhang, LJ; Jansen, DN; Zhu, HB; Yang, ZY
  |  
 
The BLIS Framework: Experiments in Portability [期刊论文]
ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE, 2016-01-01, 卷号: 42, 期号: 2
Van Zee, FG; Smith, TM; Marker, B; Low, TM; De Geijn, RAV; Igual, FD; Smelyanskiy, M; Zhang, XY; Kistler, M; Austel, V; Gunnels, JA; Killough, L
  |  
 
Known-key distinguishers on type-1 Feistel scheme and near-collision attacks on its hashing modes [期刊论文]
Frontiers of Computer Science, 2014-01-01, 卷号: 8, 期号: 3, 页码: 513-525
Dong, Le (1); Wu, Wenling (2); Wu, Shuang (2); Zou, Jian (2)

 
on designated-weight boolean functions with highest algebraic immunity [期刊论文]
SCIENCE CHINA-MATHEMATICS, 2010-01-01, 卷号: 53, 期号: 11, 页码: 2847-2854
Liu MeiCheng; Du YuSong; Pei DingYi; Lin DongDai
  |  
 
construction and enumeration of boolean functions with maximum algebraic immunity [期刊论文]
SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2009-01-01, 卷号: 52, 期号: 1, 页码: 32-40
Zhang WenYing; Wu ChuanKun; Liu XiangZhong

 
the algebraic normal form, linear complexity and k-error linear complexity of single-cycle t-function [会议论文]
4th International Conference on Sequences and Their Applications (SETA 2006), Beijing, PEOPLES R CHINA, SEP 24-28,
Zhang Wenying; Wu Chuan-Kun
  |  
 
finding relations among linear constraints [会议论文]
8th International Conference on Artificial Intelligence and Symbolic Computation, Beijing, PEOPLES R CHINA, SEP 20-22,
Yan Jun; Zhang Jian; Xu Zhongxing
  |  
 
mining quantitative associations in large database [会议论文]
7th Asia-Pacific Web Conference, Shanghai, PEOPLES R CHINA, MAR 29-APR
Hui CY; Wang YJ; Zhang BY; Yang Q; Wang Q; Zhou JH; He R; Yan Y
  |  
 
compositionality of fixpoint logic with chop [会议论文]
2nd International Colloquium on Theoretical Aspects of Computing, Hanoi, VIETNAM, OCT 17-21,
Zhan NJ; Wu JZ
  |  
 
deriving non-determinism from conjunction and disjunction [会议论文]
25th International Conference on Formal Techniques for Networked and Distributed Systems, Taipei, TAIWAN, OCT 02-05,
Zhan NJ; Majster-Cederbaum M
  |  
 

1 2 next

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace