机构

• 软件研究所 [7]
• 数学与系统科学研究院 [2]
• 大连化学物理研究所 [1]

采集方式

• OAI收割 [10]

内容类型

• 会议论文 [5]
• 期刊论文 [5]

发表日期

• 2016 [2]
• 2011 [1]
• 2010 [3]
• 2009 [1]
• 2006 [1]
• 2005 [1]
• 更多

学科主题

• 计算机科学技术基础学... [1]

筛选

浏览/检索结果: 共10条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 An improvement over the GVW algorithm for inhomogeneous polynomial systems 期刊论文  OAI收割 FINITE FIELDS AND THEIR APPLICATIONS, 2016, 卷号: 41, 页码: 174-192 作者:  Sun, Yao;  Huang, Zhenyu;  Wang, Dingkang;  Lin, Dongdai   |  收藏  |  浏览/下载：18/0  |  提交时间：2018/07/30 Grobner basis  The GVW algorithm  Signature-based algorithm  Linear algebra  Boolean polynomial ring   On Implementing the Symbolic Preprocessing Function over Boolean Polynomial Rings in Grobner Basis Algorithms Using Linear Algebra 期刊论文  OAI收割 JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2016, 卷号: 29, 期号: 3, 页码: 789-804 作者:  Sun Yao;  Huang Zhenyu;  Lin Dongdai;  Wang Dingkang   |  收藏  |  浏览/下载：31/0  |  提交时间：2018/07/30 Boolean polynomial rings  Grobner basis  implementation  linear algebra   characterizations of locally testable linear- and affine-invariant families 会议论文  OAI收割 17th Annual International Computing and Combinatorics Conference, COCOON 2011, Dallas, TX, United states, August 14, Li Angsheng; Pan Yicheng   |  收藏  |  浏览/下载：22/0  |  提交时间：2011/10/10 Algebra  Boolean functions  Characterization  Codes (symbols)  Combinatorial mathematics  Finite element method   A New Efficient Algorithm for Computing All Low Degree Annihilators of Sparse Polynomials with a High Number of Variables 会议论文  OAI收割 The Sixth International Conference on Information Security Practice and Experience Conference (ISPEC 2010), Seoul, Korea, 2010-5-12~2010-05-13 Lin Xu; Dongdai Lin; Xin Li   |  收藏  |  浏览/下载：8/0  |  提交时间：2010/06/10 algebraic attack  annihilator  algebraic immunity  boolean polynomial  computational algebra   寻找布尔函数的零化子 期刊论文  OAI收割 电子学报, 2010, 卷号: 38, 期号: 11, 页码: 2686-2690 谢佳; 王天择   |  收藏  |  浏览/下载：19/0  |  提交时间：2011/05/23 代数攻击  零化子  代数免疫阶Algebra  Boolean functions  Cryptography   a new efficient algorithm for computing all low degree annihilators of sparse polynomials with a high number of variables 会议论文  OAI收割 6th International Conference on Information Security Practice and Experience, Seoul, SOUTH KOREA, MAY 12-13, Xu Lin; Lin Dongdai; Li Xin   |  收藏  |  浏览/下载：11/0  |  提交时间：2011/03/31 algebraic attack  annihilator  algebraic immunity  boolean polynomial  computational algebra   A microfluidic DNA computing processor for gene expression analysis and gene drug synthesis 期刊论文  OAI收割 biomicrofluidics, 2009, 卷号: 3, 期号: 4 作者:  Zhang, Yu;  Yu, Hao;  Qin, Jianhua;  Lin, Bingcheng 收藏  |  浏览/下载：29/0  |  提交时间：2015/11/12 biochemistry  biocomputing  Boolean algebra  cancer  DNA  genomics  lab-on-a-chip  microfluidics   finding relations among linear constraints 会议论文  OAI收割 8th International Conference on Artificial Intelligence and Symbolic Computation, Beijing, PEOPLES R CHINA, SEP 20-22, Yan Jun; Zhang Jian; Xu Zhongxing   |  收藏  |  浏览/下载：18/0  |  提交时间：2011/07/28 Boolean algebra  Heuristic methods  Linear systems  Numerical methods  Polynomials  Problem solving   多输出bent函数的优化设计 期刊论文  OAI收割 Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2005, 卷号: 33, 期号: 3, 页码: 521-523 Wu Ju-Ying; Wei Yong-Zhuang; Wang Xuan-Ming   |  收藏  |  浏览/下载：15/0  |  提交时间：2011/07/28 Boolean functions  Mathematical transformations  Matrix algebra  Optimization  Theorem proving   specification analysis and test data generation by solving boolean combinations of numeric constraints 会议论文  OAI收割 1st Asia-Pacific Conference on Quality Software, HONG KONG, PEOPLES R CHINA, OCT 30-31, Zhang J   |  收藏  |  浏览/下载：16/0  |  提交时间：2011/07/29 Boolean constraint solver  Boolean logic reasoning  numeric constraints  requirement specifications  satisfiability  software test data generation  Boolean algebra  computability  formal specification