Anomaly detection for a water treatment system using unsupervised machine learning J Inoue, Y Yamagata, Y Chen, CM Poskitt, J Sun 2017 IEEE international conference on data mining workshops (ICDMW), 1058-1065, 2017 | 265 | 2017 |
Mint: Java multi-stage programming using weak separability E Westbrook, M Ricken, J Inoue, Y Yao, T Abdelatif, W Taha ACM Sigplan Notices 45 (6), 400-411, 2010 | 60 | 2010 |
Mathematical equations as executable models of mechanical systems Y Zhu, E Westbrook, J Inoue, A Chapoutot, C Salama, M Peralta, T Martin, ... Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical …, 2010 | 53 | 2010 |
Acumen: An open-source testbed for cyber-physical systems research W Taha, A Duracz, Y Zeng, K Atkinson, FA Bartha, P Brauner, J Duracz, ... Internet of Things. IoT Infrastructures: Second International Summit, IoT …, 2016 | 37 | 2016 |
Reasoning about multi-stage programs JUN INOUE, W TAHA Journal of Functional Programming 26, 2016 | 31* | 2016 |
Reasoning about multi-stage programs J Inoue, W Taha Programming Languages and Systems: 21st European Symposium on Programming …, 2012 | 29 | 2012 |
PENCIL: Towards a platform-neutral compute intermediate language for DSLs R Baghdadi, A Cohen, S Guelton, S Verdoolaege, J Inoue, T Grosser, ... arXiv preprint arXiv:1302.5586, 2013 | 24 | 2013 |
Runtime monitoring for concurrent systems Y Yamagata, C Artho, M Hagiya, J Inoue, L Ma, Y Tanabe, M Yamamoto Runtime Verification: 16th International Conference, RV 2016, Madrid, Spain …, 2016 | 12 | 2016 |
Staging beyond terms: Prospects and challenges J Inoue, O Kiselyov, Y Kameyama Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and …, 2016 | 11 | 2016 |
Implementing haptic feedback environments from high-level descriptions AY Zhu, J Inoue, ML Peralta, W Taha, MK O'Malley, D Powell 2009 International Conference on Embedded Software and Systems, 482-489, 2009 | 8 | 2009 |
Motion and force estimation based on the NARX with an EMG signal Y Ohno, J Inoue, M Iwase, S Hatakeyama AETA 2017-Recent Advances in Electrical Engineering and Related Sciences …, 2018 | 4 | 2018 |
Multi-stage programming for mainstream languages E Westbrook, M Ricken, J Inoue, Y Yao, T Abdelatif, W Taha Technical Report TR09-02, Rice University, 2009 | 3 | 2009 |
Hand and Finger Control of Myoelectric Prosthesis Hand Based on Motion Discriminator and Voluntary Control R Hiroki, M Iwase, J Inoue Transactions of the Society of Instrument and Control Engineers 54 (8), 680-690, 2018 | 2 | 2018 |
Sundials/ML: interfacing with numerical solvers T Bourke, J Inoue, M Pouzet ACM Workshop on ML, 2016 | 2 | 2016 |
Supercompiling with Staging J Inoue Fourth International Valentin Turchin Workshop on Metacomputation, 2014 | 2 | 2014 |
Detecting errors in a humanoid robot J Inoue, F Kanehiro, M Morisawa, A Mori 2018 IEEE International Conference on Software Quality, Reliability and …, 2018 | 1 | 2018 |
Development of the Removable Electric Drive System for Wheelchair Running on Public Road Y Iwami, J Inoue, M Iwase, S Hatakeyama AETA 2017-Recent Advances in Electrical Engineering and Related Sciences …, 2018 | 1 | 2018 |
The next stage of staging J Inoue, O Kiselyov, Y Kameyama Proceedings of the 17th workshop on Programming and Programming Languages (PPL), 2015 | 1 | 2015 |
Quantitative Analysis of Sparsely Synchronized Fail-Safe Processors J Inoue, H Nishihara, A Mori 2022 IEEE 22nd International Conference on Software Quality, Reliability and …, 2022 | | 2022 |
Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers T Bourke, J Inoue, M Pouzet arXiv preprint arXiv:1812.11668, 2018 | | 2018 |