共 50 条
- [42] Satisfiability of Non-linear (Ir) rational Arithmetic LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (LPAR-16), 2010, 6355 : 481 - 500
- [43] Proof Certificates and Non-linear Arithmetic Constraints 2011 IEEE 14TH INTERNATIONAL SYMPOSIUM ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS AND SYSTEMS (DDECS), 2011, : 429 - 434
- [44] Prediction of Nociceptive Responses during Sedation by Linear and Non-Linear Measures of EEG Signals in High Frequencies PLOS ONE, 2015, 10 (04):
- [46] Analysis of Facial Electromyography Signals Using Linear and Non-Linear Features for Human-Machine Interface 2021 43RD ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE & BIOLOGY SOCIETY (EMBC), 2021, : 1149 - 1152
- [49] Characterization of abdominally acquired uterine electrical signals in humans, using a non-linear analytic method Medical and Biological Engineering and Computing, 2006, 44 : 117 - 123