Jun Inoue
Jun Inoue
Adresse e-mail validée de aist.go.jp - Page d'accueil
Titre
Citée par
Citée par
Année
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
732017
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
582010
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
452010
Acumen: An open-source testbed for cyber-physical systems research
W Taha, A Duracz, Y Zeng, K Atkinson, FA Bartha, P Brauner, J Duracz, ...
International Internet of Things Summit, 118-130, 2015
302015
Reasoning about multi-stage programs
JUN INOUE, W TAHA
Journal of Functional Programming 26, 2016
28*2016
Reasoning about multi-stage programs
J Inoue, W Taha
European Symposium on Programming, 357-376, 2012
252012
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
182013
Runtime monitoring for concurrent systems
Y Yamagata, C Artho, M Hagiya, J Inoue, L Ma, Y Tanabe, M Yamamoto
International Conference on Runtime Verification, 386-403, 2016
82016
Staging beyond terms: Prospects and challenges
J Inoue, O Kiselyov, Y Kameyama
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and …, 2016
72016
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
72009
Motion and force estimation based on the NARX with an EMG signal
Y Ohno, J Inoue, M Iwase, S Hatakeyama
International Conference on Advanced Engineering Theory and Applications …, 2017
22017
Sundials/ML: interfacing with numerical solvers
T Bourke, J Inoue, M Pouzet
22016
Supercompiling with Staging
J Inoue
Fourth International Valentin Turchin Workshop on Metacomputation, 2014
22014
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
22009
The next stage of staging
J Inoue, O Kiselyov, Y Kameyama
Proceedings of the 17th workshop on Programming and Programming Languages (PPL), 2015
12015
Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers
T Bourke, J Inoue, M Pouzet
arXiv preprint arXiv:1812.11668, 2018
2018
Hand and Finger Control of Myoelectric Prosthesis Hand Based on Motion Discriminator and Voluntary Control
R Hiroki, M Iwase, J Inoue
TSICE 54 (8), 680-690, 2018
2018
Development of the Removable Electric Drive System for Wheelchair Running on Public Road
Y Iwami, J Inoue, M Iwase, S Hatakeyama
International Conference on Advanced Engineering Theory and Applications …, 2017
2017
EMG-Based Interface Multi-degree of Freedom and Optionality
T Kobayashi, R Hiroki, M Iwase, J Inoue
International Conference on Advanced Engineering Theory and Applications …, 2017
2017
Operational Semantics of Process Monitors
J Inoue, Y Yamagata
International Conference on Runtime Verification, 403-409, 2017
2017
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20