共 50 条
- [33] SVD-based identification algorithm for hammerstein-typed nonlinear systems WCICA 2006: SIXTH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-12, CONFERENCE PROCEEDINGS, 2006, : 1674 - +
- [35] Dual-mode control algorithm for Wiener-typed nonlinear systems INTELLIGENT COMPUTING IN SIGNAL PROCESSING AND PATTERN RECOGNITION, 2006, 345 : 1157 - 1162
- [36] A New Linear Logic for Deadlock-Free Session-Typed Processes FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2018, 2018, 10803 : 91 - 109
- [38] Intrinsically-Typed Definitional Interpreters for Linear, Session-Typed Languages CPP '20: PROCEEDINGS OF THE 9TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, 2020, : 284 - 298
- [39] A New Linear Interpolation Algorithm PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING, INFORMATION SCIENCE & APPLICATION TECHNOLOGY (ICCIA 2016), 2016, 56 : 163 - 170