共 50 条
- [2] Exact duals and short certificates of infeasibility and weak infeasibility in conic linear programming [J]. Mathematical Programming, 2018, 167 : 435 - 480
- [3] Constraint-based model checking of data-independent systems [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2003, 2885 : 579 - 598
- [5] Infeasibility analysis for linear systems, a survey [J]. ARABIAN JOURNAL FOR SCIENCE AND ENGINEERING, 2000, 25 (1C): : 3 - 18
- [6] Data-independent acquisition in metaproteomics [J]. EXPERT REVIEW OF PROTEOMICS, 2024, 21 (7-8) : 271 - 280
- [7] A ROBUST DATA-INDEPENDENT NEAR-FIELD BEAMFORMER FOR LINEAR MICROPHONE ARRAYS [J]. 2016 IEEE INTERNATIONAL WORKSHOP ON ACOUSTIC SIGNAL ENHANCEMENT (IWAENC), 2016,
- [8] Data Informativity for Analysis of Linear Systems With Convex Conic Constraints [J]. IEEE CONTROL SYSTEMS LETTERS, 2022, 6 : 391 - 396
- [10] Multiplexed Quantification for Data-Independent Acquisition [J]. ANALYTICAL CHEMISTRY, 2015, 87 (05) : 2570 - 2575