-
1دورية أكاديمية
المؤلفون: Huiyu Tan, Pengfei Gao, Fu Song, Taolue Chen, Zhilin Wu
المصدر: Transactions on Cryptographic Hardware and Embedded Systems, Vol 2024, Iss 4 (2024)
مصطلحات موضوعية: Fault Injection, Cryptographic Circuits, SAT, Formal Verification, Computer engineering. Computer hardware, TK7885-7895, Information technology, T58.5-58.64
وصف الملف: electronic resource
-
2دورية أكاديمية
المؤلفون: Junjie Jiang, Lingxia Feng, Junguo Hu, Haoqi Liu, Chao Zhu, Baitong Chen, Taolue Chen
المصدر: Ecological Informatics, Vol 82, Iss , Pp 102777- (2024)
مصطلحات موضوعية: Soil respiration, Single global model, Feature selection, Random forest algorithm, Soil carbon cycle, Information technology, T58.5-58.64, Ecology, QH540-549.5
وصف الملف: electronic resource
-
3دورية أكاديمية
المؤلفون: Taolue Chen, Chao Sun, Haowei Yin, Peizheng Wu, Jiangdong Tian
المصدر: IEEE Access, Vol 12, Pp 14411-14422 (2024)
مصطلحات موضوعية: Demand prediction, deep learning, dynamic charging allocation, integer programming, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
وصف الملف: electronic resource
-
4دورية أكاديمية
المؤلفون: Yedi Zhang, Fu Song, Taolue Chen
المصدر: IEEE Access, Vol 7, Pp 101804-101819 (2019)
مصطلحات موضوعية: Model-checking, multi-agent systems, alternating-time temporal logics, agents’ abilities, Electrical engineering. Electronics. Nuclear engineering, TK1-9971
وصف الملف: electronic resource
-
5دورية أكاديمية
المؤلفون: Taolue Chen, Wan Fokkink, Rob van Glabbeek
المصدر: Logical Methods in Computer Science, Vol Volume 11, Issue 3 (2015)
مصطلحات موضوعية: computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
6دورية أكاديمية
المؤلفون: Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
المصدر: Logical Methods in Computer Science, Vol Volume 7, Issue 1 (2011)
مصطلحات موضوعية: computer science - logic in computer science, d.2.4, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
7مؤتمر
المؤلفون: Taolue Chen, Tingting Han, Jian Lu
المصدر: The Fifth International Conference on Computer and Information Technology (CIT'05) Computer and Information Technology Computer and Information Technology, 2005. CIT 2005. The Fifth International Conference on. :841-847 2005
Relation: The Fifth International Conference on Computer and Information Technology CIT 2005
-
8مؤتمر
المؤلفون: Tingting Han, Taolue Chen, Jian Lu
المصدر: 29th Annual International Computer Software and Applications Conference (COMPSAC'05) Computer Software and Applications Computer Software and Applications Conference, 2005. COMPSAC 2005. 29th Annual International. 1:71-76 Vol. 2 2005
Relation: Proceedings of the 29th Annual International Computer Software and Applications Conference (COMPSAC 2005)
-
9مؤتمر
المؤلفون: Taolue Chen, Tingting Han, Jian Lu
المصدر: The Fourth International Conference onComputer and Information Technology, 2004. CIT '04. Computer and information technology Computer and Information Technology, 2004. CIT '04. The Fourth International Conference on. :540-545 2004
Relation: Proceedings. The Fourth International Conference on Computer and Information Technology
-
10مؤتمر
المؤلفون: Taolue Chen, Tingting Han, Jian Lu
المصدر: Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004. Computer software and applications Computer Software and Applications Conference, 2004. COMPSAC 2004. Proceedings of the 28th Annual International. :330-335 vol.1 2004
Relation: Proceedings of the 28th Annual International Computer Software and Applications Conference. COMPSAC 2004