المؤلفون: 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

Relation: https://tches.iacr.org/index.php/TCHES/article/view/11782; https://doaj.org/toc/2569-2925

URL الوصول: https://doaj.org/article/359a33f72d8f4c53a3c77f7e0456a75c

المؤلفون: 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

Relation: http://www.sciencedirect.com/science/article/pii/S1574954124003194; https://doaj.org/toc/1574-9541

URL الوصول: https://doaj.org/article/244cad67b0a3487eb0c1f357de09e8a5

المؤلفون: 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

Relation: https://ieeexplore.ieee.org/document/10411885/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/e391e8fb611a4af097d92a2cc8bc9566

المؤلفون: 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

Relation: https://ieeexplore.ieee.org/document/8778773/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/db6cff4e794a4ffe8c63ec331c227e98

المؤلفون: 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

Relation: https://lmcs.episciences.org/1593/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/2c1f5505c13a447dadb0af4bc5cd3bd7

المؤلفون: 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

Relation: https://lmcs.episciences.org/697/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/308863269a364332b2c4f17995430fce

المؤلفون: 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

المؤلفون: 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)

المؤلفون: 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

المؤلفون: 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