共 50 条
- [31] A Matrix-Based Approach to Parity Games TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT I, TACAS 2023, 2023, 13993 : 666 - 683
- [33] Sensitivity coefficients for matrix-based LCA INTERNATIONAL JOURNAL OF LIFE CYCLE ASSESSMENT, 2010, 15 (05): : 511 - 520
- [34] Sensitivity coefficients for matrix-based LCA The International Journal of Life Cycle Assessment, 2010, 15 : 511 - 520
- [36] Matrix-based hierarchical fuzzy systems ICINCO 2006: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS: INTELLIGENT CONTROL SYSTEMS AND OPTIMIZATION, 2006, : 92 - +
- [37] Matrix-based inductive theorem proving AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 2000, 1847 : 294 - 308
- [38] Traffic Matrix-Based Routing Optimization PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INTELLIGENT COMMUNICATION, 2015, 16 : 429 - 432
- [39] MATRIX-BASED LOGIC FOR APPLICATION IN PHYSICS REVIEW OF SYMBOLIC LOGIC, 2009, 2 (01): : 132 - 163
- [40] OUTPUT-ONLY SUBSPACE AND TRANSFER MATRIX-BASED DAMAGE LOCALIZATION AND QUANTIFICATION 7TH IOMAC: INTERNATIONAL OPERATIONAL MODAL ANALYSIS CONFERENCE, 2017, : 323 - 326