Follow
Jun Inoue
Jun Inoue
Verified email at aist.go.jp - Homepage
Title
Cited by
Cited by
Year
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
3352017
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
622010
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
552010
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
382016
Reasoning about multi-stage programs
JUN INOUE, W TAHA
Journal of Functional Programming 26, 2016
31*2016
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
242013
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
122016
Staging beyond terms: Prospects and challenges
J Inoue, O Kiselyov, Y Kameyama
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and …, 2016
122016
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
82009
Spindle motor
H Shimizu, J Inoue
US Patent 5,663,602, 1997
51997
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
32009
Sundials/ML: interfacing with numerical solvers
T Bourke, J Inoue, M Pouzet
ACM Workshop on ML, 2016
22016
Supercompiling with Staging
J Inoue
Fourth International Valentin Turchin Workshop on Metacomputation, 2014
22014
Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers
T Bourke, J Inoue, M Pouzet
arXiv preprint arXiv:1812.11668, 2018
12018
Detecting errors in a humanoid robot
J Inoue, F Kanehiro, M Morisawa, A Mori
2018 IEEE International Conference on Software Quality, Reliability and …, 2018
12018
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
12017
The next stage of staging
J Inoue, O Kiselyov, Y Kameyama
Proceedings of the 17th workshop on Programming and Programming Languages (PPL), 2015
12015
Computer Control of Electric Arc Furnace Steelmaking Process Based on a Mathematical Model
T Takawa, J INOUE, H YAMAMURA
Tetsu-to-Hagane 74 (11), 2122-2129, 1988
11988
Refractory hepatic cirrosis and the ineffectiveness of diuretics in ascites and edema
J Inoue, Y Mori, T Kawamura
Naika. Internal medicine 24 (5), 834-839, 1969
11969
Effect of caprylohydroxamic acid upon the blood ammonia levels in man and dogs
T Takahashi, J Inoue, Y Maruyama, T Hida, E Sekizawa, T Izukura, Y Mori, ...
Gastroenterologia Japonica 2, 236-236, 1967
11967
The system can't perform the operation now. Try again later.
Articles 1–20