共 50 条
- [41] Effect of Errors on the Evaluation of Machine Learning Systems PROCEEDINGS OF THE 17TH INTERNATIONAL JOINT CONFERENCE ON COMPUTER VISION, IMAGING AND COMPUTER GRAPHICS THEORY AND APPLICATIONS (HUCAPP), VOL 2, 2022, : 48 - 57
- [44] Algorithmic algebraic model checking I: Challenges from systems biology COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2005, 3576 : 5 - 19
- [46] Model revision from temporal logic properties in computational systems biology Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2008, 4911 LNAI : 287 - 304
- [49] MICELLES AS MODEL SYSTEMS IN RADIATION BIOLOGY BULLETIN OF THE AMERICAN PHYSICAL SOCIETY, 1976, 21 (01): : 27 - 28
- [50] Model Systems for Cardiovascular Regenerative Biology COLD SPRING HARBOR PERSPECTIVES IN MEDICINE, 2013, 3 (04):