共 50 条
- [41] Parallel Symmetric Attack on NTRU using Non-Deterministic Lattice Reduction Designs, Codes and Cryptography, 2004, 32 : 369 - 379
- [42] Non-deterministic computations in ELAN RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 1999, 1589 : 168 - 182
- [43] Non-deterministic inductive definitions ARCHIVE FOR MATHEMATICAL LOGIC, 2013, 52 (1-2): : 113 - 135
- [44] A theory of non-deterministic networks ICCAD-2003: IEEE/ACM DIGEST OF TECHNICAL PAPERS, 2003, : 709 - 716
- [46] On model checking for non-deterministic infinite-state systems THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1998, : 70 - 80
- [47] Robust task scheduling in non-deterministic heterogeneous computing systems 2006 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING, VOLS 1 AND 2, 2006, : 297 - +
- [48] Non-deterministic Matrices for Semi-canonical Deduction Systems 2012 42ND IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL), 2012, : 79 - 84
- [49] AlphaZero for a Non-deterministic Game 2018 CONFERENCE ON TECHNOLOGIES AND APPLICATIONS OF ARTIFICIAL INTELLIGENCE (TAAI), 2018, : 116 - 121