每年的科研成果
每年的科研成果
- 7 个结果
搜索结果
-
2017
Pebble games over ordered structural abstractions
He, Y., 2017, Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Proceedings. Jager, G., Steila, S. & Gopal, T. V. (编辑). Springer Verlag, 页码 319-332 14 页码 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 10185 LNCS).科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审
-
2014
On the strictness of the quantifier structure hierarchy in first-order logic
He, Y., 12 11月 2014, 在: Logical Methods in Computer Science. 10, 4科研成果: 期刊稿件 › 文章 › 同行评审
开放访问 -
2010
On the strictness of the first-order quantifier structure hierarchy over finite structures
He, Y., 2010, Proceedings - 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010. Institute of Electrical and Electronics Engineers Inc., 页码 170-178 9 页码 5570868. (Proceedings - Symposium on Logic in Computer Science).科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审
-
2009
Parameterized complexity classes under logical reductions
Dawar, A. & He, Y., 2009, Mathematical Foundations of Computer Science 2009 - 34th International Symposium, MFCS 2009, Proceedings. 页码 258-269 12 页码 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 5734 LNCS).科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审
开放访问2 引用 （Scopus） -
2006
An efficient attribute reduction algorithm
He, Y., 2006, Intelligent Data Engineering and Automated Learning, IDEAL 2006 - 7th International Conference, Proceedings. Springer Verlag, 页码 859-868 10 页码 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 4224 LNCS).科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审
1 引用 （Scopus） -
2005
Complete quantum circuit of Haar wavelet based MRA
He, Y. & Sun, J., 2005, 在: Chinese Science Bulletin. 50, 16, 页码 1796-1798 3 页码科研成果: 期刊稿件 › 文章 › 同行评审
5 引用 （Scopus） -
Quantum search in structured database
He, Y. & Sun, J., 2005, 在: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3612, PART III, 页码 434-443 10 页码科研成果: 期刊稿件 › 会议文章 › 同行评审
3 引用 （Scopus）